Sunday, March 29, 2015

 

 



Soy un nuevo usuario

Olvidé mi contraseña

Entrada usuarios

Lógica Matemáticas Astronomía y Astrofísica Física Química Ciencias de la Vida
Ciencias de la Tierra y Espacio Ciencias Agrarias Ciencias Médicas Ciencias Tecnológicas Antropología Demografía
Ciencias Económicas Geografía Historia Ciencias Jurídicas y Derecho Lingüística Pedagogía
Ciencia Política Psicología Artes y Letras Sociología Ética Filosofía
 

rss_1.0 Clasificación por Disciplina

Nomenclatura Unesco > (11) Lógica

Mostrando recursos 61 - 80 de 140,166

61. Towards a Temporal Logic Tau LTL for the Verification of Rewriting Theories Denoting ECATNets - Sebih, Hacène; Barkaoui, Kamel; Bettaz, Mohamed; BELALA, Faiza; Sahnoun, Za?di

62. Towards a Tile Based LfP Semantics - Choutri, A.; BELALA, Faiza; Barkaoui, Kamel
LfP (Language for Prototyping) is an ADL (Architecture Description Language) with a hierarchical and modular structure. In this paper, we propose tile logic (a rewriting logic extension) as a suitable semantic framework for this language. Indeed, it contributes to the formalization of LfP by providing a natural description for concurrency, synchronization and hierarchical composition aspects. A straight consequence of this work is the possibility to describe reconfigurable LfP architectures, and to handle with executable specification in Maude allowing hierarchical formal verification. For further information, please visit this web site.

63. A Tile Logic Based Semantics for Mobile Software Architecture - Bouanaka, Chafia; BELALA, Faiza; Barkaoui, Kamel
The paper deals with the specification of dynamic reconfiguration of complex systems. We show how dynamic reconfiguration and especially components mobility, affects the ongoing behaviour of the reconfigured parts and its side effects on the system as a whole. Our approach is based on software architectural viewpoint of hierarchical systems, considered as sets of independent components and links. Nevertheless, the recursive description of components structure and particularly hierarchical and compositional generation of components and system behaviour, needs additional concepts. For this reason, we define a tile logic based model, where interfaces constitute basic objects that undergo the two dimensional dynamics...

64. Towards a Tile Based Semantic Model for Reconfigurable Distributed Systems - Barkaoui, Kamel; BELALA, Faiza; Bouanaka, Chafia
The paper deals with the definition of a formal semantic framework for the specification of hierarchical and dynamically reconfigurable component based distributed systems. Based on tile logic (an extension of rewriting logic), the proposed model allows hierarchical and compositional construction of system state and behavior by incrementally composing subcomponents states and behaviors respectively. We do not need to flatten its hierarchical structure. Thus, the semantic meta-model associated to a given system is given by a tile system (or more precisely a double category) defining its structural and behavioral aspects in a modular manner. Besides, computation in such system is guided...

65. Translation Validation for Clock Transformations in a Synchronous Compiler - Ngo, Van Chan; Talpin, Jean-Pierre; Gautier, Thierry; Le Guernic, Paul
Translation validation was introduced as a technique to for-mally verify the correctness of code generators that attempts to verify that program transformations preserve the semantics. In this work, we adopt this approach to construct a validator that formally verifies the preservation of clock semantics during the Signal compiler transforma-tions. The clock semantics is represented as a first-order logic formula called clock model. Then we introduce a refinement relation which ex-presses the preservation of clock semantics, as a relation on clock models. Our validator does not require any instrumentation or modification of the compiler, nor any rewriting of the source program.

66. [en] KEEP DOING WHAT I JUST DID: AUTOMATING SMARTPHONES BY DEMONSTRATION - RODRIGO DE ANDRADE MAUES
[pt] Smartphones se tornaram uma parte integrante da vida de muitas pessoas. Podemos usar esses dispositivos para executar uma grande variedade de tarefas, que vão desde dar telefonemas a acessar a Internet. No entanto, às vezes gostaríamos que algumas tarefas fossem executadas automaticamente. Estas tarefas podem ser automatizadas usando aplicativos de automação, os quais monitoram continuamente o contexto do smartphone para realizar um conjunto de ações quando um evento acontece sob certas condições. Estas automações estão começando a ficar popular entre os usuários finais, uma vez que elas podem tornar os celulares mais fáceis de usar e ainda mais eficientes...

67. La logica in biblioteca / - Scionti, Filippo.
Mode of access: Internet.

68. Life in London, or, The day and night scenes of Jerry Hawthorn, Esq. : and his elegant friend Corinthian Tom, accompanied by Bob Logic, the Oxonian, in their rambles and sprees through the metropolis / - Egan, Pierce, 1772-1849.; Cruikshank, Robert, 1789-1856.; Cruikshank, George, 1792-1878.
Mode of access: Internet.

69. Pierce Egan's Finish to the adventures of Tom, Jerry, and Logic, in their pursuits through life in and out of London. - Egan, Pierce, 1772-1849.; Cruikshank, Robert, 1789-1856. illus.
Plates hand colored.

70. Peronismo, pos-peronismo y profesionalización : Trayectorias académicas, estrategias de auto-preservación y círculos discipulares en la antropología porteña, 1945-1963 - Perazzi, Pablo
En el presente artículo se analiza el campo antropológico porteño en el período comprendido entre 1945 y 1963. El objetivo es reconstruir las trayectorias, los reposicionamientos y las estrategias adoptadas por los miembros estructuralmente significativos de la disciplina durante el peronismo y en la etapa posterior. Se sostiene que, si bien la presencia estatal modificó las condiciones de acción de los agentes (llevándolos a extender la disputa a la arena política), no parece haberse registrado una crisis de las jerarquías, un desmembramiento de los círculos discipulares ni una alteración de las reglas del orden sucesorio. Por consiguiente, la hipótesis de...

71. El sugagum en el Reino de Mari (s. XIX-XVIII a.C.) : Lógicas diversas - Luciani, Federico L.; Molla, Cecilia G.
Durante el período Paleobabilónico (ca. 2000-1600 a.C.), el Reino de Mari, sobre el Eufrates Medio, destaca por la complejidad de su estructura étnica y sociopolítica, en la que conviven -no sin fricciones- elementos propios de la tradición estatal urbana junto a parcialidades trashumantes identificadas con prácticas políticas asociadas a lo tribal. De allí también la complejidad de las relaciones sociopolíticas que se establecieron en esta sociedad y la necesidad de indagar en ella, sin los prejuicios que ubiquen a nómades y sedentarios en distintas posiciones de una escala evolutiva. En numerosas cartas provenientes del Archivo Real de Mari, es posible...

72. Peronismo, pos-peronismo y profesionalización : Trayectorias académicas, estrategias de auto-preservación y círculos discipulares en la antropología porteña, 1945-1963 - Perazzi, Pablo
En el presente artículo se analiza el campo antropológico porteño en el período comprendido entre 1945 y 1963. El objetivo es reconstruir las trayectorias, los reposicionamientos y las estrategias adoptadas por los miembros estructuralmente significativos de la disciplina durante el peronismo y en la etapa posterior. Se sostiene que, si bien la presencia estatal modificó las condiciones de acción de los agentes (llevándolos a extender la disputa a la arena política), no parece haberse registrado una crisis de las jerarquías, un desmembramiento de los círculos discipulares ni una alteración de las reglas del orden sucesorio. Por consiguiente, la hipótesis de...

73. El sugagum en el Reino de Mari (s. XIX-XVIII a.C.) : Lógicas diversas - Luciani, Federico L.; Molla, Cecilia G.
Durante el período Paleobabilónico (ca. 2000-1600 a.C.), el Reino de Mari, sobre el Eufrates Medio, destaca por la complejidad de su estructura étnica y sociopolítica, en la que conviven -no sin fricciones- elementos propios de la tradición estatal urbana junto a parcialidades trashumantes identificadas con prácticas políticas asociadas a lo tribal. De allí también la complejidad de las relaciones sociopolíticas que se establecieron en esta sociedad y la necesidad de indagar en ella, sin los prejuicios que ubiquen a nómades y sedentarios en distintas posiciones de una escala evolutiva. En numerosas cartas provenientes del Archivo Real de Mari, es posible...

74. La transformación en las políticas de salud mental 2010-2014 - Weber Suardiaz, Clara
Este trabajo de indagación presenta algunos análisis sobre la transformación de la política de salud mental en la Provincia de Buenos Aires en el periodo 2010-2014. Desde una modalidad descriptiva y exploratoria se establecen algunas coordenadas para leer el campo de la salud mental. A partir de ello, interesa exponer cómo las actuales políticas en salud mental en el sector publico han sufrido modificaciones a partir de la sanción de la Ley Nacional de Salud Mental 26.657) en el año 2010. Así como también presentar las perspectivas vigentes en el escenario de transición entre las lógicas manicomiales y las lógicas de...

75. Parallel prefix adder de 4 bits utilizando a tecnologia de autômatos celulares de ponto quântico - Escobar, Kim Aragon
Nos dias atuais tecnologia não é mais algo que só grandes empresas ou pesquisadores utilizam, esta está no dia a dia de muitas pessoas ao redor do globo. Tal tecnologia comumente é constituída de componentes eletrônicos, sejam eles digitais ou analógicos. Esses componentes integrados estão chegando no seu limite de fabricação, encontrando então um limite física para melhorias. Pesquisadores têm estudado formas alternativas de fabricação, incluindo novas tecnologias para construir esses circuitos eletrônicos. Em 1993 pesquisadores propuseram uma tecnologia chamada Autômato Celular de Ponto Quântico, ao contrario do que seu nome indica não é para ser utilizada em computação quântica,...

76. Archaeological recording and chemical stratigraphy applied to contaminated land studies - Photos-Jones, Effie; Hall, Allan J.
The method used by archaeologists for excavation and recording of the stratigraphic evidence, within trenches with or without archaeological remains, can potentially be useful to contaminated land consultants (CLCs). The implementation of archaeological practice in contaminated land assessments (CLAs) is not meant to be an exercise in data overkill; neither should it increase costs. Rather, we suggest, that if the excavation and recording, by a trained archaeologist, of the stratigraphy is followed by in-situ chemical characterisation then it is possible that much uncertainty associated with current field sampling practices, may be removed. This is because built into the chemical stratigraphy...

77. Who lives, who dies, who cares? Valuing life through the disability-adjusted life year measurement - Laurie, Emma Whyte
Agamben's work on bare life, sovereignty and spaces of exception is widely drawn upon by those seeking to understand the topologies of abandonment within contemporary society. While the majority of work has focused on the spectacular forms of violence and extraordinary spaces of exception, neoliberal ideology has been germinating a new version of biopolitics and as such creating new sacred populations, new camps and new sovereign powers. This paper brings Agamben out from the battlefield, to employ his thinking as a means to understand the systemic violence conducted through a biopolitical regime increasingly governed by the logic of profit accumulation....

78. Bigraphs with sharing - Sevegnani, Michele; Calder, Muffy
Bigraphical Reactive Systems (BRS) were designed by Milner as a universal formalism for modelling systems that evolve in time, locality, co-locality and connectivity. But the underlying model of location (the place graph) is a forest, which means there is no straightforward representation of locations that can overlap or intersect. This occurs in many domains, for example in wireless signalling, social interactions and audio communications. Here, we define bigraphs with sharing, which solves this problem by an extension of the basic formalism: we define the place graph as a directed acyclic graph, thus allowing a natural representation of overlapping or intersecting...

79. Fuzzy Logic and Green Design: A New Approach - Hersh, M.A.; Hamburg, I.
Nos abstract available.

80. $rec.titulo - Abrusci, Michele; Retoré, Christian
International audience

Página de resultados:
 

Busque un recurso