Results 41 to 50 of about 1,221 (189)
Algebraic Proof Systems (Invited Talk)
, 2021 Given a set of polynomial equations over a field F, how hard is it to prove that they are simultaneously unsolvable? In the last twenty years, algebraic proof systems for refuting such systems of equations have been extensively studied, revealing close ...
Pitassi, Toniann
core +1 more source
A general theory of action languages
, 1998 We present a general theory of action-based languages as a paradigm, for the description, of those computational systems which include elements of concurrency and networking, and extend this approach to describe dist.ributed systems and also t,o ...
Letichevsky, AA, Gilbert, D
core
How are educational interventions delivered at scale? A systematic mapping review
Review of Education, Volume 14, Issue 2, August 2026.Abstract Scaling up educational interventions remains a central yet under‐theorised challenge in educational research. Although conceptual frameworks outline principles for successful scale‐up, evidence on how scaling is operationalised in practice has not been systematically synthesised.
Rosanna Lea +3 more
wiley +1 more source
Concurrency and automata on infinite sequences [PDF]
The paper is concerned with ways in which fair concurrency can be modeled using notations for omega-regular languages - languages containing infinite sequences, whose recognizers a.re modified forms of Buchi or Muller-McNaughton automata.
Park, David
core
Earthquake Engineering &Structural Dynamics, Volume 55, Issue 9, Page 1811-1827, 25 July 2026.ABSTRACT Multivariate ground motion models (GMMs) that capture the correlation between different intensity measures (IMs) are essential for seismic risk assessment. Conventional GMMs are often developed using a two‐stage approach, where separate univariate models with predefined functional forms are fitted first, and correlation is addressed in a ...
Sayed Mohammad Sajad Hussaini +2 more
wiley +1 more source
Applications of algebraic automata theory to quantum finite automata
, 2007 The computational model of Quantum Finite Automata has been introduced by multiple authors (e.g. [38, 44]) with some variations in definition. The objective of this thesis is to understand what class of languages can be recognized by these different ...
Mercer, Mark.
core
What Are Asset Price Bubbles? A Survey on Definitions of Financial Bubbles
Journal of Economic Surveys, Volume 40, Issue 3, Page 1572-1592, July 2026.ABSTRACT Financial bubbles and crashes have repeatedly caused economic turmoil notably but not just during the 2008 financial crisis. However, both in the popular press as well as scientific publications, the meaning of bubble is sometimes unspecified.
Michael Heinrich Baumann +1 more
wiley +1 more source
Gesturing While Writing: An Alternate Perspective on Mimetic Prosody
Critical Quarterly, EarlyView.
Paul Magee
wiley +1 more source
Advanced Engineering Materials, Volume 28, Issue 12, 17 June 2026.A numerical model resulting from irreversible thermodynamics for describing transport processes is introduced, focusing on thermodynamic activity gradients as the actual driving force for diffusion. Implemented in CUDA C++ and using CalPhaD methods for determining the necessary activity data, the model accurately simulates interdiffusion in aluminum ...
Ulrich Holländer +3 more
wiley +1 more source
Alzheimer's &Dementia, Volume 22, Issue 6, June 2026.Abstract INTRODUCTION The WW‐FINGERS network has demonstrated the efficacy of multidomain non‐pharmaceutical interventions (NPIs) but left their real‐world implementation largely unexplored, prompting this study in Changxing County to identify key determinants and develop actionable strategies for community‐based delivery.
Zishuo Huang +8 more
wiley +1 more source