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.

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.

Tiradera automatizatu baten irekitze eta ixtearen erregistroa alderantzizko ingenieritza erabiliz

Tiradera automatizatu baten irekitze eta ixtearen erregistroa alderantzizko ingenieritza erabiliz

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.

Creación de neologismos en euskera: Análisis descriptivo de la terminología de la odontología en lengua vasca y propuestas para la formación de términos en los ámbitos de especialidad.

450 p.

Asesinos seriales: etiología de sus crímenes y perfilación

[ES]El objetivo del presente trabajo es aproximarse a la realidad del fenómeno del asesinato serial desde las diferentes perspectivas, teorías y autores. Para ello, en un principio, se hace alusión a los debates existentes sobre la definición del mismo y las tipologías de asesinos seriales. Después de esto, se pretenden estudiar las controversias surgidas sobre la etiología de sus crímenes y los factores que afectan a la comisión de estos. Además, en base a la tipología de este tipo de asesinos expuesta por parte del FBI, se hará referencia a su psicopatología y a su perfil criminal.

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

706 p.

Pazienteen bihotz eta arnasketa maiztasunen monitorizazioa burmuineko infragorri hurbileko espektroskopia seinaleak erabiliz

Lan honen helburua, burmuineko oxigeno maila neurtzeko NIRS (Near Infrarred Spectroscopy) teknika ez-inbaditzaileaz baliatzen den sistema baten eraginkortasuna neurtzea da, pazientearen parametro fisiologikoak diren bihotz eta arnasketa maiztasunak neurtzerako orduan. Orain arte, pazientearen oxigenazioaren monitorizazioa gauzatzea beharrezkoa den egoeratan, atzamarreko oxigenazio maila neurtzea ahalbidetzen duen PPG (Photoplethysmogram) teknika erabili da. Emergentzia egoeratan, ordea, sistema kardiobaskularrak bizi irauteko nahitaezkoak diren organoei ematen die lehentasuna, garuna eta bihotzari, alegia. Bi organo hauek oxigeno jario jarraituaz hornituak direla egiaztatzeko, ezinbestekoa izango da burmuineko oxigenazio maila neurtzea eta berriki frogatu da NIRS teknikak esparru honetan etorkizun handiko emaitzak eskaini ditzakeela. Hau dela eta, azken urteotan, NIRS teknikak lekua hartu dio orain arte agertoki mediku gehienetan erabilitako PPG teknikari, gaur egun teknika hau aplikazio ugaritan erabiltzen hasia delarik, adibidez kirurgia kardiobaskularraren monitorizazioa edo anestesia orokorraren bitarteko monitorizazioa. NIRS teknikak, garuneko oxigenazio mailaz aparte, pazientearen beste hainbat parametro fisiologikoren neurketa ahalbidetuko balu (arnasketa eta bihotz maiztasuna), agertoki mediku asko erraztuko lituzke, gailu bakar batekin pazientearen bizi-konstante anitzen monitorizazio eramango baitzen aurrera. Tresna hau egingarria dela egiaztatzeko, lehenik eta behin, NIRS seinalea bizi-konstante hauen berri emateko gai dela balioetsi behar da eta hauxe da, hain zuzen, proiektu honen xede nagusia. Azken helburu hau lortzeko, hainbat azpi-helburu proposatzen dira hemen aurkeztuko den proiektuan: lehenik eta behin, NIRS seinaleak eta bizi konstante hauek era fidagarrian lortzea ahalbidetzen duten seinaleak biltegiratzen dituen datu base bat sortuko da. Datu base hau osatzeko, aurreko seinale guztiak aldi berean eskuratuko dituen neurketa sistema sinkrono bat sortzea ezinbestekoa izango da eta azkenik, NIRS seinaleen eraginkortasuna ebaluatzeko, seinaleen prozesaketan oinarritutako hainbat algoritmo garatuko dira.