In this paper, we propose an enhanced version of the HB-MP authentication protocol, called the HB-MP protocol. The HB-MP protocol is a lightweight authentication protocol that is suitable for use in passive radio frequency identification (RFID) systems. The HB-MP protocol overcomes the man-in-the-middle attack to which the basic HB-MP protocol is vulnerable while maintaining its suitability to ...

Systemic corticosteroid therapy may affect diaphragm structure and function. We postulated that functional, immunohistochemical and biochemical characteristics of rat diaphragm were less affected by alternate-day methylprednisolone (MP) administration, and more by repeated bursts of MP, in comparison to daily s.c MP. Sixty adult rats were randomized into four groups: saline s.c.; MP continuousl...

Determining fetal drug exposure (except at the time of birth) is not possible for both logistical and ethical reasons. Therefore, we developed a novel maternal-fetal physiologically based pharmacokinetic (m-f-PBPK) model to predict fetal exposure to drugs and populated this model with gestational age-dependent changes in maternal-fetal physiology. Then, we used this m-f-PBPK to: 1) perform a se...

Methapyrilene (MP), a 2-thiophene H(1)-receptor antagonist, is a model toxicant in the genomic and proteomic analyses of hepatotoxicity. In rats, it causes an unusual periportal necrosis that is hypothetically attributed to chemically reactive and cytotoxic metabolites. We have characterized the bioactivation of MP by hepatic microsomes and primary rat hepatocytes, and we established a possible...

When cells cease migrating through the vasculature, adhere to extracellular matrix, and begin to spread, they exhibit rapid changes in contraction and relaxation at peripheral regions newly contacting the underlying substrata. We describe here a requirement in this process for myosin II disassembly at the cell cortex via the action of myosin phosphatase (MP), which in turn is regulated by a pla...

It is highly desirable for a computational model to have a logic characterization like in the seminal work of Büchi that connects MSO with finite automata. For example, weighted automata are the quantitative extension of finite automata for computing functions over words and they can be naturally characterized by a subfragment of weighted logic introduced by Droste and Gastin. Recently, cost re...

Cross-references: MP-6.020 Transcutaneous Electrical Nerve Stimulation MP-6.045 Sympathetic Therapy for the Treatment of Pain MP-6.046 Threshold Electrical Stimulation as a Treatment of Motor Disorders MP-6.047 Interferential Stimulation for Treatment of Pain MP-6.049 H-Wave Electrical Stimulation MP-6.050 Percutaneous Electrical Nerve Stimulation (PENS) and Percutaneous Neuromodulation Therapy...