Results 31 to 40 of about 6,397 (149)
A Hybrid Machine Learning Framework to Improve Morphological Trait Recovery in Avian Datasets
Ecology and Evolution, Volume 16, Issue 3, March 2026.Our hybrid models integrating local pattern recognition, nonlinear mapping, and adaptive optimization are anticipated to elevate the accuracy of the imputation while preserving the distinctiveness of biological datasets, thus providing a more reliable foundation for ecological and evolutionary research.
Yu Bai +9 more
wiley +1 more source
Distributed Graph Automata and Verification of Distributed Algorithms [PDF]
, 2014 Combining ideas from distributed algorithms and alternating automata, we introduce a new class of finite graph automata that recognize precisely the languages of finite graphs definable in monadic second-order logic.
Reiter, Fabian
core +1 more source
New Difference Triangle Sets by a Field‐Programmable Gate Array‐Based Search Technique
Journal of Combinatorial Designs, Volume 34, Issue 1, Page 37-50, January 2026.ABSTRACT We provide some difference triangle sets with scopes that improve upon the best known values. These are found with purpose‐built digital circuits realized with field‐programmable gate arrays (FPGAs) rather than software algorithms running on general‐purpose processors.
Mohannad Shehadeh +2 more
wiley +1 more source
Reachability in Higher-Order-Counters
, 2013 Higher-order counter automata (\HOCS) can be either seen as a restriction of higher-order pushdown automata (\HOPS) to a unary stack alphabet, or as an extension of counter automata to higher levels.
A. Bouajjani +11 more
core +1 more source
Digital‐Twin‐Enabled, Time‐Aware Anomaly Detection for Industrial Cyber‐Physical Systems
Digital Twins and Applications, Volume 3, Issue 1, January/December 2026.The graphical abstract (Graphical Abstract figure) summarises the proposed pipeline: multivariate ICS data streams are windowed and normalised, fed into a temporal LSTM–DNN encoder and per‐sensor operating‐envelope learner, combined via calibrated fusion and finally surfaced through an operator‐facing digital twin that provides event timelines, top ...
Wulfran Fendzi Mbasso +5 more
wiley +1 more source
Coalgebraic Infinite Traces and Kleisli Simulations
, 2018 Kleisli simulation is a categorical notion introduced by Hasuo to verify finite trace inclusion. They allow us to give definitions of forward and backward simulation for various types of systems. A generic categorical theory behind Kleisli simulation has
Hasuo, Ichiro, Urabe, Natsuki
core +1 more source
Automated Workarounds from Java Program Specifications based on SAT Solving [PDF]
, 2018 The failures that bugs in software lead to can sometimes be bypassed by the so-called workarounds: when a (faulty) routine fails, alternative routines that the system offers can be used in place of the failing one, to circumvent the failure.
Aguirre, Nazareno Matias +4 more
core +1 more source
The Social Consequence of Bureaucratic Oversight: Evidence From the Great Chinese Famine
Governance, Volume 39, Issue 1, January 2026.ABSTRACT Existing literature shows that increasing political oversight of bureaucrats can improve the quality of government service delivery. Yet when the state is mainly concerned with maximizing revenue extraction from society, increasing bureaucratic oversight may result in social loss. I illustrate this argument with evidence from the Great Chinese
Ning He
wiley +1 more source
Advances in Astronomy, Volume 2026, Issue 1, 2026.This paper investigates the degradation of pointing accuracy in the Kunming 40‐m radio telescope due to long‐term equipment aging and environmental disturbances. Conventional linear pointing models are constrained by their linear modeling framework, making it difficult to accurately represent the nonlinear errors induced by temperature, wind speed, and
Yao He +3 more
wiley +1 more source
Strategy Logic with Imperfect Information
, 2018 We introduce an extension of Strategy Logic for the imperfect-information setting, called SLii, and study its model-checking problem. As this logic naturally captures multi-player games with imperfect information, the problem turns out to be undecidable.
Berthon, Raphaël +4 more
core +1 more source