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.

     

Foetal alcohol syndrome in Saskatchewan: unchanged incidence in a 20-year period

Ethers and thioethers of monosaccharides have been synthesised which show potent toxicity to mouse (LD50 > or = 4 g.kg-1 O.W. and 0.2 to 1.5 g.kg-1 I.P.W.). A study of calcium antagonist activity for the full series of compounds indicated that the activity was similar for both O- and S- ethers and maximum activities were observed for monoacetoneglucose ethers possessing carbon chain close to 8 carbons.     

Event-related desynchronization (ERD) patterns during verbal memory tasks: effect of age

Event-related desynchronization (ERD) was studied in 10 young (mean age = 19.1) and 10 older (mean age = 62.8) subjects during a verbal recognition task. The attention load of the task varied according to the difficulty of discriminating between targets and distractors. EEG recorded from 29 electrodes was used to compute ERD from 14 source derivations in 125 ms intervals. Thereafter, it was displayed as spatiotemporal maps. The results show that attention influences the characteristics of EEG desynchronization. In young subjects, ERD is more pronounced and more widespread when the attentional load is high. In the elderly, differences between the two attention conditions are less marked. ANOVA reveals main effects of attention and time. The significant 'attention x time x age group' interaction confirms the presence of different brain activation patterns in the two age groups in relation to attention load.     

Cardiac tamponade as a presentation of primary hypothyroidism in a young woman

Pericardial effusion (PE) as a hypothyroidism associated sign, is something that can be found with relative frequency; nevertheless, cardiac tamponade (CT) as the first sign of this disease may be considered exceptional especially in young patients. We report a 31 years old woman with clinical symptoms and signs of CT that in the forward workshop was diagnosed of primary hypothyroidism as cause of the CT. We shortly describe the case and review the literature, emphasizing the importance of the knowledge of CT trigger factors in myxedematous PE, as well as its usual benign evolution with hormonal treatment, without recurrences of the CT after pericardiocentesis is performed. This justify a conservative approach, in spite of the slow resolution of the PE what can take as long as 1.5 years.     

Major abdominal surgery and the clearance of lipid emulsions

Reaction of bacterial adhesins with complementary receptors on the surfaces of mucosal respiratory, gastrointestinal and genitourinary cells leads to bacterial adhesion to the human body. This is the first step in the sequence of events leading to infection. It has been observed that subinhibitory concentrations (sub-MICs) of some antibiotics are able to reduce bacterial adhesion. The pharmacokinetic curves of antibiotics show that these sub-MICs are present in tissues during a typical course of therapy. This study investigated the ability of sub-MICs of seven macrolides and four fluoroquinolones to reduce adhesiveness of Staphylococcus aureus to human buccal cells. The literature generally reports data for only one antibiotic at a time. To obtain an overall view of the findings of eleven antibiotics together, the data have been normalized according to the molecular weight of each antibiotic and the dose-effect curves determined.