Restricciones de igualdad sobre el dominio de los naturales

El objetivo de este proyecto consiste en implementar una aplicación que busca todos los modelos de una fórmula recibida como entrada. Esta fórmula de entrada pertenece a la lógica NatEq, la cual es un subconjunto de la lógica de primer orden. Esta lógica consta de un sólo predicado, que es la igualdad. Además, no contiene símbolos de funciones, incluye los cuantificadores universal y existencial, y se interpreta sobre el dominio de los números naturales N.

Traducción de tuits es-eu

Gaur egun hain erabilia den Twitter aplikazioak badu euskarazko bertsioa, baina bertan idazten diren txioak oraindik ezin dira euskaraz atzitu, ez badira euskaraz itzultzen. Beste hizkuntza nagusietan ordea, Twitter aplikazio berak aukera ematen du hizkuntzaz aldatzeko txioen testua, bere elementu eta propietateak mantenduz. Hori da proiektu honen helburua. Txioetan idatzitako testua euskarara itzultzea, txioen formatua mantenduz. Horretarako Twitterren API-a erabiliko dugu, txio eredu ezberdinak jasotzeko, eta ondoren bertako elementuak desberdindu eta itzultzeko, beharrezkoa den heinean. Besteak beste, traolak, erabiltzaileen aipamenak eta RT-eak (berTxioak) duten eragina testuan eta itzulpenean. Txioen testua normalizatzeko aukera desberdinak inplementatu ditugu programan, Matxin web-zerbitzura bidali aurretik eta ondoren lortzen ditugun emaitzak aztertu. Proiektu honek hasiera batetik erakarri zidan, Twitterren API-a erabiltzeko aukera eskaintzen baitu, eta gaur egun lan mundua ikusirik, honelako API ahaltsu bat erabiltzeak asko balio baitu. Bestalde, Gradu amaierako azken urtean izan nuen itzultzaileen funtzionamenduekin lehenengoz harremana, eta ikasgaia aukerazkoa zenez, ez genuen nahi bezain guztia ikusi. Itzultzaileen munduak ere erakartzen zidanez hartu nuen proiektu hau. Amaitu ondoren, esan dezaket nire kuriositatea asetu dudala eta bai itzulpen automatiko bai Twitter API-ekin aplikazioak sortzeko gai naizela. Nire iritzian erabilera handiko produktu bat lortu dugu proiektu honen bidez. Etorkizunari begira, baliabide gehiago inplementatzeko aukerarekin.

Treewidth: theory and applications to computer science

This report is an introduction to the concept of treewidth, a property of graphs that has important implications in algorithms. Some basic concepts of graph theory are presented in the first chapter for those readers that are not familiar with the notation. In Chapter 2, the definition of treewidth and some different ways of characterizing it are explained. The last two chapters focus on the algorithmic implications of treewidth, which are very relevant in Computer Science. An algorithm to compute the treewidth of a graph is presented and its result can be later applied to many other problems in graph theory, like those introduced in the last chapter.

Wikipedia eta anbiguetate lexikala

Hemen aurkezten dugun txostena Ingeniaritza Informatikako Karrera Bukaerako Proiektu (KBP) batean sortu dugun memoria da. Bertan, izen-entitateak desanbiguatzeko bi tresna ebaluatu ditugu, zenbait datu multzo estandar erabilita. Proiektua Eusko Jaurlaritzako lankidetza beka batekin egin dugu, EHUko IXA ikerketa taldearen baitan. QTLeap Europako proiektuan egin dugu lan, zeinek itzultzaile automatikoen mugak aztertu nahi dituzten. Bertan, hain zuzen, desanbiguazio edo izen-entitateen estekatze automatikoaren inguruan lan egin dugu. Esan bezala 2 tresna ebaluatu ditugu,Dbpedia Spotlight eta UKB. Bestalde,hiru hizkuntzetan egin ditugu esperimentuak: ingelesean, gaztelanian eta euskaran.Dbpedia Spotlight tresna ingelesean eta gaztelanian erabili ditugu eta UKB aldiz,gaztelanian eta euskaran. Izen-entitateak desanbiguatzeko erabili dugun ezagutza-basea Wikipedia izan da.

Centro de gestión de notificaciones Push para dispositivos móviles basados en IOS y Android

En esta memoria se presenta el proyecto de fin de carrera “Centro de gestión de notificaciones Push para dispositivos móviles basados en IOS y Android”, cuyo objetivo es crear una herramienta web, de libre distribución, que permita gestionar, programar y realizar envíos de notificaciones Push para aplicaciones móviles que funcionen bajo entornos IOS (Apple) y Android.

Desarrollo de una línea de productos software para gestión de un centro escolar

La personalización en masa de productos es una práctica habitual en otro tipo de industrias. Sin embargo es un problema cuando se habla de desarrollo de software debido a los costes que supone.En este Proyecto de Fin de Carrera se plantea el uso de una Línea de Productos Software: una alternativa al desarrollo tradicional que permite la personalización en masa reduciendo los costes que esto podría suponer y favoreciendo además la reutilización de recursos.Y en concreto se ha aplicado la línea de productos software a un entorno educativo en el que la variabilidad se centra en la BD que se va a utilizar para representar los datos; los medios de comunicación para transmitir los avisos a los tutores; las redes sociales en las que se va a participar y la diversidad de tutores que se pueden encontrar.

Gestión web de servicios de hostelería para alérgicos

Hoy en día existe un gran sector de la población que tiene restricciones alimenticias, bien sea por alergias o por convicciones personales. Para estos usuarios salir a comer fuera de casa acarrea un gran inconveniente, que es: la búsqueda de un establecimiento que ofrezca un servicio de calidad y que tenga en cuenta sus limitaciones a la hora de ofrecerles el servicio. Muchas veces estos usuarios se ven decepcionados en este sentido, con la consecuente frustración que sienten por el sentimiento de insatisfacción. Dicho sentimiento genera un ansia de comunicación de la experiencia para castigar dicho servicio. Además, esta ansia de comunicación no solo se da en casos negativos, ya que cuando el servicio es bueno el usuario generalmente siente el deseo de expresar su gratitud. Sin embargo, no existe una plataforma efectiva que recoja esas voces críticas o de gratitud que, si fuesen públicas, ahorrarían disgustos a otros usuarios ya que dirigirían el consumo a lugares de con buena calidad de servicio. En este traba jo presentamos el desarrollo de una plataforma web que permitirá a los usuarios de la misma conocer y dar su opinión para que el resto de usuarios puedan evaluar establecimientos según una serie de criterios,entre ellos los problemas que hayan podido tener con alergias a alimentos. Para ello, esta plataforma se hace uso de la nueva generación de dispositivos móviles que disponen de internet, posicionamiento GPS etc.. La plataforma estará alojada en un servidor web accesible en todo momento desde cualquier parte gracias a que los hoy en día todos los dispositivos disponen de conexión a Internet. La conguración necesaria para el acceso a la plataforma se encuentra en el Anexo I.

JonBike. Aplicación Android para bicicletas basada en geolocalización

En este Proyecto Fin de Carrera se ha realizado el diseño y la implementación de la aplicación JonBike. Tiene como objetivo mejorar y optimizar el seguimiento de los entrenamientos de los ciclistas. El desarrollo se ha realizado en un marco de integración y colaboración directa de los usuarios en el proyecto, partiendo de un Producto Mínimo Viable o "Minimum Viable Product" (MVP) inicial e integrando su feedback en la progresiva ampliación de las características del servicio. El sistema está compuesto por una aplicación móvil nativa para Android y una fuente de datos alojada en un servidor remoto. En implementación se han utilizado tecnologías emergentes, todas de código abierto: MongoDB junto con MongoLab para el almacenamiento de datos y plataforma base para el backend, y desarrollando como cliente, una aplicación Android nativa.

Centro de gestión de contenido en RDF

La primera idea de la realización de este proyecto, fue concebida por la necesidad de tener un sistema por el cual se pudieran cambiar datos de una aplicación, en un sistema móvil, a través de una página web. Sin embargo al conocer la potencia que tiene RDF para ser muy escalable terminó siendo un sistema de gestión de contenido general en RDF. Este sistema de gestión se ha realizado para ser lo más simple posible para un usuario, de tal manera que con solo 2 click en la página web y rellenando un formulario simple, pudiera tener una base de datos sin muchos conocimientos sobre la gestión de las mismas. Aunque claramente no es un sistema potente como si fuera una base de datos en Oracle, por citar un ejemplo, sirve para poder agregar, modificar y eliminar datos con sencillez. Así este sistema de gestión da una posibilidad muy sencilla de realizar tus propias bases de datos. Además aunque tiene un motor SQL para la gestión interna de almacenamiento, la salida de los datos es en RDF/XML con lo que podría ser compatible con un sistema más amplio como Oracle Database Semantic Technologies. Este CMS también tendrá un sistema de seguridad basado en usuario y contraseña. Para que la edición del contenido sea accesible solo a usuarios con acceso, mientras que la exportación de los datos será pública, y podrá ser accesible por cualquier usuario mediante una URI.

NFC parking payment system

Este Proyecto Fin de Carrera (PFC) de la Ingeniería Informática (II) se enmarca en otro proyecto de mayor envergadura, cuyo objetivo final es estudiar y desarrollar aplicaciones móviles basadas en Android, que permitan agilizar los pagos de importes bajos, haciendo uso de la tecnología de comunicación inalámbrica, de corto alcance y alta frecuencia (NFC). El proyecto surge de la oportunidad de desarrollar un prototipo de aplicación haciendo uso de una tecnología que apenas se ha empezado a utilizar, que sin embargo las grandes empresas de telecomunicaciones tienen previsto explotar en los próximos años.

Generación automática de VHDL mediante Simulink HDL coder y aplicación al procesado de señales

Gordon E. Moore, co-fundador de Intel, predijo en una publicación del año 1965 que aproximadamente cada dos años se duplicaría el número de transistores presentes en un circuito integrado, debido a las cada vez mejores tecnologías presentes en el proceso de elaboración. A esta ley se la conoce como Ley de Moore y su cumplimiento se ha podido constatar hasta hoy en día. Gracias a ello, con el paso del tiempo cada vez se presentan en el mercado circuitos integrados más potentes, con mayores prestaciones para realizar tareas cada vez más complejas. Un tipo de circuitos integrados que han podido evolucionar de forma importante por dicho motivo, son los dispositivos de lógica programable, circuitos integrados que permiten implementar sobre ellos las funciones lógicas que desee implementar el usuario. Hasta hace no muchos años, dichos dispositivos eran capaces de implementar circuitos compuestos por unas pocas funciones lógicas, pero gracias al proceso de miniaturización predicho por la Ley de Moore, hoy en día son capaces de implementar circuitos tan complejos como puede ser un microprocesador; dichos dispositivos reciben el nombre de FPGA, siglas de Field Programmable Gate Array. Debido a la mayor capacidad y por lo tanto a diseños más complejos implementados sobre las FPGA, en los últimos años han aparecido herramientas cuyo objetivo es hacer más fácil el proceso de ingeniería dentro de un desarrollo en este tipo de dispositivos, como es la herramienta HDL Coder de la compañía MathWorks, creadores también Matlab y Simulink, unas potentes herramientas usadas ampliamente en diferentes ramas de la ingeniería. El presente proyecto tiene como objetivo evaluar el uso de dicha herramienta para el procesado digital de señales, usando para ello una FPGA Cyclone II de la casa Altera. Para ello, se empezará analizando la herramienta escogida comparándola con herramientas de la misma índole, para a continuación seleccionar una aplicación de procesado digital de señal a implementar. Tras diseñar e implementar la aplicación escogida, se deberá simular en PC para finalmente integrarla en la placa de evaluación seleccionada y comprobar su correcto funcionamiento. Tras analizar los resultados de la aplicación de implementada, concretamente un analizador de la frecuencia fundamental de una señal de audio, se ha comprobado que la herramienta HDL Coder, es adecuada para este tipo de desarrollos, facilitando enormemente los procesos tanto de implementación como de validación gracias al mayor nivel de abstracción que aporta.

NXT eta ROS bidezko zabor biltzailea

LEGOko NXT plaka eta ROS sistemaren arteko konektagarritasuna landu da proiektu honetan. NXT eta ROSen arteko konektagarritasuna aztertu ez ezik, zabor biltzaile baten portaera inplementatu da.

Paralelización mediante OpenMP de segmentación de imágenes para el análisis de materiales bidimensionales

A lo largo de este Proyecto de Fin de Carrera se ha implementado una versión paralela mediante OpenMP de una aproximación al algoritmo de seg- mentación de imágenes level set. El fin de esta segmentación es la extracción de ciertas características de las imágenes necesarias para el cliente con el que se trabaja a lo largo de este proyecto. Además, se ha realizado un estudio previo de los tipos de técnicas de segmentación existentes y se han realizado pruebas experimentales con la paralelización realizada, con el fin de analizar la mejora realizada frente al algoritmo en serie.

Representações sociais da aids por enfermeiras das redes básica e hospitalar

Este estudo objetiva analisar as representações sociais da aids produzidas por enfermeiras atuantes em dois níveis distintos de atenção aos sujeitos que vivem com HIV/Aids e suas implicações para o cuidado desenvolvido por esse grupo profissional. Trata-se de um estudo exploratório-descritivo, pautado na abordagem qualitativa, orientado pela Teoria das Representações Sociais, em sua abordagem processual. Os sujeitos do estudo foram enfermeiras, atuantes em instituições públicas de saúde da cidade do Rio de Janeiro, sendo 10 da rede hospitalar e 9 da rede básica. A coleta de dados deu-se por meio de um roteiro de entrevista semi-estruturada e um questionário de caracterização. Para a análise dos dados foi utilizada a técnica de análise lexical, realizada pelo software Alceste 4.10. Na análise do grupo total de sujeitos foram definidas seis categorias: "Memórias sócio profissionais de enfermeiras sobre o HIV/Aids", abordando os atores sociais atingidos pela aids no passado e na atualidade, as memórias das enfermeiras sobre aids e os estereótipos presentes em cada período; "O cuidado relacionado à autoproteção ao HIV/Aids", referindo-se as medidas de proteção ao HIV/Aids adotadas pelas enfermeiras tanto em suas vidas profissionais quanto pessoais; "Dimensões práticas do atendimento e do cuidado", destacando elementos do cotidiano assistencial, com ênfase nas diferentes formas de compreensão do cuidado; "As famílias atingidas pela aids", com conteúdos relativos às vivências das enfermeiras em situações da aids no contexto familiar; "As políticas públicas e instituicionais e a aids", relativa as percepções das enfermeiras sobre as políticas de saúde; "O tratamento medicamentoso do HIV/Aids", com conteúdos relativos às dificuldades percebidas para a adesão ao tratamento medicamentoso por parte dos sujeitos com HIV/Aids. A análise cruzada da variável nível de atenção permitiu observar que a representação da aids no grupo de enfermeiras da rede hospitalar encontra-se ancorada em elementos negativos relativos ao passado, embora apontem também para novos elementos representacionais no presente; enquanto as enfermeiras de rede básica representam a aids a partir de elementos relativos à prática assistencial cotidiana. A representação da aids para o grupo de enfermeiras estudado abarca elementos tais como: sentimento de insegurança em relação ao próprio parceiro, devido a situações que vivenciam, imagem dos sujeitos que vivem com HIV/Aids em transição devido às mudanças ocorridas no perfil epidemiológico; atitudes distintas no campo profissional, relacionadas às formas de contágio e persistência de identificação dos sujeitos que vivem com HIV/Aids como vítimas ou culpados. Apesar de afirmarem inexistir diferenças no cuidado de enfermagem às pessoas que vivem com o HIV/Aids quando comparado ao cuidado aos sujeitos com outras patologias, enfatizam a necessidade de maior cautela devido ao risco de contágio em relação aos primeiros, caracterizando uma contradição no discurso. Conclui-se que existem diferenças nas representações sociais das enfermeiras de acordo com o nível de atenção no qual atuam e que há repercussões singulares na forma que o cuidado de enfermagem é desenvolvido, a partir dessas representações.