Cover Image

The Mathematical Syntax of Architectures

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Strnadl, Christoph F.
Format:	Preprint
Published:	2020
Subjects:	Logic in Computer Science Information Theory D.2.11; F.4.m; C.2.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Nidus: Externalized Reasoning for AI-Assisted Engineering
by: Gorinevski, Danil
Published: (2026)

Comparing State-Representations for DEL Model Checking
by: Behnke, Gregor, et al.
Published: (2025)

Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems
by: Galimullin, Rustam, et al.
Published: (2025)

Coverage Games
by: Kupferman, Orna, et al.
Published: (2026)

Pramana: A Protocol-Layer Treatment of Claim Verification in Autonomous Agent Networks
by: Kadaboina, Ravi Kiran
Published: (2026)

Space-time process algebra with asynchronous communication
by: Bergstra, J. A., et al.
Published: (2024)

Consensus and Synchronization of Multi-agent Systems over Finite Fields -- Graph Topologies
by: Hengster-Movrić, Kristian, et al.
Published: (2026)

Federated Learning and AI Regulation in the European Union: Who is Responsible? -- An Interdisciplinary Analysis
by: Woisetschläger, Herbert, et al.
Published: (2024)

Varieties of Distributed Knowledge
by: Galimullin, Rustam, et al.
Published: (2025)

Deterministic and Reliable Software-Defined Vehicles: key building blocks, challenges, and vision
by: Teixeira, Pedro Veloso, et al.
Published: (2024)

A Super-Learner with Large Language Models for Medical Emergency Advising
by: Aityan, Sergey K., et al.
Published: (2025)

Structural Quality Gaps in Practitioner AI Governance Prompts: An Empirical Study Using a Five-Principle Evaluation Framework
by: Zietsman, Christo
Published: (2026)

(How) Do Large Language Models Understand High-Level Message Sequence Charts?
by: Mousavi, Mohammad Reza
Published: (2026)

Large Language Models for Agentic NetOps and AIOps: Architectures, Evaluation, and Safety
by: Bilal, Muhammad, et al.
Published: (2026)

Automated Energy Billing with Blockchain and the Prophet Forecasting Model: A Holistic Approach
by: Nadar, Ajesh Thangaraj, et al.
Published: (2025)

Teaching Complex Systems based on Microservices
by: Ferreira, Renato Cordeiro, et al.
Published: (2025)

Betting on what is neither verifiable nor falsifiable
by: Sudhir, Abhimanyu Pallavi, et al.
Published: (2024)

PRISM-Consult: A Panel-of-Experts Architecture for Clinician-Aligned Diagnosis
by: Levine, Lionel, et al.
Published: (2025)

Architectural Patterns for Designing Quantum Artificial Intelligence Systems
by: Klymenko, Mykhailo, et al.
Published: (2024)

A Complete Finitary Refinement Type System for Scott-Open Properties
by: Riba, Colin, et al.
Published: (2026)

GOL in GOL in HOL: Verified Circuits in Conway's Game of Life
by: Myreen, Magnus O., et al.
Published: (2025)

QuMeld: A Modular Framework for Benchmarking Qubit Mapping Algorithms
by: Keibas, Gabrielius, et al.
Published: (2026)

Dynamically Reprogrammable Runtime Monitors for Bounded-time MTL
by: Hebballi, Chirantan, et al.
Published: (2026)

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

Interpretable Context Methodology: Folder Structure as Agentic Architecture
by: Van Clief, Jake, et al.
Published: (2026)

Bounded Autonomy for Enterprise AI: Typed Action Contracts and Consumer-Side Execution
by: Sohail, Sarmad, et al.
Published: (2026)

Leibniz's Monadology as Foundation for the Artificial Age Score: A Formal Architecture for Al Memory Evaluation
by: Kayadibi, Seyma Yaman
Published: (2025)

Ontology-Constrained Neural Reasoning in Enterprise Agentic Systems: A Neurosymbolic Architecture for Domain-Grounded AI Agents
by: Tuan, Thanh Luong, et al.
Published: (2026)

Efficient Cloud-Edge-Device Query Execution Based on Collaborative Scan Operator
by: Zhao, Chunyu, et al.
Published: (2025)

Dormancy-aware timed branching bisimilarity, with an application to communication protocol analysis
by: Middelburg, C. A.
Published: (2021)

IACDM: Interactive Adversarial Convergence Development Methodology -- A Structured Framework for AI-Assisted Software Development
by: Moreira, Jasmine
Published: (2026)

Modelling Trust and Trusted Systems: A Category Theoretic Approach
by: Oliver, Ian, et al.
Published: (2026)

BACE: LLM-based Code Generation through Bayesian Anchored Co-Evolution of Code and Test Populations
by: Silva, Kaushitha, et al.
Published: (2026)

SLEGO: A Collaborative Data Analytics System with LLM Recommender for Diverse Users
by: Ng, Siu Lung, et al.
Published: (2024)

TokenCake: A KV-Cache-centric Serving Framework for LLM-based Multi-Agent Applications
by: Bian, Zhuohang, et al.
Published: (2025)

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

Fed-DLoRA: Efficient Wireless Federated Learning with Dynamic Low-Rank Adaptation
by: Li, Huaicheng, et al.
Published: (2026)

Decidable Reversible Equivalences for Finite Petri Nets
by: Gorrieri, Roberto, et al.
Published: (2025)

Adaptable TeaStore: A Choreographic Approach
by: De Palma, Giuseppe, et al.
Published: (2025)

Intelligent Data-Driven Architectural Features Orchestration for Network Slicing
by: Moreira, Rodrigo, et al.
Published: (2024)