„Logical time“

Suchergebnisse

1.000+ Treffer

• Space-Time Relationship and Golden Number φ – Harmony of the Universe measured with the Planck length
  Ognean, Teodor 2020 LAP LAMBERT Academic Publishing
• Multi-Batch Sequencing with Decentralized Control using Highest-Density Conveyor Networks
  Fleischmann, Julia Simone ; Furmans, Kai ; Fottner, Johannes 2023 KIT-Bibliothek
• Contributions to the Analysis of Qualitative Models of Regulatory Networks
  Klarner, Hannes 2015 Freie Universität Berlin
• Autonomic and Trusted Computing – 7th International Conference, ATC 2010, Xi’an, China, October 26-29, 2010. Proceedings
  Xie, Bing 2010 Springer Berlin Heidelberg
• Logical Time for Decentralized Control of Material Handling Systems
  Seibold, Zäzilia 2016 KIT Scientific Publishing
• Linear equation systems and the search for a logical characterisation of polynomial time
  Pakusa, Wied ; Grädel, Erich ; Otto, Martin ; Dawar, Anuj 2015 Universitätsbibliothek der RWTH Aachen
• Non-lexical pragmatics: Time, causality and logical words
  Assimakopoulos, Stavros
• Distensibility measurement in the selection of patients for endoscopic pyloromyotomy: promising and logical, but still not ready for prime time – Referring to Farooq A et al. doi: 10.1055/a-2619-4638
  Martinek, Jan
• Nuel Belnap on Indeterminism and Free Action
  Müller, Thomas 2014 Bibliothek der Universität Konstanz
• Reasoning about Rational, but not Logically Omniscient Agents
  Duc, Ho Ngoc 2018 Universitätsbibliothek Leipzig
• Nuel Belnap on Indeterminism and Free Action
  2014 Springer International Publishing
• Harmonic Analysis and Boundary Value Problems in the Complex Domain
  Djrbashian, M.M. 1993 Springer Basel
• Time and space in conceptual and logical semantics: the notion of Path
  VERKUYL, HENK ; ZWARTS, JOOST
• The logical structure of time according to the chapter on the Schematism
  Caimi,, Mario
• The Logical Execution Time Paradigm: New Perspectives for Multicore Systems (Dagstuhl Seminar 18092)
  Ernst, Rolf ; Kuntz, Stefan ; Quinton, Sophie ; Simons, Martin
• A General Logical Approach to Learning from Time Series (Invited Talk)
  Sciavicco, Guido 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Optimizing Per-Core Priorities to Minimize End-To-End Latencies
  Paladino, Francesco ; Biondi, Alessandro ; Bini, Enrico ; Pazzaglia, Paolo 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Graphical Proof Theory of Logical Time
  Acclavio, Matteo ; Horne, Ross ; Mauw, Sjouke ; Straßburger, Lutz 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Scheduling Replica Voting in Fixed-Priority Real-Time Systems
  Fara, Pietro ; Serra, Gabriele ; Biondi, Alessandro ; Donnarumma, Ciro 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Evaluation of the Age Latency of a Real-Time Communicating System Using the LET Paradigm
  Kordon, Alix Munier ; Tang, Ning 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik