Results 11 to 20 of about 186,715 (208)
The Project Scheduling Problem with Non-Deterministic Activities Duration: A Literature Review [PDF]
, 2018 Purpose: The goal of this article is to provide an extensive literature review of the models and solution procedures proposed by many researchers interested on the Project Scheduling Problem with nondeterministic activities duration.
Diaz-Serna, F. Javier +1 more
core +4 more sources
On optimal quantization rules for some problems in sequential decentralized detection
, 2008 We consider the design of systems for sequential decentralized detection, a problem that entails several interdependent choices: the choice of a stopping rule (specifying the sample size), a global decision function (a choice between two competing ...
Jordan, Michael I. +2 more
core +3 more sources
Approximating the Termination Value of One-Counter MDPs and Stochastic Games [PDF]
, 2011 One-counter MDPs (OC-MDPs) and one-counter simple stochastic games (OC-SSGs) are 1-player, and 2-player turn-based zero-sum, stochastic games played on the transition graph of classic one-counter automata (equivalently, pushdown automata with a 1-letter ...
G.R. Grimmett +6 more
core +3 more sources
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective In multiple sclerosis, the optimal time for deploying a therapeutic intervention is before the central nervous system is damaged; given the success of trials treating the earliest stage of MS, the radiologically isolated syndrome, developing primary prevention strategies is an important next challenge.
Amy W. Laitinen +7 more
wiley +1 more source
Subexponential convergence for information aggregation on regular trees
, 2011 We consider the decentralized binary hypothesis testing problem on trees of bounded degree and increasing depth. For a regular tree of depth t and branching factor k>=2, we assume that the leaves have access to independent and identically distributed ...
Kanoria, Yashodhan, Montanari, Andrea
core +1 more source
Advanced Engineering Materials, EarlyView.Predicting extreme defects in additive manufacturing remains a key challenge limiting its structural reliability. This study proposes a statistical framework that integrates Extreme Value Theory with advanced process indicators to explore defect–process relationships and improve the estimation of critical defect sizes. The approach provides a basis for
Muhammad Muteeb Butt +8 more
wiley +1 more source
"More Deterministic" vs. "Smaller" Buechi Automata for Efficient LTL Model Checking [PDF]
, 2003 The standard technique for LTL model checking ($M\models\neg\vi$) consists on translating the negation of the LTL specification, $\vi$, into a B\"uchi automaton $A_\vi$, and then on checking if the product $M \times A_\vi$ has an empty language.
Sebastiani, Roberto, Tonetta, Stefano
core +1 more source
, 2009 Many studies on animal and human movement patterns report the existence of scaling laws and power-law distributions. Whereas a number of random walk models have been proposed to explain observations, in many situations individuals actually rely on mental
Belik V V +5 more
core +1 more source
A Lightweight Procedural Layer for Hybrid Experimental–Computational Workflows in Materials Science
Advanced Engineering Materials, EarlyView.We unveil a prototype hybrid‐workflow framework that fuses automatedcomputation with hands‐on experiments. Built atop pyiron, a lightweight, parameterized layer translates procedure descriptions into executable manual steps, syncing instrument settings, human interventions, and data capture in real‐time today.
Steffen Brinckmann +8 more
wiley +1 more source
ITEGAM-JETIAIncreasing industrial competitiveness demands stable and continuously monitored production processes. This work presents a Non-Conformance Detection System based on Fuzzy Logic, applied to quality control in manufacturing.
Roberto Ferreira de Lima +2 more
doaj +1 more source