Low-power broadband quadrature signal generator based on phase-tunable dividers

This paper presents the design and experimental results of a low-power 300–960 MHz I/Q signal generator for low-IF receivers. The circuit is based on phase-tunable dividers and uses delay-locked loops, which provide phase accuracy for the quadrature signals as well as low-sensitivity of the phase error against temperature and power supply variations. Thanks to the adopted technique, the phase error can be further reduced by trimming the reference voltage of the delay-locked loops through a calibration digital word, which can be stored in a non-volatile memory during manufacturing. The I/Q generator exhibits an absolute phase error before calibration that is lower than 1.5°. The I/Q phase drift due to temperature variations from ?40 to 85 °C and power supply variations from 1.1 to 1.3 V is 0.3° and 0.2°, respectively. By dividing the overall frequency range into four 165-MHz wide sub-bands and using only four 5-bit calibration words, the I/Q phase variation with respect to frequency, temperature, and power supply is lower than 1° in the 300–960 MHz operating band. The I/Q generator is implemented in a 90-nm CMOS technology and exhibits a current consumption as low as 0.5 mA.     

A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership

MLSS is a decidable fragment of set theory involving the predicates membership and set equality and the operators union, intersection, set difference, and singleton. In this paper we extend MLSS with the iterated membership predicate, that is, with a predicate denoting the transitive closure of the membership relation. We call the resulting language MLSS⁺. We prove that MLSS⁺ is decidable by providing a decision procedure for it based on Smullyan semantic tableaux. As an application of our results, we show how our decision procedure can be used as a black box in order to allow an interactive theorem prover to verify some basic properties of the ordinal numbers.This research was in part supported by murst grant prot. 2001017741 under the Italian project Ragionamento su aggregati e numeri a supporto della programmazione e relative verifiche.     

A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case

2LS is a decidable many-sorted set-theoretic language involving one sort for elements and one sort for sets of elements. In this paper we extend 2LS with constructs for expressing monotonicity, additivity, and multiplicativity properties of set-to-set functions. We call the resulting language 2LSmf. We prove that 2LSmf is decidable by reducing the problem of determining the satisfiability of its sentences to the problem of determining the satisfiability of sentences of 2LS. Furthermore, we prove that the language 2LSmf is stably infinite with respect to the sort of elements. Therefore, by using a many-sorted version of the Nelson–Oppen combination method, 2LSmf can be combined with other languages modeling the sort of elements.     

How Important Are Genes to Achieve Longevity?

Several studies on the genetics of longevity have been reviewed in this paper. The results show that, despite efforts and new technologies, only two genes, APOE and FOXO3A, involved in the protection of cardiovascular diseases, have been shown to be associated with longevity in nearly all studies. This happens because the genetic determinants of longevity are dynamic and depend on the environmental history of a given population. In fact, population-specific genes are thought to play a greater role in the attainment of longevity than those shared between different populations. Hence, it is not surprising that GWAS replicated associations of common variants with longevity have been few, if any, as these studies pool together different populations. An alternative way might be the study of long-life families. This type of approach is proving to be an ideal resource for uncovering protective alleles and associated biological signatures for healthy aging phenotypes and exceptional longevity.