Results 21 to 30 of about 3,458,167 (137)

Testing from a nondeterministic finite state machine using adaptive state counting [PDF]

, 2004
The problem of generating a checking experiment from a nondeterministic finite state machine has been represented in terms of state counting. However, test techniques that use state counting traditionally produce preset test suites.
Hierons, RM
core   +1 more source

IMPLEMENTASI METODE RANDOM FOREST DALAM MEMPREDIKSI SINYAL PERGERAKAN SAHAM

E-Jurnal Matematika
Trading involves purchasing stocks at low prices and then selling them at high prices to generate profits in a short period. Although it offers significant gains, trading is considered a high-risk activity.
MOCH. ANJAS APRIHARTHA, M. HUSNIYADI, TAUFIK NUR ALAM   +2 more
doaj   +1 more source

Reinforcement Learning With Timed Constraints for Robotics Motion Planning

Artificial Intelligence for Engineering, EarlyView.
This work presents a unified automata‐based reinforcement learning framework that enforces MITL time‐bounded task specifications in both MDPs and POMDPs. Results from grid‐world and office scenarios show robust policy learning under stochastic dynamics and partial observability.
Zhaoan Wang, Junchao Li, Mohammad Mahdi Dehghan Pir, Shaoping Xiao   +3 more
wiley   +1 more source

Emerging applications of large language models in ecology and conservation science

Conservation Biology, EarlyView.
Abstract Large language models (LLMs) mark a major development in artificial intelligence, with potentially transformative implications for ecology and conservation science. Built on advanced deep‐learning architectures, these models can support a wide range of tasks. We reviewed emerging applications of LLMs, drawing on the wider scientific literature
Christos Mammides, Hao Gu, Thilina S. Nimalrathna, Naufal Rahman Avicena, Harris Papadopoulos, Ahimsa Campos‐Arceiz   +5 more
wiley   +1 more source

Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes [PDF]

, 2010
Rate transition systems (RTS) are a special kind of transition systems introduced for defining the stochastic behavior of processes and for associating continuous-time Markov chains with process terms. The transition relation assigns to each process, for
Nicola Michele Loreti, De Nicola, Rocco, Marco Bernardo, Rocco De, Loreti, Michele, Rocco De Nicola, Michele Loreti, Bernardo, Marco, De Nicola, R   +8 more
core   +2 more sources

Harnessing Generative AI Within Human‐Aligned Constraints: Exploring Control Strategies and Existential Considerations

Engineering Reports, Volume 8, Issue 7, July 2026.
We propose the Powerful‐but‐Limited Generative AI theorem, demonstrating that embedding human‐inspired constraints, such as fixed utility functions and neuro‐symbolic submission layers, ensures generative AI remains controllable by preventing self‐improvement beyond designer intent.
Saeed Banaeian Far, Mohammad Reza Chalak Qazani, Falah Younis Hamode Hamod, Azadeh Imani Rad   +3 more
wiley   +1 more source

Narrating Entanglement Without Dehumanisation in Contemporary Eco‐Fiction

Future Humanities, Volume 4, Issue 1, May 2026.
ABSTRACT This essay presents a comparative analysis of two contemporary works of eco‐fiction, Richard Powers's The Overstory (2018) and Eleanor Catton's Birnam Wood (2023). Both novels use multiperspective narration in the service of entanglement narratives, forms of storytelling that emphasise the interconnection of human and nonhuman life.
Diana Rose Newby
wiley   +1 more source

HNN extensions and embedding theorems for groups

Journal of the London Mathematical Society, Volume 113, Issue 5, May 2026.
Abstract The Higman–Neumann–Neumann (HNN) paper of 1949 is a landmark of group theory in the 20th century. The proof of its main theorem covers less than a page and uses only pre‐existing technology, but the construction that it introduced, the HNN extension, quickly became one of the principal tools of combinatorial group theory, widely used to build ...
Martin R. Bridson, Carl‐Fredrik Nyberg‐Brodda   +1 more
wiley   +1 more source

Copulas for Covariate Simulation in Pharmacometrics

CPT: Pharmacometrics &Systems Pharmacology, Volume 15, Issue 4, April 2026.
ABSTRACT Patient‐specific covariates are commonly incorporated in pharmacometric and quantitative system pharmacology models to predict differences in pharmacokinetic or pharmacodynamic profiles between patients. When simulating new virtual populations of patients, generating realistic covariate sets that accurately reflect the correlation structures ...
Yuchen Guo, Tingjie Guo, J. G. Coen van Hasselt, Laura B. Zwep   +3 more
wiley   +1 more source

A mass assignment based ID3 algorithm for decision tree induction [PDF]

, 1997
A mass assignment based ID3 algorithm for learning probabilistic fuzzy decision trees is introduced. Fuzzy partitions are used to discretize continuous feature universes and to reduce complexity when universes are discrete but with large cardinalities ...
Baldwin, JF, Martin, TP, Lawry, J
core   +1 more source