:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Schuppers, Delája
Format:	Recurso digital
Language:	English
Published:	Zenodo 2026
Subjects:	Universe dimensions 0D 1D 2D 3D 4D Time number theory Uniphied Realativity
Online Access:	https://doi.org/10.5281/zenodo.19959392
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

THE FALSIFICATION OF BOHR'S STRUCTURELESS QUANTA
by: Schuppers, Delaja
Published: (2026)

Scalable and Secure AI Inference in Healthcare: A Comparative Benchmarking of FastAPI and Triton Inference Server on Kubernetes
by: Ali, Ratul
Published: (2026)

The Two Boundaries: Why Behavioral AI Governance Fails Structurally
by: McCann, Alan L.
Published: (2026)

HQP: Sensitivity-Aware Hybrid Quantization and Pruning for Ultra-Low-Latency Edge AI Inference
by: Gopalan, Dinesh, et al.
Published: (2026)

PyPackIT: Automated Research Software Engineering for Scientific Python Applications on GitHub
by: Ariamajd, Armin, et al.
Published: (2025)

Good modelling software practices
by: Lemmen, Carsten, et al.
Published: (2024)

Mechanized Foundations of Structural Governance: Machine-Checked Proofs for Governed Intelligence
by: McCann, Alan L.
Published: (2026)

Governed Metaprogramming for Intelligent Systems: Reclassifying Eval as a Governed Effect
by: McCann, Alan L.
Published: (2026)

Source Code Protection for Applications Written in Microsoft Excel and Google Spreadsheet
by: Grossman, Thomas A.
Published: (2008)

Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description)
by: Kratz, Maximilian, et al.
Published: (2025)

Graph-Based Specification and Automated Construction of ILP Problems
by: Ehmes, Sebastian, et al.
Published: (2022)

Automatic Generation of Combinatorial Reoptimisation Problem Specifications: A Vision
by: Kratz, Maximilian, et al.
Published: (2025)

PoCL-R: An Open Standard Based Offloading Layer for Heterogeneous Multi-Access Edge Computing with Server Side Scalability
by: Solanti, Jan, et al.
Published: (2023)

Dopamina E Receptores
by: Maria Fernanda Estevinho
Published: (2003)

Myriad People Open Source Software for New Media Arts
by: Baudry, Benoit, et al.
Published: (2025)

Hydrographic measurements in the Northern Benguela upwelling system during the cruise Discovery D356
by: Mohrholz, Volker
Published: (2012)

Meta-Monomorphizing Specializations
by: Bruzzone, Federico, et al.
Published: (2026)

Investigating the Energy Consumption of C++ and Java Solutions Mined from a Programming Contest Site
by: de Medeiros, Sérgio Queiroz, et al.
Published: (2024)

Constrained LTL Specification Learning from Examples
by: Zhang, Changjian, et al.
Published: (2024)

The pitfalls of verifying floating-point computations
by: Monniaux, David
Published: (2007)

Grounded Language Design for Lightweight Diagramming for Formal Methods
by: Prasad, Siddhartha, et al.
Published: (2024)

Conversational Concurrency
by: Garnock-Jones, Tony
Published: (2024)

Baking for Dafny: A CakeML Backend for Dafny
by: Nezamabadi, Daniel, et al.
Published: (2025)

Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations
by: Beg, Arshad, et al.
Published: (2026)

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
by: Beg, Arshad, et al.
Published: (2025)

A Short Survey on Formalising Software Requirements using Large Language Models
by: Beg, Arshad, et al.
Published: (2025)

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
by: Suwa, Takashi, et al.
Published: (2026)

Modal Verification Patterns for Systems Software
by: Kuru, Ismail, et al.
Published: (2025)

A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
by: Heuvel, Bas van den, et al.
Published: (2024)

Spreadsheet Engineering: A Research Framework
by: Grossman, Thomas A.
Published: (2007)

Cryptographic Registry Provenance: Structural Defense Against Dependency Confusion in AI Package Ecosystems
by: McCann, Alan L.
Published: (2026)

Certified Purity for Cognitive Workflow Executors: From Static Analysis to Cryptographic Attestation
by: McCann, Alan L.
Published: (2026)

Unveiling Ruby: Insights from Stack Overflow and Developer Survey
by: Akbarpour, Nikta, et al.
Published: (2025)

Verified VCG and Verified Compiler for Dafny
by: Nezamabadi, Daniel, et al.
Published: (2025)

Code Generation for Machine Learning using Model-Driven Engineering and SysML
by: Raedler, Simon, et al.
Published: (2023)

Prioritizing Configuration Relevance via Compiler-Based Refined Feature Ranking
by: Bruzzone, Federico, et al.
Published: (2026)

Code Review as Decision-Making -- Building a Cognitive Model from the Questions Asked During Code Review
by: Heander, Lo Gullstrand, et al.
Published: (2025)

Close is Good Enough: Component-Based Synthesis Modulo Logical Similarity
by: Mishra, Ashish, et al.
Published: (2025)

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
by: Beg, Arshad, et al.
Published: (2026)

Evaluating LLM-Generated ACSL Annotations for Formal Verification
by: Beg, Arshad, et al.
Published: (2026)