Técnicas básicas de computabilidad

La Teoría de la Computabilidad es una disciplina encuadrada en la Informática Teórica que tiene como objetivo establecer los límites lógicos que presentan los sistemas informáticos a la hora de resolver problemas mediante el diseño de algoritmos. Frente a las disciplinas y técnicas que día a día amplían el campo de aplicabilidad práctica de los computadores, esta teoría establece una serie de barreras insalvables por ninguna tecnología digital de procesamiento de la información. Los métodos propios de la Teoría de la Computabilidad pueden ser extraordinariamente complejos, sin embargo, existe un núcleo de resultados fundamentales que son abordables mediante técnicas más asequibles, y que tienen la virtud de reflejar razonablemente el concepto central de indecidibilidad computacional. Este informe incluye una descripción de los conceptos y técnicas que configuran ese núcleo básico de la Teoría. Su propósito es dar cuenta de la primera batería de resultados relacionados con la incomputabilidad de algunos problemas conocidos y relevantes en Informática. Los resultados se presentan utilizando como estándar de programación los programas-while, incluyéndose una explicación detallada y sistemática de la técnica de Diagonalización, además de resultados tan importantes como la tesis de Church-Turing, la función universal o el problema de parada.

El método de reducción en Teoría de la Computabilidad

La Teoría de la Computabilidad es una disciplina encuadrada en la Informática Teórica que tiene como objetivo establecer los límites lógicos que presentan los sistemas informáticos a la hora de resolver problemas mediante el diseño de algoritmos. Estos resultados proporcionan importantes herramientas que se utilizan para demostrar tanto la computabilidad como la incomputabilidad de muchas funciones relevantes. Los primeros problemas incomputables que se encontraron lo fueron allá por la década de los años 30. El problema de parada es el primer y más conocido ejemplo de problema no resoluble mediante técnicas algorítmicas: ningún ordenador, por muy potente que sea, puede anticipar el comportamiento de los programas en ejecución, y decidir de antemano si terminarán o no. Este problema nos proporciona un soporte intuitivo para anticipar la incomputabilidad de otros problemas relacionados y un procedimiento para resolverlos: el método de diagonalización. Sin embargo para determinados problemas también incomputables hay que recurrir a otros métodos. Este texto incluye una descripción de otra técnica básica de Teoría de la Computabilidad: la Reducción. La base del método estriba en demostrar que ciertos pares de problemas están fuertemente relacionados de modo que si el segundo tiene solución algorítmica entonces el primero debe tenerla necesariamente también. Esta relación se establece por medio de funciones transformadoras computables, que permiten convertir de manera automática las instancias positivas del primer problema en instancias positivas del segundo. Esta técnica se utiliza muy a menudo porque resulta comparativamente más sencilla que la diagonalización, ya que en general requiere menos esfuerzo para demostrar la incomputabilidad de un mismo problema.

Lanbide heziketako irakasleen prestakuntza konpetentziak garatzeko metodologietan: Ikaskuntza Agertoki Berriak esperientziaren azterketa

[EU]XX. mendearen azken bi hamarkadetatik hona jendartean gertatu diren aldaketek, Lanbide Heziketaren (lan merkatura bideratzeko langileen prestakuntza oinarri duen heziketaren epe gisara ulertuta) planteamendua birpentsatu beharra ekarri dute. Dinamikoa eta aldakorra den jendarte honetan, Lanbide Heziketari bere hezkuntza jardueraren gaineko gogoeta egin beharra suertatu zaio, eta baita zer eta nola irakatsi lanbidea garatzea helburu duten ikasleei bezalako galderei erantzuna eman ere. Ingurumari honetan konpetentzia kontzeptua eta haren inguruko esperientziak eta metodoak garatu dira hala nazioartean nola Euskal Herrian. Master Bukaerako lan honetan Lanbide Heziketan aurrera eraman den irakasleen etengabeko prestakuntza programa baten azterketa egin dugu. Horretarako, berrikuntza eta kalitatea sustatzeko zeregina duen Tknika zentroak zuzendu eta gidatutako Ikaskuntza Agertoki Berriak prestakuntza programan parte hartu duen Tolosaldeko Lanbide Institutua aukeratu dugu, kasu azterketaren ikuspegia erabiliz. Azken xedea, laburki, irakasleei konpetentzietan oinarritutako ikaskuntza aukera didaktikoak eskaini eta haiei buruzko gogoeta egitea da, gero praktikara eraman ditzaten. Gure ikerlanaren helburua, berriz, programa horren asmoak praktikan nola ebazten eta gauzatzen diren ikustea da, prozesuan engaiatuta dauden pertsonen bizipenetatik abiatuta. Hurbilketa kualitatibo eta interpretatibo honetatik lau irakasle elkarrizketatu ditugu eta haien igurikapen, kezka eta bestelakoak jasotzen saiatu gara. Ondorio nagusienak, honakoak: (i) konpetentzien bidezko irakaskuntza-ikaskuntzaren potentziala oso nabarmena dela ikusten dutela elkarrizketatuek, (ii) gogo eta motibazio handia dutela, (iii), ikastetxean, euren egunerokoan, zailtasun eta oztopo andana topatzen dutela, (iv) zailtasunak kasu batzuetan metodologia berari dagozkion arren beste askotan ikasleak eurek ez dutela aldaketarako borondate handirik atzematen da.

Deímata kaì phoboi: la pesadilla en la antigua Grecia

337 p.

Towards intelligent aquaculture. Development of an early Biological Warning System to monitor exposure to contaminants and fish welfare: from artificial vision to systems modelling

161 p.

Adierazpen askatasuna eta terrorismoaren apologia. 578.artikuluaren analisi juridikoa

Gaurkotasun handiko gaiak dira terrorismoaren inguruko goraipamena eta justifikazioa, orain kasu ugari baitira notizia komunikabideetan, hots, azkenaldian mugimendu gehien sortu duena titiriteroen kasua izan da zeinetan bi pertsona atxilotu ziren lan honetan jorratuko den artikulua aplikatuta (578. artikulua). Bertan, antzerki baten testuinguruan hainbat adierazpen egin ziren, batzuen ustez terrorismoaren goraipamen gisa kalifikatu zitezkeenak. Honen aurrean, kritika ugari jaso zituen Madrilgo Udalak burutu zuen atxiloketengatik, izan ere, gehiengo batek pentsatu zuen antzerkian zehar eman ziren komentarioak ez zutela portaera tipikoa betetzen. Horren harira, adierazpen askatasunaren esparrua nora arte iristen den zehazten zuten iritzi asko entzun dira. Batzuen ustez, mugagabea da eta, aldiz, beste batzuen ustez mugak zehaztu behar dira oinarrizko eskubidea bada ere. Gehienen ikuspuntua mugak behar dituenarena da, baina bertan ere maila ugari antzematen dira, adierazpenen edukiaren baitan ibilbidea ez baita berdina autoreen arabera.

Batasuneko zirkulatzeko askatasuna ekonomikoki aktiboak ez diren hiritarrengan: non dago muga?

Askatasunez zirkulatu eta erresiditzeko eskubidea europaren integrazio prozesuko lorpen handienetako bat izan da, Europar Batasunean (aurrerantzean EB) egunero milaka pertsonek gauzatzen duten eskubidea izanik. Zertan datza eskubide honek? Pertsona batek nazionala ez den beste estatu batera sartu edo irtetzeko edo bertan bere egoitza finkatzeko duen eskubidea da. Hala ere, eskubide hau oso zabala izan daiteke, hau egikari dezaketen subjektuak anitzak izan daitezkeelako edota eskubidea egikaritu daitekeen espazio geografikoa oso zabala delako, beste zenbaiten artean. Horregatik, beharrezkoa deritzogu atal bat eskubidearen marko guztia aipatu eta horren barnean aztertuko duguna zehaztera eskaintzea.

Gorputz hezkuntzan egindako trebetasun sozialen inguruko behaketa

50 p. -- E-mail de la autora: amaiasilvo24@gmail.com

Instalazio elektriko adimentsu baten proiektua, autokontsumorako sorkuntza elektrikoarekin, industriako nabe batentzat

Proiektuaren helburua Irulezo enpresaren instalazio elektrikoa eraberritzea da. Egungo behe tentsioko koadro nagusia “smart panel” batetan bilakatuko da, bere kokapena beheko pisuko biltegitik jangelara pasaraziz. Horrela, jangelan behe tentsioko koadro berri bat sortuko da, gaur egun dagoen bigarren mailako koadroa integratuz eta ordezkatuz.

Gorputz adierazpena genero-rolekin apurtzeko. Saiakera bat

64 p. : il. - E-mail de la autora: maddijuaristi@gmail.com

Euskaldunak komunikabideen aurrean: iritzien, ohituren eta jarreren azterketa kualitatibo eta kuantitatiboa

706 p.

Nanoteknologien arauketa juridiko komunitarioa/The European Union regulation of nanotechnologies.

953 p.

Gobernu ona eta gardentasuna. Eusko Jaurlaritzaren kasua

[EUS] "Gobernu ona eta gardentasuna. Eusko Jaurlaritzaren kasua" izeneko Gradu Amaierako Lan honetan, Eusko Jaurlaritzak gardentasunera bidean aplikatu dituen printzipio eta helburuak zeintzuk diren aztertu nahi da. Honen aurretik, ordea, mundu maila, Europar Batasuna eta Espainiako egoerei erreparatuko zaio.

Kirol marken irudi eta posizionamendu analisia EAEko eta Alemaniako merkatuan

(EUSKERA) Azken urteetan, marken irudi eta posizionamendua neurtzeko asmoz, bai eremu profesionaletik bai hezkuntzaren eremutik ekarpenak egiten ari dira. Lan honetan, Euskal Autonomia Erkidegoko (Espainia) eta Bavariako (Alemania) eremu geografikoetara mugatuz kirol marken inguruko merkataritza ikerketa bat garatu izan da. Kontsumitzaileen portaeran eta pentsaeran ematen diren aldaketa azkarrak merkatuaren analisi jarraitu baten beharra sortzen dute. Planteamendu honekin, lan honetan, Euskal Autonomia Erkidegoko eta Bavariako kirol marka nagusien irudia eta posizionamendua aztertu da, hauek definitzen dituzten funtsezko ezaugarriak eta jarrerak deskribatuz eta bezeroen pertzepzioei dagokienez antzekoak diren marka taldeak identifikatuz.

Determinantes del precio del derecho de emisión europeo

[ES] Diversos estudios han investigado sobre los posibles determinantes del precio del derecho de emisión europeo. En este trabajo de fin de grado se pretende analizar qué factores influyen en el precio de este producto financiero y de qué manera lo hacen, además de comprobar posibles cambios en el funcionamiento del mercado. La metodología utilizada para llevar a cabo este análisis se basa principalmente en el modelo de regresión lineal general. A diferencia de otros estudios existentes, la muestra utilizada va desde 2008 hasta 2015, por lo que incluye la segunda fase (2008-2012) de este mercado de derechos de emisión y la tercera (2013-2015), lo que permite analizar las posibles diferencias de funcionamiento del mercado entre ambas fases. Los resultados obtenidos sostienen la existencia de este cambio estructural de manera que en la segunda fase los factores más influyentes son el gas natural y el petróleo, mientras que en la tercera fase el comportamiento del mercado cambia drásticamente de forma que el carbón parece ser el factor más influyente.