Departments

Year of publication

Type

Total number of publications: 200

Conference proceedings

Wireless Network Simulator for Advanced LoRa Applications

KOLÁŘ Ondřej KRÁL Jan NOVÁK Marek POVALAČ Aleš

Article in Proceedings

Year: 2024
Witch 3: Validation of Violation Witnesses in the Witness Format 2.0

AYAZIOVÁ Paulína STREJČEK Jan

Article in Proceedings

Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III, year: 2024
XSBench on FPGAs using Intel oneAPI

PECÁK Oldřich MATĚJ Zdeněk PŘENOSIL Václav

Article in Proceedings

EPJ Web of Conferences, year: 2024

Other applied results

AlphaFind

SLANINÁKOVÁ Terézia PROCHÁZKA David ČILLÍK Jakub NOVOTNÁ Lucie ROŠINEC Adrián

Year: 2024
AlphaFind: Discover structure similarity across the entire known proteome

PROCHÁZKA David SLANINÁKOVÁ Terézia OĽHA Jaroslav ROŠINEC Adrián GREŠOVÁ Katarína JÁNOŠOVÁ Miriama ČILLÍK Jakub PORUBSKÁ Jana SVOBODOVÁ Radka DOHNAL Vlastislav ANTOL Matej

Year: 2024
COMPYDA: An online tool for verifying the similarity of image datasets

NEČASOVÁ Tereza MÚČKA Daniel SVOBODA David

Year: 2024
EOSC CZ: Towards the development of Czech national ecosystem for FAIR research data

ANTOL Matej MAREK Jiří CAPANDOVÁ Michaela JURÁČEK Jaroslav MATYSKA Luděk

Year: 2024
FREAS: Forensic-Ready Analysis Suite

DAUBNER Lukáš MAKSOVIĆ Sofija SEDLÁČEK Tomáš

Year: 2024
Learned Metric Index

SLANINÁKOVÁ Terézia PROCHÁZKA David

Year: 2024
Umělá inteligence a zdraví : Jak čeští dospělí využívají AI

BLAHOŠOVÁ Jana TERČOVÁ Natálie ŠVESTKOVÁ Adéla ŠMAHEL David

Year: 2024