Istituto di Scienza e Tecnologie
dell’Informazione “A. Faedo”

Link: http://iir2013.isti.cnr.it/

IIR 2013 is the 4th edition of the Italian Information Retrieval Workshop. It will take place at the National Council of Research campus ("Area della Ricerca del CNR") in Pisa, Italy, and will be jointly organized by the Institute for the Science and Technologies of Information (ISTI) and the Institute for Informatics and Telematics (IIT) of the Italian National Council of Research (CNR), Pisa.

Link: http://www.ee.bilkent.edu.tr/antalyaworkshop2013/index.html

This workshop, organized on 3-4 October 2013 by the ERCIM MUSCLE Working Group and the EU-FP7 MIRACLE group, aims at providing an international forum to present and discuss current trends and future directions in computational intelligence for multimedia understanding, thus fostering the creation of a permanent network of scientists and practitioners for an easy and immediate access to people, data and ideas. The scientific program, organized in a single-session format, consists of invited lectures, contributed talks, and poster presentations. Also sponsored by IEEE, Turkey Section, SP Chapter.

Link: http://evaal.aaloa.org/

EvAAL aims at bringing together academic and industrial research communities to work together on challenging open problems in Ambient Assisted Living (AAL), with the purpose of evaluating different approaches to AAL and envisioning new research opportunities.

The competition is composed of three tracks and a final workshop:

• - Track 1 on Indoor Localization and Tracking for AAL, to be held on 1-5 July 2013 at the Living Lab of the Polytechnic University of Madrid, ES
• -Track 2 on Activity Recognition for AAL, to be held on 8-12 July 2013 at the CIAmI Living Lab in Valencia, ES
• - Track 3 on Companion Robots for AAL, to be held on 15-19 July 2013 at DomoCasa Lab in Pisa, IT
• - EvAAL workshop to be held in conjunction with the AAL Forum in September 2013, Norrköping, SE (http://www.aalforum.eu/).

Link: http://evaal.aaloa.org

Il Wireless Networks Lab (WNLab) dell' Istituto di Scienza e Tecnologie del CNR (CNR-ISTI) organizza per il terzo anno consecutivo la competizione internazionale EvAAL (Evaluation of Ambient Assisted Living systems), che ha l'obiettivo di valutare in maniera obiettiva i sistemi di assistenza automatica all'indipendenza domestica di persone non completamente autosufficienti.

Già da diversi anni l'Unione Europea finanzia ricerche su AAL (Ambient Assisted Living), ritenendolo uno dei campi strategici per gli investimenti tecnologici nel breve e medio termine, in vista dell'invecchiamento della popolazione europea che proseguirà nei prossimi decenni.

La competizione EvAAL si svolgerà nei living lab (laboratori attrezzati che simulano un'intera piccola abitazione) di UPM (Madrid, Spagna, 1-5 Luglio 2013) e di Ciami (Valencia, Spagna, 8-12 Luglio 2013), e riguarderà rispettivamente i sottosistemi di localizzazione delle persone e quelli di identificazione della loro attività. Inoltre il living lab della SSSUP di Pisa ospiterà una dimostrazione del possibile funzionamento di una competizione sui robot da compagnia (Pisa, Italia, 15-19 Luglio 2013).

Lo scopo di EvAAL è di giungere a definire dei metodi di valutazione onnicomprensivi per interi sistemi di AAL. Si tratta di un obiettivo ambizioso, cui EvAAL si è andata gradatamente avvicinando a partire dalle due precedenti edizioni, e che potrà essere raggiunto nei prossimi anni, grazie alla comunità internazionale che si va formando attorno alla competizione.

Francesco Furfari, Francesco Potortì e Paolo Barsocchi del Wireless Network Laboratory (WNLab) del CNR-ISTI, insieme con Stefano Chessa dell'Università di Pisa e associato alla ricerca del WNLab, sono gli ideatori della competizione e i principali attori della sua organizzazione. I risultati della competizione saranno presentati durante l'AAL Forum 2013, evento annuale dedicato ai sistemi AAL per cui nel 2013 è attesa un'affluenza di circa mille partecipanti; quest'anno l' AAL Forum si terrà a Settembre a Norrköping, in Svezia.

Link: http://www.w3c.it/events/2013/css3html5/

The “CSS3 & HTML5” event is centred around a keynote presentation from Bert Bos, a key W3C team member for the CSS3 effort. The event will be an opportunity to learn about the latest developments in CSS3 and related technologies, and on the current thinking about Next Web Technologies. The event will give you the opportunity to know what is going on in the “CSS3 & HTML5 world”.

IMQ è il più importante ente di certificazione italiano, leader in Europa nell'attività di valutazione della conformità e di laboratorio di prova nei settori elettrico, elettronico e gas.

Il CNR con il laboratorio High Performance Computing di ISTI, l'Università di Pisa, Internet Memory Research Foundation, Dell e HERE, il brand di location cloud di Nokia, sono i partner tecnologici di istella, il nuovo motore di ricerca di Tiscali realizzato per ricercare il web e gli archivi digitali italiani e condividere il sapere comune.

Link: http://www.almanacco.cnr.it/reader/?MIval=cw_usr_view_articolo.html&id_articolo=4255&id_rub=32&giornale=4237

Servizio a cura dell'Ufficio Stampa CNR. Intervista a Vittorio Miori sull'attività di ricerca svolta dal Laboratorio di Domotica dell'Isti. I ricercatori del Domotics Lab hanno messo a punto un software che agevolerà notevolmente la vita in casa, imparando le abitudini di chi ci abita e anticipandone i bisogni.

Link: http://www.w3.org/2012/08/electronic-books/

A W3C Workshop on Electronic Books and the Open Web Platform - 11-12 February 2013
The goal of this W3C Workshop, organized in partnership with IDPF and BISG, is to bring together major players of the eBooks market, including publishers, standardization organizations, booksellers, accessibility organizations, etc, to bring eBook publishing to its full potential through standardization.

Speaker: Lorenzo Lago, Università degli Studi di Milano

Le attuali memorie, soprattutto quelle più economiche e veloci, sono caratterizzate da tassi di errore non trascurabili. Se consideriamo sistemi che necessitano di una gran quantità di memoria la probabilità che avvenga un errore non può sicuramente essere sottovalutato. Poiché la correttezza degli algoritmi risulta vanificata anche da errori su pochi bit di memoria, la possibilità di calcolare correttamente anche in presenza di dati corrotti diventa fondamentale per molte applicazioni. Qualora non sia possibile, o sia troppo costoso, ricorrere ad hardware specifico per la rilevazione e la correzione degli errori, è ragionevole cercare una soluzione a questo problema a livello applicativo, ovvero progettare algoritmi e strutture dati capaci di garantire soluzioni corrette anche in presenza di informazioni inaffidabili o corrotte.

Gli OBDD (Ordered Binary Decision Diagram) sono strutture dati utilizzate per rappresentare funzioni booleane in modo efficiente, sia dal punto di vista delle operazioni tra funzioni, sia per quanto riguarda lo spazio di memoria utilizzato. Un OBDD è un grafo diretto aciclico (DAG), nel quale ogni nodo è composto da un indice, che indica una variabile della funzione, e da due puntatori a due sottografi. L'utilizzo degli OBDD spazia dalla sintesi logica alla verifica formale. Durante il seminario verranno descritte alcune strategie per rendere gli OBDD resilienti agli errori, utilizzando sia la loro ridondanza intrinseca che quella introdotta dalle loro implementazioni efficienti, e cercando soluzioni adatte ad essere applicate a pacchetti per la gestione di OBDD già esistenti.

(Referente: Anna Bernasconi- Dip. Informatica, UniPi)

Speaker:Mirko Viroli, Alma Mater Studiorum Bologna

Several today and emergent applications of pervasive computing (smartcities, sensor networks, traffic control) are based on the opportunistic encounter of large set of individuals (people, software services, data items, computational devices), with typically partial a-priori knowledge of each other's existence, dynamics and goals. This requires challenging levels of opennes, self-adaptivity, and self-organisation, wich we argue can be supported only as emergent coordination phenomena. A medium-term research goal is hence headed towards the introduction of suitable models and abstractions (and thereafter, languages and platforms), grounding an engineering methodology on top of the lesson of natural systems. In this talk we will report on recent advances in this context, rooted on novel self-organisation patterns and coordination languages, along with their application in scenarios of pervasive service ecosystems.

Organized by the Research Unit: SysMA - System Modelling and Analysis

I sistemi di sonorizzazione dei grandi spazi traggono vantaggio dalle possibilità offerte dai moderni sistemi basati su DSP: a partire dal progetto per finire con l'installazione, i sistemi audio hanno mostrato enormi miglioramenti su tutti i parametri principali di giudizio qualitativo (intelligibilità, potenza sonora erogata, estensione della banda passante).

A conferma di ciò, spesso si può assistere a performance di considerevole qualità audio in ambienti che, sino a pochi anni fa, erano considerati pressoché impossibili da sonorizzare correttamente: infatti la combinazione tra le nuove metodologie di progettazione elettroacustica e le quasi infinite possibilità di manipolazione del segnale offerte dal trattamento nel dominio numerico offrono gradi di libertà notevoli nella composizione e progettazione del sistema audio.

La manipolazione digitale del segnale non consente di superare i limiti fisici dettati dall'interazione tra parte elettroacustica e comportamento acustico dell'ambiente (altoparlanti e ambiente devono sempre essere considerati come parti di un unico sistema), offrendo tuttavia infinite possibilità di ottimizzazione al progettista ed all'installatore.

Relatore: Dott. Gianpiero Majandi

Riferimenti: Roberto Grossi (grossi@di.unipi.it), Francesco Romani (romani@di.unipi.it)

Organized by the RU: SySMA - Dynamical Systems, Control, and Optimization

Relatore: Andrea Cerone, Trinity College Dublin

We develop a probabilistic process calculus for modelling ad hoc wireless networks with static topology. We present a theory of composition for wireless networks, which we take as the starting point for developing a probabilistic generalisation of Hennessy and de Nicola may/must testing preorders. We present an extensional semantics for networks which we use to define the simulation and the novel deadlock simulation preorders; we prove that these are sound with respect to the may and must testing relations, respectively. However, the developed proof methods are not complete; we show an example of two networks which are may-testing related, but not simulation related, and we argue that the extensional semantics we developed cannot induce a sound and complete proof principle for the testing preorders. Finally, we show the usefulness of our proof techniques by proving the correct behaviour of a probabilistic routing protocol with respect to a formal specification.

Relatore: Eugene Stepanov, St. Petersburg State University

Studieremo vari modelli per allocare un certo numero di nuove location in una zona popolata. In particolare, verranno studiati i seguenti modelli: (1) location classico (k-median, k-center problem); (2) Problema di pianificazione a breve termine (location dinamico) che dà luogo a un sistema dinamico molto particolare; (3) il problema di piazzare le nuove location nella zona popolata in presenza di location esistenti. Discuteremo anche alcuni problemi simili (optimal covering, optimal packing), nonché alcuni problemi interessanti di triangolazione computazionale, tuttora aperti.

Link: http://meshlab.sourceforge.net/

MeshLab, il sistema open source per il mesh processing, ha raggiunto i 250.000 download nel corso del 2012. Questo importante risultato costituisce una dimostrazione della maturità raggiunta dallo strumento e dell'ampiezza del suo bacino di utenza. MeshLab ha avuto fino ad oggi un totale di 610.000 download, e costituisce anche un'importante piattaforma per la ricerca nel settore, come dimostrato da più di 750 citazioni in articoli scientifici.

MeshLab è un software open source per il processing interattivo di modelli 3D, progettato e sviluppato dal Visual Computing Lab di ISTI.

E' sistema multipiattaforma (disponibile per Windows, MacOS e Linux) distribuito gratuitamente sotto licenza GPL. Alla prima release ufficiale apparsa nel 2005 sono seguite numerose versioni e aggiornamenti, in un continuo processo di accrescimento delle funzionalità offerte e di consolidamento del sistema. MeshLab offre un insieme di funzionalità molto avanzato per il mesh processing, cioè per la gestione, ottimizzazione, conversione, visualizzazione, analisi e valutazione di rappresentazioni digitali di oggetti tridimensionali. Le funzionalità offerte da MeshLab sono al vertice dello stato dell'arte, la maggior parte di esse sono di diretta derivazione da recenti risultati di ricerca del Visual Computing Lab di CNR-ISTI, e risultano fortemente concorrenziali con quanto proposto da sistemi software professionali. MeshLab è il principale strumento open source per la gestione di dati campionati con sistemi di scansione 3D e per la preparazione di modelli 3D per le nuove tecnologie di 3D printing. Lo sviluppo ed il mantenimento di MeshLab sono stati possibili grazie al finanziamento garantito da una serie di Progetti Europei e Nazionali, tra cui si menziona il progetto EC IP "3DCOFORM" (2008-2012).

Software Architect and Lead Developer: Paolo Cignoni, Main core developer and project manager: Guido Ranzuglia.

Link: http://www.rinascimento-digitale.it/conference2012

Fondazione Rinascimento Digitale is delighted to announce the 3rd edition of the "CULTURAL HERITAGE on line- Trusted Digital Repositories & Trusted Professionals" Conference that will be held on 11-12 December 2012 in Florence, with a rich program of specialised events and tutorials. This year the focus is on the competences and skills necessary to manage trusted digital repositories. The Conference includes a call for contribution aimed at selecting concrete examples of trusted digital repository initiatives. Accepted contributions will be published in the Conference 2012 proceedings

Link: Annex

Link: http://www.textrelease.com/gl14conference.html

Innovation is a process manifested in and through grey literature. Both have their origins in knowledge generation and both demonstrate value for government, academics, business and industry through their uses and applications. In a way, innovation and grey literature are two sides of the same coinage. Innovation is the catalyst for positive change and grey literature is the measure of benchmarks in the further process of research and development. Innovation and grey literature share parallel life cycles in which early growth is relatively slow until their use and application become recognized both within and later beyond their community of origin. Expected top-line growth and increased bottom-line results are achieved in part through new technologies, through redeployment and enhancement of existing products and services, which at times are unachieved. Nevertheless, the process shared by innovation and grey literature carries on. The goal of the Fourteenth International Conference on Grey Literature seeks to track the process of innovation by tracing the research life cycle and observing its convergence in the field of grey literature.

GL14 Call for Papers, http://www.textrelease.com/gl14callforpapers.html

Relatore: Luca Rosati (http://lucarosati.it/chi)

In un mercato dominato dal modello della coda lunga, con un aumento crescente della varietà di prodotti e informazioni disponibili, ci troviamo costantemente a scegliere fra un numero elevato di opzioni, non solo nel web ma anche nel mondo fisico. Se da una parte questa disponibilità è una ricchezza a cui difficilmente rinunceremmo, è anche vero che l'eccesso di scelta rischia di tramutarsi in stress; e lo stress, a sua volta, in non-scelta o mancato acquisto. È il cosiddetto paradosso della scelta. In realtà, molti studi dimostrano che il tempo e lo stress da scelta non dipendono tanto dal numero delle opzioni disponibili, ma soprattutto dal modo in cui queste sono organizzate e presentate. Il paradosso della scelta è quindi un problema di qualità più che di quantità. Attraverso esempi concreti, il seminario mostrerà alcuni principi chiave per facilitare la scelta nei menu, nei cataloghi e nelle interfacce in genere, agendo sull'architettura delle opzioni stesse.

Link: http://argomarine-project-safety-navigation.eventbrite.it/

21st November 2012, from 9.00 a.m to 6.30 p.m. - Centro Culturale De Laugier, Portoferraio, Isola d'Elba (ITALY)

This conference is held together with the final review of the ARGOMARINE FP7 European Project. Your participation is free, you just have to confirm it at the following address http://argomarine-project-safety-navigation.eventbrite.it/ or writing an e-mail to: magnoni@islepark.it Speakers include, among others: Massimo Avancini, Ministery of the Italian Environment, Enrico Rossi, Governor, Regione Toscana, Franco Gabrielli, Chief of Italian Protection Department, Giampiero Sammuri, President of National Park of the Tuscan Archipelago. Simultaneous interpreting provided.

Link: Annex

Si illustreranno le più avanzate tecniche di quantificazione multidimensionale di eventi biologici, misure dimensionali, di forma, intensità di segnale, colocalizzazione,tracking di oggetti, analisi comparti cellulari, analisi filamenti (alberi dendritici, spine, vasi), rappresentazione statistica 3D dei dati e molto altro. Il seminario applicativo e' organizzato in una sessione mattutina a carattere teorico e una sessione pratica pomeridiana. Siete invitati a portare i vostri campioni in forma digitale per la sessione pratica.

Speaker: Maurizio Abbate (Immagini e Computer)

Link: Annex

Link: http://hiis.isti.cnr.it/ami2012/

Ambient Intelligence 2012

Organizzato da: Istituto Scienza e Tecnologie dell'Informazione, Laboratorio HIIS ACM-SIGCHI IFIP Working Group 2.7/13.4

AMI'12 è il principale evento scientifico internazionale dedicato agli ambienti intelligenti. Tale evento coinvolge ricercatori ed operatori dall'industria e l'accademia che lavorano nel campo delle tecnologie ed applicazioni degli ambienti intelligenti. Ci si occupa di ambienti che tramite vari supporti tecnologici sono in grado di aiutare gli uenti nelle loro attività. Le applicazioni possono essere in vari possibili ti pi di ambienti: la casa, i musei, gli ospedali, gli aeroporti, ecc. Gli ambienti intelligenti rappresnetano una visioned el futuro dove saremo circondati da strumenti tecnologici invisibili, sensibili e reattivi alle persone ed ai loro comportamenti, fornendo funzioni, servizi, ed esperienze avanzate. Gli ambienti intelligenti combinano concetti delle tecnologie ubique, sistemi intelligenti, e interfacce utenti avanzate mettendo le persone al cnetro dello sviluppo tecnologico.

Link: http://hiis.isti.cnr.it/ami2012/

The AmI-12 conference brings together researchers and practitioners from industry and academia working in the field of technologies and applications of Ambient Intelligence. Ambient Intelligence represents a vision of the future where we shall be surrounded by invisible technological means, sensitive and responsive to people and their behaviors, deliver advanced functions, services and experiences. Ambient intelligence combines concepts of ubiquitous technology, intelligent systems and advanced user interfaces putting the humans in the center of technological developments.

Link: http://www.almanacco.cnr.it/reader/cw_usr_view_articolo.html?id_articolo=3728&giornale=3726

Servizio a cura dell'Ufficio Stampa CNR su "Evaal", concorso internazionale dedicato alle applicazioni più 'smart' per l'assistenza domestica automatizzata, organizzato per il secondo anno consecutivo dal laboratorio "Wireless network" (Wn Lab) dellISTI.

Link: http://www.internetfestival.it/eventi/oggetti-intelligenti-comandati-tramite-piattaforme-social/

Softec e CNR di Pisa (Istituti ISTI e IIT) sono lieti di invitarLa all’evento “Oggetti intelligenti comandati tramite Piattaforme Social”. Si affronterà il tema dell’Internet of Things che pervade sempre di più le nostre vite, da quella domestica, a quella cittadina e professionale: gli oggetti “intelligenti”, interconnessi grazie alla rete Internet, assumono un ruolo sempre più attivo per migliorare la qualità della vita delle persone. Si tratta di “smart objects” in grado di parlare tra di loro e, se necessario, acquisire informazioni esterne per organizzarsi autonomamente in un’ottica di sicurezza, assistenza alla persona, manutenzione degli impianti e risparmio energetico. Durante l’incontro sarà realizzata una LIVE DEMO che mostrerà il funzionamento della Piattaforma di Mobile Application Management “DesktopMate”, per comandare in modo social gli “smart objects”. Vedremo anche come sia possibile accedere a queste funzionalità facilmente attraverso diversi dispositivi di interazione, utilizzabili anche in combinazione tra di loro.

Link: http://www.internetfestival.it/forme-di-futuro/

4-7 ottobre 2012

Link: http://imtlucca.it/whats_new/research_seminars/all_seminars.php

Two complementary software engineering approaches currently exist to make complex software systems adaptive. Self-adaptation approaches attack the problem by engineering proper feedback loops around components and systems, so as to make them adaptive by explicit design. Self-organization approaches, on the other hand, attack the problems by trying to mimic in software the capabilities of collective adaptation of natural systems, so as to make systems adaptive by emergence. In this talk, after having overviewed these approaches and discussed their pros and cons, I analyze the issue of reconciling them towards a novel, innovative, approach. The scenario of handing mobility in complex urban scenario is adopted as a case study to clarify the concepts presented.

Franco Zambonelli, Università degli Studi di Modena e Reggio Emilia

La cultura letteraria e umanistica ci propongono un modo di intendere il codice. La cultura del computing e dell’informatica ci propone un altro modo di intendere il codice. Ma i due modi, in fondo, appartengono alla stessa storia, alla stessa linea evolutiva: la codifica ‘occidentale’ è strettamente legata alla tecnologia della scrittura. È quindi interessante ragionare attorno a una differente codifica, del tutto ‘altra’ rispetto alla ‘scrittura’ e alla ‘codifica occidentale’.

Link: http://vcg.isti.cnr.it/Publications/2012/GMBGD12/

A paper contributed by the Visual Computing Lab, entitled Adaptive Quad Patches: an Adaptive Regular Structure for Web Distribution and Adaptive Rendering of 3D Models, won the Best Paper Award of the 17th edition of the ACM International Web3D Conference.

Link: http://www.w3c.it/events/2012/html5day/

The "HTML5 Day" event is centred around a keynote presentation from Michael[tm] Smith, a key W3C team member for the HTML5 effort. The event will be an opportunity to learn about the latest developments in HTML5 and related technologies, and about the current thinking about HTML.next, the future to come after HTML5. The event will give you the opportunity to know what is going on in the "HTML5 world".

Da oggi, chiunque solchi il mare per lavoro o per passione, potrà scaricare da Google Play una semplice applicazione mobile, sviluppata dal Laboratorio Segnali e Immagini (SI-LAB) dell'ISTI, per segnalare la presenza di eventuali sversamenti di idrocarburi in mare.

Informazioni più dettagliate sull'Annex

Link: Annex

Link: http://www.springer.com/computer/information+systems+and+applications/book/978-3-642-32435-2

This book constitutes the refereed proceedings of the International Workshop MUSCLE 2011 on Computational Intelligence for Multimedia Understanding, organized by the ERCIM MUSCLE working group in Pisa, Italy on December 2011

There is a trade-off between performance and correctness in implementing concurrent data structures. Better performance may be achieved at the expense of relaxing correctness, by redefining the semantics of data structures. We address such a redefinition of data structure semantics and present a systematic and formal framework for obtaining new data structures by quantitatively relaxing existing ones. In contrast to other existing work, our relaxations are semantic (distance in terms of data structure states). As an instantiation of our framework, we present a simple yet generic relaxation scheme along with several ways of computing distances.

Speaker: Ana Sokolova - Department of Computer Sciences, University of Salzburg

Link: http://ifm.isti.cnr.it

The iFM conference series seeks to further research into the combination of (formal and semi-formal) methods for system development, regarding modeling and analysis, and covering all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice

Link: http://hiis.isti.cnr.it/ami2012/

Submission deadline for long, short and landscape papers at AmI-12 Conference (13-15 November 2012, CNR Research Area, Pisa) has been extended to 22nd of June, 2012.

Link: http://150.146.0.20/space-6/node/1

Il contributo del CNR per la Piattaforma Tecnologica Nazionale SPIN-IT (Space Innovation in Italy). Alla stesura del Libro Bianco hanno collaborato i Ricercatori dell'ISTI: Luciano Anselmo e Erina Ferro

From May 28 to June 3, ARGOMARINE project and the research institutes coming from five different states were in Elba Island to monitor the sea of Tuscan Archipelago.

After the tragic events of the Costa Concordia and Toxic bins in the Gorgona area, the National Park of Tuscan Archipelago hosted for a week the technical team of ARGOMARINE, the scientific EU project funded by the European Union and coordinated by the Park, aimed to develop technologies for pollution control and marine traffic in the Mediterranean basin.

During the week, the CNR ISTI and the sea of the Tuscan Archipelago becamea large scientific laboratory where cutting edge technology, developed by the project partners, transmitted information on the health of the waters to the central processing data software.

In particular, at SI-LAB ISTI CNR was installed the MIS (Marine Information System), the central system which gathers together information from sources such as satellites, optical sensors, electronic noses, sensory buoys, autonomous underwater vehicles and geolocation systems, integrates each other and hence generates predictive models to assist authorities in dealing with any problems or emergencies.

Great success had the facility, developed at SI-LAB, able to pilot from Pisa an AUV (Autonomous Underwater Vehicle) located at Enfola Bay of Elba Island.

It has been possible to follow every step of the experiment through the Twitter channel @silabcnr and @argomarine_eu where scientific data, photographs and video of the experiment has been published in real time. It is also possible to contact the team for questions and comments.

ARGOMARINE is one of the first scientific projects financed by the European Union to give everyone the opportunity to watch and participate in the team work thanks to Social Networks and because of its innovative activity has been awarded the Euro-Mediterranean Award 2012.

Ciclo di incontri a cura del gruppo "TT in IFC" - Interverranno: Enrica Brigan (IFC), Fabrizio Falchi (ISTI), Vincenzo Ferrari (EndoCAS), Brunella Raco (IGG), Francesca Sernissi (UniPi), Mario Tesconi (ADATEC) - Moderatore: Giovanni Polidori (Polo Tecnologico Lucchese)

Link: Annex

Conferenza speciale del ciclo Areaperta - Nel corso della conferenza sarà dedicata attenzione particolare ai recenti terremoti in Emilia, ai movimenti delle placche che li causano, al rischio sismico nelle nostre zone.

Relatore: Dott. Carlo Meletti dell'Istituto Nazionale di Geofisica e Vulcanologia di Pisa

Link: Annex

9:30 - 9:45 D. Latella (ISTI/CNR e USPID), Introduzione

9:45 - 10:30 G.P. Siroli (Univ. Bologna, CERN e USPID), Cyberwar e Infowar: il contesto internazionale
L'intervento descriverà l'argomento generale della cyberwar e della infowar, cioè lo sfruttamento delle Information e Communication Technologies, e quello dei sistemi di gestione e diffusione delle informazioni, per scopi bellici. Saranno approfonditi aspetti relativi alle vulnerabilità e ai rischi dei sistemi infrastrutturali, e le caratteristiche generali dell'infowar. Verranno infine presentate le attività relative ai possibili approcci per affrontare il problema, nel quadro internazionale.

10:30 - 11:15 N. Cufaro Petroni (Univ. Bari e USPID), Il Trattato di Non Proliferazione nucleare e la Questione Iraniana
Sempre più spesso udiamo parlare della possibilità di un intervento militare contro le installazioni nucleari iraniane da parte degli USA o di Israele. Per evitare conseguenze gravi è essenziale che i responsabili della diplomazia non si facciano intrappolare nel dilemma fra l’accettazione impotente di una nuova potenza nucleare, e l’eliminazione di un programma nucleare dichiaratamente civile con un intervento militare. Appare quindi essenziale da un lato abbassare i toni della polemica esaminando con equilibrio le diverse posizioni, e dall’altro proporre possibili alternative alle sanzioni e ai bombardamenti.

11:15 - 12:00 G.P. Siroli (Univ. Bologna, CERN e USPID), Stuxnet: un caso reale di cyberwar
L'intervento descriverà, a livello didattico, alcuni dei sofisticati meccanismi interni del worm Stuxnet per la propagazione dell'attacco informatico in un ambiente di controllo industriale SCADA a scopi di sabotaggio, terminando con una discussione generale sulle cyberweapons.

Link: Annex

Link: http://www.almanacco.cnr.it/reader/?MIval=cw_usr_view_articolo.html&id_articolo=3309&id_rub=13&giornale=3279

Articolo su "Eurographics 2012" - Almanacco della Scienza N. 9 del 23 maggio 2012

Nell'ambito della Realtà Virtuale ci sono vari livelli di rappresentazione per gli ambienti digitali. Si passa da ambienti realistici a rappresentazioni di contesti digitali completamente astratti. Fra questi ultimi si collocano i Paesaggi di Informazione, particolari Ambienti Virtuali in cui informazioni testuali e iconografiche vengono rappresentate su superfici disposte nello spazio tridimensionale ed in cui l’utente, o lettore, puo’ “navigare” pur mantenendo una completa percezione del contesto. Durante il seminario saranno presentati una serie di Paesaggi di Informazione realizzati per la presentazione di vari contesti applicativi e gli strumenti che consentono di realizzarli.

In particolare verrà analizzato il caso studio relativo alla grafica lucchese, un patrimonio non esposto al pubblico a causa dei problemi conservativi che questa scelta comporterebbe, affrontando i passaggi preliminari di progettazione del paesaggio e la sua successiva realizzazione.

Ciclo di incontri a cura del gruppo "TT in IFC" - Interverranno: Sergio Casciaro, Caterina Cinti, Raffaele Conte, Vincenzo Gemignani, Piero Salvadori, Monica Zoppè - Moderatore: Francesco Mazzini (Toscana Life Sciences)

Link: Annex

Sul tetto dell'ISTI edificio B ingresso 17 è stata installata un'antenna, su palo telescopico alto 6 metri, che consente la ricezione in tempo reale via radio dei segnali AIS emessi dalle navi che transitano nel mare dell'Arcipelago Toscano a nord dell'isola d'Elba. I dati ricevuti sono acquisiti mediante un computer dedicato in grado di archiviarli opportunamente e visualizzarli in un'interfaccia di tipo Google Map-

Link: http://www.esastap.org.za/download/communicating_eu_trans_res.pdf

The Argomarine project (FP7-234096, Automatic Oil spill Recognition and Geopositioning integrated in a Marine Monitoring Network) has been referred in "Communicating EU transport research" report published by the EU commission (Communicating EU transport research, Luxemburg: Publications Office of the European Union, 2012, ISBN: 978-92-79-23198-8, doi: 10.2777/76024) for the effort done to raise awareness of the results of the research activity carried on.

Link: http://jocch.acm.org/?q=editorialboard

ACM Journal on Computing and Cultural Heritage (JOCCH) publishes papers of significant and lasting value in all areas relating to the innovative use of information and communication technologies (ICT) in support of Cultural Heritage. We encourage the submission of manuscripts that demonstrate innovative use of technology for the discovery, analysis, interpretation and presentation of findings as well as manuscripts that illustrate applications in the Cultural Heritage sector that challenge the computational technologies and suggest new research opportunities in computer science.

Seminario Formativo sulla Qualità della Ricerca - per il programma consulare la brochure dell'evento (Annex).

Link: Annex

Link: http://www.convegnopec.it/

Il convegno intende far incontrare i principali soggetti coinvolti a vario titolo nell’erogazione e nella fruizione del servizio, nel controllo della qualità del servizio, nella sua promozione e diffusione: governance, provider, fruitori, ricercatori, e comunità di utenti allo scopo di attivare un confronto sui molteplici aspetti quali innovazione, servizi a valore aggiunto, potenzialità che la Posta Elettronica Certificata introduce.

Il convegno si propone di avviare un forum discussione intersettoriale e multidisciplinare sullo stato dell’arte: storia, regole interoperabilità, mercato, benefici, prospettive in uno scenario internazionale, vigilanza nel mercato PEC, iniziative del governo, idee applicative migliori e sviluppi futuri della Posta Elettronica Certificata.

Modalità di iscrizione: Direttamente sul sito http://www.convegnopec.it/index.php/registrazione

In this seminar, we will discuss the Scrum agile development methodology, together with the agile and lean principles that should be applied through the development process. We will start with the a brief discussion of the main problems in traditional software development, which push the need for a more agile approach, summarized by the four agile principles and twelve values. After that, we will give an introductory view of the Scrum methodology, discussing the roles, meetings and artefacts involved in the methodology. We will focus more on the Scrum Master and the Team Member roles. The discussion will continue with the analysis of the lean principles that should be applied in the organization in order to ensure better quality and satisfaction, and how they relate with the Scrum methodology. In addition, we will analyse the queues that slow down the development process and methods for removing them. In the last part of the seminar we will discuss two frameworks for scaling the Scrum methodology with a large number of teams.

The seminar consists of two parts: in the first one we will discuss the big picture of Scrum, while in the second one we will focus on the lean principles and on methods for scaling Scrum.

In this seminar, we will discuss the Scrum agile development methodology, together with the agile and lean principles that should be applied through the development process. We will start with the a brief discussion of the main problems in traditional software development, which push the need for a more agile approach, summarized by the four agile principles and twelve values. After that, we will give an introductory view of the Scrum methodology, discussing the roles, meetings and artefacts involved in the methodology. We will focus more on the Scrum Master and the Team Member roles. The discussion will continue with the analysis of the lean principles that should be applied in the organization in order to ensure better quality and satisfaction, and how they relate with the Scrum methodology. In addition, we will analyse the queues that slow down the development process and methods for removing them. In the last part of the seminar we will discuss two frameworks for scaling the Scrum methodology with a large number of teams.

The seminar consists of two parts: in the first one we will discuss the big picture of Scrum, while in the second one we will focus on the lean principles and on methods for scaling Scrum.

The use of visualization technology to document, investigate and re interpret archaeological contexts has increased exponentially in the last years. Despite the huge progress achieved in the field of visualization technologies, and the possibilities to easily implement digital methodologies during the ongoing investigation process, very few progresses have been done in defining new methods for the documentation and the interpretation of archaeological contexts. How can we employ a 3D model to interpret archaeological contexts? How the use of these new data will change our perception of the past? The seminar will be focused on the presentation and discussion of different experiments for the definition of new pipelines of data collection and data visualization in archaeology.

Verso la fine del secolo scorso alcuni ricercatori sentirono il bisogno - e l'opportunità - di studiare Internet in maniera interdisciplinare. Unendo competenze tecniche, giuridi-che e di altro tipo (economiche, sociologiche, ecc.), si ritenne, infatti, cge sarebbe sta-to più facile identificare e comprendere la struttura profonda della rivoluzione digitale e dei suoi effetti sulla società. Qualche anno dopo Tim Berners-Lee sostenne il bisogno di articolare una nuova disciplina accademica, la "Web Science", proposta che portò, tra le altre cose, alla creazione dell'Institute of Web Science nel Regno Unito. Più di recente, poi, la Commissione Europea ha abbracciato l'approccio interdisciplinare lan-ciando un bando per la creazione di una Network of Excellence sull'Internet Science, rete che ha iniziato le sue attività nei mesi scorsi. Nel corso dell'intervento si presenteranno e discuteranno questi sviluppi, e si farà inol-tre una panoramica dei principali centri di ricerca su Internet & società nati in questi ultimi 15 anni

Link: Annex

We are going to discuss a new method called "absorbing" method and we are going to give some applications of it mainly in extremal hypergraph theory.

Link: Annex

Link: http://fellowship.ercim.eu/

Topics cover most disciplines in Computer Science, Information Technology, and Applied Mathematics. Fellowships are of 24-month duration, spent in two ERCIM member institutes or of 12-month duration spent in one institute. Applicants must:

• Have obtained a PhD degree during the last 8 years (prior to the application deadline) or be in the last year of the thesis work with an,outstanding academic record.
• Be fluent in English.
• Be discharged or get deferment from military service.
• Have completed the PhD before starting the grant (a proof will be requested).
• Start before September 2012 for fellowships with a 24-month duration.

ERCIM Fellowships are co-funded by Marie Curie Actions.

Link: http://evaal.aaloa.org

Second EvAAL Competition (Evaluating AAL Systems through Competitive Benchmarking)

• Track 1: Indoor Localization and Tracking for AAL - 2-6 July, 2012 Madrid, ES
• Track 2: Activity Recognition for AAL - 9-13 July, 2012 Valencia, ES
• EvAAL workshop to be heldin conjunction with the AAL Forum (24-27 September 2012, Eindhoven, NL)

We will explain some open problems in arithmetic algebraic geometry which are simple to state but which remain shrouded in mystery.

The service-based paradigm is enabling new models of software provisioning based on cloud architectures. An increasing number of organizations are either providing their software as a service or acting as enablers by providing platforms on which service providers can offer their services. However the security of service implementations and of the underlying cloud architectures are often opaque to the service consumers. Accordingly, users are often reluctant to fully exploit this model, especially in the case of previously unknown providers. To close this gap, the concept of machine-readable security certificates (called asserts) has been recently introduced, which paves the way to automated processing about security properties of services. Similarly to current security certification schemes, the assessment of the security properties of a service is delegated to an independent third party (certification authority), who issues a corresponding assert, bound to the service. In this talk, we present this new approach, outlining the trust model behind, and presenting an architecture that supports the discovery of single services based on certified security properties (in additional to the usual functional properties.

Short-Bio: Dr. Michele Bezzi is Research Manager at SAP Research Center Sophia Antipolis in the Trust and security Research Area. He has been responsible for SAP research in privacy and trust within the FP7 European projects Primelife and TAS3, and he is currently the project coordinator of EU project Assert4SOA on security certification and principal investigator in Effects+ coordination action. He received his Master Degree in Physics from the University of Florence in 1994 and his Ph.D. in Physics from the University of Bologna in 1998. He has 10+ years experience in industrial research. He has published in various research areas: neural networks, evolutionary models, complex systems, pervasive computing, security and privacy

Il Web è il risultato di una sintesi di una serie di idee e di tecnologie, e nasce in un ambiente di ricerca di punta, grazie all'intuizione geniale di Tim Berners-Lee e alla sua perseveranza nel difenderne i principi base. L'esplosione del Web porta alla nascita del World Wide Web Consortium (W3C), fondato per regolarne lo sviluppo e portarlo al massimo del suo potenziale. Il W3C è un consorzio internazionale che definisce gli standard tecnici del Web (Recommendation) con un processo aperto che coinvolge l'intera comunità scientifica. Il Web ha soprattutto una enorme valenza sociale, e il W3C ne favorisce la crescita e lo sviluppo, tenendo conto anche delle esigenze dei paesi più poveri e arretrati, e definendo standard di interoperabilità che consentano il superamento delle barriere tecnologiche, economiche, culturali e fisiche. Questo seminario illustra l'origine del Web, descrive come i meccanismi che regolano la sua evoluzione siano coerenti con i principi che ne costituiscono la base, e si presenti oggi come una piattaforma unificante per tutte le applicazioni (One Web Platform).

La relativa scarsità, la natura composita e i notevoli problemi interpretativi posti dalla documentazione per la ricostruzione della storia antica hanno fatto sì che il problema delle fonti fosse il problema centrale di questa branca degli studi storici, fin dalle sue origini.

Questa situazione ha trovato riflesso anche nell'applicazione degli strumenti digitali alle Scienze dell'Antichità: i primi esperimenti di informatizzazione relativi alle discipline antichistice hanno riguardato proprio la digitalizzazione di corpora di fonti, segnatamente di fonti letterarie, e anche oggi questo è il settore sul quale si concentrano maggiormente gli sforzi dei ricercatori e gli investimenti degli organismi di ricerca.

Ciò dipende probabilmente anche da un importante dato strutturale: gli strumenti digitali possono offrirci corpora delle fonti sul mondo antico che presentano una copertura assai significativa e che in alcuni casi sono addirittura vicini alla completezza, almeno per quanto riguarda le fonti scritte; in questo il periodo antico è indubbiamente favorito rispetto ad altre età, per il numero relativamente limitato dei documenti ad esso relativi giunti fino a noi.

Nella presente lezione cercheremo dunque di individuare alcuni dei nodi problematici fondamentali che oggi si presentano a proposito della digitalizzazione delle fonti per la storia antica, anche attraverso il richiamo ad alcune esperienze concrete particolarmente significative.

Tra tali nodi problematici si possono ricordare, in estrema sintesi:

1. Il generalizzato passaggio dal supporto ottico alla Rete come mezzo di diffusione delle banche dati di fonti.
2. L'altrettanto caratteristico passaggio dai tanti progetti individuali del periodo delle origini dell'antichistica digitale, fondati su una pluralità di linguaggi, ad un numero di progetti più limitato, frutto di un'ampia collaborazione, anche internazionale, basati su standard riconosciuti, anche se non sempre aperti e pubblici.
3. In connessione con il punto precedente, il tentativo di sfruttare in pieno le possibilità di lavoro collaborativo e a distanza assicurate dalla Rete, anche con un coinvolgimento degli studenti.
4. La tendenza verso una sempre più sofisticata marcatura delle fonti di natura testuale che ne espanda le potenzialità semantiche, facendone anche strumento per un approfondimento dell'indagine storica.
5. Per quanto concerne le fonti documentarie (iscrizioni e papiri), la sempre maggiore attenzione nei confronti dei dati di contesto (in particolare le forme del supporto che ha tramandato il testo, i caratteri della scrittura), essenziali per comprendere nella sua pienezza queste classi di fonti
6. Le notevoli difficoltà che ancora devono affrontare i progetti di digitalizzazione della documentazione numismatica e archeologica, legate alla natura assai varia di queste fonti (il documento archeologico, che può essere sia un singolo

Link: http://2012.foiks.org/

The FoIKS symposia provide a biennial forum for presenting and discussing theoretical and applied research on information and knowledge systems. The goal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research. (March 5-9, 2012)

Il volume rappresenta il contributo del CNR allo sviluppo di tecnologie applicate ai beni culturali. Le schede di tecnologia raccolte sono suddivise in due sezioni: nella prima "Conoscenza e Comunicazione" si trovano quelle rivolte al valore semantico del bene culturale; nella seconda "Protezione, Diagnostica, Restauro" quelle dirette al suo significante, al veicolo fisico senza il quale l'immaterialità del significato non potrebbe manifestarsi. La raccolta testimonia, inoltre, la straordinaria varietà di settori disciplinari e ambiti di ricerca da cui provengono i contributi dei ricercatori del CNR all'innovazione tecnologica nel settore dei beni culturali.

Link: Annex

Link: http://www.festivalscienza.it/site/home/call-2012.html

Continuate a immaginare. Il termine per presentare le proposte è stato prorogato al 14 febbraio 2012.

Link: http://binet2012.iit.cnr.it/

Il 26 gennaio 2012 nell'Auditorium dell' Area della Ricerca di Pisa si svolgerà il Workshop BiNet "Business intelligence basata sulle reti sociali" incentrato sulle applicazioni in ambito socio-sanitario.

Il worshop da una parte esporrà prodotti, risultati, e test cases del progetto BINet co-finanziato dal fondo POR della Regione Toscana, mentre dall'altra vuole essere un momento di raccordo tra la ricerca informatica e le esigenze e le sfide espresse dal sistema socio-sanitario, in particolar modo quello pubblico.

La giornata si articolerà con inteventi scientifici, ampio spazio per interventi in un'atmosfera informale, ed una tavola rotonda con esperti e decision-makers.

Ulteriori informazioni sul Workshop BINET 2012 e il programma dettagliato sono disponibili sul sito web dell'evento.

Iscrizione: Il Workshop è aperto a tutti gli interessati e gratuito, previa registrazione. Per registrarsi è necessario inviare un messaggio di posta elettronica all'indirizzo: BINET2012-registration@iit.cnr.it, specificando: nome, cognome ed affiliazione.

Il Workshop è organizzato da Sistemi territoriali S.r.l., dall' l'Istituto di Informatica e Telematica del CNR (IIT-CNR) e dall'Istituto di Fisiologia Clinica (IFC-CNR).

Link: http://muscle.isti.cnr.it/pisaworkshop2011/

Pisa, Italy, 13-15 December 2011
Paper submission: 31 July, 2011

Link: Annex

The prize has been awarded to F. Bobillo and U. Straccia for their paper "Fuzzy Ontologies and Fuzzy Integrals".

Le tecnologie 3D hanno avuto un grande sviluppo negli ultimi 10 anni: uno dei principali campi di applicazione è da sempre il settore dei Beni Culturali. In aggiunta alle tecniche di modellazione manuale, il ventaglio di possibilità nei metodi di acquisizione della geometria permette ormai di bilanciare costi, accuratezza e tempo di acquisizione. Mentre i costi delle tecnologie di alto livello (Scansione 3D) stanno scendendo, si presentano interessanti alternative "low-cost" (modellazione e generazione di geometria da immagini). Il seminario si occuperà di offrire una breve panoramica dei metodi di acquisizione 3D, e di delineare i possibili campi di applicazione nell'ambito dei Beni Culturali. Alcune "success stories" e progetti in corso saranno presentati.

Link: http://www.di.unipi.it/CEP50/

Convegno: 11-12 novembre 2011 - La Limonaia vicolo del Ruschi 4, Pisa. Mostra: 13 novembre 2011 - 31 marzo 2012 - Museo degli Strumenti per il Calcolo Via Nicola Pisano, 25 (Area dei Vecchi Macelli) - Pisa

Convegno e mostra raccontano il percorso che portò al primo computer italiano.

L'Istituto di informatica e telematica e l'Istituto di scienza e tecnologie dell'informazione che hanno dato un apporto scientifico e di ricerca fondamentali per la nascita e lo sviluppo dell'informatica pisana hanno collaborato con il dipartimento di Informatica all'organizzazione della celebrazione insieme a Comune di Pisa, l'Istituto nazionale di fisica nucleare, i dipartimenti di Fisica e di Ingegneria dell'informazione, la Fondazione "Galilei" di Pisa, la Fondazione "Museo del Computer" di Novara, l'associazione "La Limonaia", la Confederazione nazionale dell'artigianato.

Oggi siamo di fronte ad una svolta, un cambio di paradigma che sta trasformando profondamente la scienza e la società. Per la prima volta nella storia, la nostra società sta diventando "misurabile": le attività umane, tutte ormai mediate dalle tecnologie dell'informazione e della comunicazione, lasciano tracce digitali. BIG DATA, registrazioni su scala sociale delle tracce dei nostri interessi, dei nostri acquisti, delle nostre comunicazioni, dei nostri affari, delle nostre relazioni, dei nostri movimenti. Non semplicemente campioni statistici, rilevati in base ad una indagine pianificata a tavolino, ma pezzi interi della società, che riportano la nuda verità delle attività umane di milioni di persone. I big data sono il nuovo microscopio sociale, che crea le basi per una sociologia quantitativa, computazionale, di una nuova scienza dei dati, o statistica 2.0, in grado di misurare e predire crisi economiche, epidemie e pandemie, diffusione di opinioni, distribuzione delle risorse economiche o energetiche, bisogni di mobilità.

In questo seminario mostreremo come con i big data si possa rispondere a vecchie domande in attesa di risposta, o si possa formulare domande del tutto nuove; discuteremo come, in questo scenario di grandi opportunità ma anche di nuovi rischi, occorrano tecnologie a sostegno della nostra privacy, capaci di difenderci dalle intrusioni nella sfera privata dei donatori di questi big data, ovvero tutti noi. La sfida, per la nuova scienza dei dati, è quella di far coesistere il diritto individuale alla protezione di questa sfera privata con il diritto collettivo di accesso alla conoscenza che questi dati possono dischiuderci.

Link: http://www.ecsi.org/dasip

The goals of DASIP are to present the latest results in the domain of design and architecture for signal, communication and image processing and to provide to researcher and industry community a reference exchange platform addressing this topic. The conference program includes keynote speeches, contributed paper sessions, poster sessions and demonstrations.

Link: http://www.festivalscienza.it/site/Home.html

La nona edizione del Festival della Scienza si terrà a Genova dal 21 ottobre al 2 novembre 2011 e avrà come parola chiave 150 E OLTRE.

Il Festival infatti, dopo l’ennesimo grande successo del tema “Orizzonti” vuole celebrare i 150 anni di Unità nazionale utilizzando spunti ed eccellenze della nostra storia recente per lanciare un ponte verso i prossimi 150 anni di ricerca e di nuova conoscenza. Non sarà quindi un Festival storico, ma una ricerca delle nostre radici scientifiche su cui si costruisce il nostro futuro e quello del mondo.

In particolare, l’edizione 2011 intende dare spazio a giovani eccellenti: uomini e donne che in Italia e nel resto del mondo lavorano su temi di punta della scienza e della tecnologia. Questo obiettivo sarà perseguito anche in collaborazione con il Paese Ospite della nona edizione del Festival: gli Stati Uniti, che nelle loro università nei laboratori di ricerca accolgono cervelli provenienti da tutti gli angoli del globo.

The classic Web search experience, consisting of returning “ten blue links” in response to a short user query, is powered today by a mature technology where progress has become incremental and expensive. Furthermore, the “ten blue links” represent only a fractional part of the total Web search experience: today, what users expect and receive in response to a “web query” is a plethora of multimedia information extracted and synthesized from numerous sources on and off the Web. In consequence, we argue that the major technical challenges in Web search are now driven by the quest to satisfy the implicit and explicit needs of users, continuing a long evolutionary trend in commercial Web search engines going back more than fifteen years, moving from relevant document selection towards satisfactory task completion. We identify seven of these challenges and discuss them in some detail.

This is joint work with Andrei Broder and Yoelle Maarek, also from Yahoo! Research.

Link: http://polarcnr.area.ge.cnr.it/index.php?Info=bando

È indetta una selezione pubblica, per la selezione di n. 12 Volontari/e da impiegare in progetti di Servizio Civile (di cui 4 per la sede di Pisa, ISTI) , Il Bando è stato publicato sulla Gazzetta Ufficiale della Repubblica Italiana IV serie (Concorsi ed Esami)n.75 del 20 Settembre 2011.

Le domande di partecipazione alla selezione devono essere consegnate a mano in Biblioteca o indirizzate a ISTI-CNR, BIBLIOTECA - Area della Ricerca CNR, via Moruzzi 1, 56124 Pisa

Link: http://labs.yahoo.com/news/596

Yahoo!’s Faculty Research and Engagement Program is designed to produce the highest quality scientific collaborations and outcomes by engaging with faculty members working in areas of mutual interest. Through this program, academics across the globe collaborate with Yahoo! research scientists via visits to Yahoo!, access to our data and funds for their research.

Link: http://www.objects.rai.it/dl/grr/notizie/ContentItem-422ae7f0-90a7-465e-b0b4-8c0d22417f4d.html

In occasione del rientro incontrollato nell'atmosfera terrestre del satellite UARS, lo Space Flight Dynamics Laboratory dell'Istituto ha collaborato, per conto dell'ASI, con il Dipartimento della Protezione Civile, fornendo alla struttura operativa nazionale tempestivi aggiornamenti sull'evoluzione orbitale dell'oggetto, previsioni di rientro con le relative finestre di incertezza e valutazioni tecniche sulle tematiche di propria competenza.

Link: http://www.almanacco.cnr.it/reader/ArchivioTematico_tema.html?MIval=cw_usr_view_articolo.html&id_articolo=2318&id_rub=13&giornale=2287

L'‘ambient assisted living' (Aal), assistenza domestica automatizzata realizzata attraverso l'ausilio delle più avanzate tecnologie, è un settore di ricerca che sta assumendo un peso crescente a livello europeo. L'obiettivo è realizzare dispositivi avanzati che permettano in particolare a persone anziane o disabili di vivere in autonomia e sicurezza nelle proprie case, migliorando e facilitando lo svolgersi di molte attività quotidiane.

In questo ambito Il laboratorio di ricerca ‘Wireless Networks" (Wn Lab) dell'Isti, ha ideato ‘Evaal' la prima competizione internazionale che confronta e premia le migliori realizzazioni di 'ambient assisted living'.
Su Almanacco della Scienza - CNR, n. 15, 28 sett.2011.

Link: http://www.mda-signals.de/paper_award_2011.php

The automatic analysis of images and signals in medicine, biotechnology, chemistry and biometry is a challenging and demanding field. Signal-producing procedures by microscopes, spectrometers and other sensors have found their way into wide fields of medicine, biotechnology, economy and environmental analysis. With this arises the problem of the automatic mass analysis of signal information. Signal-interpreting systems which generate automatically the desired target statements from the signals are therefore of compelling necessity. The continuation of mass analyses on the basis of the classical procedures leads to investments of proportions that are not feasible. New procedures and system architectures are therefore required. The scope of the International Conference on Mass Data Analysis of Images and Signals is to bring together researcher, praticioners and industry people who are dealing with mass analysis of images and signals to present and discuss recent research in these fields.

M. Chimenti, E. Fantini and M. Tampucci have won the best paper award with the paper titled "A Web Infrastructure for emphysema diagnosis and follow-up through computed tomography image analysis".

The July 2011 issue of the journal IEEE Computer hosts a special issue on "Computationa Archaeology", which includes a paper by R. Scopigno and colleagues of the Visual Computing Lab entitled: "3D models for Cultural heritage: beyond plain visualization". The paper presents some recent experiences and results of the Visual Computing Lab in projects concerning the use of new digital tools and 3D representations for the study or the restoration of Cultural heritage.

Link: Annex

Link: http://www.ecsi.org/fdl/fdl2011-call-contributions

FDL is an international forum to exchange experiences and promote new trends in the application of languages, their associated design methods and tools for the design of electronic systems. The Forum is organized around four Thematic Areas (TA) described below and includes working sessions, poster sessions, embedded tutorials, panels and technical discussions. Industrial Workshops and Fringe Meetings such as user group or standardization meetings are also held in conjunction with the Forum.

Link: http://fellowship.ercim.eu/

Topics cover most disciplines in Computer Science, Information Technology, and Applied Mathematics. Fellowships are generally of 24 month duration, spent in two ERCIM member institutes. A fellowship of 12 month duration spent in one institute might also be offered. Applicants must:

• Have obtained a PhD degree during the last 8 years (prior to the application deadline) or be in the last year of the thesis work with an,outstanding academic record.
• Be fluent in English.
• Be discharged or get deferment from military service.
• Have completed the PhD before starting the grant (a proof will be requested).

ERCIM Fellowships are co-funded by Marie Curie Actions.

Link: http://www.elsevier.com/wps/find/journaldescription.cws_home/622818/description#description

Digital Signal Processing illuminates and explores the path of creativity in the field of signal processing. DSP, which has a high impact factor, is One of the oldest journals insignal processing.

Link: http://www.icvbc.cnr.it/sumus/

SUMUS (SUperfici MUltiSpettrali) è un progetto di ricerca, promosso da Menci Software s.r.l. e Art-Test s.a.s., con la partecipazione di due Istituti del CNR (Istituto per la Conservazione e Valorizzazione dei Beni Culturali e Istituto di Chimica dei Composti Organometallici). Il progetto è stato finanziato dalla Regione Toscana nell’ambito delle iniziative POR/FESR 2007-2013.

Il workshop di chiusura del progetto sarà organizzato sotto forma di tutorial sull’uso di metodologie multispettrali e 3D per i Beni Archeologici e Culturali.

Link: Annex

Link: http://www.arqueologiavirtual.com/arqueo/premios-tartessos/premios-2011

The prize, granted by Spanish Society on Virtual Archeology (SEAV) during the annual conference Archaeologica 2.0. held in Seville, Spain - June 22-24, 2011, is given to international personalities who have contributed significantly to the development of digital technologies or new methodologies in archaeological research, and cultural heritage management.

R. Scopigno has been awarded for his work in new digital technologies for 3D representation, and the use of 3D digital media in the study, analysis and restoration of works of art.

Link: http://www.urp.cnr.it.

Si informa che saranno pubblicati nella Gazzetta Ufficiale 4a serie speciale n° 50 del 24 giugno 2011 gli avvisi per i seguenti bandi di selezione:
Bando 364.114 - selezione pubblica per titoli ed esami per l’assunzione con contratto di lavoro a tempo indeterminato di trenta unità di personale – profilo Tecnologo III livello professionale – presso Istituti/Strutture del Consiglio Nazionale delle Ricerche.
Bando 364.115 - selezione pubblica per titoli ed esami per l’assunzione con contratto di lavoro a tempo indeterminato di tredici unità di personale – profilo di Funzionario d’Amministrazione V livello professionale – presso Istituti/Strutture del Consiglio Nazionale delle Ricerche.
Si fa presente che il relativo testo integrale sarà disponibile sul sito www.urp.cnr.it.

Link: http://www.garr.it/formazione/borse-di-studio/bando-0111

Il Consortium GARR, l'organizzazione che gestisce la rete telematica dell'Università e della Ricerca in Italia, ha prorogato al 22 Luglio 2011 i termini di presentazione delle domande per la selezione per titoli per il conferimento di n. 10 borse di studio intitolate a Orio Carlini, uno dei padri fondatori della rete GARR.
Le Borse di studio saranno della durata di mesi 12 (eventualmente prorogabili) per giovani laureati, per attività da svolgere presso gli enti e le istituzioni scientifiche ed accademiche afferenti al GARR ( http://www.garr.it/a/utenti/organizzazione-collegate ), su temi direttamente connessi alle attività del Consortium GARR nel campo delle reti e dei servizi connessi. Ai fini della valutazione delle candidature verranno considerati elementi premianti l’innovazione e l’applicabilità a breve termine degli argomenti proposti. L’importo della borsa è di euro 19.000 lorde annue.
Per maggiori informazioni: http://www.garr.it/formazione/borse-di-studio/bando-0111

On June 6, 2011, Tommaso Bolognesi (ISTI) has been awarded the 4th prize in the Essay Contest 'Reality: Digital or Analog'? launched in November 2010 by FQXi, the Foundational Questions Institute.
The title of the essay is: 'Reality is ultimately digital, and its program is still undebugged'.
The list of winners and their essays can be found here.

Link: http://eics-conference.org/2011/index.php?content=18

13-16 June 2011

Link: http://www.Educopia.org/events/ANADP

This conference will enable preservation programs from different countries and regions to share information with each other for the purpose of building strategic international collaborations to support the preservation of our collective digital memory.
The outcomes for the event will be a strategic alignment of national approaches to enable new forms of international collaboration and an edited volume that documents an action plan for building collaboration among interested digital preservation initiatives.

Link: http://ssc.unipa.it

Italy has been chosen as the guest country for the 2011 edition of Saturday's Scientific conversations.

Link: Annex

In occasione della IX edizione del Festival della Scienza di Genova, quest'anno si terrà a Pisa, una delle 8 tappe territoriali del Festival. Il tema sarà l'informatica e l'ICT che da sempre caratterizzano la vocazione scientifica e tecnologica della nostra città, che ha visto nel 1969 la nascita della prima Facoltà di Informatica in Italia.

Dal 5 all'8 maggio, secondo un calendario con appuntamenti e orari, che sarà reso noto dagli organizzatori (CNR), i laboratori delle Università pisane e le Imprese innovative della città di Pisa, apriranno le porte al pubblico per illustrare, mediante laboratori più o meno interattivi, le nuove tecnologie ed i nuovi utilizzi dell'ICT nei vari ambiti dal biomedicale, alla domotica dalla robotica all'automazione e così via.

Seguirà, presso la Stazione Leopolda una sessione in cui prototipi/laboratori/esperienze trasportabili, saranno riproposte in un momento di incontro per ricercatori, appassionati, scuole e famiglie, dove si racconterà la scienza informatica in modo innovativo e coinvolgente, con eventi interattivi e trasversali al fine di consentire al pubblico di toccare, vedere, capire l'informatica e le sue applicazioni.

Link: http://www.fet11.eu/

This conference aims to be THE European forum for facilitating international cross-disciplinary dialogue and discussion on visions and challenges for frontier research in future and emerging information technologies. An excellent opportunity also for young researchers.

The conference sessions, the posters, as well as the exhibits will be retained through the following calls.

Call for sessions: Deadline: 15th January 2011

Call for exhibits: Deadline: 15th January 2011

Call for posters: Deadline: 15th February 2011

Pomeriggio dedicato al dopo Chernobyl e dopo Fukushima.
Alle 16:00 Tavola Rotonda su "Quali implicazioni per decisori politici?"

Link: Annex

The use of asynchronous duty-cycling in wireless sensor network (WSN) MAC protocols is common, since it can greatly reduce energy consumption and requires no clock synchronization. However, existing systems using asynchronous duty- cycling do not efficiently support broadcast-based communication that may be used, for example, in route discovery or in network-wide queries or information dissemination. ADB (Asynchronous Duty-cycle Broadcasting), is a new protocol for efficient multihop broadcast in WSN using asynchronous duty-cycling. The seminar presents the protocol and the experimental results obtained by implementing ADB on a testbed network of MICAz mote sensors.

Attraverso l'uso delle nuove sofisticate tecnologie digitali in uso nel cinema è possibile ricreare immagini fotorealistiche completamente svincolate dal soggetto reale e dipingere in qualità fotografica. Questo percorso dà la possibilità all'artista di confrontarsi con mondi inesistenti ma perfettamente presenti nella sua mente e nella sua immaginazione aprendo quindi il dibattito su cosa sia oggi la fotografia e sulle nuove possibilità di interpretare e descrivere il mondo

Premio di laurea relativo alle tesi di laurea discusse a decorrere dal 1 gennaio 2010, secondo i termini e le condizioni stabilite nel bando. Scadenza 6 aprile 2011

Link: Annex

Il 22 marzo, la sentenza di un giudice federale americano ha rimesso in discussione il Google Books Settlement, il più importante accordo di tutti i tempi sulla digitalizzazione dei testi a stampa. L'intervento illustrerà l'evento, presentando le caratteristiche di Google Books e le conseguenze possibili del Settlement.

Link: http://www.ecsi.org/m-bed-2011

L’obiettivo di questa presentazione è dimostrare l’importanza fondamentale svolta dai controlli automatici in un contesto moderno di sistemi complessi. La prima applicazione tratta dello sviluppo del sistema di controllo di un singolo velivolo autonomo, quindi senza pilota, detto agente. Nella seconda parte della presentazione estenderemo queste tematiche al controllo di molti agenti, con un esempio relativo al monitoraggio, tramite sensori wireless, di alcuni affreschi medioevali posti all’interno della Torre Aquila, nei pressi del Castello del Buonconsiglio (Trento). Nella terza parte, infne, illustreremo come queste metodologie possano essere generalizzate al controllo di sistemi complessi, caratterizzati da un enorme numero di interconnessioni con esempi applicativi, sia in campo ingegneristico che economico.

Link: Annex

La nuova e potente rivoluzione culturale nel passaggio dei saperi: gli e-book. I nuovi tablet e gli e-reader: metodi di lettura (lean back, lean move, e lean forward). Caratteristiche del nuovo mercato editoriale degli e-book e paragone con l'editoria tradizionale. L'aspetto economico e dei diritti di riproduzione. Gli illustratori tradizionali e quelli digitali e le loro procedure nel creare le immagini. La nuova generazione di "digital born". Gli e-drawing e le loro caratteristiche. Dinamicità, rapporto immagine con il testo, rapporto con il suono Interazioni delle immagini nei nuovi dispositivi di lettura. Ruolo delle immagini nel nuovo contesto editoriale. Il primato delle immagini sullo scritto. Nuova generazione dei tablet: 2D e 3D differenza tra 3D percettivo e 3D effettivo. Il problema degli originali: il cloud computing.

Giulio Peranzoni nato a Milano, è stato presidente dell'Associazione Illustratori dal 1992 al 1998. Ha collaborato come vignettista (la Repubblica) e illustratore per i maggiori quotidiani e periodici italiani (l'Unità, Il Corriere della Sera) e per diverse agenzie di pubblicità. Attualmente collabora con le principali case editrici italiane del settore scolastico, di formazione e nel settore pubblicitario. E' stato docente di illustrazione realistica all'Istituto Europeo di Design e alla Scuola del Fumetto di Milano e docente di computer graphic alla scuola del Castello Sforzesco. Nel 2010 ha pubblicato per l'editore Area51 l'e-book "E-Drawing Il nuovo paradigma dell'illustrazione". Oltre all'attività di illustratore si dedica alla pittura e alla scultura. Vive e lavora in Toscana a Massa Carrara.

Uncovering the patterns of human mobility, which characterize the trajectories humans follow during their daily activity, is not only a major intellectual challenge, but also of importance for urban planning, transportation engineering, public health, and economic forecasting. Recently, the availability of mobile-phone records, global-positioning-system data and other mobility-related big data capturing aspects of human mobility are providing a new powerful social microscope, and have given empirically driven momentum to the subject. Based on these data, a new multidisciplinary research area is emerging at the crossroads of mobility, data mining, statistical modeling, and privacy. The seminar assesses this research frontier by providing an account on the models of human mobility recently developed by network scientists and statistical physicists, as well as on the methods for mobility data mining, such as trajectory pattern mining and trajectory clustering, developed by data mining researchers. We illustrate the key results of a European-wide research project called GeoPKDD, Geographic Privacy-Aware Knowledge Discovery and Delivery, which created an integrated platform for complex analysis of mobility data, and show its analytical power in unvealing the complexity of urban mobility in a large scale experiment, based on a massive real life GPS dataset, obtained from 17,000 vehicles with on-board GPS receivers, tracked during one week of ordinary mobile activity in the city of Milan, Italy. We argue how statistical modeling and computational sciences are converging towards a data science that, powered by the big data of ICT-mediated human activities, is aiming at a quantitative understanding of social phenomena. We conclude with an example of how the combined methods of data mining and network science can provide deeper insight into the interplay between human mobility and the social network, and how the movement behavior of people impacts the dynamics of social ties.

Link: Annex

Il Center for Micro-BioRobotics@SSSA dell'Istituto Italiano di Tecnologia è lieto di invitarvi al Workshop "Medical micro-robots: potential, challenges, strategies and dreams", che si terrà il prossimo 7 marzo presso il Polo Sant'Anna Valdera, Pontedera, viale Piaggio 34, dalle ore 9 alle ore 18.
La partecipazione all'evento è gratuita: è necessario registrarsi inviando, entro mercoledì 2 marzo, ore 13, una mail con il proprio nome e cognome all'indirizzo segrpsv@sssup.it
Per ulteriori informazioni contattare la Segreteria del Polo Sant'Anna Valdera:
Federica Radici, tel. 050 883420, e- mail: segrpsv@sssup.it

Link: Annex

New technologies have increased the possibilities of communicative expression and expanded processes and procedures of accessing, organizing and communicating information. If in the past it was possible to manually structure and visualize data, nowadays computation methods are intrinsic to how we deal with very large data sets, whether in the design of exploratory analytical tools or for communication purposes. The term Big Data well expresses the state of the field and the challenges ahead of us. A central question is how to prepare not only future generations, but ourselves included, to deal with the data proliferation: from learning how to structure and analyze data to developing skills and methods for effectively visualizing information. It is critical to foster understanding of relationships between visual thinking, visual representation, and visual communication. How can we promote informed criteria to support the design process of data visualization?

About the Speaker

Isabel Meirelles is an Associate Professor of Art & Design and the Associate Dean of the College of Arts, Media & Design at Northeastern University in Boston, MA. Isabel recent interests are in data visualization and visual analytics, and she collaborates with the Center for Complex Network Research of Northeastern Univ. in Boston and with the Knowledge Discovery and Data Mining laboratory (KDD LAB) in Pisa. A recent example of this line of her work is the visualization of the Human Development Index for the United Nations: http://hdr.undp.org/en/humandev/lets-talk-hd/.

Neuroengineering is a novel discipline combining engineering including micro and nanotechnology, electrical and mechanical, and computer science with cellular, molecular, cognitive neuroscience with two main goals: (i) increase our basic knowledge of how the nervous system works; (ii) develop systems able to restore functions in people affected by different types of neural disability. In the past years, several breakthroughs have been reached by neuroengineers in particular on the development of neural prostheses able to restore sensorimotor functions in disabled people.
In this presentation, two main research activities on this topic will be presented. First, the recent results achieved after the implantation of thin-film intra-fascicular electrodes in the median and ulnar nerves of an amputee will be shown. The possibility of decoding motor commands suitable to control a dexterous hand prosthesis has been investigated during a 4 week trial. The results showed that the extraction of motor information (i.e., grip types) is possible with good performance and that the user was able to improve his ability to provide useful motor commands over time.
Secondly, the progress towards the development of a novel neural prosthesis to restore locomotion in spinal cord injured people will be presented. To achieve this ambitious goal, we capitalize on recent breakthroughs that demonstrate the impressive capacity of spinal cord stimulations to promote the recovery of full weight bearing walking in paralyzed SCI rats. The preliminary results of the characterization of the response after epidural stimulation and of the processing of cortical signals to control the stimulation will be presented.

Presentazione degli obiettivi e delle esigenze delle commesse presenti. Per ulteriori dettagli e agenda della giornata vedere allegato.

Link: Annex

Link: http://www.sea-tec.it/it/eventi/calendario-iniziative-2011.asp

Tra gli eventi del Seatec - Sea Technology and Design 2011, è in programma il seminario del Laboratorio ISTI "Segnali e Immagini". L'intervento verterà sull'illustrare alcune delle proprie competenze e attività, e sul descrivere applicazioni significative in alcuni dei progetti in corso che possono essere di interesse nel settore della nautica.

Mirror neurons are a set of neurons that discharge both when the monkey executes a specific motor act and when it observes another individual doing a similar act. In the first part of my talk, I will review the basic functional properties of monkey frontal mirror neurons. I will describe first their motor properties showing that they code the goal of a motor act. I will review then their visual properties and present evidence that mirror neurons represent a mechanism that allows a direct understanding of what the agent is doing. Mirror mechanism also exists in humans. I will present the data proving it will show evidence that, although there are other mechanisms through which one can understand the behavior of others, the mirror mechanism is the only one that allows understanding others “from the inside” providing the observer with a “first-person” person grasp of others’ motor goals, intentions and emotions. I will conclude discussing the relationship between autism deficits and damage to the mirror mechanism. I will show that while children with autism understand the what of an observed motor act, they fail to recognize the why behind it. Because of these impairments, children with autism lack experiential understanding of others and rely on external factors in their behavior.

Il convegno è organizzato dall'ITCG "Fermi" di Pontedera

Link: Annex

Programma schematico della giornata; seguirà un programma più dettagliato non appena ricevuti i titoli dei contributi:

• ore 10,00 Presentazione ed inizio lavori
• ore 10,30-13,00 Contributi orali (10-15 minuti ciascuno)
  Tematiche coperte:
  • Grafene e altri cristalli atomici
  • Reticoli per nuove funzionalità e simulazione quantistica
  • Tecnologia a stato solido a controllo atomico
• ore 13,00 -14,30 Pausa pranzo
• ore 14,30 - 15,30 Contributi orali
• ore 15,30 - 17,30 Discussione
• ore 17,30 - 18,00 Conclusioni

La richiesta di partecipazione e il titolo di un eventuale contributo orale dovrà essere inviata al Sig. Fabio Venditti fabiogennaro.venditti@cnr.it entro il 10 gennaio 2011.

Link: http://didawiki.cli.di.unipi.it/doku.php/dm/phdworkshop2011

The workshop program consists in 20-minutes presentations by all PhD students completing their second and third year of the PhD program in computer science; each PhD student illustrates the research results achieved in a form comprehensible also for non-experts in the specific field where the work is situated.

Mostra e Giornate di Studio per spiegare ai cittadini le strategie del Comune per "rompere l'assedio" dei veicoli subìto ogni giorno dalla città e consentire ai visitatori di approfondire la conoscenza dei tanti progetti innovativi promossi in città che hanno trasformato Pisa in un laboratorio nazionale per la sperimentazione delle politiche di mobilità.

Link: Annex

Link: http://www.premiovespucci.org/

Gianpaolo Palma was awarded for his Master Thesis work on PTM/RTI visualization. The thesis concerns new methods and a system to visualize Reflection Transformation Images (RTI), i.e. images that allow the user to select interactively the illumination. Those images are the result of multiple acquisition of the same region, photographed under different illumination conditions; a further processing of the input images makes it possible to produce an image-based representation of the reflection properties of the surface depicted, which is sufficiently compact and easy to render.

This work has been published on: Dynamic Shading Enhancement for Reflectance Transformation Imaging - Gianpaolo Palma, Massimiliano Corsini, Paolo Cignoni, Roberto Scopigno, Mark Mudge ACM Journ. on Computers and Cultural heritag, Volume 3, Number 2 - set 2010

Selex Sistemi Integrati activities will be presented, in particular about radar products and related processing technologies. The European Project SMECY (Smart Multicore Embedde System) and the results of the collaboration on CeCoNo (Cell Computing Node) Project will be described. The CeCoNo activity consists in the parallel design and realization of some high-performance critical sections of the STAP environment for radar processing, applying the methodology of the High-Performance Lab of the Computer Science Department.

The design of artificial systems able to learn and adapt has been one of the main goals of Artificial Intelligence since its very beginning. To this end, statistical modelling has proven to be a tool of extraordinary effectiveness. In some cases, however, statistics is not the most adequate language for analyzing the interaction between a learning agent and an ever-changing environment. Indeed, a research thread, emerged in parallel with statistical learning, views this interaction as a repeated game between agent and environment. This different approach allows to analyze, in a rigorous framework, predictive models without any statistical assumptions. In this talk we will trace the roots of the game-theoretic approach in learning theory and describe some of the key results.

Nel seminario verrà presentato il progetto di ricerca FIRB "Piattaforma di servizi integrati per l'accesso semantico e plurilingue ai contenuti culturali italiani nel web", il cui obiettivo principale è l'elaborazione di strumenti di selezione e classificazione dei contenuti relativi ai domini della Linguistica, dell'Arte e della Letteratura.

Dopo una panoramica generale sul progetto di ricerca verranno presentate in dettaglio le fasi dell'estrazione terminologica automatica e della successiva validazione, operata dagli esperti di settore. Verrà mostrato il procedimento dell'estrazione terminologica a partire da corpora testuali di dominio e verrà illustrata una proposta di classificazione delle unità lessicali estratte, sulla base dei concetti di "termine", "quasi-termine" e "non termine".

Verranno infine illustrate le prospettive di ricerca, con particolare riferimento alla costruzione di una base di conoscenza per ciascun dominio a partire dalle liste di termini validati.

Link: http://www.w3c.it/index.php?id=3377&lang=it

Crowdsourcing significa coinvolgere collaboratori tramite Internet per contribuire a progetti no profit, di interesse generale ma anche per esternalizzare attività aziendali. In quanto promessa alternativa o integrazione dell'outsourcing per le aziende si prospettano grandi potenzialità per le aziende e per i prestatori d'opera ma allo stesso tempo si aprono diversi nodi da risolvere. Come inquadrare questi lavoratori in un mondo del lavoro di fatto globalizzato? Quali strumenti e normative applicabili in ambito fiscale e giuslavoristico?

Let K be a number field and let S be a finite set of places of K. A classical theorem of Shafarevich says that there are only finitely many K-isomorphism classes of elliptic curves over K with good reduction outside S. An effective version of this statement for K=Q was already proved by Coates. In the talk we discuss an extension to arbitrary number fields. We give explicit bounds and compare them with the one obtained by Coates. One of the important features of the result is that we view an elliptic curve as a purely geometric object which is natural and gives flexibility for further generalisations. This is joint work with R. von Känel and G. Wüstholz.

La geometria algebrica derivata permette di definire una versione derivata del loop space LX per uno schema X. Le funzioni su LX coincidono con il complesso di omologia di Hochschild su X, mentre quelle S^1-invarianti forniscono un modello per l'omologia ciclica di Connes di X. Useremo LX per dare una definizione (equivalente a quella standard) del carattere di Chern per oggetti classici su X (fibrati vettoriali, complessi perfetti etc). Una tale reinterpretazione permette generalizzazioni interessanti del carattere di Chern ad oggetti più esotici come le famiglie di dg-categorie, importanti in geometria e teoria di Hodge non commutative. Nel seminario si assumeranno solo conoscenze di geometria algebrica (non derivata). Tutti gli interessati sono invitati a partecipare.

Il quadro generale dell'intervento è una ricerca sulla possibilità di applicare anche ai codici sorgente dei programmi per calcolatore alcuni concetti, tecniche e teorie che sono state sviluppate in questi anni a proposito dei testi più tradizionali. L'intervento cerca quindi di rispondere a una domanda: se sia possibile un'estetica della programmazione. Non un'estetica degli artefatti digitali intesi come prodotti finali realizzati tramite computer e fruibili con i nostri sensi ("computer graphics", "computer music" [...]), ma proprio degli artefatti digitali primari, in sé stessi, allo stadio originario di codice sorgente. Più precisamente: è possibile produrre (scrivere) codice sorgente con intenti (metodi, contesti.) estetici? è possibile considerare (leggere) esteticamente del codice sorgente? A quali condizioni?

Programma

Lunedì 15 novembre

Museo degli Strumenti per il Calcolo
via Nicola Pisano, 25

ore 17.00 - Saluti
Marco Filippeschi Sindaco di Pisa
Massimo Mario Augello Rettore dell'Università di Pisa
ore 17.20
La produzione Olivetti nella mostra “Dal Calcolatore di Galileo...”
Interviene Claudio Luperini, responsabile del Museo degli Strumenti per il Calcolo
ore 17.35
«Una trama ideale, una destinazione, una vocazione» L'Olivetti a Pisa
Interviene Tiziana Paladini, Museo degli Strumenti per il Calcolo
ore 17.55
Visita guidata alla mostra «Dal calcolatore di Galileo...»
ore 19.00
Aperitivo

Ore 21.00 - Teatro Sant’Andrea

Via del Cuore - Pisa

“Sogni d’oro. La favola vera di Adriano Olivetti e un secolo di canzoni”
Spettacolo di Roberto Scarpa con Luca Morelli

Martedì 16 novembre

SMS
Viale delle Piagge - Pisa

Ore 10.30 - Saluti
Silvia Panichi, Assessore alla Cultura del Comune di Pisa
Ore 10.45
Proiezione del documentario “Lettera 22”
a cura di Arsenale Cinema
Ore 11.15
“Olivetti negli scritti di Natalia Ginzburg”
Introduzione e scelta dei brani di Nicoletta Scalari
Legge Giulia Solano
Ore 11.40
“Adriano Olivetti e Carlo L.Ragghianti: realizzazioni e utopie”
Interviene Gigetta Dalli Regoli
Ore 12.00
“Olivetti e la collaborazione con Giovanni Astengo”
Interviene Mario Pasqualetti

Ente organizzatore

Comune di Pisa

info:c.faroldi@comune.pisa.it

Link: http://www.festivalscienza.it/site/Home/IlFestival.html

Il Festival della Scienza è un punto di riferimento per la divulgazione della scienza. È un’occasione di incontro per ricercatori, appassionati, scuole e famiglie. È uno dei più grandi eventi di diffusione della cultura scientifica a livello internazionale.

Concurrent Constraint Programming (CCP) is a well-established model for concurrency that builds upon operational and algebraic notions from process calculi and first-order logic. Bisimilarity is one of the central reasoning techniques in concurrency. The standard definition of bisimilarity, however, is not completely satisfactory for CCP since it yields an equivalence that is too fine grained. By building upon recent foundational investigations (stemmed from the theory of Reactive Systems), we introduce a labelled transition semantics and a novel notion of bisimilarity that is fully abstract with respect to the typical observational equivalence in CCP. This way we provide CCP with a new proof technique that is coherent with existing ones.

Joint work with Andres Aristizabal, Catuscia Palamidessi, Luis Pino, Frank Valencia.

Faces are important visual stimuli to social primates because they transmit information that can be used to identify an individual. The human visual system is required to categorize, identify and remember the thousands of faces that are encountered throughout life. According to a popular theory, this is achieved by encoding the distinctiveness of each face on a number of linear dimensions representing independent perceptual attributes. In this multidimensional space, known as "norm-based face space" the identity of a given face is represented by its deviation from the central norm (the average of all previously seen faces). A major advantage of this framework is that it can help clarify how the human brain perceives and recognizes faces. Although face space has received a great deal of recent attention in the adult human literature, it is virtually unexplored in young infants and nonhuman primates. Only a handful of studies have investigated face space in children with the youngest age group being children over 4 years. This is primarily due to the reliance on verbal responses as dependent variables in the experimental procedures. In this study, we will develop rigorous psychophysical methods to study the structure of face space in young, preverbal infants (6 and 9 months of age) and nonhuman primates (chimpanzees and rhesus monkeys).This research has broad health implications as it will provide a complete understanding of how face space develops in humans and provide, as such, a valuable baseline for understanding the impairments in face coding that manifest in Autism Spectrum Disorders (ASD).

Dr. Jess Taubert
Yerkes National Primate Research Center, Emory University, Atlanta

Come la ricerca si trasforma in impresa - Giornata d'incontro per l'ICT.

AGENDA
9.30	Introduzione e Benvenuto
9.45	Scouting di Idee Imprenditoriali nel mondo della ricerca  (Polo Tecnologico di Navacchio)
10.30	Presentazione tematica “Multimedia Information Retrieval”  (ISTI-NeMIS)
11.00	Presentazione tematica “Data analysis to discover human mobility  behavior” (ISTI-KDD)
11.30	Presentazione tematica “Creation of digital 3D models and tools  for 3D Browsing” (ISTI-VC)
12.00	Presentazione tematica “Security, Privacy, and Trust on Mobile  devices” (IIT-Security)
12.30	Discussione ed eventuale pianificazione di altri incontri
13.00	Fine Lavori

Link: Annex

Link: http://www.ercim.eu/news/288-andrea-esuli-winner-of-the-2010-ercim-cor-baayen-award%29

Andrea Esuli from ISTI-CNR has been chosen by ERCIM as the winner of the 2010 Cor Baayen Award for a promising young researcher in computer scienceand applied mathematics. Andrea is the first Italian winner in 16 editions of the award.

Prof. V Hugh Perry,
School of Biological Sciences, University of Southampton, Mail Point 840, LD80B
South Lab and Path Block, Southampton General Hospital
Tel: 023 8079 6968
http://www.southampton.ac.uk/biosci

Link: http://www.w3c.it/projects/aquarius/

W3C Office in Italy organizes a conference on issues of accessibility and usability of institutional web sites as a principle of good governance and efficiency of public administration.
Thanks to partial funding from the Tuscany Region the Office developed a training course (Aquarius) on quality and usability of Web sites, whose attendance is restricted to personnel of the institutions participating in Rete Telematica Regione Toscana (RTRT). CNR staff (belonging to the institutes ISTI, IIT and ITTIG) and external experts will present the main issues about accessibility and will held practical training, too. The training course is an example of technology transfer from CNR to the national community. Indeed, CNR and Italy Office participated in the specification of technical rules for accessibility of public websites and carry out research and development in this field.

The conference is part of the training course and will be held on October 4^th, 2010 at the CNR Research Area of Pisa. Attendance to the conference is open to all and free of charge, but registration by September 28^th is required.

More details on the Aquarius web site.

Link: http://fellowship.ercim.eu/

Topics cover most disciplines in Computer Science, Information Technology, and Applied Mathematics. Fellowships are generally of 18 month duration, spent in two ERCIM member institutes. A fellowship of 12 month duration spent in one institute might also be offered. Applicants must:

• Have obtained a PhD degree during the last 8 years (prior to the application deadline) or be in the last year of the thesis work with an,outstanding academic record.
• Be fluent in English.
• Be discharged or get deferment from military service.
• Have completed the PhD before starting the grant (a proof will be requested).

The global random attractor for a class of stochastic porous media equations

Dirichlet spaces on H-convex sets in the Wiener space

High electron mobility in graphene is one of its most interesting properties for potential applications. Despite intensive efforts, both experimental and theoretical, we still have no complete understanding of main electron scattering mechanisms and main limiting factors restricting the mobility. It is clear that a long-range scattering is important since short-range scatterers with radius of potential smaller than the electron wavelength are irrelevant for massless Dirac fermions. Three most probable candidates are charge impurities, scattering by elastic deformations created by frozen ripples, and resonant scattering centers (the last case also deals with long-range effects due to divergence of the scattering length). I review a theory of these mechanisms, together with relevant experimental results and first-principle calculations. It seems that the resonant scattering is the best candidate but the issue requires further research. I discuss also peculiarities of electron transport in bilayer graphene and temperature dependence of resistivity for freely suspended graphene samples. In the latter case, two-phonon processes involving bending mode give probably the main contribution.

Lattice deformations couple to electrons in graphene by giving rise to an effective gauge field [1,2]. This unique feature leads to the possibility of modifying the electronic properties by applying strain to the lattice [3,4]. The main properties of the interaction between electrons and long wavelength lattice deformations will be reviewed.

1. A. H. Castro Neto, F. Guinea, N. M. R. Peres, K. S. Novoselov, and A. K. Geim, Rev. Mod. Phys. 81, 109 (2009)
2. M. A. H. Vozmediano, M. I. Katsnelson, and F. Guinea, Phys. Rep., in press (2010).
3. F. Guinea, M. I. Katsnelson, and A. K. Geim, Nature Phys. 6, 30 (2010).
4. N. Levy, S. A. Burke, K. L. Meaker, M. Panlasigui, A. Zettl, F. Guinea, A. H. Castro Neto, and M. F. Crommie, Science 329, 544 (2010).

 

Best paper at FMICS 2010: "The Metro Rio ATP case study" by Alessio Ferrari, Alessandro Fantechi, Daniele Grasso, and Gianluca Magnani. Published by Springer in LNCS 6371.

The shortest path tour problem (SPTP) consists of finding a shortest path from a given origin node s to a given destination node d in a directed graph with nonnegative arc lengths with the constraint that the optimal path P should successively and sequentially pass through at least one node from given disjoint node subsets. In this talk, it will proved that the SPTP belongs to the complexity class P and several alternative techniques will be presented to solve it. Furthermore, some variants of the SPTP will be discussed and proved to be special facility location problems.

I will presents new observational tests of the LCDM paradigm. In particular I will focus on the following questions: are there universal dark matter profiles? is there dark matter substructure? What is the equation of state of dark energy? I will discuss the crucial need to uderstand the interplay between baryons and dark matter as part of the paradigm.

Link: http://www.sefm2010.isti.cnr.it/

The Conference is hosted by Formal Methods && Tools Lab (FM&&T) at the Institute of Information Science and Technologies of the Italian National Research Council (ISTI-CNR) and is to be held in Pisa, Italy, from 13th to 18th September, 2010.

The aim of the conference is to bring together researchers and practitioners from academia, industry and government to advance the state-of-the-art in formal methods, to scale up their application in software industry and to encourage their integration with practical engineering methods. Authors are invited to submit both research and tool papers.
The scientific program will include invited talks, paper and tool presentations, tool demonstrations, tutorials and workshops.
The proceedings of the conference will be published by the IEEE Computer Society Press.
There will be a school preceding the conference aiming to postgraduate students and researchers from academia and industry.

"True consent", as Bacon has it, "is that which consists in the coincidence of free judgements after due examination". However, as Montessori has it, "we cannot be free if we are not independent". The persistence of economic hardship, where national governments are no longer able to fund basic research, it is hard evidence suggesting the need to achieve financial independence.

The aim of this seminar is to describe and discuss our method to achieve financial independence. We introduce the notion of financial curriculum, to be written in addition to the academic curriculum, describe how to read and write one such document, and how to profit from it using a step-by-step algorithm to perform the transition from the state of financial dependence to the state of financial independence. The method is of general applicability. As case study, we show the financial curriculum of a researcher, a professor, the Department of Computer Science, and the University of Pisa.

Mattino, Aula 31 IFC:
09,30 10,30 Blender and its many instruments Mike Pan
10,45 11,45 Blender Game Engine for protein motion Monica Zoppè
11,45 12,45 Expanding Blender with Python Vincenzo di Somma

Pomeriggio:
Hands-on workshop in the computer room with the help of expert Blender users

La partecipazione è gratuita ed aperta a tutti gli interessati nei limiti della capienza dei locali.
La registrazione non è obbligatoria, ma per questioni organizzative si prega di registrarsi ad http://dnax.it/blender.php
Verrà comunicata la conferma.

Viene presentato un approccio alla teoria dell'operatore $\overline\partial$ su spazi con singolarità tramite il concetto di corrente metrica (Ambrosio, Kirchheim - 2000). Verranno illustrati alcuni risultati locali nel caso di particolari singolarità e alcune proposte per riadattare la teoria classica di Hoermander, tramite la definizione di opportuni spazi di funzioni

Recent experimental observations have shown that quantum coherence plays an important role in photosynthetic energy transport. Photosynthetic molecules are large and complex, containing both regular structures, such as rings of chromophores, and apparently irregular structures. This talk proposes a general theory of the role of symmetry and asymmetry in quantum transport in biomolecules. I will show that collective coherent effects, including entanglement, can give rise to substantial enhancements of excitonic lifetimes and energy transport.

Link: http://www.w3.org/2010/02/mbui/cfp.html

Roma 13 - 14 Maggio 2010, CNR Aula II Pentagono - Orario: 9.00-18.00 - Workshop to discuss the challenges and benefits of Model-Based approaches, to hear the main results achieved by the Incubator Group, and to facilitate a discussion about the next steps to be taken in the area of open standards for Model-Based User Interfaces. Web application developers face increasing difficulties due to wide variations in device capabilities, in the details of the standards they support, the need to support assistive technologies for accessibility, the demand for richer user interfaces, the suites of programming languages and libraries, and the need to contain costs and meet challenging schedules during the development and maintenance of applications. Research work on model-based design of context-sensitive user interfaces has sought to address the challenge of reducing the costs for developing and maintaining multi-target user interfaces through a layered architecture that separates out different concerns. W3C invites you to attend a workshop to discuss the challenges and benefits of Model-Based approaches, to hear the main results achieved by the Incubator Group, and to facilitate a discussion about the next steps to be taken in the area of open standards for Model-Based User Interfaces. Riferimenti: Fabio Paternò: fabio.paterno@isti.cnr.it

Link: http://video.iit.cnr.it/live/video.jsp?idconf=SeminarioFlussiTuristici&idvideo=seminarioFlussiTuristici.flv

Temi in discussione oggetto dell'incontro:

1. Le tendenze emergenti del Turismo e la sostenibilità per i centri storici: strategie per la gestione dei flussi;
2. Esperienze di sistemi di pagamento integrati (carte intelligenti e cellulari)per formulare nuove politiche di regolazione dei flussi;
3. Evoluzioni tecnologiche: l'impatto di WEB 2.0 e WEB 3.0 nel futuro del turismo globale;
4. Nuove opportunità didattiche e nuove profilature di utenti;
5. La sensoristica di ultima generazione e la gestione della mobilità urbana;
6. I sistemi a supporto delle decisioni e l'organizzazione dei centri culturali, l'opportunità di fare sistema;
7. La ricerca, la tutela e valorizzazione del patrimonio culturale italiano e del paesaggio attraverso le nuove tecnologie ICT e i nuovi modelli organizzativi e di business;
8. La tracciabilità e rintracciabilità dei prodotti e degli alimenti una garanzia di valorizzazione del territorio.

Intervento conclusivo: Francesco Beltrame, Direttore Dipartimento ICT del CNR. Sono previsti interventi di: Giorgio Almansi, Regione Toscana; Chiara Baracchini, Sopraintendenza di Pisa; Paolo Bongini, Regione Toscana; Massimo Bressan, IRIS; Fabio Carati, Future Centre; Maurizio Cecconi, Salone Beni Culturali; Erina Ferro, CNR Pisa; Mauro Lombardi, PIN Università Firenze; Attilio Minafra, Aikal; Giovanni Palazzi, Stageup, Università di Bologna; Enrico Pagello, DEI Università di Padova; Gian Bruno Rivenni, Regione Tosacana; Giovanni Santoro, Coses; Martina Visentin, LIDA Università di Udine.

Link: http://www.multimatch.eu/tirrenia_12_07.html

Workshop at the II DELOS Conference, Hotel Continental, Tirrenia 4 December 2007. The aim of the MultiMatch project is to enable users to explore and interact with online accessible cultural heritage content, across media types and languages boundaries.

A. Bucchiarone, M. ter Beek e S. Gnesi hanno ricevuto il riconoscimento per l'articolo "Web Service Composition Approaches: From Industrial Standards to Formal Methods".