Jan Mrázek

BMC Bioinform., December, 2024

Enhancement of RE ions emission by silica glass nanostructuring.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Transparent Optical Networks, 2024

Yttrium aluminium garnet doped fiber lasers operating at 2 μm.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Transparent Optical Networks, 2024

Transparent ceramics for high-power infrared lasers operating above μm.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Transparent Optical Networks, 2024

Nanoceramic materials for power lasers operating in short- mid-infrared.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Transparent Optical Networks, 2024

The Gamified Gamelan: A new approach to educational outreach using pose detection.

[BibT_eX]

[DOI]

Gaetan Boisson

Proceedings of the Electronic Visualisation and the Arts, 2024

2023

Transparent Ceramic Films for Short- and Mid- Infrared Lasers.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Transparent Optical Networks, 2023

Tentacle-Based Shape Shifting of Metamorphic Robots Using Fast Inverse Kinematics.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Fault-Tolerant and System-Wide Communication for Metamorphic Robots.

[BibT_eX]

[DOI]

Vladimír Chlup

Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

RoFIOS - Flexible Full-Stack Software Solution for Metamorphic Robots.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

2021

Reproducible execution of POSIX programs with DiOS.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2021

Ex-Vivo Measurement of the pH in Aqueous Humor Samples by a Tapered Fiber-Optic Sensor.

[BibT_eX]

[DOI]

Sensors, 2021

Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way?

[BibT_eX]

[DOI]

Martin Jonás

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

2020

Nanocrystalline Ceramic Luminophores for Short- and Mid-Infrared.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Transparent Optical Networks, 2020

2019

RoFICoM - First Open-Hardware Connector for Metamorphic Robots.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019

Nanocrystalline Ceramic Phosphors for High-Power Lasers Operating at 2μm.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Transparent Optical Networks, 2019

Traffic Control Through Traffic Density.

[BibT_eX]

[DOI]

Lucia Duricova Mrazkova

Martin Hromada

Proceedings of the 3rd European Conference on Electrical Engineering and Computer Science, 2019

2018

The Soft Target Assessment and Software Tool.

[BibT_eX]

[DOI]

Lucia Duricova Mrazkova

Martin Hromada

Proceedings of the 3rd International Conference on System Reliability and Safety, 2018

2017

SMT Queries Decomposition and Caching in Semi-Symbolic Model Checking.

[BibT_eX]

[DOI]

Martin Jonás

CoRR, 2017

Optimizing and Caching SMT Queries in SymDIVINE - (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

The proposal of software for transport infrastructure management.

[BibT_eX]

[DOI]

Martin Hromada

Lucia Duricova Prochazkova

Proceedings of the 8th International Conference on Information, 2017

Model Checking of C and C++ with DIVINE 4.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2017

2016

SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 23rd International Symposium, 2016

2009

Finding sequence motifs in prokaryotic genomes - a brief practical guide for a microbiologist.

[BibT_eX]

[DOI]

Briefings Bioinform., 2009

2008

AIMIE: a web-based environment for detection and interpretation of significant sequence motifs in prokaryotic genomes.

[BibT_eX]

[DOI]

Bioinform., 2008

2007

Comparing Machine Learning Techniques in Predicting Translation Start Sites in Prokaryotic Genomes.

[BibT_eX]

Proceedings of the 2007 International Conference on Machine Learning; Models, 2007

2006

Pattern locator: a new tool for finding local sequence patterns in genomic DNA sequences.

[BibT_eX]

[DOI]

Shaohua Xie

Bioinform., 2006

1999

Data Mining for Robust Business Intelligence Solutions.

[BibT_eX]

[DOI]

Proceedings of the Principles of Data Mining and Knowledge Discovery, 1999

1995

Middle-range clustering of nucleotides in genomes.

[BibT_eX]

[DOI]

Comput. Appl. Biosci., 1995

1993

UNIREP: a microcomputer program to find unique and repetitive nucleotide sequences in genomes.

[BibT_eX]

[DOI]

Comput. Appl. Biosci., 1993

1992

ANAGEL: a personal computer program for evaluating DNA fragment lengths from distances migrated in an agarose gel.

[BibT_eX]

[DOI]

A. Spanova

Comput. Appl. Biosci., 1992

DNABIND: an interactive microcomputer program searching for nucleotide sequences that may code for conserved DNA-binding protein motifs.

[BibT_eX]

[DOI]

Comput. Appl. Biosci., 1992

GLOBIC: a very fast microcomputer program for fingerprinting, characterization and comparison of long nucleotide sequences.

[BibT_eX]

[DOI]

Comput. Appl. Biosci., 1992

1988

Computer program Jamsek combining statistical and stereochemical rules for the prediction of protein secondary structure.

[BibT_eX]

[DOI]