:: Library Catalog

Cover Image

Saved in:

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

Similar Items

【英語版タイトル】 Gamma Theory v150-2/3: Dimensional Analysis, Observational Protocols, and Empirical Feasibility of Hierarchical Unified Theory
by: EBIHARA, GOU
Published: (2026)

Gamma Theory v200-EX_3: Geometric Complete Description of Subjective-Existence Mapping and the Discovery of Existence
by: EBIHARA, GOU
Published: (2026)

FK-v2: Unified Formulation of Life Mapping and Social Emotions — Foundations of Biomimetic Control Engineering Based on Gamma Theory
by: EBIHARA, GOU
Published: (2026)

{ "タイトル(英語版)": "Gamma Theory v200-EX_5: Complete Description of Black Holes via Subjective-Existence Mathematical Mapping" }
by: EBIHARA, GOU
Published: (2026)

Formalization of Amicable Numbers Theory
by: Chen, Zhipeng, et al.
Published: (2026)

Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda
by: Brough, Jackson
Published: (2026)

Formal Verification of the Empty Hexagon Number
by: Subercaseaux, Bernardo, et al.
Published: (2024)

The Gamma-Switch Ramsey Number
by: Duffy, Christopher, et al.
Published: (2026)

The Artifact of TEE Formal Specification and Analysis
by: Yu, Geunyeol
Published: (2026)

Validating the Formal Specification of the THUNDERS Process
by: Vanessa Agredo-Delgado
Published: (2023)

Betti Numbers and Formal Local Cohomology Modules
by: Sadeqi, Behruz
Published: (2025)

Enhancing Formal Software Specification with Artificial Intelligence
by: Nassar, Antonio Abu, et al.
Published: (2026)

WEX: Formal Specifications for Windows in Stream Processing
by: Hitarth, S, et al.
Published: (2022)

On The Expressivity of Objective-Specification Formalisms in Reinforcement Learning
by: Subramani, Rohan, et al.
Published: (2023)

Interactive Formal Specification for Mathematical Problems of Engineers
by: Neuper, Walther
Published: (2024)

FLAG: Formal and LLM-assisted SVA Generation for Formal Specifications of On-Chip Communication Protocols
by: Shih, Yu-An, et al.
Published: (2025)

FormalSpecCpp: A Dataset of C++ Formal Specifications created using LLMs
by: Chakraborty, Madhurima, et al.
Published: (2025)

What is Formal Verification without Specifications? A Survey on mining LTL Specifications
by: Neider, Daniel, et al.
Published: (2025)

Formal Theory at ICHEP 2024
by: Schafer-Nameki, Sakura
Published: (2024)

The Formal Theory of Monads, Univalently
by: van der Weide, Niels
Published: (2022)

Validating Formal Specifications with LLM-generated Test Cases
by: Cunha, Alcino, et al.
Published: (2025)

Learning Formal Specifications from Membership and Preference Queries
by: Shah, Ameesh, et al.
Published: (2023)

Alice a Bruxelles
by: Caracchini, Cristina
Published: (2024)

Formalizing Gröbner Basis Theory in Lean
by: Guo, Junyu, et al.
Published: (2026)

A Theory of Formalisms for Representing Knowledge
by: Zhang, Heng, et al.
Published: (2024)

Formal Model Theory & Higher Topology
by: Di Liberti, Ivan
Published: (2020)

A Theory of Formal Choreographic Languages
by: Barbanera, Franco, et al.
Published: (2022)

Towards Formalizing Reinforcement Learning Theory
by: Zhang, Shangtong
Published: (2025)

Spectral Number Theory
by: Loiseau, Robert
Published: (2025)

Number Theory in OSCAR
by: Fieker, Claus, et al.
Published: (2024)

Neoproterozoic Overprinting on the Archean Western Dharwar Craton, Southern India: Records from LA‐ICP‐MS U‐Pb Geochronology of Rutile and Monazite
by: Yuhua HU, et al.
Published: (2025)

Ca. 2.85 Ga Magmatism in the Central Dharwar Block, India: Petrogenesis and Geological Implications
by: Yuhua HU, et al.
Published: (2025)

Formalisms for Robotic Mission Specification and Execution: A Comparative Analysis
by: Filippone, Gianluca, et al.
Published: (2026)

Intent-aligned Formal Specification Synthesis via Traceable Refinement
by: Ye, Zhe, et al.
Published: (2026)

An Agile Formal Specification Language Design Based on K Framework
by: Zhang, Jianyu, et al.
Published: (2024)

Specification and Verification for Climate Modeling: Formalization Leading to Impactful Tooling
by: Altuntas, Alper, et al.
Published: (2025)

It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
by: Basin, David, et al.
Published: (2025)

An Implementation of the Task Algebra, a Formal Specification for the Task Model in the Discovery Method
by: C. A. Fernández-Fernández
Published: (2014)

Towards a Formal Specification for Self-organized Shape Formation in Swarm Robotics
by: Darr, YR, et al.
Published: (2025)

The Formal Semantics and Implementation of a Domain-Specific Language for Mixed-Initiative Dialogs
by: Rowland, Zachary S., et al.
Published: (2025)