:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Ernst, Gidon, Fedyukovich, Grigory
Format:	Recurso digital
Langue:
Publié:	Zenodo 2025
Accès en ligne:	https://doi.org/10.5281/zenodo.16932462
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Weakest Precondition Calculus for Programs and Linear Temporal Specifications
par: Ernst, Gidon
Publié: (2026)

Exploring Behaviors of Hybrid Systems via the Voronoi Bias over Output Signals
par: Ernst, Gidon, et autres
Publié: (2024)

Space Explanations of Neural Network Classification
par: Labbaf, Faezeh, et autres
Publié: (2025)

SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks
par: Beyer, Dirk, et autres
Publié: (2025)

Path Types in Algebraic Type Theory
par: Awodey, Steve, et autres
Publié: (2026)

Data Insights as Data: Quick Overview and Exploration of Automated Data Insights
par: Wu, Shangxuan, et autres
Publié: (2025)

Stop-N-Go: Search-based Conflict Resolution for Motion Planning of Multiple Robotic Manipulators
par: Han, Gidon, et autres
Publié: (2024)

GATlab: Modeling and Programming with Generalized Algebraic Theories
par: Lynch, Owen, et autres
Publié: (2024)

Theory of Code Space: Do Code Agents Understand Software Architecture?
par: Sapunov, Grigory
Publié: (2026)

A Generalized Algebraic Theory for Type Theory with Explicit Universe Polymorphism
par: Bezem, Marc, et autres
Publié: (2026)

Universal Transformers Need Memory: Depth-State Trade-offs in Adaptive Recursive Reasoning
par: Sapunov, Grigory
Publié: (2026)

Heart Artifact Removal in Electrohysterography Measurements Using Algebraic Differentiators
par: Othmane, Amine, et autres
Publié: (2026)

Algebraic Type Theory, Part 1: Martin-Löf algebras
par: Awodey, Steve
Publié: (2025)

(Table 1) Radionuclide content in ODP Hole 108-658C
par: Adkins, Jess F, et autres
Publié: (2006)

An Unreasonably Quick Introduction to String Theory, Conformal Field Theory and Geometry
par: Aspinwall, Paul S.
Publié: (2024)

Obesity and Metabolic Syndrome Predict Polyneuropathy Over 5 Years in Recent‐Onset Type 2 Diabetes and Normal Glucose Tolerance
par: Gundega Sipola, et autres
Publié: (2026)

Homogeneous Algebraic Complexity Theory and Algebraic Formulas
par: Dutta, Pranjal, et autres
Publié: (2023)

Representing Molecules with Algebraic Data Types: Beyond SMILES and SELFIES
par: Goldstein, Oliver, et autres
Publié: (2025)

On-demand Quick Metasurface Design with Neighborhood Attention Transformer
par: Sun, Zhi, et autres
Publié: (2024)

Algebraic Graph Theory
par: Salarian, M Reza
Publié: (2026)

Algebraic Presentations of Type Dependency
par: Ahrens, Benedikt, et autres
Publié: (2021)

SimdQuickHeap: The QuickHeap Reconsidered
par: Breitling, Johannes, et autres
Publié: (2026)

Behind the Myth of Exploration in Policy Gradients
par: Bolland, Adrien, et autres
Publié: (2024)

Berry-Esseen Theorem for Sample Quantiles with Locally Dependent Data
par: Dey, Partha S., et autres
Publié: (2022)

Nominal Algebraic-Coalgebraic Data Types, with Applications to Infinitary Lambda-Calculi
par: Cerda, Rémy
Publié: (2025)

Transformational and Transactional Leadership: An Exploration of Gender, Experience, and Institution Type
par: Martin, Jason
Publié: (2015)

Equivariant Algebraic K-Theories
par: Yau, Donald
Publié: (2025)

Algebraic Language Theory with Effects
par: Lenke, Fabian, et autres
Publié: (2024)

Remarks on Algebraic Reconstruction of Types and Effects
par: Balik, Patrycja, et autres
Publié: (2026)

Inference in partially identified moment models via regularized optimal transport
par: Franguridi, Grigory, et autres
Publié: (2025)

Scalable Distributed Stochastic Optimization via Bidirectional Compression: Beyond Pessimistic Limits
par: Begunov, Grigory, et autres
Publié: (2026)

Quick Guides for Use of the CompOSE Data Base
par: Dexheimer, Veronica, et autres
Publié: (2023)

Maximum-Entropy Exploration with Future State-Action Visitation Measures
par: Bolland, Adrien, et autres
Publié: (2026)

An Incremental Algorithm for Algebraic Program Analysis
par: Zhou, Chenyu, et autres
Publié: (2024)

SEPE-SQED: Symbolic Quick Error Detection by Semantically Equivalent Program Execution
par: Li, Yufeng, et autres
Publié: (2024)

Euclid Quick Data Release (Q1) -- Data release overview
par: Euclid Collaboration, et autres
Publié: (2025)

G-Global Homotopy Theory and Algebraic K-Theory
par: Lenz, Tobias
Publié: (2020)

Computing Connection Matrices of Conley Complexes via Algebraic Morse Theory
par: Torras-Casas, Álvaro, et autres
Publié: (2025)

Rings and Boolean Algebras as Algebraic Theories
par: De Faveri, Arturo
Publié: (2025)

Multifunctorial Equivariant Algebraic K-Theory
par: Yau, Donald
Publié: (2024)