2,565 research outputs found
Camisas negras en Bahía Blanca. Sociabilidad política, identidad étnica y diplomacia cultural fascista en el sudoeste bonaerense (1926-1939)
No full textLas fuentes históricas referentes al desarrollo del fascismo en la colectividad italiana en Argentina permiten reconocer que los inmigrantes italianos y sus descendientes articularon su adhesión al fascismo con su inserción en la sociedad receptora. Lejos de ser meros transmisores de la propaganda política y cultural romana, realizaron una apropiación del fascismo en función de sus intereses y realidades personales.En base a un corpus de fuentes italianas y argentinas, Bruno Cimatti examina la actividad de las instituciones diplomáticas, políticas, culturales, recreativas y educativas que conformaron el andamiaje del fascismo en el sudoeste de la provincia de Buenos Aires.Fil: Cimatti, Bruno Gerardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Humanidades. Centro de Estudios Regionales; Argentina. Universidad Nacional del Sur. Departamento de Humanidades; Argentin
Preface. Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2005)
No full textBuilding and executing proof strategies in a formal metatheory
No full textThis paper describes how "safe" proof strategies are represented and executed in the interactive theorem prover GETFOL. A formal metatheory (MT) describes and allows to reason about object level inference. A class of MT terms, called logic, tactics, is used to represent proof strategies. The semantic attachment facility and the evaluation mechanism of the GETFOL system have been used to provide the procedural interpretation of logic tactics. The execution of logic tactics is then proved to be "safe" under the termination condition. The implementation within the GETFOL system is described and the synthesis of a logic tactic implementing a normalizer in negative normal form is presented as a case study
Context-Based Formal Specification of Multi-Agent Systems
No full textThe formalization of agents attitudes, and belief in particular, has been investigated in the past by the authors of this paper, along two different but related streams. Giunchiglia and Giunchiglia investigate the properties of contexts for the formal specification of agents mutual beliefs, combining extensional specification with (finite) presentation by means of contexts. Cimatti and Serafini address the representational and implementational implications of the use of contexts for representing propositional attitudes by tackling a paradigmatic case study. The goal of this paper is to show how these two streams are actually complementary. I.e. how the methodology proposed in the former ca be successfully applied to formally specify the case study discussed in the latter. In order to achieve this goal, the formal framework is extended to take into account some relevant aspects of the case study, the specification of which in then worked out in detai
Pushing the VLT Spectroscopy of Distant Galaxies to the Limits and Future Prospects
No full textThe aim of this paper is to illustrate a key scientific case in the field of galaxy formation and evolution which is relevant to highlight the current limits of 8m-class telescopes and discuss the prospects of future VLT and E-ELT instrumentatio
The MathSAT Solver - a progress report (Extended Abstract)
No full textMarco Bozzano Alessandro Cimatti Gabriele Colombini Veselin Kirov Roberto Sebastiani a,b ITC-IRST, via Sommarive 16, 38050 Povo, Trento, Italy, {bozzano,cimatti,kirov}@itc.it Universit a di Trento, via Sommarive 14, 38050 Povo, Trento, Italy, {[email protected], roberto.sebastiani@}dit.unitn.it
VALIDATION OF MULTIAGENT SYSTEMS BY SYMBOLIC MODEL CHECKING. IN F. GIUNCHIGLIA, J. ODELL, G. WEISS (EDS.): AGENT-ORIENTED SOFTWARE ENGINEERING III
No full textThe Near-Infrared View of Galaxy Evolution
No full textNear-infrared surveys provide one of the best opportunities to investigate the cosmic evolution of galaxies and their mass assembly. We briefly review the main results obtained so far with the K20 and other recent near-IR surveys on the redshift distribution, the evolution of the luminosity function and luminosity density, the nature of old and dusty EROs, the evolution of the galaxy stellar mass function, the properties of the galaxies in the "redshift desert" and the nature of luminous starbursts at z~2
- …
