Projects
Different abstract mathematical models, like dataflow networks, Petri-nets, process algebra are used in the functional and dependability validation of digital systems. These modeling paradigms...
The aim of the project is to develop new algorithms and methods in the field of active noise control and digital musical sound synthesis. Active noise control. Based on the previous results, the...
The approval of the IEEE-STD-1241(2001) standard (A/D converters testing) means that all users and manufacturers of analog-to-digital converters should use the terminology and test methods...
The objective of the project is the development of a decision support system for medical application, which is capable of analysing great volumes of X-ray pictures, detecting and identifying...
The main aim of the project is to analyze and explore how intelligent agents can help in building distributed information systems. The project focuses on the following main applications fields:...
AGTIVE '11 is the fourth workshop/symposium of graph transformation community for researchers and industrial practitioners that are interested in the application of precisely defined and well-...
The aim of the research work was to analyse the accuracy (and reproducibility and resolution) of passive marker-based motion analysers. We elaborated an ap-propriate model and measurement set-up....
Aim of the project is two-fold: scientific research and development of anonymity techniques (anonymous message transmission, anonymous authorization) and implementation of these in the Internet...
Early diagnosis greatly helps the effective treatment of Parkinson's disease and similar neurodegenerative diseases. The assessment of the actual state makes possible optimal medication. Objective...
The aim of the project is to develop a balancing robout using the departments rapid prototyping environment (Mitmót).
The AMBER - Assessing, Measuring and Benchmarking Resilience project as a Coordination Action aims at defining a research agenda, coordinating the study of resilience measuring and benchmarking in...
Digital signatures protect the integrity of the signed document and undeniably authenticate the signer individual(s). The weakest link in the chain authenticating the signer is the assumption that...
A vérnyomás az egyik legfontosabb élettani jellemző. Látszólag könnyű mérni - valójában azonban nem.
A vérnyomás v...
Security vulnerabilities of IT systems cause immense damage at world economy level. High number of virus and hacker attacks show, that software development methods suffer from serious deficiencies...
The main objective of the CERTIMOT project is to enable certification for model transformations used in critical systems and service design. Novel models, languages, and techniques and tools will...