Tracking indoor activities of patients with mild cognitive impairment using motion sensors
In order to maintain a healthy living both physiologically and psychologically, it is important
for patients with mild cognitive impairment (MCI) to maintain active in daily life. In this paper …
for patients with mild cognitive impairment (MCI) to maintain active in daily life. In this paper …
Implicit reward structures for implicit reliability models
A new methodology for effective definition and efficient evaluation of dependability-related
properties is proposed. The analysis targets the systems composed of a large number of …
properties is proposed. The analysis targets the systems composed of a large number of …
A stochastic modeling approach for an efficient dependability evaluation of large systems with non-anonymous interconnected components
G Masetti, F Di Giandomenico… - 2017 IEEE 28th …, 2017 - ieeexplore.ieee.org
This paper addresses the generation of stochastic models for dependability and
performability analysis of complex systems, through automatic replication of template …
performability analysis of complex systems, through automatic replication of template …
GTAexpress: A software package to handle Kronecker descriptors
This paper presents a software package, called GTAexpress, to handle structured
continuous-time Markovian models expressed using generalized tensor algebra, also …
continuous-time Markovian models expressed using generalized tensor algebra, also …
Model-based simulation in Möbius: an efficient approach targeting loosely interconnected components
This paper addresses the generation of stochastic models for dependability and
performability analysis of complex systems, through automatic replication of template …
performability analysis of complex systems, through automatic replication of template …
Stochastic evaluation of large interdependent composed models through Kronecker algebra and exponential sums
The KAES methodology for efficient evaluation of dependability-related properties is
proposed. KAES targets systems representable by Stochastic Petri Nets-based models …
proposed. KAES targets systems representable by Stochastic Petri Nets-based models …
On identity-aware replication in stochastic modeling for simulation-based dependability analysis of large interconnected systems
This paper focuses on the generation of stochastic models for dependability and
performability analysis, through mechanisms for the automatic replication of template …
performability analysis, through mechanisms for the automatic replication of template …
A query reformulation model using markov graphic method
J Zuo, M Wang - 2011 International Conference on Asian …, 2011 - ieeexplore.ieee.org
Information retrieval model is still can not achieve satisfactory performance after decades of
development. One of the reasons is the queries can not express information need precisely …
development. One of the reasons is the queries can not express information need precisely …
Safe-Platoon: A Formal Model for Safety Evaluation
M Garoui - International Journal of Software Science and …, 2019 - igi-global.com
Building a safety model to make expert decisions is an approach to improve the safety of a
system. The issue of safe modeling and analyzing such domain is still an open research …
system. The issue of safe modeling and analyzing such domain is still an open research …
Safety modelling and evaluation of vehicles platoon based on SAN models
M Garoui - International journal of vehicle safety, 2017 - inderscienceonline.com
Building a safety model is an approach to make expert decisions explicit about safety of a
system. The issue of safe modelling and analysis in such domain is still an open research …
system. The issue of safe modelling and analysis in such domain is still an open research …