Francisco Duran - Academia.edu (original) (raw)
Uploads
Papers by Francisco Duran
Medicina Clínica, 2004
... El llamado arte de la medicina es, precisamente, esa combina-ción de conocimiento médico, int... more ... El llamado arte de la medicina es, precisamente, esa combina-ción de conocimiento médico, intuición y buen criterio, y es tan necesario para el ejercicio de la medicina como una só-lida base ... Abel Jaime Novoa Juradoa, Francisco Molina Duránb y Aurelio Luna Maldonadoc ...
Estudios sobre el Mensaje Periodístico, 2013
PAMPA, 2005
Descriptores áreas periurbanas | ciudad dispersa | calidad ambiental | políticas urbanísticas | o... more Descriptores áreas periurbanas | ciudad dispersa | calidad ambiental | políticas urbanísticas | ordenación del territorio Describers periurban areas | disperse city | environmental quality | urban policies | territorial planning
Revista de Ciencias Sociales, 2013
Partiendo del hecho de la producción y reproducción social de los hábitos alimentarios, el autor ... more Partiendo del hecho de la producción y reproducción social de los hábitos alimentarios, el autor analiza sociológicamente algunos efectos de la globalización socioeconómica sobre esa producción y reproducción. Particularmente, el artículo se centra en el influjo de la globalización sobre la pérdida de la soberanía alimentaria y la desterritorialización del consumo y cultivo de alimentos, así como en sus efectos sobre la alimentación como factor de construcción de la identidad y de diferenciación social. ABSTRACT By taking into account the fact of the food habit's social production and reproduction, the author studies sociologically some outcomes of present-day socio-economic globalization on the said production and reproduction. Particularly, the article focuses on both the impact of globalization on the so-called "losing of food sovereignty" and the deterritorialization of food consumption and production, as well as in its effects on feeding, which is understood as a factor of identity and social differentiation.
Anuario de Estudios Americanos, 1996
Una aproximación general al fenómeno populista manifiesta que, aun cuando las diversas situacione... more Una aproximación general al fenómeno populista manifiesta que, aun cuando las diversas situaciones que han sido tipificadas como encuadrables dentro de él presentan diferencias muy acusadas entre sí, como característica común todas ellas muestran una reacción del mundo agrario contra los trastocamientos, corrupciones y otros males que, según la percepción colectiva arraigada en dicho mundo, conlleva la introducción en él de las relaciones capitalistas de producción y de mercado. Los populismos latinoamericanos son analizados aquí desde un punto de vista estructural y globalizante que los sitúa en el proceso de formación del Estado-nación. Para ello, se parte de una concepción del Estado que trata de ir más allá de la simple consideración de éste como un mero aparato político-institucional y procura abordar también las condiciones económico-sociales que constituyen su base material de sustentación, así como los marcos simbólico-legitimadores de acuerdo con los que se explica y/o justifica su orden y actuación. En consonancia con la concepción del Estado referida, el cometido central de este trabajo lo constituye el estudio de las bases económicosociales, político-institucionales y simbólico-legitimadoras de los Estados populistas latinoamericanos. Entre otros diversos aspectos, dicho estudio permite concluir cómo, a diferencia de la generalidad de los populismos en los que el Estado y lo político-urbanoindustrial son percibidos sobre todo como referentes de rechazo, en América Latina es desde el propio Estado, desde donde se impulsaron los proyectos populistas. (c) Consejo Superior de Investigaciones Científicas Licencia Creative Commons 3.0 España (by-nc) http://estudiosamericanos.revistas.csic.es (c) Consejo Superior de Investigaciones Científicas Licencia Creative Commons 3.0 España (by-nc)
Lecture Notes in Computer Science, 2013
Lecture Notes in Computer Science, 2011
We present the Maude Formal Environment (MFE), an executable formal specification in Maude within... more We present the Maude Formal Environment (MFE), an executable formal specification in Maude within which a user can seamlessly interact with the Maude Termination Tool, the Maude Sufficient Completeness Checker, the Church-Rosser Checker, the Coherence Checker, and the Maude Inductive Theorem Prover. We explain the high-level design decisions behind MFE, give a summarized account of its main features, and illustrate with an example the interoperation of the tools available in its current release.
Lecture Notes in Computer Science, 2011
Maude is a declarative and reflective language based on rewriting logic in which computation corr... more Maude is a declarative and reflective language based on rewriting logic in which computation corresponds to efficient deduction by rewriting. Because of its reflective capabilities, Maude has been useful as a metatool in the development of formal analysis tools for checking specific properties of Maude specifications. This includes tools for checking termination, confluence, and inductive properties of rewrite theories. Nevertheless, most of these tools have been designed to work in isolation, making it difficult, for instance, to exchange data between them and inconvenient to switch between their environments. This paper presents the Maude Formal Environment (MFE), an executable formal specification in Maude within which a user can interact with tools to mechanically verify properties of Maude specifications. One important aspect of this work is that the MFE has been designed to be easily extended with tools having highly heterogeneous designs whilst creating synergy among them. As a proof of concept, we report on the integration of five commonly used formal analysis tools for Maude specifications into MFE and illustrate their interoperability with an example.
Bulletin of The American Meteorological Society, 2001
Historical accounts of the voyages of the Manila galleons derived from the Archivo General de Ind... more Historical accounts of the voyages of the Manila galleons derived from the Archivo General de Indias (General Archive of the Indies, Seville, Spain) are used to infer past changes in the atmospheric circulation of the tropical Pacific Ocean. It is shown that the length of the voyage between ...
Medicina Clínica, 2004
... El llamado arte de la medicina es, precisamente, esa combina-ción de conocimiento médico, int... more ... El llamado arte de la medicina es, precisamente, esa combina-ción de conocimiento médico, intuición y buen criterio, y es tan necesario para el ejercicio de la medicina como una só-lida base ... Abel Jaime Novoa Juradoa, Francisco Molina Duránb y Aurelio Luna Maldonadoc ...
Estudios sobre el Mensaje Periodístico, 2013
PAMPA, 2005
Descriptores áreas periurbanas | ciudad dispersa | calidad ambiental | políticas urbanísticas | o... more Descriptores áreas periurbanas | ciudad dispersa | calidad ambiental | políticas urbanísticas | ordenación del territorio Describers periurban areas | disperse city | environmental quality | urban policies | territorial planning
Revista de Ciencias Sociales, 2013
Partiendo del hecho de la producción y reproducción social de los hábitos alimentarios, el autor ... more Partiendo del hecho de la producción y reproducción social de los hábitos alimentarios, el autor analiza sociológicamente algunos efectos de la globalización socioeconómica sobre esa producción y reproducción. Particularmente, el artículo se centra en el influjo de la globalización sobre la pérdida de la soberanía alimentaria y la desterritorialización del consumo y cultivo de alimentos, así como en sus efectos sobre la alimentación como factor de construcción de la identidad y de diferenciación social. ABSTRACT By taking into account the fact of the food habit's social production and reproduction, the author studies sociologically some outcomes of present-day socio-economic globalization on the said production and reproduction. Particularly, the article focuses on both the impact of globalization on the so-called "losing of food sovereignty" and the deterritorialization of food consumption and production, as well as in its effects on feeding, which is understood as a factor of identity and social differentiation.
Anuario de Estudios Americanos, 1996
Una aproximación general al fenómeno populista manifiesta que, aun cuando las diversas situacione... more Una aproximación general al fenómeno populista manifiesta que, aun cuando las diversas situaciones que han sido tipificadas como encuadrables dentro de él presentan diferencias muy acusadas entre sí, como característica común todas ellas muestran una reacción del mundo agrario contra los trastocamientos, corrupciones y otros males que, según la percepción colectiva arraigada en dicho mundo, conlleva la introducción en él de las relaciones capitalistas de producción y de mercado. Los populismos latinoamericanos son analizados aquí desde un punto de vista estructural y globalizante que los sitúa en el proceso de formación del Estado-nación. Para ello, se parte de una concepción del Estado que trata de ir más allá de la simple consideración de éste como un mero aparato político-institucional y procura abordar también las condiciones económico-sociales que constituyen su base material de sustentación, así como los marcos simbólico-legitimadores de acuerdo con los que se explica y/o justifica su orden y actuación. En consonancia con la concepción del Estado referida, el cometido central de este trabajo lo constituye el estudio de las bases económicosociales, político-institucionales y simbólico-legitimadoras de los Estados populistas latinoamericanos. Entre otros diversos aspectos, dicho estudio permite concluir cómo, a diferencia de la generalidad de los populismos en los que el Estado y lo político-urbanoindustrial son percibidos sobre todo como referentes de rechazo, en América Latina es desde el propio Estado, desde donde se impulsaron los proyectos populistas. (c) Consejo Superior de Investigaciones Científicas Licencia Creative Commons 3.0 España (by-nc) http://estudiosamericanos.revistas.csic.es (c) Consejo Superior de Investigaciones Científicas Licencia Creative Commons 3.0 España (by-nc)
Lecture Notes in Computer Science, 2013
Lecture Notes in Computer Science, 2011
We present the Maude Formal Environment (MFE), an executable formal specification in Maude within... more We present the Maude Formal Environment (MFE), an executable formal specification in Maude within which a user can seamlessly interact with the Maude Termination Tool, the Maude Sufficient Completeness Checker, the Church-Rosser Checker, the Coherence Checker, and the Maude Inductive Theorem Prover. We explain the high-level design decisions behind MFE, give a summarized account of its main features, and illustrate with an example the interoperation of the tools available in its current release.
Lecture Notes in Computer Science, 2011
Maude is a declarative and reflective language based on rewriting logic in which computation corr... more Maude is a declarative and reflective language based on rewriting logic in which computation corresponds to efficient deduction by rewriting. Because of its reflective capabilities, Maude has been useful as a metatool in the development of formal analysis tools for checking specific properties of Maude specifications. This includes tools for checking termination, confluence, and inductive properties of rewrite theories. Nevertheless, most of these tools have been designed to work in isolation, making it difficult, for instance, to exchange data between them and inconvenient to switch between their environments. This paper presents the Maude Formal Environment (MFE), an executable formal specification in Maude within which a user can interact with tools to mechanically verify properties of Maude specifications. One important aspect of this work is that the MFE has been designed to be easily extended with tools having highly heterogeneous designs whilst creating synergy among them. As a proof of concept, we report on the integration of five commonly used formal analysis tools for Maude specifications into MFE and illustrate their interoperability with an example.
Bulletin of The American Meteorological Society, 2001
Historical accounts of the voyages of the Manila galleons derived from the Archivo General de Ind... more Historical accounts of the voyages of the Manila galleons derived from the Archivo General de Indias (General Archive of the Indies, Seville, Spain) are used to infer past changes in the atmospheric circulation of the tropical Pacific Ocean. It is shown that the length of the voyage between ...