Results 111 to 120 of about 2,741,379 (327)

Complexity analysis of the SAT engine: DNA algorithms as probabilistic algorithms

Theoretical Computer Science, 2002
AbstractTaking advantage of the power of DNA molecules to spontaneously form hairpin structures, Sakamoto et al. designed a molecular algorithm to solve instances of the satisfiability problem on Boolean expressions in clausal form (the SAT problem), and by developing new experimental techniques for molecular biology, they succeeded in solving a 6 ...
Masami Hagiya, John A. Rose, Ken Komiya, Kensaku Sakamoto   +3 more
openaire   +2 more sources

Alk: A Formal-Methods-based Educational Platform for Enhancing Algorithmic Thinking

Scientific Annals of Computer Science
Algorithm design courses are fundamental to computer science curricula, but fostering algorithmic thinking in students is challenging due to the diverse skills and creativity required. Dedicated teaching support tools can help both course instructors and
Alexandru-Ioan Lungu, Vlad Teodorescu, Andrei Zaborila, Oana Andrei, Dorel Lucanu   +4 more
doaj   +1 more source

Random Learning Leads to Faster Convergence in ‘Model‐Free’ ILC: With Application to MIMO Feedforward in Industrial Printing

International Journal of Adaptive Control and Signal Processing, EarlyView.
The cost as a function of the number of experiments for a non‐symmetric 21×21$$ 21\times 21 $$ system. Four approaches are shown: the proposed stochastic conjugate gradient ILC (SCGILC) method (), deterministic conjugate gradient ILC (), stochastic gradient descent ILC () and deterministic gradient descent ILC ().
Leontine Aarnoudse, Tom Oomen
wiley   +1 more source

Probabilistic Verification of Neural Networks using Branch and Bound [PDF]

arXiv
Probabilistic verification of neural networks is concerned with formally analysing the output distribution of a neural network under a probability distribution of the inputs. Examples of probabilistic verification include verifying the demographic parity fairness notion or quantifying the safety of a neural network.
arxiv  

Modular Verification for Almost-Sure Termination of Probabilistic Programs [PDF]

arXiv, 2019
In this work, we consider the almost-sure termination problem for probabilistic programs that asks whether a given probabilistic program terminates with probability 1. Scalable approaches for program analysis often rely on modularity as their theoretical basis.
arxiv  

Decision Making Using Probabilistic Inference Methods [PDF]

arXiv, 2013
The analysis of decision making under uncertainty is closely related to the analysis of probabilistic inference. Indeed, much of the research into efficient methods for probabilistic inference in expert systems has been motivated by the fundamental normative arguments of decision theory.
arxiv  

Elucidating a Magnetic Resonance Imaging-Based Neuroanatomic Biomarker for Psychosis: Classification Analysis Using Probabilistic Brain Atlas and Machine Learning Algorithms [PDF]

, 2009
Daqiang Sun, Theo G.M. van Erp, Paul M. Thompson, Carrie E. Bearden, Melita Daley, Leila Kushan, Molly Hardt, Keith H. Nuechterlein, Arthur W. Toga, Tyrone D. Cannon   +9 more
openalex   +1 more source

Anomaly Detection Method for Hybrid Workpieces Using Dynamic Time Warping

Advanced Engineering Materials, EarlyView.
Monitoring of hybrid workpieces: when machining hybrid workpieces, unavoidable axial deviations of the material transition zone cause temporal shifts in the process force signals. A new anomaly detection method based on dynamic time warping is proposed to detect material defects.
Berend Denkena, Benjamin Bergmann, Heinrich Klemme, Miriam Handrup   +3 more
wiley   +1 more source

Consolidate Overview of Ribonucleic Acid Molecular Dynamics: From Molecular Movements to Material Innovations

Advanced Engineering Materials, EarlyView.
Molecular dynamics simulations are advancing the study of ribonucleic acid (RNA) and RNA‐conjugated molecules. These developments include improvements in force fields, long‐timescale dynamics, and coarse‐grained models, addressing limitations and refining methods.
Kanchan Yadav, Iksoo Jang, Jong Bum Lee
wiley   +1 more source

Doubling Algorithms for Stationary Distributions of Fluid Queues: A Probabilistic Interpretation [PDF]

arXiv, 2018
Fluid queues are mathematical models frequently used in stochastic modelling. Their stationary distributions involve a key matrix recording the conditional probabilities of returning to an initial level from above, often known in the literature as the matrix $\Psi$.
arxiv