Results 61 to 70 of about 50,577 (261)

Improved MDD Algorithm for Mission Reliability Estimation of an Escort Formation

IEEE Access, 2020
An escort formation is a phased mission system of systems (PMSoS), which is composed of multiple ships with different functions. The configuration of the formation and success criteria for a mission may vary in different phases.
Ruibing Bian, Zhengqiang Pan, Zhijun Cheng, Senyang Bai   +3 more
doaj   +1 more source

Binary-Decision-Diagrams for Set Abstraction

CoRR, 2015
Whether explicit or implicit, sets are a critical part of many pieces of software. As a result, it is necessary to develop abstractions of sets for the purposes of abstract interpretation, model checking, and deductive verification. However, the construction of effective abstractions for sets is challenging because they are a higher-order construct. It
openaire   +2 more sources

Ordered Binary Decision Diagrams as Knowledge-Bases

Artificial Intelligence, 1999
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Takashi Horiyama, Toshihide Ibaraki
openaire   +2 more sources

Clinical and Modifiable Factors Associated With Disability and Relapse in MOGAD: A Multicentre Cohort Study

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Factors associated with relapse course and disability in myelin oligodendrocyte glycoprotein antibody‐associated disease (MOGAD) remain incompletely understood. Objectives To identify clinical and modifiable factors associated with relapse and disability in MOGAD. Methods In this ambispective multicentre cohort study using data from
Yingtao Wang, Shaoxin Tao, Qiujia Wang, Xiaoyu Xu, Hui Yao, Zheng Liu, Dawei Li, Zhandong Qiu, Jinming Han, Jiangwei Xia, Qi Wang, Jun Sun, Kai Shao, Jiao Li, Shishuang Ruan, Yi Zhong, Jun Guo, Shougang Guo, Yue Huang, Guoliang Chai, Tao Jin, Hongyu Zhou, Junwei Hao, Yinan Zhao   +23 more
wiley   +1 more source

Truth tables to binary decision diagrams [PDF]

, 2020
Model transformation tools have reached a considerable level of maturity in the core features, and are currently developing in many directions. Some tools are focusing on providing higher performance for large models or complex transformations. Others focus on bidirectionality, visualisation, traceability, or verifiability, among other research ...
Antonio García-Domínguez, Georg Hinkel
openaire   +1 more source

Factors Associated With the Rising Trend in Self‐Reported Cognitive Disability Among U.S. Adults Aged 18–39 From 2013–2024

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Building on our prior Behavioral Risk Factor Surveillance System analysis identifying adults aged 18–39 as the primary driver of the national increase in self‐reported cognitive disability, we examined factors associated with this rise using 2013–2024 U.S. BRFSS data. Methods We analyzed U.S.
Adam de Havenon, Ka‐Ho Wong, Mirriam Mananah, Christopher D. Anderson, Ada Fenick, Amy Arnsten, Arman Fesharaki‐Zadeh, James C. McPartland, Mary L. Adams, Kevin N. Sheth   +9 more
wiley   +1 more source

Learning ordered binary decision diagrams

, 1995
We study the learnability of ordered binary decision diagrams (obdds). We give a polynomial-time algorithm using membership and equivalence queries that finds the minimum obdd for the target respecting a given ordering. We also prove that both types of queries and the restriction to a given ordering are necessary if we want minimality in the output ...
Gavaldà Mestre, Ricard, Guijarro Guillem, David   +1 more
openaire   +2 more sources

Arterial Spin‐Labeling MRI at the Cortical‐CSF Interface: A Novel Biomarker in Alzheimer Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background/Objective Arterial spin‐labeling (ASL) MRI can measure perfusion signal adjacent to CSF spaces and may provide information regarding CSF‐adjacent water transport physiology. We developed an automated pipeline to extract cortical‐CSF interface (IF) perfusion for comparison between Alzheimer disease (AD) and cognitively normal ...
Mona Asghariahmadabad, Pouya Metanat, Michael Thomas, Luke W. Bonham, Tyson Lam, Mehmet Kurt, Hong Nguyen, Tara Ellingson, Mauro Zucchelli, Stefano Casagranda, Quin Lu, Andreas M. Rauschecker, Leo Sugrue, Luis E. Savastano, Christopher P. Hess, Kamalini Ranasinghe, S. Andrew Josephson, Bruce L. Miller, Jennifer S. Yokoyama, Gil D. Rabinovici, Peter A. Ljubenkov, Lawren VandeVrede, Kambiz Nael   +22 more
wiley   +1 more source

An Innovative Linear Wireless Sensor Network Reliability Evaluation Algorithm

Sensors
In recent years, wireless sensor networks (WSNs) have become a crucial technology for infrastructure monitoring. To ensure the reliability of monitoring services, evaluating the network’s reliability is particularly important.
Tao Ma, Huidong Guo, Xin Li
doaj   +1 more source

A Failure Mechanism Cumulative Model for Reliability Evaluation of a k-Out-of-n System With Load Sharing Effect

IEEE Access, 2019
In this paper, we propose a failure mechanism cumulative model that considers the loading history of the load sharing effect in a k-out-of-n system. Three types of failure mechanisms are considered, continuous degradation, compound point degradation, and
Ying Chen, Xiaoyong Yu, Yingyi Li
doaj   +1 more source