Learn More
Akt (also called protein kinase B-PKB) is a key component of the phosphoinositide-3-kinase signaling pathway, which is responsible for cell proliferation and survival and is a novel target for antioncogenic indications. In its fully activated state, Akt is phosphorylated on the activation loop (A-loop) at residue Thr 309. We used molecular dynamics (MD)(More)
Understanding hepatic zonation is important both for liver physiology and pathology. There is currently no effective systemic chemotherapy for human hepatocellular carcinoma (HCC) and its pathogenesis is of special interest. Genomic and proteomic data of HCC cells in different culture models, coupled to pathway-based analysis, can help identify HCC-related(More)
BACKGROUND Computational modeling of the absorption, distribution, metabolism, and excretion of chemicals is now theoretically able to describe metabolic interactions in realistic mixtures of tens to hundreds of substances. That framework awaits validation. OBJECTIVES Our objectives were to a) evaluate the conditions of application of such a framework, b)(More)
FreeRTOS is an open-source real-time microkernel that has a wide community of users. We present the formal specification of the behaviour of the task part of FreeRTOS that deals with the creation, management, and scheduling of tasks using priority-based preemption. Our model is written in the Z notation, and we verify its consistency using the Z/Eves(More)
Reaching a comprehensive understanding of how nature solves the problem of degrading recalcitrant biomass may eventually allow development of more efficient biorefining processes. Here we interpret genomic and proteomic information generated from a cellulolytic microbial consortium (termed F1RT) enriched from soil. Analyses of reconstructed bacterial draft(More)
In this paper, an intelligent information retrieval system prototype based on assigning context to documents is proposed. This system novel prototype has a better retrieval effectiveness than traditional key-word systems. In this intelligent agent paradigm system, each document is assigned context based on the type of information. The prototype system(More)
RFID Grouping proof convinces an offline verifier that multiple tags are simultaneously scanned. Various solutions have been proposed but most of them have security and privacy vulnerabilities. In this paper, we propose an elliptic-curve-based RFID grouping proof protocol. Our protocol is proven secure and narrow-strong private. We also demonstrate that our(More)
The harmony monitoring mechanism of government system is put forward for improving the synergetic effect and harmony of the government system and to construct the one-stop high-synergetic services-oriented government. The direct disharmony matrix and total disharmony matrix of each element of the government system can be calculated through the concept of(More)
A new method of diesel engine fault diagnosis that uses image recognition technology based on fractal dimension is proposed. The Wigner-Ville distributions of six kinds of vibration acceleration signals which are acquired from diesel engine cylinder head are calculated by time-frequency analysis, and a series of time-frequency gray images can be obtained(More)
Albedo/reflectance is of great importance for glaciers' mass balance and energy budget. Elevation could be a major factor of influence for glacier reflectance, and therefore when studying glacier reflectance, the altitude ranges should be considered. However, due to the limitations of traditional earth observation systems, conventional analyses usually(More)