Zobrazeno 1 - 10
of 74
pro vyhledávání: '"Arthur Azevedo"'
Publikováno v:
Computation, Vol 12, Iss 4, p 83 (2024)
The maximum number of parallel threads in traditional CFD solutions is limited by the Central Processing Unit (CPU) capacity, which is lower than the capabilities of a modern Graphics Processing Unit (GPU). In this context, the GPU allows for simulta
Externí odkaz:
https://doaj.org/article/c9a498522c1e4d199e2649aac08d2199
Autor:
Marcus Vinícius Dias-Souza, Arthur Azevedo Perpétuo, Gabriel Souza dos Santos, Luiz Felipe Carreiro Machado, Renan Martins dos Santos
Publikováno v:
AIMS Molecular Science, Vol 10, Iss 1, Pp 11-21 (2023)
The scenario of growing microbial resistance and of lack of interest of pharmaceutical companies in developing new antimicrobial drugs jeopardizes the present and the future of the treatment of infectious diseases. Different approaches such as antimi
Externí odkaz:
https://doaj.org/article/b4adf37b419142dbbe60bd06e7aea986
We prove that the equational theory of Kleene algebra with commutativity conditions on primitives (or atomic terms) is undecidable, thereby settling a longstanding open question in the theory of Kleene algebra. While this question has also been recen
Externí odkaz:
http://arxiv.org/abs/2411.15979
TopKAT is the algebraic theory of Kleene algebra with tests (KAT) extended with a top element. Compared to KAT, one pleasant feature of TopKAT is that, in relational models, the top element allows us to express the domain and codomain of a relation.
Externí odkaz:
http://arxiv.org/abs/2404.18417
Autor:
Thibault, Jérémy, Blanco, Roberto, Lee, Dongjae, Argo, Sven, de Amorim, Arthur Azevedo, Georges, Aïna Linn, Hritcu, Catalin, Tolmach, Andrew
Undefined behavior in C often causes devastating security vulnerabilities. One practical mitigation is compartmentalization, which allows developers to structure large programs into mutually distrustful compartments with clearly specified privileges
Externí odkaz:
http://arxiv.org/abs/2401.16277
Autor:
Ana Claudia C. de Ornelas Maia, Arthur Azevedo Braga, Cristiane Aparecida Nunes, Antonio Egidio Nardi, Adriana Cardoso Silva
Publikováno v:
Trends in Psychiatry and Psychotherapy, Vol 35, Iss 2, Pp 134-140 (2013)
OBJECTIVE: To evaluate the effectiveness of a unified cognitive-behavioral therapy protocol for group treatment of patients with a range of comorbid mood and anxiety disorders. METHODS: In this open-trial study, the unified protocol was followed for
Externí odkaz:
https://doaj.org/article/b86bc486f7b9404d9879f6fb0020df56
Autor:
de Amorim, Arthur Azevedo
Andrew Pitts' framework of relational properties of domains is a powerful method for defining predicates or relations on domains, with applications ranging from reasoning principles for program equivalence to proofs of adequacy connecting denotationa
Externí odkaz:
http://arxiv.org/abs/2207.07053
Program sensitivity measures the distance between the outputs of a program when run on two related inputs. This notion, which plays a key role in areas such as data privacy and optimization, has been the focus of several program analysis techniques i
Externí odkaz:
http://arxiv.org/abs/2202.01901
Publikováno v:
Proc. ACM Program. Lang. 6, POPL, Article 29 (January 2022), 30 pages (2022)
Kleene algebra with tests (KAT) is a foundational equational framework for reasoning about programs, which has found applications in program transformations, networking and compiler optimizations, among many other areas. In his seminal work, Kozen pr
Externí odkaz:
http://arxiv.org/abs/2108.07707
The Fuzz programming language [Reed and Pierce, 2010] uses an elegant linear type system combined with a monad-like type to express and reason about probabilistic sensitivity properties, most notably $\epsilon$-differential privacy. We show how to ex
Externí odkaz:
http://arxiv.org/abs/1807.05091