Projekty

Názov projektuzoradiť vzostupne Stručný popis projektu
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.

Implementácia moderných metód a foriem výučby v oblasti bezpečnosti informačných a komunikačných technológií k požiadavkám praxe

Hlavným cieľom projektu je hľadanie nových metód, foriem a technológií pre integráciu výučby v oblasti bezpečnosti do predmetov na vysokých školách v študijných programoch zameraných na informatiku a informačné technológie. V súčasnoti je v informatických štúdijných programoch častokrát oddeľovaná výučba bezpečnosti IT vzhľadom k používaniu IT resp. k vytváraniu nových systémov, architektúr. Pri vývoji softvérových systémov alebo iných systémov IT v praxi sú však princípy, technológie a procesy neodlúčiteľné a sú systematicky aplikovateľné počas celého trvania vývoja softvéru vrátane riešenia otázok bezpečnosti. Vychádzajúc z aktuálneho stavu na vysokých školách v tomto projekte sa sústredime na hľadanie nových metód a foriem vyučovania predmetov v oblasti bezpečnosti IT, ktoré umožnia lepšie prepojenie ostatných predmetov štúdijného programu Informatika a bezpečnosti do harmonického celku. Tomuto bude podriadená nielen inovácia obsahovej stránky niektorých predmetov ale sústredíme sa aj na vytváranie nástrojovej podpory, ktorá odbremení učiteľa od nekreatívnych a časovo náročných úloh. Je možné očakávať, že prehĺbenie vzájomného prepojenia predmetov Informatiky, počítačového a softvérového inžinierstva vzhľadom k otázkam bezpečnosti IKT(informačné a komunikačné technológie) prinesie zvýšenie kvality prípravy študentov štúdijného programu Informatika. Preto strategickým cieľom projektu je hľadanie nových metód, foriem a technológií pre transfér znalostí z oblasti bezpečnosti do ostatných predmetov študijných programov za pomoci vhodnej platformy smerom k strategickým požiadavkám praxe. Študenti budú môcť realizovať pragmatické projektové úlohy, definované príslušným predmetom s praktickým využitím výsledku, čo podľa očakávania riešiteľského kolektívu bude mať pozitívny dopad na kvalitu vzdelávania v študijnom programe Informatika.

Hodnotenie a metriky doménovej použiteľnosti

Použiteľnosť zlepšuje a zefektívňuje prácu s používateľskými rozhraniami vo všetkých doménach. Doménová použiteľnosť je stránka použiteľnosti, ktorá sa zaoberá doménovým obsahom používateľských rozhraní po terminologickej stránke. Ak nie sú použité správne pojmy alebo rozhanie obsahuje gramatické či štylistické chyby, jeho použiteľnosť sa znižuje.

Hlavným cieľom tohto projektu je navrhnúť metódy a nástroje, ktoré podporia vývoj použiteľných rozhraní po doménovej stránke. Touto cestou chceme prispieť k vývoju lepších, človeku priateľskejších používateľských rozhraní.

Tento cieľ si vyžaduje identifikáciu metód pre hodnotenie použiteľnosti používateľských rozhraní a metrík, ktoré sa na toto hodnotenie používajú a následný návrh metrík a automatizovanej metódy pre hodnotenie doménovej použiteľnosti používateľských rozhraní.

Focusing Education on Composability, Comprehensibility and Correctness of Working Software

The main objective of the project is to train educators from selected universities (e.g. partners are training other partners in this project) in the field of functional programming (FP) and closely related areas of informatics that this trained university staff then will contribute to the increasing of the level of education at their home university. Partners train other partners in selected area of FP by sharing their research results and using their (specific) teaching experience and methods. We expect novel knowledge to be taught in all theoretical levels.

European Research Network on Formal Proofs

If testing can reveal errors in computer programs, only formal verification can guarantee their absence. The highest Evaluation Assurance Levels of the Common Criteria for Information Technology Security Evaluation require automatically checked mathematical proofs of correctness. Proofs are also the basis of mathematics and many sciences, and thus are very important in education and research.

In many computer technologies, developers and users rely on standard languages and protocols for exchanging data and enabling tool interoperability: TCP/IP for network communication, HTML for web pages, etc. This is however not the case for formal proofs, which is a major bottleneck for their adoption by the industry. The main reason is that, currently, proof systems use mutually incompatible logical foundations. Fortunately, only small parts of the proofs developed in a system use features that are incompatible with other systems.

Europe is a leading actor in the area of formal proofs: about 65% of the proof systems of the world are developed in Europe, including the two most used proof assistants, Coq and Isabelle.

This Action aims at boosting the interoperability and usability of proof systems and making formal proofs enter a new era. For the first time, it gathers all the developers and users of proof systems in Europe. To make the proofs exchangeable, they will express, in a common logical framework, the logical foundations of their systems and develop tools for inter-translation of the proofs developed in individual systems to and from this common logical framework.

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
Partner: Faculty of Computer and Information Sciences, Ain Shams University, Cairo, Egypt

ERASMUS+ KA1 - Mobility for learners and staff - Higher Education Student and Staff Mobility

Academic contact for:

  1. A KLAGENF01 - Alpen-Adria Universität Klagenfurt,  Rakúsko
  2. A LINZ01 - Johannes Kepler Universität Linz,  Rakúsko
  3. HU BUDAPEST01 - Eötvös Loránd Tudományegyetem, Budapest, Maďarsko
  4. HU SZEGED01 - Szegedi Tudományegyetem,  Maďarsko
  5. P BRAGA01 - Universidade do Minho, Braga, Portugal
  6. RO CLUJNAP01 - Universitatea Babes-Bolyai, Cluj Napoca, Rumunsko
  7. SI MARIBOR01 - Univerza v Mariboru, Slovinsko

 

Computer-Aided Decision Support System for Hepatic Encephalopathy

The goal of this project is to provide deep speech and handwriting analysis and investigate whether speech and handwriting can be used for diagnosis and monitoring of hepatic encephalopathy and whether there exists relationship between speech, handwriting and other biomarkers in hepatic encephalopathy. The number of novel signal processing algorithms, which reveal alteration in handwriting and speech more accurately than existing approaches, are proposed, giving rise to new group of features. The robust feature selection algorithms select the optimal subset of these features, which are fed into non-parametric regression and classification algorithms, mapping the signal processing algorithm outputs to stage of hepatic encephalopathy. Even though proposed project is focused on particular disease, we expect that some of the outputs, such as new features will be applicable also for other diseases.

CEEPUS - Central European Exchange Program for University Studies

CIII-HU-0019-13-1718, CIII-HU-0019-12-1617, CIII-HU-0019-11-1516, CIII-HU-0019-10-1415, CIII-HU-0019-09-1314 International Cooperation in Computer Science

BIP4 - Balík inovatívnych prvkov pre reformu vzdelávania na TUKE

Balík doplnkov pre ďalšiu reformu vzdelávania na TUKE, ITMS:26110230093

Stránky