Type-, grade- and operationally-preserving translations show that linear-base and graded-base coeffect calculi express the same notions of context dependence.
Canonical reference
Title resolution pending
Canonical reference. 81% of citing Pith papers cite this work as background.
51
Pith papers citing it
Background
81% of classified citations
citation-role summary
background 13
baseline 2
dataset 1
citation-polarity summary
representative citing papers
SpikeTAD proposes the first SNN-based end-to-end TAD model, reporting 67.2% mAP on THUMOS14 and 37.42% on ActivityNet-1.3 with extremely low power consumption.
Infinite order-2 digital sequences over F_2 attain the optimal periodic L2-discrepancy bound of order C_d (log N)^{d/2}/N for all N except 1, improving prior order-5 constructions by reducing dimension from 5d to 2d.
DyNACO uses periodic observation of pheromone and incumbent solution for dynamic neural guidance in large-scale ACO, improving TSP and CVRP solvers with low overhead.
Caesar introduces a deductive verifier for probabilistic programs using the HeyVL language, Z3 SMT solving, and a probabilistic model-checking backend after five years of development.
Stationary solutions of SPDEs with locally monotone coefficients satisfy the Freidlin-Wentzell LDP, from which the LDP for invariant measures follows by contraction, covering reaction-diffusion, Burgers, Navier-Stokes, and MHD equations.
Flexible scintillator fibers with embedded SiPMs enable distributed real-time gamma radiation detection and can be woven into textiles with a tungsten braid boosting efficiency by ~20%.
Underapproximate types with symbolic traces guide synthesis of test generators that outperform defaults in property-based testing and model checking for effectful programs.
Introduces space-time controlled fields calculus for rough stochastic systems to unify composition rules and derive Itô-Wentzell-Alekseev-Gröbner identities.
Soteria is a functional library for building direct symbolic execution engines, demonstrated by the first Rust engine supporting Tree Borrows and a compositional C engine that matches or exceeds prior tools.
The symmetric Dyson exclusion process exhibits ballistic scaling and non-local hydrodynamics with current j[ρ] = (1/π) sin(πρ) sinh(π H ρ) where H is the Hilbert transform, equivalent to a local two-field system, with exact solutions for block initial states matching simulations.
Systematizes constant time models, identifies a specification gap in private key loading, and confirms timing leaks in OpenSSL and BoringSSL where BoringSSL leaks more strongly despite a stricter model.
Derives mean-field limit for continuous-strategy Prisoner's Dilemma on fast assortative networks, proving collapse to Dirac mass without noise and existence of linearly stable cooperative stationary distributions with noise.
Thin-shell wormholes in T-duality quantum-corrected regular spacetimes exhibit an intermediate-radius window of unconditional stability absent in the classical Schwarzschild case.
Stationary-entry flux yields exponential hitting laws for clumsy and careless non-monotone coupon collectors, with explicit asymptotic flux formulas replacing the usual Gumbel scale.
libwignernj is a new open-source library for exact evaluation of Wigner symbols, Clebsch-Gordan coefficients, and Gaunt coefficients using prime-factorization and exact rational arithmetic with multi-language bindings.
Defines recoverability maps via dense synthetic degradation sweeps and two summary metrics to show AI restoration recovers license plates from ~93% of extreme angle parameter space, with geometry rather than model architecture as the binding limit.
A broad empirical benchmark shows how 15 existing test selection metrics perform for fault detection, performance estimation, and retraining under corrupted, adversarial, temporal, natural, and label shifts across image, text, and Android data.
Fewer than d/2 errors in line sums can be corrected in discrete tomography, with the bound shown to be optimal.
Industrial DevOps applies continuous operation, observation, and development processes to integrate stakeholders, systems, and data in production environments, supported by the Titan platform in energy management and predictive maintenance scenarios.
A nested-domain volume-surface integral equation for the Helmholtz equation with heterogeneous density is derived and verified against BEM and FEM-BEM benchmarks.
The paper presents a threat model, taxonomy, and six-dimension measurement framework for AI sandboxes to clarify valid testing claims for safety, security, and regulatory assurance.
Provides a complete characterization of epimorphisms for universal hypergraphic automata via conditions on maps of state and output hypergraphs, after defining weak and strong epimorphisms that agree on p*-hypergraphs.
LLM assistance shortens idea-generation periods and reduces creative moments during programming tasks while yielding solutions with comparable idea counts and greater functional correctness.
citing papers explorer
-
Same Coeffect, Different Base: Connecting Two Dominant Approaches to Graded Types
Type-, grade- and operationally-preserving translations show that linear-base and graded-base coeffect calculi express the same notions of context dependence.
-
SpikeTAD: Spiking Neural Networks for End-to-End Temporal Action Detection
SpikeTAD proposes the first SNN-based end-to-end TAD model, reporting 67.2% mAP on THUMOS14 and 37.42% on ActivityNet-1.3 with extremely low power consumption.
-
Infinite sequences with optimal diaphony, periodic $L_2$-discrepancy, and beyond
Infinite order-2 digital sequences over F_2 attain the optimal periodic L2-discrepancy bound of order C_d (log N)^{d/2}/N for all N except 1, improving prior order-5 constructions by reducing dimension from 5d to 2d.
-
Beyond Static Priors: Dynamic Neural Guidance for Large-Scale Ant Colony Optimization
DyNACO uses periodic observation of pheromone and incumbent solution for dynamic neural guidance in large-scale ACO, improving TSP and CVRP solvers with low overhead.
-
Caesar: A Deductive Verifier for Probabilistic Programs
Caesar introduces a deductive verifier for probabilistic programs using the HeyVL language, Z3 SMT solving, and a probabilistic model-checking backend after five years of development.
-
Large deviation principles for the stationary solutions and invariant measures of a class of SPDE with locally monotone coefficients
Stationary solutions of SPDEs with locally monotone coefficients satisfy the Freidlin-Wentzell LDP, from which the LDP for invariant measures follows by contraction, covering reaction-diffusion, Burgers, Navier-Stokes, and MHD equations.
-
Single-Photon Sensitive Optoelectronic Fibres for Distributed Nuclear Radiation Detection in Textile Fabrics
Flexible scintillator fibers with embedded SiPMs enable distributed real-time gamma radiation detection and can be woven into textiles with a tungsten braid boosting efficiency by ~20%.
-
Trace-Guided Synthesis of Effectful Test Generators
Underapproximate types with symbolic traces guide synthesis of test generators that outperform defaults in property-based testing and model checking for effectful programs.
-
Controlled fields, rough stochastic calculus, and It\^o-Wentzell-Alekseev-Gr\"obner identities
Introduces space-time controlled fields calculus for rough stochastic systems to unify composition rules and derive Itô-Wentzell-Alekseev-Gröbner identities.
-
Soteria: Efficient Symbolic Execution as a Functional Library
Soteria is a functional library for building direct symbolic execution engines, demonstrated by the first Rust engine supporting Tree Borrows and a compositional C engine that matches or exceeds prior tools.
-
Emergent Hydrodynamics in an Exclusion Process with Long-Range Interactions
The symmetric Dyson exclusion process exhibits ballistic scaling and non-local hydrodynamics with current j[ρ] = (1/π) sin(πρ) sinh(π H ρ) where H is the Hilbert transform, equivalent to a local two-field system, with exact solutions for block initial states matching simulations.
-
SoK: The Constant Time Model
Systematizes constant time models, identifies a specification gap in private key loading, and confirms timing leaks in OpenSSL and BoringSSL where BoringSSL leaks more strongly despite a stricter model.
-
Mean-field imitation dynamics on fast assortative networks
Derives mean-field limit for continuous-strategy Prisoner's Dilemma on fast assortative networks, proving collapse to Dirac mass without noise and existence of linearly stable cooperative stationary distributions with noise.
-
Linearized stability of T-duality quantum-inspired thin-shell wormholes
Thin-shell wormholes in T-duality quantum-corrected regular spacetimes exhibit an intermediate-radius window of unconditional stability absent in the classical Schwarzschild case.
-
Clumsy and Careless: Stationary-Entry Flux in Non-monotone Coupon Collectors
Stationary-entry flux yields exponential hitting laws for clumsy and careless non-monotone coupon collectors, with explicit asymptotic flux formulas replacing the usual Gumbel scale.
-
libwignernj: a reusable C/C++/Fortran/Python library for exact Wigner symbols and related coefficients
libwignernj is a new open-source library for exact evaluation of Wigner symbols, Clebsch-Gordan coefficients, and Gaunt coefficients using prime-factorization and exact rational arithmetic with multi-language bindings.
-
Mapping License Plate Recoverability Under Extreme Viewing Angles for Opportunistic Urban Sensing
Defines recoverability maps via dense synthetic degradation sweeps and two summary metrics to show AI restoration recovers license plates from ~93% of extreme angle parameter space, with geometry rather than model architecture as the binding limit.
-
Empirical Insights of Test Selection Metrics under Multiple Testing Objectives and Distribution Shifts
A broad empirical benchmark shows how 15 existing test selection metrics perform for fault detection, performance estimation, and retraining under corrupted, adversarial, temporal, natural, and label shifts across image, text, and Android data.
-
Error Correction for Discrete Tomography
Fewer than d/2 errors in line sums can be corrected in discrete tomography, with the bound shown to be optimal.
-
Industrial DevOps
Industrial DevOps applies continuous operation, observation, and development processes to integrate stakeholders, systems, and data in production environments, supported by the Titan platform in energy management and predictive maintenance scenarios.
-
Nested Volume-Surface Integral Equations for Acoustics
A nested-domain volume-surface integral equation for the Helmholtz equation with heterogeneous density is derived and verified against BEM and FEM-BEM benchmarks.
-
AI Sandboxes: A Threat Model, Taxonomy, and Measurement Framework
The paper presents a threat model, taxonomy, and six-dimension measurement framework for AI sandboxes to clarify valid testing claims for safety, security, and regulatory assurance.
-
On Epimorphisms of Hypergraphic Automata and Input Symbol Semigroups
Provides a complete characterization of epimorphisms for universal hypergraphic automata via conditions on maps of state and output hypergraphs, after defining weak and strong epimorphisms that agree on p*-hypergraphs.
-
"Like Taking the Path of Least Resistance": Exploring the Impact of LLM Interaction on the Creative Process of Programming
LLM assistance shortens idea-generation periods and reduces creative moments during programming tasks while yielding solutions with comparable idea counts and greater functional correctness.
-
Static Type Checking for Database Access Code
Extends the Checker Framework with a sound static checker that lifts JDBC type-mismatch errors from runtime to compile time, supporting cross-method checks via optional annotations on unmodified Java code.
-
Passage of particles through matter and the effective straggling-function: High-fidelity accelerated simulation via Physics-Informed Machine Learning
PHIN-GAN applies physics-informed GANs with analytical straggling PDFs to produce fast, GEANT4-level particle-matter interaction simulations.
-
Weak-to-Strong Knowledge Distillation Accelerates Visual Learning
Weak-to-strong knowledge distillation applied early and then turned off accelerates convergence to target performance in visual learning tasks by factors of 1.7-4.8x.
-
Remote, bivariate expert elicitation to determine the prior probability distribution for sample size calculation in a Bayesian non-inferiority multicenter randomized controlled trial (Croup Dosing Trial)
Remote expert elicitation produced bivariate priors centered at 6% and 8% return-visit rates for 0.60 mg/kg and 0.15 mg/kg dexamethasone, yielding a sample size of 1850 for a non-inferiority margin of 4%.
-
A Reference Model and Patterns for Production Event Data Enrichment
A reference model based on ISA-95 and Event Knowledge Graphs plus formalized patterns for automating enrichment of production event data from manufacturing sources, demonstrated on use cases.
-
Understanding Counterexamples for Relational Properties with DIbugger
DIbugger is a debugging tool for analyzing counterexamples of relational properties by enabling simultaneous inspection of multiple related program executions.
-
Reviving Reflection-in-Action: Instilling Designerly Thinking in AI-Supported Ideation through Multimodal Prompting
A within-participants study with design students found that sketch inputs to an AI ideation tool increased fluency but students still preferred text prompts, pointing to design choices that could better preserve reflective practice.
-
A Human-in-the-Loop Bayesian Optimization Framework for Constraint-Aware Bioprocess Development
An extension of PFGS adds posterior probability of constraint satisfaction and Monte Carlo robustness estimation as Pareto objectives for interactive candidate selection in Bayesian optimization, demonstrated on an 8D CHO cell culture simulator.
-
Benchmarking Cylindrical Blast Wave Theory Against the OSIRIS-REx Sample Return Capsule Reentry
Sakurai blast radius formulation matches observed infrasound periods from OSIRIS-REx reentry with 9% median absolute percentage residual, outperforming Mach-diameter approximation by factor of three.
-
Comparing the Performance of Heterogeneous Conjugate Gradient and Cholesky Solvers on Various Hardware Using SYCL
Heterogeneous SYCL-based CG and Cholesky solvers deliver up to 32% and 29% faster runtimes than GPU-only versions for large matrices across multiple GPU vendors.
-
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers
An empirical study of security DSLs and code analyzers finds few common concepts, overly general weakness descriptions, and that even experts are overwhelmed by the complexity of potential mappings.
-
Real-Time Frame- and Event-based Object Detection with Spiking Neural Networks on Edge Neuromorphic Hardware: Design, Deployment and Benchmark
SNNs deployed on Loihi 2 achieve real-time object detection with the lowest dynamic energy per inference and recover 87-100% of ANN accuracy via distillation-aware training.
-
Human-Machine Co-Boosted Bug Report Identification with Mutualistic Neural Active Learning
MNAL reduces human effort in bug report labeling by up to 95.8% for readability and 196% for identifiability while improving identification performance and working with various neural models.
-
A Compact and Efficient 1.251 Million Parameter Machine Learning CNN Model PD36-C for Plant Disease Detection: A Case Study
PD36-C is a 1.25 million parameter CNN achieving 99.53% average test accuracy on 38 plant disease classes from the New Plant Diseases Dataset, with a Qt-based app enabling edge deployment.
-
Stitching Gaps: Fusing Situated Perceptual Knowledge with Vision Transformers for High-Level Image Classification
Hybrid knowledge graph embeddings fused with vision transformer features outperform standard techniques on abstract concept classification by integrating situated perceptual knowledge from a new cultural image resource.
-
On the statistical theory of strong electrolytes and high-temperature plasmas: new applications of the work of Yukhnovskii and Kelbg
Applies Yukhnovskii-Kelbg methods to electrolytes and high-T plasmas, predicting oscillating correlations at high density and thermodynamic scaling from sqrt(n) to n^{1/4} while respecting the Onsager bound.
-
Graph neural networks at war: integrating cybersecurity and drone intelligence in the Israeli-Iranian conflict
GraphSAGE achieves 94.2% detection rate, 0.955 AUC, and 1.4s response time for cyberattacks on drone systems in an emulation study, outperforming GCN and GAT.
-
The STRASSE liquid hydrogen target system
Development of a cryogenic liquid hydrogen target system optimized for rapid cool-down and high-luminosity quasi-free scattering measurements in inverse kinematics.
-
Hu\'i S\`u: Co-constructing a Dual Feedback Apparatus
A musical performance co-produces sound through dual feedback loops between a RAVE-based neural audio instrument and a recurrent neural control system, exploring shared agency with human performers.
-
Exploiting Aggregate Programming in a Multi-Robot Service Prototype
A multi-robot service prototype applies Aggregate Programming for coordination, validated via simulations and tests in a university library.
-
Properties of Decentralized Consensus Technology -- Why not every Blockchain is a Blockchain
The authors propose Decentralized Consensus Technology (DCT) as an umbrella term for systems with decentralization, trustlessness and eventual consensus, positioning blockchain as one implementation of decentralized ledger technology.
-
Correct Singular Perturbations of the Laplace Operator with the Spectrum of the Unperturbed Operator
Application of the authors' prior abstract theorem to determine spectral properties of the Laplace operator under singular non-self-adjoint perturbations.
-
Advanced manifold-metric pairs
The work claims to build generalized manifold-metric pairs, prove metrizability via the Urysohn theorem, introduce higher-rank tensor metrics and complex/quaternionic structures, and apply them to cosmological expanding spacetimes within a unified information-theoretic framework.
-
String Covering: A Survey
A survey of string covering techniques including covers and seeds, with proposals for future research directions in combinatorial string algorithms.
- Optimal Union Probability Interval Is NP-Hard
- Negative Ontology of True Target for Machine Learning: Towards Recognition, Evaluation and Learning under Democratic Supervision