Konputaezintasun frogapen batzuk diagonalizazio teknika erabiliz

Konputagarritasunaren Teoriaren oinarriak lehenengo ordenadoreak azaldu aurretik (40. hamarkadaren bukaera aldera) ezarri ziren, eta ziztu biziko eta etenik gabeko eraldaketek aldatzea lortu ez duten oinarriak dira. Alan Mathison Turing-ek jadanik garai hartan frogatu zuen, ahalik eta potentzia handienekoa imajinatuta ere, inolako ordenadorek ebatzi ezingo zituen zenbait gai edo arazo bazeudela. Balizko algoritmorik ez duten problema horiek, konputaezinak deitzen ditugunak, ez dira salbuespenak eta adibide ugari aurki dezakegu. Programen portaeraren inguruan planteatzen diren problemen artean, asko konputaezinak dira. Familia horretako kide ezagunena, zalantzarik gabe, geratze problema da: sarrerako datu zehatz batzuk hartzerakoan, programa bat begizta infinituan geratuko ote den era orokorrean erabakitzeko algoritmorik ez dago. Problema baten konputaezintasuna frogatzeko, hau ebatziko duen algoritmo zehatz bat existitzen ez dela ziurtatuko duen argumentu logikoa behar dugu, edo beste era batera esanda, existitzen diren algoritmoak problema hori ebazteko gai izango ez direla egiaztatuko duen argumentua. Izaera unibertsaleko argumentu hori ezartzea ez da batere erraza izaten, eta normalean, absurduraino eramandako frogapen batekin erlazionatuta egon ohi da. Helburu hori lortzeko zenbait teknika daude. Diagonalizazioaren teknika horien artean oinarrizkoena da, eta nahiko ezaguna, ez baita Informatika Teorikoaren tresna espezifikoa. Dokumentu honen helburua ez da teknika bera azaldu edo deskribatzea, ezaguntzat hartzen baita, zailtasun maila desberdineko hainbat adibideren bitartez argitzea baizik.

Gorka Goikoetxearen etxebizitzaren ziurtagiri energetikoa

[EU]Lan honen helburu nagusia Gorka Goikoetxearen etxebizitzaren ziurtagiri energetikoa lortzea da eta, hortik abiatuz, hobekuntza batzuen proposamena eta analisi ekonomikoa. Honetarako CE3X programa erabiliko da, datuak sartu hutsez kalifikazio zenbakia eta hizkia emango du eta ondoren hobekuntza aukera desberdinak eskainiko ditu. Hauek balioztatzeko analisi ekonomiko bat egingo da. Txosten honetan ziurtagiria lortzeko beharrezko urratsak azalduko dira, hobekuntzen deskripzioa eta kalifikazio berriak ere bai. Eranskinetan gehigarrizko informazioa erakutsiko da, prozesuaren ulermena errazteko.

Inplante erabilerako polimero erradio-opakoen lorpena eta ezaugarritzea

[EU]Biomedikuntzan gero eta material polimeriko gehiago aplikatzen dira. Metalezko inplanteekin alderatuz, ekoizterako orduan azkarragoak eta merkeagoak baitira beste hainbat ezaugarriren artean. Baina onurak ekartzearekin batera, erradio-opakotasun eza ere badakar. Eta ezaugarri hau gabe, inplantearen jarraipena behin giza gorputzean ezarrita dagoenean ezinezkoa da, X izpiekin ezin baita ikusi. Beraz, arazo horri aurre egiteko, proiektu honetan matrize polimerikoari kargak gehitzea proposatzen da. Lortutako material konposatuak, polimeroak soilik dituen ezaugarriak berdintzea edo hobetzea espero da. Hau da, erradio-opakotasuna lortzeaz gain, propietate mekanikoak behintzat mantentzea espero da. Giza gorputzean aplikatzen diren inplanteetarako erabiliko den material konposatu bat lortzea duenez helburu proiektu honek, matrizea polimero biobataragarria eta biodegradagarria izango da. Biodegradagarria izanik, inplantea kanporatzeko bigarren ebakuntza bat ekiditen da. Zehazki, poli(D-laktida) (PDLA) polimeroa matrize moduan eta karga moduan bismuto oxidoa (Bi2O3) erabiliko dira, medikuntza arloko inplanteetan erabili izan ohi dira eta.

Aerosorgailu palen aplikazioetarako pvc espumaren degradazio termiko eta propietate mekanikoen karakterizazioa

[EU]Energia berriztagarria iturri naturaletatik sortzen den energia mota da. Energia lortzeko erabiltzen diren baliabide naturalak asko dira, eguzki-energia, haizea, ura… Energia berriztagarrien artean, eolikoa da zabalkunde handien lortu duena; batez ere ingurumen-inpaktu urriagatik eta bere kostuak gero eta txikiagoak izateagatik. Honen ondorioz, energia garbi, lehiakor eta ekonomikoki bideragarria da gaur egun. Hala ere, aerosorgailu hauen ekoizpen prozesuak desabantaila nabaria aurkezten du palen ontze prozesuan. Tenperatura igoeraren ondorioz material konkretu baten degradazioa dela eta. Ikerketa lan honetan, aerosorgailu palen karakterizazioa egingo da eta ontze prozesuan, “polikloruro de binilo” (PVC)-ak jasaten duen degradazioaren azterketa.

Diseño de un sistema inalámbrico para la recogida de diferentes parámetros en el ámbito de la práctica deportiva del surf

[ES]En este documento se presenta el Trabajo Fin de Grado llevado a cabo con el objetivo de realizar el diseño de un sistema inalámbrico para la recogida de parámetros en el ámbito de la práctica deportiva del surf. Para alcanzar los objetivos de este trabajo, se ha analizado el estado del arte asociado a dicho sistema, con el fin de distinguir el comportamiento de los sensores y tecnologías inalámbricas. Por último, mediante la metodología llevada a cabo se ha realizado el diseño general del sistema, así como, el diseño de un sistema reducido.

Edoskitze naturala ala artifiziala? Edoskitze hautuaren atzean dauden planteamendu ezberdinetara hurbilpena

Haurrari dagokionez argi eta garbi azaltzen da aukeraketa onena zein den bizitzako lehen unean: amagandiko edoskitzea. Zenbaitetan biberoia pozoi gisa ere aurkeztu da, bere alde txarrak bizi guztirako ondorioak bihurtuta (LLL,web). Baina egoera aurrez aurre duzunean beharren aniztasuna ikusten duzu, batez ere umea elikatzeko aukeren aurrean. Eta bada askotan errepikatzen den zerbait: erruduntasun sentipena. Zergatik dauka edoskitzaroak hainbesteko garrantzia?

Jendaurreko Konta-saioa: Gertakari sozio-diskurtsiboa eta testu-genero berezitua

250 p.

LiDom builder: Automatising the construction of multilingual domain modules

136 p.

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.

A framework for abstraction and virtualization of sensors in mobile context-aware computing

110 p.

Tiradera automatizatu baten irekitze eta ixtearen erregistroa alderantzizko ingenieritza erabiliz

Tiradera automatizatu baten irekitze eta ixtearen erregistroa alderantzizko ingenieritza erabiliz

Igorreko hizkeraren azterketa dialektologikoa

464 p.

Giza papilomabirusa eta umetoki lepoko minbizia: aldakortasun genetikoa, biomarkatzaileak eta epidemiologia

148 p.

Effects of water abstraction on stream ecosystem functioning

133 p.

Bizkaiko Lehen Hezkuntzako ikasleen irakurtzeko ohiturak eta irakurtzearen balioa: eskola-liburutegiaren eraginari buruzko azterketa

553 p.