In transgenic mice, muscle-specific expression of the c-ski oncogene induces hypertrophy exclusively in a subset of fast muscle fibers. Here we report that regulatory elements from two genes expressed in fast fibers, myosin light chain 1/3 (MLC) and muscle creatine kinase (MCK), were activated when co-transfected with c-ski expression vectors in myoblasts. The expression from the MLC enhancer w...

Traditional markets in Indonesia still have many problems both terms of market management to sanitation. Every activity the is mostly bound produce wastewater, usually most wastewater comes from meat and fish stalls because it uses a lot water for washing, then also MCK activities. The state samarinda city concerning sanitation, especially latrines. purpose this study find out an overview sanit...

This paper presents a case study of the application of the knowledge-based approach to concurrent systems specification, design and verification. A highly abstract solution to the cache coherence problem is first presented, in the form of a knowledge-based program, that formalises the intuitions underlying the MOESI [Sweazey & Smith, 1986] characterisation of cache coherency protocols. It is sh...

Epistemic model checking is an automated verification methodology that enables multi-agent and concurrent systems and models to be verified with respect to properties concerning the information possessed by the agents, and how this information changes over time. The project investigated an approach the optimization of epistemic model checking using reasoning about independencies detected by mea...

Purpose: To explore the effect of operations strategy on performance Media Council Kenya.
 Methodology: Descriptive research design was used in MCK offices Nairobi County. This study targeted 96 employees Kenya selected using census method. The data collection tools were interview guides and structured questionnaires for managers officers respectively. pre-test done at Communications Autho...

0009-2614/$ see front matter 2009 Elsevier B.V. A doi:10.1016/j.cplett.2009.03.035 * Corresponding author. Fax: +48 71 32 82 348. E-mail address: [email protected] (M. Witwicki The g-tensor components and isotropic hyperfine constants of solvent-affected radical anion from 3,4dihydroxybenzoic acid were computed at UBP86/EPR-II level and correlated with the molecular and electronic structures. T...

Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logics. Comparatively little attention has been given to temporal logics of knowledge, although such logics have been proven to be very useful in the specifications of protocols for distributed systems. In this paper, we address ourselves to the model checking problem ...

Ketersediaan dan akses air bersih masih menjadi persoalan di Kalimantan Barat, salah satunya Ponpes Al-Fatah, Desa Sungai Itik. Keperluan dalam sehari-hari Al-Fatah menggunakan sumber yang berasal dari hujan sungai untuk keperluan MCK, namun belum bisa memenuhi kebutuhan aspek kontinuitas, sedangkan kualitas. Oleh karena itu diperlukan teknologi pengolahan tepat guna mengolah bersih. Tujuan pen...