WE HAVE CHANGED! Home | Search | Help  
Home Page Università di Genova
The Department
Research
Education
Library and services
Events and seminars

Keyword index

Browse the index; find the keyword you are interested in; then click on a topic title to view the description.

3D data compression
Parallelization of algorithms for distributed environments
3D data query
Parallelization of algorithms for distributed environments
3D reconstruction
Computer vision
Active databases
Advanced data management systems
Advanced Statistical Methods
Statistical learning
Agent-oriented software engineering
Multi-agent systems
Algebraic development techniques
Best practice meets formal methods
Algebraic development techniques
Formal techniques
Astronomical imaging
Image restoration in medicine and astronomy
Bioinformatics
Machine learning in bioinformatics
Categorical semantics
Foundations and calculi for meta-programming and staging
Category theory
Logic and Category Theory
Classification
Machine learning in bioinformatics
Soft computing and machine learning
Cluster computing
Distributed computing on heterogeneous clusters of workstations
Clustering
Soft computing and machine learning
Cluster computing
Cluster computing
CoFI
Best practice meets formal methods
CoFI
Formal techniques
Computational Reflection
Computational reflection
Constraint databases
Advanced data management systems
Constraint-based verification
Constraint-based verification
Constructive logics
Non-standard logics
Constructivity
Logic and Category Theory
Synthetic domain theory
Database security
Advanced data management systems
Deductive databases
Advanced data management systems
Denotational semantics
Synthetic domain theory
Distributed computing
Distributed computing on heterogeneous clusters of workstations
Mobile wireless networks
DNA Microarray data analysis
Machine learning in bioinformatics
Dynamic linking
Foundations and calculi for meta-programming and staging
Ensemble methods
Machine learning in bioinformatics
Soft computing and machine learning
Error-correcting output coding
Machine learning in bioinformatics
Soft computing and machine learning
Formal methods
Best practice meets formal methods
Formal techniques
Functional genomics
Machine learning in bioinformatics
Fuzzy systems
Soft computing and machine learning
Geographic Information Systems
Geometric modeling and computer graphics
Geographic map modeling
Geometric modeling and computer graphics
Geometric algorithms
Geometric modeling and computer graphics
Geometric compression
Geometric modeling and computer graphics
Geometric meshes
Geometric modeling and computer graphics
Grid computing
Parallelization of algorithms for distributed environments
Groebner bases
Solving polynomial equation systems
Handheld devices
Mobile wireless networks
High level Petri nets
Performance evaluation
High-performance computing
Distributed computing on heterogeneous clusters of workstations
Higher order logic programming
Non-standard logics
Image restoration
Image restoration in medicine and astronomy
Indexing techniques
Advanced data management systems
Intelligent databases
Advanced data management systems
Inverse problems
Image restoration in medicine and astronomy
Kernel engineering
Statistical learning
Language design
Design and foundations of modular and object-oriented languages and systems
Lightweight protocols
Cluster computing
Linear logic
Non-standard logics
Logic-based software agents
Multi-agent systems
Low-level vision
Computer vision
Machine learning
Machine learning in bioinformatics
Soft computing and machine learning
Medical imaging
Image restoration in medicine and astronomy
Message passing
Cluster computing
Meta-programming
Foundations and calculi for meta-programming and staging
Logic and Category Theory
Metamodelling
Best practice meets formal methods
Formal techniques
Model checking
Constraint-based verification
Model-driven architectures
Best practice meets formal methods
Formal techniques
Monadic Metalanguages
Monadic metalanguages and computational effects
Multi-layer perceptrons
Machine learning in bioinformatics
Soft computing and machine learning
Multi-stage programming
Foundations and calculi for meta-programming and staging
Multidimensional access models
Parallelization of algorithms for distributed environments
Multiresolution geometric meshes
Geometric modeling and computer graphics
Multiresolution geometric modeling
Geometric modeling and computer graphics
Network of workstations
Distributed computing on heterogeneous clusters of workstations
Neural networks
Soft computing and machine learning
Non-manifold modeling
Geometric modeling and computer graphics
Object detection
Computer vision
Object reconstruction
Geometric modeling and computer graphics
Object-oriented databases
Advanced data management systems
Object-oriented paradigm
Design and foundations of modular and object-oriented languages and systems
Open implementation
Computational reflection
Out-of-core computation
Parallelization of algorithms for distributed environments
Parallel I/O
Parallelization of algorithms for distributed environments
Parallel middleware
Distributed computing on heterogeneous clusters of workstations
Parallel processing
Cluster computing
Distributed computing on heterogeneous clusters of workstations
Parallelization of algorithms for distributed environments
Performance modelling
Performance evaluation
Program modules
Design and foundations of modular and object-oriented languages and systems
Foundations and calculi for meta-programming and staging
Protocol verification
Constraint-based verification
Rapid prototyping
Multi-agent systems
Reflective middleware
Computational reflection
Reflective object-oriented programming
Computational reflection
Regularization theory
Statistical learning
Scene classification
Computer vision
Security
Computational reflection
Semantics
Design and foundations of modular and object-oriented languages and systems
Semi-structured databases
Advanced data management systems
Separate compilation and linking
Design and foundations of modular and object-oriented languages and systems
Separation of Concerns
Computational reflection
Single system image
Cluster computing
Soft computing
Soft computing and machine learning
Software architecture
Computational reflection
Software development methods
Best practice meets formal methods
Formal techniques
Software engineering
Computational reflection
Best practice meets formal methods
Formal techniques
Solid modeling
Geometric modeling and computer graphics
Solving polynomial equation systems
Solving polynomial equation systems
Spatial databases
Advanced data management systems
Specification of concurrent systems
Best practice meets formal methods
Formal techniques
Statistical learning theory
Statistical learning
Stochastic Petri nets
Performance evaluation
Stochastic process algebras
Performance evaluation
Support vector machines
Machine learning in bioinformatics
Statistical learning
Symbolic computation
Solving polynomial equation systems
Temporal databases
Advanced data management systems
Terrain modeling
Geometric modeling and computer graphics
Tomography
Image restoration in medicine and astronomy
Topos theory
Synthetic domain theory
Type theory
Logic and Category Theory
Types
Design and foundations of modular and object-oriented languages and systems
Foundations and calculi for meta-programming and staging
Logic and Category Theory
Monadic metalanguages and computational effects
UML
Best practice meets formal methods
Formal techniques
UML and Reflective Pattern
Computational reflection
Verification of infinite-state systems
Constraint-based verification
View-based 3-D object modeling
Computer vision
Visual modelling notations
Best practice meets formal methods
Formal techniques
Volume data modeling
Geometric modeling and computer graphics
Volume data visualization
Geometric modeling and computer graphics
Web databases
Advanced data management systems
Wireless networks
Mobile wireless networks
XML
Advanced data management systems

TOP top