Phase locked loop-based clock synthesizer for reconfigurable analog-to-digital converters

Analog Integrated Circuits and Signal Processing - This paper presents the complete design of a phase locked loop-based clock synthesizer for reconfigurable analog-to-digital converters. The...     

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.

     

A noncompetitive peptide inhibitor of the nicotinic acetylcholine receptor from Conus purpurascens venom

A paralytic peptide, psi-conotoxin Piiie has been purified and characterized from Conus purpurascens venom. Electrophysiological studies indicate that the peptide inhibits the nicotinic acetylcholine receptor (nAChR). However, the peptide does not block the binding of alpha-bungarotoxin, a competitive nAChR antagonist. Thus, psi-conotoxin Piiie appears to inhibit the receptor at a site other than the acetylcholine-binding site. As ascertained by sequence analysis, mass spectrometry, and chemical synthesis, the peptide has the following covalent structure: HOOCCLYGKCRRYOGCSSASCCQR* (O = 4-trans hydroxyproline; * indicates an amidated C-terminus). The disulfide connectivity of the toxin is unrelated to the alpha- or the alphaA-conotoxins, the Conus peptide families that are competitive inhibitors of the nAChR, but shows homology to the mu-conotoxins (which are Na+ channel blockers).     

A magnetic resonance imaging study of planum temporale asymmetry in men with developmental dyslexia

The influence of ionic strength and composition on the binding and inhibition of human leukocyte elastase by glycosaminoglycans with variable degree and position of sulfation was investigated. The kinetic mechanism of inhibition had a hyperbolic, mixed-type character with a competitive component that was promoted by low ionic strength, reduced by phosphate ions, and which also depended on the substrate and glycosaminoglycan structure. Enzyme binding was a cooperative phenomenon that varied with ionic strength and composition. The inhibition patterns correlated with the cationic character of elastase and with the distribution of arginines on its molecular surface, most notably with residues located in the vicinity of the substrate binding region. The order of affinity for elastase binding was chondroitin 4-sulfate < chondroitin 6-sulfate < dermatan sulfate, iduronate-containing derivatives being superior with respect to the glucuronate-containing counterparts. Additional sulfation at both the 4- and 6- positions or at the N- and 4-positions of the N-acetylgalactosamine moiety decidedly improved the inhibitory efficiency. The results highlight a fundamental physiological role of enzyme-glycosaminoglycan interactions. In the azurophil granule of the human polymorphonuclear neutrophil, elastase and other enzymes are bound to a matrix of chondroitin 4-sulfate because this is the only glycosaminoglycan that simultaneously offers good binding for enzyme compartmentalization together with prompt release from the bound state at the onset of phagocytosis.