Search results for "tiet"

Mitä mieltä, professorit?

2006

25 vuoden ikään ehtinyt Aikuiskasvatus kysyi kaikilta aikuiskasvatuksen professoreiltamme heidän näkemyksiään neljässä asiassa. Kaikkiin ei tarvinnut vastata. Tällaista kysyttiin ja näin vastasivat Yrjö Engeström ja Reijo Miettinen Helsingin yliopistosta, Anneli Eteläpelto Jyväskylän yliopistosta, Jukka Tuomisto ja Juha Suoranta Tampereen yliopistosta, Risto Rinne Turun yliopistosta, Kari E. Nurmi Lapin yliopistosta sekä vt:nä virkaa hoitava Leena Ahteenmäki-Pelkonen Joensuun yliopistosta. Vastausjärjestys on arvottu.

Kokkila

1700

Terveysaiheinen sisältö Aku Ankka sarjakuvalehdessä

2008

Jyväskylän ja Korpilahden välinen tie

1894

Amigaskene, alakulttuuri tietokoneen puitteissa : kuvauksia alakulttuurin ja teknologioiden yhteenkietoutumisesta

2008

Tutkielman aiheena on tietokoneharrastajien alakulttuuri, jota kutsutaan Amigaskeneksi. Tutkielmassa tarkastellaan ensinnäkin niitä kulttuurin ja tietotekniikan puitteita, joiden viitekehyksessä tietokone harrastajat toimivat. Alakulttuurina Amigaskene sijoittuu yhtäältä sitä ympäröivien kulttuurien, kuten vallitsevan yhteiskunnan ja Amigaskeneä edeltävän skene-alakulttuurin, kehiin ja toisaalta Amigan mahdollistamaan tietotekniseen viitekehykseen. Lisäksi tutkielmassa tarkastellaan teknologiavälitteisen alakulttuurin puitteisiin rakentuneita kulttuurisia aineksia, joiden johdosta alakulttuuri erottuu kulttuuriksi. Tutkielmassa käytetään alakulttuurin määritelmää ja toimijaverkostoteoriaa a…

Mathematical Fuzzy Logic in the Emerging Fields of Engineering, Finance, and Computer Sciences

2022

With more than 50 years of literature, fuzzy logic has gradually progressed from an emerging field to a developed research domain, incorporating the sub-domain of mathematical fuzzy logic (MFL) [...]

Stubborn sets, frozen actions, and fair testing

2021

Many partial order methods use some special condition for ensuring that the analysis is not terminated prematurely. In the case of stubborn set methods for safety properties, implementation of the condition is usually based on recognizing the terminal strong components of the reduced state space and, if necessary, expanding the stubborn sets used in their roots. In an earlier study it was pointed out that if the system may execute a cycle consisting of only invisible actions and that cycle is concurrent with the rest of the system in a non-obvious way, then the method may be fooled to construct all states of the full parallel composition. This problem is solved in this study by a method tha…

Asthma, allergies and respiratory symptoms in different activity groups of swimmers exercising in swimming halls

2021

Abstract Background Respiratory symptoms are common in competitive swimmers. However, among these and in swimmers at other activity levels the swimming distance, the total spent time in swimming halls and their medical background varies. Our objectives were, first, to assess their medical histories and the associations with respiratory symptoms among swimmers in different activity groups and then second, to study the pulmonary function findings and related medications in competitive swimmers who exercise in swimming hall environments the most. Methods First, 1118 participants consisting of 133 competitive-, 734 fitness- and 251 occasional swimmers answered questionnaires concerning their me…

Oliot sinänsä : olioiden sinänsä tulkintaa Immanuel Kantin tietoteoriassa

2012

AlphaGo ja Monte Carlo -puuhaku

2017

Tässä tutkielmassa käsittelen Monte Carlo -puuhakualgoritmia sekä sen roolia hyvin menestyneessä AlphaGo-tekoälyssä. Tavoitteena oli muodostaa kokonaiskuva AlphaGo:n toiminnasta, painottuen etenkin Monte Carlo -puuhaun näkökulmaan. Tutkimuksen perusteella selvisi miten ohjelma hyödyntää omassa hakualgoritmissään kyseistä puuhakua, jota se parantaa hyödyntäen koneoppimista ja useita eri tarkoituksiin opetettuja neuroverkkoja. AlphaGo saavutti näin tehokkuuden, johon muut go-ohjelmat eivät vielä ole kyenneet. In this thesis I study the Monte Carlo tree search algorithm, and it’s role in successful go-program, AlphaGo. The goal was to form a general view of AlphaGo’s inner workings, especially…