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...     

Physicochemical and technological properties of beef burger as influenced by the addition of pea fibre

This study aimed to evaluate the physicochemical characteristics and sensory attributes of beef burgers with the addition of pea fibre as a partial substitute of meat or fat. Three formulations were prepared: control (CON) – similar to the commercial formulation; fibre/less meat (FLM)—5% meat reduction and addition of 1% pea fibre; fibre/less fat (FLF)—7% fat reduction and addition of 1% pea fibre. Non-significant differences were obtained for pH, colour parameters (L* and b*), texture profile, cooking loss and size reduction among formulations. Moreover, sensory analysis with consumers of beef burgers did not indicate differences among the formulations for all the analysed attributes. Therefore, pea fibre is a promising partial replacer for meat and fat in beef burgers due to the preservation of technological parameters and sensory acceptance.     

Design and evaluation of a mobile smart home interactive system with elderly users in Brazil

Personal and Ubiquitous Computing - This article presents a study concerning the evaluation of a smart home control system for elderly people with a sample of 10 users in a city in the interior of...     

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.

     

Retrograde Amnesia Induced by Drugs Acting on Different Molecular Systems.

The gamma aminobutyric acid-A (GABAA) agonist, muscimol, the glutamate N-methyl-D-aspartate (NMDA) receptor antagonist, D-2-amino-5-phosphonopentanoic acid (AP5), and the inhibitor of the extracellularly regulated kinases (ERKs), UO 126, cause retrograde amnesia when administered to the hippocampus. In the present study, the authors found that they all cause retrograde amnesia for 1-trial inhibitory avoidance, not only when infused into the dorsal CA1 region of the hippocampus, but also when infused into the basolateral amygdala or the entorhinal, parietal, and posterior cingulate cortices. The posttraining time course of the effect of each drug was, however, quite different across brain structures. Thus, in all of them, NMDA receptors and the ERK pathway are indispensable for memory consolidation, and GABAA receptor activation inhibits memory consolidation: but in each case, their influence is interwoven differently. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Massive transformation and absolute stability

Under carefully chosen conditions, solidification theory may be applied to solid-state transformations, and this has been done here for composition-invariant diffusion transformations. The predictions of the modeling are compared with isovelocity experiments in two iron systems, Fe-7.29 wt pct Cr and Fe-3.1 wt pct Ni. The ferrite to austenite phase transformation is used to demonstrate that stabilization of a planar transformation front at absolute stability is the natural lower velocity limit for a composition-invariant (massive) transformation. The results of the model, which includes nonequilibrium effects, clearly show that steady-state plane-front growth leading to composition invariance can be obtained at various temperatures depending on the growth velocity. In the lower velocity range, at the limit of absolute stability (of the order of 10 μm/s in the systems studied), the transformation interface moves under conditions of local equilibrium, and the temperature corresponds to the lower solvus temperature. At higher velocity (of the order of the interface diffusion rate, which in these systems is of the order of cm/s), the transformation is predicted to proceed at temperatures close to T ₀. At even higher rates, atom attachment kinetic undercooling will decrease the transformation temperature with respect to T ₀. In some cases, this temperature might even drop below the lower solvus. This article is based on a presentation made at the symposium entitled “The Mechanisms of the Massive Transformation,” a part of the Fall 2000 TMS Meeting held October 16–19, 2000, in St. Louis, Missouri, under the auspices of the ASM Phase Transformations Committee.