Results 101 to 110 of about 249,549 (273)
Numbers and functions in Hilbert's finitism [PDF]
, 1998 David Hilbert's finitistic standpoint is a conception of elementary number theory designed to answer the intuitionist doubts regarding the security and certainty of mathematics.
Zach, Richard
core
Large‐Scale Machine Learning to Screen for Small‐Molecule Senolytics
Advanced Intelligent Discovery, EarlyView.A consistent workflow underpins all experiments in this study. A dedicated model‐selection dataset first identifies optimal hyperparameters for each algorithm. Models are then trained and rigorously evaluated on independent sets of molecules using the senolytic ratio SR. Comprehensive hyperparameter exploration across SMILES representations, task types,
Alexis Dougha +2 more
wiley +1 more source
Scott Ranks of Classifications of the Admissibility Equivalence Relation [PDF]
, 2017 Let $\mathscr{L}$ be a recursive language. Let $S(\mathscr{L})$ be the set of $\mathscr{L}$-structures with domain $\omega$. Let $\Phi : {}^\omega 2 \rightarrow S(\mathscr{L})$ be a $\Delta_1^1$ function with the property that for all $x,y \in {}^\omega ...
Chan, William +2 more
core +1 more source
Advanced Intelligent Systems, EarlyView.This paper presents a lidar‐based sensor node design and a rule‐based state observer for edge‐based traffic participant tracking. Unlike other state‐of‐the‐art methods, this state observer enables real‐time, CPU‐only edge processing without relying on machine learning approaches.
Simon Schäfer +2 more
wiley +1 more source
Applied and Environmental Soil Science, 2014 The sloping mire landscape of the investigation area, in the southern Andes of Ecuador, is dominated by stagnic soils with thick organic layers. The recursive partitioning algorithm Random Forest was used to predict the spatial water stagnation pattern ...
Mareike Ließ +2 more
doaj +1 more source
Advanced Intelligent Systems, EarlyView.This paper proposes a novel control framework to ensure safety of a robotic swarm. A feedback optimization controller is capable of driving the swarm toward a target density while keeping risk‐zone exposure below a safety threshold. Theory and experiments show how safety is more effectively achieved for sparsely connected swarms.
Longchen Niu, Gennaro Notomista
wiley +1 more source
Optimizing 3D Bin Packing of Heterogeneous Objects Using Continuous Transformations in SE(3)
Advanced Intelligent Systems, EarlyView.This article presents a method for solving the three‐dimensional bin packing problem for heterogeneous objects using continuous rigid‐body transformations in SE(3). A heuristic optimization framework combines signed‐distance functions, neural network approximations, point‐cloud bin modeling, and physics simulation to ensure feasibility and stability ...
Michele Angelini, Marco Carricato
wiley +1 more source
e-Prime: Advances in Electrical Engineering, Electronics and EnergyCross-country faults can adversely affect the operation of protection devices. Relays whose pickup is based on overcurrent or impedance elements are more likely to fail during cross-country faults.
Jose de Jesus Chavez +4 more
doaj +1 more source
Advanced Intelligent Systems, EarlyView.Four decades of retinal vessel segmentation research (1982–2025) are synthesized, spanning classical image processing, machine learning, and deep learning paradigms. A meta‐analysis of 428 studies establishes a unified taxonomy and highlights performance trends, generalization capabilities, and clinical relevance.
Avinash Bansal +6 more
wiley +1 more source
American Journal of Agricultural Economics, EarlyView.Abstract Germany's Renewable Energy Sources Act (REA), enacted in 2000 and subsequently amended, subsidized national renewable energy production with fixed feed‐in tariffs for renewable energy sources (RE) from wind, solar, and biogas. Empirical studies suggest that the policy was creating windfall effects for landowners and attribute farmland use ...
Lars Isenhardt +6 more
wiley +1 more source