Results 31 to 40 of about 3,608,849 (131)

Utilizing fuzzy decision trees in decision making

, 2008
The seminal work of Zadeh (1965), namely fuzzy set theory (FST), has developed into a methodology fundamental to analysis that incorporates vagueness and ambiguity.
Beynon, Malcolm James, Malcolm J. Beynonm   +1 more
core   +1 more source

Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq

, 2022
This paper introduces ctrees, a monad for modelling nondeterministic, recursive, and impure programs in Coq. Inspired by Xia et al.'s itrees, this novel data structure embeds computations into coinductive trees with three kind of nodes: external events ...
He, Paul, Henrio, Ludovic, Zakowski, Yannick, Chappe, Nicolas, Zdancewic, Steve, Nicolas Chappe, Steve Zdancewic, Ludovic Henrio, Yannick Zakowski, Paul He   +9 more
core   +1 more source

Proof complexity of systems of (non-deterministic) decision trees and branching programs [PDF]

, 2019
This paper studies propositional proof systems in which lines are sequents of decision trees or branching programs - deterministic and nondeterministic.
Knop, Alexander, Das, Anupam; id_orcid, Buss, Sam   +2 more
core   +2 more sources

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

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

Potential for use of Al/machine learning for pharmacovigilance: Is there a role for regulators?

British Journal of Clinical Pharmacology, EarlyView.
Christina Gao, Ashley M. Hopkins, Andrew Rowland, Stephen Bacchi   +3 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

Uncertainty‐Aware Machine Learning Models for Flash Flood Prediction

Transactions in GIS, Volume 30, Issue 2, April 2026.
ABSTRACT Flash floods have intensified in recent years, and machine learning (ML) models are increasingly used for real‐time prediction. However, most ML‐based flood‐forecasting studies remain largely deterministic and provide limited evidence on how input uncertainty propagates to forecasts, compromising reliability for operational early‐warning ...
Jaqueline A. J. P. Soares, Allan K. S. Soares, Luiz F. Satolo, Graziela B. Scofield, Stephan Stephany, Leonardo B. L. Santos   +5 more
wiley   +1 more source

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, Pengfei Song, Shimin Wen, Hongjie Zhu, Yuang Wang, Huazhang Wang, Xixi Feng, Bo Ma, Daji Ergu, Fangyao Liu   +9 more
wiley   +1 more source