Zobrazeno 1 - 10
of 1 330
pro vyhledávání: '"Barbosa, João A."'
Autor:
Barbosa, João, Brennan, Jack C., Casaburi, Alessandro, Hutchings, M. D., Kirichenko, Alex, Mukhanov, Oleg, Weides, Martin
One of the most important and topical challenges of quantum circuits is their scalability. Rapid Single Flux Quantum (RSFQ) technology is at the forefront of replacing current standard CMOS-based control architectures for a number of applications, in
Externí odkaz:
http://arxiv.org/abs/2411.08670
Here we define a new unification algorithm for terms interpreted in semantic domains denoted by a subclass of regular types here called deterministic regular types. This reflects our intention not to handle the semantic universe as a homogeneous coll
Externí odkaz:
http://arxiv.org/abs/2404.16406
Autor:
Sahistan, Alper, Demirci, Serkan, Wald, Ingo, Zellmann, Stefan, Barbosa, João, Morrical, Nathan, Güdükbay, Uğur
Computational fluid dynamic simulations often produce large clusters of finite elements with non-trivial, non-convex boundaries and uneven distributions among compute nodes, posing challenges to compositing during interactive volume rendering. Correc
Externí odkaz:
http://arxiv.org/abs/2209.14537
Autor:
Lloyd, Thomas J., Oliveira, Ubirajara, Soares-Filho, Britaldo S., Fuller, Richard A., Butt, Nathalie, Ascher, John S., Barbosa, João Paulo Peixoto Pena, Batista, João Aguiar Nogueira, Brescovit, Antonio D., de Carvalho, Claudio J. B., De Marco, Paulo, Ferro, Viviane Gianluppi, Leite, Felipe Sá Fortes, Löwenberg-Neto, Peter, Paglia, Adriano Pereira, de Rezende, Daniella Teixeira, Santos, Adalberto J., Silva, Daniel Paiva, de Vasconcelos, Marcelo Ferreira, Sonter, Laura J.
Publikováno v:
Diversity and Distributions, 2023 Sep 01. 29(9), 1190-1204.
Externí odkaz:
https://www.jstor.org/stable/48738521
Autor:
da Cunha, Ana Luiza R.R., Barbosa, João Marcos G., Martins, Nauyla M., de Oliveira, Camilla Gabriela, de Oliveira, Anselmo E., Antoniosi Filho, Nelson R.
Publikováno v:
In Journal of Chromatography A 4 January 2025 1739
Autor:
de Castro Lins, Philippe, Hamann, Pedro Ricardo Vieira, Lima, Jônatas Cunha Barbosa, Gonçalves Barbosa, João Alexandre Ribeiro, da Silva Correia, João Lucas, de Andrade, Ikaro Alves, Knupp dos Santos, Débora Farage, Quirino, Betania Ferraz, Krüger, Ricardo Henrique
Publikováno v:
In Enzyme and Microbial Technology January 2025 182
The semantic foundations for logic programming are usually separated into two different approaches. The operational semantics, which uses SLD-resolution, the proof method that computes answers in logic programming, and the declarative semantics, whic
Externí odkaz:
http://arxiv.org/abs/2208.00192
Autor:
Pinto, Rafael S., Serra, João P., Barbosa, João C., Silva, Maria M., Salado, Manuel, Fidalgo Marijuan, Arkaitz, Amayuelas, Eder, Grosu, Yaroslav, Gonçalves, Renato, Lanceros-Mendez, Senentxu, Costa, Carlos M.
Publikováno v:
In Journal of Colloid And Interface Science 15 February 2025 680 Part A:714-724
Rendering on conventional computers is capable of generating realistic imagery, but the computational complexity of these light transport algorithms is a limiting factor of image synthesis. Quantum computers have the potential to significantly improv
Externí odkaz:
http://arxiv.org/abs/2204.12797
Autor:
Barbosa, João L. M., Bessa, G. Pacelli
Consider a surface $M^2$ with Gaussian curvature either $< 0$ or $> 0$. We prove that in $M^2\times \mathbb{R}^n$ cylinders are characterized as the hypersurfaces with both the extrinsic and intrinsic curvatures equal to zero.
Comment: 11 pages
Comment: 11 pages
Externí odkaz:
http://arxiv.org/abs/2203.02373