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

Development of a new ion-imprinted polymer (IIP) with Cd2+ ions based on divinylbenzene copolymers containing amidoxime groups

Polymer Bulletin - In this study, we synthesized a new ion-imprinted polymer (IIP) based on introduction of amidoxime groups in acrylonitrile, complexation with Cd2+ ions and polymerization with...     

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.

     

Extracellular Vesicles in CNS Developmental Disorders

The central nervous system (CNS) is the most complex structure in the body, consisting of multiple cell types with distinct morphology and function. Development of the neuronal circuit and its function rely on a continuous crosstalk between neurons and non-neural cells. It has been widely accepted that extracellular vesicles (EVs), mainly exosomes, are effective entities responsible for intercellular CNS communication. They contain membrane and cytoplasmic proteins, lipids, non-coding RNAs, microRNAs and mRNAs. Their cargo modulates gene and protein expression in recipient cells. Several lines of evidence indicate that EVs play a role in modifying signal transduction with subsequent physiological changes in neurogenesis, gliogenesis, synaptogenesis and network circuit formation and activity, as well as synaptic pruning and myelination. Several studies demonstrate that neural and non-neural EVs play an important role in physiological and pathological neurodevelopment. The present review discusses the role of EVs in various neurodevelopmental disorders and the prospects of using EVs as disease biomarkers and therapeutics.     

Evaluation of Atmospheric and Vacuum Residues Using Molecular Distillation and Optimization

The term atmospheric residue describes the material at the bottom of the atmospheric distillation tower having a lower boiling point limit of about 340°C; the term vacuum residue (heavy petroleum fractions) refers to the bottom of the vacuum distillation, which has an atmospheric equivalent boiling point (AEBP) above 540°C. In this work, the objective is to evaluate the behavior of different kinds of Brazilian atmospheric and vacuum residues using molecular distillation. The Falling Film Molecular Distillator was used. For the results obtained through this process, a significant range of temperature can be explored avoiding the thermal decomposition of the material. So these results are very important to the refinery decisions and improvements. The Experimental Factorial Design results showed that the temperature has more influence on the process than the feed flow rate, when a higher percentage of distillate is required.     

Approximation of ill-posed boussinesq equations

In this paper we compare the dynamics on the centre manifold of the solutions of an ill-posed Boussinesq equation with a well-posed version. We show that the dynamics in the centre manifold of the ill-posed equation tracks the dynamics of the well-posed equation. Our results give partial justification to the long-wave perturbation theory.