Pattern recognition of sleep in rodents using piezoelectric signals generated by gross body movements.

Current research on sleep using experimental animals is limited by the expense and time-consuming nature of traditional EEG/EMG recordings. We present here an alternative, noninvasive approach utilizing piezoelectric films configured as highly sensitive motion detectors. These film strips attached to the floor of the rodent cage produce an electrical output in direct proportion to the distortion of the material. During sleep, movement associated with breathing is the predominant gross body movement and, thus, output from the piezoelectric transducer provided an accurate respiratory trace during sleep. During wake, respiratory movements are masked by other motor activities. An automatic pattern recognition system was developed to identify periods of sleep and wake using the piezoelectric generated signal. Due to the complex and highly variable waveforms that result from subtle postural adjustments in the animals, traditional signal analysis techniques were not sufficient for accurate classification of sleep versus wake. Therefore, a novel pattern recognition algorithm was developed that successfully distinguished sleep from wake in approximately 95% of all epochs. This algorithm may have general utility for a variety of signals in biomedical and engineering applications. This automated system for monitoring sleep is noninvasive, inexpensive, and may be useful for large-scale sleep studies including genetic approaches towards understanding sleep and sleep disorders, and the rapid screening of the efficacy of sleep or wake promoting drugs.

Hybrid consumption paths in the attribute space: A model and application with scanner data

This paper presents and estimates a dynamic choice model in the attribute space considering rational consumers. In light of the evidence of several state-dependence patterns, the standard attribute-based model is extended by considering a general utility function where pure inertia and pure variety-seeking behaviors can be explained in the model as particular linear cases. The dynamics of the model are fully characterized by standard dynamic programming techniques. The model presents a stationary consumption pattern that can be inertial, where the consumer only buys one product, or a variety-seeking one, where the consumer shifts among varied products.We run some simulations to analyze the consumption paths out of the steady state. Underthe hybrid utility assumption, the consumer behaves inertially among the unfamiliar brandsfor several periods, eventually switching to a variety-seeking behavior when the stationary levels are approached. An empirical analysis is run using scanner databases for three different product categories: fabric softener, saltine cracker, and catsup. Non-linear specifications provide the best fit of the data, as hybrid functional forms are found in all the product categories for most attributes and segments. These results reveal the statistical superiority of the non-linear structure and confirm the gradual trend to seek variety as the level of familiarity with the purchased items increases.

Undocumented migrants in Switzerland: geographical origin versus legal status as risk factor for tuberculosis.

Undocumented migrants, meaning migrants without a legal residency permit, come to Geneva from countries with high tuberculosis (TB) incidence. We estimate here whether being undocumented is a determinant of TB, independently of origin. Cross-sectional study including undocumented migrants in a TB screening program in 2002; results were compared to 12,904 age and frequency matched participants in a general TB screening program conducted at various workplaces in Geneva, Switzerland from 1992 to 2002. A total of 206 undocumented migrants (36% male, 64% female, mean age 37.8 years (SD 11.8), 82.5% from Latin America) participated in the TB screening program. Compared to legal residents, undocumented migrants had an adjusted OR for TB-related fibrotic signs of 1.7 (95% CI 0.8;3.7). The OR of TB-related fibrotic signs for Latin American (vs. other) origin was 2.7 (95% CI 1.6;4.7) among legal residents and 5.5 (95% CI 2.8;10.8) among undocumented migrants. Chest X-ray screening identified a higher proportion of TB-related fibrotic signs among Latin Americans, independently of their residency status.

A mathematical study of fuzzy logic; an algebraic approach

Fuzzy set theory and Fuzzy logic is studied from a mathematical point of view. The main goal is to investigatecommon mathematical structures in various fuzzy logical inference systems and to establish a general mathematical basis for fuzzy logic when considered as multi-valued logic. The study is composed of six distinct publications. The first paper deals with Mattila'sLPC+Ch Calculus. THis fuzzy inference system is an attempt to introduce linguistic objects to mathematical logic without defining these objects mathematically.LPC+Ch Calculus is analyzed from algebraic point of view and it is demonstratedthat suitable factorization of the set of well formed formulae (in fact, Lindenbaum algebra) leads to a structure called ET-algebra and introduced in the beginning of the paper. On its basis, all the theorems presented by Mattila and many others can be proved in a simple way which is demonstrated in the Lemmas 1 and 2and Propositions 1-3. The conclusion critically discusses some other issues of LPC+Ch Calculus, specially that no formal semantics for it is given.In the second paper the characterization of solvability of the relational equation RoX=T, where R, X, T are fuzzy relations, X the unknown one, and o the minimum-induced composition by Sanchez, is extended to compositions induced by more general products in the general value lattice. Moreover, the procedure also applies to systemsof equations. In the third publication common features in various fuzzy logicalsystems are investigated. It turns out that adjoint couples and residuated lattices are very often present, though not always explicitly expressed. Some minor new results are also proved.The fourth study concerns Novak's paper, in which Novak introduced first-order fuzzy logic and proved, among other things, the semantico-syntactical completeness of this logic. He also demonstrated that the algebra of his logic is a generalized residuated lattice. In proving that the examination of Novak's logic can be reduced to the examination of locally finite MV-algebras.In the fifth paper a multi-valued sentential logic with values of truth in an injective MV-algebra is introduced and the axiomatizability of this logic is proved. The paper developes some ideas of Goguen and generalizes the results of Pavelka on the unit interval. Our proof for the completeness is purely algebraic. A corollary of the Completeness Theorem is that fuzzy logic on the unit interval is semantically complete if, and only if the algebra of the valuesof truth is a complete MV-algebra. The Compactness Theorem holds in our well-defined fuzzy sentential logic, while the Deduction Theorem and the Finiteness Theorem do not. Because of its generality and good-behaviour, MV-valued logic can be regarded as a mathematical basis of fuzzy reasoning. The last paper is a continuation of the fifth study. The semantics and syntax of fuzzy predicate logic with values of truth in ana injective MV-algerba are introduced, and a list of universally valid sentences is established. The system is proved to be semanticallycomplete. This proof is based on an idea utilizing some elementary properties of injective MV-algebras and MV-homomorphisms, and is purely algebraic.

Asymmetries in Business Cycles

Esta disertación busca estudiar los mecanismos de transmisión que vinculan el comportamiento de agentes y firmas con las asimetrías presentes en los ciclos económicos. Para lograr esto, se construyeron tres modelos DSGE. El en primer capítulo, el supuesto de función cuadrática simétrica de ajuste de la inversión fue removido, y el modelo canónico RBC fue reformulado suponiendo que des-invertir es más costoso que invertir una unidad de capital físico. En el segundo capítulo, la contribución más importante de esta disertación es presentada: la construcción de una función de utilidad general que anida aversión a la pérdida, aversión al riesgo y formación de hábitos, por medio de una función de transición suave. La razón para hacerlo así es el hecho de que los individuos son aversos a la pérdidad en recesiones, y son aversos al riesgo en auges. En el tercer capítulo, las asimetrías en los ciclos económicos son analizadas junto con ajuste asimétrico en precios y salarios en un contexto neokeynesiano, con el fin de encontrar una explicación teórica de la bien documentada asimetría presente en la Curva de Phillips.

A DSGE model with loss aversion in consumption and leisure: an explanation for business cycles asymmetries

In this chapter, an asymmetric DSGE model is built in order to account for asymmetries in business cycles. One of the most important contributions of this work is the construction of a general utility function which nests loss aversion, risk aversion and habits formation by means of a smooth transition function. The main idea behind this asymmetric utility function is that under recession the agents over-smooth consumption and leisure choices in order to prevent a huge deviation of them from the reference level of the utility; while under boom, the agents simply smooth consumption and leisure, but trying to be as far as possible from the reference level of utility. The simulations of this model by means of Perturbations Method show that it is possible to reproduce asymmetrical business cycles where recession (on shock) are stronger than booms and booms are more long-lasting than recession. One additional and unexpected result is a downward stickiness displayed by real wages. As a consequence of this, there is a more persistent fall in employment in recession than in boom. Thus, the model reproduces not only asymmetrical business cycles but also real stickiness and hysteresis.

Local modes and x,K relations for ethene and propadiene

The results recently obtained by Mills and Robiette on local-mode effects in H2O, NH3 and CH4 type molecules are extended to ethene (C2H4) and propadiene (C3H4) type molecules. General relations among the anharmonic xrs constants and the Darling-Dennison Krrss constants for the stretching vibrations are derived, called “x,K relations”, which allow local-mode effects to be generated by adding the appropriate anharmonic and Darling-Dennison constants to the familiar normal-mode model of molecular vibrations. The general utility of x,K relations is discussed, and the results are reviewed for the molecular types for which they have so far been derived.

Mutational activation of niche-specific genes provides insight into regulatory networks and bacterial function in a complex environment

The genome of the plant-colonizing bacterium Pseudomonas fluorescens SBW25 harbors a subset of genes that are expressed specifically on plant surfaces. The function of these genes is central to the ecological success of SBW25, but their study poses significant challenges because no phenotype is discernable in vitro. Here, we describe a genetic strategy with general utility that combines suppressor analysis with IVET (SPyVET) and provides a means of identifying regulators of niche-specific genes. Central to this strategy are strains carrying operon fusions between plant environment-induced loci (EIL) and promoterless 'dapB. These strains are prototrophic in the plant environment but auxotrophic on laboratory minimal medium. Regulatory elements were identified by transposon mutagenesis and selection for prototrophs on minimal medium. Approximately 106 mutants were screened for each of 27 strains carrying 'dapB fusions to plant EIL and the insertion point for the transposon determined in approximately 2,000 putative regulator mutants. Regulators were functionally characterized and used to provide insight into EIL phenotypes. For one strain carrying a fusion to the cellulose-encoding wss operon, five different regulators were identified including a diguanylate cyclase, the flagella activator, FleQ, and alginate activator, AmrZ (AlgZ). Further rounds of suppressor analysis, possible by virtue of the SPyVET strategy, revealed an additional two regulators including the activator AlgR, and allowed the regulatory connections to be determined.

Enhanced phosphopeptide isolation by Fe(III)-IMAC using 1,1,1,3,3,3-hexafluoroisopropanol

IMAC can be used to selectively enrich phosphopeptides from complex peptide mixtures, but co-retention of acidic peptides together with the failure to retain some phosphopeptides restricts the general utility of the method. In this study Fe(III)-IMAC was qualitatively and quantitatively assessed using a panel of phosphopeptides, both synthetic and derived from proteolysis of known phosphoproteins, to identify the causes of success and failure in the application of this technique. Here we demonstrate that, as expected, peptides with a more acidic amino acid content are generally more efficiently purified and detected by MALDI-MS after Fe(III)-IMAC than those with a more basic content. Modulating the loading buffer used for Fe(III)-IMAC significantly affects phosphopeptide binding and suggests that conformational factors that lead to steric hindrance and reduced accessibility to the phosphate are important. The use of 1,1,1,3,3,3-hexafluoroisopropanol is shown here to significantly improve Fe(III)-IMAC enrichment and subsequent detection of phosphopeptides by MALDI-MS.

Enhanced phosphopeptide isolation by Fe(III)-IMAC using 1,1,1,3,3,3-hexafluoroisopropanol

IMAC can be used to selectively enrich phosphopeptides from complex peptide mixtures, but co-retention of acidic peptides together with the failure to retain some phosphopeptides restricts the general utility of the method. In this study Fe(III)-IMAC was qualitatively and quantitatively assessed using a panel of phosphopeptides, both synthetic and derived from proteolysis of known phosphoproteins, to identify the causes of success and failure in the application of this technique. Here we demonstrate that, as expected, peptides with a more acidic amino acid content are generally more efficiently purified and detected by MALDI-MS after Fe(III)-IMAC than those with a more basic content. Modulating the loading buffer used for Fe(III)-IMAC significantly affects phosphopeptide binding and suggests that conformational factors that lead to steric hindrance and reduced accessibility to the phosphate are important. The use of 1,1,1,3,3,3-hexa-fluoroisopropanol is shown here to significantly improve Fe(III)-IMAC enrichment and subsequent detection of phosphopeptides by MALDI-MS.

A CAPM with higher moments: theory and econometrics

We develop portfolio choice theory taking into consideration the first p~ moments of the underIying assets distribution. A rigorous characterization of the opportunity set and of the efficient portfolios frontier is given, as well as of the solutions to the problem with a general utility function and short sales allowed. The extension of c1assical meanvariance properties, like two-fund separation, is also investigated. A general CAPM is derived, based on the theoretical foundations built, and its empirical consequences and testing are discussed

Abstract Interpretation-based verification/certification in the ciaoPP system

CiaoPP is the abstract interpretation-based preprocessor of the Ciao multi-paradigm (Constraint) Logic Programming system. It uses modular, incremental abstract interpretation as a fundamental tool to obtain information about programs. In CiaoPP, the semantic approximations thus produced have been applied to perform high- and low-level optimizations during program compilation, including transformations such as múltiple abstract specialization, parallelization, partial evaluation, resource usage control, and program verification. More recently, novel and promising applications of such semantic approximations are being applied in the more general context of program development such as program verification. In this work, we describe our extensión of the system to incorpórate Abstraction-Carrying Code (ACC), a novel approach to mobile code safety. ACC follows the standard strategy of associating safety certificates to programs, originally proposed in Proof Carrying- Code. A distinguishing feature of ACC is that we use an abstraction (or abstract model) of the program computed by standard static analyzers as a certifícate. The validity of the abstraction on the consumer side is checked in a single-pass by a very efficient and specialized abstractinterpreter. We have implemented and benchmarked ACC within CiaoPP. The experimental results show that the checking phase is indeed faster than the proof generation phase, and that the sizes of certificates are reasonable. Moreover, the preprocessor is based on compile-time (and run-time) tools for the certification of CLP programs with resource consumption assurances.

Abstract verification and debugging of constraint logic programs

The technique of Abstract Interpretation [13] has allowed the development of sophisticated program analyses which are provably correct and practical. The semantic approximations produced by such analyses have been traditionally applied to optimization during program compilation. However, recently, novel and promising applications of semantic approximations have been proposed in the more general context of program verification and debugging [3],[10],[7].

Identification of Osteopontin as a Novel Ligand for the Integrin α8β1 and Potential Roles for This Integrin–Ligand Interaction in Kidney Morphogenesis

Epithelio–mesenchymal interactions during kidney organogenesis are disrupted in integrin α8β1-deficient mice. However, the known ligands for integrin α8β1—fibronectin, vitronectin, and tenascin-C—are not appropriately localized to mediate all α8β1 functions in the kidney. Using a method of general utility for determining the distribution of unknown integrin ligands in situ and biochemical characterization of these ligands, we identified osteopontin (OPN) as a ligand for α8β1. We have coexpressed the extracellular domains of the mouse α8 and β1 integrin subunits as a soluble heterodimer with one subunit fused to alkaline phosphatase (AP) and have used the α8β1-AP chimera as a histochemical reagent on sections of mouse embryos. Ligand localization with α8β1-AP in developing bone and kidney was observed to be overlapping with the distribution of OPN. In “far Western” blots of mouse embryonic protein extracts, bands were detected with sizes corresponding to fibronectin, vitronectin, and unknown proteins, one of which was identical to the size of OPN. In a solid-phase binding assay we demonstrated that purified OPN binds specifically to α8β1-AP. Cell adhesion assays using K562 cells expressing α8β1 were used to confirm this result. Together with a recent report that anti-OPN antibodies disrupt kidney morphogenesis, our results suggest that interactions between OPN and integrin α8β1 may help regulate kidney development and other morphogenetic processes.

Scavenger receptor A gene regulatory elements target gene expression to macrophages and to foam cells of atherosclerotic lesions.

Transcription of the macrophage scavenger receptor A gene is markedly upregulated during monocyte to macrophage differentiation. In these studies, we demonstrate that 291 bp of the proximal scavenger receptor promoter, in concert with a 400-bp upstream enhancer element, is sufficient to direct macrophage-specific expression of a human growth hormone reporter in transgenic mice. These regulatory elements, which contain binding sites for PU.1, AP-1, and cooperating ets-domain transcription factors, are also sufficient to mediate regulation of transgene expression during the in vitro differentiation of bone marrow progenitor cells in response to macrophage colony-stimulating factor. Mutation of the PU.1 binding site within the scavenger receptor promoter severely impairs transgene expression, consistent with a crucial role of PU.1 in regulating the expression of the scavenger receptor gene. The ability of the scavenger receptor promoter and enhancer to target gene expression to macrophages in vivo, including foam cells of atherosclerotic lesions, suggests that these regulatory elements will be of general utility in the study of macrophage differentiation and function by permitting specific modifications of macrophage gene expression.