다중혈관 관상동맥 환자에서 y-문합을 이용하여 양쪽 내흉동맥만을 사용한 우회술의 조기 성적

What is modal logic

Alternating-time temporal logic

A large part of safety-critical embedded systems has to satisfy hard real-time constraints. These need sound methods and tools to derive run-time guarantees that are not only reliable but also precise. The achievable precision highly depends on characteristics of the target architecture, the implementation methods and system layers of the software. Trends in hardware and software design run contrary to predictability. This article describes threats to timing predictability of systems, and proposes design principles that support timing predictability. The ultimate goal is to design performant systems with sharp upper and lower bounds on execution times.

Design for Timing Predictability

Probability and measure, by Patrick Billingsley. Pp 515. £15·20. 1979. SBN 0 471 03173 9 (Wiley)

Recent work on Alternating-Time Temporal Logic and Coalition Logic has allowed the expression of many interesting properties of coalitions and strategies. However there is no natural way of expressing resource requirements in these logics. This paper presents a Resource-Bounded Coalition Logic (RBCL) which has explicit representation of resource bounds in the language, and gives a complete and sound axiomatisation of RBCL.

/pdf/a-logic-for-coalitions-with-bounded-resources-2y1dtm0ug9.pdf

A logic for coalitions with bounded resources

Many problems in AI and multi-agent systems research are most naturally formulated in terms of the abilities of a coalition of agents. There exist several excellent logical tools for reasoning about coalitional ability. However, coalitional ability can be affected by the availability of resources, and there is no straightforward way of reasoning about resource requirements in logics such as Coalition Logic (CL) and Alternating-time Temporal Logic (ATL). In this paper, we propose a logic for reasoning about coalitional ability under resource constraints. We extend ATL with costs of actions and hence of strategies. We give a complete and sound axiomatisation of the resulting logic Resource-Bounded ATL (RB-ATL) and an efficient model-checking algorithm for it.

/pdf/resource-bounded-alternating-time-temporal-logic-5b457pzjl9.pdf

Resource-bounded alternating-time temporal logic

In embryonic development and throughout life, there are some cells can exhibit phenotypic plasticity. Phenotypic plasticity is the ability of cells to differentiate into multiple lineages. In normal development, plasticity is highly regulated whereas cancer cells re-activate this dynamic ability for their own progression. The re-activation of these mechanisms enables cancer cells to acquire a cancer stem cell (CSC) phenotype- a subpopulation of cells with increased ability to survive in a hostile environment and resist therapeutic insults. There are several contributors fuel CSC plasticity in different stages of disease progression such as a complex network of tumour stroma, epidermal microenvironment and different sub-compartments within tumour. These factors play a key role in the transformation of tumour cells from a stable condition to a progressive state. In addition, flexibility in the metabolic state of CSCs helps in disease progression. Moreover, epigenetic changes such as chromatin, DNA methylation could stimulate the phenotypic change of CSCs. Development of resistance to therapy due to highly plastic behaviour of CSCs is a major cause of treatment failure in cancers. However, recent studies explored that plasticity can also expose the weaknesses in CSCs, thereby could be utilized for future therapeutic development. Therefore, in this review, we discuss how cancer cells acquire the plasticity, especially the role of the normal developmental process, tumour microenvironment, and epigenetic changes in the development of plasticity. We further highlight the therapeutic resistance property of CSCs attributed by plasticity. Also, outline some potential therapeutic options against plasticity of CSCs.

/pdf/plasticity-of-cancer-stem-cell-origin-and-role-in-disease-26ckx2cvjl.pdf

Plasticity of Cancer Stem Cell: Origin and Role in Disease Progression and Therapy Resistance

Recent work on Alternating-Time Temporal Logic and Coalition Logic has allowed the expression of many interesting properties of coalitions and strategies. However, there is no natural way of expressing resource requirements in these logics. In this article, we present a Resource-Bounded Coalition Logic (RBCL) that has explicit representation of resource bounds in the language. We give a complete and sound axiomatization of RBCL, a procedure for deciding satisfiability of RBCL formulas, and a model-checking algorithm.

/pdf/logic-for-coalitions-with-bounded-resources1-kv7d0qf4vk.pdf

Logic for coalitions with bounded resources1

A lectin (termed NNTL) was purified from the extracts of Nymphaea nouchali tuber followed by anion-exchange chromatography on DEAE-cellulose, hydrophobic chromatography on HiTrap Phenyl HP and by repeated anion-exchange chromatography on HiTrap Q FF column. The molecular mass of the purified lectin was 27.0 ± 1.0 kDa, as estimated by SDS/PAGE both in the presence and in the absence of 2-mercaptoethanol. NNTL was an o-nitrophenyl β-D-galactopyranoside sugar-specific lectin that agglutinated rat, chicken and different groups of human blood cells and exhibited high agglutination activity over the pH range 5-9 and temperatures of 30-60 °C. The N-terminal sequence of NNTL did not show sequence similarity with any other lectin and the amino acid analysis revealed that NNTL was rich in leucine, methionine and glycine residues. NNTL was a glycoprotein containing 8% neutral sugar and showed toxicity against brine shrimp nauplii with an LC(50) value of 120 ± 29 μg/ml and exerted strong agglutination activity against four pathogenic bacteria (Bacillus subtilis, Sarcina lutea, Shigella shiga and Shigella sonnei). In addition, antiproliferative activity of this lectin against EAC (Ehrlich ascites carcinoma) cells showed 56% and 76% inhibition in vivo in mice at 1.5 and 3 mg·kg(-1)·day(-1) respectively. NNTL was a divalent ion-dependent glycoprotein, which lost its activity markedly in the presence of denaturants. Furthermore, measurement of fluorescence spectra in the presence and absence of urea and CaCl(2) indicated the requirement of Ca(2+) for the stability of NNTL.

Abdur Rakib

Papers

A logic for coalitions with bounded resources

Resource-bounded alternating-time temporal logic

Plasticity of Cancer Stem Cell: Origin and Role in Disease Progression and Therapy Resistance

Logic for coalitions with bounded resources1

Purification and characterization of a Ca(2+)-dependent novel lectin from Nymphaea nouchali tuber with antiproliferative activities.