Mostrando recursos 101 - 120 de 10.473

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

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

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

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

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

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

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

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

  9. Computation in Focused Intuitionistic Logic

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

  10. Focused Linear Logic and the λ-calculus

    Brock-Nannestad, Taus; Guenot, Nicolas
    International audience

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

  12. Readable semi-automatic formal proofs of Depth-First Search in graphs using Why3

    Chen, Ran; Levy, Jean-Jacques
    Quite often formal proofs are not published in conferences or journal articles, because formal proofs are usually too long. A typical article states the ability of having implemented a formal proof, but the proof itself is often sketched in terms of a natural language. At best, some formal lemmas and definitions are stated. Can we do better ? We try here to publish the details of a formal proof of the white-paths theorem about depth-first search in graphs. We use Why3 as the proving platform, because Why3 uses first-order logic augmented with inductive definitions of predicates and because Why3 makes...

  13. Alteración de la salud y tutela de los derechos fundamentales de los trabajadores en el ordenamiento jurídico español

    Montoya Medina, David
    Como es sabido, la incapacidad para el trabajo derivada de un accidente o una enfermedad padecida por el trabajador puede ser analizada desde muy diversos prismas. El más evidente de ellos concierne a los efectos suspensivos sobre la relación contractual y el haz de derechos y obligaciones jurídico laborales que las partes ostentan durante el tiempo de suspensión del contrato de trabajo. Asimismo, como es sabido, dicha contingencia tiene una clara incidencia en la esfera de las normas de Seguridad Social del trabajador, por cuanto, además de la asistencia sanitaria, éste puede causar derecho a determinadas prestaciones sustitutivas del salario....

  14. Alteración de la salud y tutela de los derechos fundamentales de los trabajadores en el ordenamiento jurídico español

    Montoya Medina, David
    Como es sabido, la incapacidad para el trabajo derivada de un accidente o una enfermedad padecida por el trabajador puede ser analizada desde muy diversos prismas. El más evidente de ellos concierne a los efectos suspensivos sobre la relación contractual y el haz de derechos y obligaciones jurídico laborales que las partes ostentan durante el tiempo de suspensión del contrato de trabajo. Asimismo, como es sabido, dicha contingencia tiene una clara incidencia en la esfera de las normas de Seguridad Social del trabajador, por cuanto, además de la asistencia sanitaria, éste puede causar derecho a determinadas prestaciones sustitutivas del salario....

  15. Tiempos de crisis y democracia: el derecho de excepción en la España contemporánea

    Aubert, Paul
    La democracia constituye desde hace dos siglos el horizonte del progreso político en los países occidentales. En España tarda en llegar en la práctica, una vez superado el liberalismo doctrinario que restringía el cuerpo electoral,como en los demás países europeos. Pero las tesis vitalistas y los análisis socio-lógicos más recientes sugieren ahora que la crisis de la democracia es un pro-ceso irreversible aunque señalan su fragilidad y apuntan hacia un constitucio-nalismo transnacional inducido por decisiones controvertidas tomadas porempresas multinacionales u organismos internacionales que afectan las esferasnacionales desde espacios sociales superiores al Estado-nación.

  16. Tiempos de crisis y democracia: el derecho de excepción en la España contemporánea

    Aubert, Paul
    La democracia constituye desde hace dos siglos el horizonte del progreso político en los países occidentales. En España tarda en llegar en la práctica, una vez superado el liberalismo doctrinario que restringía el cuerpo electoral,como en los demás países europeos. Pero las tesis vitalistas y los análisis socio-lógicos más recientes sugieren ahora que la crisis de la democracia es un pro-ceso irreversible aunque señalan su fragilidad y apuntan hacia un constitucio-nalismo transnacional inducido por decisiones controvertidas tomadas porempresas multinacionales u organismos internacionales que afectan las esferasnacionales desde espacios sociales superiores al Estado-nación.

  17. A robust interval Type-2 TSK Fuzzy Logic System design based on Chebyshev fitting

    Boumella, N.; Djouani, K.; Boulemden, M.
    International audience

  18. A new design of Fuzzy Logic Controller based on generalized orthogonality principle

    Boumella, N.; Djouani, K.; Iqbal, S.
    International audience

  19. $rec.titulo

    Bakhtiarinoodeh, Zeinab

  20. $rec.titulo

    Bakhtiarinoodeh, Zeinab

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.