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.     

UPR: deadlock-free dynamic network reconfiguration by exploiting channel dependency graph compatibility

The Journal of Supercomputing - Deadlock-free dynamic network reconfiguration process is usually studied from the routing algorithm restrictions and resource reservation perspective. The dynamic...     

Formalization of Ring Theory in PVS

This paper presents a PVS development of relevant results of the theory of rings. The PVS theory includes complete proofs of the three classical isomorphism theorems for rings, and characterizations of principal, prime and maximal ideals. Algebraic concepts and properties are specified and formalized as generally as possible allowing in this manner their application to other algebraic structures. The development provides the required elements to formalize important algebraic theorems. In particular, the paper presents the formalization of the general algebraic-theoretical version of the Chinese remainder theorem (CRT) for the theory of rings, as given in abstract algebra textbooks, proved as a consequence of the first isomorphism theorem. Also, the PVS theory includes a formalization of the number-theoretical version of CRT for the structure of integers, which is the version of CRT found in formalizations. CRT for integers is obtained as a consequence of the general version of CRT for the theory of rings.

     

The influence of sonication time on the biogenic amines formation as a critical point in uncured dry-fermented beef manufacturing

In this study, the influence of sonication time on the biogenic amines formation as a critical point in uncured dry-fermented beef manufacturing was studied. Samples of musculus semimembranosus were sonicated at different times (5 and 10 min) using ultrasound cold bath (4 °C) in acid whey (US 40 kHz and acoustic power 480 W). The effect of sonication on biogenic amine (BA) formation was investigated during 93 days of ripening period. Other parameters (pH value, water activity, microbial counts) that might provide further information on the product under study were also determined. The use of ultrasound during beef marinating in acid whey has a positive effect on retarding histamine (HIS), cadaverine (CAD), tyramine (TYR) and putrescine (PUT) formation. Moreover, the sonication treatment did not inhibit the growth of lactic acid bacteria (LAB) in dry-fermented beef during the whole ripening period. The pathogen bacteria (Staphylococcus aureus, Clostridium sp., Listeria monocytogenes) were not detected in all samples neither after 31 nor after 93 days of ripening period.