Bottom-up synthesis of recursive functional programs using angelic execution von Miltner, Anders, Nuñez, Adrian Trejo, Brendel, Ana, Chaudhuri, Swarat, Dillig, Isil

Volltext

Bottom-up Synthesis of Recursive Functional Programs using Angelic Execution von Miltner, Anders, Nuñez, Adrian Trejo, Brendel, Ana, Chaudhuri, Swarat, Dillig, Isil

Volltext bestellen

Bottom-up Synthesis of Recursive Functional Programs using Angelic Execution von Miltner, Anders, Adrian Trejo Nuñez, Brendel, Ana, Chaudhuri, Swarat, Dillig, Isil

Volltext

1127-P: Diabetes Risk in Marginalized Urban Settings in Mexico City von SILVA-TINOCO, RUBÉN, BOUCHAN-DELINO, SAMUEL, REVUELTA-LARA, LUIS, TREJO, DANIEL, ARISTA, GILBERTO, MARTINEZ-SANTANA, NANCY, NÚÑEZ-RODRÍGUEZ, ADRIÁN, GUTIERREZ, TERESA, LEÓN-GARCÍA, ENRIQUE, OCHOA-MORENO, JORGE, SERNA, JAVIER, LOPEZ-ARELLANO, OLIVA

Volltext

Abstract P6-14-02: Hope for OTHERS – An organ donation program for metastatic breast cancer research von Oesterreich, Steffi, Miller, Lori, Rosenzweig, Margaret Q., Bartholow, Tanner L., Yates, Megan, Elangovan, Ashuvinee, Savariau, Laura, Casey, Allison N., Priedigkeit, Nolan, Ding, Kai, Wedn, Abdalla, Liu, Jie Bin, Brown, Daniel D., Hyder, Tara, Pecar, Geoffrey, Carleton, Neil, Bittar, Humberto Trejo, Geisler, Daniel, Lopez-Nunez, Oscar, Clark, Amanda M., Wells, Alan, Roy, Partha, Puhalla, Shannon, Howard, Naomi, Needles, Christine, Trent, Susan, Walker, Stephanie, Hodgdon, Christine, Bhargava, Rohit, Atkinson, Jennifer M., Lee, Adrian V.

Volltext