Los consejos comunales en Venezuela (2006-2010) : Análisis de una experiencia de organización y participación impulsada por el Estado, desde la perspectiva del poder popular

En este trabajo se realiza una aproximación al proceso de conformación de los consejos comunales en el contexto político venezolano, intentando dar cuenta en su descripción y análisis, en primer lugar, si es posible identificar elementos de poder popular y qué características asumen, y, en segundo lugar cómo son las relaciones que se establecen con las instituciones estatales. El análisis aborda el proceso que comprende la creación de los consejos comunales en el año 2006, hasta el año 2010, año en que es impulsado desde el Estado la conformación de las comunas, el paso que le sigue a los consejos comunales en el proyecto del Socialismo del Siglo XXI, cuya ley 'Ley Orgánica de las Comunas- los enmarca en un proceso diferente, al proponer avanzar en la unificación de diferentes consejos comunales para dar lugar a nuevas estructuras organizativas, las 'comunas'. Así, se analiza la conformación de los consejos comunales y sus objetivos en el contexto histórico de la denominada 'Revolución Bolivariana', proceso iniciado en el año 1998 con el triunfo del presidente Hugo Chávez, que, a partir del 2005 será llamado 'Socialismo del Siglo XXI'. Se analizan también las formas en que los consejos comunales son concebidos por el marco normativo en la Ley de los Consejos Comunales dictada en el 2006, luego Ley Orgánica de los Consejos Comunales en el 2009. Abordamos entonces, cómo son creados los consejos comunales en el proceso político en curso en Venezuela, experiencias de organización y participación que indican tanto por la situación histórica como por lo que el posibilita el marco normativo, que podrían desarrollarse elementos de poder popular en su interior, y, a la vez, abordamos los tipos de relaciones que se construyen con las instituciones estatales

La formación de la Unión de Cañeros Independientes de Tucumán : El nuevo asociacionismo de los cañeros tucumanos en los orígenes del peronismo

El presente trabajo aborda la unificación del gremio cañero tucumano en los orígenes del peronismo. Los cañeros tucumanos cuentan con una larga tradición asociativa que se inicia a finales del siglo XIX con la modernización de la agroindustria azucarera, con la particularidad de la coexistencia de varias asociaciones gremiales surgidas como consecuencia de las recurrentes crisis del sector y de disputas intersectoriales. De esta forma, en este trabajo analizaremos el proceso por el cual el gremio cañero abandonó su tradición asociativa disgregada para dar lugar a la conformación de un gremio unificado, denominado Unión de Cañeros Independientes de Tucumán

Transmisión oral en la narrativa española contemporánea : Un recurso para la construcción de la memoria de la Guerra Civil y del franquismo

Se propone la descripción y el análisis del empleo de la transmisión oral en la narrativa española actual como un recurso para configurar la memoria de la Guerra Civil española y del franquismo. Para ello se atendió especialmente a las estrategias que intervienen en la representación de la oralidad en relación con los diálogos y los relatos orales, entre otros procedimientos a través de los cuales se transmite el pasado traumático dentro de la ficción. Ha sido analizada la representación de la oralidad en la producción narrativa ficcional de diversos autores españoles de finales del siglo XX y comienzos del siglo XXI que han abordado la temática de la Guerra Civil en una situación particular en cuanto al surgimiento de replanteos y debates acerca del tratamiento del conflicto bélico. Los objetivos generales que guiaron el trabajo han sido indagar la presencia y la función de la transmisión oral en la literatura, profundizar el estudio de la oralidad como voz emergente de colectivos sociales desplazados y analizar la funcionalidad del empleo de la oralidad en textos representativos de la narrativa española contemporánea. A su vez, más específicamente, se propuso profundizar en el estudio de la ficcionalización de la transmisión oral como un artificio para la construcción de la memoria en la narrativa española actual, vincular las posibilidades de transmisión de la historia de la Guerra Civil española con medios propios de la historia oral en la literatura -especialmente en la novela-, problematizar determinadas perspectivas sobre el testimonio en la medida en que son literaturizadas para una concepción de la memoria de la Guerra Civil, de la posguerra y de la dictadura, y estudiar algunas miradas contemporáneas acerca de la Guerra Civil y del franquismo desde el campo de la narrativa como un correlato de ciertos reclamos sociales de la actualidad respecto del pasado reciente. Para esto fueron analizadas diversas propuestas que surgieron esencialmente desde la literatura -con algún detenimiento en un texto fílmico- para abordar el pasado traumático y se consideraron las técnicas de transmisión empleadas para la narración ficcional de aspectos largamente silenciados por la historia oficial. El corpus central de textos literarios ha quedado conformado por O lapis do carpinteiro y Os libros arden mal, de Manuel Rivas, Guárdame bajo tierra, de Ramón Saizarbitoria, Soldados de Salamina, de Javier Cercas, Home sen nome, de Suso de Toro, y Mala gente que camina, de Benjamín Prado. Como corpus complementario, se tornó pertinente incorporar un capítulo que articula un texto fílmico (Muerte en El Valle, de Christina Hardt) con un texto literario (Las esquinas del aire. En busca de Ana María Martínez Sagi, de Juan Manuel de Prada). Esto, que en principio puede parecer un apartamiento del corpus central, favoreció el análisis del tratamiento del testimonio desde la estetización de un texto fílmico o literario. Al realizar la selección, se estudiaron, junto con autores que escriben y publican en castellano, algunos textos escritos originariamente en lenguas minorizadas (gallego y euskera)

Diglosia y literatura vasca

A partir de la propuesta metodológica de Antón Figueroa, el presente artículo indaga, desde una perspectiva sistémica, en la importancia del lector en la recepción y recreación de la literatura vasca. Un recorrido por textos literarios, historias de la literatura y los distintos hitos culturales de la lengua, proporciona un panorama de conjunto del sistema literario en lengua vasca.

Interferencias políticas e interinstitucionales al proyecto de centralización de la administración sanitaria nacional (1943-1945)

El objetivo de este trabajo es profundizar en las razones de los cambios que se operan en la estructura administrativa sanitaria nacional entre 1943 y 1945. Si bien la creación de la Dirección Nacional de Salud y Acción Social en 1943 responde a una larga demanda de los círculos académicos de centralización administrativa y de unificación de las funciones sanitarias y asistenciales, la corta duración del proyecto (menos de un año) expone consideraciones por afuera de la lógica administrativa. Analizamos aquellas que se vinculan con la complicada relación entre la repartición nacional con los gobiernos provinciales y las organizaciones de beneficencia, con la injerencia del gremialismo médico en el delineamiento de las políticas sanitarias y con el ascendiente de Juan Domingo Perón desde la Secretaría de Trabajo y Bienestar Social en la monopolización de la asistencia social como capital político.

Tiempo de cerezas

"Tiempo de cerezas" es una mención a una vieja canción de los libertarios de la comuna de Paris, que el donostiarra Inazio Mujika Iraola (1963-) tomó como título para el cuento largo Gerezi denbora (Tiempo de cerezas) en euskera precisamente, publicado en 1999. Este cuento largo, para algunos novela corta, representó una de las primeras excepciones de la literatura vasca escrita en euskera en que el tema de la Guerra Civil española se trata lejos del punto de vista de la épica, tan propio hasta entonces. Gerezi denbora nos acerca a la parte absurda e incluso irónica de la guerra, de cualquier guerra. Que una pareja de anarquistas y un cura nacionalista vasco vayan a rescatar al arzobispo de Valladolid y ponerle a salvo en las líneas franquistas más bien podría resultar una comedia barata, pero no, ya que esta línea argumental de Gerezi denbora está basada en hechos reales. Gerezi denbora nos retrotrae a una época de sueños y esperanza, a un tiempo en el que debajo del manto de ideologías diversas, el anhelo general era construir un mundo diferente del conocido hasta entonces, años duros pero de gran riqueza, muy diferentes a los actuales de la globalización.

Relational and Allegorical Semantics for Constraint Logic Programming

El cálculo de relaciones binarias fue creado por De Morgan en 1860 para ser posteriormente desarrollado en gran medida por Peirce y Schröder. Tarski, Givant, Freyd y Scedrov demostraron que las álgebras relacionales son capaces de formalizar la lógica de primer orden, la lógica de orden superior así como la teoría de conjuntos. A partir de los resultados matemáticos de Tarski y Freyd, esta tesis desarrolla semánticas denotacionales y operacionales para la programación lógica con restricciones usando el álgebra relacional como base. La idea principal es la utilización del concepto de semántica ejecutable, semánticas cuya característica principal es el que la ejecución es posible utilizando el razonamiento estándar del universo semántico, este caso, razonamiento ecuacional. En el caso de este trabajo, se muestra que las álgebras relacionales distributivas con un operador de punto fijo capturan toda la teoría y metateoría estándar de la programación lógica con restricciones incluyendo los árboles utilizados en la búsqueda de demostraciones. La mayor parte de técnicas de optimización de programas, evaluación parcial e interpretación abstracta pueden ser llevadas a cabo utilizando las semánticas aquí presentadas. La demostración de la corrección de la implementación resulta extremadamente sencilla. En la primera parte de la tesis, un programa lógico con restricciones es traducido a un conjunto de términos relacionales. La interpretación estándar en la teoría de conjuntos de dichas relaciones coincide con la semántica estándar para CLP. Las consultas contra el programa traducido son llevadas a cabo mediante la reescritura de relaciones. Para concluir la primera parte, se demuestra la corrección y equivalencia operacional de esta nueva semántica, así como se define un algoritmo de unificación mediante la reescritura de relaciones. La segunda parte de la tesis desarrolla una semántica para la programación lógica con restricciones usando la teoría de alegorías—versión categórica del álgebra de relaciones—de Freyd. Para ello, se definen dos nuevos conceptos de Categoría Regular de Lawvere y _-Alegoría, en las cuales es posible interpretar un programa lógico. La ventaja fundamental que el enfoque categórico aporta es la definición de una máquina categórica que mejora e sistema de reescritura presentado en la primera parte. Gracias al uso de relaciones tabulares, la máquina modela la ejecución eficiente sin salir de un marco estrictamente formal. Utilizando la reescritura de diagramas, se define un algoritmo para el cálculo de pullbacks en Categorías Regulares de Lawvere. Los dominios de las tabulaciones aportan información sobre la utilización de memoria y variable libres, mientras que el estado compartido queda capturado por los diagramas. La especificación de la máquina induce la derivación formal de un juego de instrucciones eficiente. El marco categórico aporta otras importantes ventajas, como la posibilidad de incorporar tipos de datos algebraicos, funciones y otras extensiones a Prolog, a la vez que se conserva el carácter 100% declarativo de nuestra semántica. ABSTRACT The calculus of binary relations was introduced by De Morgan in 1860, to be greatly developed by Peirce and Schröder, as well as many others in the twentieth century. Using different formulations of relational structures, Tarski, Givant, Freyd, and Scedrov have shown how relation algebras can provide a variable-free way of formalizing first order logic, higher order logic and set theory, among other formal systems. Building on those mathematical results, we develop denotational and operational semantics for Constraint Logic Programming using relation algebra. The idea of executable semantics plays a fundamental role in this work, both as a philosophical and technical foundation. We call a semantics executable when program execution can be carried out using the regular theory and tools that define the semantic universe. Throughout this work, the use of pure algebraic reasoning is the basis of denotational and operational results, eliminating all the classical non-equational meta-theory associated to traditional semantics for Logic Programming. All algebraic reasoning, including execution, is performed in an algebraic way, to the point we could state that the denotational semantics of a CLP program is directly executable. Techniques like optimization, partial evaluation and abstract interpretation find a natural place in our algebraic models. Other properties, like correctness of the implementation or program transformation are easy to check, as they are carried out using instances of the general equational theory. In the first part of the work, we translate Constraint Logic Programs to binary relations in a modified version of the distributive relation algebras used by Tarski. Execution is carried out by a rewriting system. We prove adequacy and operational equivalence of the semantics. In the second part of the work, the relation algebraic approach is improved by using allegory theory, a categorical version of the algebra of relations developed by Freyd and Scedrov. The use of allegories lifts the semantics to typed relations, which capture the number of logical variables used by a predicate or program state in a declarative way. A logic program is interpreted in a _-allegory, which is in turn generated from a new notion of Regular Lawvere Category. As in the untyped case, program translation coincides with program interpretation. Thus, we develop a categorical machine directly from the semantics. The machine is based on relation composition, with a pullback calculation algorithm at its core. The algorithm is defined with the help of a notion of diagram rewriting. In this operational interpretation, types represent information about memory allocation and the execution mechanism is more efficient, thanks to the faithful representation of shared state by categorical projections. We finish the work by illustrating how the categorical semantics allows the incorporation into Prolog of constructs typical of Functional Programming, like abstract data types, and strict and lazy functions.

Métodos de resolución de problemas: Aplicación al diseño de sistemas inteligentes

Dos aspectos destacan entre los resultados más interesantes de la investigación en la década de los 90 en el campo de la ingeniería del conocimiento. Por un lado, se ha profundizado en el conocimiento sobre cómo las personas resuelven problemas. Esto se ha logrado por la vía empírica mediante un trabajo científico de observación, experimentación por medios computacionales y generalización. Como resultado de esta línea, actualmente se dispone de un primer conjunto de modelos formales, los llamados problem-solving methods (PSM), muy útiles en el campo de la ingeniería informática como plantillas de diseño que guían la construcción de nuevos sistemas. Por otro lado, como logro adicional en este campo de investigación, se ha creado un nuevo lenguaje descriptivo como complemento a las formas de representación tradicionales. Dicho lenguaje, que ha sido aceptado por un amplio número de autores, se sitúa en un mayor nivel de abstracción y permite la formulación de arquitecturas más complejas de sistemas basados en el conocimiento. Como autores que más han contribuido en este aspecto se pueden citar: Luc Steels que propuso los denominados componentes de la experiencia como forma de unificación de trabajos previos en este campo, Bob Wielinga, Guus Schreiber y Jost Breuker en el campo de metodologías de ingeniería del conocimiento y el equipo de Mark Musen respecto a herramientas. Dicho lenguaje descriptivo ha supuesto además el planteamiento de una nueva generación de herramientas software de ayuda a los técnicos desarrolladores para construcción de este tipo de sistemas. El propósito principal del presente texto es servir de base como fuente de información de ambos aspectos recientes del campo de la ingeniería del conocimiento. El texto está dirigido a profesionales y estudiantes del campo de la informática que conocen técnicas básicas tradicionales de representación del conocimiento. La redacción del presente texto se ha orientado en primer lugar para recopilar y uniformizar la descripción de métodos existentes en la literatura de ingeniería de conocimiento. Se ha elegido un conjunto de métodos representativo en este campo que no cubre la totalidad de los métodos existentes pero sí los más conocidos y utilizados en ingeniería del conocimiento, presentando una descripción detallada de carácter tanto teórico como práctico. El texto describe cada método utilizando una notación común a todos ellos, parcialmente basada en los estándares descriptivos seguidos por las metodologías más extendidas. Para cada método se incluyen algoritmos definidos de forma expresa para el presente texto con ejemplos detallados de operación. Ambos aspectos, la uniformización junto a la presentación detallada de la operación, suponen una novedad interesante respecto al estado actual de la literatura sobre este campo, lo que hace el texto muy adecuado para ser utilizado como libro de consulta como apoyo en la docencia de la asignatura de construcción de sistemas inteligentes.

Jesus-en Compañiaco A. Sebastian Mendiburuc euscaraz eracusten duen Jesus-en Bihotza-ren devocioa.

Sign.: [calderón]8, A-Z8, 2A-2B8

Aita San Ignacioren egercicioen gañean afectoac : beren egemplo ta dotriñaquin edo Egercicioen IIen partean / Jaincoarren ministro celosoai Jesusen Compañiaco aita Agustin Cardaberaz esquentcen ta dedicatcen diena.

Sign.: A-Z8, 2A-2B8, 2C4

El Impossible vencido : arte de la lengua bascongada / su author el P. Manuel de Larramendi...

Sign.: []1, [calderón]8, 2[calderón]2, 3[calderón]8, A-Z8, 2A-2B8, 2C2

Jesus-Christoren imitacionea / M. Chourio Donibaneco erretorac escararat itçulia.

Sign.: []2, A8, B4, C8, D4, E8, F4, G8, H4, I8, K4, L8, M4, N8, O4, P8, Q4, R8, S4, T8, V4, X8, Y4, Z8, 2A4, 2B8, 2C4, 2D8, 2E4, 2F8, 2G4, 2H8, 2I4, 2K8, 2L4, 2M8, 2N4, 2O3

Censura crítica del alfabeto primitivo de España y pretendidos monumentos literarios del vascuence / por D. J. A. C., cura de Montuenga.

Digitalización Vitoria-Gasteiz Archivos y Bibliotecas Mayo 1994 18-24

Jaungoicuaren Amar Aguindubeetaco azqueneco bosteen icasiquizunac. II. zatija / Bartolome Santa Teresac predicadoriac aterac.

Dialecto : texto en euskera occidental -- vizcaíno, variedad oriental

Notitia vtriusque Vasconiæ, tum Ibericæ, tum Aquitanicæ : qua, præter situm regionis et alia scitû digna, Nauarræ Regum Cæterarumque, in iis, insignium vetustate & dignitate familiarum stemmata ... exhibentur ... / authore Arnaldo Oihenarto Mauleosolensi

Sign.: a6, A-Z4, 2A-2Z4, 3A-3Z4, 4A-4C4, 4D2