Přeskočit na horní lištu
Přeskočit na hlavičku
Přeskočit na obsah
Přeskočit na patičku
EN
>
Publikace
>
Vyhledávání publikací
Vyhledávání publikací
Pokročilé vyhledávání
Repozitář
Vybrané publikace/výsledky
Biomoc a reprodukční biomedicína: konceptuální inspirace pro český kontext (2012)
CICM'21 Systems Entries (2021)
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)
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)
Lékaři a vyhoření: ožehavá každodennost medicíny pohledem sociologie (2013)
Studying Men´s violences in Europe. Towards a Research Framework (2013)
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)
Men and Masculinities in Europe (2013)
Mé obrazy jsou prostředky pro komunikaci diváků s jejich nitrem (2016)
Zahrada světla (2016)
Detecting Attractors in Biological Models with Uncertain Parameters (2017)
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)
Parametric multi-step scheme for GPU-accelerated graph decomposition into strongly connected components (2017)
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)
Symbolic Computation via Program Transformation (2018)
Weighting of Passages in Question Answering (2018)
Model Checking of C++ Programs Under the x86-TSO Memory Model (2018)
Příprava Zpravodaje CSTUG (2018)
DiVM: Model checking with LLVM and graph memory (2018)
Extending DIVINE with Symbolic Verification Using SMT (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)
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)
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)
Medicína reprodukce a reprodukce medicíny. Moc, hranice, dialog. /7.ročník genderových konfrontací (2012)
Odebrat vše z výběru
Operace s vybranými výsledky
Export a tisk
Seznam vybraných záznamů
Další aplikace
Publikace
Informační systém