Line of sight stabilization controllers tuning from high-level Modulation Transfer Function specifications von Frasnedo, S., Chapuis, C., Duc, G., Feyel, Ph, Sandou, G.

Volltext

Line of Sight controller tuning using Bayesian optimization of a high-level optronic criterion von Frasnedo, S., Bect, J., Chapuis, C., Duc, G., Feyel, Ph, Sandou, G.

Volltext

Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings von Alpuente, María, Vidal-Oriola, Germán

Volltext

Verifying Dynamic Web Applications with Web-TLR von Espert Real, Javier

Volltext bestellen

Slicing-based debugging of web applications in rewriting logic von Frechina Navarro, Francisco

Volltext bestellen

Termination of Narrowing with Dependency Pairs von Iborra López, José

Volltext bestellen

Evaluation of Datalog queries and its application to the static analysis of Java code von Feliú Gabaldón, Marco Antonio

Volltext bestellen

Impacte de l'aplicació d'accions de millora en el servei d'urgències d'un hospital terciari. Indicadors de resultats von Carreres Molas, Anna, Universitat Autònoma de Barcelona. Departament d'Antropologia Social i Cultural

Volltext bestellen

Concise review: how do red blood cells born, live, and die? von Corrons, J.L. Vives, Casafont, L. Berga, Frasnedo, E. Feliu

Volltext

Concise Review: How are Red Blood Cells Born, How do they Live and Die? von J-L, Vives Corrons, LB, Casafont, EF, Frasnedo

Volltext

Optimisation des lois de commande d’un imageur sur critère optronique. Application à un imageur à deux étages de stabilisation von Frasnedo, Sophie

Volltext bestellen

Hemoglobinopathies and glucose-6-phosphate dehydrogenase deficiency in the sub-Saharan immigrant population of the Center and South Maresme region, Catalonia, Spain von Las Heras Manso, Germán, Juncà Piera, Jordi, Feliu Frasnedo, Evarist, Rovira Fernández, Joan Manel, Gil García, Miguel

Volltext

Abstract Contract Synthesis and Verification in the Symbolic K Framework von Alpuente Frasnedo, María, Pardo, Daniel, Villanueva, Alicia

Volltext bestellen

Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME system von Alpuente Frasnedo, María, Ballis, D, Sapiña-Sanchis, Julia

Volltext bestellen

Symbolic Specialization of Rewriting Logic Theories with Presto von Alpuente Frasnedo, María, Escobar Román, Santiago, Ballis, Demis, Sapiña-Sanchis, Julia

Volltext bestellen

Order-sorted Equational Generalization Algorithm Revisited von Alpuente Frasnedo, María, Escobar Román, Santiago, Meseguer, José, Sapiña-Sanchis, Julia

Volltext bestellen

A Partial Evaluation Methodology for Optimizing Rewrite Theories Incrementally von Alpuente Frasnedo, María, Ballis, Demis, Escobar Román, Santiago, Galán-Pascual, Daniel, Sapiña-Sanchis, Julia

Volltext bestellen

Optimization of Rewrite Theories by Equational Partial Evaluation von Alpuente Frasnedo, María, Ballis, D, Escobar Román, Santiago, Sapiña-Sanchis, Julia

Volltext bestellen

Static correction of Maude programs with assertions von Alpuente Frasnedo, María, Ballis, D, Sapiña-Sanchis, Julia

Volltext bestellen

Imposing Assertions in Maude via Program Transformation von Alpuente Frasnedo, María, Ballis, Demis, Sapiña-Sanchis, Julia

Volltext bestellen