:: Library Catalog

Uloženo v:

Podrobná bibliografie
Hlavní autor:	m
Médium:	Recurso digital
Jazyk:
Vydáno:	Zenodo 2025
On-line přístup:	https://doi.org/10.5281/zenodo.17832190
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Formal Verification of Digital Twins with TLA and Information Leakage Control
Autor: Huang, Luwen, a další
Vydáno: (2024)

THE SABRINAL-ELRAKHAWI CODEX OF SYSTEMIC COHERENCE A Foundational Framework for Human-Technological-Ecological Co-Evolution
Autor: elrakhawi, m
Vydáno: (2026)

Golden Duck
Autor: 248m
Vydáno: (2021)

Cosmic Genesis and Thermal Energy
Autor: hasan, m. nahid
Vydáno: (2025)

diseñar un espacio para voces reflexivas. relacionar el ethos del zine con la indagación filosófica dirigida por jóvenes
Autor: natalie m. fletcher
Vydáno: (2016)

Christus Anapeson
Autor: Studer-Karlen, m
Vydáno: (2024)

T-RBFT: A Scalable and Efficient Byzantine Consensus Based on Trusted Execution Environment for Consortium Blockchain
Autor: Gao, Wen, a další
Vydáno: (2026)

Towards Language Model Guided TLA+ Proof Automation
Autor: Zhou, Yuhao, a další
Vydáno: (2025)

Validating Traces of Distributed Programs Against TLA+ Specifications
Autor: Cirstea, Horatiu, a další
Vydáno: (2024)

CDCL is a Collapse Chain: A Formal Equivalence Between Conflict-Driven Clause Learning and Irreversible Uncertainty Reduction
Autor: Rao, Huiying
Vydáno: (2026)

Addendum IV: Irreversibility, Legitimacy Erosion, and Collapse Dynamics
Autor: Vladimir, Telehanič
Vydáno: (2026)

Russell's Paradox and the End of All Mathematics: A Formal Proof of Total Inconsistency in Naive Set Theory and the Irreversibility of Foundational Collapse
Autor: Aguilera Katayama, Kaoru, a další
Vydáno: (2026)

TLA: Tactile-Language-Action Model for Contact-Rich Manipulation
Autor: Hao, Peng, a další
Vydáno: (2025)

TraceFix: Repairing Agent Coordination Protocols with TLA+ Counterexamples
Autor: Xia, Shuren, a další
Vydáno: (2026)

A Systematic Literature Review on a Decade of Industrial TLA+ Practice
Autor: Bögli, Roman, a další
Vydáno: (2024)

ModelWisdom: An Integrated Toolkit for TLA+ Model Visualization, Digest and Repair
Autor: Chen, Zhiyong, a další
Vydáno: (2026)

IMPROVING BLAST RESISTANCE OF HIGHWAY BRIDGES BY USING FRP
Autor: Yuxin Pan, a další
Vydáno: (2013)

A Black-Hole Excision Scheme for General Relativistic Core-Collapse Supernova Simulations
Autor: Sykes, B., a další
Vydáno: (2022)

WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+
Autor: Läufer, Konstantin, a další
Vydáno: (2024)

Relativistic Collapse Model with Quantised Time Variables
Autor: Bedingham, Daniel J., a další
Vydáno: (2025)

The Quantum Collapse as Structural Transition: From Superposition to Irreversibility via ∆Ω > Ω†
Autor: Bini, Patrick
Vydáno: (2025)

Replacement of a Congenital Missing Lateral Incisor Using a Flapless Implant: A Case Report
Autor: Maher m. Jwaid, a další
Vydáno: (2025)

20210718ikutajinja shrine
Autor: h26m11d15
Vydáno: (2021)

YOLO-TLA: An Efficient and Lightweight Small Object Detection Model based on YOLOv5
Autor: Ji, Chun-Lin, a další
Vydáno: (2024)

Swarms on Stage: Swarm Simulations for Dance Performance
Autor: Bisig, Daniel, a další
Vydáno: (2009)

COBALT-TLA: A Neuro-Symbolic Verification Loop for Cross-Chain Bridge Vulnerability Discovery
Autor: Blain, Dominik
Vydáno: (2026)

La sedación: una herramienta indispensable para muchos procedimientos
Autor: Mohammad Hasan Abed Raduan
Vydáno: (2004)

¿A quién corresponde?
Autor: Mohammad Hasan Abed Raduan
Vydáno: (2004)

Symbolic Collapse Integrations and Formal Rebuttals: Contributions to Recursive Collapse Field Theory (RCFT)
Autor: Paulus, Clement
Vydáno: (2025)

$νp$-process in Core-Collapse Supernovae: Imprints of General Relativistic Effects
Autor: Friedland, Alexander, a další
Vydáno: (2025)

AN ADAPTIVE METHODOLOGY FOR EFFICIENT MODELLING OF ARBITRARY DELAMINATIONS DURING CRASH SIMULATIONS
Autor: Johannes Fr�mby, a další
Vydáno: (2019)

NUMERICAL STUDY OF THE 3D-FLOW CHARACTERISTICS DURING COMPRESSION MOULDING OF SMC
Autor: Gustaf Alnersson, a další
Vydáno: (2019)

Spin Tetrad Formalism Of Circular Polarization States In Relativistic Jets
Autor: Gamble Jr, Ronald S.
Vydáno: (2022)

The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction
Autor: Abioye, Ayodeji O., a další
Vydáno: (2024)

Epistemic Fabric: A Formal Topological Solution to the Goodhart Collapse
Autor: Yalcinkaya, Erkan
Vydáno: (2026)

Exploring the role of sample thickness for hyperspectral microscopy tissue discrimination through Monte Carlo simulations
Autor: Quintana-quintana, Laura, a další
Vydáno: (2025)

Irreversibility and randomness
Autor: Dekkers, Nino, a další
Vydáno: (2025)

Nonequilibrium and Irreversibility
Autor: Gallavotti, Giovanni
Vydáno: (2025)

Towards a Formal Specification for Self-organized Shape Formation in Swarm Robotics
Autor: Darr, YR, a další
Vydáno: (2025)

From Computation to Irreversibility: Why AI Cannot Replace Judgment
Autor: Xu, Lucas Xiaochun
Vydáno: (2026)