Results 31 to 40 of about 10,800,365 (307)
Probabilistic Programming Process Algebra [PDF]
, 2014 Formal modelling languages such as process algebras are widespread and effective tools in computational modelling. However, handling data and uncertainty in a statistically meaningful way is an open problem in formal modelling, severely hampering the ...
Sanguinetti, Guido +7 more
core +1 more source
Molecular Oncology, EarlyView.Incomplete microwave ablation (iMWA) of liver cancer triggers a biphasic progression in residual tumors. At Day 3, the microenvironment is characterized by acute inflammatory responses and extracellular matrix (ECM) remodeling. By Day 14, a profound shift occurs toward oncogenic signal transduction and immunosuppression, marked by macrophage ...
Yu Liu +9 more
wiley +1 more source
Digital Cognitive Phenotyping for Differential Diagnosis and Monitoring in Neurological Conditions
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To assess the utility, accessibility, and equivalence to supervised scales of online cognitive assessment in older individuals with cognitive impairment. Methods Patients with Alzheimer's disease (AD, n = 31), idiopathic normal pressure hydrocephalus (iNPH, n = 26), and traumatic brain injury (TBI, n = 23) completed online cognitive ...
Martina Del Giovane +10 more
wiley +1 more source
Geosciences, 2019 Local scour is a dynamic process evolving during the lifetime of bridges as a result of the changes in hydrologic and hydraulic conditions. Current approaches for scour risk assessment are generally based on the evaluation of the equilibrium scour depth ...
Alonso Pizarro, Enrico Tubaldi
doaj +1 more source
Observer‐Based Adaptive Event‐Triggered Tracking Control for Fuzzy TS Systems With Premise Mismatch
International Journal of Adaptive Control and Signal Processing, EarlyView.This paper presents an adaptive logistic event‐triggered observer‐based tracking controller for Takagi‐Sugeno fuzzy systems under constrained inputs and network delays. Leveraging a hybrid LMI and Secretary Bird Optimization approach, this strategy significantly minimizes communication overhead and computational burden while ensuring optimal reference ...
Oussama Djadane +3 more
wiley +1 more source
Open Markov Type Population Models: From Discrete to Continuous Time
Mathematics, 2021 We address the problem of finding a natural continuous time Markov type process—in open populations—that best captures the information provided by an open Markov chain in discrete time which is usually the sole possible observation from data.
Manuel L. Esquível +2 more
doaj +1 more source
Comparison of Semi-Markov and Markov Processes
The Annals of Mathematical Statistics, 1971 Conditions are given under which a semi-Markov process $Z(t)$ can be obtained from a Markov process $Y(t)$ by a time change (i.e. $Z(t) = Y(\gamma(t))$). Estimates are given for $P\{\sup_{s\leqq t} |s - \gamma(s)| > \varepsilon\}$ and the construction is used to give conditions under which a sequence of semi-Markov processes will have the same ...
openaire +2 more sources
Fostering Innovation: Streamlining Magnetocaloric Materials Research by Digitalization
Advanced Engineering Materials, EarlyView.Magnetocaloric cooling (MCE) is an environmentally friendly refrigeration method with great potential. Optimizing MCE materials involves the preparation and screening of large quantities of samples, which in turn generates a large amount of data. A digitalization approach is presented that uses ontologies, knowledge graphs, and digital workflows to ...
Simon Bekemeier +17 more
wiley +1 more source
Advanced Functional Materials, EarlyView.This review establishes structure‐property‐mechanism relationships across six modification strategies for V‐based oxide water‐splitting electrocatalysts: lattice engineering, heteroatom doping, interface engineering, carbon‐based hybridization, morphology engineering, and surface reconstruction and pre‐catalyst design, where dissolution is reframed as ...
Youness El Issmaeli +4 more
wiley +1 more source
Controllable Summarization with Constrained Markov Decision Process
Transactions of the Association for Computational Linguistics, 2021 We study controllable text summarization, which allows users to gain control on a particular attribute (e.g., length limit) of the generated summaries. In this work, we propose a novel training framework based on Constrained Markov Decision Process (CMDP)
Hou Pong Chan, Lu Wang, Irwin King
doaj +1 more source