Programa de Doctorat en Computació: Enviaments recents
Ara mostrant els elements 41-60 de 70
Gathering empirical evidence and building a business case for software reference architectures in industry
Background: Software reference architectures are becoming widely adopted by organizations that need to support the design and maintenance of software applications of a shared domain. For organizations that plan to adopt ...
Tree automata with constraints and tree homomorphisms
Automata are a widely used formalism in computer science as a concise representation for sets. They are interesting from a theoretical and practical point of view. This work is focused on automata that are executed on ...
Artifact-centric business process models in UML : specification and reasoning
Business processes are directly involved in the achievement of an organization's goals, and for this reason they should be performed in the best possible way. Modeling business processes can help to achieve this as, for ...
Robust interactive simulation of deformable solids with detailed geometry using corotational FEM
This thesis focuses on the interactive simulation of highly detailed deformable solids modelled with the Corotational Finite Element Method. Starting from continuum mechanics we derive the discrete equations of motion and ...
On some interactive mesh deformations
Techniques devoted to deform 3D models are an important research field in Computer Graphics. They can be used in differentstages: the modelling phase, the animation process and also during some special simulations. ...
Automatic program analysis using Max-SMT
This thesis addresses the development of techniques to build fully-automatic tools for analyzing sequential programs written in imperative languages like C or C++. In order to do the reasoning about programs, the approach ...
Monitoring the quality of service to support the service based system lifecycle
Service Oriented Computing (SOC) has been established in the last recent years as a successful paradigm in Software Engineering. The systems built under this paradigm, known as Service Based System (SBS), are composed of ...
Contributions to the interactive visualization of medical volume models in mobile devices
With current medical imaging improvements, specialists are being able to obtain correct information of anatomical structures of the human organism. By using different image visualization techniques, experts can obtain ...
Conformance checking and diagnosis in process mining
In the last decades, the capability of information systems to generate and record overwhelming amounts of event data has experimented an exponential growth in several domains, and in particular in industrial scenarios. ...
Simulation, animation and rendering of crowds in real-time
Nowadays crowd simulation is becoming more important in computer applications such as building evacuation planning, training, videogames, etc., presenting hundreds or thousands of agents navigating in virtual environments. ...
Variants of unification considering compression and context variables
Term unification is a basic operation in several areas of computer science, specially in those related to logic. Generally speaking, it consists on solving equations over expressions called terms. Depending on the kind of ...
Structural and computational aspects of simple and influence games
Simple games are a fundamental class of cooperative games. They have a huge relevance in several areas of computer science, social sciences and discrete applied mathematics. The algorithmic and computational complexity ...
Dissemination and visualisation of biological data
With the recent advent of various waves of technological advances, the amount of biological data being generated has exploded. As a consequence of this data deluge, new challenges have emerged in the field of biological ...
Advanced interaction techniques for medical models
Advances in Medical Visualization allows the analysis of anatomical structures with the use of 3D models reconstructed from a stack of intensity-based images acquired through different techniques, being Computerized ...
A method for the unified definition and treatment of conceptual schema quality issues
The modern world is software-intensive. National infrastructures, smartphones and computers, health-care systems, e-commerce... everything is run by software. Therefore, developing high-quality software solutions is essential ...
Enriching unstructured media content about events to enable semi-automated summaries, compilations, and improved search by leveraging social networks
(i) Mobile devices and social networks are omnipresent Mobile devices such as smartphones, tablets, or digital cameras together with social networks enable people to create, share, and consume enormous amounts of media ...
Contribution to structural parameters computation: volume models and methods
Bio-CAD and in-silico experimentation are getting a growing interest in biomedical applications where scientific data coming from real samples are used to compute structural parameters that allow to evaluate physical ...
Non-functional requirements as drivers of software architecture design
In the last decades, software engineering has become an important area of research. As researchers, we try to identify a problem, a need, or a hole in some research topic, once identified we make an effort to produce new ...
Geometric constraint solving in a dynamic geometry framework.
Geometric constraint solving is a central topic in many fields such as parametric solid modeling, computer-aided design or chemical molecular docking. A geometric constraint problem consists of a set geometric objects on ...
Learning finite-state machines: statistical and algorithmic aspects
The present thesis addresses several machine learning problems on generative and predictive models on sequential data. All the models considered have in common that they can be de ned in terms of nite-state machines. On ...
