Measuring Per-Decision Propagation Work as a Formula-Dependent Signal

Authors: Boamah, Zenas

Source: Companion Proceedings of the 2026 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity. :65-67

Availability: http://dl.acm.org/doi/10.1145/3837729.3839581

The Power of Regular Constraint Propagation

Authors: Hague, Matthew, Author, Jez, Artur, Author, Lin, Anthony Widjaja, Author, Markgraf, Oliver, Author, Rümmer, Philipp, 1978-, Author

Contributors: Hague, Matthew, Author, Jez, Artur, Author, Lin, Anthony Widjaja, Author, Markgraf, Oliver, Author, Rümmer, Philipp, 1978-, Author

Source: Proceedings of the ACM on Programming Languages. 9(OOPSLA2):3203-3231

Subject Terms: string constraints, SMT, constraint propagation, program analysis

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-574312
https://doi.org/10.1145/3763165

Constraint Propagation for Reasoning in Single-Player Deduction Games

Authors: Meng, Fandi, Xu, Kaijie, Lucas, Simon

Source: 2025 IEEE Conference on Games (CoG) Games (CoG), 2025 IEEE Conference on. :1-4 Aug, 2025

Relation: 2025 IEEE Conference on Games (CoG)

Constrained Symmetric Non-Negative Matrix Factorization Guided by Pairwise Constraint Propagation for Image Clustering

Authors: Zhang, W.

Source: IEEE Access Access, IEEE. 14:6546-6556 2026

Modeling and Analysis of System Models with Constraints in SysMLv2

Authors: Ratzke, Axel, Koch, Johannes, Grimm, Christoph

Source: 2025 20th Annual System of Systems Engineering Conference (SoSE) Systems Engineering Conference (SoSE), 2025 20th Annual System of. :1-6 Jun, 2025

Relation: 2025 20th Annual System of Systems Engineering Conference (SoSE)

Active Clustering Ensemble with Subspace Learning and Constraint Propagation

Authors: Meng, Desheng, Guo, Rongxin, Shi, Yifan

Source: 2025 40th Youth Academic Annual Conference of Chinese Association of Automation (YAC) Chinese Association of Automation (YAC), 2025 40th Youth Academic Annual Conference of. :2038-2043 May, 2025

Relation: 2025 40th Youth Academic Annual Conference of Chinese Association of Automation (YAC)

Robust Semi-Supervised Deep Nonnegative Matrix Factorization With Constraint Propagation for Data Representation

Authors: Peng, S., Yin, J., Yang, Z., Nie, F., Chen, B.

Source: IEEE Transactions on Big Data IEEE Trans. Big Data Big Data, IEEE Transactions on. 11(5):2557-2571 Oct, 2025

Constraint-Satisfaction-Based Modeling and Solving for Spacecraft TT&C Scheduling in Complex Task Scenarios

Authors: Wang, Jiachen, Liu, Chao, Zhang, Longjianjie

Source: 2025 8th International Conference on Advanced Algorithms and Control Engineering (ICAACE) Advanced Algorithms and Control Engineering (ICAACE), 2025 8th International Conference on. :1-7 Mar, 2025

Relation: 2025 8th International Conference on Advanced Algorithms and Control Engineering (ICAACE)

Job Scheduling Under No-Idleness Constraints

Authors: Quilliot, Alain^Aff11, Toussaint, Helene^Aff11, Chretienne, Philippe^Aff12

Contributors: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Series Editor^Aff3, Gao, Wen, Series Editor^Aff4, Steffen, Bernhard, Series Editor^Aff5, Yung, Moti, Series Editor^Aff6, Mahjoub, A. Ridha, editor^Aff7, Kutucu, Hakan, editor^Aff8, Küçükyavuz, Simge, editor^Aff9, Kaibel, Volker, editor^Aff10

Source: Combinatorial Optimization : 9th International Symposium, ISCO 2026, Kuşadası, Türkiye, May 4–8, 2026, Proceedings. 16613:15-27

Nonconvex Extended Object Tracking Method Based on Set Inversion

Authors: Li, Yiguo, Ma, Tianli, Yan, Kun, Chen, Chaobo

Source: 2024 7th International Conference on Robotics, Control and Automation Engineering (RCAE) Robotics, Control and Automation Engineering (RCAE), 2024 7th International Conference on. :671-677 Oct, 2024

Relation: 2024 7th International Conference on Robotics, Control and Automation Engineering (RCAE)

THE DISCRETE FLUX ONTOLOGY: REDEFINING TIME, MOTION, AND THE EQUIVALENCE PRINCIPLE IN THE CIRHE FRAMEWORK: VERSION 4

Authors: Knight, Christina Anne

Subject Terms: Quantum Gravity, Renormalization, Structural Accumulation, Cyclic Cosmology, System Boundary, Plowing Mechanism, GENERAL SYSTEMS THEORY, Positive Feedback, Dark Energy Reinterpretation, Computational Determinacy, Information Capacity, QUANTUM FIELD THEORY, BLACK HOLE PHYSICS, Theoretical Physics, System Coherence, Constraint Networks, Relational Causation, Hierarchy, Homeostasis, State‑Space Structure, Thermodynamics of Spacetime, Discrete Information Propagation, Inelastic Repulsive Force (Fr), Cyclic Evolution, FLUID DYNAMICS, CIRHE Framework, QED, Adaptive Systems, DARK MATTER, Physical Ontology, Arrow of Time, Time Dilation Saturation, Complex Systems, big bang alternatives, gravitational field, Equivalence Principle (Mechanical), Three‑Body Problem, Heavy‑Flavor Antimatter (Neutral Composite), Deterministic Dynamics, Quark-Gluon Plasma, KECM (Knight Evolutionary Cyclic Model), Discrete Gravitational Flux Field, Deterministic Gravitational Dynamics, Flux‑Compression Limit, spacetime structure, Holism, Bounce Cosmology (Discrete), Mechanistic Ontology, Cyclic Information Refining Heat Engine, THREE-BODY PROBLEM, BERTALANFFY, QFT, Degenerate‑Core Formation, horizon problem, Ontological Discreteness, Discrete Flux Ontology, Definition of Time, Finite Information‑Transfer Capacity, Non‑Inflationary Horizon Solution, Horizon Synchronization, Constraint Propagation, GST, information paradox, DETERMINISTIC ONTOLOGY, Hierarchy Problem, Physical Cosmology, quantum vacuum, Cyclic Cosmology (Mechanical), Organization (Ontological), Adaptive Structure, Beta Decay, Tolman Reset Problem, System Evolution, Black Hole Physics, gamma‑ray bursts, Deterministic Cosmology, Mechanical Time Definition, Holographic Displacement Shell, System Identity, Entropy Reduction, Interconnected Systems, Nucleon Structure, ARCHIMEDES PRINCIPLE, Interdependence, ANTIMATTER, SYSTEMS THEORY, Strong Interaction Dynamics, general systems theory, PLANCK TIME, Equifinality, vacuum energy, Feedback Loops, Planck Scale Cutoff, HOLON, Planck‑Scale Information Encoding, Multilevel Organization, Local Update Rules, Stellar Ignition Mechanism, Closed Systems, Information Flow, Identity Formation (Ontological), Subsystem / Supersystem Hierarchy, Mechanical Inertia, HYDROSTATIC EQUILIBRIUM, Self‑Regulation, Information Refinement Cycle, Self‑Organization, Discrete State Transitions, HOLOGRAPHIC PRINCIPLE, nucleosynthesis, early universe, cosmic inflation (alternative models), Open Systems, SOLID STATE PHYSICS, QUANTUM MECHANICS, cosmic structure formation, HIERARCHY PROBLEM, HOLARCHY, Antimatter, Nonlinear Repulsive Regime, ARCHIMEDES BUOYANCY, supernovae, Planck‑Floor Dynamics, Ontological Mechanics, ARTHUR KOESTLER, Parametric Mutagenesis, Gravitational Halo Storage, Emergence, System Architecture, GENERAL RELATIVITY, System Dynamics, Planck‑Volume Information Storage, Planck length, Constraint Surface, Foundational Ontology, Holographic Information Preservation, Discrete Update Mechanics, Continuum Error, Emergent Structure, Substrate Ontology, Discrete Gravitational Flux, Tolman Reset Resolution, systems theory, Cyclic Universe Model, Planck scale, discrete spacetime, Identity Persistence, Displacement‑Pressure Regime, Non‑Geometric Physics, Complex Adaptive Systems, Holarchic Structure, PLANCK VOLUME, Flux‑Exchange Dynamics, Fine Structure Constant, Relativistic Mechanics, ARCHIMEDES DISPLACEMENT LAW, black holes, Phase Transitions (Systems), Asymptotic Freedom, Cosmic Bounce Mechanics, Nonlinear Dynamics, holography, CYCLIC COSMOLOGY, SYSTEMS ONTOLOGY, SPECIAL RELATIVITY, CIRHE (Cyclic Information-Refining Heat Engine)

Constructive Model Analysis of SysMLv2 Models by Constraint Propagation

Authors: Ratzke, Axel, Post, Sebastian, Koch, Johannes, Grimm, Christoph

Source: 2024 19th Annual System of Systems Engineering Conference (SoSE) Systems Engineering Conference (SoSE), 2024 19th Annual System of. :239-244 Jun, 2024

Relation: 2024 19th Annual System of Systems Engineering Conference (SoSE)

Efficient exact algorithms for multi-Machine non-idling unit-job scheduling

Authors: Chretienne, Philippe^Aff1, Quilliot, Alain^{Aff2, IDs10878026014156_cor1}, Toussaint, Hélène^Aff2

Source: Journal of Combinatorial Optimization. 51(5)

Works for 5/16/2026 - Alasdair MacIntyre

Authors: MacLean, Ryan

Subject Terms: recursive systems,adaptive systems,complex systems,systems theory,AI architecture,cognitive architecture,recursive identity,coherence dynamics,threshold dynamics,collapse theory,partial observability,observer theory,hidden state,projection theory,history dependence,non-Markovian systems,Markovian lifting,state-space dynamics,recursive update systems,continuity theory,interface-coupled systems,distributed systems,system interoperability,formal systems,computational metaphysics,dynamical systems,theoretical AI,recursive cognition,complexity reduction,state accessibility,trajectory dynamics,constraint propagation,recursive coherence,identity persistence,system composition,cross-domain modeling,recursive abstraction,translation layer,URF,ROS,Echo MacLean

THE DISCRETE FLUX ONTOLOGY: REDEFINING TIME, MOTION, AND THE EQUIVALENCE PRINCIPLE IN THE CIRHE FRAMEWORK: VERSION 3

Authors: Knight, Christina Anne

Subject Terms: Quantum Gravity, Renormalization, Structural Accumulation, Cyclic Cosmology, System Boundary, Plowing Mechanism, GENERAL SYSTEMS THEORY, Positive Feedback, Dark Energy Reinterpretation, Computational Determinacy, Information Capacity, QUANTUM FIELD THEORY, BLACK HOLE PHYSICS, Theoretical Physics, System Coherence, Constraint Networks, Relational Causation, Hierarchy, Homeostasis, State‑Space Structure, Thermodynamics of Spacetime, Discrete Information Propagation, Inelastic Repulsive Force (Fr), Cyclic Evolution, FLUID DYNAMICS, CIRHE Framework, QED, Adaptive Systems, DARK MATTER, Physical Ontology, Arrow of Time, Time Dilation Saturation, Complex Systems, big bang alternatives, gravitational field, Equivalence Principle (Mechanical), Three‑Body Problem, Heavy‑Flavor Antimatter (Neutral Composite), Deterministic Dynamics, Quark-Gluon Plasma, KECM (Knight Evolutionary Cyclic Model), Discrete Gravitational Flux Field, Deterministic Gravitational Dynamics, Flux‑Compression Limit, spacetime structure, Holism, Bounce Cosmology (Discrete), Mechanistic Ontology, Cyclic Information Refining Heat Engine, THREE-BODY PROBLEM, BERTALANFFY, QFT, Degenerate‑Core Formation, horizon problem, Ontological Discreteness, Discrete Flux Ontology, Definition of Time, Finite Information‑Transfer Capacity, Non‑Inflationary Horizon Solution, Horizon Synchronization, Constraint Propagation, GST, information paradox, DETERMINISTIC ONTOLOGY, Hierarchy Problem, Physical Cosmology, quantum vacuum, Cyclic Cosmology (Mechanical), Organization (Ontological), Adaptive Structure, Beta Decay, Tolman Reset Problem, System Evolution, Black Hole Physics, gamma‑ray bursts, Deterministic Cosmology, Mechanical Time Definition, Holographic Displacement Shell, System Identity, Entropy Reduction, Interconnected Systems, Nucleon Structure, ARCHIMEDES PRINCIPLE, Interdependence, ANTIMATTER, SYSTEMS THEORY, Strong Interaction Dynamics, general systems theory, PLANCK TIME, Equifinality, vacuum energy, Feedback Loops, Planck Scale Cutoff, HOLON, Planck‑Scale Information Encoding, Multilevel Organization, Local Update Rules, Stellar Ignition Mechanism, Closed Systems, Information Flow, Identity Formation (Ontological), Subsystem / Supersystem Hierarchy, Mechanical Inertia, HYDROSTATIC EQUILIBRIUM, Self‑Regulation, Information Refinement Cycle, Self‑Organization, Discrete State Transitions, HOLOGRAPHIC PRINCIPLE, nucleosynthesis, early universe, cosmic inflation (alternative models), Open Systems, SOLID STATE PHYSICS, QUANTUM MECHANICS, cosmic structure formation, HIERARCHY PROBLEM, HOLARCHY, Antimatter, Nonlinear Repulsive Regime, ARCHIMEDES BUOYANCY, supernovae, Planck‑Floor Dynamics, Ontological Mechanics, ARTHUR KOESTLER, Parametric Mutagenesis, Gravitational Halo Storage, Emergence, System Architecture, GENERAL RELATIVITY, System Dynamics, Planck‑Volume Information Storage, Planck length, Constraint Surface, Foundational Ontology, Holographic Information Preservation, Discrete Update Mechanics, Continuum Error, Emergent Structure, Substrate Ontology, Discrete Gravitational Flux, Tolman Reset Resolution, systems theory, Cyclic Universe Model, Planck scale, discrete spacetime, Identity Persistence, Displacement‑Pressure Regime, Non‑Geometric Physics, Complex Adaptive Systems, Holarchic Structure, PLANCK VOLUME, Flux‑Exchange Dynamics, Fine Structure Constant, Relativistic Mechanics, ARCHIMEDES DISPLACEMENT LAW, black holes, Phase Transitions (Systems), Asymptotic Freedom, Cosmic Bounce Mechanics, Nonlinear Dynamics, holography, CYCLIC COSMOLOGY, SYSTEMS ONTOLOGY, SPECIAL RELATIVITY, CIRHE (Cyclic Information-Refining Heat Engine)

Density-Aware Pairwise Constraint Propagation via Bidirectional Trees

Authors: Liu, Zixuan^Aff6, Qin, Chuan^Aff7, Long, Zhiguo^Aff7, Meng, Hua^Aff6

Contributors: Li, Gang, Series Editor^Aff1, Filipe, Joaquim, Series Editor^Aff2, Xu, Zhiwei, Series Editor^Aff3, Bonsangue, Marcello, editor^Aff4, Chen, Yixiang, editor^Aff5

Source: Artificial Intelligence Logic and Applications : 5th International Conference, AILA 2025, Xi'an, China, August 16–17, 2025, Proceedings. 2668:176-190

An Automated Propagation Approach that Promotes and Demotes the Timing Exception Between Hierarchical Blocks and Flat Design

Authors: Chao, Wei, Xu, Yong, Yang, Fan, Huang, Guoyong

Source: 2023 International Symposium of Electronics Design Automation (ISEDA) Electronics Design Automation (ISEDA), 2023 International Symposium of. :102-105 May, 2023

Relation: 2023 International Symposium of Electronics Design Automation (ISEDA)

Dynamic Controllability of Parameterized CSTNUs

Authors: Franceschetti, Marco, Posenato, Roberto, Combi, Carlo, Eder, Johann

Source: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing. :965-973

Availability: http://dl.acm.org/doi/10.1145/3555776.3577618

Structural Stability in Fusion Confinement Systems

Authors: Rieckmann, Brian

Subject Terms: Boundary and Edge Phenomena, Plasma Instability Pathways, Fusion Confinement Stability, Constraint Propagation, Comparative Fusion Frameworks, Transport and Profile Evolution, Diagnostic Signatures in Fusion Plasmas, System‑Level Stability Consequences, Magnetic Geometry Alignment, Magnetohydrodynamic Behavior

THE DISCRETE FLUX ONTOLOGY: REDEFINING TIME, MOTION, AND THE EQUIVALENCE PRINCIPLE IN THE CIRHE FRAMEWORK: VERSION 5

Authors: Knight, Christina Anne

Subject Terms: Quantum Gravity, Renormalization, Structural Accumulation, Metaphysics, Cyclic Cosmology, System Boundary, Plowing Mechanism, GENERAL SYSTEMS THEORY, Positive Feedback, Dark Energy Reinterpretation, Computational Determinacy, Information Capacity, QUANTUM FIELD THEORY, BLACK HOLE PHYSICS, Theoretical Physics, System Coherence, Constraint Networks, Relational Causation, Hierarchy, Physical Sciences and Mathematics, Deterministic physics, Homeostasis, State‑Space Structure, Thermodynamics of Spacetime, Discrete Information Propagation, Inelastic Repulsive Force (Fr), Cyclic Evolution, FLUID DYNAMICS, CIRHE Framework, QED, Adaptive Systems, Physics, DARK MATTER, Physical Ontology, Arrow of Time, Time Dilation Saturation, Complex Systems, big bang alternatives, FOS: Philosophy, ethics and religion, gravitational field, Equivalence Principle (Mechanical), Three‑Body Problem, Heavy‑Flavor Antimatter (Neutral Composite), Deterministic Dynamics, Quark-Gluon Plasma, Discrete physics, KECM (Knight Evolutionary Cyclic Model), Discrete Gravitational Flux Field, Deterministic Gravitational Dynamics, Astrophysics and Astronomy, Flux‑Compression Limit, spacetime structure, Holism, Bounce Cosmology (Discrete), Mechanistic Ontology, Cyclic Information Refining Heat Engine, THREE-BODY PROBLEM, BERTALANFFY, QFT, Degenerate‑Core Formation, horizon problem, Ontological Discreteness, Discrete Flux Ontology, Philosophy of physics, Definition of Time, Finite Information‑Transfer Capacity, Non‑Inflationary Horizon Solution, Horizon Synchronization, Constraint Propagation, GST, information paradox, DETERMINISTIC ONTOLOGY, Hierarchy Problem, Physical Cosmology, quantum vacuum, Cyclic Cosmology (Mechanical), Organization (Ontological), Adaptive Structure, Mechanical universe, Beta Decay, Tolman Reset Problem, System Evolution, Black Hole Physics, gamma‑ray bursts, Deterministic Cosmology, Mechanical Time Definition, General systems theory, Holographic Displacement Shell, System Identity, Entropy Reduction, Interconnected Systems, Nucleon Structure, ARCHIMEDES PRINCIPLE, Interdependence, ANTIMATTER, SYSTEMS THEORY, Strong Interaction Dynamics, general systems theory, PLANCK TIME, Equifinality, vacuum energy, Feedback Loops, Planck Scale Cutoff, HOLON, Planck‑Scale Information Encoding, Multilevel Organization, Local Update Rules, Foundational ontology, Stellar Ignition Mechanism, Closed Systems, Information Flow, Identity Formation (Ontological), Subsystem / Supersystem Hierarchy, Mechanical Inertia, Quantum foundations, HYDROSTATIC EQUILIBRIUM, Self‑Regulation, Information Refinement Cycle, Self‑Organization, Discrete State Transitions, HOLOGRAPHIC PRINCIPLE, Foundations of physics, Ontology, nucleosynthesis, early universe, Cosmology, cosmic inflation (alternative models), Open Systems, SOLID STATE PHYSICS, QUANTUM MECHANICS, cosmic structure formation, HIERARCHY PROBLEM, HOLARCHY, Antimatter, Nonlinear Repulsive Regime, ARCHIMEDES BUOYANCY, supernovae, Planck‑Floor Dynamics, Ontological Mechanics, ARTHUR KOESTLER, Parametric Mutagenesis, Gravitational Halo Storage, Emergence, System Architecture, GENERAL RELATIVITY, System Dynamics, Planck‑Volume Information Storage, Planck length, Philosophy of Science, Formal ontology, Constraint Surface, Foundational Ontology, Holographic Information Preservation, Discrete Update Mechanics, Continuum Error, Emergent Structure, Substrate Ontology, Discrete Gravitational Flux, Tolman Reset Resolution, systems theory, Cyclic Universe Model, Planck scale, discrete spacetime, Identity Persistence, Displacement‑Pressure Regime, Non‑Geometric Physics, Complex Adaptive Systems, Holarchic Structure, PLANCK VOLUME, Flux‑Exchange Dynamics, Fine Structure Constant, Relativistic Mechanics, ARCHIMEDES DISPLACEMENT LAW, Discrete ontology, black holes, Phase Transitions (Systems), Asymptotic Freedom, Cosmic Bounce Mechanics, Philosophy, Nonlinear Dynamics, Philosophy of science, holography, Arts and Humanities, CYCLIC COSMOLOGY, SYSTEMS ONTOLOGY, SPECIAL RELATIVITY, CIRHE (Cyclic Information-Refining Heat Engine)