Projekty

Názov projektuzoradiť zostupne Stručný popis projektu
Aktualizácia predmetov zameraných na výučbu počítačových sietí podľa špecifikácie praxe


Cieľom projektu je aktualizovať vybrané vysokoškolské predmety zamerané na problematiku komunikačných sietí vyučované na troch slovenských technických vysokých školách tak, aby zodpovedali aktuálnym požiadavkám praxe. Dynamický vývoj v oblasti sieťových technológií a aktualizované požiadavky priemyselnej certifikácie si vyžadujú zmenu obsahovej náplne prednášaných tém a cvičení. Sekundárnym cieľom projektu je vytvoriť platformu pre spoluprácu medzi FIIT STU, FRI UNIZA a FEI TUKE pre výmenu obsahových podkladov, poznatkov, pedagógov a študentov prostredníctvom účasti na spoločných kurzoch, letných školách a prakticky
orientovaných seminároch a školeniach. Výsledkom projektu a vzájomnej spolupráce je kvalitnejší produkt – študent s vysokým stupňom odbornosti a lepšie pripravený pre prax. Vzájomná výmena učiteľov a doktorandov podporí spoločné väzby a posilní možnosti budúcej odbornej a pedagogickej spolupráce. Projekt vytvorí nový zdieľaný vzdelávací obsah pre študentov vysokých škôl, zavedie do
výučby nové prvky multimediálneho obsahu, kolaboračné nástroje a skvalitní praktické cvičenia ako podmienku skvalitnenia prípravy absolventov pre prax.

Analýza písma pre klinické počítačové systémy pre podporu rozhodovania


The goal of this project is to provide deep handwriting analysis and investigate whether handwriting can be used for diagnosis and monitoring of hepatic encephalopathy and whether there exist correlation between handwriting and other biomarkers in hepatic encephalopathy. The number of novel signal processing algorithms, which reveal alteration in handwriting more accurately than existing approaches, are proposed, giving rise to new group of handwriting 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.

BIP2 – Balík inovatívnych prvkov pre reformu vzdelávania na TUKE

Balík prvkov pre skvalitnenie a inováciu vzdelávania na TUKE, ITMS kód projektu:26110230070

BIP3 - Balík zlepšení kvality TUKE prostredníctvom sietí

http://www.tuke.sk/tuke/strukturalne-fondy-eu/vyzva-1-2-vysoke-skoly-a-v...

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

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

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.

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

 

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

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.

Stránky