Ventisette anni senza Mauro Rostagno di Sara Donatelli “Noi amiamo il camaleonte. Cambia colore a seconda di dove si trova, ma resta sempre lo stesso sotto la pelle-corazza. Noi amiamo anche l’anticamaleonte, che no

Source URL: www.ciaomauro.it

Precise Enforcement of Confidentiality for Reactive Systems Dante Zanarini, Mauro Jaskelioff CIFASIS – CONICET Universidad Nacional de Rosario {zanarini, jaskelioff}@cifasis-conicet.gov.ar

Source URL: www.cse.chalmers.se

Secure Multi-Execution in Haskell Mauro Jaskelioff and Alejandro Russo 1 2

Source URL: www.cse.chalmers.se

Multimodal and Mobile Personal Image Retrieval: A User Study Xavier Anguera, Nuria Oliver & Mauro Cherubini Telefónica Research Via Augusta 177, 08021 Barcelona, Spain {xanguera,nuriao,mauro}@tid.es

Source URL: www.nuriaoliver.com

• Artificial intelligence
• Software
• Computing
• User interface techniques
• Image search
• Artificial intelligence applications
• Internet search engines
• Mobile operating systems
• User interface
• Image retrieval
• Automatic image annotation
• Windows Mobile

17 Property-Driven Design for Robot Swarms: A Design Method Based on Prescriptive Modeling and Model Checking MANUELE BRAMBILLA, ARNE BRUTSCHY, MARCO DORIGO, and MAURO BIRATTARI, IRIDIA, Universit´e Libre de Bruxelles,

Source URL: code.ulb.ac.be

ROBERTO BATTITI, MAURO BRUNATO. The LION Way: Machine Learning plus Intelligent Optimization. LIONlab, University of Trento, Italy, Apr 2015 http://intelligentoptimization.org/LIONbook

Source URL: intelligent-optimization.org

• Mathematical optimization
• Metaheuristics
• Local optimum
• Local search
• Roberto Battiti
• Optimization
• Iterated local search
• Search algorithms
• Global optimization

ROBERTO BATTITI, MAURO BRUNATO. The LION Way: Machine Learning plus Intelligent Optimization. LIONlab, University of Trento, Italy, Apr 2015 http://intelligentoptimization.org/LIONbook

Source URL: intelligent-optimization.org

• Mathematical optimization
• Operations research
• Roberto Battiti
• Analysis
• Global optimization
• Applied mathematics
• Engineering

FACTORS AFFECTING SMALL CAT ABUNDANCE IN THE HIGH ANDES OF ARGENTINA Lucherini Mauro, Luengos Vidal E. and Reppucci J. GECM, Cát. Fisiología Animal, Depto. BByF, UNS - CONICET, Argentina. E-mail:

Source URL: www.gatoandino.org

BERGER, Peter. Tradução de Mauro Guilherme Pinheiro Koury. “Sobre a obsolescência do conceito de honra” seguido de “Duas notas de rodapé sobre a obsolescência da honra”. RBSE – Revista Brasileira de Sociol

Source URL: www.cchla.ufpb.br

ROBERTO BATTITI, MAURO BRUNATO. The LION Way: Machine Learning plus Intelligent Optimization. LIONlab, University of Trento, Italy, Apr 2015 http://intelligentoptimization.org/LIONbook

Source URL: intelligent-optimization.org

• Machine learning
• Artificial intelligence
• Learning
• Unsupervised learning
• Semi-supervised learning
• K-means clustering
• Roberto Battiti
• Computational statistics
• Categorization
• Cluster analysis