Results 21 to 30 of about 553 (162)
AIChE Journal, EarlyView.ABSTRACT Conceptual process design combines discrete configuration choices with continuous operating decisions, often yielding difficult mixed‐integer nonlinear or simulation‐based optimization problems. This work presents an exploratory computational assessment of Ising‐based solvers, simulated annealing, quantum annealing, and entropy computing, as ...
Yirang Park, David E. Bernal Neira
wiley +1 more source
A process-algebraic semantics for generalised nonblocking. [PDF]
, 2012 Generalised nonblocking is a weak liveness property to express the ability of a system to terminate under given preconditions. This paper studies the notions of equivalence and refinement that preserve generalised nonblocking and proposes a semantic ...
Malik, Robi, Ware, Simon
core +1 more source
Greibach Normal Form for omega-Algebraic Systems and Weighted Simple omega-Pushdown Automata [PDF]
, 2019 In weighted automata theory, many classical results on formal languages have been extended into a quantitative setting. Here, we investigate weighted context-free languages of infinite words, a generalization of omega-context-free languages (Cohen, Gold ...
Kuich, Werner +2 more
core +1 more source
Artificial Intelligence for Advanced Functional Materials: Progress and Emerging Frontiers
Advanced Intelligent Systems, EarlyView.Artificial intelligence is transforming the discovery of functional materials by linking synthesis, characterization, simulation, and design in unified workflows. Advances in machine learning, autonomous experimentation, and foundation models are accelerating innovation across energy, electronics, and biomedicine, while revealing new frontiers for ...
Cristiano Malica +38 more
wiley +1 more source
Groups with context-free co-word problem [PDF]
, 2005 The class of co-context-free groups is studied. A co-context-free group is defined as one whose coword problem (the complement of its word problem) is context-free.
Derek F. Holt +7 more
core +1 more source
British Educational Research Journal, EarlyView.Abstract This paper presents an exploratory analysis of contemporary curricular and professional qualification policies in the Scottish education system, focusing on minimum qualification thresholds for mathematics teaching. The study examines how veteran secondary mathematics practitioners perceive the structural and pedagogical implications of using ...
Paul Argyle McDonald
wiley +1 more source
Unary FA-presentable semigroups [PDF]
, 2012 Automatic presentations, also called FA-presentations, were introduced to extend nite model theory to innite structures whilst retaining the solubility of interesting decision problems.
Cain, Alan James +2 more
core +1 more source
Bayesian inverse ensemble forecasting for COVID‐19
Canadian Journal of Statistics, EarlyView.Abstract Variations in strains of COVID‐19 have a significant impact on the rate of surges and on the accuracy of forecasts of the epidemic dynamics. The primary goal for this article is to quantify the effects of varying strains of COVID‐19 on ensemble forecasts of individual “surges.” By modelling the disease dynamics with an SIR model, we solve the ...
Kimberly Kroetch, Don Estep
wiley +1 more source
Inflations of geometric grid classes of permutations [PDF]
, 2015 All three authors were partially supported by EPSRC via the grant EP/J006440/1.Geometric grid classes and the substitution decomposition have both been shown to be fundamental in the understanding of the structure of permutation classes.
Ruskuc, Nik, Albert, M.D., Vatter, V.
core +1 more source
How Multiple Streams Influence Agenda‐Setting for Water Reuse in Swiss Substates
Environmental Policy and Governance, EarlyView.ABSTRACT As climate change creates significant challenges for both the environment and society, potential mitigation and adaptation solutions are widely discussed. Yet, neither challenges nor their potential solutions automatically reach the political agenda or lead to a policy decision.
Magdalena A. Knabl +4 more
wiley +1 more source