„infinite-state“

Suchergebnisse

1.000+ Treffer

• Inside Back Cover: Infinite Polyiodide Chains in the Pyrroloperylene–Iodine Complex: Insights into the Starch–Iodine and Perylene–Iodine Complexes (Angew. Chem. Int. Ed. 28/2016)
  Madhu, Sheri ; Evans, Hayden A. ; Doan‐Nguyen, Vicky V. T. ; Labram, John G. ; Wu, Guang ; Chabinyc, Michael L. ; Seshadri, Ram ; Wudl, Fred
• New Lithium‐Containing Pnictides with 1‐D Infinite Chains of Supertetrahedral Clusters: Synthesis, Crystal and Electronic Structure of Ba 4 Li 2 Cd 3 Pn 6 (Pn = P, As and Sb) (Eur. J. Inorg. Chem. 30/2014)
  Makongo, Julien P. A. ; You, Tae‐Soo ; He, Hua ; Suen, Nian‐Tzu ; Bobev, Svilen
• Electronic Interface States in Coupled Semi‐Infinite Semiconductor Superlattices
  Shen, Ming‐Rong ; Shen, Wen‐Zhong ; Li, Zhen‐Ya
• Ca 2 AuN: A Nitride Containing Infinite Zigzag Gold Chains
  Henry, Paul F. ; Weller, Mark T.
• Infinite Polyiodide Chains in the Pyrroloperylene–Iodine Complex: Insights into the Starch–Iodine and Perylene–Iodine Complexes
  Madhu, Sheri ; Evans, Hayden A. ; Doan‐Nguyen, Vicky V. T. ; Labram, John G. ; Wu, Guang ; Chabinyc, Michael L. ; Seshadri, Ram ; Wudl, Fred
• Bistable Solid‐State Fluorescence Switching in Photoluminescent, Infinite Coordination Polymers
  Kim, Jincheol ; You, Youngmin ; Yoon, Seong‐Jun ; Kim, Jong H. ; Kang, Boseok ; Park, Sang Kyu ; Whang, Dong Ryeol ; Seo, Jangwon ; Cho, Kilwon ; Park, Soo Young
• Design of delay-dependent state estimator for discrete-time recurrent neural networks with interval discrete and infinite-distributed time-varying delays
  Liao, Chin-Wen ; Lu, Chien-Yu
• Revision and extension of a COSMO-RS based model for electrolyte systems: from infinite dilution to the fused salt state
  González de Castilla, Andrés ; Smirnova, Irina 2025 Technische Universität Hamburg. Universitätsbibliothek
• Partitions of unity in Sobolev spaces over infinite dimensional state spaces
  Albeverio, Sergio ; Ma, Zhi-Ming ; Röckner, Michael 1995 Sonderforschungsbereich 343
• On phase-space representations of spin systems and their relations to infinite-dimensional quantum states
  Koczor, Bálint ; Glaser, Steffen J. ; Reif, Bernd ; De Gosson, Maurice A. 2019 Universitätsbibliothek der TU München
• Input-to-state stability of infinite-dimensional control systems
  Mironchenko, Andrii ; Dashkovskiy, Sergey ; Wirth, Fabian 2012 Staats- und Universitätsbibliothek Bremen
• Verification of infinite-state graph transformation systems via abstraction
  Steenken, Dominik 2015 Universitätsbibliothek
• Synthesis and control of infinite-state systems with partial observability
  Dimitrova, Rayna ; Finkbeiner, Bernd 2014 Saarländische Universitäts- und Landesbibliothek
• A uniform constraint-based framework for the verification of infinite state systems
  Mukhopadhyay, Supratik
• Automatic verification of sequential infinite state processes
  Burkart, Olaf 1999 Springer
• On the mechanized validation of infinite-state and parameterized reactive and mobile systems
  Röckl, Christine
• Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions
  D'Osualdo, Emanuele ; Stutz, Felix 2020 KOPS Universität Konstanz
• Constraint-based abstraction of a model checker for infinite state systems
  Banda, Gourinath ; Gallagher, John P. 2010 Universität Potsdam
• A livelock freedom analysis for infinite state asynchronous reactive systems
  Leue, Stefan ; Ştefănescu, Alin ; Wei, Wei 2013 Bibliothek der Universität Konstanz
• Towards Infinite-State Symbolic Model Checking for B and Event-B
  Krings, Sebastian ; Leuschel, Michael 2017 Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf