Results 61 to 70 of about 230,301 (307)
Falsification of Cyber-Physical Systems with Robustness-Guided Black-Box Checking
, 2021 For exhaustive formal verification, industrial-scale cyber-physical systems (CPSs) are often too large and complex, and lightweight alternatives (e.g., monitoring and testing) have attracted the attention of both industrial practitioners and academic ...
Frehse Goran, Hoxha Bardh
core +1 more source
Precision‐Optimised Post‐Stroke Prognoses
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Current medicine cannot confidently predict who will recover from post‐stroke impairments. Researchers have sought to bridge this gap by treating the post‐stroke prognostic problem as a machine learning problem, reporting prediction error metrics across samples of patients whose outcomes are known.
Thomas M. H. Hope +4 more
wiley +1 more source
Serret-Frenet Frame and Curvatures of Bézier Curves
Mathematics, 2018 The aim of this study is to view the role of Bézier curves in both the Euclidean plane E 2 and Euclidean space E 3 with the help of the fundamental algorithm which is commonly used in Computer Science and Applied Mathematics and without ...
Esra Erkan, Salim Yüce
doaj +1 more source
A functional quantum programming language
, 2004 We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by morphisms in the category FQC of finite quantum computations, which provides
Altenkirch, Thorsten, Grattage, Jonathan
core +8 more sources
Correlation Between Irisin and Cognitive Functions in Alzheimer Dementia
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective The myokine irisin, a recent positive mediator of exercise in the brain, shows neuroprotective functions against Alzheimer's disease (AD). The association between irisin and cognition has never been explored in a biologically defined cohort of patients.
Patrizia Pignataro +12 more
wiley +1 more source
LIN28B Promotes Cancer Cell Dissemination and Angiogenesis
Advanced Biology, EarlyView.Children diagnosed with high‐risk neuroblastoma have a 5‐year event‐free survival rate of less than 50% and poor outcomes after recurrence. Deregulation of the LIN28B oncogene can be addressed in these patients. Upregulation of LIN28B is shown to support the metastatic cascade.
Diana Corallo +8 more
wiley +1 more source
, 1958 In this thesis an operational semantics for a subset of the Java Virtual Machine (JVM) is developed and presented. The subset contains standard operations such as control flow, computation, and memory management.
Shimm, Melvin G.
core +1 more source
The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
, 2016 We present the guarded lambda-calculus, an extension of the simply typed lambda-calculus with guarded recursive and coinductive types. The use of guarded recursive types ensures the productivity of well-typed programs.
Birkedal, Lars +3 more
core +1 more source
Rate-Based Transition Systems for Stochastic Process Calculi [PDF]
, 2009 A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes.
B. Klin +19 more
core +1 more source
A Case‐Based Reasoning Approach to Model Manufacturing Constraints for Impact Extrusion
Advanced Engineering Materials, EarlyView.A hybrid modeling approach is presented that combines constraint‐based process modeling and case‐based reasoning. The model formalizes manufacturing constraints and integrates simulation data to model complex manufacturing processes. The approach supports manufacturability analysis during product design through an adaptive modeling environment.
Kevin Herrmann +5 more
wiley +1 more source