The Critical Role of Passive Permeability in Designing Successful Drugs

Passive permeability is a key property in drug disposition and delivery. It is critical for gastrointestinal absorption, brain penetration, renal reabsorption, defining clearance mechanisms and drug-drug interactions. Passive diffusion rate is translatable across tissues and animal species, while the extent of absorption is dependent on drug properties, as well as in vivo physiology/pathophysiology. Design principles have been developed to guide medicinal chemistry to enhance absorption, which combine the balance of aqueous solubility, permeability and the sometimes unfavorable compound characteristic demanded by the target. Permeability assays have been implemented that enable rapid development of structure-permeability relationships for absorption improvement. Future advances in assay development to reduce nonspecific binding and improve mass balance will enable more accurately measurement of passive permeability. Design principles that integrate potency, selectivity, passive permeability and other ADMET properties facilitate rapid advancement of successful drug candidates to patients.     

Murine thymic lymphoma is associated with a species-specific hematopoietic progenitor cell subpopulation

Many strains of laboratory mouse are uniquely susceptible to the development of T cell lymphoma/leukemia, either spontaneously or as a result of chemical or radiation exposure. In contrast, T cell leukemias or lymphomas which are relatively uncommon in human populations, are not easily induced by radiation, and are not generally associated with chemotherapy or chemical exposure. Evidence is presented to suggest that differences in the susceptibility to the development of these malignancies is related to subtle but important variations in the regulation of hematopoietic stem cell differentiation between these two species.     

Treatment of hypertension in nondiabetic renal disease

To clarify whether long-term impaired glucose tolerance (IGT) is associated with dysfunction of peripheral and autonomic nerves, age-matched men with IGT and diabetes mellitus were followed prospectively for 12-15 years, when peripheral and autonomic nerve function was assessed. The patients comprised four subgroups: (1) 51 IGT subjects (duration of IGT at least 12-15 years); (2) 35 diabetic patients, with IGT 12-15 years ago, who later developed diabetes; (3) 34 diabetic patients, duration of diabetes at least 12-15 years; and (4) 62 age-matched non-diabetic control subjects. Mean age of the whole study population was 61 +/- 2 years (mean +/- SD), not different in the four groups. Peripheral nerve function tests included nerve conduction velocities, amplitudes, distal latencies, F-reflexes, and sensory perception thresholds for heat, cold, and vibration. Autonomic nerve function tests included the heart rate reaction during deep breathing (expiration to inspiration ratio) and to tilt (acceleration and brake indices). Despite 12-15 years of IGT, peripheral nerve function did not differ between IGT and control subjects, whereas autonomic nerve function deviated; an abnormal expiration to inspiration ratio (a sign of vagal nerve dysfunction) was significantly more common (15/51 versus 5/62; p < 0.01) in IGT than in control subjects. Diabetic patients (groups 2 and 3) showed lower conduction velocities (in general 2-4 m s-1 lower) than IGT and control subjects in all tested nerves. In conclusion, diabetes but not IGT, is associated with peripheral nerve dysfunction.     

The ‘Hoare logic’ of concurrent programs

Summary Hoare's logical system for specifying and proving partial correctness properties of sequential programs is generalized to concurrent programs. The basic idea is to define the assertion {P} S {Q} to mean that if execution is begun anywhere in S with P true, then P will remain true until S terminates, and Q will be true if and when S terminates. The predicates P and Q may depend upon program control locations as well as upon the values of variables. A system of inference rules and axiom schemas is given, and a formal correctness proof for a simple program is outlined. We show that by specifying certain requirements for the unimplemented parts, correctness properties can be proved without completely implementing the program. The relation to Pnueli's temporal logic formalism is also discussed.     

SlideBar: Analysis of a linear input device

The SlideBar is a physical linear input device for absolute position control of 1° of freedom, consisting of a physical slider with a graspable knob positioned near or attached to the keyboard. Its range of motion is directly mapped to a one dimensional input widget such as a scrollbar. The SlideBar provides absolute position control in one dimension, is usable in the non-dominant hand in conjunction with a pointing device, and offers constrained passive haptic feedback. These characteristics make the device appropriate for the common class of tasks characterized by one-dimensional input and constrained range of operation. An empirical study of three devices (SlideBar, mouse controlled scrollbar, and mousewheel) shows that for common scrolling tasks, the SlideBar has a significant advantage over a standard mouse controlled scrollbar in user preference. In addition, users tended to prefer it over the mousewheel (without statistical significance).