Results 101 to 110 of about 14,038,774 (295)
Approximate Quantifier Elimination for Propositional Boolean Formulae [PDF]
, 2011 This paper describes an approximate quantifier elimination procedure for propositional Boolean formulae. The method is based on computing prime implicants using SAT and successively refining over-approximations of a given formula.
Lijun Zhang +9 more
core +1 more source
Advanced Intelligent Systems, EarlyView.TwinX shows how a single interbody wire connecting two robots can support both integrated morphological reconfiguration and distributed wire‐mediated cooperation. When the robots dock, they reconfigure into different forms for locomotion and manipulation.
Shintaro Inoue +5 more
wiley +1 more source
The Region of Attraction for Output Tracking in Probabilistic Boolean Control Networks
MathematicsThis paper investigates the asymptotic output tracking problem in probabilistic Boolean control networks by introducing the concept of the tracking region of attraction (TROA).
Bingquan Chen +4 more
doaj +1 more source
Optimal control for probabilistic Boolean networks
IET Systems Biology, 2010 Aberrant gene functions usually contribute to the pathology or diseases. Avoiding undesirable cellular phenotypes as many as possible is a major purpose of external control for gene regulatory networks. An interesting question is how to control a gene network subjected to the condition that the genes reach some undesirable states with minimal ...
Q, Liu, X, Guo, T, Zhou
openaire +2 more sources
On the complexity of finding control strategies for Boolean networks
, 2006 This paper considers a problem of finding control strategies for Boolean networks, where Boolean networks have been used as a model of genetic networks. This paper shows that finding a control strategy leading to the desired global state is NP-hard even ...
Ng, MK +3 more
core +1 more source
Advanced Intelligent Systems, EarlyView.A unifying device–cardiovascular interface framework is presented to classify implantable cardiovascular technologies as intracardiovascular blood‐contacting systems or extracardiovascular tissue‐only and blood‐handling architectures. Cross‐class comparison across shared semiquantitative criteria, including blood‐contact burden, biomimicry ...
Bergo Nicolò +7 more
wiley +1 more source
Deterministic local multi-point fault detection method for industrial control topology
Tongxin xuebao, 2021 In view of the fact that the existing network fault detection algorithms cannot meet the four requirements of determination of detection time, low detection overhead, multi-point fault detection ability and topology adaptability of industrial control ...
Ruozhou LIANG, Xibin ZHAO, Hai WAN
doaj +2 more sources
Responsible Artificial Intelligence in Courts: A Four‐Test Framework
AI &Innovation, EarlyView.ABSTRACT A structured framework for responsible AI applications relating to judicial decision‐making and the adjudicative functions of courts requires the satisfaction of multiple context‐specific safeguards. This article proposes a four‐test framework designed to evaluate whether AI systems used in courts operate in accordance with legal, procedural ...
Kwan Yiu Cheng
wiley +1 more source
Security control of Boolean control networks against periodic DoS attacks
Franklin OpenThis paper studies the stabilization of Boolean control networks (BCNs) under periodic denial-of-service (PDoS) attacks for the first time. DoS attack is one typical form of network attacks that blocks the delivery of information between network nodes ...
Bowen Bai, Jinhuan Wang, Linying Xiang
doaj +1 more source
AI &Innovation, EarlyView.ABSTRACT Background Endoscopic dilation is first‐line therapy for symptomatic benign esophageal strictures but remains operator‐dependent. Artificial intelligence (AI) could support assessment, risk stratification, and documentation; however, evidence from adjacent tasks is often mistaken for procedure‐specific validation.
Ahmed A. Salman, Mohamed A. Salman
wiley +1 more source