CITI - Centro de Informática e Tecnologias da Informação

Fingerprint Dive into the research topics where CITI - Centro de Informática e Tecnologias da Informação is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

Engineering & Materials Science

Software engineering
Visualization
Requirements engineering
Query languages
Mobile devices
Augmented reality
Specifications
Data storage equipment
Servers
Acoustic waves
Metadata
Communication
Sports
Application programs
User interfaces
Environmental management
High energy physics
Groupware
Experiments
Scalability
Geographic information systems
Hardware
Merging
Fault tolerance
Information management
Program processors
Network protocols
Object oriented programming
Synchronization
Graphical user interfaces
Monitoring
Industry
Processing
Semantics
Students
Sustainable development
Engines
Chemical analysis
Engineers
Feedback
Electric network analysis
Computer programming languages
Recommender systems
Personal digital assistants
Information systems
Biofeedback
Ontology
Reusability
DSL
Productivity
Control systems
Flow graphs
Concurrency control
Inference engines
Static analysis
Parallel processing systems
Display devices
Algebra
Collaborative filtering
Touch screens
Binary images
Knowledge acquisition
Pattern matching
Costs
Vector quantization
Structural dynamics
Ubiquitous computing
Electronic mail
Rapid prototyping
Cloud computing
Computer systems
Taxonomies
Singular value decomposition
Technical presentations
Mathematical operators
Security of data
Testing
Testbeds
Factorization
Speech recognition
Mobile phones
Reinforcement
Accelerometers
Clustering algorithms
Telecommunication traffic
Evolutionary algorithms
Information technology
Support vector machines
Muscle
Websites
Data reduction
Concretes
Repair
Fusion reactions
Automation
Physics
Color
Composite materials
Lighting
Simulators

Mathematics

Type Systems
Concurrency
Calculus
Distributed Systems
Linear Logic
Interaction
Deadlock
Learning Vector Quantization
Groupware
Strong Normalization
Data Security
Mining
Proposition
Object-oriented
Software Product Lines
Video Games
N-gram
Confluence
Type Theory
Resources
Model Transformation
Sustainability
Prototyping
Software Engineering
Tagging
Graphical User Interface
Pattern Matching
Information Flow
Model
Formal Model
Specification
Express
Modeling
Emergency
Equivalence
Assignment
Categorical
Distinct
Scenarios
Complex Systems
Visualization
Programming
Concurrent
Game
Control System
Clustering
Automatic Code Generation
Higher Order
Model-based
Data Management
Engineering
Task Assignment
User Evaluation
Set Partition
Unsupervised Clustering
Compiler
Path
Logic
Java
Sequent Calculus
Monads
Software
Security Policy
Dependent
Gaming
Quantitative Evaluation
Experiment
Adaptivity
Preservation
Communication Protocol