Machine learning methods discover a new noncrossing-partition statistic interpreting q,t-Narayana polynomials and yield a combinatorial proof of their symmetry.
Canonical reference
Title resolution pending
Canonical reference. 80% of citing Pith papers cite this work as background.
731
Pith papers citing it
1
external citations · Crossref
Background
80% of classified citations
citation-role summary
background 247
method 24
baseline 6
dataset 4
extension 2
citation-polarity summary
authors
co-cited works
representative citing papers
SLayerGen generates crystals invariant to any space or layer group via autoregressive lattice and Wyckoff sampling plus equivariant diffusion, achieving gains over bulk models on diperiodic materials after correcting a prior loss inconsistency for hexagonal groups.
Every proper minor-closed graph class admits an optimal (1+o(1)) log n bit adjacency labeling scheme.
A directed weighted two-graph model separates feasibility from movement in solution discovery and yields a detailed complexity classification for path and shortest-path discovery.
The method reformulates ALE mesh motion as independent multi-patch spline parameterizations per time step, using barrier functions, tangential-slip reparameterization, and constant-preserving quasi-interpolation to enable large-rotation FSI simulations.
Superconductivity in high-pressure MnB4 is induced by altermagnetic spin fluctuations, yielding extended-s pairing symmetry.
A new qubit-efficient HUBO encoding for graph partitioning problems like minimum coloring uses logarithmic bits and a lexicographic penalty to cut resources while providing provable optimality conditions.
A survey of 172 open educational datasets from 204 papers across LAK, EDM, and AIED conferences reveals trends, 143 previously uncatalogued datasets, field gaps, and an 8-item PRACTICE checklist for better data publication.
A microlocal lift of Navier-Stokes dynamics on manifolds yields an if-and-only-if geometric criterion for solution blow-up in terms of deformation integrability, directional entropy, and lifted energy.
A 9U CubeSat detector can identify a thermonuclear weapon on a satellite from 4 km away by observing spallation neutrons induced by GeV protons in roughly one week.
O(n log n) algorithm and matching Omega(n log n) lower bound for partitioning a simple polygon's boundary into the minimum number of contiguous visible segments.
Introduces a method to design structure-specific relational inductive biases for a base transformer architecture, enabling end-to-end transcription of documents with intrinsic structures, demonstrated on sheet music, shape drawings, and mechanical engineering drawings.
An optimization-based inverse design method discovers metainterfaces achieving custom friction laws including power laws with exponents from 2/3 to 1.35 and bilinear forms, with experimental validation for some cases.
AMLE graph value extensions meet a local action-gap certificate guaranteeing goal-reaching greedy rollouts under argmin-Q planning and achieve 0.97 success on AntMaze-derived graphs versus 0.58 for harmonic extension.
Reversa is a reverse documentation engineering framework that deploys a multi-agent pipeline to extract implicit rules from legacy software and produce traceable specifications with confidence scores and explicit gaps for human review.
First epitaxial EuPdSi3 thin films on MgO exhibit two zero-field magnetic transitions at 19 K and 15 K with distinct field-orientation-dependent phases.
Introduces De Simone laws over Kleisli categories that guarantee compositionality of coalgebraic trace equivalence and recovers the classical De Simone format while adding a probabilistic variant.
CausalHealth detects lithium-ion battery degradation with 100% sensitivity and up to 402-cycle lead time using causal anomaly scores from voltage, current, temperature, and resistance time series across seven cells.
Truncated-binary encoding approximates high-cardinality CFN problems as low-degree HUBO Hamiltonians with an L^∞ error bound, conditions preserving the global minimum, and a smoothness-based criterion for choosing the cutoff.
TriALS introduces a 150-case four-phase CT dataset and challenge showing top segmentation methods reach 0.754 Dice on venous phase but only 0.57 on non-contrast CT, with external validation gains up to 28%.
An E(3)-equivariant deep RL framework lets an O2 agent discover kinetically plausible diffusion and dissociation pathways in disordered Si/a-SiO2 without hand-crafted reaction coordinates or collective variables.
A taxonomy of SNN training algorithms is presented with the release of NeuroTrain, an open benchmarking framework for reproducible comparisons across datasets and architectures.
A 14-code content model for local post-hoc AI explanations, derived from 325 user statements and validated by experts with high reliability scores.
A flow-adaptive ergodic coverage formulation using MMD that preserves guarantees over evolving domains and supports open-loop planning for robots in flows.
citing papers explorer
-
Urban Priority Pass: Fair Signalized Intersection Management Accounting For Passenger Needs Through Prioritization
Proposes the Priority Pass as a new reservation-based controller for individual vehicle prioritization at intersections, with Manhattan case study claiming up to 40% delay reduction for entitled vehicles and up to $1M daily revenue potential.
-
Multidisciplinary Design Optimization for Wave-Driven Desalination Systems
Multidisciplinary optimization of wave-driven desalination cuts levelized cost of water by 69.5% versus nominal designs and yields substantially different optima than sequential approaches.
-
Data-Driven Reachability Analysis Using Matrix Perturbation Theory
A new matrix zonotope perturbation method with coefficient-space approximation enables faster and less conservative data-driven reachability analysis than prior CMZ or MZ approaches.
-
Operational Modal Analysis of Aeronautical Structures via Tangential Interpolation
NExT-LF combines NExT and Loewner Framework tangential interpolation to enable efficient frequency-domain operational modal analysis on aeronautical structures.
-
Dynamic one-time delivery of critical data by small and sparse UAV swarms: a model problem for MARL scaling studies
A new family of deterministic UAV relay games shows off-the-shelf MARL matching a shortest-path baseline for small swarms but failing to scale as agent numbers grow.
-
Supervisory control synthesis for multilevel DES with local buses
A novel MLDES architecture with per-level local bus detection enables an algorithm for tree-structured hierarchical decomposition, shown in a production-line case study to reduce the sum of controlled state-space sizes of local supervisors.
-
Physics-informed sparse identification-based tube model predictive control for aerial vehicles
Physics-informed machine learning identifies a sparse control-affine model that is embedded in an adaptive tube MPC scheme for aerial vehicles, with stability proofs and demonstrated reductions in computation alongside improved tracking over baselines.
-
Coordination Architecture Shapes Continuous Demand Response Outcomes in Building Districts
In a 25-building district simulation, the hybrid MPC-SAC architecture delivered the strongest balance of load tracking accuracy (4.8% NMBE), thermal comfort (16.8% exceedance), and lowest spatial variability compared to centralized MPC, decentralized SAC, MAPPO, and rule-based control.
-
A Nonlinear Separation Principle via Contraction Theory: Applications to Neural Networks, Control, and Learning
A contraction-theory separation principle yields global exponential stability for controller-observer pairs and sharp LMI certificates for contractive RNNs, enabling stable output tracking and implicit neural network design.
-
Traffic-Aware Microgrid Planning for Dynamic Wireless Electric Vehicle Charging Roadways
Proposes a traffic-aware microgrid planning framework that couples the cell transmission model for spatio-temporal EV demand with AC optimal power flow, showing lower costs than worst-case traffic planning on I-210W data.
-
Ageing-aware Energy Management for Residential Multi-Carrier Energy Systems
Develops an ageing-aware nonlinear economic MPC for multi-carrier residential energy systems using physics-based battery models, reporting 10% grid cost reduction and 20% less degradation with LFP vs NMC cells plus 10%/5% gains over state-of-the-art in summer conditions.
-
The fragile nature of road transportation networks
Mathematical analysis based on the Macroscopic Fundamental Diagram proves road transportation networks are fragile, with a skewness indicator for cross-network comparison and simulations showing stochastic reinforcement.
-
Price Distortions in Korea's Electricity Market: Barriers to Renewable Integration and Reform Pathways
Korea's cost-based pool and uniform pricing create price distortions that hinder renewable energy integration, requiring four joint reforms including locational marginal pricing and real-time markets to align signals with policy goals.
-
A Digital Twin Framework for Decision-Support and Optimization of EV Charging Infrastructure in Localized Urban Systems
A digital twin framework integrates agent-based decision support and metaheuristic optimization to dynamically model and optimize EV charging infrastructure, policies, and renewables in a Hanoi university campus setting.
-
What price to pay? Auto-tuning a building MPC controller for optimal economic cost
Constrained Bayesian optimization auto-tunes a building MPC controller, yielding 26.9% electricity cost reduction over rule-based control in a case study.
-
Scalar Field Estimation with Mobile Sensor Networks
Mobile sensor network estimates scalar field modeled by radial basis kernels via adaptive control with Lyapunov stability and persistence-based motion planning for parameter convergence.
- Algorithmic Energy Management in Constrained Railway Traction Networks: A Systematic Review