KOINEU

Open Graphs and Monoidal Theories

본 논문은 그래픽 언어를 형식적으로 다루는 데 있어 두 가지 중요한 문제를 동시에 해결한다. 첫 번째는 그래프 구조 자체가 타입 시스템을 내포하도록 설계 하는 것이고, 두 번째는 그 타입 시스템이 재작성 과정에서 보존 된다는 점이다. 기존의 문자열 다이어그램은 시각적으로 직관적이지만, 수학적 기반이 부족해 자동화된 도구에 적용하기 어려웠다. 저자들은 오픈‑그래프라는 개념을 도입함으로써 변(edge)이 반드시 정점에 연결될 필요가 없도록 허용한다. 이는 입력·출력 포트를 자연스럽게 모델링할 수 있게 하며, 복합 연산을 구성할 때 “와

Open Graphs and Monoidal Theories

Open Questions about Time and Self-reference in Living Systems

Optimal charging guidance strategies for electric vehicles by considering dynamic charging requests in a time-varying road network

Optimal Control Strategies in Delayed Sharing Information Structures

Optimal excitation of two dimensional Holmboe instabilities

Optimal Gradient Clock Synchronization in Dynamic Networks

Optimizing and benchmarking the computation of the permanent of general matrices

Optimizing Freight Rail Electrification: A Framework for Charge Station Selection and Battery Charge/Swap Scheduling

Orbits of linear maps and regular languages

p-Norm Flow Optimization in a Network

PACIFIC: a framework for generating benchmarks to check Precise Automatically Checked Instruction Following In Code

PALQA: A Novel Parameterized Position-Aware Lossy Quantum Autoencoder using LSB Control Qubit for Efficient Image Compression

PANER: A Paraphrase-Augmented Framework for Low-Resource Named Entity Recognition

Parallel convolution processing using an integrated photonic tensor core

Parameter Calibration in Crowd Simulation Models using Approximate Bayesian Computation

Parts-of-Speech Tagger Errors Do Not Necessarily Degrade Accuracy in Extracting Information from Biomedical Text

PaTaRM: Bridging Pairwise and Pointwise Signals via Preference-Aware Task-Adaptive Reward Modeling

Perturbed Copula: Introducing the skew effect in the co-dependence

Physically consistent and uncertainty-aware learning of spatiotemporal dynamics

Physics-Aware Human-Object Rendering from Sparse Views via 3D Gaussian Splatting

PhysWorld: From Real Videos to World Models of Deformable Objects via Physics-Aware Demonstration Synthesis

PICBench: Benchmarking LLMs for Photonic Integrated Circuits Design

Pinpointing Cosmic Ray Propagation With The AMS-02 Experiment

Planning Fallacy or Hiding Hand: Which Is the Better Explanation?

Point systems in Games for Health: A bibliometric scoping study

Polarizabilities of Intermediate Sized Lithium Clusters From Density-Functional Theory

Policy Gradient-Based EMT-in-the-Loop Learning to Mitigate Sub-Synchronous Control Interactions

Post-Newtonian effects on Lagranges equilateral triangular solution for the three-body problem

Power-law Distributions in Information Science - Making the Case for Logarithmic Binning

PPMStereo: Pick-and-Play Memory Construction for Consistent Dynamic Stereo Matching

Practical, Utilitarian Algorithm Configuration

Precise Gradient Discontinuities in Neural Fields for Subspace Physics

Predicting Human Performance in Vertical Menu Selection Using Deep Learning

Preserving Location Privacy in Mobile Edge Computing

Preserving Privacy in Sequential Data Release against Background Knowledge Attacks

Pricing Financial Derivatives Subject to Counterparty Risk and Credit Value Adjustment

Probabilistic verification and evaluation of Backoff procedure of the WSN ECo-MAC protocol

Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models

ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings

Properties of Pseudo-Primitive Words and their Applications

Prudential Reliability of Large Language Models in Reinsurance: Governance, Assurance, and Capital Efficiency

Pushing BitTorrent Locality to the Limit

QAOA-PCA: Enhancing Efficiency in the Quantum Approximate Optimization Algorithm via Principal Component Analysis

Quadratic Direct Forecast for Training Multi-Step Time-Series Forecast Models

Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections

Quality Assurance of LLM-generated Code: Addressing Non-Functional Quality Characteristics

Quantifying Feature Importance for Online Content Moderation

Quantum Adiabatic Evolution for Global Optimization in Big Data

Quantum Circuit Design using a Progressive Widening Enhanced Monte Carlo Tree Search

Quantum query complexity of minor-closed graph properties

< Category Statistics (Total: 2829) >

Start searching

No results found