„population protocols“

Suchergebnisse

1.000+ Treffer

• Loosely-Stabilizing Leader Election on Arbitrary Graphs in Population Protocols Without Identifiers nor Random Numbers
  Sudo, Yuichi ; Ooshita, Fukuhito ; Kakugawa, Hirotsugu ; Masuzawa, Toshimitsu 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Development and worldwide use of non-lethal, and minimal population-level impact, protocols for the isolation of amphibian chytrid fungi
  Fisher, Matthew C. ; Ghosh, Pria ; Shelton, Jennifer M. G. ; Bates, Kieran ; Brookes, Lola ; Wierzbicki, Claudia ; Rosa, Gonçalo M. ; Farrer, Rhys A. ; Aanensen, David M. ; Alvarado-Rybak, Mario ; Bataille, Arnaud ; Berger, Lee ; Böll, Susanne ; Bosch, Jaime ; Clare, Frances C. ; Courtois, Elodie A. ; Crottini, Angelica ; Cunningham, Andrew A. ; Doherty-Bone, Thomas M. ; Gebresenbet, Fikirte ; Gower, David J. ; Höglund, Jacob ; James, Timothy Y. ; Jenkinson, Thomas S. ; Kosch, Tiffany A. ; Lambertini, Ca
• Model Checking Population Protocols
  Esparza, Javier ; Ganty, Pierre ; Leroux, Jérôme ; Majumdar, Rupak 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Population Protocols with Unordered Data
  Blondin, Michael ; Ladouceur, François 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Succinct Population Protocols for Presburger Arithmetic
  Blondin, Michael ; Esparza, Javier ; Genest, Blaise ; Helfrich, Martin ; Jaax, Stefan 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Automatic Analysis of Expected Termination Time for Population Protocols
  Blondin, Michael ; Esparza, Javier ; Kučera, Antonín 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards efficient verification of population protocols
  Blondin, Michael ; Esparza, Javier ; Jaax, Stefan ; Meyer, Philipp J.
• Evaluation of integrated care services in Catalonia: population-based and service-based real-life deployment protocols
  Baltaxe, Erik ; Cano, Isaac ; Herranz, Carmen ; Barberan-Garcia, Anael ; Hernandez, Carme ; Alonso, Albert ; Arguis, María José ; Bescos, Cristina ; Burgos, Felip ; Cleries, Montserrat ; Contel, Joan Carles ; de Batlle, Jordi ; Islam, Kamrul ; Kaye, Rachelle ; Lahr, Maarten ; Martinez-Palli, Graciela ; Miralles, Felip ; Moharra, Montserrat ; Monterde, David ; Piera, Jordi ; Ríos, José ; Rodriguez, Nuria ; Ron, Reut ; Rutten-van Mölken, Maureen ; Salas, Tomas ; Santaeugenia, Sebastià ; Schonenberg, Hel
• Brief Announcement: Exact Size Counting in Uniform Population Protocols in Nearly Logarithmic Time
  Doty, David ; Eftekhari, Mahsa ; Michail, Othon ; Spirakis, Paul G. ; Theofilatos, Michail 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Optimization and impact of sensitivity mode on abbreviated scan protocols with population-based input function for parametric imaging of [18F]-FDG for a long axial FOV PET scanner
  Lan, W. ; Sari, H. ; Rominger, A. ; Fougère, C. la ; Schmidt, F. P.
• Verification of Immediate Observation Population Protocols
  Esparza, Javier ; Ganty, Pierre ; Majumdar, Rupak ; Weil-Kennedy, Chana 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Efficient Analysis of Population Protocols and Chemical Reaction Networks
  Helfrich, Martin ; Esparza Estaun, Francisco Javier ; Meyer, Roland ; Seidl, Helmut 2023 Universitätsbibliothek der TU München
• Population Protocols: Expressiveness, Succinctness and Automatic Verification.
  Jaax, Stefan ; Esparza Estaun, Francisco Javier ; Majumdar, Rupak 2020 Universitätsbibliothek der TU München
• Computational Limits of Population Protocols: Space Complexity, Robustness and Expressive Power
  Czerner, Philipp ; Esparza Estaun, Francisco Javier ; Ouaknine, Joël ; Seidl, Helmut 2025 Universitätsbibliothek der TU München
• Dynamic size counting in the population protocol model
  Kaaser, Dominik ; Lohmann, Maximilian 2024 Technische Universität Hamburg. Universitätsbibliothek
• Anonymous Self-Stabilising Localisation via Spatial Population Protocols
  Gąsieniec, Leszek ; Kuszner, Łukasz ; Latif, Ehsan ; Parasuraman, Ramviyas ; Spirakis, Paul G. ; Stachowiak, Grzegorz 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Near-Optimal Leader Election in Population Protocols on Graphs
  Alistarh, Dan ; Rybicki, Joel ; Voitovych, Sasha
• Modeling of a population-based input function (PBIF) using the Feng model in dynamic ⁶⁸Ga-DOTATOC whole body PET/CT scans: feasibility of shortened imaging protocols on PET/CT Vision 600 system ®
  Godefroy, Thomas ; Pavoine, Mathieu ; Bourhis, David ; Le Pennec, Romain ; Kerleguer, Kevin ; Floch, Romain ; Salaün, Pierre-Yves ; Karakatsanis, Nicolas ; Thuillier, Philippe ; Abgral, Ronan
• Adipose-Derived Stem Cells – Methods and Protocols
  Gimble, Jeffrey M. ; Bunnell, Bruce A. ; Frazier, Trivia ; Sanchez, Cecilia 2024 Springer US, Imprint: Humana
• Stem Cells and Good Manufacturing Practices – Methods, Protocols, and Regulations
  2021 Springer US