Mostrando recursos 101 - 120 de 166,834

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

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

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

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

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

  5. Model Finding for Recursive Functions in SMT

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

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

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

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

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

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

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

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

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

  13. Symbolic Possibilistic Logic: Completeness and Inference Methods

    Cayrol, Claudette; Dubois, Didier; Touazi, Fayçal
    International audience

  14. Epistemic Equilibrium Logic

    Fariñas del Cerro, Luis; Herzig, Andreas; Su, Ezgi Iraz
    International audience

  15. El medio ambiente y la lógica de la acción colectiva

    Gómez Yáñez, José Antonio

  16. Affordable Loss in Entrepreneurial Internationalisation: A Focus on Finnish Biotechnology Firms

    Ketolainen, M; Nummela, N; Kalinic, I
    This paper develops the concept of affordable loss in the context of decision-making in entrepreneurial internationalisation and offers both an in-depth conceptual analysis and practical application in the biotechnology sector. Based on our findings, affordable loss seems to be connected to short-term, operative decisions, but is less applicable for long-term, strategic decisions. Furthermore, the use of the affordable loss principle appears to be more common in decisions involving a single decision-maker than in shared decision-making. However, we also challenge the premise of effectuation theory, as affordable loss and expected reward do not seem to present alternative elements when viewing decision-making...

  17. HeDGE: Hybrid Dataflow Graph Execution in the Issue Logic

    Subramanian, Suriya; Mckinley, Kathryn S.
    International audience

  18. A Dialectical Proof Theory for Universal Acceptance in Coherent Logic-based Argumentation Frameworks

    Arioua, Abdallah; Croitoru, Madalina
    International audience

  19. Using formal logic to represent sign language phonetics in semi-automatic annotation tasks

    Curiel Diaz, Arturo Tlacaélel

  20. Comunicación interactiva y poder cuidadano en la ciber-democracia

    Galleguillo, Rubén
    El presente trabajo de investigación estudia el complejo vínculo entre la Comunicación Interactiva, resultante de la coordinación conductual en el espacio virtual de las redes digitales, y el Poder Ciudadano, emanado de la manifestación cívica en el espacio real de la praxis política, examinando la naturaleza, configuración y sentido de sus procesos constituyentes, dominios y lógicas intervinientes, conductas y patrones subyacentes, relaciones e interacciones, pautas y condiciones, factores y disposiciones, resultados y emergencias. La utilización creciente de nuevas formas y canales de comunicación, derivada del acoplamiento funcional y coherente de medios, recursos y dispositivos característicos de la comunicación tradicional con...

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.