Results 91 to 100 of about 425,347 (290)

Interprocedural Shape Analysis for Recursive Programs [PDF]

, 2001
A shape-analysis algorithm statically analyzes a program to determine information about the heap-allocated data structures that the program manipulates. The results can be used to optimize, understand, debug, or verify programs. Existing algorithms are quite imprecise in the presence of recursive procedure calls.
Noam Rinetzky, Shmuel Sagiv
openaire   +1 more source

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, Jesus Gil, Pedro J. Ballester   +2 more
wiley   +1 more source

Monitoring and Identification of Vibration Frequencies on a Portion of México City Metro Line 12

Advances in Civil Engineering, 2019
The use of recursive subspace-based identification methods is analyzed in the estimation of the most significant vibration frequencies along an elevated railroad segment of México City Metro Line 12 using ambient vibration measurements recorded from 2012,
Miguel Ángel García-Illescas, David Murià-Vila, Luis Alvarez-Icaza   +2 more
doaj   +1 more source

APPLICATION OF RECURSIVE PARTITIONING TO AGRICULTURAL CREDIT SCORING [PDF]

Recursive Partitioning Algorithm (RPA) is introduced as a technique for credit scoring analysis, which allows direct incorporation of misclassification costs.
LaDue, Eddy L., Novak, Michael P.
core   +1 more source

Using specialist software for qualitative data analysis. [Closing seminar] [PDF]

, 2007
This paper is divided in four parts. The first part provides some background information on the analysis of non-numerical data, specifically the content analysis of text, including approaches such as ‘grounded theory’ and ‘recursive comparative analysis’.
Odena, O.
core  

Lidar‐Based Object Tracking of Traffic Participants with Sensor Nodes in Existing Urban Infrastructure

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, Bassam Alrifaee, Ehsan Hashemi   +2 more
wiley   +1 more source

Exogenous shocks and time-varying price persistence in the EU27

Journal of Applied Economics
This paper analyses monthly price persistence in the EU27 countries over the period 2010–2022 using a fractional integration framework, where the measure of persistence is the fractional differencing parameter d.
Guglielmo Maria Caporale, Luis A. Gil-Alana, Amir Imeri   +2 more
doaj   +1 more source

The Ouroboros Model [PDF]

, 2008
At the core of the Ouroboros Model lies a self-referential recursive process with alternating phases of data acquisition and evaluation. Memory entries are organized in schemata. Activation at a time of part of a schema biases the whole structure and, in
Thomsen, Dr. Knud
core   +1 more source

“It Is Much Safer to Be Sparse than Connected”: Safe Control of Robotic Swarm Density Dynamics with PDE Optimization with State Constraints

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