Results 131 to 140 of about 90,486 (306)
A Uniform Approach to Random Process Model [PDF]
arXiv, 2019 There is a lot of research on probabilistic transition systems. There are not many studies in probabilistic process models. The lack of investigation into the interactive aspect of probabilistic processes is mainly due to the difficulty caused by the discrepancy between probabilistic actions and nondeterministic behaviours. The paper proposes a uniform
arxiv
Advanced Intelligent Systems, EarlyView.This work explores the three‐transistors‐one‐capacitor synaptic cell design for analog in‐memory computing, focusing on improving performance and scalability in deep neural network (DNN) training. By optimizing transistor characteristics and proposing a novel cell design, challenges such as large cell areas and retention issues are addressed.
Byoungwoo Lee +11 more
wiley +1 more source
Mission‐centric decision support in cybersecurity via Bayesian Privilege Attack Graph
Engineering Reports, Volume 4, Issue 12, December 2022., 2022 We propose a mission‐centric approach to assessing the risks of cyber attacks on the organization's mission and provide decision support to network security administrators. Our approach uses a unique stochastic model that connects vulnerability impacts to the mission's security requirements and allows selecting the most resilient configuration of ...
Michal Javorník, Martin Husák
wiley +1 more source
Probabilistic quantum logic operations using polarizing beam splitters [PDF]
, 2001 T. B. Pittman +2 more
openalex +1 more source
Advances in 3D and 4D Printing of Soft Robotics and Their Applications
Advanced Intelligent Systems, EarlyView.This article summarizes the development of 3D‐printed soft robotics in the recent decade. The article discusses the printing capabilities of different additive manufacturing technologies in terms of soft polymers, multimaterial printability, soft robotic printing, and 4D printing.
Hao Liu +5 more
wiley +1 more source
On complexity of veri¯cation of nondeterministic probabilistic multiagent systems
Моделирование и анализ информационных систем, 2010 Probabilistic systems of interacting nondeterministic intelligent agents are consid- ered. States of the agents in these systems are some probabilistic databases, and the activity of the agents is controlled by some probabilistic logic programs. Moreover,
M. K. Valiev, M. I. Dekhtyar
doaj
Model Checking with Probabilistic Tabled Logic Programming [PDF]
arXiv, 2012 We present a formulation of the problem of probabilistic model checking as one of query evaluation over probabilistic logic programs. To the best of our knowledge, our formulation is the first of its kind, and it covers a rich class of probabilistic models and probabilistic temporal logics.
arxiv
Uncontrolled Learning: Codesign of Neuromorphic Hardware Topology for Neuromorphic Algorithms
Advanced Intelligent Systems, EarlyView.Codesign is used to implement a neuroscience‐inspired machine learning algorithm in all neuromorphic hardware. In this implementation, the hidden memristors cannot be directly accessed, limiting control of the network during training. By leveraging theoretical tools, including memristor circuits dynamics and a closed form expression for the network ...
Frank Barrows +3 more
wiley +1 more source
Data in Brief, 2020 Land-use planning in regard of earthquake-triggered landslides is usually implemented by means of the production of hazard maps. The well-known Newmark rigid block methodology is the most frequent used approach for this purpose.
Martín J. Rodríguez-Peces +6 more
doaj
Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems [PDF]
arXiv, 2016 Larsen and Skou characterized probabilistic bisimilarity over reactive probabilistic systems with a logic including true, negation, conjunction, and a diamond modality decorated with a probabilistic lower bound. Later on, Desharnais, Edalat, and Panangaden showed that negation is not necessary to characterize the same equivalence.
arxiv