Program synthesis: challenges and opportunities von David, Cristina, Kroening, Daniel

Volltext

Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings von David, Cristina, Sun, Meng

Volltext

Efficacy of Blended Learning Techniques in Medical and Dental Education: Students’ Opinions in Relation to Their Habits as Internet Consumers von Dascalu, Cristina Gena, Antohe, Magda Ecaterina, Topoliceanu, Claudiu, David, Cristina, Purcarea, Victor Lorin

Volltext

Clinical management of a granulomatous tubulointerstitial nephritis associated with a bilateral granulomatous anterior uveitis: A challenging case report and review of the literatu... von Taghavi, Maxime, Mesquita, Maria, David, Cristina, Geers, Caroline, Pozdzik, Agnieszka, Nortier, Joëlle

Volltext

In severe liver disease, citrate can be used safely: the question remains-by which mechanism von Honore, Patrick M., Mugisha, Aurore, David, Cristina, Attou, Rachid, Redant, Sebastien, Gallerani, Andrea, De Bels, David

Volltext

No dose adjustment of tigecycline is necessary during continuous renal replacement therapy: we are not sure von Honore, Patrick M., David, Cristina, Kugener, Luc, Redant, Sebastien, Attou, Rachid, Gallerani, Andrea, De Bels, David

Volltext

N-terminal pro-brain natriuretic peptide levels during the acute phase of sepsis may be a useful indicator of higher risk of long-term impairments: some confounders to consider von Honore, Patrick M., David, Cristina, Mugisha, Aude, Attou, Rachid, Redant, Sebastien, Gallerani, Andrea, De Bels, David

Volltext

Thrombolytic therapy during resuscitation for pulmonary embolism-related out-of-hospital cardiac arrest: perhaps not the ideal solution for everyone von Honore, Patrick M., David, Cristina, Mugisha, Aude, Attou, Rachid, Redant, Sebastien, Gallerani, Andrea, De Bels, David

Volltext

Automated verification of shape, size and bag properties via user-defined predicates in separation logic von Chin, Wei-Ngan, David, Cristina, Nguyen, Huu Hai, Qin, Shengchao

Volltext

Synbit: synthesizing bidirectional programs using unidirectional sketches von Yamaguchi, Masaomi, Matsuda, Kazutaka, David, Cristina, Wang, Meng

Volltext

Lanthanum carbonate to control plasma and urinary oxalate level in type 1 primary hyperoxaluria? von Pozdzik, Agnieszka, David, Cristina, Vekeman, Jelle, Tielens, Frederik, Daudon, Michel

Volltext

A regulated response to impaired respiration slows behavioral rates and increases lifespan in Caenorhabditis elegans von Cristina, David, Cary, Michael, Lunceford, Adam, Clarke, Catherine, Kenyon, Cynthia

Volltext

Cross-Project Defect Prediction Using Transfer Learning with Long Short-Term Memory Networks von Tao, Hongwei, Fu, Lianyou, Cao, Qiaoling, Niu, Xiaoxu, Chen, Haoran, Shang, Songtao, Xian, Yang

Volltext

A Lower Global Lung Ultrasound Score Is Associated with Higher Likelihood of Successful Extubation in Invasively Ventilated COVID-19 Patients von Pierrakos, Charalampos, Lieveld, Arthur, Pisani, Luigi, Smit, Marry R., Heldeweg, Micah, Hagens, Laura A., Smit, Jasper, Haaksma, Mark, Veldhuis, Lars, Schmidt, Robin Walburgh, Errico, Giacomo, Marinelli, Valentina, Attou, Rachid, David, Cristina E., Zimatore, Claudio, Murgolo, Francesco, Grasso, Salvatore, Mirabella, Lucia, Cinnella, Gilda, De Bels, David, Schultz, Marcus J., Tuinman, Pieter-Roel, Bos, Lieuwe D.

Volltext

Validation of a biopsychosocial distress screening tool, “You, Your Family and COH Are a Team” von Wong, F. Lennie, Stiller, Tracey, Obenchain, Richard, David, Cristina, Patel, Sunita K., Xie, Bin, Loscalzo, Matthew, Clark, Karen

Volltext

Mixed gas separation study for the hydrogen recovery from H₂/CO/N₂/CO₂ post combustion mixtures using a Matrimid membrane von David, Oana Cristina, Gorri, Daniel, Urtiaga, Ana, Ortiz, Inmaculada

Volltext

Automated formal synthesis of provably safe digital controllers for continuous plants von Abate, Alessandro, Bessa, Iury, Cordeiro, Lucas, David, Cristina, Kesseli, Pascal, Kroening, Daniel, Polgreen, Elizabeth

Volltext

Synbit: synthesizing bidirectional programs using unidirectional sketches von Yamaguchi, Masaomi, Matsuda, Kazutaka, David, Cristina, Wang, Meng

Volltext

Program Synthesis for Program Analysis von David, Cristina, Kesseli, Pascal, Kroening, Daniel, Lewis, Matt

Volltext

In Search of an Efficient Complexing Agent for Oxalates and Phosphates: A Quantum Chemical Study von Vekeman, Jelle, Torres, Javier, Eugenia David, Cristina, Van de Perre, Els, Martin Wissing, Karl, Letavernier, Emmanuel, Bazin, Dominique, Daudon, Michel, Pozdzik, Agnieszka, Tielens, Frederik

Volltext