NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings von Dutle, Aaron, Moscato, Mariano M, Titolo, Laura, Muñoz, César A, Perez, Ivan

Volltext

Key components of learning ecologies: A Delphi assessment von González‐Sanmamed, Mercedes, Muñoz‐Carril, Pablo‐César, Santos‐Caamaño, Francisco‐José

Volltext

Formalization of Bernstein Polynomials and Applications to Global Optimization von Muñoz, César, Narkawicz, Anthony

Volltext

Biocultural Homogenization in Urban Settings: Public Knowledge of Birds in City Parks of Santiago, Chile von Celis-Diez, Juan, Muñoz, Cesar, Abades, Sebastián, Marquet, Pablo, Armesto, Juan

Volltext

Rewriting modulo SMT and open system analysis von Rocha, Camilo, Meseguer, José, Muñoz, César

Volltext

Cholecystectomy and digestive cancer in Chile: Complementary results from interrupted time series and aggregated data analyses von Gonzalez, Constanza, García‐Pérez, Alfonso, Nervi, Bruno, Munoz, César, Morales, Erik, Losada, Hector, Merino‐Pereira, Gina, Rothhammer, Francisco, Lorenzo Bermejo, Justo

Volltext

An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs von Titolo, Laura, Feliú, Marco A., Moscato, Mariano, Muñoz, César A.

Volltext

CAPOS: The bulge Cluster APOgee Survey: II. The intriguing “Sequoia” globular cluster FSR 1758 von Romero-Colmenares, María, Fernández-Trincado, José G., Geisler, Doug, Souza, Stefano O., Villanova, Sandro, Longa-Peña, Penélope, Minniti, Dante, Beers, Timothy C., Bidin, Cristian Moni, Perez-Villegas, Angeles, Moreno, Edmundo, Garro, Elisa R., Baeza, Ian, Henao, Lady, Barbuy, Beatriz, Alonso-García, Javier, Cohen, Roger E., Lane, Richard R., Muñoz, Cesar

Volltext

CAPOS: the bulge Cluster APOgee Survey IV elemental abundances of the bulge globular cluster NGC 6558 von González-Díaz, Danilo, Fernández-Trincado, José G, Villanova, Sandro, Geisler, Doug, Barbuy, Beatriz, Minniti, Dante, Beers, Timothy C, Moni Bidin, Christian, Mauro, Francesco, Muñoz, Cesar, Tang, Baitian, Soto, Mario, Monachesi, Antonela, Lane, Richard R, Frelijj, Heinz

Volltext

CAPOS: The bulge Cluster APOgee Survey: III. Spectroscopic tomography of Tonantzintla 2 von Fernández-Trincado, José G., Villanova, Sandro, Geisler, Doug, Barbuy, Beatriz, Minniti, Dante, Beers, Timothy C., Mészáros, Szabolcs, Tang, Baitian, Cohen, Roger E., Moni Bidin, Cristian, Garro, Elisa R., Baeza, Ian, Muñoz, Cesar

Volltext

Discovery of Thiophene Derivatives as Potent, Orally Bioavailable, and Blood–Brain Barrier-Permeable Ebola Virus Entry Inhibitors von Morales-Tenorio, Marcos, Lasala, Fátima, Garcia-Rubia, Alfonso, Aledavood, Elnaz, Heung, Michelle, Olal, Catherine, Escudero-Pérez, Beatriz, Alonso, Covadonga, Martínez, Ana, Muñoz-Fontela, César, Delgado, Rafael, Gil, Carmen

Volltext

Topoisomerase 1 inhibition suppresses inflammatory genes and protects from death by inflammation von Rialdi, Alex, Campisi, Laura, Zhao, Nan, Lagda, Arvin Cesar, Pietzsch, Colette, Ho, Jessica Sook Yuin, Martinez-Gil, Luis, Fenouil, Romain, Chen, Xiaoting, Edwards, Megan, Metreveli, Giorgi, Jordan, Stefan, Peralta, Zuleyma, Munoz-Fontela, Cesar, Bouvier, Nicole, Merad, Miriam, Jin, Jian, Weirauch, Matthew, Heinz, Sven, Benner, Chris, van Bakel, Harm, Basler, Christopher, García-Sastre, Adolfo, Bukreyev, Alexander, Marazzi, Ivan

Volltext

NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings von Dutle, Aaron, Muñoz, César, Narkawicz, Anthony

Volltext

N′‑Phenylacetohydrazide Derivatives as Potent Ebola Virus Entry Inhibitors with an Improved Pharmacokinetic Profile von Garcia-Rubia, Alfonso, Lasala, Fátima, Ginex, Tiziana, Morales-Tenorio, Marcos, Olal, Catherine, Heung, Michelle, Oquist, Paola, Galindo, Inmaculada, Cuesta-Geijo, Miguel Ángel, Casasnovas, José M., Campillo, Nuria E., Canales, Ángeles, Alonso, Covadonga, Martínez, Ana, Muñoz-Fontela, César, Delgado, Rafael, Gil, Carmen

Volltext

Selected Extended Papers of ITP 2017: Preface von Ayala-Rincón, Mauricio, Muñoz, César

Volltext

Is Terzan 5 the remnant of a building block of the Galactic bulge? Evidence from APOGEE von Taylor, Dominic J, Mason, Andrew C, Schiavon, Ricardo P, Horta, Danny, Nataf, David M, Geisler, Doug, Kisku, Shobhit, Phillips, Siân G, Cohen, Roger E, Fernández-Trincado, José G, Beers, Timothy C, Bizyaev, Dmitry, García-Hernández, Domingo Aníbal, Lane, Richard R, Longa-Peña, Penélope, Minniti, Dante, Muñoz, Cesar, Pan, Kaike, Villanova, Sandro

Volltext

Interaction in computer supported collaborative learning: an analysis of the implementation phase von Hernández-Sellés, Núria, Muñoz-Carril, Pablo-César, González-Sanmamed, Mercedes

Volltext

Factors Influencing the Accuracy of Infectious Disease Reporting in Migrants: A Scoping Review von Giorgi Rossi, Paolo, Riccardo, Flavia, Pezzarossi, Annamaria, Ballotari, Paola, Dente, Maria Grazia, Napoli, Christian, Chiarenza, Antonio, Velasco Munoz, Cesar, Noori, Teymur, Declich, Silvia

Volltext

Formal analysis of the compact position reporting algorithm von Dutle, Aaron, Moscato, Mariano, Titolo, Laura, Muñoz, César, Anderson, Gregory, Bobot, François

Volltext

Towards a European Framework to Monitor Infectious Diseases among Migrant Populations: Design and Applicability von Riccardo, Flavia, Dente, Maria Grazia, Kärki, Tommi, Fabiani, Massimo, Napoli, Christian, Chiarenza, Antonio, Giorgi Rossi, Paolo, Munoz, Cesar Velasco, Noori, Teymur, Declich, Silvia

Volltext