Bart Jacobs
- Foundations of Probabilistic Programming
2020/11/18 by Fredrik Dahlqvist, Alexandra Silva, Dexter Kozen +45 · 1 voice · 5 citations
Computer Science · #Bayesian Modeling and Causal Inference #Logic, Reasoning, and Knowledge
- Modular Formal Verification of Rust Programs with Unsafe Blocks
2022/12/26 by Nima Rahimi Foroushaani, Foroushaani, Nima Rahimi, Bart Jacobs +1 · 1 voice · 1 citation
Computer Science · #Software Testing and Debugging Techniques #Parallel Computing and Optimization Techniques #Formal Methods in Verification
- Trace semantics via determinization
2014/12/05 by Bart Jacobs, Alexandra Silva, Ana Sokolova · 4 citations
Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #semigroups and automata theory
- The Logical Essentials of Bayesian Reasoning
2018/04/03 by Bart Jacobs, Jacobs, Bart, Fabio Zanasi +1 · 4 citations
Computer Science · #Bayesian Modeling and Causal Inference #Advanced Database Systems and Queries #Semantic Web and Ontologies
- Healthiness from Duality
2016/05/02 by Wataru Hino, Hiroki Kobayashi, Hino, Wataru +5 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
- Access to medicines from a health system perspective
2012/11/22 by M. Bigdeli, Maryam Bigdeli, B. Jacobs +10 · 2 citations
Economics, Econometrics and Finance · Medicine · #Pharmaceutical Economics and Policy #Healthcare Systems and Reforms #Global Maternal and Child Health
- Addressing access barriers to health services: an analytical framework for selecting appropriate interventions in low-income Asian countries
2011/05/12 by B. Jacobs, Bart Jacobs, P. Ir +7 · 2 citations
Medicine · Economics, Econometrics and Finance · Health Professions · #Global Maternal and Child Health #Healthcare Systems and Reforms #Global Health Care Issues
- Implicit dynamic frames
2012/04/01 by Jan Smans, Bart Jacobs, Frank Piessens · 1 citation
- Urns & Tubes
2022/12/28 by Bart Jacobs · 2 citations
Computer Science · #Artificial Intelligence in Games #Data Management and Algorithms
- A Type Theory for Probabilistic and Bayesian Reasoning
2015/11/30 by Robin Adams, Bart Jacobs · 1 voice
Computer Science · Mathematics · #cs.LO #math.LO #math.PR
- Safety and Immunogenicity of a 4-Component Generalized Modules for Membrane Antigens Shigella Vaccine in Healthy European Adults: Randomized, Phase 1/2 Study
2024/06/10 by Isabel Leroux‐Roels, Isabel Leroux-Roels, Cathy Maes +42 · 16 citations
Biochemistry, Genetics and Molecular Biology · Medicine · Immunology and Microbiology · #Escherichia coli research studies #Viral gastroenteritis research and epidemiology #Bacterial Infections and Vaccines