Next:
Project: Semi structured data
Up:
The Department of Computer
Previous:
Library
Contents
Current Research
Subsections
Project: Semi structured data management systems
Summary
Background
Ongoing research
Short term plans and expected results
Long term plans
Personnel and External Researchers
References
Project: Rigorous Methods for Requirements Capture, Software Architecture and Model Driven Development
Summary
Background
Ongoing research
Short term plans and expected results
Long term plans
Personnel and External Researchers
References
Project: Adaptive and Web Computing
Summary
Background
Web and Mobile Computing
Adaptive Systems
Ongoing research
Web Programming
Mobile Guides
Indexing and Search
Natural Language Parsing
Question Answering
Opinion Mining
Short term plans and expected results
Software Artifacts and Open Source
Long term plans
Personnel and External Researchers
Funded Projects
References
Project: Specification and Verification of Distributed Systems
Summary
Background
Description formalisms
Verification of properties
Ongoing research
Description formalisms
Logics and verification. Applications to safety and security
Abstract interpretation
Static Techniques for Mobile Systems
Short term plans and expected results
Long term plans
Personnel and external researchers
References
Project: Specification and Verification of Biological Systems
Summary
Background
Ongoing research
Short term plans and expected results
Long term plans
Personnel and external researchers
References
Project: Reduction Machines for Combinatory Languages
Summary
Background
Ongoing research
Short term plans and expected results
Long term plans
Personnel and External Researchers
References
Project: Design and Management of Parallel, Distributed and Mobile Systems
Summary
Background
Ongoing research
Packet Scheduling In Distributed Systems
Network Monitoring For Network Aware Applications
Algorithmic Skeletons
Real Time Video Communication In Mobile Networks
RFID
Integrating LEO Satellite Constellations into Internet Backbone
Trading Efficiency and Intrusion Tolerance
Power-Aware Scheduling for Real-Time Systems
Wireless Ad Hoc and Sensor Networks
Projects
Short term plans and expected results
Long term plans
Personnel and External Researchers
References
Project: Discovery, composition, and adaptation of software
Summary
Background
Ongoing research
Short term plans and expected results
Long term plans
Personnel and External Researchers
References
(since 2002)
Project: Analysis and Synthesis of Numerical Algorithms
Summary
Background
Ongoing research
Short term plans and expected results
Long term plans
Personnel and External Researchers
References
Project: Analysis and Models for Secure Systems and for Biological Systems
Summary
Background
Ongoing research
Short term plans and expected results
Long term plans
Personnel and External Researchers
References
Project: Models and algorithms for network problems and logistics
Summary
Transportation
Airline crew rostering
Dynamic transportation models
Telecommunication network design and routing
Logistic and Management problems
Location and distribution problems
Management problems in utilities
Optimization Software standardization and development
Other research activities
Interior point methods
Operations Research and Society
Multicriteria optimization
Personnel and External Researchers
References
Project: Systematic development of semantics, static analysis and verification techniques by abstract interpretation
Summary
Background
Ongoing research
Recent research grants
Short term plans and expected results
Long term plans
Personnel and External Researchers
References
Project: Algorithms and Data Structures for Massive Data Sets
Summary
Background
Ongoing research
Short term plans and expected results
Personnel
References 2003-2006
Project: Models of Distributed Computing
Summary
Background
Ongoing research
Short term plans and expected results
Long term plans
Personnel and External Researchers
References 2003-2006
Project: Computational Biology
Summary
Background
Ongoing research
Bases of Motifs for indexing repetitions.
Gapped Motifs for the detection of Ortholog Genes.
Automata for Evaluating possible Duplications in Paralog Genes.
Relational Motifs: a new paradigm for finding Repeated Structures in 3D Proteins.
Suffix tree indexes for the detection of Motifs Structured as Transcription Factors Binding Sites.
Lossless Filters for finding long approximated repetitions in whole genomes.
Seminars for the Galilei PhD School and at the Domus Galileana.
Short term plans and expected results.
Long term plans
Personnel and External Researchers
References 2003-2006
Project: Multi-level Synthesis of Boolean Functions
Summary
Background
Ongoing research
Short term plans and expected results
Long term plans
Personnel and External Researchers
References 2003-2006
Project: Light perception in microorganisms and UV-stress in ecosystems
Summary
Background
Ongoing research
Personnel and External Researchers
References 2000-2003
Project: Models & Languages for Open Distributed Systems
Summary
Background
Ongoing research
Future work
Personnel and External Researchers
References (from year 2003)
Project: Advanced methodologies in Machine Learning and Computational Intelligence
Summary
Background
Ongoing research
Short term plans and expected results
Long term plans
Personnel and External Researchers
References
Project: Tools and Methodologies for Data and Knowledge Engineering
Summary
Research Topics
Active Projects
Personnel and External Researchers
References
Project: Architectures and Programming Tools for High Performance Computing
Summary
Background
Ongoing research
Short term plans and expected results
Long term plans
Group members
References
Maria Simi 2006-10-23
