Skip to top bar
Skip to header
Skip to content
Skip to footer
CS
>
Publications
>
Publication Records - Search
Publication Records - Search
Advanced search
Repository
Selected publication/outcome records
Trendy ve vývoji etických standardů v IT (1998)
Písmo s variantní šířkou: nová naděje pro naše úzké sloupce? (1998)
Typesetting with varying letter widths: New hope for your narrow columns 355 (1998)
New Tools for Disambiguation of Czech Texts (1998)
Corpus-Based Rules for Czech Verb Discontinuous Constituents (1999)
Automatic Tagging of Compound Verb Groups in Czech Corpora (2000)
Recognition and Tagging of Compound Verb Groups in Czech (2000)
Part-of-Speech Tagging by Means of Shallow Parsing, ILP and Active Learning (2001)
Vizualizace znalostí v e-learningu (2006)
Electronegativity Equalization Method: Parameterization and Validation for Large Sets of Organic, Organohalogene and Organometal Molecule (2007)
CoUniverse: Framework for Building Self-organizing Collaborative Environments Using Extreme-Bandwidth Media Applications (2008)
High Quality Large Scale Virtual Classroom (2008)
Implementation of DXT Compression for UltraGrid (2008)
CoUniverse (2008)
Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers (2011)
Architecture Model for Approximate Tandem Repeat Detection (2011)
Postoje žáků 2. stupně základních škol k vyučovacímu předmětu zeměpis (2011)
Diabetic nephropathy - Pharmacogenomics and variability in genes of renin-angiotensin-aledosterone system (2011)
Biomoc a reprodukční biomedicína: konceptuální inspirace pro český kontext (2012)
Kartografické dovednosti ve výuce zeměpisu: teoretický model a výsledky výzkumného šetření (2011)
Evolutionary Design of Message Efficient Secrecy Amplification Protocols (2012)
Metody řešení matematických úloh I (2011)
GPU Optimization of Convolution for Large 3-D Real Images (2012)
Comment on "Computational Model for Predicting Experimental RNA and DNA Nearest-Neighbor Free Energy Rankings" (2012)
Visual Image Search: Feature Signatures or/and Global Descriptors (2012)
Medicína reprodukce a reprodukce medicíny. Moc, hranice, dialog. /7.ročník genderových konfrontací (2012)
Understanding the role of base stacking in nucleic acids. MD and QM analysis of tandem GA base pairs in RNA duplexes (2012)
The DNA and RNA sugar–phosphate backbone emerges as the key player. An overview of quantum-chemical, structural biology and simulation studies (2012)
8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (2012)
Hraniční práce ve feministických studiích. Gender, rovné příležitosti, výzkum 2/2012; ISSN 1213-0028 (2012)
členka Rady vlády ČR pro rovné příležitosti žen a mužů (2012)
“Boys with the toys”. Hegemonies of Men over Reproduction: Biomedical Childbirth Made in Czech Republic. (2012)
Nepřerušený zápas o ženská těla (recenze Dudová, Radka. 2012. Interrupce v České republice: zápas o ženská těla (2012)
The Second ISA Forum of Sociology: Social justice and democratization: Zpráva z konference (2012)
Studying Men’s Violences: Some Key Methodological Principles in Developing a European Research Framework (2013)
Bisimilarity of Probabilistic Pushdown Automata (2012)
In silico search for secondary structures in p53 target genes using R/Bioconductor (2013)
3rd Annual Health in Transition Conference: Challenges of 21st Century: past, present and future of medicine and health care in post-socialist world(s) (2013)
členka Rady vlády ČR pro rovné příležitosti žen a mužů; místopředsedkyně pracovní skupiny Muži a genderová rovnost (2013)
Desired and Required Childbirth: the Doctors View (2013)
Medical Childbirth Made in the Czech Republic: Required and Desired Practices (2013)
Fast Construction of a Word-Number Index for Large Data (2013)
Cryptography for (partially) compromised sensor networks (2011)
Lékaři a vyhoření: ožehavá každodennost medicíny pohledem sociologie (2013)
Časopis Kamarád (2008)
Studying Men´s violences in Europe. Towards a Research Framework (2013)
On the dynamics and constraints of batch culture growth of the cyanobacterium Cyanothece sp. ATCC 51142. (2012)
On the dynamics and constraints of batch culture growth of two cyanobacterial unicellular strains: Cyanothece sp. ATCC 51142 and Synechocystis sp. PCC 6803. (2012)
Unicellular cyanobacterium Synechocystis sp. PCC 6803 and its recombinant strain with ethylene forming gene: growth optimization and ethylene production. (2012)
Postoje českých lékařů k medicíně a ke změnám v praxi reprodukční medicíny (2014)
Medycyna jako reprodukowana bezsilność: Codzienność czeskiej medycyny reprodukcyjnej z punktu widzenia lekarzy i lekarek (2014)
Tools for Fast Morphological Analysis Based on Finite State Automata (2014)
Men and Masculinities in Europe (2013)
On the dynamics and constraints of batch culture growth of the cyanobacterium Cyanothece sp ATCC 51142 (2012)
RELAY FEEDBACK OSCILLATOR DESIGN FOR MODELING CIRCADIAN RHYTHMS IN CYANOBACTERIA (2012)
Personality Perception in Instant Messenger Communication in the Czech Republic and People’s Republic of China (2014)
DDoSaaS: DDoS jako služba (2015)
Augmenting the Rubber Hand Illusion (2015)
Deriv— softwarový nástroj pro testování mezí a možností automatické slovotvorné analýzy (2015)
Service in denial – clouds going with the winds (2015)
Semantic Regularity of Derivational Relations (2015)
Connecting to Nature in the Lab through “Earth Song” : The Malleability of Implicit and Explicit Attitudes towards Nature (2015)
Derivancze - Derivational Analyzer of Czech (2015)
Deriv— softwarový nástroj pro testování mezí a možností automatické slovotvorné analýzy (2015)
Prototypový autentizační systém obnovy hesla (2015)
The Challenge of Increasing Safe Response of Antivirus Software Users (2016)
Systém pro distribuci dotazníků v počítačových učebnách (2015)
Rozvrhování předmětů na Masarykově univerzitě (2015)
Mé obrazy jsou prostředky pro komunikaci diváků s jejich nitrem (2016)
Zahrada světla (2016)
A quantitative evaluation of ethylene production in the recombinant cyanobacterium Synechocystis sp. PCC 6803 harboring the ethylene-forming enzyme by membrane inlet mass spectrometry (2016)
Automatic Image-Based Method for Quantitative Analysis of Photosynthetic Cell Cultures (2016)
Codes v. People: A Comparative Usability Study of Two Password Recovery Mechanisms (2016)
On the impact of warning interfaces for enabling the detection of Potentially Unwanted Applications (2016)
Large Scale Keyword Extraction using a Finite State Backend (2016)
PredictSNP2: A Unified Platform for Accurately Evaluating SNP Effects by Exploiting the Different Characteristics of Variants in Distinct Genomic Regions (2016)
Microalgal adaptive biotechnologies for a sustainable future (2016)
pqsfinder: identification of potential quadruplex forming sequences (2017)
Factors Influencing the Purchase of Security Software for Mobile Devices - Case Study (2017)
Detecting Attractors in Biological Models with Uncertain Parameters (2017)
Biochemical Space: A Language for Formal Description and Annotation of Complex Biological Processes (2016)
Utváření vztahu rodičů k předčasně narozeným dětem (2013)
An Immersive Virtual Environment for Collaborative Geovisualization (2017)
BrainChat - A Collaborative Augmented Reality Brain Interface for Message Communication (2017)
Model Checking of C and C++ with DIVINE 4 (2017)
Using Off-the-Shelf Exception Support Components in C++ Verification (2017)
Optimizing and Caching SMT Queries in SymDIVINE (Competition Contribution) (2017)
From Model Checking to Runtime Verification and Back (2017)
Towards Discovering the Limits of Smart Grid Communication Infrastructure (2018)
FireProt: Web Server for Automated Design of Thermostable Proteins (2017)
Optimizing cyanobacterial product synthesis: Meeting the challenges (2016)
Parametric multi-step scheme for GPU-accelerated graph decomposition into strongly connected components (2017)
E-cyanobacterium.org: A Web-based Platform for Systems Biology of Cyanobacteria (2016)
On clock-aware LTL parameter synthesis of timed automata (2018)
MIaS: Math-Aware Retrieval in Digital Mathematical Libraries (2018)
Implementation Notes for the Soft Cosine Measure (2018)
bio.tools Sum – tool for exploration of summary information about bioinformatics services in bio.tools (2018)
Fully Automated Attractor Analysis of Cyanobacteria Models (2018)
Secondary Structure Elements-Annotations and Schematic 2D Visualizations Stable for Individual Protein Families (2018)
Symbolic Computation via Program Transformation (2018)
Weighting of Passages in Question Answering (2018)
Influence of circadian clocks on optimal regime of central C-N metabolism of cyanobacteria (2018)
Model Checking of C++ Programs Under the x86-TSO Memory Model (2018)
Advancement of the cultivation and upscaling of photoautotrophic suspension cultures using Chenopodium rubrum as a case study (2018)
Photoautotrophic cell cultures – a model system for photosynthesis research on cellular level (2018)
Photoautotrophic cell cultures – a model system for photosynthesis research on cellular level (2018)
Příprava Zpravodaje CSTUG (2018)
Comprehensive Modelling Platform (2019)
E-cyanobacterium.org: A Web-based Platform for Systems Biology of Cyanobacteria (2018)
DiVM: Model checking with LLVM and graph memory (2018)
Extending DIVINE with Symbolic Verification Using SMT (2019)
Systém pro sdílení a analýzu bezpečnostních událostí (2019)
RoFICoM - First Open-Hardware Connector for Metamorphic Robots (2019)
Local Nontermination Detection for Parallel C++ Programs (2019)
Reproducible Execution of POSIX Programs with DiOS (2019)
A Simulator for LLVM Bitcode (2019)
Fantasia Apocalyptica: Česká premiéra (2019)
Quo Vadis, Math Information Retrieval (2019)
Symbiotic 7: Integration of Predator and More (Competition Contribution) (2020)
Executable Biochemical Space for Specification and Analysis of Biochemical Systems (2020)
SBML Level 3: an extensible format for the exchange and reuse of biological modelsAutoři (2020)
On Symbolic Execution of Decompiled Programs (2020)
When FastText Pays Attention: Efficient Estimation of Word Representations using Constrained Positional Weighting (2022)
Regressive Ensemble for Machine Translation Quality Evaluation (2021)
Advances in Xmipp for Cryo–Electron Microscopy: From Xmipp to Scipion (2021)
Application of Super-Resolution Models in Optical Character Recognition of Czech Medieval Texts (2021)
When Tesseract Brings Friends: Layout Analysis, Language Identification, and Super-Resolution in the Optical Character Recognition of Medieval Texts (2021)
AdaptOr: Objective-Centric Adaptation Framework for Language Models (2022)
Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding (2022)
An Innovative Perspective on Metabolomics Data Analysis in Biomedical Research Using Concept Drift Detection (2021)
Markdown 2.10.0: LaTeX themes & snippets, two flavors of comments, and LuaMetaTeX (2021)
Markdown 2.15.0: What's new? (2022)
Markdown 2.10.0: LaTeXová témata a snippety (2021)
Human Psychophysiology Is Influenced by Low-Level Magnetic Fields: Solar Activity as the Cause (2021)
Methods and Experiments for Sensing Variations in Solar Activity and Defining Their Impact on Heart Variability (2021)
Overleaf: Kolaborativní webový editor LaTeXu (2021)
Vysokoúrovňové jazyky pro TeX (2022)
When Tesseract Meets PERO : Open-Source Optical Character Recognition of Medieval Texts (2022)
CICM'21 Systems Entries (2021)
Remove all the items
Operations on the selected outcomes
Export and print
List of selected records
Other applications
Publications
Information System
Skip to top barSkip to headerSkip to contentSkip to footer
