IST ProjectWonderWeb: Ontology Infrastructure for the Semantic Web WonderWeb Deliverable D18 Ontology Library (final) Claudio Masolo, Stefano Borgo,

Source URL: www.loa.istc.cnr.it

• Ontology
• Information science
• Knowledge representation
• Technical communication
• Academia
• Metaphysics
• Knowledge
• Formal ontology
• Upper ontology
• Applied ontology
• Mereology
• Lightweight ontology

BIHARMONIC SUBMANIFOLDS IN EUCLIDEAN SPHERES ADINA BALMUS¸, STEFANO MONTALDO, CEZAR ONICIUC Biharmonic maps between Riemannian manifolds represent a natural generalization of harmonic maps. In particular, a Riemannian i

Source URL: gigda.ugr.es

L’opinione I salari minimi? Un boomerang STEFANO MODENINI *

Source URL: www.aiti.ch

Short Communication Plant Signaling & Behavior 5:2, 90-93; February 2010; © 2010 Landes Bioscience The plant as a biomechatronic system Barbara Mazzolai,1 Cecilia Laschi,2 Paolo Dario,2 Sergio Mugnai3 and Stefano Mancu

Source URL: www.linv.org

• Robotics
• Science fiction
• Fiction
• Biology
• Multi-agent systems
• Plantoid
• Swarm behaviour
• Swarm intelligence
• Robot
• Biorobotics
• Root
• Botany

From notation to semantics: there and back again Luca Padovani1 and Stefano Zacchiroli2 1 Information Science and Technology Institute, University of Urbino

Source URL: matita.cs.unibo.it

• Logic
• Mathematics
• Abstraction
• Mathematical logic
• Mathematical notation
• Predicate logic
• Elementary mathematics
• Metalogic
• Substitution
• Term
• Lambda calculus
• Structure

Identification of two distinct inactive conformations of the ␤2-adrenergic receptor reconciles structural and biochemical observations Ron O. Drora,1, Daniel H. Arlowa,1, David W. Borhania, Morten Ø. Jensena, Stefano

Source URL: www.deshawresearch.com

• Cell biology
• Biology
• Cell signaling
• Integral membrane proteins
• G protein coupled receptors
• Membrane biology
• Protein families
• Signal transduction
• G proteincoupled receptor
• Rhodopsin
• Alpha helix
• Receptor

Breeding Climate-Smart Cowpeas for West Africa Phil Roberts University of California Riverside, USA Tim Close, Bao-Lam Huynh, Stefano Lonardi Maria Munoz-Amatriain, Steve Wanamaker

Source URL: gl2016conf.iita.org

• Cowpea
• Vigna

User Interaction with the Matita Proof Assistant Andrea Asperti (), Claudio Sacerdoti Coen (), Enrico Tassi () and Stefano Zacchiroli () Departm

Source URL: matita.cs.unibo.it

• Automated theorem proving
• Software
• Theoretical computer science
• Proof assistants
• Functional languages
• Type theory
• Matita
• Formal methods
• Calculus of constructions
• Mathematical proof
• Automated reasoning
• Theorem

Towards a Model Driven Approach to Upgrade Complex Software Systems? Antonio Cicchetti1 and Davide Di Ruscio1 and Patrizio Pelliccione1 and Alfonso Pierantonio1 and Stefano Zacchiroli2 1 Dipartimento di Informatica, Univ

Source URL: www.mancoosi.org

• Software
• System software
• Computer architecture
• Archive formats
• Debian
• Dpkg
• Ubuntu
• Package manager
• Software distribution
• Metamodeling
• RPM Package Manager
• Arch Linux

Vita dei soci World Trade Center Lugano: un anno ricco di novità Intervista di Lisa Pantini con Stefano Schira, Direttore WTC Lugano-Agno

Source URL: www.wtclugano.ch