Results 61 to 70 of about 1,221 (189)
Contexts, refinement and determinism
, 2010 In this paper we have been influenced by those who take an “engineering view” of the problem of designing systems, i.e. a view that is motivated by what someone designing a real system will be concerned with, and what questions will arise as they work on
Reeves, Steve +3 more
core +1 more source
Fortschritte der Physik, Volume 74, Issue 6, June 2026.ABSTRACT We present a clear, step‐by‐step method for counting degrees of freedom and identifying constraints in general field theories. This approach, grounded in the works of Einstein, Hilbert, Cartan, Kuranishi, and, more recently, Seiler, is neither Lagrangian nor Hamiltonian in nature. Instead, it applies directly to the field equations. We offer a
Lavinia Heisenberg
wiley +1 more source
Covariance Estimation for Wide Data
WIREs Computational Statistics, Volume 18, Issue 2, June 2026.Covariance matrix estimation is fundamental to multivariate analysis, with applications spanning finance, genomics, climate science, and signal processing. This review synthesizes recent advances in high‐dimensional covariance estimation‐thresholding, linear and nonlinear shrinkage, graphical models, and random matrix theory‐under a unifying framework ...
Eran Raviv
wiley +1 more source
A mathematical theory of synchronous concurrent algorithms [PDF]
, 1987 A synchronous concurrent algorithm is an algorithm that is described as a network of intercommunicating processes or modules whose concurrent actions are synchronised with respect to a global clock.
Thompson, B.C +1 more
core
Presumption of Patent Validity and Litigation Incentives
Journal of Public Economic Theory, Volume 28, Issue 3, June 2026.ABSTRACT We analyze the effects of the presumption of patent validity on litigation incentives and outcomes. We develop a litigation game between a patent holder and an alleged infringing firm. A court resolves the dispute if there is a trial. We model the court's decision‐making as a learning process based on evidence and consider the presumption as a
Alice Guerra, Tapas Kundu
wiley +1 more source
Shortest directing words of nondeterministic directable automata
, 2008 In this paper, we will survey several results on the shortest directing words of various types of nondeterministic directable automata.11More details concerning this subject can be seen in the book: M.
Ito, Masami, Shikishima-Tsuji, Kayoko
core +1 more source
Can we repudiate ontology altogether?
Noûs, Volume 60, Issue 2, Page 264-292, June 2026.Abstract Ontological nihilists repudiate ontology altogether, maintaining that ontological structure is an unnecessary addition to our theorizing. Recent defenses of the view involve a sophisticated combination of highly expressive but ontologically innocent languages combined with a metaphysics of features—non‐objectual, complete but modifiable states
Christopher J. Masterman
wiley +1 more source
Algebras, Graphs and Ordered Sets - ALGOS 2020 & the Mathematical Contributions of Maurice Pouzet. [PDF]
Order (Dordr), 2023 Couceiro M, Duffus D.
europepmc +1 more source
Spatial depth for data in metric spaces
Scandinavian Journal of Statistics, Volume 53, Issue 2, Page 684-711, June 2026.Abstract We propose a novel measure of statistical depth, the metric spatial depth, for data residing in an arbitrary metric space. The measure assigns high (low) values for points located near (far away from) the bulk of the data distribution, allowing quantifying their centrality/outlyingness.
Joni Virta
wiley +1 more source
Resilient Supervisory Multi-Agent Systems. [PDF]
IEEE Trans Robot, 2022 Baxevani K, Zehfroosh A, Tanner HG.
europepmc +1 more source