Publikace

Fakulta / Pracoviště MU

Rok publikování

Druh

Počet publikací: 229

Články ve sbornících

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

AYAZIOVÁ Paulína STREJČEK Jan

Článek ve sborníku

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, rok: 2024
XSBench on FPGAs using Intel oneAPI

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

Článek ve sborníku

EPJ Web of Conferences, rok: 2024

Ostatní aplikované výsledky

AlphaFind

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

Software

Rok: 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

Výzkumná zpráva

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

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

Software

Rok: 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

Výzkumná zpráva

Rok: 2024
FREAS: Forensic-Ready Analysis Suite

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

Software

Rok: 2024
Learned Metric Index

SLANINÁKOVÁ Terézia PROCHÁZKA David

Software

Rok: 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

Výzkumná zpráva

Rok: 2024

Nové knihy vydané Masarykovou univerzitou

Knihy na Munishopu

Čtěte na Munispace