Mostrando recursos 1 - 20 de 188.624

  1. Concurrent and Reactive Constraint Programming

    Gabbrielli, Maurizio; Palamidessi, Catuscia; Valencia, Frank,
    The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification, and timed extensions. In this paper we review the main lines of research and contributions of the community in this field

  2. Formalizing common sense reasoning for scalable inconsistency-robust information coordination using Direct Logic™ Reasoning and the Actor Model

    Hewitt, Carl
    International audience

  3. $rec.titulo

    Osborne, Nicolas

  4. Chroniclers and critics

    Standish, P
    In recent papers by Marc Depaepe and Daniel Trohler, philosophers of education are criticised for their tendency to address eternal questions in pursuit of timeless truths, with insufficient awareness of the genesis of the ideas they refer to and insensitivity to historical context. The suspicion of presentism in their approach is reinforced by their practice of speaking of figures of the past in the present tense. This paper takes issue with the characterisation of philosophy of education that both papers presume, suggesting that the field is different from and more varied than these authors imply. More specifically, the logic of...

  5. Algebra and logic for access control

    Collinson, M; Pym, D
    The access control problem in computer security is fundamentally concerned with the ability of system entities to see, make use of, or alter various system resources. We provide a mathematical framework for modelling and reasoning about (distributed) systems with access control. This is based on a calculus of resources and processes together with a Hennessy-Milner-style modal logic, based on the connectives of bunched logic, for which an appropriate correspondence theorem obtains. As a consequence we get a consistent account of both operational behaviour and logical reasoning for systems with access control features. In particular, we are able to introduce a...

  6. Economías regionales, gobiernos e integración sudamericana

    Paikin, Damián
    La creación del Mercosur y los cambios en las lógicas comerciales intrarregionales generaron profundas modificaciones en la estructura económica nacional. En este contexto, algunas economías regionales, como los casos del azúcar y de la vitivinicultura que aquí estudiaremos, encontraron en la constitución del mercado ampliado desafíos y oportunidades que obligaron a ambos sectores a buscar mecanismos de adaptación capaces de hacer frente a dichas circunstancias. En particular, la demanda de generación de políticas de protección o acompañamiento por parte de los gobiernos provinciales como portavoces de los intereses sectoriales fue, sin dudas, uno de los mecanismos más utilizados con el fin...

  7. Especificando sistemas basados en eventos con una lógica temporal con fluentes contadores

    Regis, Germán; Degiovanni, Renzo; D’Ippolito, Nicolás; Aguirre, Nazareno Matías
    En este trabajo introducimos la lógica temporal con fluentes contadores, una extensión de la lógica temporal con fluentes que complementa la noción de fluente proposicional con el concepto de fluente contador. A diferencia de los anteriores, los fluentes contadores son variables numéricas que enumeran ocurrencias de eventos, permitiendo caracterizar de una manera más natural e intuitiva propiedades en las cuales el número de veces que ocurren ciertos eventos del sistema es relevante. Si bien esta extensión es indecidible y estrictamente más expresiva que la lógica temporal lineal con fluentes, desarrollamos una técnica correcta pero incompleta para verificar propiedades de modelos...

  8. Educación superior en diseño industrial

    Fernández, Luz; Romero, Ricardo; Ledesma, Patricia
    El presente trabajo aborda la problemática en relación a la educación superior en diseño industrial atendiendo al entramado que articula la dimensión laboral y la cultural. Proponemos una reflexión sobre aquellas estrategias y prácticas que subyacen en el ámbito educativo y se traducen en potencialidades del ejercicio profesional. Para ello, concentramos la atención sobre dos dimensiones, la técnica y la cultural con el fin de delinear algunos conceptos que atraviesan a la enseñanza del diseño industrial en Argentina. En principio, analizamos la relación entre la educación y la inserción laboral en el entramado político y económico, entendiendo que allí reside...

  9. Enrique Pezzoni: los “casos literarios” en la enseñanza de la teoría

    Gerbaudo, Analía
    Este artículo gira sobre una marca de las clases de teoría literaria dictadas por Enrique Pezzoni en la carrera de Letras de la Universidad de Buenos Aires entre 1984 y 1986: el trabajo con “casos literarios”. En primer lugar se realizan aclaraciones metodológicas respecto del análisis de clases desgrabadas. Luego se diferencian las lógicas del “caso” y del “ejemplo” literarios enmarcadas en el conjunto de sus operaciones didácticas mientras se hipotetiza sobre las tensiones del campo respecto de las que estas decisiones tomaban posición. Finalmente se recobra la relación entre teoría y literatura en su enseñanza a partir de cuentos...

  10. Desenvolvimento de ferramenta para interligação de dispositivos utilizando protocolos industriais

    Dias, Francisco Almeida Nunes Brito
    Devido ao crescimento da aplicação de automação no meio industrial, a competitividade dos vários setores industriais tem vindo a aumentar muito os seus níveis de oferta aos clientes. A gestão de todos os processos dentro de uma indústria é um trabalho de elevada complexidade. Como tal, recorre-se à utilização de ferramentas e tecnologias para o auxílio na execução dos diversos processos, tais como aplicações lógicas, que permitem uma interface gráfica ao utilizador para acesso à informação relevante sobre o estado das entradas e saídas de controlo do processo. Neste aspeto, o controlo, a supervisão, e os autómatos permitem o controlo sobre...

  11. Une preuve formelle de l'algorithme de Tarjan-1972 pour trouver les composantes fortement connexes dans un graphe

    Chen, Ran; Levy, Jean-Jacques
    National audience

  12. Cuerpos en movimientos

    Diaz, Evelina; Di Piero, Agustina; Rojas, Eliana Belén
    La presente ponencia1 surge a raíz de la experiencia de trabajo territorial en el barrio El Cármen de Berisso. Desde hace más de seis años un grupo de estudiantes y profesionales de distintas disciplinas desarrollamos actividades con niñxs y jóvenes como parte del Colectivo de Trabajo Territorial “Piedra, Papel y Tijera”. A través de nuestro trabajo nos proponemos desnaturalizar y cuestionar el lugar social, político y cultural que se les asigna a nuestros cuerpos y la manera en como nos relacionamos nosotras con nuestros propios cuerpos. Entendemos que las disposiciones de los mismos no son casuales, sino que resultan testimonios de...

  13. Una serie histórica de precios residenciales para España

    Taltavull de La Paz, Paloma; Juárez Tárraga, Francisco
    Este artículo reconstruye la serie de precios residenciales para España desde la década de los sesenta hasta los ochenta del siglo XX utilizando el crédito hipotecario como variable que aproxima su comportamiento. El análisis se realiza en dos fases. En la primera, se muestra la validez de la variable elegida mediante la evaluación de sus similitudes estadísticas con la evolución de los precios durante el período en que se observan ambas (1987-2014). En la segunda, se define un modelo donde se estima el comportamiento de largo plazo de los precios residenciales en relación al PIB, como indicador fundamental en su...

  14. Comparativa de diferentes técnicas de control con finalidad didáctica sobre una maqueta bola y viga de bajo coste

    Gallego Baleriola, Ignacio
    En el presente documento se expone un proyecto consistente en una comparativa de diferentes técnicas de control automático sobre un sistema real, concretamente en una maqueta del mecanismo “bola y viga” con una premisa de bajo coste. Con ello se pretende aportar una solución sencilla y viable económicamente para su producción orientada a prácticas en laboratorio de las universidades o para aquellas personas que quieran dar sus primeros pasos en el mundo de la automatización por cuenta ajena. A través de este sistema se puede comprender las diferencias existentes entre varias metodologías de control, así como observar la influencia de...

  15. Planificador basado en tareas para misiones de vehículos aéreos no tripulados

    Díaz Moreno, Adrián
    The design of software systems capable of planning and reacting to environmental changes for unmanned aerial vehicles (U.A.V.) is an important challenge nowadays. Although the act of planning seems to be closer to a rational being than robotic agents, the implementation of a system with such capabilities suggests a better performance for the missions executed by U.A.V. in dynamical environments, improving the autonomy of the agents. As a result, the design and development of these systems is the main objective of this work. This document presents the design and development of a task-based mission planner for U.A.V.. In the design of such...

  16. Synthetic topology in HoTT for probabilistic programming

    Faissole, Florian; Spitters, Bas
    International audience

  17. Importância da transformação de carne de suínos e processamento de produtos curados

    António, Damilton Rodrigues
    O presente estágio foi realizado na empresa Bísaro Salsicharia Tradicional, na aldeia de Gimonde aonde podemos encontrar os sabores típicos da região de Trás-os-Montes. O estágio decorreu no período de Fevereiro a Maio, onde foram desenvolvidas varias atividades ligada aos fluxogramas de produção dos diversos produtos produzidos pela empresa Bísaro. Começamos por ter contacto com as normas de segurança necessárias para os operários dentro da fábrica seguindo o sistema de HACCP implementado na mesma, seguidamente entramos na análise dos processos de produção dos produtos, que teve a seguinte lógica de trabalho: Avaliação da matéria-prima acolhida aos fornecedores (carnes, banha, azeite,…etc.), com...

  18. Hard cases: A procedural approach

    Hage, Jaap C.; Leenes, Ronald; Lodder, Arno R.
    Much work on legal knowledge systems treats legal reasoning as arguments that lead from a description of the law and the facts of a case, to the legal conclusion for the case. The reasoning steps of the inference engine parallel the logical steps by means of which the legal conclusion is derived from the factual and legal premises. In short, the relation between the input and the output of a legal inference engine is a logical one. The truth of the conclusion only depends on the premises, and is independent of the argument that leads to the conclusion. This paper opposes...

  19. Energy Reduction Through Voltage Scaling And Lightweight Checking

    Kadric, Edin
    As the semiconductor roadmap reaches smaller feature sizes and the end of Dennard Scaling, design goals change, and managing the power envelope often dominates delay minimization. Voltage scaling remains a powerful tool to reduce energy. We find that it results in about 60% geomean energy reduction on top of other common low-energy optimizations with 22nm CMOS technology. However, when voltage is reduced, it becomes easier for noise and particle strikes to upset a node, potentially causing Silent Data Corruption (SDC). The 60% energy reduction, therefore, comes with a significant drop in reliability. Duplication with checking and triple-modular redundancy are traditional...

  20. Imperial Enterprise: The United States International Volunteer Program, Neoliberal Empire, And Northern Youth

    Anderson, Caitlin
    In recent years, the phenomenon of Northern international volunteering has been conceived as an instance of post-collegiate “continuing education” and, as such, has been attributed to a neoliberal logic of self-enterprise. However, such accounts have neglected to interrogate how an entrenched logic of empire also animates the practice of recruiting and deploying Northern citizens to volunteer in the “developing” world. Also overlooked have been the particular intersections of these logics in the discourses of international volunteer programs, the related subject formations of Northern volunteers who come under their tutelage, and the ways in which these intersections engage broader geopolitical objectives...

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.