-
1
المؤلفون: Adam Midlik, Ivana Hutařová Vařeková, Jan Hutař, Aliaksei Chareshneu, Karel Berka, Radka Svobodová
المصدر: Bioinformatics. 38:3648-3650
مصطلحات موضوعية: Statistics and Probability, Computational Mathematics, Consensus, Computational Theory and Mathematics, Computers, Proteins, Molecular Biology, Biochemistry, Software, Protein Structure, Secondary, Computer Science Applications
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b5176f3c93cd36b44f6fa08b96ee0687
https://doi.org/10.1093/bioinformatics/btac384 -
2
المؤلفون: Jan Hutař, Radka Svobodová, Ivana Hutařová Vařeková, Eva Hladká, Adam Midlik, Vladimír Horský, Karel Berka
المصدر: Bioinformatics
مصطلحات موضوعية: Statistics and Probability, Protein family, AcademicSubjects/SCI01060, Interface (Java), Computer science, Databases and Ontologies, Protein Data Bank (RCSB PDB), computer.software_genre, JavaScript, Biochemistry, 03 medical and health sciences, 0302 clinical medicine, Software, Molecular Biology, Protein secondary structure, 030304 developmental biology, computer.programming_language, 0303 health sciences, Database, business.industry, Python (programming language), Applications Notes, Computer Science Applications, Visualization, Computational Mathematics, Computational Theory and Mathematics, business, computer, 030217 neurology & neurosurgery
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fa36b74a9437647b0f74f005af23c0f9
http://europepmc.org/articles/PMC8652034 -
3
المؤلفون: Adam, Midlik, Ivana, Hutařová Vařeková, Jan, Hutař, Taraka Ramji, Moturu, Veronika, Navrátilová, Jaroslav, Koča, Karel, Berka, Radka, Svobodová Vařeková
المصدر: Methods in molecular biology (Clifton, N.J.). 1958
مصطلحات موضوعية: Catalytic Domain, Amino Acid Motifs, Computational Biology, Proteins, Molecular Sequence Annotation, Algorithms, Software
URL الوصول: https://explore.openaire.eu/search/publication?articleId=pmid________::4369a9420d115617978b9e43e904c89a
https://pubmed.ncbi.nlm.nih.gov/30945213 -
4
المؤلفون: Jaroslav Koča, Veronika Navrátilová, Karel Berka, Jan Hutař, Taraka Ramji Moturu, Radka Svobodová Vařeková, Adam Midlik, Ivana Hutařová Vařeková
المصدر: Methods in Molecular Biology ISBN: 9781493991600
مصطلحات موضوعية: 0303 health sciences, Information retrieval, Protein family, Computer science, Structural alignment, Protein domain, 03 medical and health sciences, Annotation, 0302 clinical medicine, Protein structure, Molecular function, Key (cryptography), Protein secondary structure, 030217 neurology & neurosurgery, 030304 developmental biology
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::9e4c85cae602fc3628dfd3e7e4d4a0c6
https://doi.org/10.1007/978-1-4939-9161-7_3 -
5
المؤلفون: Tomáš Brázdil, Ivana Hutařová Vařeková, Antonín Kučera, Stefan Kiefer
المصدر: Automata, Languages and Programming ISBN: 9783642220111
ICALP (2)مصطلحات موضوعية: Discrete mathematics, Stateless protocol, Interpretation (logic), Recursion, Markov chain, Probabilistic logic, Pushdown automaton, 0102 computer and information sciences, Expected value, 01 natural sciences, 010104 statistics & probability, 010201 computation theory & mathematics, If and only if, 0101 mathematics, Computer Science::Formal Languages and Automata Theory, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::e7e8dc31518b23ab5bce87b22fe33774
https://doi.org/10.1007/978-3-642-22012-8_25 -
6
المؤلفون: Ivana Hutařová Vařeková, Stefan Kiefer, Antonín Kučera, Tomáš Brázdil
المصدر: ResearcherID
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Theoretical computer science, Computer Networks and Communications, Formal Languages and Automata Theory (cs.FL), Computer Science - Formal Languages and Automata Theory, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, 0202 electrical engineering, electronic engineering, information engineering, Mathematics, Discrete mathematics, Stateless protocol, Recursion, Markov chain, Applied Mathematics, Probabilistic logic, Pushdown automaton, 020207 software engineering, Logic in Computer Science (cs.LO), Transformation (function), Computational Theory and Mathematics, 010201 computation theory & mathematics, If and only if, Computer Science::Formal Languages and Automata Theory
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b27d36891fb727ec9ad69fb619960d90
http://arxiv.org/abs/1007.1710