Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Oliveira, Mateus de Oliveira
5992  Ergebnisse:
Personensuche X
?
1

Learning from positive and negative examples: New proof for..:

Lingg, Jonas ; de Oliveira Oliveira, Mateus ; Wolf, Petra
Information Processing Letters.  183 (2024)  - p. 106427 , 2024
Link: https://doi.org/10.1016/..
 
?
2

Experimental analysis of carbonation, humidity fields and t..:

Oliveira, Mateus A. ; Azenha, Miguel ; Lourenço, Paulo B....
Construction and Building Materials.  416 (2024)  - p. 134930 , 2024
Link: https://doi.org/10.1016/..
 
?
3

Numerical simulation of the evolution of carbonation proces..:

Oliveira, Mateus A. ; Meneghini, Anna ; Guimarães, Erika T..
Journal of Cultural Heritage.  68 (2024)  - p. 263-275 , 2024
Link: https://doi.org/10.1016/..
 
?
4

Results of the 2023 ISBI challenge to reduce GABA-edited MR..:

Berto, Rodrigo Pommot ; Bugler, Hanna ; Dias, Gabriel...
Magnetic Resonance Materials in Physics, Biology and Medicine.  , 2024
Link: https://doi.org/10.1007/..
 
?
5

Diet and trophic niche overlap of four syntopic species of ..:

Farina, Renata K. ; Moser, Camila F. ; Scali, Stefano...
Acta Herpetologica.  18 (2023)  1 - p. 37-43 , 2023
Link: https://doi.org/10.36253..
 
?
6

Order Reconfiguration under Width Constraints:

Arrighi, Emmanuel ; Fernau, Henning ; de Oliveira Oliveira, Mateus.
Journal of Graph Algorithms and Applications.  27 (2023)  6 - p. 409-431 , 2023
Link: https://doi.org/10.7155/..
 
?
7

Effects of Acute Caffeine Ingestion on Cognitive Performanc..:

de Almeida, Rodrigo Freire ; de Oliveira, Mateus ; Furigo, Isadora Clivatti...
Nutrients.  15 (2023)  14 - p. 3094 , 2023
Link: https://doi.org/10.3390/..
 
?
8

Learning from Positive and Negative Examples: Dichotomies a..:

, In: Lecture Notes in Computer Science; Combinatorial Algorithms,
Lingg, Jonas ; de Oliveira Oliveira, Mateus ; Wolf, Petra - p. 398-411 , 2022
Link: https://doi.org/10.1007/..
 
?
9

Diversity of solutions: An exploration through the lens of ..:

Baste, Julien ; Fellows, Michael R. ; Jaffke, Lars...
Artificial Intelligence.  303 (2022)  - p. 103644 , 2022
Link: https://doi.org/10.1016/..
 
?
10

Synthesis and Analysis of Petri Nets from Causal Specificat..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
de Oliveira Oliveira, Mateus - p. 447-467 , 2022
Link: https://doi.org/10.1007/..
 
?
11

Simulation of humidity fields in aerial lime mortar:

Oliveira, Mateus ; Guimarães, Erika ; Meneghini, Anna.
Journal of Cultural Heritage.  53 (2022)  - p. 35-46 , 2022
Link: https://doi.org/10.1016/..
 
?
12

Second-Order Finite Automata:

de Melo, Alexsander Andrade ; de Oliveira Oliveira, Mateus
Theory of Computing Systems.  66 (2022)  4 - p. 861-909 , 2022
Link: https://doi.org/10.1007/..
 
?
13

Computing the zig-zag number of directed graphs:

Dourado, Mitre C. ; de Figueiredo, Celina M.H. ; de Melo, Alexsander A...
Discrete Applied Mathematics.  312 (2022)  - p. 86-105 , 2022
Link: https://doi.org/10.1016/..
 
?
14

Mortality and Edge-to-Edge Reachability are Decidable on Su..:

, In: 25th ACM International Conference on Hybrid Systems: Computation and Control,
de Oliveira Oliveira, Mateus ; Tveretina, Olga - p. 1-10 , 2022
Link: https://dl.acm.org/doi/1..
 
?
15

Succinct certification of monotone circuits:

Alves, Mateus Rodrigues ; de Oliveira Oliveira, Mateus ; Nascimento Silva, Janio Carlos.
Theoretical Computer Science.  889 (2021)  - p. 1-13 , 2021
Link: https://doi.org/10.1016/..
 
1-15