Projekty
Názov projektu | Stručný popis projektu |
---|---|
Aktualizácia predmetov zameraných na výučbu počítačových sietí podľa špecifikácie praxe |
|
Analýza písma pre klinické počítačové systémy pre podporu rozhodovania |
|
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:
|
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 |
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
- 1
- 2
- 3
- 4
- 5
- nasledujúca ›
- posledná »