pdf

In the last years, a system for joining metal sheets by using a cold press joining technique has been invented and called clinching. This technique has been adopted in the production of metal boards for civil construction.

ANALISI DEI REQUISITI GENERALI DELL’OTTIMIZZATOR

Presently a very large number of public and private data sets are available around the local governments. In most cases, they are not semantically interoperable and a huge human effort is needed to create integrated ontologies and knowledge base for smart city.

Il progetto km4city mira a consentire l'interconnessione, stoccaggio e la successiva interrogazione di dati da molte fonti diverse, come i vari portali della regione Toscana ( MIIC, Muoversi in Toscana, Osservatorio dei Trasporti ), Dati aperti provoded dai singoli Comuni ( soprattutto Firenze).

Formal techniques for the specification of real-time systems must be capable of describing a set of relationships expressing the temporal constraints among events and actions: properties of invariance, precedence, periodicity, liveness and safety conditions, etc.

Temporal logics are typically used to specify and verify properties and thus requirements, to describe the system and prove that such a formalization meets the expected behavior. In this paper, C-TILCO temporal logic is considered.

Museums are recently landed to the use of the information technology with wide applications: from digitalisation of their contents to use of the audioguide. Now ‘multimedia museums market’ is urging better pricing and value for money for their new products and services.

This paper presents a project called i-Maestro (www.i-maestro.org) which develops interactive multimedia environments for technology enhanced music education.

In this thesis, aggregation forms in ECLAP focusing the attention on MyStoryPlayer/ECLAP solutions are presented.

Slide presentate all'evento LOD2014 tenutosi a Roma il 20-21 Febbraio 2014 da Nadia Rauch