Program Verification using Constraint Handling Rules and Array Constraint Generalizations⋆ Emanuele De Angelis1,3 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

Source URL: www.sci.unich.it

IEEE AASP Challenge on Detection and Classification of Acoustic Scenes and Events THE WONDERS OF THE NORMALIZED COMPRESSION DISSIMILARITY REPRESENTATION Emanuele Olivetti NeuroInformatics Laboratory (NILab), Bruno Kessl

Source URL: c4dm.eecs.qmul.ac.uk

V IS M ASHUP: Streamlining the Creation of Custom Visualization Applications ´ Emanuele Santos, Lauro Lins, James P. Ahrens, Juliana Freire, and Claudio T. Silva, Senior Member, IEEE

Source URL: vgc.poly.edu

• Software
• Computing
• Software design patterns
• Graphical user interfaces
• Workflow technology
• VisTrails
• Inter-process communication
• Mashup
• Pipeline
• Visualization
• VisIt
• Software widget

VeriMAP: A Tool for Verifying Programs through Transformations Emanuele De Angelis1? , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

Source URL: www.sci.unich.it

Is It Real, or Is It Randomized?: A Financial Turing Test∗ Jasmina Hasanhodzic,† Andrew W. Lo,‡ and Emanuele Viola§ This Draft: February 23, 2010 Abstract We construct a financial “Turing test” to determine wh

Source URL: alo.mit.edu

VeriMAP: A Tool for Verifying Programs through Transformations Emanuele De Angelis1? , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

Source URL: map.uniroma2.it

NOTE LEGALI E PRIVACY Informazioni societarie Bottega Reale srl uni personale con sede legale in p.zza Vittorio Emanuele II, 14 – 12035 Racconigi (CN) Codice Fiscale e Partita IVAR.E.A. CNR.I.

Source URL: terredeisavoia.files.wordpress.com

Emanuele Murra wo rki ngp a

Source URL: www.bin-italia.org

Fundamenta Informaticae XX–24 IOS Press Synthesizing Concurrent Programs using Answer Set Programming Emanuele De Angelis

Source URL: www.iasi.cnr.it

A Computational View of Market Efficiency∗ Jasmina Hasanhodzic†, Andrew W. Lo‡, and Emanuele Viola†† August 31, 2009 Abstract We propose to study market efficiency from a computational viewpoint. Borrowing from

Source URL: alo.mit.edu