Learn More
The paper introduces a modal logical system for reasoning about knowledge in which information available to agents might be constrained by the available budget. Although the system lacks an equivalent of the standard Negative Introspection axiom from epistemic logic S5, it is proven to be sound and complete with respect to an S5-like Kripke semantics.
BACKGROUND Epigenetic regulation such as aberrant hypermethylation of CpG islands in promoter plays a key role in tumorigenesis. 5-Aza-2'-deoxycytidine (5-aza-CdR) which is a potent inhibitor of DNA methylation can reverse the abnormal hypermethylation of the silenced tumor suppressor genes (TSGs). It has been reported that hepatocyte cell adhesion molecule(More)
Form deprivation myopia in chickens is a widely accepted model to study visually-regulated postnatal ocular growth. Recently we showed that basic fibroblast growth factor-2 provides a "stop" signal for the growing eye. To understand further its action, we have localized basic fibroblast growth factor-2 and its low- and high-affinity receptors in the chicken(More)
The paper proposes a bimodal logic that describes an interplay between coalition strategies and distributed knowledge. Unlike the existing literature, the paper assumes that a strategy must be not only executable but also verifiable. That is, the strategy of a coalition should be based only on the information distributively known by the coalition and the(More)
The aims of the current study were to determine whether 786‑0 renal cancer cell‑derived exosomes promote human umbilical vein endothelial cells (HUVECs) to form tubular structures and to uncover the underlying mechanisms associated with this process. Exosomes were extracted and purified using ultrafiltration and sucrose gradient centrifugation and(More)
Web services are distributed software components, that are decoupled from each other using interfaces with specified functional behaviors. However, such behavioral specifications are insufficient to demonstrate compliance with certain temporal non-functional policies. An example is demonstrating that a patient’s health-related query sent to a health care(More)