Mostrando recursos 41 - 60 de 189.606

  1. Conectividad urbana en Rem Koolhaas : megaestructura, calle elevada e infraestructura de comunicación, 1968-1989

    Mosquera Casares, Joaquín
    La presente tesis aborda de modo general la capacidad de conectividad urbana de la arquitectura, explorando la relación entre los sistemas de comunicación y el proyecto, específicamente centrando su atención sobre el trabajo proyectual del arquitecto Rem Koolhaas. Dicha expansión de los propios límites de la forma arquitectónica será una constante en su obra, habiéndose producido desde el mismo comienzo de su carrera, ya siendo estudiante en la Architectural Association cuando su pasado reciente como periodista estaba todavía presente. A este respecto, los proyectos y teorías de Rem Koolhaas siempre han venido de ámbitos muy diferentes, incluyendo campos de la...

  2. Automata theory meets approximate dynamic programming: Optimal control with temporal logic constraints

    Papusha, Ivan; Fu, Jie; Topcu, Ufuk; Murray, Richard M.
    We investigate the synthesis of optimal controllers for continuous-time and continuous-state systems under temporal logic specifications. The specification is expressed as a deterministic, finite automaton (the specification automaton) with transition costs, and the optimal system behavior is captured by a cost function that is integrated over time. We construct a dynamic programming problem over the product of the underlying continuous-time, continuous-state system and the discrete specification automaton. To solve this dynamic program, we propose controller synthesis algorithms based on approximate dynamic programming (ADP) for both linear and nonlinear systems under temporal logic constraints. We argue that ADP allows treating the...

  3. A semantical analysis of second-order propositional modal logic

    Belardinelli, Francesco; Van Der Hoek, Wiebe
    International audience

  4. Companions, Codensity and Causality

    Pous, Damien; Rot, Jurriaan
    International audience

  5. Untyping Typed Algebras and Colouring Cyclic Linear Logic (expanded)

    Pous, Damien
    International audience

  6. A multi-objective framework for cost-unavailability optimisation of residential distributed energy system design

    Wouters, C; Fraga, ES; James, AM
    Future energy systems are expected to include distributed energy systems (DES) and microgrids (MG) at the distribution level. These energy efficient environments enable participating consumers to locally generate and share both electrical and thermal energy. Apart from the potential for a more cost-efficient energy system design, improved system availability is also increasingly put forward as a major advantage of MGs. This paper proposes a mixed-integer linear programming (MILP) approach for the design of a neighbourhood-based energy system, considering the trade-off between total annualised cost and electrical system unavailability. System design is optimised to meet the yearly neighbourhood energy demands by...

  7. Riesgos psicosociales en una Universidad de Ecuador: mediante técnicas de Lógica Difusa

    Gómez Gómez, Francisco; López Cano, Ana; Munuera Gómez, Pilar
    Se valoran los riesgos psicosociales de los trabajadores y trabajadoras, docentes y no docentes, de la Universidad Técnica de Cotopaxi, ubicada en Latacunga, Ecuador, a través de un cuestionario de evaluación de factores psicosociales, validado por el Instituto Navarro de Salud Laboral de la Comunidad Autónoma de Navarra. Mediante Técnicas de Lógica Difusa, aplicadas en la interpretación de los datos del cuestionario, se consigue un avance en dar una respuesta grupal de los encuestados y las encuestadas, apoyada en la medición de la in certidumbre y la pertenencia al grupo. También se usaron Técnicas de Lógica Tradicional, con el fin...

  8. Market Definition and the Merger Guidelines

    Kaplow, Louis
    The recently issued revision of the U.S. Horizontal Merger Guidelines, like its predecessors and mirrored by similar guidelines throughout the world, devotes substantial attention to the market definition process and the implications of market shares in the market that is selected. Nevertheless, some controversy concerning the revised Guidelines questions their increased openness toward more direct, economically based methods of predicting the competitive effects of mergers. This article suggests that, as a matter of economic logic, the Guidelines revision can only be criticized for its timidity. Indeed, economic principles unambiguously favor elimination of the market definition process altogether. Accordingly, the 2010...

  9. La prisión provisional en el odenamiento procesal brasileño desde la regulación procesal española

    Dalabrida, S.E. (Sidney Eloy); Muerza-Esparza, J. (Julio)
    La presente tesis tiene por objetivo un estudio de la prisión preventiva en Brasil, desde un examen comparado de su régimen jurídico con la regulación procesal de la medida en el derecho español. Se sabe que cualquier trabajo científico que comprenda un estudio de un régimen jurídico extranjero es siempre una tarea peligrosa y arriesgada, puesto que su resultado no depende de una sencilla confrontación entre las normas existentes en cada uno de los ordenamientos. En efecto, para que se pueda obtener una conclusión científica, determinando la posibilidad de adaptaciones, cambios, incorporaciones o incluso combinaciones entre elementos existentes en los...

  10. Vejez, ciencia y poder: notas marginales a la formulación del campo de la edad

    Moya, Mario O.; Aguirre, Claudio; Mondaca Rojas, Carlos; Cea, Ximena; Bustamante, Claudia
    In recent years, social sciences and disciplines such as public health disclosed versions of Chilean aging as a neutral phenomenon, as a result of the modernization process of the State and health improvements in the country. However, we argue in this essay that aging and aging of the population are eminently political processes, based on the management and calculations made by the neoliberal State on the population. The discussion focuses on how aging and generally ages are tangled and produced by the logic of power, which is nowadays trying to solve the binomial ‘old age/expense’.

  11. De la profundidad a la superficie cultural. Lucha de significados y migración

    Coronado, Gabriela
    What migrants suppose is common sense is shaped by cultural logic subjacent in cultural behaviours learned, practiced and changed in everyday life. In the new society their culture is ignored but cultural elements are represented as exotic. As Mexican migrant in Australia I analyse representations of mexicanness to show how cultural meanings are transformed and distorted. Out of the relationship between “surface culture” and “deep culture” I explain how migrant cultures are alienated ignoring the underlying culture that influences the negotiations of cultural values.

  12. Food network: Diseño para una nueva lógica territorial

    González Cid, Agustina
    Over a third of the earth’s surface is destined to food crops; however, this territorial design has been defined solely on the basis of functional, logistical and economic criteria. By proposing to incorporate an architectural perspective onto the territory, this project seeks to transform the ‘sea of soy’ of Argentinean pampa into an architectural territory that is integrated to the global markets while also serving local communities.

  13. Simultaneous model identification and task satisfaction in the presence of temporal logic constraints

    Chinchali, Sandeep P.; Livingston, Scott C.; Pavone, Marco; Burdick, Joel W.
    Recent proliferation of cyber-physical systems, ranging from autonomous cars to nuclear hazard inspection robots, has exposed several challenging research problems on automated fault detection and recovery. This paper considers how recently developed formal synthesis and model verification techniques may be used to automatically generate information-seeking trajectories for anomaly detection. In particular, we consider the problem of how a robot could select its actions so as to maximally disambiguate between different model hypotheses that govern the environment it operates in or its interaction with other agents whose prime motivation is a priori unknown. The identification problem is posed as selection of...

  14. Globalización y transnacionalidad: el papel de Europa en la proyección del cine latinoamericano actual

    Montero, Laureano,
    Esta investigación se propone analizar el papel de Europa en la promoción del cine latinoamericano e indagar en cómo el nuevo escenario transnacional y los flujos de producción y distribución que este conlleva –que obedecen a lógicas dispares y a veces ambiguas–, repercute en las propuestas industriales y estéticas de la producción del subcontinente. Se debatirán conceptos como los de transnacionalidad, globalización o glocalización que acaparan muchos de los debates académicos actuales;La creciente globalización, a la que no es ajeno el cine, ha permitido en efecto la circulación de películas provenientes de países hasta entonces considerados periféricos. El cine latinoamericano...

  15. [en] SOME RESULTS IN A PROOF-THEORY BASED ON GRAPHS

    MARCELA QUISPE CRUZ
    [pt] A teoria da prova tradicional da lógica proposicional trata provas cujos tamanhos podem ser demasiado grandes. Estudos teóricos de prova descobriram diferenças exponenciais entre provas normais ou livres de corte e suas respectivas provas não-normais. Assim, o uso de grafos-de-prova, ao invés de árvores ou listas, para representar provas está se tornando mais popular entre teóricos da prova. Os grafos-de-prova servem como uma forma de proporcionar uma melhor simetria para a semântica de provas e uma maneira de estudar a complexidade das provas proposicionais. O objetivo deste trabalho é reduzir o peso/tamanho de deduções. Apresentamos formalismos de grafos de...

  16. Niños, familias y educación digitales el nuevo tridente para la convergencia de la sociedad de la información en España

    Gordo López, Ángel Juan; Parra Contreras, Pilar; D'Antonio Maceiras, Sergio Alejandro
    Desde mediados de la década pasada los informes especializados en la Sociedad de la Información y sus indicadores de desarrollo muestran un inusitado interés en los menores y las nuevas tecnologías, coincidiendo con una fase de estancamiento de la misma, especialmente acentuado en el caso español. A partir de un análisis exploratorio de una muestra de informes publicados desde 1995 hasta 2013 apreciamos que el interés en los menores y las nuevas tecnologías coincide a su vez con un mayor énfasis en las oportunidades educativas, la prevención y la mediación activa de las familias y la escuela en detrimento de...

  17. Diseño y construcción de un dispositivo para la alerta de obstáculos (dao)

    Herrera Velásquez, Alejandro; Jaramillo Morales, Roberto
    This paper presents the development of a portable electronic device for blind people. It is composed of an ultrasonic pair (emitter-receiver), and lead by a microcontroller. First, an emitter block generates ultrasonic waves that are reflected after they had collided with an obstacle. The reflected signal is captured by the receiver. The signal is then amplified, and after a threshold comparison is made by the microcontroller, an output is carried to the motor of a vibrator located in the patient's waist. The systems block diagram, the programming logic, the mechanical design, and the electrical circuit schematics are presented.

  18. Les offres publiques d'achat et d'échange sur le marché financier français - Étude de cas et essai d'interprétation

    Eynaudi, Christine
    The development of takeover bids and exchange offers in the French financial markets has raised, for years, some questions as to the well founded grounds for such deals and the operators' motives. The subject of this article is to reveal the results of the theoratical researches, notably in the United States and to use them as a working basis to explain the TOB initiated on the Paris Stock Exchange between 1977 and 1987. This approach is earmarked to relativise the first 2 parts of the disciplinary role of the secondary capital market where the transactions are conducted. It rests on...

  19. La Ruta de las Caletas del Maule: Sobre la articulación entre sector público, privado y sociedad civil en los procesos de reconstrucción posterremoto

    Concha, Claudia; Rasse Figueroa, Alejandra
    After the earthquake and tsunami on February 27, 2010, the Chilean government supported a reconstruction plan based on incentives to the private sector. This plan assigned the leadership role to private agents, without institutional tools to regulate or coordinate their actions. This paper examines the coordination between the public sector, private agents and civil society during a particular reconstruction case: the Ruta de las Caletas del Maule -The Route of the Maule Coves- project. It also discusses the consequences of this operation on the current use of the infrastructure developed by the project. The results show that the project cannot...

  20. La otra dimensión del derecho

    Legendre, Pierre
    In times at which economic logic and a one-dimensional discourse of science silence alternative ways of thinking in our societies, this paper invites us to understand the law from a largely unexplored dimension: the dimension that institutes life, binding the social, the biological and the unconscious in a space that reproduces the logic of Interdiction. To achieve this goal, this paper begins by exploring the obstacles that make jurists unable to conceive a link between their discipline and psychoanalysis, as well as incapable of opening the law to its analysis. Among these, we encounter conceiving the legal system as the...

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.