Mostrando recursos 1 - 20 de 9.842

  1. Engineering multicellular logic in bacteria with metabolic wires

    Silva-Rocha, Rafael; Lorenzo, Víctor de
    Aromatic biodegradation pathways of environmental bacteria are vast sources of matching trios of enzymes, substrates and regulators that can be refactored to run logic operations through cell-to-cell communication. As a proof of concept, the connection between two Pseudomonas putida strains using benzoic acid as the wiring molecule is presented. In this system, a sender strain harboring the TOL pathway for biodegradation of aromatics processed toluene as input and generated benzoate as the output signal. Diffusion of such metabolic intermediate to the medium was then sensed by a second strain (the receiver) that used benzoate as input for a new logic...

  2. Neutral pion photoproduction at threshold

    Bernard, V.; Kaiser, N.; Gasser, J.; Meissner, U.G.
    The patterns that appear in exchanges between researchers, scientific journal publications and the demand for scientific articles often intersect, but the logic behind each type of activity is not necessarily the same. Analyses of requests for scientific articles from document suppliers may help to interpret current developments in electronic publishing. This study of article requests to the Institut de l'information scientifique et technique (INIST) shows that, in France, document supply customers fall into three main categories : business, academic libraries and public research organisations, in descending order. Demand focuses mainly on medicine, pharmacology, biology and chemistry, and the distribution of...

  3. Expressing Bayesian Fusion as a Product of Distributions: Application to Randomized Hough Transform

    Pradalier, Cédric; Colas, Francis; Bessiere, Pierre
    Data fusion is a common issue of mobile robotics, computer assisted medical diagnosis or behavioral control of simulated character for instance. However data sources are often noisy, opinion for experts are not known with absolute precision, and motor commands do not act in the same exact manner on the environment. In these cases, classic logic fails to manage efficiently the fusion process. Confronting different knowledge in an uncertain environment can therefore be adequately formalized in the bayesian framework. Besides, bayesian fusion can be expensive in terms of memory usage and processing time. This paper precisely aims at expressing any bayesian...

  4. Toward a synthetic cognitive paradigm: probabilistic inference

    Bessiere, Pierre
    Cognitive science is a very active field of scientific interest. It turns out to be a "melting pot" of ideas coming from very different areas. One of the principal hopes is that some synthetic cognitive paradigms will emerge from this interdisciplinary "brain storming". The goal of this paper is to answer the question: "Given the state of the art, is there any hints indicating the emergence of such synthetic paradigms?" The main thesis of the paper is that there is a good candidate, namely, the probabilistic inference paradigm. In support of the above thesis the structure of the paper is...

  5. $rec.titulo

    Baroin, Catherine
    The Rwa farm the densely populated slopes of Mount Meru, facing Mount Kilimanjaro. Their age system is part of a highly developped sociopolitical organisation, with a centralised chieftaincy and powerful patrilinear clans. We will first describe the logic and structure of this age system, and compare it to those of the neighboring Maasai and Arusha. This age system fulfills various functions, implying cognitive, matrimonial, demographical, social, legal and ritual aspects, which will then be described. Thirdly and lastly, we will address the history and reasons for the evolution of the Rwa age-system. From a leading role at the end of...

  6. O Enquadramento Estratégico-Militar e Operacional do Teatro de Operações de Moçambique (1964- 1975)

    Fernandes, Paulo; Pires, Fernando; Fernandes, Nuno; Cunha, João; Pereira, João
    O presente trabalho de investigação centra-se no “Enquadramento Estratégico-Militar e Operacional do Teatro de Operações de Moçambique (1964-1975)”. Para a elaboração do trabalho, recorreu-se à metodologia da investigação científica utilizando o raciocínio indutivo, apoiada em fontes escritas e complementada com uma entrevista a um ex-militar conhecedor do TO. O objetivo principal do trabalho é enquadrar o Teatro de Operações (TO) de Moçambique, durante o conflito, nos níveis Estratégico – Militar e Operacional, procurando de uma forma sistematizada, abordar os aspetos estratégicos e operacionais mais relevantes, entre 1964 e 1975. Concluiu-se que Portugal se foi adaptando ao conflito ao nível da sua estrutura de...

  7. $rec.titulo

    Zhou, Naweiluo

  8. Formal verification of an interior point algorithm instanciation

    Davy, Guillaume; Féron, Eric; Garoche, Pierre-Loïc; Henrion, Didier
    With the increasing power of computers, real-time algorithms tends to become more complex and therefore require better guarantees of safety. Among algorithms sustaining autonomous embedded systems, model predictive control (MPC) is now used to compute online trajec-tories, for example in the SpaceX rocket landing. The core components of these algorithms, such as the convex optimization function, will then have to be certified at some point. This paper focuses specifically on that problem and presents a method to formally prove a primal linear programming implementation. We explain how to write and annotate the code with Hoare triples in a way that...

  9. Very Small Moving Objects detection in Videos by Means of Fuzzy Logic and Reliability Coefficients: application to migrating birds counting

    Guérin de Tourville, Valentina; Nicolas, Henri
    International audience

  10. $rec.titulo

    Özgün, Aybüke

  11. An augmented Reality Editor : building data-focused tools to extend the capability, connectivity, and usability of a mobile Internet of Things browser

    Reynolds, Benjamin F
    This thesis describes extensions made to the Reality Editor system to improve its ability to browse augmented reality content and to customize the flow of data between Internet of Things objects. The augmented reality browsing is improved by a platform shift to web technologies, while the data customization is provided by the design of logical operators that can be added to a network of objects. The contribution lies in the implementation of a novel grid-constrained, data flow visual programming language called Logic Crafting, which provides a modularized and extensible environment for manipulating the data passed between loT objects. Associated contributions...

  12. Making localization work for smart homes

    Jain, Anubhav, M. Eng. Massachusetts Institute of Technology
    There is a great interest in enabling smart homes that interact with their occupants and react to their needs. Central to this vision is the ability to identify and locate each occupant continuously. Current indoor localization systems, however, fall into two classes: device-based localization which require the user to carry her device in order to localize her, and device-free localization which can localize a user but fail to identify her. Neither is suitable for smart homes where users may not carry the phone at home, yet smart applications (e.g., tuning to the user's favorite TV channel) require both location and...

  13. Inferring final plans : expanding on a generative and logic-based approach

    Johnson, Brittney E
    When humans work together to form a plan, they often make mistakes: they misspeak, say things out of order, and negate things they had previously said. We aim to read human team planning conversations and extract the final agreed-upon plan so that a robotic agent may assist in design or execution. Previous work shows that a generative model with logic-based priors is effective when the plan being formed is relatively simple. We present an algorithm that expands on the model by incorporating dialogue acts, which give an indication of how proposed actions are said. We compare our model's performance to...

  14. RSMLab : a web-based tool for recombinase-based state machine design and visualization

    Kugener, Guillaume Georges
    Biological state machines have the potential to enable a wide range of applications but until recently have been challenging to implement experimentally. To overcome this challenge, we described a scalable strategy for assembling biological state machines using recombinases. This platform enables the implementation of biological state machines with arbitrary behaviors, but the manual design of such state machines is increasingly challenging with increasing complexities. Here, we introduce RSMLab, an intuitive web-based application for creating circuits that implement state-dependent logic in living cells using our scalable state-machine framework. Through a graphical user interface, RSMLab users choose a desired state diagram, define...

  15. Scalable black-box model explainability through low-dimensional visualizations

    Sinha, Aradhana
    Two methods are proposed to provide visual intuitive explanations for how black-box models work. The first is a projection pursuit-based method that seeks to provide data-point specific explanations. The second is a generalized additive model approach that seeks to explain the model on a more holistic level, enabling users to visualize the contributions across all features at once. Both models incorporate visual and interactive elements designed to create an intuitive understanding of both the logic and limits of the model. Both explanation systems are designed to scale well to large datasets with many data points and many features.

  16. Evaluación por competencias utilizando lógica difusa

    Bedoya Ruiz, Diana Patricia; Sierra Duque, Carlos Mario
    [EN] The evaluation process of learning competences requires a comprehensive assessment of student that includes affective, cognitive and psychomotor aspects. Learning assessment systems have carried out the estimation of reached learning level by a student in a specific time and, as assessment dimension, only the cognitive aspect. This form of assessment has as shortcomings that ignores history and not takes into account learning process assessment of another dimensions of the training of apprentices. One of the principles of the competences assessment is the search to articulate qualitative and quantitative assessment, for this there are different criteria of evaluation and to each of them a weight is assigned in the...

  17. Modelos de enseñanza en la educación básica

    Escribano González, Alicia
    Esta tesis presenta el estudio de modelos de enseñanza en la educacion basica. El objetivo del estudio es detectar los modelos de enseñanza prevalentes en la practica del aula por parte del profesorado en ejercicio y estudiantes de profesorado de educacion basica. El fundamento logico de este estudio esta basado en el examen teorico e investigaciones recientes sobre seis modelos de enseñanza, tres cognitivos y tres conductuales: El modelo de los organizadores previos de D. Usubal, el de adquisicion de conceptos de J. Bruner y el de desarrollo cognitivo de J. Piaget para los cognitivos; y los modelos de control...

  18. Computation in Focused Intuitionistic Logic

    Brock-Nannestad, Taus; Guenot, Nicolas; Gustafsson, Daniel
    International audience

  19. Focused Linear Logic and the λ-calculus

    Brock-Nannestad, Taus; Guenot, Nicolas
    International audience

  20. Nombre propio, trabajo y reproducción social en el Chaco boreal contemporáneo

    Richard, Nicolas
    El artículo estudia los "paisajes" de nombres propios que organizan la onomástica contemporánea del Chaco boreal. Muestra cómo, entre el término de la guerra del Chaco (1932-35) y los años '80, el conjunto de la población indígena de Chaco fue nombrada según el dispositivo nombre.apellido. Se llama a ésto el despliegue de un régimen onomástico. A una escala más local, bajo este régimen, se identifican tres distintos 'paisajes' (sobre el Pilcomayo medio, en el Chaco central y en el Alto Paraguay) que permiten ver cómo los 'nombres propios' traducen las lógicas locales de trabajo y reproducción social en el mundo...

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.