scholarly journals A Summary of Recent Progress on Efficient Parametric Approximations of Viability and Discriminating Kernels

10.29007/bm16 ◽  
2018 ◽  
Author(s):  
Ian M. Mitchell
Keyword(s):  
Model Checking ◽  
Recent Progress ◽  
Polynomial Complexity ◽  
Computational Algorithms ◽  
Sampled Data ◽  
Paper Briefly ◽  
System Safety ◽  
Nonparametric Approach ◽  
Key Features ◽  
Grid Based

Viability and discriminating kernels are powerful constructs for analyzing system safety through model checking, but until recently the only computational algorithms available were nonparametric grid-based approaches which, although accurate, scaled exponentially with the dimension of the system's state space. In contrast, several polynomial complexity reachability algorithms have been developed using various parametric set representations. In a recent series of papers, two of these parametric approaches -- based on ellipsoids and support vectors -- have been adapted to approximate viability and discriminating kernels in the discrete, continuous and sampled data models of time. This paper briefly summarizes these algorithms and compares their key features with one another and with a representative nonparametric approach.

scholarly journals Advances in understanding of angioimmunoblastic T-cell lymphoma

Leukemia ◽  
2020 ◽  
Vol 34 (10) ◽  
pp. 2592-2606 ◽  
Author(s):  
Shigeru Chiba ◽  
Mamiko Sakata-Yanagimoto
Keyword(s):  
T Cell ◽  
Inflammatory Disease ◽  
Recent Progress ◽  
Cell Lymphoma ◽  
T Cell Lymphoma ◽  
Neoplastic Disease ◽  
Inflammatory Condition ◽  
Angioimmunoblastic T Cell Lymphoma ◽  
Immune Activity ◽  
Key Features

Abstract It has been nearly half a century since angioimmunoblastic T-cell lymphoma (AITL) was characterized in the early 1970’s. Our understanding of the disease has dramatically changed due to multiple discoveries and insights. One of the key features of AITL is aberrant immune activity. Although AITL is now understood to be a neoplastic disease, pathologists appreciated that it was an inflammatory condition. The more we understand AITL at cellular and genetic levels, the more we view it as both a neoplastic and an inflammatory disease. Here, we review recent progress in our understanding of AITL, focusing on as yet unsolved questions.

System safety assessment based on STPA and model checking

2018 ◽  
Vol 109 ◽  
pp. 130-143 ◽  
Author(s):  
Alheri Longji Dakwat ◽  
Emilia Villani
Keyword(s):  
Model Checking ◽  
Safety Assessment ◽  
System Safety

Ultrathin Single Crystal CoSi2 Layers on Si(111) and Si(100)

1987 ◽  
Vol 102 ◽  
Author(s):  
R. T. Tung ◽  
J. L. Batstone ◽  
S. M. Yalisove
Keyword(s):  
Molecular Beam Epitaxy ◽  
Single Crystal ◽  
Molecular Beam ◽  
Recent Progress ◽  
Paper Briefly

ABSTRACTThe growth of ultrathin epitaxial CoSi2 layers on Si by molecular beam epitaxy has been studied. This paper briefly outlines recent progress in the growth on Si(111) substrates. New results on the growth of epitaxial CoSi2 on Si(100) are also presented.

scholarly journals Research Progress of M13 Bacteriophage-Based Biosensors

Nanomaterials ◽  
2019 ◽  
Vol 9 (10) ◽  
pp. 1448 ◽  
Author(s):  
Moon ◽  
Choi ◽  
Jeong ◽  
Sohn ◽  
Han ◽  
...  
Keyword(s):  
Genetic Engineering ◽  
Self Assembly ◽  
Recent Progress ◽  
Research Progress ◽  
Homogeneous Distribution ◽  
Sensor Systems ◽  
M13 Bacteriophage ◽  
Mild Conditions ◽  
Sensitivity And Selectivity ◽  
Key Features

Recently, new virus-based sensor systems that operate on M13 bacteriophage infrastructure have attracted considerable attention. These systems can detect a range of chemicals with excellent sensitivity and selectivity. Filaments consistent with M13 bacteriophages can be ordered by highly established forms of self-assembly. This allows M13 bacteriophages to build a homogeneous distribution and infiltrate the network structure of nanostructures under mild conditions. Phage display, involving the genetic engineering of M13 bacteriophages, is another strong feature of the M13 bacteriophage as a functional building block. The numerous genetic modification possibilities of M13 bacteriophages are clearly the key features, and far more applications are envisaged. This paper reviews the recent progress in the application of the M13 bacteriophage self-assembly structures through to sensor systems and discusses future M13 bacteriophage technology.

scholarly journals Under-approximation Heuristics for Grid-based Bounded Model Checking

2006 ◽  
Vol 135 (2) ◽  
pp. 31-46
Author(s):  
Subramanian Iyer ◽  
Jawahar Jain ◽  
Debashis Sahoo ◽  
E. Allen Emerson
Keyword(s):  
Model Checking ◽  
Bounded Model Checking ◽  
Grid Based

Work, Employment and Society, 1997—2007

2008 ◽  
Vol 22 (2) ◽  
pp. 203-220 ◽  
Author(s):  
Helen Rainbird ◽  
Michael Rose
Keyword(s):  
Peer Review ◽  
Recent Progress ◽  
High Achievement ◽  
Theory Method ◽  
Upward Growth ◽  
Successful Establishment ◽  
Key Features

As Work, Employment & Society enters its 21st year, the co-Editors of WES for 2005—2007 take stock of the recent progress of the Journal, as shown by three main trends: regular upward growth in submissions; pluralism in terms of theory, method, and disciplinary contribution; and increasing internationalisation of the readership, author base, substantive coverage, and reputation of WES. Key features of the Journal which are believed to have contributed both to the successful establishment of the Journal in the first place and to its continuing high achievement are identified: collegiate ethos, reliance on in-house peer review, an active Editorial Board, and insistence on meaningful feed-back to authors.

scholarly journals Safety Analysis of AADL Models for Grid Cyber-Physical Systems via Model Checking of Stochastic Games

Electronics ◽  
2019 ◽  
Vol 8 (2) ◽  
pp. 212 ◽  
Author(s):  
Xiaomin Wei ◽  
Yunwei Dong ◽  
Pengpeng Sun ◽  
Mingrui Xiao
Keyword(s):  
Model Checking ◽  
Stochastic Games ◽  
Safety Analysis ◽  
Cyber Physical Systems ◽  
System Level ◽  
Probabilistic Model Checking ◽  
Critical Systems ◽  
System Safety ◽  
Physical Systems ◽  
Analysis And Design

As safety-critical systems, grid cyber-physical systems (GCPSs) are required to ensure the safety of power-related systems. However, in many cases, GCPSs may be subject to uncertain and nondeterministic environmental hazards, as well as the variable quality of devices. They can cause failures and hazards in the whole system and may jeopardize system safety. Thus, it necessitates safety analysis for system safety assurance. This paper proposes an architecture-level safety analysis approach for GCPSs applying the probabilistic model-checking of stochastic games. GCPSs are modeled using Architecture Analysis and Design Language (AADL). Random errors and failures of a GCPS and nondeterministic environment behaviors are explicitly described with AADL annexes. A GCPS AADL model including the environment can be regarded as a game. To transform AADL models to stochastic multi-player games (SMGs) models, model transformation rules are proposed and the completeness and consistency of rules are proved. Property formulae are formulated for formal verification of GCPS SMG models, so that occurrence probabilities of failed states and hazards can be obtained for system-level safety analysis. Finally, a modified IEEE 9-bus system with grid elements that are power management systems is modeled and analyzed using the proposed approach.

Layered double hydroxide nanomaterials as potential cellular drug delivery agents

2006 ◽  
Vol 78 (9) ◽  
pp. 1771-1779 ◽  
Author(s):  
Zhi Ping Xu ◽  
G. Q. (Max) Lu
Keyword(s):  
Drug Delivery ◽  
Layered Double Hydroxide ◽  
Recent Progress ◽  
Cellular Delivery ◽  
Paper Briefly ◽  
Efficient Delivery ◽  
Anionic Drugs ◽  
Double Hydroxide

This paper briefly reviews the recent progress in using layered double hydroxide (LDH) nanomaterials as cellular delivery agents. The advantages of LDHs as cellular delivery agents are summarized, and the processes of interaction/de-intercalation of anionic drugs (genes) into/from LDH nanoparticles are discussed. Then the cellular delivery of LDH-drug (gene) nanohybrids and subsequent intracellular processes are presumably proposed. At the end, some challenges and remarks for efficient delivery of drugs (genes) via LDH nanoparticles are provided to the best of our knowledge.

Sign in / Sign up

Export Citation Format

Share Document