Mostrando recursos 121 - 140 de 166,854

  1. Defect Analysis in Power Mode Control Logic of Low-Power SRAMs

    Zordan, Leonardo; Bosio, Alberto; Dilillo, Luigi; Girard, Patrick; Todri, Aida; Virazel, Arnaud; Badereddine, Nabil
    International audience

  2. De aprendizaje en familia a la escolarización republicana. Dos casos de estudio en Guayana y en Polinesia, Francia

    Alì, Maurizio
    Esta tesis de doctorado presenta un análisis antropológico de las actividades de educación doméstica en dos comunidades autóctonas de la Francia de ultramar: los Wayana-Apalaï, quienes viven en el sector amazónico de la Guayana francesa, y los Enata, quienes habitan la isla de Hiva Oa, en la Polinesia Francesa. Gracias a los datos recogidos a través de un trabajo etnográfico de larga duración, se determinó el tiempo dedicado a las interacciones educativas en el ámbito doméstico, los estilos educativos dominantes y las lógicas educativas de ambas comunidades. La dinámica educativa se ha interpretado en función de su papel de transmisión...

  3. Una mirada antropológica de la biología

    Ingold, Tim
    Este artículo sienta las bases para una integración exitosa de la antropologíadentro de la disciplina más general de la biología. En el discurso de laantropología social, el concepto de “biología” se suele vincular a una carade la oposición entre lo humano y lo natural, planteando una exclusividadmutua entre las personas y los organismos como objetos de estudio. Dentrode la disciplina de la biología, no obstante, la síntesis neo-darwiniana prevaleciente virtualmente elimina a los organismos como entidades reales, yla extensión de este paradigma que incorpora a la “herencia cultural” eliminatambién a la persona. Se propone una biología alternativa que tome alorganismo como...

  4. Aplicación de entornos informáticos y su incidencia en la gestión académica de la educación superior

    Caicedo Plúa, Christian Ruperto; Figueroa Morán, Grace Liliana; Romero Castro, Martha Irene; Paladines Morán, Julio Pedro
    El presente trabajo de investigación, presenta una perspectiva clara sobre el uso de entornos informáticos en la Educación Superior ya que mediante la aplicación de nuevas tecnologías se fortalece el desarrollo académico, científico – tecnológico de quienes utilizan estos ambientes como estrategia para la gestión académica. Este artículo tiene como objetivo organizar adecuadamente una plataforma informática para que permita mejorar la gestión operativa de la Universidad Estatal del Sur de Manabí, se diagnosticó la gestión operativa que se está llevando actualmente, sus requerimientos de modernización y se propuso la elaboración de un entorno virtual, el mismo que tuvo una serie...

  5. Democracia, movimientos sociales y participación popular: Lógicas democráticas y lógicas de distinción en las asambleas del 15M

    Moreno Pestaña, José Luis

  6. Presentación y relatoría

    Mesyngier, Leila; Moreno, Matías
    En la mesa de trabajo “El periodismo, la verdad y los procesos democráticos”, se buscó promover la reflexión y el intercambio de miradas en torno a diferentes tópicos vinculados a los conflictos de intereses y las prácticas periodísticas en los procesos democráticos populares. Se discutió acerca de las agendas mediáticas, el periodismo alternativo, social, ciudadano, popular y, en ese escenario, las lógicas de producción de los medios digitales y sus prácticas periodísticas. La emergencia de los movimientos sociales, organizaciones culturales y comunicación popular. Se analizaron los desplazamientos del dualismo objetividad/objetividad y el compromiso periodístico en la construcción de la verdad:...

  7. Enfermagem e gestão da atenção básica : caracterização da atuação dos profissionais no Rio Grande do Sul

    De Barba, Maria Luiza Ferreira
    Este estudo teve como objetivo analisar a participação dos profissionais de enfermagem na gestão da Atenção Básica visando problematizar a contribuição da formação do Enfermeiro no trabalho de gestão. Trata-se de um estudo transversal com abordagem quantiqualitativa. Utilizou-se dados secundários do Programa de Melhoria do Acesso e da Qualidade da Atenção Básica, que consistiu na pesquisa em Unidades Básicas de Saúde e Estratégia de Saúde da Família no ano de 2012, avaliando no estado do Rio Grande do Sul 67,45% das equipes de saúde. Foram considerados dados referente à infraestrutura e recursos materiais, configuração e atividades das equipes de saúde,...

  8. Feedback control logic for forbidden state problem of marked graphs: Application to a real manufacturing system

    Ghaffari, Asma; Rezg, Nidhal; Xie, Xiaolan
    Article dans revue scientifique avec comité de lecture.

  9. Vitalité des activités et rationalité du Lean : deux études de cas

    Arnoud, Justine; Benchekroun, Tahar Hakim; Arama, Rebecca
    El modelo de gestión Lean, basado en el Sistema de Producción de Toyota, se ha venido implementando en Francia en el sector del automóvil desde hace más de veinte años, extendiéndose poco a poco al conjunto de sectores de la economía. Las demandas de intervención en organizaciones que implementan Lean se multiplican conduciendo a los ergónomos a cuestionarse sobre su posicionamiento y a profundizar la reflexión en relación a este tipo de organización del trabajo. El artículo busca precisamente contribuir en este esfuerzo y capitalizar dos experiencias llevadas a cabo en diferentes contextos de Lean de manera a debatir sobre...

  10. Higher-order interpretations and program complexity

    Baillot, Patrick; Dal Lago, Ugo
    International audience

  11. A Dialectica-Like Approach to Tree Automata

    Riba, Colin
    We propose a fibred monoidal closed category of alternating tree automata. Our notion is based on Dialectica-like categories, suggested by the specific logical form of the transitions of alternating automata. The basic monoidal closed structure gives a realizability interpretation of proofs of a first-order multiplicative linear logic as winning strategies in corresponding acceptance games. Moreover, we show that the usual powerset operation translating an alternating automaton to an equivalent non-deterministic one satisfies the deduction rules of the '!' modality of linear logic. We thus get a deduction system for intuitionistic linear logic, which in particular gives deduction for minimal intuitionistic...

  12. Diseño y desarrollo de un servicio big data en la nube para búsqueda, compartición de ficheros y data mining

    Ramos Díaz, Juan
    En esta memoria se presenta el diseño y desarrollo de una aplicación en la nube destinada a la compartición de objetos y servicios. El desarrollo de esta aplicación surge dentro del proyecto de I+D+i, SITAC: Social Internet of Things – Apps by and for the Crowd ITEA 2 11020, que trata de crear una arquitectura integradora y un “ecosistema” que incluya plataformas, herramientas y metodologías para facilitar la conexión y cooperación de entidades de distinto tipo conectadas a la red bien sean sistemas, máquinas, dispositivos o personas con dispositivos móviles personales como tabletas o teléfonos móviles. El proyecto innovará mediante...

  13. [en] REVELATION AND VULNERABILITY: WAYS TO A HERMENEUTICS OF REVELATION ON THE BASIS OF THE PRESENCE-ABSENCE

    ABDRUSCHIN SCHAEFFER ROCHA
    [pt] A pesquisa objetiva refletir sobre as possibilidades de uma pretensa relação entre a revelação divina e a vulnerabilidade humana, propondo, para isso, caminhos para uma hermenêutica da revelação que se compreenda a partir do movimento dialético entre a presença e a ausência. Discute, portanto, se essa revelação diz respeito apenas ao divino e se tal vulnerabilidade é característica apenas do humano. Para tanto, parte-se do pressuposto de que a tradição ocidental, em grande medida, se constrói sobre pressupostos metafísicos que delineiam o horizonte a partir do qual se conceberá a revelação durante a maior parte do tempo. A Modernidade,...

  14. The spatiotemporal order of signaling events unveils the logic of development signaling

    Zhu, H; Owen, MR; Mao, Y
    MOTIVATION: Animals from worms and insects to birds and mammals show distinct body plans; however, the embryonic development of diverse body plans with tissues and organs within is controlled by a surprisingly few signaling pathways. It is well recognized that combinatorial use of and dynamic interactions among signaling pathways follow specific logic to control complex and accurate developmental signaling and patterning, but it remains elusive what such logic is, or even, what it looks like. RESULTS: We have developed a computational model for Drosophila eye development with innovated methods to reveal how interactions among multiple pathways control the dynamically generated...

  15. Automatización planta de embotellado de la línea de proceso de transformaciones vegetales de la facultad de ingeniería de La Universidad La Gran Colombia Seccional Armenia, aplicando control borroso para la detección de alarmas.

    Tabares Ospina, Héctor A.; Hernández, Jesús
    This article presents the automation of bottling plant, and it suggests a predictablemaintenance system based on Logic Fuzzy techniques. For the implementation ofthe prototype, the programming software was used for the controller Zelio of Schneider Electric.

  16. Soporte lógico de la filosofía del lenguaje de Juan Caramuel

    Borrego Hernández, Nicolás

  17. A Máscara no Paralelo Onírico d’“Os Alicerces da Realidade” de José Régio

    Madeira D'Ascensão, Maria
    Visando a literatura de José Régio, Eugénio Lisboa refere que todo o seu texto é “habitado por toda uma teoria de heróis devorados pela necessidade de verem e fazerem ver. Mas são frequentemente personagens complicados e minados por uma lucidez corrosiva” (Lisboa, 2001: 74-75). No conto “Os Alicerces da Realidade” da autoria do célebre escritor do séc. XX, é-nos apresentado um protagonista desenhado com linhas intricadamente complexas e com traços de loucura, resultantes da corrosão do ser profundamente lúcido. De facto, na diegese de “Os Alicerces da Realidade”, Silvestre, a personagem principal, representa um funcionário público aposentado aparentemente vulgar que,...

  18. Manufacturing-Oriented Testing of Delay Faults in the Logic Architecture of Symmetrical FPGAs

    Girard, Patrick; Heron, O.; Pravossoudovitch, Serge; Renovell, Michel
    International audience

  19. On Finite Domains in First-Order Linear Temporal Logic

    Kuperberg, Denis; Brunel, Julien; Chemouil, David
    Long version

  20. Static versus Dynamic Verification in Why3, Frama-C and SPARK 2014

    Kosmatov, Nikolai; Marché, Claude; Moy, Yannick; Signoles, Julien
    International audience

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.