Mostrando recursos 41 - 60 de 166,508

  1. ASIC-based design of NMR system health monitor for mission/safety–critical applications

    Balasubramanian, P.
    N-modular redundancy (NMR) is a generic fault tolerance scheme that is widely used in safety–critical circuit/system designs to guarantee the correct operation with enhanced reliability. In passive NMR, at least a majority (N + 1)/2 out of N function modules is expected to operate correctly at any time, where N is odd. Apart from a conventional realization of the NMR system, it would be useful to provide a concurrent indication of the system’s health so that an appropriate remedial action may be initiated depending upon an application’s safety criticality. In this context, this article presents the novel design of a generic NMR...

  2. Logic circuits composed of flexible carbon nanotube thin-film transistor and ultra-thin polymer gate dielectric

    Lee, Dongil; Yoon, Jinsu; Lee, Juhee; Lee, Byung-Hyun; Seol, Myeong-Lok; Bae, Hagyoul; Jeon, Seung-Bae; Seong, Hyejeong; Im, Sung Gap; Choi, Sung-Jin; Choi, Yang-Kyu
    Printing electronics has become increasingly prominent in the field of electronic engineering because this method is highly efficient at producing flexible, low-cost and large-scale thin-film transistors. However, TFTs are typically constructed with rigid insulating layers consisting of oxides and nitrides that are brittle and require high processing temperatures, which can cause a number of problems when used in printed flexible TFTs. In this study, we address these issues and demonstrate a method of producing inkjet-printed TFTs that include an ultra-thin polymeric dielectric layer produced by initiated chemical vapor deposition (iCVD) at room temperature and highly purified 99.9% semiconducting carbon nanotubes....

  3. Computing in mammalian cells with nucleic acid strand exchange

    Groves, Benjamin; Chen, Yuan-Jyue; Zurla, Chiara; Pochekailov, Sergii; Kirschman, Jonathan L.; Santangelo, Philip J.; Seelig, Georg
    DNA strand displacement has been widely used for the design of molecular circuits, motors, and sensors in cell-free settings. Recently, it has been shown that this technology can also operate in biological environments, but capabilities remain limited. Here, we look to adapt strand displacement and exchange reactions to mammalian cells and report DNA circuitry that can directly interact with a native mRNA. We began by optimizing the cellular performance of fluorescent reporters based on four-way strand exchange reactions and identified robust design principles by systematically varying the molecular structure, chemistry and delivery method. Next, we developed and tested AND and...

  4. An insight into staphylococcal pathogenicity island-mediated interference with phage late gene transcription

    Ram, Geeta; Chen, John; Ross, Hope F; Novick, Richard P
    Staphylococcal pathogenicity islands (SaPIs) are ∼15 kb chromosomally located mobile elements that parasitize “helper” phages which provide a de-repressor protein plus virion and lysis proteins which enable the release of infectious SaPI particles in very high titers. All SaPIs interfere with the reproduction of their helper phages, using 3 different mechanisms. The logic of SaPI reproduction requires that these interference mechanisms do not totally block phage production, as this would be lethal for them as well as for the phage. The discovery of 2 SaPI2 proteins that totally block phage 80 by interfering with late phage transcription was inconsistent with this...

  5. The evolutionary diversity of insect retinal mosaics: Common design principles and emerging molecular logic

    Wernet, Mathias F.; Perry, Michael W.; Desplan, Claude
    Independent evolution has resulted in a vast diversity of eyes. Despite the lack of a common Bauplan or ancestral structure, similar developmental strategies are used. For instance, different classes of photoreceptor cells (PRs) are distributed stochastically and/or localized in different regions of the retina. Here we focus on recent progress made towards understanding the molecular principles behind patterning retinal mosaics of insects, one of the most diverse groups of animals adapted to life on land, in the air, under water, or on the water surface. Morphological, physiological, and behavioral studies from many species provide detailed descriptions of the vast variation...

  6. How Much In-Kind Support Do Low-Income Nonresident Fathers Provide? A Mixed-Method Analysis

    Kane, Jennifer B.; Nelson, Timothy; Edin, Kathryn
    Past child support research has largely focused on cash payments made through the courts (formal support) or given directly to the mother (informal support), almost to the exclusion of a third type: non-cash goods (in-kind support). Drawing on repeated, semistructured interviews with nearly 400 low-income noncustodial fathers, the authors found that in-kind support constitutes about one quarter of total support. Children in receipt of some in-kind support receive, on average, $60 per month worth of goods. Multilevel regression analyses demonstrated that children who are younger and have more hours of visitation, as well as those whose father has a high...

  7. Deciphering the Regulatory Logic of an Ancient, Ultraconserved Nuclear Receptor Enhancer Module

    Bagamasbad, Pia D.; Bonett, Ronald M.; Sachs, Laurent; Buisine, Nicolas; Raj, Samhitha; Knoedler, Joseph R.; Kyono, Yasuhiro; Ruan, Yijun; Ruan, Xiaoan; Denver, Robert J.
    Cooperative, synergistic gene regulation by nuclear hormone receptors can increase sensitivity and amplify cellular responses to hormones. We investigated thyroid hormone (TH) and glucocorticoid (GC) synergy on the Krüppel-like factor 9 (Klf9) gene, which codes for a zinc finger transcription factor involved in development and homeostasis of diverse tissues. We identified regions of the Xenopus and mouse Klf9 genes 5–6 kb upstream of the transcription start sites that supported synergistic transactivation by TH plus GC. Within these regions, we found an orthologous sequence of approximately 180 bp that is highly conserved among tetrapods, but absent in other chordates, and possesses...

  8. “Evaluation of a Very Low-Cost and Simple Teleradiology Technique”

    Khodaie, Mahdieh; Askari, Azam; Bahaadinbeigy, Kambiz
    This paper describes and analyzes a proposed solution of fundamental limitative factor of teleradiology to overcome the teleradiology usages problems in underdeveloped and developing countries. The goal is to achieve a very simple and cost-efficient way to take advantage of teleradiology in anywhere even in remote and rural areas. To meet the goal of this study, the following methodology which is consists of two main procedures was done: (1) Using a digital camera in order to provide a digital image from radiographs. (2) Using an image compression tool in order to compress digital images. The results showed that there is...

  9. Boolean network model for GPR142 against Type 2 diabetes and relative dynamic change ratio analysis using systems and biological circuits approach

    Kaushik, Aman Chandra; Sahi, Shakti
    Systems biology addresses challenges in the analysis of genomics data, especially for complex genes and protein interactions using Meta data approach on various signaling pathways. In this paper, we report systems biology and biological circuits approach to construct pathway and identify early gene and protein interactions for predicting GPR142 responses in Type 2 diabetes. The information regarding genes, proteins and other molecules involved in Type 2 diabetes were retrieved from literature and kinetic simulation of GPR142 was carried out in order to determine the dynamic interactions. The major objective of this work was to design a GPR142 biochemical pathway using...

  10. Contemplating 3-Hydroxypropionic Acid Biosynthesis in Klebsiella pneumoniae

    Li, Ying; Tian, Pingfang
    3-Hydroxypropionic acid (3-HP) is a commercially valuable platform chemical from which an array of C3 compounds can be generated. Klebsiella pneumoniae has been considered a promising species for biological production of 3-HP. Despite a wealth of reports related to 3-HP biosynthesis in K. pneumoniae, its commercialization is still in infancy. The major hurdle hindering 3-HP overproduction lies in the poor understanding of glycerol dissimilation in K. pneumoniae. To surmount this problem, this review aims to portray a picture of 3-HP biosynthesis, involving 3-HP-synthesizing strains, biochemical attributes, metabolic pathways and key enzymes. Inspired by the state-of-the-art advances in metabolic engineering and...

  11. Clean-up & conclusion of sections 5.1.2-5.1.4

    Crespi, Noel
    The Service Broker adds additional capabilities to static service brokering functions provided by the initial Filter Criteria in the S-CSCF and enables the possibility of dynamic service brokering functions in IMS. Given a set of IMS applications, depending on the subscriber's requirements there may be multiple sequences or ways of integrating these applications. With the initial Filter Criteria, only a static order of chaining these applications is possible. We propose that the Service Broker, via the service invocation history in the ISC and rule-based interaction logic provisioned offline, can provide this additional function of dynamically chaining the IMS services at...

  12. A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality

    Blanchette, Jasmin Christian; Fleury, Mathias; Weidenbach, Christoph
    International audience

  13. Model Finding for Recursive Functions in SMT

    Reynolds, Andrew; Blanchette, Jasmin Christian; Cruanes, Simon; Tinelli, Cesare
    International audience

  14. Real world fuzzy logic applications in data mining and information retrieval

    Bouchon-Meunier, Bernadette; Detyniecki, Marcin; Lesot, Marie-Jeanne; Marsala, Christophe; Rifqi, Maria
    International audience

  15. Proceedings of CHR 2005, Second Workshop on Constraint Handling Rules

    Tom Schrijvers; Thom Frühwirth
    This book contains the Proceedings of CHR 2005, the Second Workshop on Constraint Handling Rules, held at the occasion of ICLP 2005 in Sitges (Spain) on October 5, 2005. The Constraint Handling Rules (CHR) language has become a major declarative specification and implementation language for constraint reasoning algorithms and applications. Algorithms are often specified using inference rules, rewrite rules, sequents, proof rules or logical axioms that can be directly written in CHR. Based on first order predicate logic, this clean semantics of CHR facilitates non-trivial program analysis and transformation.

  16. Integrating ServiceJ with Interoperable Web Service Invocation

    Sven De Labey; Eric Steegmans
    The Web Services paradigm is promising because it excels in uniting systems that were previously thought to be incompatible. Hence, a growing number of applications are built as interconnected, cooperating services, where the business logic of each service is typically implemented in an object-oriented programming language. But current object-oriented programming languages do not integrate well with the Web Services paradigm. Various frameworks were proposed to increase transparency, but these APIs fail to provide appropriate abstractions for guiding service selection and for handling service failures. Hence, they make the programmer responsible for dealing with infrastructural technicalities, resulting in ad-hoc solutions that...

  17. A Logic Meta Programming Foundation for Example-Driven Pattern Detection in Object-Oriented Programs

    Coen De Roover
    The growing number of tools for detecting user-specified software patterns is testament to their valuable applications throughout the development process. In these applications, user-specified software patterns describe code that exhibits characteristics of interest. For instance, violations of the protocol an API expects to be adhered to. Logic formulas can be used as expressive and descriptive pattern specifications. This merely requires reifying the program under investigation such that variables can range over its elements. Executing a proof procedure will establish whether program elements exhibit the characteristics specified in a formula. However, we have observed that such formulas become convoluted and operational...

  18. An extension of protocol verification modal logic to multi-channel-protocols

    Takács Péter (1966-) (informatikus); Vályi Sándor (1968-) (matematikus, informatikus)

  19. Identidad sociopolítica delictiva en México

    García Lirios, Cruz; Carreón Guillén, Javier; Hernández Valdés, Jorge; Mejía Rubio, Silvia; García Estrada, Erle; Rosas Ferrusca, Francisco Javier
    La relación entre sociedad y Estado ha sido estudiada desde una lógica del poder jurídico-político en el que la rectoría de los gobernantes y el control delictivo son indispensables para explicar la seguridad pública ciudadana, pero si este fenó- meno se observa desde una lógica de la influencia social en la que al interior de la ciudadanía se gestan percepciones de inseguridad y riesgo que explican la formación de emociones y opiniones desfavorables al accionar gubernamental, entonces el concepto de identidad sociopolítica permite esclarecer el proceso por medio del cual la ciudadanía atribuye a la corrupción, negligencia, nepotismo u opacidad...

  20. IMPRESOPORMI

    Engert, Lucía
    En el presente trabajo se ensaya el análisis de un conjunto de libros de artista enmarcados en el proyecto editorial IMPRESOPORMI/micropoéticas. El mismo se encuentra situado en la ciudad de La Plata y está signado por las lógicas de la autogestión. En este sentido, se evaluarán los vínculos de dichos libros con la estética relacional de Nicolas Bourriaud, con la noción de intersticio y con la posibilidad de mesurar distintos niveles de intensidad de lo relacional en el arte contemporáneo.

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.