Now showing items 11-15 of 5260

    • Induktiiviset tyypit 

      Vitikainen, Maxim (2024)
      Induktiiviset tyypit ovat tapa mallintaa erilaisia tietotyyppejä kuten listoja, luonnollisia lukuja ja binäärihakupuita tyyppiteoriassa. Induktiivisia tyyppejä käytetään laajasti todistusassistenteissa erilaisten teoreemojen ...
    • Sosiaalityöntekijän harkintavallan rooli aikuissosiaalityössä 

      Ahteneva, Aino (2024)
      Tämä kandidaatintutkielma tarkastelee sosiaalityöntekijän harkintavallan roolia kuvailevan kirjallisuuskatsauksen avulla. Tutkimustehtävänä on tutkia, millaiseksi sosiaalityöntekijän harkintavallan rooli kuvautuu ...
    • Generatiiviset tekoälytyökalut ja niiden vaikutukset lähdekoodin tuottamisessa 

      Tuohimetsä, Riku (2024)
      Tekoälyteknologian nopea kehitys on tehnyt generatiivisesta tekoälystä kuuman aiheen lähiaikoina. Tietojärjestelmätieteen ja ohjelmistokehityksen aloilla on pohdittu keinoja hyödyntää generatiivista tekoälyä lähdekoodin ...
    • Datakeskusten päästöjen vähentäminen vihreän IT:n keinoin 

      Kaalikoski, Aleksi (2024)
      Tässä tutkielmassa tutustutaan kasvavaan globaaliin ongelmaan. Yhteiskuntamme tiedonmäärä kasvaa räjähdysmäisesti, eikä ilmastomme pysy tämän muutoksen vauhdissa, ellemme muuta toimintamallejamme fossiilista ratkaisuista ...
    • Sosiaalityön lähijohtajan osaamistarpeet : henkilöstön suoriutumisen johtaminen 

      Rajasaari, Kristiina (2024)
      Tiivistelmä Tutkielmassa tarkastellaan sosiaalityön lähijohtajan osaamistarpeita ja osaamisen tarpeita henkilöstön suoriutumisen johtamisessa muuttuvassa toimintaympäristössä. Lähijohtaminen tapahtuu yhä enemmän hajautetuissa ...