:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Kovalevych, Maksym Alekseevich
Format:	Recurso digital
Language:
Published:	Zenodo 2026
Online Access:	https://doi.org/10.5281/zenodo.18472524
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Photonic Catechon v6.0: Sub-Cycle Optical Matrix Specification
by: Kovalevych, Maksym Alekseevich
Published: (2026)

The Omega-Class Architecture (v7.0): Photonic Zeno-Containment, Topological Armor, and Sub-Cycle Direct Energy Conversion
by: Kovalevych, Maksym Alekseevich
Published: (2026)

Modulation of K-waves and cycles of global GDP per capita (1961–2024) by GCR extremes (1959–2022): R2=0.94 and R2=0.92
by: Belkin, Vladimir Alekseevich
Published: (2026)

The Technology of Homogeneous Scar Tissue Creating as a Result of Ablation of the Atrial Wall with a Radiofrequency Bipolar Clamp: an Experimental and Clinical Study
by: Sergey Alekseevich Vachev
Published: (2023)

Materialismo dialéctico / G. Kursanov
by: Kursanov, Georgii Alekseevich
Published: (1975)

LucIDix Platform™ – Fail-Safe, Logic-Gated Biotherapeutic Computers for Autonomous Precision Medicine
by: Taheri Kal-Koshvandi, Afsaneh
Published: (2025)

LucIDix Platform™ – Fail-Safe, Logic-Gated Biotherapeutic Computers for Autonomous Precision Medicine
by: Taheri Kal-Koshvandi, Afsaneh
Published: (2025)

The Fail-Safe Micro Research Paper.
by: Saunders, Mary Anne
Published: (1986)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
by: Kapoor, Parv, et al.
Published: (2024)

Scaling Safe Multi-Agent Control for Signal Temporal Logic Specifications
by: Eappen, Joe, et al.
Published: (2025)

FailSafe: High-performance Resilient Serving
by: Xu, Ziyi, et al.
Published: (2025)

Evolving Layer-Specific Scalar Functions for Hardware-Aware Transformer Adaptation
by: Carrigg, Kieran, et al.
Published: (2026)

Improving the Thermoelectric Properties of Conjugated Polymer Thin Films by Dip Coating – but not through Alignment
by: Morteza Shokrani, et al.
Published: (2024)

Temporal Logic Specification-Conditioned Decision Transformer for Offline Safe Reinforcement Learning
by: Guo, Zijian, et al.
Published: (2024)

FailSafeChain – Autonomer Notabschaltstandard mit Blockchain-Logging
by: Dinc, Fatih
Published: (2025)

Expect the Unexpected: FailSafe Long Context QA for Finance
by: Kamble, Kiran, et al.
Published: (2025)

Coordination as an Architectural Layer for LLM-Based Multi-Agent Systems
by: Nechepurenko, Maksym, et al.
Published: (2026)

Barkhausen noise in the organic ferroelectric copolymer P(VDF:TrFE)
by: Butkevich, Andrey Alekseevich, et al.
Published: (2024)

Ontology-Driven Robotic Specification Synthesis
by: Figat, Maksym, et al.
Published: (2026)

Cage: Hardware-Accelerated Safe WebAssembly
by: Fink, Martin, et al.
Published: (2024)

Tips and Tricks for Hardware Removal and Allograft Fixation After a Failed Latarjet Procedure
by: Mikalyn T. DeFoor, et al.
Published: (2026)

FailSafe: Reasoning and Recovery from Failures in Vision-Language-Action Models
by: Lin, Zijun, et al.
Published: (2025)

Löb-Safe Logics for Reflective Agents
by: Ahrenbach, Seth
Published: (2024)

Barkhausen noise in the columnar hexagonal organic ferroelectric BTA
by: Butkevich, Andrey Alekseevich, et al.
Published: (2024)

Weakening Goals in Logical Specifications
by: Andrew, Ben M.
Published: (2025)

Stabilizers for Compiling Logical Circuits under Hardware Constraints
by: Weinberg, Jack, et al.
Published: (2026)

Logic Solver Guided Directed Fuzzing for Hardware Designs
by: Saravanan, Raghul, et al.
Published: (2025)

Automated Hardware Logic Obfuscation Framework Using GPT
by: Latibari, Banafsheh Saber, et al.
Published: (2024)

The Mechanistic Invariance Test: Genomic Language Models Fail to Learn Positional Regulatory Logic
by: Cheng, Bryan, et al.
Published: (2026)

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
by: Park, Sewon, et al.
Published: (2016)

Layer-wise Linear Mode Connectivity
by: Adilova, Linara, et al.
Published: (2023)

CCSS: Hardware-Accelerated RTL Simulation with Fast Combinational Logic Computing and Sequential Logic Synchronization
by: Feng, Weigang, et al.
Published: (2025)

Secondary radioactive contamination of the Black Sea: New evidence from plutonium vertical distribution in its deep bottom sediments.
by: Proskurnin, Vladislav Yurievich, et al.
Published: (2025)

Low‐carbon pyrolysis of vacuum gas oil by non‐thermal plasma
by: Evgeniy Yurevich Titov, et al.
Published: (2024)

Agentic Separation Logic Specification Synthesis
by: Suresh, Tarun, et al.
Published: (2026)

Relational Hoare Logic for High-Level Synthesis of Hardware Accelerators
by: Tanaka, Izumi, et al.
Published: (2026)

An Application of Fuzzy Logic for Hardware/Software Partitioning in Embedded Systems
by: Humberto Díaz Pando
Published: (2013)

Logical Maneuvers: Detecting and Mitigating Adversarial Hardware Faults in Space
by: Dana, Fatemeh Khojasteh, et al.
Published: (2025)

Integrating Legal and Logical Specifications in Perception, Prediction, and Planning for Automated Driving: A Survey of Methods
by: Manas, Kumar, et al.
Published: (2025)

Predicting User Experience on Laptops from Hardware Specifications
by: Padhi, Saswat, et al.
Published: (2024)