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.

Administrazio zuzenbidea eta ekonomian esku hartzeko teknikak

Formazio ekonomikoa edo enpresa kudeaketan formazioa dutenei zuzendutako materiala da; edozelan ere, Administrazioaren jarduteko moduak ezagutu nahi duen orori baliagarri gerta dakioke. Liburu honetan atal hauek agertzen dira : Administrazio zuzenbidea eta Administrazio Zuzenbide iturrien teoria. Administrazio antolakuntzaren oinarriak. Administrazio-egintzari buruzko teoria, administrazio-prozedura, administrazio-egintzen berrikuspena eta errekurtsoak. Administrazioak ekonomian esku hartzeko baliatzen dituen teknikak

Hizkuntzaren prozesamendurako teknikak irakaskuntza arloan: galdera sortzaile automatikoa

Proiektu honen helburua hizkuntzaren prozesamendurako tresnek irakaskuntza arloan izan dezaketen erabilgarritasuna aztertzea da. Konkretuki, irakaskuntza materialen sorkuntzan laguntza handia eskaini dezake gaur egun hizkuntzaren prozesamenduak. Ariketak automatikoki prestatzeko sistemak, testu idatzien kalitatea hobetzen laguntzeko sistemak, laburpengintza sistemak... denetarik sortu da azken aldian. Baina, beste hizkuntzetarako buruturiko lana handia den arren euskararako buruturiko lana oso murritza da. Honek bultzatuta, proiektu honetan euskararako ariketak automatikoki sortzeko sistemetan azterketa bat burutuko da, galdera ariketak automatikoki sortzeko zehazki. Galdera hauen helburua ikasleek testuen ulermena lantzea izango da, horretarako testuko alderdi esanguratsuenei buruz galdetzen saiatuko direlarik. Ataza hau burutzeko bi ikerketa lerrotan sakonduko da: Alde batetik, testuko zati esanguratsuenak bilatzen lagunduko duen modulu bat inplementatuko da. Modulu honen helburua testuan agertzen diren termino garrantzitsuenak markatzea eta pisatzea izango da. Termino esanguratsuak bilatuz testuan garrantzitsu diren kontzeptuak zein izan daitezkeen jakin dezakegu. Hau abiapuntu egokia izan daiteke testu baten ulermena lantzen hasteko. Termino hauek markatzeko metodoa probabilitatean oinarriturikoa izango da, hizkuntzaren prozesamenduko alderdi estatistikoa jorratuz. Beste alde batetik, testuan bilaturiko termino garrantzitsuenen inguruan galderak automatikoki eraikiko dituen modulu bat inplementatuko da. Honen helburua esaldi bat eman eta ahalik eta galdera zentzuzko eta zuzenenak sortzea izango da. Honetarako erregeletan oinarrituriko modulu bat inplementatuko da, hizkuntzaren prozesamenduko alderdi linguistikoa jorratuz. Bi modulu hauekin probak burutu ahal izateko euskararako existitzen diren hainbat corpusen azterketa burutuko da. Proiekturako interesgarriak izan daitezkeen corpusak eskuratu eta beharrezko bada corpus berriak biltzeko helburua izango du azterketa honek. Amaitzeko, modulu bakoitzean modu independentean burutuko diren ebaluazioez gain ebaluazio orokor bat ere burutuko da. Bertan bi moduluak elkarrekin lotu eta eszenatoki erreal batean sorturiko aplikazioak izan dezakeen erabilgarritasuna aztertuko da.

Irakurzaletasuna Sustatzeko Teknikak: Esperientziak Haur eta Lehen Hezkuntzan

Eskola garaian dauden haurrengan irakurketak duen garrantzia ikusita, eskola eremuan irakurzaletasuna sustatzeko teknika ezberdinak eraman izan dira aurrera urteen joanean. Gaur egun, ordea, eskolan gero eta presentzia handiagoa duten IKTak haurren irakurketa grina oztopatzen duten tresnatzat ditu askok, irakurzaletasunaren sustapenean egin ditzaketen ekarpenei inolako aukerarik eman gabe. Lan honen bidez, beraz, gaur egungo eskoletan irakurzaletasuna sustatzeari Haur zein Lehen Hezkuntzan zer nolako garrantzia ematen zaion aztertzeaz gain, irakurketarekiko jarrera baikorra eraikitzerako orduan gauzatzen diren teknika eta esperientzietan IKTek zer nolako presentzia duten ikusi nahi izan da, profesionalen iritzi eta jarrerak kontuan hartuz.

Gizarte ikerketarako teknikak. Teoria eta adibideak

Gizarteen eta gizakien egoera eta bilakaera ezagutzeak informazio era sistematikoan biltzea eta zehaztasunez aztertzea eskatzen du. Horretarako, nahitaez ezagutu behar dira, alde batetik, ikerketa prozesuaren pausoak, eta, bestetik, neurketarako erabili daitezkeen tekniken berezitasunak eta erabiltzeko baldintzak. Liburu honetan, Gizarte Zientzietan gehien erabiltzen diren ikerketa teknikak aurkezten dira. Hobe esanda, teknika hauek behar bezala erabiltzeko aholkuak eta ikerketa prozesua antolatzeko irizpideak ematen dira. Teoria eta adibideak uztatzen dituen liburua da. Hau da, tekniken berezitasunak aurkezteaz gain, aurretik beste ikerketa batzuetan teknikak nola erabili diren, kasu bakoitzean zer-nolako erabakiak hartu diren eta nolako ikerketa diseinuak egin diren azaltzen dira. Zentzu honetan, liburu teoriko-praktikoa da; aproposa Gizarte Zientzietako ikasleentzako zein, oro har, Gizarte Zientzien baitan ikerketak egiten dituztenentzako.

Lanerako hastapenak eta enplegua bilatzeko teknikak : DBH 2. zikloa. 'Orientaciones laborales y técnicas de búsqueda de empleo'.

Incluye un anexo: Maneja tus contactos

Avances en algoritmos de estimación de distribuciones. Alternativas en el aprendizaje y representación de problemas

131 p.: graf.

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.

Programazio estrategiak irratian eta telebistan

Duración (en horas): De 41 a 50 horas . Destinatario: Estudiante y Docente

BertsoBot: lehen urratsak

[EU]Hizkuntzaren prozesamenduko teknikak erabilita, poesia-sorkuntza automatikoan lehen urratsak eman dira. Hau erdiesteko, corpusen prozesamenduan oinarritutako bilaketak erabili dira, bai bilaketa arruntak eta baita bilaketa semantiko aurreratuak ere, horretarako IXA taldean garatutako tresna ezberdinak erabiliaz. Hizkuntza poetikoko testuek, gramatikaltasun eta metrika hertsitik haratago, semantika eta pragmatika barneratuta dituzte. Lan honetan semantikaren auziari heldu zaio nagusiki.

Avances analíticos en la datación forense de tintas y documentos

380 p. : il., gráf.

Nuevo sistema de propulsión naval

143 p.

Simulación y automatización del sistema de aceite de una turbina de gas en un almacenamiento de gas natural.

73 p. : il., col.

Fabricación de una boya marina en biocomposite de fibra y resina naturales

En el presente TFG se ha construido una boya marina con fibras de lino y resina de origen natural. Para ello en el TFG se ha seguido el esquema para un estudio experimental dividido principalmente en tres puntos: Memoria ( Introducción, Estado del arte, Objetivos, Parte experimental, Conclusiones, Futuros estudios), Presupuesto (Fabricación del molde y de la boya) y Anexos (Fichas técnicas y de seguridad de los materiales). La idea de fabricar una boya marina en biocomposites surge de la diversidad de aplicaciones que estas tienen y como visión medioambiental, siendo esta una alternativa al uso de polimeros dependientes del petróleo. Para su construcción primero se ha fabricado un molde con fibra de vidrio, mediante el método de moldeo por contacto a mano, a partir de una boya de polietileno. Y sobre este molde, mediante el método de infusión, se ha fabricado la mitad de la boya marina con biocomposites.

Sindarren informe sortzailea

Proiektuaren kudeaketaz hitz egiten dugunean, definizio asko topa ditzakegu baina horietako bat hartzekotan, PMBOK-en dagoen definizioa aipa dezakegu: ezagutza, gaitasunak, tresnak eta teknikak aplikatuz jardueren proiekzioa da, proiektuaren baldintzak betetzera eramaten gaituena. Proiektu honetan, PMBOK-ak ezartzen duen gestioa eta planifikazioa hartuko da eredutzat. Proiektuari 5 ordu eskainiko zaizkio egunero, gutxienez, beti ere kontuan izanik egunero 5 ordu horiek Indar-en izango direla, eta hortik kanporako orduak, klaseetan ematen den lan kargaren arabera izango da, eta gehien bat proiektuaren idazketari eskainiko zaizkio.