Zobrazeno 1 - 10
of 120
pro vyhledávání: '"Nir Piterman"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 119, Iss Proc. GandALF 2013, Pp 35-49 (2013)
We study the descriptive complexity of parity games by taking into account the coloring of their game graphs whilst ignoring their ownership structure. Colored game graphs are identified if they determine the same winning regions and strategies, for
Externí odkaz:
https://doaj.org/article/f7efda4de46149739d0870f90de91e18
Autor:
Stefanie Nusser‐Stein, Antje Beyer, Ivo Rimann, Magdalene Adamczyk, Nir Piterman, Alex Hajnal, Jasmin Fisher
Publikováno v:
Molecular Systems Biology, Vol 8, Iss 1, Pp 1-14 (2012)
Abstract C. elegans vulval development is one of the best‐characterized systems to study cell fate specification during organogenesis. The detailed knowledge of the signaling pathways determining vulval precursor cell (VPC) fates permitted us to cr
Externí odkaz:
https://doaj.org/article/5f63e772a97f4f8c9ad4a0230b0d6008
Autor:
Nir Piterman
Publikováno v:
Logical Methods in Computer Science, Vol Volume 3, Issue 3 (2007)
In this paper we revisit Safra's determinization constructions for automata on infinite words. We show how to construct deterministic automata with fewer states and, most importantly, parity acceptance conditions. Determinization is used in numerous
Externí odkaz:
https://doaj.org/article/7a6f80467e554699aeed5aca56dcdaa7
Publikováno v:
PLoS Computational Biology, Vol 3, Iss 5, p e92 (2007)
Caenorhabditis elegans vulval development provides an important paradigm for studying the process of cell fate determination and pattern formation during animal development. Although many genes controlling vulval cell fate specification have been ide
Externí odkaz:
https://doaj.org/article/5619756ffc55467e9bf6e767e6783ddc
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles ISBN: 9783031198489
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::afe489357069e1e073c0193952ddc9a4
https://doi.org/10.1007/978-3-031-19849-6_22
https://doi.org/10.1007/978-3-031-19849-6_22
Publikováno v:
ISOLA 2022: International Symposium on Leveraging Applications of Formal Methods
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning ISBN: 9783031197581
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning ISBN: 9783031197581
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::de4fc58dc83613af143d8487e57ad2a1
Autor:
Daniel Hausmann, Nir Piterman
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031223365
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::201039ceab197029dc121aef6416446d
https://doi.org/10.1007/978-3-031-22337-2_11
https://doi.org/10.1007/978-3-031-22337-2_11
Publikováno v:
KR
Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning
Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning
Infrastructure in the cloud is deployed through configuration files, which specify the resources to be created, their settings, and their connectivity. We aim to model infrastructure before deployment and reason about it so that potential vulnerabili
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6c8c0871112faa229c6a0a2244badfaa
https://doi.org/10.24963/kr.2021/17
https://doi.org/10.24963/kr.2021/17
Autor:
Nir Piterman, Yehia Abd Alrahman
Publikováno v:
Autonomous Agents and Multi-Agent Systems
We propose a formalism to model and reason about reconfigurable multi-agent systems. In our formalism, agents interact and communicate in different modes so that they can pursue joint tasks; agents may dynamically synchronize, exchange data, adapt th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9c05d9fe25acf6231af78ecaebd84d9b
https://pubmed.ncbi.nlm.nih.gov/34776761
https://pubmed.ncbi.nlm.nih.gov/34776761
Autor:
Catherine H. Wilson, Matthew A. Clarke, Trevor D. Littlewood, Peter A. Kreuzaler, Elizabeth Brown, Roderik M. Kortlever, Nir Piterman, Gerard I. Evan, Jasmin Fisher
Publikováno v:
Proceedings of the National Academy of Sciences of the United States of America
Significance Breast cancer remains a leading cause for cancer-related mortality worldwide. All breast cancers, including the more difficult-to-treat, higher-grade, and triple-negative subtypes of breast cancer, exhibit strong genetic heterogeneity, w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::94e87c6487b09dcaf25f1e69245f2e5c
https://doi.org/10.1073/pnas.1903485116
https://doi.org/10.1073/pnas.1903485116