E-LIB Suche - Ergebnisse für: Olmedo, Benjamin

1

Digital health needs for implementing high-quality primary ..:

Krist, Alex H ; Phillips, Robert ; Leykum, Luci.
Journal of the American Medical Informatics Association. 28 (2021) 12 - p. 2738-2742 , 2021

Link: https://doi.org/10.1093/..

2

Improving maternal health and safety through adherence to p..:

Olmedo, Benjamin ; Miranda, Eva ; Cordon, Oscar..
International Journal of Gynecology & Obstetrics. 125 (2014) 2 - p. 162-165 , 2014

Link: https://doi.org/10.1016/..

3

Digital health needs for implementing high-quality primary ..:

Krist, Alex H ; Phillips, Robert ; Leykum, Luci.
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC8633651/. , 2021

Link: http://www.ncbi.nlm.nih...

4

A Constructive Algorithm for the Split Delivery Vehicle Rou..:

, In: Computational Science and Its Applications – ICCSA 2023; Lecture Notes in Computer Science,

Jones, Francisco ; Astudillo, Rodrigo ; Acosta, Benjamín... - p. 245-259 , 2023

Link: https://doi.org/10.1007/..

5

Spatial relationship between well water arsenic and uranium..:

Sobel, Marisa ; Sanchez, Tiffany R. ; Zacher, Tracy...
Environmental Pollution. 287 (2021) - p. 117655 , 2021

Link: https://doi.org/10.1016/..

6

Waterpipe tobacco smoke: Characterization of toxicants and ..:

Kaplan, Bekir ; Sussan, Thomas ; Rule, Ana...
Environment International. 127 (2019) - p. 495-502 , 2019

Link: https://doi.org/10.1016/..

7

Conditioning in Probabilistic Programming:

Olmedo, Federico ; Gretz, Friedrich ; Jansen, Nils...
ACM Transactions on Programming Languages and Systems. 40 (2018) 1 - p. 1-50 , 2018

Link: https://doi.org/10.1145/..

8

The GALEX View of "Boyajian's Star" (KIC 8462852):

Davenport, James. R. A. ; Covey, Kevin R. ; Clarke, Riley W....
The Astrophysical Journal. 853 (2018) 2 - p. 130 , 2018

Link: https://doi.org/10.3847/..

9

Conditioning in Probabilistic Programming:

Olmedo, Federico ; Gretz, Friedrich ; Jansen, Nils...
ACM Transactions on Programming Languages and Systems (TOPLAS). 40 (2018) 1 - p. 1-50 , 2018

Link: https://dl.acm.org/doi/1..

10

Weakest Precondition Reasoning for Expected Runtimes of Ran..:

Kaminski, Benjamin Lucien ; Katoen, Joost-Pieter ; Matheja, Christoph.
Journal of the ACM (JACM). 65 (2018) 5 - p. 1-68 , 2018

Link: https://dl.acm.org/doi/1..

11

Weakest Precondition Reasoning for Expected Runtimes of Ran..:

Kaminski, Benjamin Lucien ; Katoen, Joost-Pieter ; Matheja, Christoph.
Journal of the ACM. 65 (2018) 5 - p. 1-68 , 2018

Link: https://doi.org/10.1145/..

12

Reasoning about Recursive Probabilistic Programs:

, In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science,

Olmedo, Federico ; Kaminski, Benjamin Lucien ; Katoen, Joost-Pieter. - p. 672-681 , 2016

Link: https://dl.acm.org/doi/1..

13

Conditioning in Probabilistic Programming:

Jansen, Nils ; Kaminski, Benjamin Lucien ; Katoen, Joost-Pieter...
Electronic Notes in Theoretical Computer Science. 319 (2015) - p. 199-216 , 2015

Link: https://doi.org/10.1016/..

14

Memory-Aware Latency Prediction Model for Concurrent Kernel..:

, In: Job Scheduling Strategies for Parallel Processing; Lecture Notes in Computer Science,

Masola, Alessio ; Capodieci, Nicola ; Cavicchioli, Roberto.. - p. 46-73 , 2023

Link: https://doi.org/10.1007/..

15

Antitumor activity of lurbinectedin in second-line small ce..:

Subbiah, Vivek ; Paz-Ares, Luis ; Besse, Benjamin...
Lung Cancer. 150 (2020) - p. 90-96 , 2020

Link: https://doi.org/10.1016/..