archive-zip

Along with the recent ICT developments and the increasing growth of Internet and social media, we are currently experiencing an expanding information overflow, often resulting in a lack of focus on the users’ specific needs.

Template per caricare csv su Datagate e poi su Km4City

Data and R-prog for XF9, XF10 and Pechino Express, Version of 2016

Il kit contiene il video promozionale dell'app TOSCANA dove cosa, il QR code per scaricare l'app dagli app store per Android, iOS e Windows Phone, i banner per la promozione su Web, il link al video su Youtube e il testo per le paline bus (3 righe da 24 caratteri)

Il kit contiene il video promozionale dell'app FIRENZE dove cosa, il QR code per scaricare l'app dagli app store per Android, iOS e Windows Phone, i banner per la promozione su Web, il link al video su Youtube e il testo per le paline bus (3 righe da 24 caratteri)

Licenza e termini d’uso Questa applicazione ha carattere meramente dimostrativo, ed è stata sviluppata per l’evento FODD 2015 dal DISIT Lab (https://www.disit.org/disitmn) con l’obiettivo di dimostrare che cosa può sere fatto utilizzando le tecnologie de

Authors: Pierfrancesco Bellini, Paolo Nesi, Nadia Rauch; referent coordinator: paolo.nesi@unifi.it ; Knowledge base accessible as sparql entry point as shown from http://log.disit.org ; OWL version accessible;

Optical Music Recognition, OMR quick test

Formal techniques for the specication of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated occurrences liveness and safety conditions etc This paper describes an evolution of the Temporal Interval Log

Formal techniques for the specication of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated occurrences liveness and safety conditions etc This paper describes an evolution of the Temporal Interval Log