Mostrando recursos 161 - 180 de 10.379

  1. La legge del valore-plusvalore nella dinamica storica del capitalismo

    Vercellone, Carlo
    Lo scopo di quest'articolo è di caratterizzare, nel quadro teorico neo-operaista, il senso logico e storico della marxiana legge del valore.

  2. Monoidal-Closed Categories of Tree Automata

    Riba, Colin
    We propose a realizability semantics for automata on infinite trees, based on categories of games built on usual simple games, and generalizing usual acceptance games of tree automata. Our approach can be summarized with the slogan " automata as objects, strategies as morphisms ". We show that the operations on tree automata used in the translations of MSO-formulae to automata (underlying Rabin's Theorem, that is the decidability of MSO on infinite trees) can be organized in a deduction system based on the multiplica-tive fragment of intuitionistic linear logic (ILL). Namely, we equip a variant of usual alternating tree automata (that...

  3. Modelling Hot Spots of Soil Loss by Wind Erosion (SoLoWind) in Western Saxony, Germany

    Schmidt, Simon; Meusburger, Katrin; Figueiredo, Tomás de; Alewell, Christine
    Land Degradation and Development published by John Wiley & Sons, Ltd. While it needs yet to be assessed whether or not wind erosion in Western Saxony is a major point of concern regarding land degradation and fertility, it has already been recognized that considerable off-site effects of wind erosion in the adjacent regions of Saxony-Anhalt and Brandenburg are connected to the spread of herbicides, pesticides and dust. So far, no wind erosion assessment for Western Saxony, Germany, exists. The wind erosion model previously applied for Germany (DIN standard 19706) is considering neither changes in wind direction over time nor influences...

  4. Evaluación Ambiental del Ciclo de Vida de diferentes soluciones de rehabilitación energética.

    Cabrera Artigas, María del Carmen
    En la época actual el ahorro energético y la sostenibilidad son prioridades del ser humano a escala global. Tanto desde perspectivas medioambientales como económicas, es lógico considerar que es en el campo de la rehabilitación energética de edificación existente donde se podrán lograr óptimos y mayores resultados. El parque residencial construido en una ciudad como Madrid es muy grande por lo que el potencial ahorro en este sector es muy significativo. La aplicación de soluciones mediante medidas de mejora del aislamiento térmico en la envolvente, supone un gran ahorro en la energía consumida, por lo que la rehabilitación de viviendas es prioritaria para este fin. Sin embargo, para...

  5. Diseño de red SDH en red ferroviaria de alta velocidad

    Pérez González, Fernando
    El mundo del ferrocarril siempre ha estado ligado a las telecomunicaciones, desde sus inicios con líneas telegráficas hasta las redes actuales. La evolución de trenes junto a las telecomunicaciones ha permitido que actualmente se pueda conseguir un transporte rápido y fiable. En este proyecto se diseña una red de telecomunicaciones que permita que los servicios que controlan el tráfico ferroviario se hagan de manera eficiente y fiable. Primeramente se explicará de manera general cómo funcionan estos servicios y qué necesidades tienen desde el punto de vista de las telecomunicaciones. Se explicará brevemente su arquitectura y los requisitos de conectividad que el diseño...

  6. On the Normalization and Unique Normalization Properties of Term Rewrite Systems

    Godoy, Guillem; Tison, Sophie
    International audience

  7. Patins eléctricos

    Pereira, Luís Carlos Marques
    O presente relatório é desenvolvido no âmbito da unidade curricular de Projecto do 2º ano do Mestrado em Controlo e Electrónica Industrial e expõe a evolução de um protótipo de patins eléctricos controlados pela inclinação do condutor. Começa-se por fazer uma análise de vários aspectos do protótipo existente. A lógica de controlo é alterada com o propósito de introduzir controlo de corrente nos motores. O programa de interface com o utilizador dos patins é renovado tendo sido introduzidas várias opções, como a configuração do controlador e a de guardar a mesma num ficheiro. São também analisados os encargos inerentes à produção seriada do protótipo. Considerando que se...

  8. Modelo lógico de um programa de intervenção comunitária – GerAcções

    Carvalhosa, Susana Fonseca; Domingos, Ana Maria; Sequeira, Cátia Filipa Narciso
    Os modelos lógicos são uma maneira sucinta de mostrar e ilustrar como um projecto foi concebido e está a ser desenvolvido e resume os principais elementos do projecto. O modelo lógico do programa GerAccões é apresentado. Foi desenvolvido como uma forma de planeamento estratégico, que vem sendo utilizado para uma melhoria contínua do programa e, agora, no final deste, para o planeamento da avaliação. Os componentes do modelo lógico do GerAcções são: (1) Missão do programa – envolver as pessoas que moram ou trabalham na Freguesia de Santa Maria de Belém (Lisboa), como os membros-chave na promoção dos seus interesses e na resolução dos seus problemas, afim de construir uma comunidade saudável; (2) Recursos...

  9. Nuclear magnetic resonance detection and spectroscopy of single proteins using quantum logic

    Lovchinsky, Igor; Sushkov, Alexander; Urbach, Elana Kahn; de Leon, N; Choi, Soonwon; De Greve, Kristiaan; Evans, Ruffin Eley; Gertner, Rona S.; Bersin, Eric Alexander; Muller, C; McGuinness, L.; Jelezko, F.; Walsworth, Ronald Lee; Park, Hongkun; Lukin, Mikhail D.
    Nuclear magnetic resonance spectroscopy is a powerful tool for the structural analysis of organic compounds and biomolecules but typically requires macroscopic sample quantities. We use a sensor, which consists of two quantum bits corresponding to an electronic spin and an ancillary nuclear spin, to demonstrate room temperature magnetic resonance detection and spectroscopy of multiple nuclear species within individual ubiquitin proteins attached to the diamond surface. Using quantum logic to improve readout fidelity and a surface-treatment technique to extend the spin coherence time of shallow nitrogen-vacancy centers, we demonstrate magnetic field sensitivity sufficient to detect individual proton spins within 1 second...

  10. "Ritos de paso": una revisión del modelo funcional

    Prada Pérez de Azpeitia, Manuel de
    Este estudio pretende aclarar la razón por la que algunas residencias inglesas, antiguas y modernas, interrumpieron su eje de acceso contra toda lógica funcional; un hecho significativo cuando se relaciona con las colisiones entre modelos y órdenes diferentes de la arquitectura inglesa residencial. Éstas colisiones aparecieron cuando los constructores ingleses intentaron hacer compatible la irregularidad de los modelos tradicionales (de la mansión medieval y los pintorescos "castles" y "cottages" que tanto juego dieron a John Nash) con el orden y regularidad de los modelos italianos.

  11. Um método de ensino pautado na aprendizagem integrada aos mundos virtuais e princípios do mastery learning

    Nunes, Felipe Becker
    A concepção de novas alternativas educacionais pautadas no uso de recursos tecnológicos, tem acarretado o aumento do número de pesquisas em diferentes domínios de ensino. Tem se destacado nas últimas décadas a abordagem dos Mundos Virtuais, cuja base está calcada na interatividade, visualização de objetos 3D, sensação de imersão e liberdade ao aluno para explorar os recursos didáticos disponibilizados. Desta forma, se considera necessário que o planejamento e condução das atividades propostas pelos professores nos Mundos Virtuais, estejam baseadas em uma abordagem educacional consistente e difundida no meio acadêmico. O Mastery Learning surge neste contexto como uma alternativa instigadora a...

  12. Um método de ensino pautado na aprendizagem integrada aos mundos virtuais e princípios do mastery learning

    Nunes, Felipe Becker
    A concepção de novas alternativas educacionais pautadas no uso de recursos tecnológicos, tem acarretado o aumento do número de pesquisas em diferentes domínios de ensino. Tem se destacado nas últimas décadas a abordagem dos Mundos Virtuais, cuja base está calcada na interatividade, visualização de objetos 3D, sensação de imersão e liberdade ao aluno para explorar os recursos didáticos disponibilizados. Desta forma, se considera necessário que o planejamento e condução das atividades propostas pelos professores nos Mundos Virtuais, estejam baseadas em uma abordagem educacional consistente e difundida no meio acadêmico. O Mastery Learning surge neste contexto como uma alternativa instigadora a...

  13. On relating CTL to Datalog

    Afrati, Foto,; Andronikos, Theodore; Pavlaki, Vassia; Foustoucos, Eugenie; Guessarian, Irene
    34 pages, 1 figure (file .eps)

  14. Strong subgroup chains and the Baer-Specker group

    Kolman, Oren
    12 pages

  15. When are Timed Automata weakly timed bisimilar to Time Petri Nets ?

    Berard, Béatrice; Cassez, Franck; Haddad, Serge; Lime, Didier; Roux, Olivier Henri
    International audience

  16. Comparison of Different Semantics for Time Petri Nets

    Berard, Béatrice; Cassez, Franck; Haddad, Serge; Lime, Didier; Roux, Olivier Henri
    International audience

  17. Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics

    Acclavio, Matteo
    Submitted

  18. $rec.titulo

    Allombert, Victor

  19. $rec.titulo

    Allombert, Victor

  20. A novel approach to integrate artificial potential field and fuzzy logic into a common framework for robots autonomous navigation

    Melingui, Achille; Merzouki, Rochdi; Mbede, Jean,; Chettibi, Taha; Mbede, Jean Bosco
    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.