E-LIB Suche - Ergebnisse für: César Muñoz

1

A Temporal Differential Dynamic Logic Formal Embedding:

, In: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs,

White, Lauren ; Titolo, Laura ; Slagel, J. Tanner. - p. 162-176 , 2024

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

2

Laparoscopic hybrid mini-alpps using transmesenteric intra-..:

Muñoz, César ; Naranjo, Miguel ; Varela, Carlos.
Cirugía Española (English Edition). 102 (2024) 1 - p. 40 , 2024

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

3

Findings and Insights from a Colombian National Survey on H..:

Olivares, Margarita ; Sarrazola, Mauricio ; Rodriguez, Jairo...
Journal of Allergy and Clinical Immunology. 153 (2024) 2 - p. AB76 , 2024

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

4

A Formal Verification Framework for Runtime Assurance:

, In: Lecture Notes in Computer Science; NASA Formal Methods,

Slagel, J. Tanner ; White, Lauren M. ; Dutle, Aaron.. - p. 322-328 , 2024

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

5

Effectiveness and safety of dupilumab in adults with modera..:

Londoño, Julián ; Perez, Lucia ; Moreno, Sergio...
World Allergy Organization Journal. 16 (2023) 4 - p. 100763 , 2023

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

6

Chemo-dynamical tagging in the outskirts: The origins of st..:

Muñoz, César ; Monachesi, Antonela ; Nidever, David L....
Astronomy & Astrophysics. 680 (2023) - p. A79 , 2023

Link: https://doi.org/10.1051/..

7

Floating-Point Round-off Error Analysis of Safety-Critical ..:

, In: Intelligent Systems Reference Library; Challenges of Software Verification,

Titolo, Laura ; Moscato, Mariano ; Feliú, Marco A... - p. 197-220 , 2023

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

8

Formal Verification of Termination Criteria for First-Order..:

Muñoz, Cesar A. ; Ayala-Rincón, Mauricio ; Moscato, Mariano M....
Journal of Automated Reasoning. 67 (2023) 4 - p. , 2023

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

9

Development and internal validation of a multifactorial ris..:

Boekstegers, Felix ; Scherer, Dominique ; Barahona Ponce, Carol...
International Journal of Cancer. 153 (2023) 6 - p. 1151-1161 , 2023

Link: https://doi.org/10.1002/..

10

CAPOS: the bulge Cluster APOgee Survey IV elemental abundan..:

González-Díaz, Danilo ; Fernández-Trincado, José G ; Villanova, Sandro...
Monthly Notices of the Royal Astronomical Society. 526 (2023) 4 - p. 6274-6283 , 2023

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

11

Gallbladder Cancer Risk and Indigenous South American Mapuc..:

Zollner, Linda ; Boekstegers, Felix ; Barahona Ponce, Carol...
Cancers. 15 (2023) 16 - p. 4033 , 2023

Link: https://doi.org/10.3390/..

12

Benchmarks and Geographic Differences in Gallbladder Cancer..:

Vega, Eduardo A. ; Newhook, Timothy E. ; Mellado, Sebastian...
Annals of Surgical Oncology. 30 (2023) 8 - p. 4904-4911 , 2023

Link: https://doi.org/10.1245/..

13

MATURE CYSTIC TERATOMA OF THE PANCREAS: AN UNUSUAL INDICATI..:

Munoz, César ; Lindner, Cristian ; Pizarro, Felipe.
ABCD. Arquivos Brasileiros de Cirurgia Digestiva (São Paulo). 35 (2022) - p. , 2022

Link: https://doi.org/10.1590/..

14

Reference Levels for Heavy Metals in Soil in the City of Ce..:

, In: Environment and Sustainable Development; Environmental Science and Engineering,

Saldaña, Heiner ; Muñoz, Cesar ; Esenarro, Doris.. - p. 14-28 , 2022

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

15

Towards an implementation of differential dynamic logic in ..:

, In: Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis,

Slagel, J. Tanner ; Muñoz, César ; Balachandran, Swee... - p. 44-50 , 2022

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