Results 61 to 70 of about 11,242,110 (313)
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
Statistical Model Checking of e-Motions Domain-Specific Modeling Languages [PDF]
, 2016 Domain experts may use novel tools that allow them to de- sign and model their systems in a notation very close to the domain problem. However, the use of tools for the statistical analysis of stochas- tic systems requires software engineers to carefully
Alvarez-Palomo, Jose Maria +2 more
core +1 more source
The (non) determinants of Olympic success [PDF]
Journal of Sports Economics, 2021 This paper empirically examines the determinants of Summer Olympic success during the period 1996-2016. By modifying the panel Tobit estimator using the Mundlak transform, the results find that population size and the host effect are the only statistically significant determinants of Olympic attainment.
openaire +2 more sources
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
Maximally permissive controlled system synthesis for non-determinism and modal logic
Discrete event dynamic systems, 2016 We propose a new technique for controlled system synthesis on non-deterministic automata for requirements in modal logic. Synthesis, as defined in this paper, restricts a behavioral specification of the uncontrolled system such that it satisfies a given ...
A. V. Hulst, M. Reniers, W. Fokkink
semanticscholar +1 more source
, 2015 In this paper, we consider termination of probabilistic programs with real-valued variables. The questions concerned are: 1. qualitative ones that ask (i) whether the program terminates with probability 1 (almost-sure termination) and (ii) whether the ...
Baier C. +15 more
core +1 more source
Overcoming Non-determinism in Testing Smart Devices: A Case Study [PDF]
, 2010 This paper presents a case study in ”black-box” assessment of a ”smart” device where, based only on the user manuals and the instrument itself, we try to build confidence in smart device reliability.
P. Bishop, R. Alur, M. Krichen
core +1 more source
Deterministic Detection of Single Ion Implantation
Advanced Engineering Materials, EarlyView.Focused ion beam implantation with high detection efficiencies will enable the rapid and scalable fabrication of advanced spin‐based technologies such as qubits. This work presents the detection efficiencies of a wide range of ions implanted into solid‐state hosts, with efficiencies of >90% recorded for ion species and substrate combinations of ...
Mason Adshead +6 more
wiley +1 more source
La objetividad del azar en un mundo determinista
Crítica, 2018 This paper deals with the notion of objective randomness in classical deterministic theories. After the introduction, section 2 establishes an important distinction between a strictly metaphysical thesis of determinism (as characterized in the Montague ...
Sergio Martínez
doaj +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