Zobrazeno 1 - 10
of 332
pro vyhledávání: '"H Azevedo"'
Autor:
de Amorim, Pedro H. Azevedo
Reasoning about resources used during the execution of programs, such as time, is one of the fundamental questions in computer science. When programming with probabilistic primitives, however, different samples may result in different resource usage,
Externí odkaz:
http://arxiv.org/abs/2402.01009
Effectful programs interact in ways that go beyond simple input-output, making compositional reasoning challenging. Existing work has shown that when such programs are ``separate'', i.e., when programs do not interfere with each other, it can be easi
Externí odkaz:
http://arxiv.org/abs/2303.01616
With the wide spread of deep learning and gradient descent inspired optimization algorithms, differentiable programming has gained traction. Nowadays it has found applications in many different areas as well, such as scientific computing, robotics, c
Externí odkaz:
http://arxiv.org/abs/2207.05946
Autor:
de Amorim, Pedro H. Azevedo
Much work has been done to give semantics to probabilistic programming languages. In recent years, most of the semantics used to reason about probabilistic programs fall in two categories: semantics based on Markov kernels and semantics based on line
Externí odkaz:
http://arxiv.org/abs/2202.00142
We present the Flow-Limited Authorization First-Order Logic (FLAFOL), a logic for reasoning about authorization decisions in the presence of information-flow policies. We formalize the FLAFOL proof system, characterize its proof-theoretic properties,
Externí odkaz:
http://arxiv.org/abs/2001.10630
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Pedro H. Azevedo de Amorim
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031308284
Much work has been done to give semantics to probabilistic programming languages. In recent years, most of the semantics used to reason about probabilistic programs fall in two categories: semantics based on Markov kernels and semantics based on line
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::42a176beccc9409c52499bc065747b61
https://doi.org/10.1007/978-3-031-30829-1_5
https://doi.org/10.1007/978-3-031-30829-1_5
Autor:
H Azevedo, N Santos, M Lafetá, V Souza, T Menezes, F Penido, M Saldanha, A Albuquerque, S Tanni, P Sperandio, E Ferreira
Publikováno v:
01.01 - Clinical problems - no related to asthma or COPD.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4789220d710e221feb2945b511828c15
https://doi.org/10.1183/13993003.congress-2022.4116
https://doi.org/10.1183/13993003.congress-2022.4116
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.