| 13/01/04 |
16.30
|
Analysis for Stack Inspection |
Thomas Jensen
- IRISA - Rennes, Francia
|
| 20/01/04 |
17.30
|
Validating the dynamics and control of space robotic systems by on-the-ground testing
in simulated micro-gravity |
Marcello Romano
- Department of Mechanical and Astronautical Engineering, US Naval Postgraduate School, Monterey, California, USA
|
| 03/02/04 |
17.30
|
Physiology-based Stability Criterions for Human-Robot Interactions
|
Florin Popescu
|
| 10/02/04 |
17.30
|
Some Results on the Verification of Recursive Parallel Systems |
Massimo Benerecetti
- Universita' di Napoli
|
| 24/02/04 |
17.30
|
P Systems e Reti di Petri |
Enrico Formenti
- University of Nice, Francia
|
| 02/03/04 |
17.30
|
Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling |
Andy King
- University of Kent, Inghilterra
|
| 09/03/04 |
17.30
|
Deriving and Proving Abstract non-Interference |
Isabella Mastroeni
- Universita' di Verona
|
| 31/03/04 |
17.00
|
Secure Information Flow for a Sequential Java Virtual Machine |
Tamara Rezk
- INRIA Sophia Antipolis
|
| 27/04/04 |
17.00
|
Timed Interfaces: A Behavioral Type System for Component-based Design |
Marielle Stoelinga
- University of California at Santa Cruz
|
| 12/05/04 |
17.00
|
Fondazioni Insiemistiche della Matematica Costruttiva |
Laura Crosilla
- Universita' di Firenze
|
| 25/05/04 |
17.00
|
Computing Aggregate Funtions on Large-Scale Distributed Systems |
Alberto Montresor
- Universita' di Bologna
|
| 15/06/04 |
17.00
|
Learning Logic Formulas from Data |
Klaus Truemper
- University of Texas at Dallas
|
| 29/06/04 |
17.30
|
On Bisimilarities Induced by Partial Orders
|
S. Arun-Kumar
- Indian Institute of Technology
|
| 13/07/04 |
17.00
|
Modelling storage and resources: an introduction to separation logic |
Dave Schmidt
- Computing and Information Sciences Department, Kansas State University, USA
|
| 21/09/04 |
17.00
|
Abstract Interpretation and the PPL: From Theory to Practice and Vice Versa |
Enea Zaffanella
- Dipartimento di Matematica, Parma
|
| 28/09/04 |
17.00
|
Topological Ideas in Sound Synthesis |
Georg Essl
- Medialab Europe, Palpable Machines Group, Dublin
|
| 26/10/04 |
17.30 Ore 17.00 te, caffe` e pasticcini
|
Engineering a High-Performance Equational Theorem Prover |
Stephan Schulz
- Universita` di Verona
|
| 09/11/04 |
17.00
|
Bilateral Telemanipulation: A Port-Hamiltonian Approach |
Cristian Secchi
- DISMI - University of Modena and Reggio Emilia
|
| 11/11/04 |
17.30 Ore 17.00: tè,caffè, biscotti/ini
|
Logical Data Expiration |
David Toman
- University of Waterloo
|
| 16/11/04 |
16.30 Ore 16.00: te`, caffe` e pasticcini
|
Adaptive packet classification for constant
perceptual quality of service delivery of
video streams over time-varying networks |
Davide Quaglia
- Politecnico di Torino
|
| 18/11/04 |
17.30 Ore 17.00: te`, caffe` e biscotti
|
La gerarchia delle variabili nel mu calcolo modale |
Giacomo Lenzi
- Universita` di Pisa, Dipartimento di Matematica Applicata
|
| 23/11/04 |
17.30 Ore 17.00: tè,caffè e biscotti/ini
|
Sensori ottici CMOS con elaborazione di segnale integrata |
Massimo Gottardi
- ITC-IRST, Povo (TN)
|
| 30/11/04 |
17.30 Ore 17.00: tè,caffè e biscotti/ini
|
Polytime incontra i template in C++ |
Giovanni Pani
- Università di Bari
|
| 07/12/04 |
17.30 ore 17:00: te`,caffe`, biscotti/ini
|
Soluzione di equazioni su linguaggi: teoria e applicazioni |
Tiziano Villa
- Universita` di Udine
|
| 13/12/04 |
14.15
|
VISION BETWEEN ACTION AND PERCEPTION |
Giuseppe Boccignone
- Natural Computational Lab, DIIIE - Università di Salerno
|
| 14/12/04 |
17.30 ore 17.00: tè,caffè e biscotti/ini
|
Introduzione alle Ontologie Formali |
Matteo Cristani
- Univessità di Verona, Dipartimento di Informatica
|
| 21/12/04 |
17.30 Ore 17.00: tè, caffè e biscotti/ini
|
Middleware per servizi adattativi su terminali mobili eterogenei |
Silvia Vecchi
- HP Research Lab,.
|
| 25/01/05 |
17.30 Ore 17.00: tè,caffè e biscotti/ni
|
Brain-Controlled Robots |
José del R. Millán
- IDIAP Research Institute, Martigny (CH)
|
| 22/02/05 |
17.30 Ore 17.00 tè, caffè & c.
|
A Model-Checker for the Symbolic Analysis of Internet Security Protocols
|
Luca Viganò
- ETHZ - Zurich (CH)
|
| 08/03/05 |
17.30 Caffè,tè & C. alle ore 17.00
|
Vedere senza gli occhi: il problema della protesi visiva fra
bioingegneria, psicologia ed epistemologia
|
Alessandra Jacomuzzi
- Università di Trieste
|
| 19/04/05 |
17.30 Ore 17.00 te, caffe` e pasticcini
|
Modeling of the glottal flow by physical models with waveform matching properties |
Carlo Drioli
- ISTC-CNR Padova, Dipartimento di Fonetica e Dialettologia
|
| 10/05/05 |
17.30 ore 17.00: te`, caffe` & C.
|
Integrity Constraints in Trust Management |
Sandro Etalle
- Universita` di Twente, DIES: distributed and embedded system group
|
| 17/05/05 |
17.30 caffe`, te` & C. ore 17.00
|
Body-Goal Variability Mapping: the Interaction Between Geometry and Sensitivity in an Aiming Task |
Joseph Cusumano
- Department of Engineering Science & MechanicsPennsylvania State University
|
| 24/05/05 |
17.30 Ore 17.00: tè, caffè e &.
|
Orthogonal Polynomials (in Matlab) |
Gautschi Walter
- Purdue University - USA
|
| 07/06/05 |
17.30 caffe`, te` & C. ore 17.00
|
Strumentazioni Biomediche Computerizzate |
Marco Rossi
- ATES MEDICA DEVICE
Colognola ai Colli (Verona)
|
| 08/06/05 |
15.30 Te, caffe` pasticcini alle 17.00
|
Audio-Tactile |
Michal Rinott
- Interaction Design Institute - Ivrea
|
| 08/06/05 |
17.00 Ore 16.30, caffè, tè e pasticcini
|
Designing Interaction Landscapes |
Karmen Franinovic e Yon Visell
- Zero-Th Association, Pula, Croatia
|
| 14/06/05 |
17.30 caffe`, te` & C. ore 17.00
|
Metodi per l'analisi di segnali e immagini: modelli, algoritmi e applicazioni |
Michele Piana
- Dipartimento di Matematica - Universita` di Genova
|
| 16/06/05 |
17.30 Ore 17.00: tè, caffè e &.
|
Pseudodifferential operators, optimal grids, and evolution equations: a
case study for micromagnetics |
Cyrill Muratov
- NJIT-New Jersey Institute of Technology
|
| 21/06/05 |
17.30 ore 17.00, te caffe` & C.
|
On a semi-spectal method for pricing an option on a mean-reverting assset |
Leonard P. Bos
- Department of Mathematics and Statistics, University of Calgary (Canada)
|
| 05/07/05 |
17.30 caffe`, te` & C. ore 17.00
|
Clinical bioimaging and functional genomics |
Elisa Ficarra
- Dip. di Automatica e Informatica, Politecnico di Torino
|
| 13/09/05 |
17.30 caffe`, te` & C. ore 17.00
|
Big proof engines as little proof engines: new results on decision procedures for satisfiability modulo a theory |
Prof.ssa Maria Paola Bonacina
- Dipartimento di Informatica, Universita` di Verona
|
| 04/10/05 |
17.30 caffe`, te` & C. ore 17.00
|
Gesturally parameterized sound and video synthesis |
Sha Xin Wei
- Topological Media Lab, Concordia University, Canada
|
| 18/10/05 |
17.30 caffe`, te` & C. ore 17.00
|
Il valore Shapley per giochi cooperativi: un gioiello dalle mille
sfaccettature |
Prof. Fioravante Patrone
- Dipartimento di Matematica, Universita` di Genova
|
| 25/10/05 |
17.30 caffe`, te` & C. ore 17.00
|
Rivelazione distribuita in reti di sensori |
Ing Roberto Pagliari
- Dipartimento di Ingegneria dell'Informazione, Università di Parma
|
| 27/10/05 |
17.30 caffe`, te` & C. ore 17.00
|
Some new mathematical models in tissue reparation |
Luis Almeida
- CNRS, Lab.Dieudonné, Nice (F)
|
| 13/12/05 |
17.30 caffe`, te` & C. ore 17.00
|
Esperienze di implementazione servizi in bioingegneria: l'ambito e-Health e il settore Computer Assisted Surgey |
Cristiano Paggetti
- I+ S.r.l. (Firenze, Italia)
|
| 24/01/06 |
17.30 caffè, tè & C. ore 17.00
|
Il teorema di Hopf-Rinow e la convessità dinamica di sistemi naturali con termostato. |
Prof. Gaetano Zampieri
- Università di Torino
|
| 07/02/06 |
17.30 caffè, tè & C. ore 17.00
|
Editoria Scientifica Libera |
Prof. Davide Rocchesso
- Università di Verona
|
| 21/02/06 |
17.30 caffè, tè & C. ore 17.00
|
Deduction and Unification in Permutative Theories |
Dr. Mnacho Echenim
- Institut National Polytechnique de Grenoble
|
| 07/03/06 |
17.30 caffè, tè & C. ore 17.00
|
An inversion software for the analysis of solar X-ray spectra within the NASA RHESSI Mission |
Anna Maria Massone
- CNR - INFM, LAMIA, Genova
|
| 21/03/06 |
17.30 17.30 caffè, tè & C. ore 17.00
|
Rigorous computing in Computer Vision |
Michela Farenzena
- Dipartimento di Informatica, Università di Verona
|
| 03/04/06 |
17.30 caffè, tè & C. ore 17.00
|
Sounds as sources |
Brian Gygi
- Acoustics Research Institute, Austrian Academy of Science, Vienna, Austria
|
| 11/04/06 |
17.30 caffè, tè & C. ore 17.00
|
Automatically proving confluence of non-terminating rewrite systems via a generalized Newman-style approach
|
Prof. Bernhard Gramlich
- School of Computer Science, TU Wien, Austria
|
| 09/05/06 |
17.30 caffè, tè & C. ore 17.00
|
La struttura matematica nascosta del Codice Genetico |
Dr. Diego L. Gonzalez
- FSSG-CNR Venezia
|
| 30/05/06 |
17.30 caffè, tè & C. ore 17.00
|
A linear method for solving non-linear inverse scattering problems of interest in microwave tomography |
Riccardo Aramini
- Dipartimento di Matematica (Università di Trento)
|
| 06/06/06 |
17.30 caffè, tè & C. ore 17.00
|
Fun Learning, Robotics for Students, and Multibody Dynamics for Advanced and Rural Industries
|
Prof. S. K. Saha
- Dept. of Mech. Engg., IIT Delhi, INDIA
|
| 13/06/06 |
17.30 caffè, tè & C. ore 17.00
|
Behavioral Development for a Humanoid Robot: Towards Life-long human-robot partnerships |
Prof. Ronald C. Arkin
- Georgia Institute of Technology, Georgia (USA)
|
| 20/06/06 |
17.30 caffè, tè & C. ore 17.00
|
Il Tempo nei sistemi di calcolo bio-ispirati basati su Membrane |
Prof. Claudio Ferretti
- (Dipartimento di Informatica, Sistem., Comunicazione - Università di Milano-Bicocca
|
| 04/07/06 |
17.30 caffè, tè & C. ore 17.00
|
Mean Shift: theory and applications |
Marco Cristani
- Università di Verona
|
| 05/09/06 |
17.30 caffè, tè & C. ore 17.00
|
(Iper)interpolazione su domini bivariati |
dott. Marco Caliari
- Universita' degli Studi di Padova
|
| 19/09/06 |
17.30 caffè, tè & C. ore 17.00
|
Computation of the PageRank vector for web search |
Prof. Claude Brezinski
- Lille (France)
|
| 21/09/06 |
17.30 caffè, tè & C. ore 17.00
|
Software Watermarking: State of the Art and Future Directions |
Dr. Christian Collberg
- Department of Computer Science, University of Arizona
|
| 24/10/06 |
17.30 caffè, tè & C. ore 17.00
|
Una breve introduzione alle logiche temporali ad intervalli |
Davide Bresolin
- Dipartimento di Matematica e Informatica, Università di Udine
|
| 07/11/06 |
17.30 caffè, tè & C. ore 17.00
|
Hybrid Automata: Introduction, First-Order Approach, and Approximation Techniques |
Alberto Casagrande
- Dipartimento di Matematica e Informatica (Università di Udine)
|
| 21/11/06 |
17.30 caffè, tè & C. ore 17.00
|
Decision procedures for verification of computer systems |
Dr. Calogero G. Zarba
- REACT Group, Universitaet des Saarlandes
|
| 29/11/06 |
14.30 inizio alle15:00. Te', caffe', biscotti alle 14:30
|
Elaborazione di immagini in medicina e simulazione in realtà virtuale |
Andrea Giachetti
- Università degli Studi di Verona
|
| 12/12/06 |
17.00 inizio alle17:30. Te', caffe', biscotti alle 17:00
|
Energy and Thermal Awareness in Networked Embedded Systems |
Andrea Acquaviva
- University of Urbino "Carlo Bo" - Italy
|
| 19/12/06 |
17.00 inizio 17:30, caffe & C ore 17:00
|
Robust Vision Based Manipulation and Navigation for Home Service Robots |
Sukhan Lee
- School of Information and Communication Engineering, Sungkyunkwan University
|
| 08/01/07 |
16.30
|
Genetic Programming for the Automatic Synthesis of Metabolic Pathways |
Alberto Castellini
- Dipartimento di Informatica, Universita' di Verona
|
| 15/01/07 |
16.30 inizio alle 17:00, caffe & biscotti alle 16:30
|
Perceptual imaging |
Gloria Menegaz
- Università degli Studi di Siena
|
| 23/01/07 |
14.30 inizio ore 15. te, caffe e biscotti dalle 14:30
|
EEG signal analysis in EEG fMRI coregistration in normal subjects and patients |
Paolo Manganotti
- Dipartimento di scienze neurologiche e della visione, Università di Verona
|
| 05/02/07 |
16.30 inizio ore 17:00. Te, caffe e biscotti dalle 16:30
|
Denotational Paradigms for Programming Languages |
Luca Paolini
- Dipartimento di informatica, Università di Torino
|
| 13/02/07 |
17.00 Inizio alle 17:30, Caffè, te e biscotti alle 17.
|
From single molecule study to clinical functional genomics and Systems Biology |
Elisa Ficarra
- Politecnico di Torino
|
| 19/02/07 |
17.00 Inizio alle 17:30, Caffè, te e biscotti alle 17.
|
Static analysis of Concurrent Programs: A geometric approach, and perspectives |
Eric Goubault
- Département d'Informatique de l'École normale supérieure
|
| 12/03/07 |
16.30 inizio alle 17:00. Alle 16:30 caffe', te' e biscotti
|
Enabling Dynamic Resource Management for Multi-Processor Systems-on-Chips |
Salvatore Carta
- Dipartimento di Informatica, Università di Cagliari
|
| 20/03/07 |
17.00 inizio alle 17:30. Alle 17.00 caffe', te` e biscotti
|
Pictorial Query Specification for Browsing Through Spatially-Referenced Image Databases |
Hanan Samet
- Department of Computer Science, University of Maryland
|
| 30/03/07 |
15.30 Inizio alle 16:00. Caffè, tè e biscotti dalle 15:30
|
Threading Software Watermarks |
Jasvir Nagra
- Università di Trento
|
| 08/05/07 |
17.00 Inizio alle 17:30, Caffè, te e biscotti alle 17.
|
Hierarchical and modular reasoning in complex theories |
Viorica Sofronie
- Max Planck Institut fuer Informatik, Saarbruecken
|
| 22/05/07 |
14.30
|
Approximation in metric spaces and fractals |
Claudio Bonanno
- Dipartimento di Matematica Applicata, Università di Pisa
|
| 24/05/07 |
10.00
|
User, design and interaction |
Charlotte Magnusson
- Department of Design Sciences, Lund University
|
| 29/05/07 |
17.00 Inizio alle 17:30, Caffè, te e biscotti alle 17.
|
Opti-Acoustic Stereo Imaging;
New Paradigm for Underwater 3-D Target Mapping |
Shahriar Negahdaripour
- Underwater Vision & Imaging Lab, University of Miami
|
| 12/06/07 |
15.15 Sala Verde (Ciclo COVAR)
|
From Conventional Biology to Computational Biology: recent problems on sequences and structures |
Matteo Comin
|
| 12/06/07 |
16.15 Sala Verde (Ciclo COVAR)
|
Task plannning and execution in variable environments |
Debora Botturi
|
| 12/06/07 |
17.00 Inizio alle 17:00, breve rinfresco al termine.
|
Simulazione numerica dei fenomeni di segregazione spaziale per alcuni sistemi di competizione-diffusione |
Simone Zuccher
- Collaboratore Università di Verona
|
| 19/06/07 |
15.15 Aula L (Ciclo COVAR)
|
Pattern Recognition: concetti generali e applicazioni in Bioinformatica |
Bicego Manuele
|
| 19/06/07 |
16.15 Aula L (Ciclo COVAR)
|
On the use of physical modeling and machine learning methods in sound and voice synthesis |
Drioli Carlo
|
| 19/06/07 |
17.15 Aula L (Ciclo COVAR)
|
Automatic Analysis of Retinal Images |
Grisan Enrico
|
| 25/06/07 |
17.00 Verde (Ciclo COVAR)
|
Statistical generative modelling of audio-video sequences for scene analysis |
Marco Cristani
- Università di Verona
|
| 26/06/07 |
15.15 Verde (Ciclo COVAR)
|
Distributed Control Architectures for Modular and Networked Robotic Systems |
Alberto Turetta
- Università di Genova
|
| 26/06/07 |
16.15 Verde (Ciclo COVAR)
|
Translating Time-course Gene Expression
Profiles into Semi-Algebraic Hybrid Automata |
Alberto Casagrande
- Università di Udine
|
| 26/06/07 |
17.15 Verde (Ciclo COVAR)
|
From Bioinformatics and Engineering to Systems Biology |
Elisa Ficarra
- Politecnico di Torino
|
| 27/06/07 |
17.00 Verde (Ciclo SEMDIP)
|
Q-Calcolo: un lambda calcolo quantistico |
Margherita Zorzi
- Università di Verona
|
| 02/07/07 |
15.00 Verde (Ciclo SEMDIP)
|
Computational Challenges of the Barley Genome Project |
Stefano Lonardi
- University of California, Riverside
|
| 02/07/07 |
17.00 Verde (Ciclo COVAR)
|
Geometry and Appearance Modelling from Images |
Michela Farenzena
- Università di Verona
|
| 10/07/07 |
17.00 Aula Verde (Ciclo COVAR)
|
Modeling sound gestures in multimodal human-computer interaction. |
Antonio Rodà
- Università di Udine
|
| 24/07/07 |
17.00 Verde (Ciclo SEMDIP)
|
Interfacial patterns in systems with long-range interactions of Coulomb type |
Cyrill Muratov
- New Jersey Institute of Technology
|
| 17/09/07 |
16.00
|
Specifying and Analyzing Security Automata |
David Basin
- Department of Computer Science, ETH Zurich
|
| 25/09/07 |
17.00 Inizio alle 17:30, Caffe' e biscotti alle 17:00.
|
Classification via classifier ensembles: principles, theory and
applications |
Alessandro Perina
- Studente Ph.D. Università di Verona
|
| 27/09/07 |
17.00
|
Convolution theory in scale domain and automatic comparisons between
representations in different domains |
Antonio De Sena
- Università di Verona
|
| 16/10/07 |
17.00
|
Machine Learning for Hand Prosthetics (and more) |
Claudio Castellini
- Università di Genova
|
| 18/10/07 |
17.00 Inizio alle 17:30, Caffe' e biscotti alle 17:00.
|
Membrane computing (an introduction): Power and efficiency |
Gheorghe Paun
- Institute of Mathematics of the Romanian Academy
|
| 13/11/07 |
14.00
|
Multi-core Solutions for Medium to High End Embedded Applications |
John Ralston
- Chief Systems Architect, Digital Systems NCSG Europe, Freescale Semiconductor UK Ltd
|
| 20/11/07 |
17.00 Inizio alle 17:30, Caffe' e biscotti alle 17:00.
|
A Contraction Method to Decide Monadic Second-order Theories of Trees |
Gabriele Puppis
- Dipartimento di Matematica e Informatica, Udine
|
| 27/11/07 |
17.00 Inizio alle 17:30, Caffe' e biscotti alle 17:00.
|
Cost analysis by approximation of linear operators over dioids |
David Cachera
- ENS Cachan / CNRS
|
| 04/12/07 |
17.00 Inizio alle 17:30, Caffe' e biscotti alle 17:00.
|
Dissipation in contact problems: theory and applications. |
Maria Grazia Naso
- Universita' degli Studi di Brescia
|
| 13/12/07 |
11.00
|
Visual recognition in primates |
Tommaso Poggio
- Center for biological and computational learning, Massachusetts institute of technology
|
| 17/12/07 |
14.30 aula G
|
Information Flow Analysis and Approximate Security |
Alessandro Aldini
- Universita' di Urbino
|
| 21/12/07 |
10.30
|
Molecular Optical Imaging Techniques for Biomedical Applications |
Claudio Vinegoni
- Massachusetts General Hospital, Harvard Medical School
|
| 08/01/08 |
16.30 Inizio alle 16:30, Caffe' e biscotti alle 16:15.
|
Genetic Programming for the Automatic Synthesis of Metabolic Pathways |
Alberto Castellini
- Dipartimento di Informatica, Universita' di Verona
|
| 22/01/08 |
16.45 Inizio alle 16:45, Caffe' e biscotti alle 16:30.
|
Formal methods and Systems Biology: the Calculus of Looping Sequences. |
Paolo Milazzo
- Dipartimento di Informatica - Universita' di Pisa
|
| 29/01/08 |
16.30 Inizio alle 16:30, Caffe' e biscotti alle 16:15.
|
Clustering di dati: principi e ricadute in bioinformatica |
Manuele Bicego
- DEIR - University of Sassari
|
| 12/02/08 |
16.15 Inizio alle 16:30, Caffe' e biscotti alle 16:15.
|
Omogeneizzazione per alcune equazioni di Hamilton-Jacobi con molteplici scale
|
Claudio Marchi
- Universita' della Calabria, Cosenza
|
| 19/02/08 |
16.15 Inizio alle 16:30, Caffe' e biscotti alle 16:15.
|
Teoria del controllo: dalle applicazioni industriali alla regolazione di telescopi per osservazioni astronomiche.
|
Riccardo Muradore
- European Southern Observatory (ESO)
|
| 04/03/08 |
16.15 Inizio alle 16:30, Caffè e biscotti alle 16:15.
|
Grafi e algebre |
Lidia Angeleri
- Università degli Studi dell'Insubria, Varese
|
| 11/03/08 |
16.15 Inizio alle 16:30, Caffè e biscotti alle 16:15.
|
Superfici di area minima, transizioni di fase, funzionali di Ginzburg-Landau |
Sisto Baldo
- Dip. di Matematica, Università di Trento
|
| 18/03/08 |
16.15 Inizio alle 16:30, Caffè e biscotti alle 16:15.
|
Models and Data in Systems Biology: Discovering Relations among Descriptions of Time-course Micro-array Experiments |
Marco Antoniotti
- DISCo Universita` di Milano Bicocca, Milan, ITALY
|
| 01/04/08 |
16.15 Inizio alle 16:30, Caffè e biscotti alle 16:15.
|
Il calcolo di funzioni di matrici nell'ambito della risoluzione numerica di problemi stiff
|
Paolo Novati
|
| 15/04/08 |
16.15 Inizio alle 16:30, Caffè e biscotti alle 16:15.
|
Learning Small Random Networks for Molecule Classification |
Edmondo Trentin
- Dip. Ingegneria dell'Informazione, Università di Siena
|
| 17/04/08 |
16.00
|
Intuizione e dimostrazione nell'insegnamento della geometria dello spazio |
Claudio Bernardi
- Università degli Studi "La Sapienza" di Roma
|
| 24/04/08 |
10.30
|
Laser-induced crystallization in vanadate glasses |
Mario Affatigato
- Coe College, Iowa, visiting professor at Physics Dep of Trento
|
| 29/04/08 |
16.15 Inizio alle 16:30, Caffè e biscotti alle 16:15.
|
Voronoi diagrams, generalizations, and applications in VLSI manufacturing |
Evanthia Papadopoulou
- IBM T. J. Watson Research Center
|
| 06/05/08 |
16.15 Inizio alle 16:30, Caffe' e biscotti alle 16:15.
|
Towards a fibrational account of modal logic |
Kurt Ranalter
- Dottorando in cotutela tra la Queen Mary, Università di Londra, e l'Università di Verona.
|
| 13/05/08 |
14.30
|
Video Registration and 3D Reconstruction for Deformable Surfaces |
Adrien Bartoli
- LASMEA, University Blaise Pascal, Clermont-Ferrand, France
|
| 20/05/08 |
16.15 Inizio alle 16:30, Caffe' e biscotti alle 16:15.
|
Recent Results on Near Optimal Points for Multivariate Interpolation
|
Len Bos
- Calgary
|
| 27/05/08 |
16.15 Inizio alle 16:30, Caffè e biscotti alle 16:15.
|
Interpretazione probabilistica di un'equazione alle derivate parziali relativa a mezzi porosi irregolari |
Francesco Russo
- Paris 13
|
| 03/06/08 |
16.15 Inizio alle 16:30, Caffè e biscotti alle 16:15.
|
Processi stocastici di diffusione : due applicazioni alla meccanica quantistica |
Stefania Ugolini
- Dipartimento di Matematica, Università degli studi di Milano
|
| 09/06/08 |
16.15 Inizio alle 16:30, Caffè e biscotti alle 16:15.
|
Dati, informazione e conoscenza in bioinformatica |
Alberto Riva
- Department of Molecular Genetics and Microbiology, University of Florida, Gainesville, FL;
|
| 10/06/08 |
16.15 Inizio alle 16:30, Caffè e biscotti alle 16:15.
|
Zeta-determinanti per successioni di tipo spettrale, ed una generalizzazione della prima formula limite di Kronecker |
Mauro Spreafico
- Universidade de Sao Carlos (SP), Brasile, e Università di Trento
|
| 11/06/08 |
16.15 Inizio alle 16:30, Caffè e biscotti alle 16:15.
|
Modeling the genome-wide transient response to stimuli in yeast: adaptation through integral feedback |
Claudio Altafini
- SISSA-ISAS International School for Advanced Studies, Trieste
|
| 16/06/08 |
16.15 Inizio alle 16:30, Caffè e biscotti alle 16:15.
|
Soluzioni Algoritmiche e Modelli Matematici per problematiche in Bioinformatica. |
Romeo Rizzi
- Dipartimento di Matematica ed Informatica (DIMI), University of Udine
|
| 17/06/08 |
16.15 Inizio alle 16:30, Caffè e biscotti alle 16:15.
|
Automated Reasoning for Software Verification |
Viktor Kuncak
- School of Computer and Communication Sciences Ecole Polytechnique Federale de Lausanne
|
| 18/06/08 |
16.15 Inizio alle 16:30, Caffè e biscotti alle 16:15.
|
Natural Computing and Bioinformatics |
Francesco Masulli
- Dipartimento di Informatica e Scienze dell'Informazione Università di Genova
|
| 24/06/08 |
17.00 Inizio alle 17:15, caffé e biscotti alle 17:00.
|
Metodi fisico-matematici per la soluzione dell'equazione di Gross-Pitaevskii |
Luca Salasnich
- CNISM and CNR-INFM, Dipartimento di Fisica, Università di Padova
|
| 23/07/08 |
9.45 Beginning at 10:00am, Coffee and biscuits at 9:45am.
|
Evolutionary analysis of numerical characters |
Miklós Csürös
- University of Montréal, Canada
|
| 09/09/08 |
16.15 Inizio alle 16:30, Caffè e biscotti alle 16:15.
|
Distributed computation on collaborative mobile networks |
Luca Geretti
- Univ. di Udine
|
| 12/09/08 |
14.15 Inizio alle 14:30, Caffè e biscotti alle 14:15.
|
Formal Verification for RTL and TLM Designs |
JiNian Bian
- Dept of Computer Science and Technology, Tsinghua University, Beijing, P. R. China
|
| 16/09/08 |
16.15 Inizio alle 16:30, Caffè e biscotti alle 16:15.
|
Static analysis by abstract interpretation of properties of imperfectly-clocked synchronous systems
|
Julien Bertrane
- ENS Parigi
|
| 23/09/08 |
16.15 Inizio alle 16:30, Caffè e biscotti alle 16:15.
|
Decentralised Coordination of Robotic Agents Using the Max-Sum Algorithm |
Alessandro Farinelli
- Dept. of Electronic and Computer Science, University of Southampton
|
| 30/09/08 |
16.15 Inizio alle 16:30, Caffè e biscotti alle 16:15.
|
Automated Validation of Trust and Security of Service-Oriented
Architectures: how we found a vulnerability in the SAML-based Single
Sign-On Protocol for Google Applications |
Luca Viganò
- Dipartimento di Informatica, Università di Verona
|
| 14/10/08 |
16.15 Inizio alle 16:30, Caffè e biscotti alle 16:15.
|
Open issues in Modelling and Control of Distributed Systems |
Marta Capiluppi
- Universita' di Siena
|
| 28/10/08 |
16.15 Inizio alle 16:30, Caffè e biscotti alle 16:15.
|
The role of discrete group theory in the study of the Nonlinear Schrödinger
Equation: from discrete vortices to nonlinear singular optics |
Miguel Angel García March
- Universitat Politécnica de Valencia
|
| 04/11/08 |
16.15
|
Sistemi complessi e ottica coerente: dalla Fisica fondamentale alle ricadute applicative |
Stefania Residori
- Direttore di Ricerca del CNRS presso l'Istituto Non Lineare di Nizza
|
| 11/11/08 |
16.15 Inizio alle 16:30, Caffè e biscotti alle 16:15.
|
Funzioni zeta, zeta determinanti e tecniche di zeta regolarizzazione in fisica quantistica |
Mauro Spreafico
- Dipartimento di matematica, ICMC Universit`a di San Paolo, San Carlos, Brasile.
|
| 04/12/08 |
16.30 Caffe' e pasticcini alle 16.15
|
Restriction categories and the semantics of partiality |
Prof. Robin Cockett
- Department of Computer Science, University of Calgary
|
| 09/12/08 |
16.30 Caffe' e pasticcini ore 16.15
|
On the theorem prover PML |
Dr Christophe Raffalli
- Departement de Mathematique, Universite de Savoie
|
| 12/01/09 |
16.15 Ore 16.15 caffe' e pasticcini - ore 16.30 inizio seminario
|
Managing Variability in Process-Aware Information Systems |
Marcello La Rosa
- Faculty of Information Technology, Queensland University of Technology
|
| 13/01/09 |
16.15 Inizio alle 16:30, Caffè e biscotti alle 16:15 - Ca' Vignal 1, aula A
|
Equazioni di tipo p-laplaciano con pesi singolari |
Raffaella Servadei
- Università della Calabria, Arcavacata di Rende, Cosenza
|
| 20/01/09 |
16.15 Inizio alle 16:30, Caffè e biscotti alle 16:15.
|
Qualitative properties of positive solutions of quasilinear elliptic equations in unbounded domains |
Berardino Sciunzi
- Università della Calabria, Arcavacata di Rende, Cosenza
|
| 27/01/09 |
16.15 Ore 16.15 caffe' e pasticcini - ore 16.30 inizio seminario
|
Simulazioni di mercati finanziari |
Vincenzo Vespri
- Universita' di Firenze
|
| 10/02/09 |
16.45 16.45 caffè e pasticcini, inizio seminario ore 17.00
|
Algoritmi metabolici e problemi di biologia sintetica |
Prof. Vincenzo Manca
- Università degli Studi di verona
|
| 11/02/09 |
16.15 16.15 caffè e pasticcini, inizio seminario ore 16.30
|
Variograms: Taboos, Conjectures and Facts |
Dr. Emilio Porcu
- Università Jaune I of Castellòn.
|
| 24/02/09 |
17.15 Ore17.15 caffe' e pasticcini - inizio seminario ore 17.30
|
Human-centered Computing: Challenges and Perspectives |
Prof. Nicu Sebe
- Faculty of Cognitive Sciences, University of Trento
|
| 03/03/09 |
16.15 ore 16.15 caffè e pasticcini, inizio seminario ore 16.30
|
L'organizzazione del cervello umano: geni, esperienza e caso |
Prof. Giovanni Berlucchi
- Università degli Studi di Verona
|
| 16/03/09 |
14.15 14.15 caffè e pasticcini, inizio seminario ore 14.30
|
Interpretation of NMR spectroscopy - Intermediate Representation and Bag Of Peaks |
Gavin Brelstaff
- CRS4 - Cagliari (Italy)
|
| 24/03/09 |
16.15 caffè e pasticcini alle 16.15, inizio seminario ore 16.30
|
Un risultato di simmetria per il funzionale di Ginzburg-Landau |
Adriano Pisante
- Univ. Roma "La Sapienza"
|
| 31/03/09 |
16.15 Ore 16.15 caffe' e pasticcini, ore 16.30 inizio seminario
|
Perspectives on Computational Structural/Molecular Systems Biology |
Alejandro Giorgetti
- Università degli Studi di Verona
|
| 07/04/09 |
16.15 Ore 16.15 caffé e pasticcini, ore 16.30 inizio seminario.
|
The mathematics of cancer: modelling and simulation in cancer research |
Andrea Sottoriva
- University of Cambridge, Cancer Research UK Cambridge Research Insititute
|
| 16/04/09 |
11.15 11.15 caffé e pasticcini, ora 11.30 inizio seminario.
|
Eyes-free methods for accessing large auditory menus |
Tapio Lokki
- Department of Media Technology at the Helsinki University of Technology
|
| 21/04/09 |
16.00 16.00 inizio seminario, caffe' e pasticcini al termine
|
Join differential invariants for 3D face recognition |
Marinella Cadoni
- Università di Sassari
|
| 05/05/09 |
17.00 Ore 17 caffe' e pasticcini, ore 17.15 inizio seminario
|
From geometric logic to algebraic geometry |
Peter Schuster
- Mathematisches Institut, Universitaet Muenchen / Dipartimento di Filosofia, Universita' degli Studi di Firenze
|
| 12/05/09 |
16.15 16.15 caffe' e pasticcini, ore 16.30 inizio seminario
|
Apologia della ricerca fondamentale: dai fondamenti della meccanica
quantistica ai sistemi dinamici, e alle forze dovute ai corpi lontani in
elettrodinamica
(Wheeler e Feynman) e in gravitazione, con applicazione alla materia
oscura. |
Luigi Galgani
- Universita' di Milano
|
| 19/05/09 |
16.15 Ore 16.15 caffè e pasticcini, ore 16.30 inizio seminario
|
Decision procedures with unsound theorem proving for software verification |
Prof.ssa Maria Paola Bonacina
- Dipartimento di Informatica, Universita` degli Studi di Verona
|
| 26/05/09 |
17.00 Caffe' e pasticcini ore 17, inizio seminario ore 17.15
|
Combinatorial Models for DNA Rearrangements in Ciliates |
Angela Angeleska
- University of South Florida
|
| 09/06/09 |
17.15 ore 17.15 caffè e pasticcini, ore 17.30 inizio seminario
|
Overview on Evolutionary Techniques – State-of-the-Art, Potentialities, and Current Trends |
A. Massa
- University of Trento
|
| 08/09/09 |
16.00 Ore 16 caffe' e pasticcini, ore 16.15 inizio seminario
|
Trasformatori di completezza e Non-Interferenza astratta: Nuovi approcci per l'analisi dei Programmi |
Isabella Mastroeni
- Università degli Studi di Verona
|
| 23/09/09 |
16.45 ore 16.45 caffe' e pasticcini, ore 17 inizio seminario
|
Verso la validazione automatica della sicurezza delle architetture orientate ai servizi |
Luca Vigano'
- Università degli Studi di Verona
|
| 06/10/09 |
16.45 ore 16.45 caffè e pasticcini, ore 17 inizio seminario
|
ShapeGoogle: geometric words and expressions for invariant shape retrieval |
Alex Bronstein
- Department of Computer Science, Technion, Israel
|
| 20/10/09 |
16.45 Ore 16.45 caffè e pasticcini, ore 17 seminario
|
Bioinformatics tools for mass spectrometry-based proteomics |
Luca Bianco
- Bioinformatics Group, School of Health, Cranfield University, UK
|
| 03/11/09 |
16.45 Ore 16.45 caffè e pasticcini, ore 17 inizio seminario
|
Progettazione concettuale e controllabilità di workflow temporali |
Carlo Combi
- Università degli Studi di Verona
|
| 17/11/09 |
16.45 Ore 16.45 caffe' e pasticcini, ore 17 inizio seminario
|
Riconoscimento automatico del parlato, Sintesi della voce e Animazione
Facciale |
Piero Cosi
- Università degli Studi di Padova
|
| 01/12/09 |
16.45 Ore 16.45 caffe' e pasticcini, ore 17 inizio seminario
|
Performance Evaluation of Overlay Content Distribution Systems |
Damiano Carra
- Università degli Studi di Verona
|
| 16/12/09 |
16.15 16.15 caffe' e pasticcini, ore 16.30 inizio seminario
|
Reliable shape-based recognition of objects in images |
John Oliensis
- Department of Computer Science, Stevens Institute of Technology, NJ, US
|
| 04/03/10 |
16.15 Ore 16.15 caffe' e pasticcini, ore 16.30 inizio seminario
|
Edge directed image upscaling / Whole body scanner data processing |
Andrea Giachetti
- Università degli Studi di Verona
|
| 16/03/10 |
16.45 Ore 16.45 caffe' e pasticcini, ore 17 inizio seminario
|
Un viaggio dentro ICC |
Margherita Zorzi
- Università degli Studi di Verona
|
| 18/05/10 |
16.45 Ore 16.45 caffe' e pasticcini, ore 17 inizio seminario
|
Technology Mapping with Choices, Priority Cuts, and Placement-Aware
Heuristics |
Alan Mishchenko
- Dept. of EECS, University of California, Berkeley, USA
|
| 01/06/10 |
16.45 16.45 caffe' e pasticcini, ore 17 inizio seminario
|
Gli approcci sistemistici alla biologia molecolare
cellulare |
Lorenzo Farina
- Universita' La Sapienza, Roma
|
| 21/09/10 |
16.45 Ore 16.45 caffe' e pasticcini, ore 17 inizio seminario
|
Symbol Elimination and Interpolation
|
Laura Kovacs
- Technische Universitat Wien (TU Wien)
|
| 29/09/10 |
16.45 16.45 caffe' e pasticcini, ore 17 inizio seminario
|
Discrete models for biological dynamics |
Giuditta Franco
- Università degli Studi di Verona
|
| 19/10/10 |
17.00
|
Analisi concettuale delle informazioni.
Dalla teoria all’implementazione |
Piero Pagliari
|
| 02/11/10 |
16.45
|
Local Reasoning and Dynamic Framing for the Composite Pattern and its Clients |
Anindya Banerjee
|
| 09/11/10 |
16.45
|
Merging Business Process Models |
Marcello La Rosa
|
| 23/11/10 |
16.45
|
Weak instability and isochrony for Hamiltonian systems
|
Gaetano Zampieri
|
| 14/12/10 |
16.45 16:45 caffe' e pasticcini; 17:00 inizio seminario
|
Imaging and cognition: towards a unified vision |
Gloria Menegaz
|
| 17/01/11 |
15.45 15:45 caffè e pasticcini, ore 16:00 inizio seminario -- Aula E, Ca' Vignal 1
|
Sistemi dinamici isocroni, la freccia del tempo e la distinzione fra comportamento “caotico” ed “integrabile” |
Francesco Calogero
|
| 27/01/11 |
15.45 15:45 caffè e pasticcini, ore 16:00 inizio seminario -- Aula F, Ca' Vignal 1
|
Calendars from Mesopotamia to the Maya to Mars |
Nachum Dershowitz
|
| 02/02/11 |
17.15 17:15 caffè e pasticcini, ore 17:30 inizio seminario
|
Deduction Based Question Answering and its Application |
Ulrich Furbach
|
| 28/02/11 |
16.15 ore 16.15 rinfresco, ore 16.30 inizio seminario
|
L’etica al tempo dei robot |
Prof. Giuseppe O. Longo
- Università di Trieste
|
| 01/03/11 |
16.45 ore 16.45 rinfresco, ore 17.00 inizio seminario
|
A Mass Driven Flow for Chains Using Time Discretization
|
Prof. Robert Hardt
- Rice University
|
| 15/03/11 |
16.45 16:45 rinfresco, ore 17:00 inizio seminario
|
On molecules, strings, and coins: Some applications of string combinatorics in computational biology.
|
Dr. Zsuzsanna Lipták
- AG Genominformatik, Universitaet Bielefeld, Germany
|
| 04/04/11 |
16.45 Aula B, Ca'Vignal 1 -- 16:45 rinfresco, 17:00 inizio seminario
|
Bayesian methods for functional genomics
|
Fulvia Ferrazzi
- Gene Center, LMU, Monaco
|
| 11/04/11 |
14.45 ore 14:45 rinfresco, ore 15:00 inizio seminario
|
Cortical surface organization and implications on inter-subject matching |
Dr. Olivier Coulon
- CNRS - ESIL, France
|
| 13/04/11 |
16.45 16:45 rinfresco, 17:00 inizio seminario
|
Self-modification and dynamic behavior analysis |
Jean-Yves Marion
- LORIA -- Francia
|
| 27/04/11 |
14.00
|
Evolutionary Robotics: Behaviour and Cognition as Complex Adaptive Systems |
Dr. Stefano Nolfi
- ISTC-CNR
|
| 17/05/11 |
16.45 16:45 rinfresco; ore 17:00 inizio seminario
|
Distributed Optimization to assess and bound coordinated actions in Multi-Agent Systems |
Meritxell Vinyals
- IIIA Spain
|
| 26/05/11 |
10.15 10:15 rinfresco; ore 10:30 inizio seminario
|
FPGA based acceleration of pattern matching, scientific computing and verification of large LSI chips
|
Prof. Masahiro Fujita
- University of Tokio
|
| 18/07/11 |
10.15 10:15 rinfresco; 10:30 inizio seminario
|
An Energy-Efficient Patchable Accelerator For Post-Silicon Engineering Change and Debugging
|
Prof. Masahiro Fujita
- University of Tokyo - VLSI Design and Education Center (VDEC)
|
| 31/08/11 |
16.45 16:45 rinfresco; ore 17:00 inizio seminario
|
Formal Methods at Rockwell Collins |
Michael Dierkes
- Rockwell Collins France
|
| 01/09/11 |
16.45 16:45 rinfresco; ore 17:00 inizio seminario
|
Orchestrating Decision Engines |
Leonardo de Moura
- Microsoft Research, Redmond
|
| 19/09/11 |
16.15 16:15 rinfresco; ore 16:30 inizio seminario
|
Tradeoff between Performance and Security
|
Alessandro Aldini
- Universita' di Urbino "Carlo Bo"
|
| 26/09/11 |
15.45 15:45 rinfresco; ore 16:00 inizio seminario
|
Cycle Bases in Graphs |
Romeo Rizzi
- Universita' degli studi di Udine
|
| 27/09/11 |
15.30 15:30 inizio prima parte seminario; 16:15 rinfresco; 16:30 inizio seconda parte
|
Imaging the Social Brain by Simultaneous Hyperscanning During Subject Interaction |
Prof. Fabio Babiloni
- University of Rome Sapienza
|
| 06/10/11 |
16.45 16:45 rinfresco; ore 17:00 inizio seminario
|
Combinatorial Search Algorithms for Function Evaluation |
Ferdinando Cicalese
- Università degli Studi di Salerno
|
| 03/11/11 |
16.30 16:30 inizio seminario
|
A Rooted Tableau for BCTL* |
John McCabe-Dansted
- University of Western Australia
|
| 08/11/11 |
16.45 Spostato in Aula A; 16:45 rinfresco; ore 17:00 inizio seminario
|
The Three Steps of Clustering in the Post-Genomic Era |
Prof. Raffaele Giancarlo
- University of Palermo
|
| 24/11/11 |
16.45 16:45 rinfresco; 17:00 inizio seminario.
|
Similarity learning in Internet vision |
Prof. Michael Bronstein
- Università della Svizzera Italiana
|
| 29/11/11 |
15.45 15:45 rinfresco; 16:00 inizio seminario.
|
Andrea Centazzo multimedia concert: a multi-dimensional experience
|
Andrea Centazzo
|
| 01/12/11 |
16.45 16:45 rinfresco; 17:00 inizio seminario.
|
A short walk through interval temporal logics
|
Angelo Montanari
- Università di Udine
|
| 07/12/11 |
17.00 17:00 rinfresco, 17:15 inizio seminario
|
Contextual Personalization and Intensional Query Answering in Data Management |
Elisa Quintarelli
- Politecnico di Milano
|
| 13/12/11 |
16.45 16:45 rinfresco; 17:00 inizio seminario.
|
Algorithms and tools for life sciences |
Rosalba Giugno
- Università di Catania
|
| 12/01/12 |
16.45 16:45 rinfresco; 17:00 inizio seminario.
|
Magic Loops in Simple Temporal Networks with Uncertainty |
Luke Hunsberger
- Vassar College, USA
|
| 24/01/12 |
16.45 16:45 rinfresco; 17:00 inizio seminario.
|
Recent Advances in Multi-Agent Systems: decentralised coordination for situated agents |
Alessandro Farinelli
- Università di Verona
|
| 30/01/12 |
16.45 16:45 rinfresco; 17:00 inizio seminario.
|
Existence of maximizing measures for non-compact transitive Markov shifts
|
Dr. Ricardo dos Santos Freire
- Universidade de Sao Paulo, Brasile.
|
| 08/02/12 |
14.45 14:45 rinfresco; 15:00 inizio seminario.
|
Computational technology for behavior analysis: from behavioral sciences to neuroimaging studies |
Prof. Vittorio Murino
|
| 08/03/12 |
16.15 4:15 p.m. rinfresco; 4:30 p.m. inizio seminario.
|
System-Level Design Methods for Heterogeneous SoC Platforms
|
Prof. Luca Carloni
- Columbia University
|
| 20/03/12 |
16.45 4:45 p.m. rinfresco; 5:00 p.m. inizio seminario.
|
Fourier Transforms and Spectral Analysis of Power Signals
|
Dr. Giorgio Casinovi
- Georgia Institute of Technology
|
| 03/04/12 |
16.45 4:45 p.m. rinfresco; 5:00 p.m. inizio seminario.
|
Image enhancing colour2grey and n-to-1 channel transformation.
|
Roberto Montagna
- School of Computing Sciences - University of East Anglia - Norwich, UK
|
| 12/04/12 |
16.45 4:45 pm rinfresco; 5:00 pm inizio seminario.
|
Organic Electronics and Emerging Technologies: Physics, Applications and Challenges |
Fabrizio Torricelli
- Eindhoven University of Technology, The Netherlands
|
| 17/04/12 |
16.30 4:30 pm rinfresco; 4:45 pm inizio seminario.
|
Semantics-Preserving Design of Embedded Control Software from Synchronous Models |
Leonardo Mageruca
- ALES srl
|
| 02/05/12 |
16.45 4:45 pm rinfresco; 5:00 pm inizio seminario.
|
Challenging Semi-Supervised Learning |
Marco Loog
- Delft University of Technology
|
| 03/05/12 |
10.00 9:45 am rinfresco; 10:00 am inizio seminario.
|
Extraction of emotional impact in colour images |
Prof. Christine Fernandez-Maloigne
- Université de Poitiers
|
| 15/05/12 |
16.45 4:45 pm rinfresco; 5:00 pm inizio seminario.
|
Wavelet analysis on the 2-sphere and related manifolds |
Jean-Pierre Antoine
- Institut de Recherche en Mathématique et Physique, Université catholique de Louvain, Belgium
|
| 22/05/12 |
17.00 4:45 p.m. rinfresco; 5:00 p.m. inizio seminario -- Sala Verde
|
Game Theory in Computer Vision and Pattern Recognition
|
Andrea Torsello
- Ca' Foscari University of Venice
|
| 28/05/12 |
14.30 Aula didattica E (Piano terra, Ca' Vignal 1)
|
What is new about chaotic attractors |
Maria José Pacifico
- Instituto de Matemàtica, UFRJ (Universidade Federal do Rio de Janeiro)
|
| 05/06/12 |
17.00 4:45 pm rinfresco; 5:00 pm inizio seminario -- Sala Verde.
|
The VisCoSo Project: Detection of Crisis in Socio-Material Systems on Visual-Cognitive-Social Processes |
Dr.ssa Roberta Ferrario
- ISTC-CNR
|
| 11/06/12 |
14.30 2:15 p.m. rinfresco; 2:30 inizio seminario -- Sala Verde
|
Formal Methods for the Security of the Internet of Services |
Luca Vigano'
- Universita' degli Studi di Verona
|
| 13/06/12 |
16.45 4:45 p.m. rinfresco; 5:00 p.m. inizio seminario -- Sala Verde
|
Large scale bilinear modelling with missing data in Computer Vision, Image Processing and Machine Learning |
Dr. Alessio Del Bue
- Istituto Italiano di Tecnologia (IIT)
|
| 10/07/12 |
16.45 4:45 p.m. rinfresco; 5:00 p.m. inizio seminario. -- Sala Verde
|
Elders living alone, dementia and Case-based Reasoning |
Jose M. Juarez
- Dpto. Ingenieria Informacion y Comunicaciones Facultad de Informatica Universidad de Murcia
|
| 31/08/12 |
10.00
|
Seminario sulla robotica spaziale in sala verde |
Kazuya Yoshida
- Tohoku University, Sendai Japan
|
| 03/09/12 |
11.15 11:15 rinfresco; 11:30 inizio seminario -- Sala Verde
|
System- versus RT-Level Verification of Systems-on-Chip by Compositional Path Predicate Abstraction |
Prof. Wolfgang Kunz
- Dept. of Electrical & Computer Engineering Technische Universität Kaiserslautern
|
| 11/09/12 |
16.45 4:45 p.m. rinfresco; 5:00 p.m. inizio seminario -- Sala Verde
|
2012 Robotics Activities at JPL |
Richard Volpe
- Jet Propulsion Laboratory, California Institute of Technology
|
| 25/09/12 |
16.45 4:45 p.m. rinfresco; 5:00 p.m. inizio seminario -- Sala Verde
|
Multiple Kernel Learning Algorithms and An Efficient Bayesian Formulation |
Mehmet Gönen
- Helsinki Institute for Information Technology HIIT
|
| 12/10/12 |
16.00 3:45 pm rinfresco; 4:00 pm inizio seminario.
|
SAT-based automatic rectification and debugging of combinational circuits with LUT insertions |
Masahiro Fujita
- VLSI Design & Education Center, University of Tokyo
|
| 16/10/12 |
16.15 4:15 p.m. rinfresco; 4:30 p.m. inizio seminario.
|
Limits in High Dynamic Range acquisition as founding principles for vision and image processing |
Alessandro Rizzi
- Dipartimento di Informatica -- Università degli Studi di Milano
|
| 05/11/12 |
16.00 3.45 p.m rinfresco; 4.00 p.m inizio seminario -- Sala Verde
|
MADMASS: Massively Distributed Multi Agent System Simulator
|
Dr. Vittorio Amos Ziparo
- R&D Lab of Algorithmica Srl
|
| 13/11/12 |
16.45 4:45 p.m. rinfresco; 5:00 p.m. inizio seminario -- Sala Verde
|
Unification in Blind Signatures |
Dr. Serdar Erbatur
- INRIA, Nancy
|
| 20/11/12 |
17.00 4:45 p.m rinfresco; 5:00 p.m inizio seminario -- Sala Verde
|
How patents are different from papers and how they can be useful for start-ups |
Prof. Andre Reis
- UFRGS, Brazil
|
| 21/11/12 |
16.00 3.45 p.m. rinfresco; 4.00 p.m. inizio seminario
|
Quantum Computing: dalla fisica ai sistemi computazionali |
Prof. Andrea Masini
- Università di Verona
|
| 26/11/12 |
17.15 5:00 p.m. rinfresco; 5:15 p.m. inizio seminario
|
The blue area requires more than one basic colour term in Italian
|
Prof. Galina V. Paramei
- Liverpool Hope University, UK
|
| 11/12/12 |
16.15 4:00 p.m. rinfresco, 4:15 p.m. inizio seminario
|
Cryptography the Quantum Way: ieri, oggi, domani |
Andrea Pasquinucci
- UCCI.IT
|
| 18/02/13 |
14.30 2:15 p.m. rinfresco; 2:30 p.m. inizio seminario
|
Generalized number systems
|
Prof. Péter Burcsi
- Eötvös Loránd University, Budapest
|
| 05/03/13 |
17.30 5:15 p.m rinfresco; 5:30 p.m inizio seminario
|
Grammatiche biologiche e Dizionari Genomici: 11 Anni di ricerca a Verona |
Prof. Vincenzo Manca
- Università di Verona
|
| 09/04/13 |
16.00 3:45 p.m rinfresco; 4:00 p.m inizio seminario
|
Portfolio optimization in a defaultable market under incomplete information |
Dott.ssa Giorgia Callegaro
- Universita' di Padova
|
| 30/04/13 |
16.30 4:15 p.m rinfresco; 4:30 p.m inizio seminario
|
Big Data and Cloud Computing: (Quick) Overview and Open Issues |
Dott. Pietro Michiardi
- Eurecom, Sophia Antipolis
|
| 06/05/13 |
16.00 3:45 p.m rinfresco; 4:00 p.m inizio seminario
|
Backward Stochastic Differential Equations with Lévy Noise in Finance |
Dott.ssa Elena Scandola
- Cassa Centrale Banca, Trento
|
| 14/05/13 |
17.00 4:45 p.m rinfresco; 5:00 p.m inizio seminario
|
A symbolic approach to the control design of cyber-physical systems. |
Giordano Pola
- Universita' dell''Aquila
|
| 28/05/13 |
14.30 2:15 p.m. rinfresco; 2:30 p.m. inizio seminario
|
On the provable security of block ciphers from their components
|
Massimilano Sala
- Universita' di Trento
|
| 04/06/13 |
17.00 4:45 p.m rinfresco; 5:00 p.m inizio seminario
|
Majorities, Secrecies and Sparsities: the many facets of group testing.
|
Ferdinando Cicalese
- Universita' di Salerno
|
| 06/06/13 |
16.00 3:45 p.m rinfresco; 4:00 p.m inizio seminario
|
The First Lyapunov Method for Strongly Non-Linear Systems of Differential Equations |
Stanislav Furta
- Higher School for Finances and Management, Moscow
|
