Ing. Mgr. Ladislava Smítková Janků, Ph.D.

2022 - 2023

V tomto projektu plánujeme využít jedinečnou kombinaci odborných znalostí našich dvou týmů (CZ a AT) v oblasti správy dat, machine-actionable DMP, vývoje softwaru s ohledem na FAIR, sémantických webových technologií a zpracování přirozeného jazyka (NLP) k urychlení efektivního přijetí principů FAIR ve správě výzkumných dat. Vyvineme metody, modely a pokyny pro výzkumné pracovníky i správce dat, abychom jim usnadnili implementování principů FAIR. Primární důraz bude kladen na přijetí FAIR efektivním způsobem s využitím automatizace a vyhodnocování. Sladěním přijetí FAIR s nejlepšími praktikami plánováním správy dat se vyhneme další zátěži pro výzkumné pracovníky. Naopak je cílem zlepšení kvality plánů správy dat ve prospěch výzkumných pracovníků i financujících subjektů.

2022

When collecting user data nowadays we care about these being sufficiently anonymous, that is, we usually replace the real data with some perturbed data so that we protect the sole identity of the end-user. This is a challenging task both from computational and algorithmical (theoretic) approach. Therefore we often have to employ advanced methods of analysis and algorithmic techniques to identify tractable cases. We will identify new paramaters that attain low values in realworld data and analyze if these result in fixed-parameter tractable case or to parameterized hardness.

2015

The internal structure of programmable devices is complex and unrevealed, which makes the design of applications with provable dependability and security difficult. At the theoretical level, the interaction between techniques for fault-tolerant and security attack-resistant design is not well understood. The crossing point of both fields, the notions of controllability, observability, and redundancy will be studied. Application architectures, where dependability and security support each other will be designed. Moreover, absorbing their features into the structure of a programmable device will be demonstrated. To prove and evaluate these achievements, methods to construct realistic models of applications will be developed. The gap caused by the complex and obscure structure of the devices will be overcome by model calibrations, that is, by aligning its predictions with the results of real device tests. Currently, the structural complexity of the device prevents design evaluation using detailed models, requiring to simplify and hierarchize the model while maintaining its relevance.

2011

The research will be focused on high-speed wireless communication systems and the subsequent development of microwave links with embedded systems and adaptive transmission rate 256MBit/s of such a design solution that would enable to ensure the affordability of the equipment for customers from the CR, which are mainly small and medium-sized companies providing data services like for example high-speed Internet connection. Primary areas of application of the developed devices are the Internet spine and other data networks requiring high-speed wireless transmission. The project will also solve a design and implementation of an appropriate adaptive power control system for broadcasting, allowing reducing overall energy consumption while keeping the authenticity of transmission.

2021 - 2023

Hlavním cílem projektu je automatické vyhodnocení indikací defektoskopických metod, založené na moderních principech vyhodnocování pomocí metod umělé inteligence, strojového učení a deep learningu. Jedná se o dvě metody automatického vyhodnocení indikací defektů - metody magnetické práškové (MPI) a metody fluorescenční penetrační (FPI). Výstupem projektu bude software pro automatické vyhodnocení indikací defektoskopických metod FPI a MPI a zařízení pro automatické nasnímání a detekci indikací v metodě FPI a MPI.

2013

This project is focused on digital system´s design with respect to their hardware area, working frequency, power, realiability issues and testability. Pilot implementations will realized in FPGA. Hign realiability parameters will be achieved by dynamical re-configuration. The test generation methodology will be improved.

2012

This project is focused on digital system´s design with respect to their hardware area, working frequency, power, realiability issues and testability. Pilot implementations will realized in FPGA. Hign realiability parameters will be achieved by dynamical re-configuration. The compressed test generation methodology based on overlapping of the test vectors will be improved using their implicit representation to maximize the test effectivity.

2014

This project is focused on dependable (reliable and secure) digital systems design with respect to their area overhead, working frequency and testability. Hign realiability parameters will be achieved by appropriate redundancy and reconfiguration methods. The mutual relation between fault-tolerant and attack-resistent architectures will be studied. Pilot implementations will be realized in FPGA.

2024 - 2026

Hlavním cílem projektu je realizace funkčního vzorku krátké ruční palné zbraně s vestavěným elektronickým zámkem.

2022

FAIR Data Entry Tool is a complete software solution for capturing bioinformatic data described by a given ontology.

2021 - 2023

Cílem projektu je inovace výuky fotosyntézy na ZŠ a SŠ ve smyslu jejího významu pro tvorbu trvale udržitelné biomasy, chemismus vod a atmosféru v době globální klimatické změny. Prostředkem k dosažení tohoto cíle bude digitální platforma obsahující interaktivní učebnici k tématu fotosyntézy suchozemských a vodních rostlin využitelná pro 8. a 9. roč. ZŠ a a 1. a 2 roč.SŠ, v praxi ověřené a moderními výukovými metodami (challange based learning, project based learning, inquiry learning, place based education) zpracované návody na experimentální úlohy a metodiku pro učitele. Platfotma bude vyvíjena prostřednictvím výzkumného rámce tvořeného „Modelem didaktické rekonstrukce“, pedagogickou metodou využívanou pro inovace výuky v didaktice přírodovědných předmětů.

2021 - 2022

Výpočetní kolektivní volba (Computational Social Choice) je moderní oblast informatiky, ve které se setkává teoretická informatika a teorie her (ekonomie). Mnoho zásadních problémů v této oblasti je NP-těžkých, proto se začala v poslední dekádě stále častěji uplatňovat tzv. parametrizovaná analýza, která si klade za cíl identifikovat parametry, jejichž zafixování na malých hodnotách vede k efektivní řešitelnosti daného problému. V předkládaném projektu se hodláme zaměřit na strukturální parametry (mezi nejznámější bezpochyby patří stromová šířka) vstupních instancí, čímž omezíme například vzájemnou interakci mezi agenty hledajícími kolektivní rozhodnutí a podobně.

2022 - 2025

Projekt reaguje na současný nedostatek nástrojů pro analýzu a verifikaci bezpečnostní certifikace zařízení používaných pro zajištění kybernetické bezpečnosti. Zejména u hardwarových zařízení implementujících kryptografické algoritmy, například čipových karet, je v ČR téměř nemožné spolehlivě ověřit deklarovanou úroveň bezpečnosti, což následně znemožňuje analýzu rizik systémů využívajících tato zařízení a tedy použití zařízení např. u bezpečnostních složek státu či v rámci kritických informačních infrastruktur. V rámci projektu budou vyvinuty nové hardwarové a softwarové nástroje založené na principech umělé inteligence, které bude možné využít pro specifické kroky automatizované verifikace bezpečnosti kryptografického zařízení - ať už na základě bezpečnostní certifikace nebo tvrzení výrobce/dodavatele.

2021 - 2023

Currently, a large amount of multimedia content (audio/video) is offered through online platforms, typically at the request of the user (Video-on-Demand). This practice is quite common today for paid services (eg online video rentals), but it also appears on data sharing platforms (eg. Ulož.to), where the legality of the origin of the data cannot be guaranteed. There are even platforms where it can even be argued (see the document "On the Net") that your own content, regardless of origin, can be extremely harmful (eg. terrorism, child pornography, etc.). The whole thing is further complicated by the fact that the majority of this traffic is currently encrypted using the HTTPS protocol, which makes it very difficult to identify. The purpose of the project is to search for ways and mechanisms for finding the fingerprint of specific video streams and then identify them from the network traffic reported via the NetFlow / IPFix protocol. The solution of the project presupposes the creation of a common research infrastructure over a distributed data storage (created from SSD or NVMe disks) between the two university workplaces, the interconnection of which will be realized through the Cesnet backbone network.