Projects
| Project name | Project description |
|---|---|
| Analýza písma pre klinické počítačové systémy pre podporu rozhodovania |
|
| Improving Applicability of Nature-Inspired Optimisation by Joining Theory and Practice |
Nature-inspired search and optimisation heuristics are easy to implement and apply to new problems. However, in order to achieve good performance it is usually necessary to adjust them to the problem at hand. Theoretical foundations for the understanding of such approaches have been built very successfully in the past 20 years but there is a huge disconnect between the theoretical basis and practical applications. The development of powerful analytical tools, significant insights in general limitations of different types of nature-inspired optimisation methods and the development of more practically relevant perspectives for theoretical analysis have brought impressive advances to the theory-side of the field. However, so far impact on the application-side has been limited and few people in the diverse potential application areas have benefitted from these advances. The main objective of the COST Action is to bridge this gap and improve the applicability of all kinds of nature-inspired optimisation methods. It aims at making theoretical insights more accessible and practical by creating a platform where theoreticians and practitioners can meet and exchange insights, ideas and needs; by developing robust guidelines and practical support for application development based on theoretical insights; by developing theoretical frameworks driven by actual needs arising from practical applications; by training Early Career Investigators in a theory of nature-inspired optimisation methods that clearly aims at practical applications; by broadening participation in the ongoing research of how to develop and apply robust nature-inspired optimisation methods in different application areas. |
| Evaluation and metrics of domain usability |
Usability makes the work with user interfaces better and more effective in all domains. Domain usability is an aspect of general usability, which deals with the domain content of user interfaces from the terminological point of view. If there are incorrect terms in the user interface, or it contains grammatical or stylistical errors, its usability is lowered. The main goal of this project is to design a method and tools, which would support the development of usable user interfaces from the domain point of view. This way we want to contribute to the development of better and more human-friendly user interfaces. This goal requires the identification of methods for evaluating the usability of user interfaces and metrics, which are used in this evaluation. Consequently, the design of metrics and automatized method for evaluating domain usability of user interfaces is needed. |
| Integrácia základných teórií softvérového inžinierstva do predmetov informatických študijných programov technických univerzít - návrh štruktúry a realizácia predmetov |
|
| Towards a Software Engineering Discipline for Green Software |
The goal of this project is to study and propose novel techniques to provide programmers with models that will allow them to reason about their programs in terms of energy consumption. Moreover, we aim to develop tools, like energy profilers, energy smell detectors, energy refactorings, energy testing frameworks, and energy optimizations, so that abnormal energy consumption can be related to a program’s source code and optimized. We will validate such techniques and tools with real-world applications. |
| Koalgebraické modely komponentových systémov |
Spoločenská prax si vyžaduje neustály vývoj rozsiahlych komplexných programových systémov. Jedným z najdôležitejších cieľov softvérového inžinierstva je vývoj spoľahlivých programových systémov, ktoré poskytujú očakávané výsledky podľa požadovaného správania. Komplexné systémy sú zložené z komponentov, ktoré sú vyvíjané nezávisle, často v rôznych programovacích jazykoch a paradigmách. Zároveň musia byť vzájomne prepojené tak, že ich kooperáciou sa dosiahne očakávané správanie celého systému. Preto interakcie medzi komponentmi, kontrakty a závislosti sú kľúčovým pojmom v komplexnom systéme. Konštrukcia verifikovateľného modelu správania sa komponentových systémov je dôležitou súčasťou formulácie behaviorálnych modelov komplexných systémov. V tomto projekte navrhneme explicitné koalgebraické modely, metódy verifikácie a postupy, ktoré sa použijú pri sledovaní správania komplexných programových systémov. Tým projekt prispeje k teoretickým aj praktickým aspektom softvérového inžinierstva. |
| Promoting the interconnection of Computer and Software Engineering using the KPIkit |
|
| Agent based modeling of the spectrum distribution in the cognitive radio networks |
|
| Intelligent Dynamic Spectrum Access Management for the Future Cognitive Communication Networks |
Hlavná technologická výzva sprevádzaná 5. generáciu mobilných komunikačných systémov je efektívne využitie dostupného frekvenčného spektra. Statické prideľovania frekvenčného spektra sa javí ako nedostatočné a jedno z možných riešení tohto problému je dynamické prideľovanie spektra pri použití technológie kognitívneho rádia. Technológia kognitívneho rádia je v súčasnosti mimoriadne diskutovaná oblasť, v ktorej sa otvára celé spektrum vyšetrovaných tém. Dynamické pridelovanie spektra je možné považovat za jednu z najvýznamnejších. Za základne funkčné bloky kognitívneho rádia je možné označiť blok monitorovania spektra, blok distribúcie a zdieľania spektra a nakoniec ekonomický blok distribúcie spektra. Súčasný stav poznania v oblasti dynamického prideľovania spektra sa výrazne limituje na analýzu vyšetrovania prevádzkových vlastností jednotlivých blokov, avšak ich vzájomná optimalizácia v dôsledku vysokej komplexity kognitívnej rádiovej siete je často obchádzaná. S cieľom riešiť tento problém, bude projekt IDR-KKS zameraný na vzájomnú optimalizáciu prevádzkových parametrov monitorovania a zdieľania spektra a ich dopad na navrhnuté ekonomické modely uvažovaných bezdrôtových štandardov 5G. Za účelom zachytenia vysokej dynamiky kognitívnej rádiovej siete, budeme v rámci projektu IDR-KKS uvažovať agentový prístup k modelovaniu a simulácií, ktorý sa ukázal ako veľmi efektívny v iných vedných odboroch (fyzika, ekonómia). Efektívnosť navrhnutých agentových modelov bude verifikovaná podľa vhodne zvolených scenárov. V rámci projektu IDR-KKS bude tiež realizovaná experimentálna kognitívna rádiová sieť umožňujúca verifikovať agentové modely aj v reálnej prevádzke. |
| ERASMUS+ KA1 - Mobility projects between Programme and Partner Countries in the field of higher education |
2015-1-SK01-KA107-008876 - Mobilita študentov a zamestnancov vysokých škôl do/z partnerských krajín |
