Ikasketa automatikoan oinarritutako gaztelaniako perpaus-identifikatzailea

Euskararako perpaus-identifikatzailearen sorkuntzaren ondoren, gaztelaniarako perpaus-identifikatzailea sortu nahi izan dugu, itzulpen automatikoan lagungarri izango delakoan. Gaztelaniarako perpaus-identifikatzailea sortzeko ikasketa automatikoko teknikak erabili ditugu.

Itzulpen automatikorako tresnen egokitzapena euskararako: post-edizioa, ebaluazioa eta aurre-edizioa

Proiektu honetan zehar Itzulpen Automatikoa eta horren inguruko tresnen inguruan jorratu da. Lengoaia Naturalaren Prozesamendua eta itzulpen automatikoa ikasi eta aztertu egin dira ikuspuntu zabal batetik. Itzulpen automatiko orokorraz eta horren aplikazio mota desberdinetatik gain, bestelako kontzeptuak ere tratatu dira, hala nola, itzulpenean laguntzeko tresnak, itzulpen automatikoaren ebaluazioa eta itzulpen automatikorako testuen aurre-edizioa eta post-edizioa. Ikasketa- eta aztertze-prozesu horretaz gain, erlazionatuta dauden tresnak erabili edota moldatu egin dira euskararako itzulpen automatikoan barne. Hiru atal nagusi nabarmendu daitezke: Lehenengo, OmegaT, itzulpenean laguntzeko softwarea, moldatu da Matxin euskararako itzultzaile automatikoa gehituz. Gainera, IXA Taldearen eta Euskal Wikipediaren arteko kolaborazio-lanean, Wikipediako artikuluak eskuratu, itzuli eta igotzeko aukera egokitu zaio OmegaT-ri eta horren erabilera sustatu da Euskal Wikipediako komunitatean eta UPV/EHUko Informatikako ikasle eta irakaslegoaren artean. Bestalde, lan honetaz baliatuz, OmegaT-k sortzen dituen itzulpen-memoriak, Matxin-en itzulpenen gaineko post-edizioan oinarrituak, eskuratzeko modu bat egin da, horiekin Matxin-en funtzionamendua hobetu ahal izateko. Ondoren, Asiya programan integratu egin da euskara. Asiya-k itzulpen automatikoaren ebaluazio eta meta-ebaluazioak egin ditzakeen aplikazioa da. Hainbat metrika aztertu dira euskara aztertzeko balio ote duten begiratzeko. Besteen artean, lau metrikari euskara gehitzeko saiakera egin nahi izan da IXA Taldeko euskarazko testuen analizatzaile batek eskainitako informazio sintaktikoa gehituz, baina bi metrika soilik egokitu ahal izan dira. Azkenik, DiSeg esaldi-segmentatzailea erabili egin da gaztelerazko corpus baten gainean esaldi luzeak banatzeko. Aurre-edizio hori eta gero itzuli egin dira eta Asiya erabiliz emaitzen ebaluazioa eta konparazioa egin dira, esaldi laburragoekin itzulpen automatiko eraginkorragoa lortzen oten den aztertzeko.

Aprendizaje colaborativo de fundamentos de tecnología de computadores en base a problemas y proyectos

Duración (en horas): Más de 50 horas. Destinatario: Estudiante y Docente

Relations veritables et curieuses de l'isle de Madagascar et du Bresil : avec l'histoire de la derniere guerre faite au Bresil, entre les portugais & les hollandois : trois relations d'Egypte, e une du royaume de Perse

‘Relations veritables et curieuses de l'Isle de Madagascar, et du Bresil’, de responsabilidade do livreiro Augustin Courbé, foi redigida em parte por Morisot, de DiJon, com base em documentos fornecidos pelos irmãos Dupuy. A obra, composta por dois volumes reunidos em um tomo, contém diversos relatos. Muita confusão existe acerca dessa edição de Courbé, seja relativamente ao número de volumes da obra, seja quanto à autoria dos relatos. Borba de Moraes a firma que "esses erros decorrem da raridade do trabalho completo". O primeiro volume, apresentado sob o titulo geral ‘Relations veritables et curieuses de l’Isle de Madagascar, et du Bresil’, contém os trabalhos ‘Relation du voyage de François Couché...: De la religion, moeurs, et façons de faire de ceux de I'Lsle de Madagascar: colloque entre le madagascarois et le françois...’, e ‘Re1ation du voyage de Roulox Baro’. O segundo volume é intitulado ‘Histoire des derniers troubles du Bresil entre les hollandois et les portugais’ e foi escrito por Pierre Moreau, cujo texto ocupa as 212 páginas iniciais. Além deste, constam do volume ‘Trois relations d'Egypte et autres memoires...’ e a ‘Relation d'um voyage de Perse’. Prod uzida a partir da observação dos fatos ocorridos durante o período de sua permanência em Pernambuco durante a ocupação pelos holandeses, a obra de Moreau é de capital importância para o estudo da situação socioeconômica de Pernambuco sob o domínio holandês. A edição de A. Courbé, conhecido livreiro que se estabeleceu em Paris de 1629 a 1660, teve o projeto das ilustrações a cargo de Jean Picard, oriundo de uma famosa família de gravadores, cujo nome aparece no primeiro volume apenas, segundo Borba de Moraes

¿Somos capaces de influir en las actitudes y/o comportamiento de nuestra audiencia?

Duración (en horas): Más de 50 horas. Destinatario: Profesor

Introducción al derecho

Manual de la asignatura introducción al derecho. Nivel educativo: Grado

Varios prodigios de amor, en onze novelas : exemplares, nuevas : nunca vistas, ni impressas : las cinco escritas sin una de las cinco letras vocales, y las otras de gusto, y apacible entretenimiento / compuestas por diferentes autores, los mejores ingenios de Espana : recogidas por Isidro de Robles, natural de esta coronada Villa de Madrid : dedicadas al glorioso San Geronimo, Padre y protector de los mercadores de libros desta Corte : con licencia

Isidro de Robles reuniu e publicou em espanhol uma coletânea de onze novelas de vários autores, afirmando serem elas inéditas. Sabe-se, contudo, que as cinco primeiras, de autoria de Alfonso de Alcaláy Henares, escritor e poeta português (Lisboa, 1599 – Alcalá, 1682) já haviam sido publicadas sob o título “Vários effetos de amor en cinco novellas exemplares...”. cuja edição princeps, considerada raríssima, foi publicada em Lisboa, no ano de 1641. As cinco novelas chamaram a atenção e agradaram ao publico, que valorizou O esforço literário e a genialidade do autor por tê-las escrito omitindo uma determinada vogal. Assim, na primeira novela todas as palavras Foram escritas sem a letra a, na segunda sem a letra e, etc.

Maria Rosa Mystica, excellencias, poderes, e maravilhas do seu rosario : compendiadas em trinta sermoens asceticos, & panegyricos sobre os dous evangelhos desta solemnidade novo, & antigo : offerecidas a soberana magestade da mesma senhora pelo P. Antonio Vieira da Companhia de Jesus da Provincia do Brasil

Padre Antônio Vieira nasceu em Lisboa em 6 de novembro de 1608 e morreu na Bahia em 18 de julho de 1697. Ordenado sacerdote em 1634, logo se destacou como excepcional pregador. Exerceu importante papel politico e diplomático durante o reinado de D. João IV e fez do púlpito uma tribuna a serviço da nação, em guerra com a Espanha. De 1652 a 1661 atuou como missionário no Maranhão. Em Portugal foi denunciado como herético ao Tribunal da Inquisição. Doente e encarcerado defendeu-se com extraordinário vigor, mas foi condenado a internamento numa casa jesuítica e proibido de pregar. Retirou-se em 1681 para o Brasil, onde trabalhou na edição completa dos 'Sermoens'. O ‘Rosário de Nossa Senhora’ faz parte dos Sermões de Vieira e foi escrito em cumprimento a um voto feito em um momento de grande perigo de sua vida. A obra é composta por dois volumes, contendo quinze sermões cada um, todos em louvor ao Rosário de Nossa Senhora. Padre Vieira ensina a rezar unindo a oração vocal à mental. Oferece um método claro e profundo no seguimento fervoroso da devoção aos Mistérios da Rosa Mística

Escultura en los años 90 en el País Vasco: reconfigurando el pasado-presente

[ES] La creación escultórica en el País Vasco durante los años noventa se siguió nutriendo del entramado creativo de la década anterior, mientras se iban difuminando los últimos coletazos programáticos de la posmodernidad. Los jóvenes artistas de esta última década no plantean lenguajes originales, ni plantean la búsqueda de temáticas inéditas, simplemente se aboga por ubicarse en un marco espacial y temporal que les permita seguir creando en base a procesos anteriores, pero con perspectivas que les sirvan para analizar y experimentar las situaciones enclavadas en el presente.

Negociación e intervención en crisis: dos experiencias prácticas en la prevención de la violencia en el fútbol base

En esta comunicación se presentan dos experiencias aplicadas que forman parte de un programa de prevención de la violencia en el deporte de base. En la primera de ellas, el objetivo era la adquisición del compromiso de los entrenadores y árbitros pertenecientes a una misma categoría (1ª cadete) en el cumplimiento de unas pautas de conductas en los partidos. Para ello, se llevaron a cabo talleres de manera conjunta con árbitros y entrenadores en los que se pretendía: 1) fomentar una relación cordial y de cooperación entre los entrenadores y los árbitros; 2) adquirir el compromiso para el aumento de las actitudes y conductas deportivas de entrenadores y árbitros durante los partidos de fútbol y disminuir las inapropiadas; 3) conocer las actitudes y conductas que más incomodan al otro colectivo durante los partidos, con el fin de evitarlas; y 4) refrendar por escrito los acuerdos a los que ambos grupos llegaron a la conclusión de los talleres. Los resultados de este estudio reflejan que la aceptación y la adherencia a la emisión de estas conductas tuvo un efecto positivo en la mejora del clima entre ambos colectivos y en la mejora de la deportividad en los partidos de fútbol. En el segundo estudio, se identificó un equipo que durante la temporada 2007-2008 mostró repetidamente comportamientos antideportivos. Por ello, con el objetivo de reducir estas conductas problemáticas, se implementó un programa de “intervención en crisis” de 14 semanas de duración en el que se pretendía: 1) conseguir que el equipo integre la figura de un nuevo preparador físico dentro del cuerpo técnico; 2) implantar o mejorar las normas básicas de comportamiento individual y colectivo tanto en los entrenamientos como en los partidos; 3) desarrollar un método de trabajo en equipo durante el entrenamiento en el que cada jugador comprendiera y aceptara el papel que desempeña dentro del equipo; y 4) aumentar el repertorio de recursos ante situaciones potencialmente violentas para eliminar las conductas agresivas-violentas mediante la incorporación de rutinas individuales y colectivas de control. Los resultados de este estudio confirman la eficacia de la intervención, no sólo en la disminución de incidentes violentos durante los partidos jugados, sino en una valoración positiva del entrenador, directivos, padres y jugadores.

Leis extravagantes / Collegidas e Relatadas pelo Licenciado Duarte Nunez do Lião ; per mandado do muito alto e muito poderoso rei Dom Sebastião, Nosso Senhor

As Leis extravagantes foram compiladas durante o reinado de D.Sebastião. Levada a efeito com o intuito de reformar o código precedente, servia para consumar o triunfo da legislação Corpus Juris e do absolutismo real, conforme analisa Cândido Mendes. Essa nova codificação, também denominada Código Sebastiânico, contudo, não teve o alcance das Leis extravagantes posteriores ao Código manuelino. O trabalho, revisto pelo regedor Lourenço da Silva e outros jurisconsultos, foi aprovado por alvará de 14 de fevereiro de 1569, tendo força de lei. Foi o Cardeal D. Henrique, quando regente do Reino, que ordenara a compilação, alegando a existência de muitas leis e provisões promulgadas depois do Código manuelino, assim como decisões da Casa da Suplicação, o que era fonte de muita controvérsia no fórum, como é declarado no alvará contido na obra. O livro das Leis extravagantes resultou num grosso volume de oitocentas e oitenta páginas, mais quatorze páginas introdutórias, em que aparecem o licenciamento e o sumário da obra. O conteúdo das Leis extravagantes é constituído por seis partes, seus aditamentos, o repertório das matéria contidas na obra, as anotações dos dispositivos revogados e casos de devassa.

Chronica del Rei D. Joam I de Boa Memoria e dos reys de Portugal, o decimo

Fernão Lopes foi o primeiro cronista-mor do Reino de que se tem notícia certa e um grande cronista português, aliás, segundo Robert Southey, "o maior cronista de todas as épocas e nações”. Pouco se sabe sobre sua origem, tendo-se 1380 como o ano provável de seu nascimento e 1460 como o de sua morte. Nada se conhece dos primeiros quarenta anos de sua vida. Em 1418 foi nomeado guarda do arquivo da Torre do Tombo, em Lisboa. Foi secretário de D. João I desde, pelo menos, 1419 até o seu falecimento deste monarca, em 1433, e , depois, de seu sucessor, D. Duarte. Em 1422 exerceu a função de escrivão da puridade do Infante D. Fernando. Tudo leva a crer que tenha escrito a história de Portugal desde a fundação do Reino e as crônicas de todos os seus reis até D. João I. Chronica del Rey D. Joam I de boa memoria, e do reys de Portugal o decimo foi publicada, postumamente, em 1644, em dois tomos, mas em apenas um volume. Esta obra consta de 3 partes, com os seguintes títulos: Parte I: em que se contém a defensão do reino até ser eleito rei; Parte II: em que se continuam as guerras com Castlella, desde o princípio do seu reinado até às pazes; Parte III: crônica da tomada de Ceuta. As duas primeiras foram escritas por Fernão Lopes. A terceira foi escrita por Gomes Eanes de Zurara nascido, aproximadamente, em 1410 e falecido em 1474, sucessor de Lopes, como primeiro cronista e guarda-mor da Torre do Tombo. No exemplar que a Biblioteca da Câmara possui estão encadernadas apenas as duas primeiras partes, com a segunda parte tendo início no Capítulo 194. Segundo Inocêncio, os exemplares publicados em 1644 são raros, embora a edição não tenha sido feita com o cuidado necessário e exista nas principais bibliotecas de Lisboa. Obra Manuscrita.

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.

Assisting blog publication: annotation, model transformation, and crossblogging techniques

Although blogs exist from the beginning of the Internet, their use has considerablybeen increased in the last decade. Nowadays, they are ready for being used bya broad range of people. From teenagers to multinationals, everyone can have aglobal communication space.Companies know blogs are a valuable publicity tool to share information withthe participants, and the importance of creating consumer communities aroundthem: participants come together to exchange ideas, review and recommend newproducts, and even support each other. Also, companies can use blogs for differentpurposes, such as a content management system to manage the content of websites,a bulletin board to support communication and document sharing in teams,an instrument in marketing to communicate with Internet users, or a KnowledgeManagement Tool. However, an increasing number of blog content do not findtheir source in the personal experiences of the writer. Thus, the information cancurrently be kept in the user¿s desktop documents, in the companies¿ catalogues,or in another blogs. Although the gap between blog and data source can be manuallytraversed in a manual coding, this is a cumbersome task that defeats the blog¿seasiness principle. Moreover, depending on the quantity of information and itscharacterisation (i.e., structured content, unstructured content, etc.), an automaticapproach can be more effective.Based on these observations, the aim of this dissertation is to assist blog publicationthrough annotation, model transformation and crossblogging techniques.These techniques have been implemented to give rise to Blogouse, Catablog, andBlogUnion. These tools strive to improve the publication process considering theaforementioned data sources.

Semi-automatic generation of learning domain modules for technology supported learning systems

In a time when Technology Supported Learning Systems are being widely used, there is a lack of tools that allows their development in an automatic or semi-automatic way. Technology Supported Learning Systems require an appropriate Domain Module, ie. the pedagogical representation of the domain to be mastered, in order to be effective. However, content authoring is a time and effort consuming task, therefore, efforts in automatising the Domain Module acquisition are necessary.Traditionally, textbooks have been used as the main mechanism to maintain and transmit the knowledge of a certain subject or domain. Textbooks have been authored by domain experts who have organised the contents in a means that facilitate understanding and learning, considering pedagogical issues.Given that textbooks are appropriate sources of information, they can be used to facilitate the development of the Domain Module allowing the identification of the topics to be mastered and the pedagogical relationships among them, as well as the extraction of Learning Objects, ie. meaningful fragments of the textbook with educational purpose.Consequently, in this work DOM-Sortze, a framework for the semi-automatic construction of Domain Modules from electronic textbooks, has been developed. DOM-Sortze uses NLP techniques, heuristic reasoning and ontologies to fulfill its work. DOM-Sortze has been designed and developed with the aim of automatising the development of the Domain Module, regardless of the subject, promoting the knowledge reuse and facilitating the collaboration of the users during the process.