Aportes para una nueva visión en los estudios geográficos del concepto de nación desde las perspectivas cultural y política

La Nación ha sido una de las más importantes construcciones políticoculturales de la Modernidad. Las premisas que le han dado mayor vitalidad han sido y son, pues, su afirmación como imaginario de identidad para los pueblos y su significación en el desarrollo de las denominadas "relaciones internacionales", en cuanto formas de expresión de las interrelaciones globales de los sectores dominantes. Este estudio se basa en el análisis de esas premisas a la luz de algunas de las nuevas perspectivas emanadas de los paradigmas político y cultural, desarrollados en las ciencias sociales a partir de las últimas décadas del siglo pasado, y aplicadas a los estudios del territorio nacional, su construcción, sus mutaciones y los imaginarios espaciales que de ellos derivan. A partir de algunas de las visiones críticas mencionadas, en la actualidad el concepto de nación parece haber entrado en un proceso de erosión o descomposición. Fenómenos sociales, económicos, políticos y culturales ligados a los procesos de reestructuración global (migraciones intercontinentales, sistemas mediáticos globales, exclusión social, discriminación étnica y religiosa, marginación y falta de participación política, nuevas formas de manifestación social...) y a la construcción de los discursos posmodernos hacen aparecer la nación como un concepto, al menos, puesto en tela de juicio. Los más audaces hablan del virtual ingreso a un mundo "posnacional". ¿Significará esto la extinción de una idea y una realidad con la que se han formado culturalmente millones de personas de numerosas generaciones en los puntos más lejanos del planeta? La respuesta deberá estar planteada en el estudio real y especializado de esos fenómenos y de las nuevas realidades que de ellos emergen.

Panamericanismo, hispanidad, nacionalismo argentino : Dos escenas

Durante los últimos años del siglo XIX y principios del XX los más importantes representantes del modernismo poético, que por entonces tenía su sede principal en Buenos Aires, toman caminos políticos divergentes. Mientras Darío, tras la guerra de Cuba, emprende una vía de reencuentro con España -que lo llevará a ser revalorizado por los escritores del Noventa y ocho español, que antes habían atacado su afrancesamiento-, Lugones irá radicalizando su giro nacionalista, hasta terminar en la fuerte afirmación de la especificidad argentina en los libros publicados entre los centenarios de la Revolución de Mayo (1910) y de la Independencia (1916). Este trabajo busca reconstruir parte del campo intelectual del periodo para seguir algunas de sus líneas de fuerza fundamentales

Aportes para una nueva visión en los estudios geográficos del concepto de nación desde las perspectivas cultural y política

La Nación ha sido una de las más importantes construcciones políticoculturales de la Modernidad. Las premisas que le han dado mayor vitalidad han sido y son, pues, su afirmación como imaginario de identidad para los pueblos y su significación en el desarrollo de las denominadas "relaciones internacionales", en cuanto formas de expresión de las interrelaciones globales de los sectores dominantes. Este estudio se basa en el análisis de esas premisas a la luz de algunas de las nuevas perspectivas emanadas de los paradigmas político y cultural, desarrollados en las ciencias sociales a partir de las últimas décadas del siglo pasado, y aplicadas a los estudios del territorio nacional, su construcción, sus mutaciones y los imaginarios espaciales que de ellos derivan. A partir de algunas de las visiones críticas mencionadas, en la actualidad el concepto de nación parece haber entrado en un proceso de erosión o descomposición. Fenómenos sociales, económicos, políticos y culturales ligados a los procesos de reestructuración global (migraciones intercontinentales, sistemas mediáticos globales, exclusión social, discriminación étnica y religiosa, marginación y falta de participación política, nuevas formas de manifestación social...) y a la construcción de los discursos posmodernos hacen aparecer la nación como un concepto, al menos, puesto en tela de juicio. Los más audaces hablan del virtual ingreso a un mundo "posnacional". ¿Significará esto la extinción de una idea y una realidad con la que se han formado culturalmente millones de personas de numerosas generaciones en los puntos más lejanos del planeta? La respuesta deberá estar planteada en el estudio real y especializado de esos fenómenos y de las nuevas realidades que de ellos emergen.

Panamericanismo, hispanidad, nacionalismo argentino : Dos escenas

Durante los últimos años del siglo XIX y principios del XX los más importantes representantes del modernismo poético, que por entonces tenía su sede principal en Buenos Aires, toman caminos políticos divergentes. Mientras Darío, tras la guerra de Cuba, emprende una vía de reencuentro con España -que lo llevará a ser revalorizado por los escritores del Noventa y ocho español, que antes habían atacado su afrancesamiento-, Lugones irá radicalizando su giro nacionalista, hasta terminar en la fuerte afirmación de la especificidad argentina en los libros publicados entre los centenarios de la Revolución de Mayo (1910) y de la Independencia (1916). Este trabajo busca reconstruir parte del campo intelectual del periodo para seguir algunas de sus líneas de fuerza fundamentales

Aportes para una nueva visión en los estudios geográficos del concepto de nación desde las perspectivas cultural y política

La Nación ha sido una de las más importantes construcciones políticoculturales de la Modernidad. Las premisas que le han dado mayor vitalidad han sido y son, pues, su afirmación como imaginario de identidad para los pueblos y su significación en el desarrollo de las denominadas "relaciones internacionales", en cuanto formas de expresión de las interrelaciones globales de los sectores dominantes. Este estudio se basa en el análisis de esas premisas a la luz de algunas de las nuevas perspectivas emanadas de los paradigmas político y cultural, desarrollados en las ciencias sociales a partir de las últimas décadas del siglo pasado, y aplicadas a los estudios del territorio nacional, su construcción, sus mutaciones y los imaginarios espaciales que de ellos derivan. A partir de algunas de las visiones críticas mencionadas, en la actualidad el concepto de nación parece haber entrado en un proceso de erosión o descomposición. Fenómenos sociales, económicos, políticos y culturales ligados a los procesos de reestructuración global (migraciones intercontinentales, sistemas mediáticos globales, exclusión social, discriminación étnica y religiosa, marginación y falta de participación política, nuevas formas de manifestación social...) y a la construcción de los discursos posmodernos hacen aparecer la nación como un concepto, al menos, puesto en tela de juicio. Los más audaces hablan del virtual ingreso a un mundo "posnacional". ¿Significará esto la extinción de una idea y una realidad con la que se han formado culturalmente millones de personas de numerosas generaciones en los puntos más lejanos del planeta? La respuesta deberá estar planteada en el estudio real y especializado de esos fenómenos y de las nuevas realidades que de ellos emergen.

Panamericanismo, hispanidad, nacionalismo argentino : Dos escenas

Durante los últimos años del siglo XIX y principios del XX los más importantes representantes del modernismo poético, que por entonces tenía su sede principal en Buenos Aires, toman caminos políticos divergentes. Mientras Darío, tras la guerra de Cuba, emprende una vía de reencuentro con España -que lo llevará a ser revalorizado por los escritores del Noventa y ocho español, que antes habían atacado su afrancesamiento-, Lugones irá radicalizando su giro nacionalista, hasta terminar en la fuerte afirmación de la especificidad argentina en los libros publicados entre los centenarios de la Revolución de Mayo (1910) y de la Independencia (1916). Este trabajo busca reconstruir parte del campo intelectual del periodo para seguir algunas de sus líneas de fuerza fundamentales

Middle Miocene stable carbon and oxygen isotope record of ODP Holes 130-805B and 130-806B

Bulk carbon isotope records are an effective chemostratigraphic tool for the middle Miocene because of the large and systematic variation in first-order d13C signals. Bulk d13C measurements support the presence of a hiatus at 305 mbsf in Hole 805B (latest middle Miocene), provisionally located while on board ship using biostratigraphic and magnetostratigraphic events. Records at Holes 805B and 806B show the middle Miocene Monterey carbon isotope excursion although the record at Hole 806B is apparently more stratigraphically continuous. Detailed analysis of multispecies foraminiferal carbon isotope records during the middle Miocene ("Monterey excursion") segment at Hole 806B support the assertion that this carbon isotope excursion comprises mainly between-reservoir effects. The benthic d18O data increase after 15.3 Ma, which we suggest corresponds to the mid-Miocene cooling step/ice volume increase of other authors. Planktonic foraminiferal d18O evidence exists for steepening of the thermocline at 17.4 Ma. A second-order d13C excursion superimposed at 13.8 Ma on the first-order Monterey excursion is associated with a second-order negative d18O excursion.

Fiscal Decentralization, Chinese Style: Good for Health Outcomes?

This study analyzes the effect of fiscal decentralization on health outcomes in China using a panel data set with nationwide county-level data. We find that counties in more fiscal decentralized provinces have lower infant mortality rates compared to those counties in which the provincial government retains the main spending authority, if certain conditions are met. Spending responsibilities at the local level need to be matched with county government's own fiscal capacity. For those local governments that have only limited revenues, their ability to spend on local public goods such as health care depends crucially upon intergovernmental transfers. The findings of this study thereby support the common assertion that fiscal decentralization can indeed lead to more efficient production of local public goods, but also highlights the necessary conditions to make this happen.

Efficient local unfolding with ancestor stacks

The most successful unfolding rules used nowadays in the partial evaluation of logic programs are based on well quasi orders (wqo) applied over (covering) ancestors, i.e., a subsequence of the atoms selected during a derivation. Ancestor (sub)sequences are used to increase the specialization power of unfolding while still guaranteeing termination and also to reduce the number of atoms for which the wqo has to be checked. Unfortunately, maintaining the structure of the ancestor relation during unfolding introduces significant overhead. We propose an efficient, practical local unfolding rule based on the notion of covering ancestors which can be used in combination with a wqo and allows a stack-based implementation without losing any opportunities for specialization. Using our technique, certain non-leftmost unfoldings are allowed as long as local unfolding is performed, i.e., we cover depth-first strategies. To deal with practical programs, we propose assertion-based techniques which allow our approach to treat programs that include (Prolog) built-ins and external predicates in a very extensible manner, for the case of leftmost unfolding. Finally, we report on our mplementation of these techniques embedded in a practical partial evaluator, which shows that our techniques, in addition to dealing with practical programs, are also significantly more efficient in time and somewhat more efficient in memory than traditional tree-based implementations. To appear in Theory and Practice of Logic Programming (TPLP).

User-definable resource bounds analysis for logic programs

We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in general be functions of input data sizes. A resource in our approach is a quite general, user-defined notion which associates a basic cost function with elementary operations. The analysis then derives the related (upper- and lower-bound) resource usage functions for all predicates in the program. We also present an assertion language which is used to define both such resources and resourcerelated properties that the system can then check based on the results of the analysis. We have performed some preliminary experiments with some concrete resources such as execution steps, bytes sent or received by an application, number of files left open, number of accesses to a datábase, number of calis to a procedure, number of asserts/retracts, etc. Applications of our analysis include resource consumption verification and debugging (including for mobile code), resource control in parallel/distributed computing, and resource-oriented specialization.

Efficient local unfolding with ancestor stacks for full prolog

The integration of powerful partial evaluation methods into practical compilers for logic programs is still far from reality. This is related both to 1) efficiency issues and to 2) the complications of dealing with practical programs. Regarding efnciency, the most successful unfolding rules used nowadays are based on structural orders applied over (covering) ancestors, i.e., a subsequence of the atoms selected during a derivation. Unfortunately, maintaining the structure of the ancestor relation during unfolding introduces significant overhead. We propose an efficient, practical local unfolding rule based on the notion of covering ancestors which can be used in combination with any structural order and allows a stack-based implementation without losing any opportunities for specialization. Regarding the second issue, we propose assertion-based techniques which allow our approach to deal with real programs that include (Prolog) built-ins and external predicates in a very extensible manner. Finally, we report on our implementation of these techniques in a practical partial evaluator, embedded in a state of the art compiler which uses global analysis extensively (the Ciao compiler and, specifically, its preprocessor CiaoPP). The performance analysis of the resulting system shows that our techniques, in addition to dealing with practical programs, are also significantly more efficient in time and somewhat more efficient in memory than traditional tree-based implementations.

An overview of the ciao system

Ciao is a logic-based, multi-paradigm programming system. One of its most distinguishing features is that it supports a large number of semantic and syntactic language features which can be selectively activated or deactivated for each program module. As a result, a module can be written in, for example, ISO-Prolog plus constraints and higher order, while another can be a puré logic module with a different control rule such as iterative deepening and/or tabling, and perhaps using constructive negation. A powerful and modular extensión mechanism allows user-level design and implementation of such features and sub-languages. Another distinguishing feature of Ciao is its powerful assertion language, which allows expressing many kinds of program properties (ranging from, e.g., moded types to resource consumption), as well as tests and documentation. The compiler is capable of statically ñnding violations of these properties or verifying that programs comply with them, and issuing certiñcates of this compliance. The compiler also performs many types of optimizations, including automatic parallelization. It offers very competitive performance, while retaining the flexibility and interactive development of a dynamic language. We will present a hands-on overview of the system, through small examples which emphasize the novel aspects and the motivations which lie behind Ciao's design and implementation.

Some techniques for automated, resource-aware distributed and mobile computing in a multi-paradigm programming system

Distributed parallel execution systems speed up applications by splitting tasks into processes whose execution is assigned to different receiving nodes in a high-bandwidth network. On the distributing side, a fundamental problem is grouping and scheduling such tasks such that each one involves sufñcient computational cost when compared to the task creation and communication costs and other such practical overheads. On the receiving side, an important issue is to have some assurance of the correctness and characteristics of the code received and also of the kind of load the particular task is going to pose, which can be specified by means of certificates. In this paper we present in a tutorial way a number of general solutions to these problems, and illustrate them through their implementation in the Ciao multi-paradigm language and program development environment. This system includes facilities for parallel and distributed execution, an assertion language for specifying complex programs properties (including safety and resource-related properties), and compile-time and run-time tools for performing automated parallelization and resource control, as well as certification of programs with resource consumption assurances and efñcient checking of such certificates.

A generic preprocessor for program validation and debugging

We present a generic preprocessor for combined static/dynamic validation and debugging of constraint logic programs. Passing programs through the preprocessor prior to execution allows detecting many bugs automatically. This is achieved by performing a repertoire of tests which range from simple syntactic checks to much more advanced checks based on static analysis of the program. Together with the program, the user may provide a series of assertions which trigger further automatic checking of the program. Such assertions are written using the assertion language presented in Chapter 2, which allows expressing a wide variety of properties. These properties extend beyond the predefined set which may be understandable by the available static analyzers and include properties defined by means of user programs. In addition to user-provided assertions, in each particular CLP system assertions may be available for predefined system predicates. Checking of both user-provided assertions and assertions for system predicates is attempted first at compile-time by comparing them with the results of static analysis. This may allow statically proving that the assertions hold (Le., they are validated) or that they are violated (and thus bugs detected). User-provided assertions (or parts of assertions) which cannot be statically proved ñor disproved are optionally translated into run-time tests. The implementation of the preprocessor is generic in that it can be easily customized to different CLP systems and dialects and in that it is designed to allow the integration of additional analyses in a simple way. We also report on two tools which are instances of the generic preprocessor: CiaoPP (for the Ciao Prolog system) and CHIPRE (for the CHIP CLP(FL>) system). The currently existing analyses include types, modes, non-failure, determinacy, and computational cost, and can treat modules separately, performing incremental analysis.

Debugging of constraint programs: The DiSCiPl methodology and tools

This introduction gives a general perspective of the debugging methodology and the tools developed in the ESPRIT IV project DiSCiPl Debugging Systems for Constraint Programming. It has been prepared by the editors of this volume by substantial rewriting of the DiSCiPl deliverable CP Debugging Tools [1]. This introduction is organised as follows. Section 1 outlines the DiSCiPl view of debugging, its associated debugging methodology, and motivates the kinds of tools proposed: the assertion based tools, the declarative diagnoser and the visualisation tools. Sections 2 through 4 provide a short presentation of the tools of each kind. Finally, Section 5 presents a summary of the tools developed in the project. This introduction gives only a general view of the DiSCiPl debugging methodology and tools. For details and for specific bibliographic referenees the reader is referred to the subsequent chapters.