Haku

Formaalin logiikan tutkimuskohteina ovat erilaiset muodolliset systeemit eli logiikat, joiden avulla voidaan mm. mekanisoida monenlaisia päättelyprosesseja. Eräs modernin formaalin logiikan keskeisistä tutkimusaiheista on ...

Sähköisten kokoelmien kasvun, hakujen arkipäiväistymisen ja mobiililaitteiden yleistymisen myötä yksi tiedonhaun menetelmien kehittämisen tavoitteista on saavuttaa alati tarkempia hakutuloksia; pitkistäkin dokumenteista ...

MS-tauti on melko vähän tunnettu ja usein pelkoakin herättävä sairaus. Se on kuitenkin yksi yleisimmin esiintyvistä keskushermoston sairauksista, jota Suomessa sairastaa noin seitsemän tuhatta ja maailmanlaajuisesti yli ...

Johdanto Ulkomailta tehtävissä suurissa sotilasmateriaalin hankinnoissa pyritään kotimaasta ulos menevää valuuttamäärää pienentämään tekemällä osa valmistuksesta vastakauppoina kotimaassa. Tavallisesti suorien vastakauppojen ...

Nykyään yritykset ja niiden liiketoiminta ovat yhä enemmän riippuvaisia tietotekniikan (IT) ratkaisuista, ja liiketoiminnan IT-riskit lisääntyvät edelleen. Rahoitusala on erityisen herkkä, koska se hallinnoi asiakkaan ...

Tutkimuksen aiheena on maahanmuuttajien kotoutuminen suomalaiseen työelämään tietokäytäntöjen näkökulmasta tarkasteltuna. Siinä perehdytään Suomessa asuvien kurdinaisten ja venäläisten naisten tapoihin hankkia ja jakaa ...