Altruism with Social Roots: An Emerging Literature

Revised: 2007-01.-- Published as an article in: Revista Desarrollo y Sociedad (2006), Semestre II, pp. 245-260.

Pertsonaia protagonista femeninoen ezaugarriak eta bilakaera euskal narratiba garaikidean

361 p.

Contemporary mormon literature: Phyllis Barber's writing

612 p.

Teaching how to Look at and View Bodies within Literature

[EN] This paper focuses on how to initiate discussions of the regulatory gaze in primary school classrooms through the study of characters in literature. It specifically focuses on two renowned characters in Spanish literature: Xola (Bernardo Atxaga) and Iholdi (Mariasun Landa). These characters are composed of a chorus of looks which in turn also look. We shall carefully reflect upon these looks and discuss how we see others, how others see us, and how we would like others to see us.

Invariant-free deduction systems for temporal logic

In this thesis we propose a new approach to deduction methods for temporal logic. Our proposal is based on an inductive definition of eventualities that is different from the usual one. On the basis of this non-customary inductive definition for eventualities, we first provide dual systems of tableaux and sequents for Propositional Linear-time Temporal Logic (PLTL). Then, we adapt the deductive approach introduced by means of these dual tableau and sequent systems to the resolution framework and we present a clausal temporal resolution method for PLTL. Finally, we make use of this new clausal temporal resolution method for establishing logical foundations for declarative temporal logic programming languages. The key element in the deduction systems for temporal logic is to deal with eventualities and hidden invariants that may prevent the fulfillment of eventualities. Different ways of addressing this issue can be found in the works on deduction systems for temporal logic. Traditional tableau systems for temporal logic generate an auxiliary graph in a first pass.Then, in a second pass, unsatisfiable nodes are pruned. In particular, the second pass must check whether the eventualities are fulfilled. The one-pass tableau calculus introduced by S. Schwendimann requires an additional handling of information in order to detect cyclic branches that contain unfulfilled eventualities. Regarding traditional sequent calculi for temporal logic, the issue of eventualities and hidden invariants is tackled by making use of a kind of inference rules (mainly, invariant-based rules or infinitary rules) that complicates their automation. A remarkable consequence of using either a two-pass approach based on auxiliary graphs or aone-pass approach that requires an additional handling of information in the tableau framework, and either invariant-based rules or infinitary rules in the sequent framework, is that temporal logic fails to carry out the classical correspondence between tableaux and sequents. In this thesis, we first provide a one-pass tableau method TTM that instead of a graph obtains a cyclic tree to decide whether a set of PLTL-formulas is satisfiable. In TTM tableaux are classical-like. For unsatisfiable sets of formulas, TTM produces tableaux whose leaves contain a formula and its negation. In the case of satisfiable sets of formulas, TTM builds tableaux where each fully expanded open branch characterizes a collection of models for the set of formulas in the root. The tableau method TTM is complete and yields a decision procedure for PLTL. This tableau method is directly associated to a one-sided sequent calculus called TTC. Since TTM is free from all the structural rules that hinder the mechanization of deduction, e.g. weakening and contraction, then the resulting sequent calculus TTC is also free from this kind of structural rules. In particular, TTC is free of any kind of cut, including invariant-based cut. From the deduction system TTC, we obtain a two-sided sequent calculus GTC that preserves all these good freeness properties and is finitary, sound and complete for PLTL. Therefore, we show that the classical correspondence between tableaux and sequent calculi can be extended to temporal logic. The most fruitful approach in the literature on resolution methods for temporal logic, which was started with the seminal paper of M. Fisher, deals with PLTL and requires to generate invariants for performing resolution on eventualities. In this thesis, we present a new approach to resolution for PLTL. The main novelty of our approach is that we do not generate invariants for performing resolution on eventualities. Our method is based on the dual methods of tableaux and sequents for PLTL mentioned above. Our resolution method involves translation into a clausal normal form that is a direct extension of classical CNF. We first show that any PLTL-formula can be transformed into this clausal normal form. Then, we present our temporal resolution method, called TRS-resolution, that extends classical propositional resolution. Finally, we prove that TRS-resolution is sound and complete. In fact, it finishes for any input formula deciding its satisfiability, hence it gives rise to a new decision procedure for PLTL. In the field of temporal logic programming, the declarative proposals that provide a completeness result do not allow eventualities, whereas the proposals that follow the imperative future approach either restrict the use of eventualities or deal with them by calculating an upper bound based on the small model property for PLTL. In the latter, when the length of a derivation reaches the upper bound, the derivation is given up and backtracking is used to try another possible derivation. In this thesis we present a declarative propositional temporal logic programming language, called TeDiLog, that is a combination of the temporal and disjunctive paradigms in Logic Programming. We establish the logical foundations of our proposal by formally defining operational and logical semantics for TeDiLog and by proving their equivalence. Since TeDiLog is, syntactically, a sublanguage of PLTL, the logical semantics of TeDiLog is supported by PLTL logical consequence. The operational semantics of TeDiLog is based on TRS-resolution. TeDiLog allows both eventualities and always-formulas to occur in clause heads and also in clause bodies. To the best of our knowledge, TeDiLog is the first declarative temporal logic programming language that achieves this high degree of expressiveness. Since the tableau method presented in this thesis is able to detect that the fulfillment of an eventuality is prevented by a hidden invariant without checking for it by means of an extra process, since our finitary sequent calculi do not include invariant-based rules and since our resolution method dispenses with invariant generation, we say that our deduction methods are invariant-free.

Translation, literature and nation: the Xeneración Nós and the appropriation of Joyce's texts

Santamaría, José Miguel; Pajares, Eterio; Olsen, Vickie; Merino, Raquel; Eguíluz, Federico (eds.)

Translating Spanish Literature into English: Some cross-cultural pragmatic issues

Eterio Pajares, Raquel Merino y José Miguel Santamaría (eds.)

Some remarks on asymmetrical cultural transfer. (The Case of Slovenian Literature for Italian Readers)

Eterio Pajares, Raquel Merino y José Miguel Santamaría (eds.)

El mito de Safo en el relato decadente

[FR] La femme homosexuelle, reflet d’un désir mythique hermaphrodite, est, pendant la fin du siècle une figure littéraire paradoxale et en même temps obsédante. Sapho est, comme la femme fatale, une des protagonistes de la fin-du-siècle qui répond à une misogynie récurrente dans l’imaginaire créateur. Il s’agit d’un désir artificiel, éros intangible (Péladan 1910: 74), contre nature, un idéal impossible: Sexe initial,sexe définitif, absolu de l’amour, absolu de la forme, sexe qui nies le sexe, sexe d’éternité! Los à toi, Androgyne! (Péladan 1910: 76). Sapho, figure archétypique, androgyne, constitue en définitive le symbole de l’abolition des sexes, de la confusion des genres, de la crise du couple traditionnel. Elle met en évidence la solitude, la peur et un désir inassouvi.

Helena de Eurípides y los roles de género

Le Rane : Collana di Studi e Testi. Studi ; 55 - El teatro clásico en el marco de la cultura griega y su pervivencia en la cultura occidental ; 13

Literature Review of Integrated Impact Assessment Models of Climate Change with Emphasis on Damage Functions

35 p.

La innovación empresarial y el emprendimiento: un análisis empírico

[ES]Este es un Trabajo Fin de Grado interdisciplinar que aúna la Innovación y el Emprendimiento con la Econometría. En la parte teórica, se sintetiza la literatura relacionada con la innovación y el emprendimiento, los tipos y medidas de innovación, los factores que influyen tanto positiva como negativamente en la innovación, y se explica la importancia de innovar en las empresas. Se analizan también las bases de datos sobre innovación disponibles en Internet. Mientras que en la parte empírica, se analiza el impacto del Producto Interior Bruto sobre la actividad emprendedora total y por motivos de necesidad u oportunidad de 67 países a nivel mundial. Los países están divididos en tres tipos, dependiendo de cual es el motor impulsor de su economía: los factores tradicionales de producción, los factores que mejoran su eficiencia y las economías basadas en la sofisticación de sus empresas y la innovación. Así mismo, se analiza la influencia del PIB y otras variables macroeconómicas como el nivel de educación superior, la inversión pública y privada en I+D+i y el número de patentes PCT con el emprendimiento innovador. Para ello, se han teniendo en cuenta los datos aportados en los Informes Global Entrepreneurship Monitor (GEM) y Innovation Union Scoreboard (IUS) para el año 2012.

THE AINU LANGUAGES: TRADITIONAL RECONSTRUCTION, EURASIAN AREAL LINGUISTICS, AND DIACHRONIC (HOLISTIC) TYPOLOGY

El objetivo principal de esta tesis doctoral es, en primer lugar, ofrecer una reconstrucción alternativa del protoainu para, en segundo lugar, aplicar conceptos de tipología diacrónicaholística con el fin de discernir algún patrón evolutivo que ayude a responder a la pregunta:¿por qué la lengua ainu es como es en su contexto geolingüístico (lengua AOV con prefijos),cuando en la región euroasiática lo normal es encontrar el perfil 'lengua AOV con sufijos'? En suma, se trata de explorar las posibilidades que ofrece la tipología diacrónica holística,combinada con métodos más tradicionales, en la investigación de las etapas prehistóricas delenguas aisladas, es decir, sin parientes conocidos, como el ainu, el vasco, el zuñi o elburushaski. Este trabajo se divide en tres grandes bloques con un total de ocho capítulos, unapéndice con las nuevas reconstrucciones protoainúes y la bibliografía.El primer bloque se abre con el capítulo 1, donde se hace una breve presentación delas lenguas ainus y su filología. El capítulo 2 está dedicado a la reconstrucción de la fonologíaprotoainu. La reconstrucción pionera pertenece a A. Vovin (1992), que de hecho sirve comobase sobre la que ampliar, corregir o modificar nuevos elementos. En el capítulo 3 se describela morfología histórica de las lenguas ainus. En el capítulo 4 se investiga esta opción dentrode un marco más amplio que tiene como objetivo analizar los patrones elementales deformación de palabras. El capítulo 5, con el que se inicia el segundo bloque, da cabida a lapresentación de una hipótesis tipológica diacrónica, a cargo de P. Donegan y D. Stampe, conla que especialistas en lenguas munda y mon-khmer han sido capaces de alcanzar unreconstrucción del protoaustroasiático según la cual el tipo aglutinante de las lenguas mundasería secundario, frente al original monosilábico de las lenguas mon-khmer. En el capítulo 6se retoma la perspectiva tradicional de la lingüística geográfica, pero no se olvidan algunas delas consideraciones tipológicas apuntadas en el capítulo anterior (el hecho de que la hipótesisde Donegan y Stampe no funcione con el ainu no significa que la tipología diacrónica nopueda ser todavía de utilidad). En el capítulo 7 se presentan algunas incongruencias queresultan tras combinar las supuestas evidencias arqueológicas con el escenario lingüísticodescrito en capítulos anteriores. Las conclusiones generales se presentan en el capítulo 8. Elapéndice es una tabla comparativa con las dos reconstrucciones disponibles a fecha de hoypara la lengua protoainu, es decir, las propuestas por A. Vovin en su estudio seminal de 1992y en el capítulo 3 de la presente tesis. Dicha tabla incluye 686 reconstrucciones (puedehacerse una sencilla referencia cruzada con Vovin, puesto que ambas están ordenadasalfabéticamente).

La aplicación empresarial del marketing viral y el efecto boca-oreja electrónico. Opiniones de las empresas

[ES] La práctica tradicional del boca-oreja, natural desde hace años como modo de publicidad efectiva sin recurrir a grandes inversiones ni contrataciones en medios masivos se ha convertido en una nueva posibilidad de marketing con la llegada de las nuevas tecnologías e Internet. Así ha aparecido una nueva estrategia de marketing que consiste en explotar las redes sociales preexistentes para producir incrementos exponenciales en conocimiento de marca, denominada marketing viral. El efecto "boca-oreja online" que genera es una herramienta poderosa para las empresas, aunque su verdadero potencial está aún por descubrir. El objetivo del presente trabajo de investigación es analizar este fenómeno a través de una amplia revisión bibliográfica del término, así como un estudio empírico consistente en una entrevista en profundidad realizada a una muestra de importantes empresas españolas. Los resultados indican que el marketing viral puede ser empleado para el beneficio, tanto de grandes empresas con grandes presupuestos, como de pequeños negocios. Las experiencias exitosas de su utilización demuestran que, cuando se usa integrado en el resto de estrategias comerciales de la empresa, puede mejorar la recomendación de la marca e incrementar su notoriedad en el mercado. El marketing viral puede ser ventajoso a la hora de lanzar un nuevo producto al mercado, sin embargo, la efectividad y la medición de las campañas son vistas por muchos académicos y profesionales como un punto débil de la estrategia.

Traditional budgeting during financial crisis

[EN] This study examines the evolution of budgeting practices in the extremely difficult Spanish economic environment. In order to analyse if companies are still maintaining their budgeting process and if, right now, they are facing more difficulties in forecasting accurate indicators, two similar web surveys were addressed over two periods of time, firstly in 2008 at the beginning of the financial crisis, and secondly in 2013 after five years of a downward trend. In addition, in-depth interviews were conducted to investigate how companies brought more flexibility to their budgeting process in order to cope with environmental uncertainty. The survey indicates that 97% of respondents are still using a traditional budgeting process being this result similar to the one found in 2008. However, 2013 showed that the reliance on forecasted information is being increasingly questioned. Furthermore the study revealed that the respondents are bringing more flexibility to their processes, being able to modify the objectives once the budget is approved and to obtain new resources outside the budgeting process. This paper contributes to revealing information about difficulties in setting reliable objectives in a turbulent environment and provides data about the evolution of budgeting practices over five years during an austere economic crisis.