Artikkelin "Out of contex: Computer systems that adapt to, and learn from, context" esittely
|
|
- Akseli Ranta
- 6 vuotta sitten
- Katselukertoja:
Transkriptio
1 Artikkelin "Out of contex: Computer systems that adapt to, and learn from, context" esittely Santtu Toivonen, VTT Tietotekniikka Käyttöliittymien ja käytettävyyden seminaari (T )
2 Sisältö (artikkelin ja tämän esityksen) 1) Johdanto, teoreettinen tausta ja väitteet kirjoittajien näkemys siitä mitä konteksti on ja miten tärkeää on sen huomioonottaminen 2) Projektien esittely pääasiassa omia (MIT) 3) Kontekstuaalisuus muilla (tieteen)aloilla Viite: Henry Lieberman, Ted Selker (2000): Out of context: Computer systems that adapt to, and learn from, context. IBM Systems Journal 39(3&4):
3 Ongelma: Tietokoneet ja softa hankalakäyttöisiä Laitteiden ja ohjelmistojen käyttämisen opetteluun kuluu liikaa aikaa verrattuna siihen, mitä varsinaiseen ratkaistavaan tehtävään kuluu Ratkaisu ongelmaan: konteksti otettava huomioon Käyttäjää opastetaan kontekstisidonnaisesti Resepti: AI (koneet älykkäiksi) + HCI (käyttäjäkeskeinen suunnittelu) + Konteksti = Ratkaisu ("doing the right thing")
4 Mitä konteksti kattaa Tyypillisiä: aika, paikka käyttäjän ominaisuudet, preferenssit, tila ja käyttöhistoria tietokoneen ja verkon ominaisuudet Beyond the "black box" -määritelmä: kontekstitietoa on kaikki muu paitsi eksplisiittinen syöte ja tuloste INPUT OUTPUT APPLICATION
5 Mitä konteksti kattaa Tyypillisiä: aika, paikka käyttäjän ominaisuudet, preferenssit, tila ja käyttöhistoria tietokoneen ja verkon ominaisuudet Beyond the "black box" -määritelmä: kontekstitietoa on kaikki muu paitsi eksplisiittinen syöte ja tuloste CONTEXT EXPLICIT INPUT CONTEXT-AWARE APPLICATION EXPLICIT OUTPUT
6 Konteksti-abstraktio -vaihtokauppa Perinteisesti tieteissä, eritoten matemaattisissa, on pyritty pääsemään eroon reaalimaailman sekavuudesta ja satunnaisuudesta ja kohti "ideamaailmaa" esim. matemaattiset funktiot ovat tehokkaita juuri siksi, että ne ovat tosia kaikissa konteksteissa ja asiaintiloissa kontekstisensitiivisyys vs. abstraktisuus Kirjoittajat: heiluri on notkahtanut liian kauas abstraktion suuntaan ja nyt on aika ryhtyä toimiin kontekstisensitiivisyyden puolesta ja nimissä kolme syytä näihin toimenpiteisiin: 1) eksplisiittinen syöte on raskasta, aikaavievää ja turhauttavaa 2) samoin eksplisiittinen tuloste; se voi esim. häiritä keskittymistä 3) syöte-tuloste -silmukka ei ole sekventiaalinen vaan jatkuva
7 Kaksi rinnakkaista trendiä HW erilaisten sensorien valmistaminen ja käyttö entistä halvempaa tehokkaampaa laskentaa ja kommunikointia voidaan mahduttaa yhä pienempiin laitteisiin kontekstin ymmärtämistä tarvitaan, jotta suuresta määrästä sensoridataa voidaan erottaa ja hyödyntää mielekäs osa SW ohjelmistoagentteja tuotu käyttöliittymiin (vs. direct manipulation) osa kontekstin ymmärtämisestä siirtyy käyttäjältä tietokoneohjelmille näiden kahden trendin yhdistyminen näköpiirissä (artikkeli vuodelta 2000 miten on?)
8 Projekteja Projektien taustalla Liebermannin "Programming by example"-näkemys "Tee näin!" Mondrian käyttäjällä kaksi tapaa olla interaktiossa systeemin kanssa: graafinen (annotaatioiden lisääminen kuvaan) puhe (ohjelmistoagentin ohjaamiseen) näitä molempia yhdessä tarvitaan yleistyksien aikaansaamiseksi Letizia observational learning Letizia seuraa käyttäjän surffailua käy tutkimassa linkkejä sivulta ennen käyttäjää pähkäilee mitkä saattaisivat sisällöltään kiinnostaa käyttäjää ehdottaa käyttäjälle joitain sivuja
9 Projekteja (2) Grammex, "Grammars by Example" etsii teksteistä yleisiä hahmoja sellaisen tunnistaessaan ehdottaa käyttäjälle menun, joka pitää sisällään mahdollisia vaihtoehtoja (esim. -osoite vs. plain text) käyttäjä valitseen niistä jonkun Emacs Menus ohjelmointiympäristö, joka ehdottaa ohjelmoijalle vain mahdollisia tai mielekkäitä vaihtoehtoja (esim. tietynlaisia muuttujia)
10 Välikommentti: kontekstimallit 1) Järjestelmämalli kuvaus järjestelmästä ja sen tilasta 2) Käyttäjämalli käyttäjän tila, historia ja preferenssit 3) Tehtävämalli käyttäjän päämäärät ja suoritettaviksi aiotut toiminnot (esim. Wizardien lineaarisuus ei kovinkaan sofistikoitunut tehtävämalli)
11 Projekteja (3) DWIM, "Do What I Mean" järjestelmämalli joka muuttuu käyttäjän kirjoittaessa ohjelman odottamattomasta syötteestä ei heti herjaa vaan yrittää etsiä (syntaktisesti?) vastaavanlaisia koodinpätkiä COACH (COgnitive Adaptive Computer Help) auttaa käyttäjiä parantamaan kykyään oppia ohjelmoimaan adaptiiviset tehtävä-, käyttäjä- ja järjestelmämallit Context-dependent help Talking Coutch sohva juttelee istujalle niitänäitä, mm. muistuttaa tapahtumista Talking Trivet jos objekti lämpenee hitaasti, uuni aistii, että kyseessä ei ole pizza ja varottaa kokkia liian kuumasta lämpötilasta (550F) esim. paistille
12 Muut alat & konteksti Matemaattiset ja formaalit lähestymiset tekoälyyn Maalaisjärkeä on hankala aksiomatisoida (frameongelma) McCarthy: circumscription CYC (Texas!) monotonisuus: todeksi osoitetut väitteet säilyvät aina tosina vs. ei-monotoninen logiikka (ajalliset muutokset) vs. modaalilogiikka (mahd. maailmat, ja ) Kirjoittajat: tällä hetkellä ei niinkään yritetä aksiomatisoida koko maalaisjärkeä etukäteen, vaan parsia ja koostaa mielekästä materiaalia olemassaolevasta esim. tiedonlouhintaa webistä Toinen ääripää Brooks: representaatiota ei tarvita Kirjoittajat "keskitien kulkijoita" (vs. Brooks, vs. kaiken aksiomatisointi)
13 Muut alat & konteksti (2) HCI ja konteksti käyttöliittymäelementin ulkonäön tulisi riippua kulloisestakin kontekstista Sosiologia ja käyttäytymistieteet situated action, jaetun sosiaalisen kontekstin vaikutus käytökseen activity theory (Venäjä)
14 Johtopäätös? Tavoite: Simplifying interfaces without "dumbing them down" Kertauksena: laitteen tai softan käytön opettelemiseen menee liikaa aikaa verrattuna siihen, mitä jonkin tehtävän suorittamiseen menee vaan eipä hätää Kun tietokoneet ja muut laitteet havaitsevat automaattisesti, muistavat käyttöhistorian ja adaptoituvat muutoksiin ympäristössä, tarpeettoman eksplisiittisen interaktion määrää voidaan redusoida Kontekstitietoiset agentit ja kontekstisensitiiviset laitteet käyttäytyvät sofistikoituneesti kuormittamatta käyttäjää komplekseilla käyttöliittymillä contra "dumbing down"
The OWL-S are not what they seem
The OWL-S are not what they seem...vai ovatko? Verkkopalveluiden koostamisen ontologia OWL-S Seminaariesitelmä 15.4.2013 Emilia Hjelm Internet on hankala Nykyinternet on dokumenttien verkko Asiat, joita
Lisätiedot811312A Tietorakenteet ja algoritmit 2015-2016. I Johdanto
811312A Tietorakenteet ja algoritmit 2015-2016 I Johdanto Sisältö 1. Algoritmeista ja tietorakenteista 2. Algoritmien analyysistä 811312A TRA, Johdanto 2 I.1. Algoritmeista ja tietorakenteista I.1.1. Algoritmien
LisätiedotAlgoritmit 1. Luento 1 Ti Timo Männikkö
Algoritmit 1 Luento 1 Ti 10.1.2017 Timo Männikkö Luento 1 Algoritmi Algoritmin toteutus Ongelman ratkaiseminen Algoritmin tehokkuus Algoritmin suoritusaika Algoritmin analysointi Algoritmit 1 Kevät 2017
LisätiedotLuento 4: Liikkeen kuvausta, differentiaaliyhtälöt
Luento 4: Liikkeen kuvausta, differentiaaliyhtälöt Digress: vakio- vs. muuttuva kiihtyvyys käytännössä Kinematiikkaa yhdessä dimensiossa taustatietoa Matlab-esittelyä 1 / 20 Luennon sisältö Digress: vakio-
LisätiedotJohdatus rakenteisiin dokumentteihin
-RKGDWXVUDNHQWHLVLLQGRNXPHQWWHLKLQ 5DNHQWHLQHQGRNXPHQWWL= rakenteellinen dokumentti dokumentti, jossa erotetaan toisistaan dokumentin 1)VLVlOW, 2) UDNHQQHja 3) XONRDVX(tai esitystapa) jotakin systemaattista
LisätiedotTekstien ääniä. Tommi Nieminen Itä-Suomen yliopisto
Tekstien ääniä Tommi Nieminen Itä-Suomen yliopisto 39. Kielitieteen päivät, Tallinna 16. 18.5.2012 Mitä väliä? teoreettinen ja metodologinen tarve? teksti ääni suhde työkaluajatteluun ei ääniä > monologinen
LisätiedotTIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 30. marraskuuta 2015
TIEA241 Automaatit ja kieliopit, syksy 2015 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 30. marraskuuta 2015 Sisällys t Väitöstilaisuus 4.12.2015 kello 12 vanhassa juhlasalissa S212 saa tulla 2 demoruksia
Lisätiedottään painetussa ja käsin kirjoitetussa materiaalissa usein pienillä kreikkalaisilla
2.5. YDIN-HASKELL 19 tään painetussa ja käsin kirjoitetussa materiaalissa usein pienillä kreikkalaisilla kirjaimilla. Jos Γ ja ovat tyyppilausekkeita, niin Γ on tyyppilauseke. Nuoli kirjoitetaan koneella
LisätiedotGraafisen käyttöliittymän suunnittelutyökalu Jyväskylän yliopisto
A. PROJEKTIN LÄHTÖTIEDOT A.1 Työryhmän jäsenet A.2 Projektin ennakoitu valmistumisaikataulu A.3 Projektin työnimi A.4 Projektin toteutunut valmistumisaikataulu A.5 Projektin kuvaus (lyhyt versio) B. KÄYTTÄJÄTIEDOT
LisätiedotAgentit ja semanttinen web. Pekka Halonen
Agentit ja semanttinen web Pekka Halonen Henkilökohtainen agentti Aika lääkäriin Agentti toteaa, että käyttäjä tarvitsee lääkäriä Pyytää lääkäriaikoja hoitavan agentin kautta pääsyä ko. vaivaa hoitavalle
LisätiedotDigitalisaation rakenteellisista jännitteistä. Tero Vartiainen tieto- ja tietoliikennetekniikan yksikkö
Digitalisaation rakenteellisista jännitteistä Tero Vartiainen tieto- ja tietoliikennetekniikan yksikkö Luennon sisältö Digitalisaation perusta Tietojärjestelmätiede ja digitalisaatio Rakenteellinen jännite
LisätiedotLomakkeiden suunnittelu. Aiheina
Lomakkeiden suunnittelu Saila Ovaska Informaatiotieteiden yksikkö, Tampereen yliopisto Aiheina Lomakesuunnittelun perusteita Lomake-esimerkkejä Peruskontrollit lomakkeissa Asetteluista lomakkeella Oppimistavoite:
Lisätiedothttp://www.soberit.hut.fi/t-121/t-121.100 !!" # $ %!"! " # $ " $ %& '( ) * * * +$, * ' # % ## # & # ' # # ( # %)* &(+%,-!###" )-..-( -.-'..(/. "&%/ "0 / 1"0 / # # % 2 ) / * & 3. 0-. -. ( (-. 2 ) $ )-..-(
LisätiedotAlityypitys. TIES542 Ohjelmointikielten periaatteet, kevät Antti-Juhani Kaijanaho. Jyväskylän yliopisto Tietotekniikan laitos
Alityypitys TIES542 Ohjelmointikielten periaatteet, kevät 2007 Antti-Juhani Kaijanaho Jyväskylän yliopisto Tietotekniikan laitos 5. maaliskuuta 2007 Muistatko tietueet? {I 1 = E 1,..., I n = E n } : {I
LisätiedotPuhutun ja kirjoitetun rajalla
Puhutun ja kirjoitetun rajalla Tommi Nieminen Jyväskylän yliopisto Laura Karttunen Tampereen yliopisto AFinLAn syyssymposiumi Helsingissä 14. 15.11.2008 Lähtökohtia 1: Anekdotaaliset Daniel Hirst Nordic
LisätiedotGap-filling methods for CH 4 data
Gap-filling methods for CH 4 data Sigrid Dengel University of Helsinki Outline - Ecosystems known for CH 4 emissions; - Why is gap-filling of CH 4 data not as easy and straight forward as CO 2 ; - Gap-filling
LisätiedotOhjelmointi 1 / syksy /20: IDE
Ohjelmointi 1 / syksy 2007 10/20: IDE Paavo Nieminen nieminen@jyu.fi Tietotekniikan laitos Informaatioteknologian tiedekunta Jyväskylän yliopisto Ohjelmointi 1 / syksy 2007 p.1/8 Tämän luennon rakenne
LisätiedotLomakkeiden suunnittelu. Aiheina
Lomakkeiden suunnittelu Saila Ovaska Informaatiotieteiden yksikkö, Tampereen yliopisto *) Osan luentokalvoista on laatinut Jenni Anttonen syksyllä 2009. Aiheina Lomakesuunnittelun perusteita Lomake-esimerkkejä
LisätiedotOhjelmistojen mallintaminen Tietovuokaaviot Harri Laine 1
Ohjelmistojen mallintaminen Tietovuokaaviot 3.11.2008 Harri Laine 1 t Data flow diagrams Pohjana systeemiteoreettinen järjestelmämalli Input system output Järjestelmän tehtävä on muokata lähtötiedoista
LisätiedotKäyttöliittymäuudistus 2011
Käyttöliittymäuudistus 2011 ValueFramen käyttäjäpäivät 30.11.2010 Jarmo Annala, ValueFrame Oy Esityksen sisältö 1 2 3 4 5 6 Käyttöliittymäuudistuksen taustaa Keskeiset muutokset Käyttöliittymäuudistusten
LisätiedotLomakkeiden suunnittelu. Aiheina
Lomakkeiden suunnittelu Saila Ovaska Informaatiotieteiden yksikkö, Tampereen yliopisto Aiheina Lomakesuunnittelun perusteita Lomake-esimerkkejä Peruskontrollit lomakkeissa Asetteluista lomakkeella Oppimistavoite:
LisätiedotYhteenveto. Aiheita lopuksi
Yhteenveto Saila Ovaska Informaatiotieteiden yksikkö, Tampereen yliopisto *) Osan luentokalvoista on laatinut Jenni Anttonen syksyllä 2009. Aiheita lopuksi Kertausta Kurssin keskeiset kysymykset Mitä pitäisi
LisätiedotT Johdatus käyttäjäkeskeiseen tuotekehitykseen: Ihminen laitteiden käyttäjänä Ihminen on...
T-121.2100 Johdatus käyttäjäkeskeiseen tuotekehitykseen: Ihminen laitteiden käyttäjänä 29.1.2008 petri.mannonen@soberit.hut.fi Ihminen on... biologinen, psykologinen, sosiaalinen, yhteiskunnallinen,...
LisätiedotRakenteisen oppimateriaalin tuottaminen verkossa esimerkki Rhaptos. Antti Auer Koordinaattori, HT Jyväskylän yliopisto Virtuaaliyliopistohanke
Rakenteisen oppimateriaalin tuottaminen verkossa esimerkki Rhaptos Antti Auer Koordinaattori, HT Jyväskylän yliopisto Virtuaaliyliopistohanke Rakenteisuus kahdella tasolla Oppimisaihiot ( Learning Objects
LisätiedotOn instrument costs in decentralized macroeconomic decision making (Helsingin Kauppakorkeakoulun julkaisuja ; D-31)
On instrument costs in decentralized macroeconomic decision making (Helsingin Kauppakorkeakoulun julkaisuja ; D-31) Juha Kahkonen Click here if your download doesn"t start automatically On instrument costs
LisätiedotTUTKINTO-OHJELMAINFO Sivuainemahdollisuudet Kesäopinnot KV-vaihtomahdollisuus
TUTKINTO-OHJELMAINFO 3.5.2018 Sivuainemahdollisuudet Kesäopinnot KV-vaihtomahdollisuus SIVUAINEEN VALINTA Kolme näkökulmaa sivuaineopintojen ja valinnaisten opintojen valitsemiseen 1. Tietojenkäsittelytieteiden
LisätiedotAineistoista. Laadulliset menetelmät: miksi tarpeen? Haastattelut, fokusryhmät, havainnointi, historiantutkimus, miksei videointikin
Aineistoista 11.2.09 IK Laadulliset menetelmät: miksi tarpeen? Haastattelut, fokusryhmät, havainnointi, historiantutkimus, miksei videointikin Muotoilussa kehittyneet menetelmät, lähinnä luotaimet Havainnointi:
LisätiedotAutomaattinen semanttinen annotointi
Automaattinen semanttinen annotointi Matias Frosterus, Reetta Sinkkilä, Katariina Nyberg Semantic Computing Research Group (SeCo) School of Science and Technology, Department of Media Technology and University
LisätiedotT-76.115 Tietojenkäsittelyopin ohjelmatyö
T-76.115 Tietojenkäsittelyopin ohjelmatyö Sisältö Tämä on jatkuvasti ajan tasalla pidettävä dokumentti johon luetellaan tiedostetut ongelmat ja niiden käsittelytilanne. Päivämäärä 8.2.2003 Projektiryhmä
LisätiedotJOHDATUS TEKOÄLYYN TEEMU ROOS
JOHDATUS TEKOÄLYYN TEEMU ROOS PELIPUU PELIPUU -1 0 1 PELIPUU PELIPUU PELIPUU PELIPUU PELIPUU PELIPUU PELIPUU PELIPUU PELIPUU PELIPUU PELIPUU PELIPUU PELIPUU PELIPUU I -ARVO(Solmu) if LOPPUTILA(Solmu) return(arvo(solmu))
LisätiedotKompleksisuus ja kuntien kehittäminen
Kompleksisuus ja kuntien kehittäminen Kuntatutkijoiden seminaari 25.5.2011, Lapin yliopisto, Rovaniemi Pasi-Heikki Rannisto, HT Tampereen yliopisto Haasteita johtamiselle ja johtamisteorioille Miksi ennustaminen
LisätiedotKommunikaatio Visa Linkiö. MS-E2142 Optimointiopin seminaari: Peliteoria ja tekoäly
Kommunikaatio MS-E2142 Optimointiopin seminaari: Peliteoria ja tekoäly 2.11.2016 Visa Linkiö The document can be stored and made available to the public on the open internet pages of Aalto University.
Lisätiedot11/20: Konepelti auki
Ohjelmointi 1 / syksy 2007 11/20: Konepelti auki Paavo Nieminen nieminen@jyu.fi Tietotekniikan laitos Informaatioteknologian tiedekunta Jyväskylän yliopisto Ohjelmointi 1 / syksy 2007 p.1/11 Tämän luennon
LisätiedotEsimerkkejä vaativuusluokista
Esimerkkejä vaativuusluokista Seuraaville kalvoille on poimittu joitain esimerkkejä havainnollistamaan algoritmien aikavaativuusluokkia. Esimerkit on valittu melko mielivaltaisesti laitoksella tehtävään
LisätiedotTT00AA12-2016 - Ohjelmoinnin jatko (TT10S1ECD)
TT00AA12-2016 - Ohjelmoinnin jatko (TT10S1ECD) Ohjelmointikäytännöt 21/3/11 Mikko Vuorinen Metropolia Ammattikorkeakoulu 1 Sisältö 1) Mitä on hyvä koodi? 2) Ohjelmointikäytäntöjen merkitys? 3) Koodin asettelu
LisätiedotHARJOITUSTYÖ: LabVIEW, Liiketunnistin
Tämä käyttöohje on kirjoitettu ESR-projektissa Mikroanturitekniikan osaamisen kehittäminen Itä-Suomen lääninhallitus, 2007, 86268 HARJOITUSTYÖ: LabVIEW, Liiketunnistin Tarvittavat laitteet: PC Labview
LisätiedotOleelliset vaikeudet OT:ssa 1/2
Oleelliset vaikeudet OT:ssa 1/2 Monimutkaisuus: Mahdoton ymmärtää kaikki ohjelman tilat Uusien toimintojen lisääminen voi olla vaikeaa Ohjelmista helposti vaikeakäyttöisiä Projektiryhmän sisäiset kommunikointivaikeudet
Lisätiedotf(n) = Ω(g(n)) jos ja vain jos g(n) = O(f(n))
Määritelmä: on O(g(n)), jos on olemassa vakioarvot n 0 > 0 ja c > 0 siten, että c g(n) kun n > n 0 O eli iso-o tai ordo ilmaisee asymptoottisen ylärajan resurssivaatimusten kasvun suuruusluokalle Samankaltaisia
LisätiedotTEEMU ROOS (KALVOT MUOKATTU PATRIK HOYERIN LUENTOMATERIAALISTA)
JOHDATUS TEKOÄLYYN TEEMU ROOS (KALVOT MUOKATTU PATRIK HOYERIN LUENTOMATERIAALISTA) KONEOPPIMISEN LAJIT OHJATTU OPPIMINEN: - ESIMERKIT OVAT PAREJA (X, Y), TAVOITTEENA ON OPPIA ENNUSTAMAAN Y ANNETTUNA X.
LisätiedotProsessien ja toiminnan kuvaamisen kehittämiskohteet, tasot, näkökulmat ja esimerkit
Irmeli Luukkonen, Itä-Suomen Yliopisto, Tietojenkäsittelytieteen laitos, HIStutkimusryhmä SOLEA-seminaari, 25.11. 2011 klo 9-16, Dipoli, Espoo Prosessien ja toiminnan kuvaamisen kehittämiskohteet, tasot,
LisätiedotTutkimussuunnitelmaseminaari. Kevät 2012 Inga Jasinskaja-Lahti
Tutkimussuunnitelmaseminaari Kevät 2012 Inga Jasinskaja-Lahti Osa I Seminaarin tavoite Tukea pro gradu -tutkielman aiheen valintaa Perehdyttää tutkimussuunnitelman laatimiseen ja Käynnistää tutkielman
LisätiedotT-0.300 Sovellettu estetiikka
Tassu Takala T-0.300 Sovellettu estetiikka Kurssi keväällä 2005 motivointi, kurssin järjestelyt luennot Jyri Vuorinen 20.1. 17.3. muita luennoijia erillisaiheista soveltava tehtävä e-stetiikka estetiikan
LisätiedotJOHDATUS TEKOÄLYYN TEEMU ROOS
JOHDATUS TEKOÄLYYN TEEMU ROOS NEUROVERKOT TURINGIN KONE (TAI TAVALLINEN OHJELMOINTI) VAIN YKSI LASKENNAN MALLI ELÄINTEN HERMOSTOSSA LASKENTA ERILAISTA: - RINNAKKAISUUS - STOKASTISUUS (SATUNNAISUUS) - MASSIIVINEN
LisätiedotTeoreettisen viitekehyksen rakentaminen
Teoreettisen viitekehyksen rakentaminen Eeva Willberg Pro seminaari ja kandidaatin opinnäytetyö 26.1.09 Tutkimuksen teoreettinen viitekehys Tarkoittaa tutkimusilmiöön keskeisesti liittyvän tutkimuksen
LisätiedotOhjelmointi 1. Kumppanit
Ohjelmointi 1 Kumppanit November 20, 2012 2 Contents 1 Mitä ohjelmointi on 7 2 Ensimmäinen C#-ohjelma 9 2.1 Ohjelman kirjoittaminen......................... 9 A Liite 11 3 4 CONTENTS Esipuhe Esipuhe 5
Lisätiedot1. Universaaleja laskennan malleja
1. Universaaleja laskennan malleja Laskenta datan käsittely annettuja sääntöjä täsmällisesti seuraamalla kahden kokonaisluvun kertolasku tietokoneella, tai kynällä ja paperilla: selvästi laskentaa entä
LisätiedotOhjelmistojen mallintaminen
Ohjelmistojen mallintaminen - Mallit - Ohjelmiston kuvaaminen malleilla 31.10.2008 Harri Laine 1 Malli: abstraktio jostain kohteesta Abstrahointi: asian ilmaiseminen tavalla, joka tuo esiin tietystä näkökulmasta
LisätiedotAS-84.147 Automaation käyttöliittymät. Aistien kognitio ja ergonomia Koneen kognitio
AS-84.147 Automaation käyttöliittymät Aistien kognitio ja ergonomia Koneen kognitio Ihmisen liittyminen koneeseen Ihmisen liityntäpintana aistit ja toimilaitteet Ihmisten välinen kommunikaatio pääosin
LisätiedotMitä symbolilaskentaohjelmalta voi odottaa ja mitä ei? Tapaus Mathematica
Simo K. Kivelä Mitä symbolilaskentaohjelmalta voi odottaa ja mitä ei? Tapaus Mathematica Symbolinen laskenta ei aina toimi, kuten voisi odottaa. Parempi onkin ajatella, että se elää omaa elämäänsä, jolla
LisätiedotMS-C1340 Lineaarialgebra ja
MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt Matriisinormi, häiriöalttius Riikka Kangaslampi Kevät 2017 Matematiikan ja systeemianalyysin laitos Aalto-yliopisto Matriisinormi Matriisinormi Matriiseille
LisätiedotKandidaatintyön esittely: Epätäydellisen preferenssi-informaation huomioon ottavien päätöksenteon tukimenetelmien vertailu
Kandidaatintyön esittely: Epätäydellisen preferenssi-informaation huomioon ottavien päätöksenteon tukimenetelmien vertailu Vilma Virasjoki 19.11.2012 Ohjaaja: DI Jouni Pousi Valvoja: Professori Raimo P.
LisätiedotHARJOITUSTYÖ: LabVIEW, Kiihtyvyysanturi
Tämä käyttöohje on kirjoitettu ESR-projektissa Mikroanturitekniikan osaamisen kehittäminen Itä-Suomen lääninhallitus, 2007, 86268 HARJOITUSTYÖ: LabVIEW, Kiihtyvyysanturi Tarvittavat laitteet: PC Labview
LisätiedotJohdatus λ-kalkyyliin
Annika Piiroinen, Kalle Viiri 2014 Johdatus λ-kalkyyliin λ kalkyyli on alunperin Alonzo Chruchin kehittämä Turing täydellinen formaalin laskennan malli. Funktionaaliset ohjelmointikielet perustuvat siihen,
LisätiedotJOHDATUS TEKOÄLYYN TEEMU ROOS
JOHDATUS TEKOÄLYYN TEEMU ROOS PELIPUU ACTIVATOR 1 ACTIVATOR 2 PELIPUU ACTIVATOR 1 ACTIVATOR 2 -1 0 1 PELIPUU PELIPUU PELIPUU I -ARVO(Solmu) if LOPPUTILA(Solmu) return(arvo(solmu)) v = for each Lapsi in
Lisätiedotmonitavoitteisissa päätöspuissa (Valmiin työn esittely) Mio Parmi Ohjaaja: Prof. Kai Virtanen Valvoja: Prof.
Epätäydellisen preferenssiinformaation hyödyntäminen monitavoitteisissa päätöspuissa (Valmiin työn esittely) Mio Parmi 15.1.2018 Ohjaaja: Prof. Kai Virtanen Valvoja: Prof. Kai Virtanen Tausta Päätöspuu
LisätiedotSisällönhallinnan menetelmiä
Sisällönhallinnan menetelmiä Airi Salminen Jyväskylän yliopisto http://www.cs.jyu.fi/~airi/ Suomalaisen lainsäädäntötyön tiedonhallinta: suuntana semanttinen web RASKE2-projektin loppuseminaari Eduskunnassa
LisätiedotTekoäly muuttaa arvoketjuja
Tekoäly muuttaa arvoketjuja Näin kartoitat tekoälyn mahdollisuuksia projektissasi Harri Puolitaival Harri Puolitaival Diplomi-insinööri ja yrittäjä Terveysteknologia-alan start-up: Likelle - lämpötilaherkkien
LisätiedotParametristen mallien identifiointiprosessi
Parametristen mallien identifiointiprosessi Koesuunnittelu Identifiointikoe Epäparametriset menetelmät Datan esikäsittely Mallirakenteen valinta Parametrien estimointi Mallin validointi Mallin käyttö &
LisätiedotRinnakkaisuuden hyväksikäyttö peleissä. Paula Kemppi
Rinnakkaisuuden hyväksikäyttö peleissä Paula Kemppi 24.4.2008 Esityksen rakenne Johdantoa Rinnakkaisuus Pelimoottorien rinnakkaisuuden mallit Funktionaalisen rinnakkaisuuden malli Rinnakkaisen tiedon malli
LisätiedotÄlysopimusten kehittäminen. Sopimus suuntautunut ohjelmointi
Älysopimusten kehittäminen Sopimus suuntautunut ohjelmointi There are currently 5,000 blockchain developers. By 2020, we project a global need for over 500,000 - ConsenSys Älysopimus alustat q Ethereum
LisätiedotTIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 12. lokakuuta 2016
ja ja TIEA241 Automaatit ja kieliopit, syksy 2016 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 12. lokakuuta 2016 Sisällys ja ja Vuosi on 1936, eikä tietokoneita ollut. Computer oli ammattinimike. http://www.nasa.gov/centers/dryden/
LisätiedotKonvergenssilauseita
LUKU 4 Konvergenssilauseita Lause 4.1 (Monotonisen konvergenssin lause). Olkoon (f n ) kasvava jono Lebesgueintegroituvia funktioita. Asetetaan f(x) := f n (x). Jos f n
LisätiedotKoodaamme uutta todellisuutta FM Maarit Savolainen https://blog.edu.turku.fi/matikkaajakoodausta/
Koodaamme uutta todellisuutta FM Maarit Savolainen 19.1.2017 https://blog.edu.turku.fi/matikkaajakoodausta/ Mitä on koodaaminen? Koodaus on puhetta tietokoneille. Koodaus on käskyjen antamista tietokoneelle.
LisätiedotKäyttäjäkeskeinen vaatimusmäärittelytyö ketterän käyttöliittymäsuunnittelun haasteena
Käyttäjäkeskeinen vaatimusmäärittelytyö ketterän käyttöliittymäsuunnittelun haasteena, prof. Teknillinen korkeakoulu, tietotekniikan osasto SoberIT Ohjelmistoliiketoiminnan ja tuotannon laboratorio Käytettävyys
LisätiedotW3C ja Web-teknologiat
W3C ja Web-teknologiat Ossi Nykänen Tampereen teknillinen yliopisto (TTY), Digitaalisen median instituutti (DMI), W3C Suomen toimisto World Wide Web Consortium (W3C) W3C kehittää yhteensopivia teknologioita
LisätiedotINSSI-seminaari VOV! Risto Salminen
INSSI-seminaari VOV! Valmistuminen opiskelijasta välittämällä Risto Salminen Välittämisen trendi? Viimeisten järkyttävien tapahtumien lisäksi aiempia trendejä johtamisessa suunta yksilöjohtamiseen vanhemmuus
LisätiedotJohdatus tekoälyn taustalla olevaan matematiikkaan
Johdatus tekoälyn taustalla olevaan matematiikkaan Informaatioteknologian tiedekunta Jyväskylän yliopisto 3.11.2017 Mitä tekoäly on? Wikipedia: Tekoäly on tietokone tai tietokoneohjelma, joka kykenee älykkäiksi
LisätiedotOutput. Input Automaton
16 Aakkostot, merkkijonot ja kielet Automaattiteoria diskreetin signaalinkäsittelyn perusmallit ja -menetelmät ( diskreettien I/O-kuvausten yleinen teoria) 1011 Input Automaton Output Automaatin käsite
LisätiedotJulian graafinen annotointityökalu ja erityisontologioiden editori. Jaason Haapakoski P Kansanterveyslaitos , 28.3.
Julian graafinen annotointityökalu ja erityisontologioiden editori Jaason Haapakoski P. 040 7612 811 Kansanterveyslaitos 28.2.2006, 28.3.2006 Perusnäkymä Ohjelmalle on konfiguroitavissa useita eri käsitteistöjä
LisätiedotSaneeraustarpeen arviointi
Saneeraustarpeen arviointityökalu Saneeraustarpeen arviointi Viemäri- ja vesijohtoverkoston saneeraustarpeiden arviointi, kustannusarvioiden laskeminen ja saneerausten aikataulutus ovat vaativia ja aikaavieviä
LisätiedotSaneeraustarpeen arviointityökalu
Saneeraustarpeen arviointityökalu Saneeraustarpeen arviointi Viemäri- ja vesijohtoverkoston saneeraustarpeiden arviointi, kustannusarvioiden laskeminen ja saneerausten aikataulutus ovat vaativia ja aikaavieviä
LisätiedotDXL Library ja DXL-kielen olemus. Pekka Mäkinen Pekka.Makinen@softqa.fi SoftQA Oy http/www.softqa.fi/
DXL Library ja DXL-kielen olemus Pekka Mäkinen Pekka.Makinen@softqa.fi SoftQA Oy http/www.softqa.fi/ DOORS extension Language DXL on DOORSin laajennuskieli, jolla voidaan kehittää lisätoiminnallisuutta.
LisätiedotCopyright by Haikala. Ohjelmistotuotannon osa-alueet
Copyright by Haikala Ohjelmistotuotannon osa-alueet Ohjelmiston elinkaari 1. Esitutkimus, tarvekartoitus, kokonaissuunnittelu, järjestelmäsuunnittelu (feasibility study, requirement study, preliminary
LisätiedotSoLoMo InnovaatioCamp 19.3.2013. Ari Alamäki HAAGA-HELIA Tietotekniikan koulutusohjelma Ratapihantie 13 00520 Helsinki ari.alamaki @ haaga-helia.
SoLoMo InnovaatioCamp 19.3.2013 Ari Alamäki HAAGA-HELIA Tietotekniikan koulutusohjelma Ratapihantie 13 00520 Helsinki ari.alamaki @ haaga-helia.fi Social Mobile Local 7.3.2013 Perusversio-esimerkki 1.0
LisätiedotMuutamia peruskäsitteitä
Muutamia peruskäsitteitä Huom. 1: nämä peruskäsitteet eivät muodosta hyvin määriteltyä keskenään yhteensopivien käsitteiden joukkoa, vaan käsitteet ovat osittain päällekkäisiä ja eri yhteyksissä niillä
LisätiedotSeurantalaskimen simulointi- ja suorituskykymallien vertailu (valmiin työn esittely) Joona Karjalainen
Seurantalaskimen simulointi- ja suorituskykymallien vertailu (valmiin työn esittely) Joona Karjalainen 08.09.2014 Ohjaaja: DI Mikko Harju Valvoja: Prof. Kai Virtanen Työn saa tallentaa ja julkistaa Aalto-yliopiston
LisätiedotEpätäydellisen preferenssi-informaation huomioon ottavien päätöksenteon tukimenetelmien vertailu (aihe-esittely)
Epätäydellisen preferenssi-informaation huomioon ottavien päätöksenteon tukimenetelmien vertailu (aihe-esittely) Vilma Virasjoki 23.01.2012 Ohjaaja: Jouni Pousi Valvoja: Raimo P. Hämäläinen Työn saa tallentaa
LisätiedotVertaispalaute. Vertaispalaute, /9
Vertaispalaute Vertaispalaute, 18.3.2014 1/9 Mistä on kyse? opiskelijat antavat palautetta toistensa töistä palaute ei vaikuta arvosanaan (palautteen antaminen voi vaikuttaa) opiskelija on työskennellyt
LisätiedotInformation on preparing Presentation
Information on preparing Presentation Seminar on big data management Lecturer: Spring 2017 20.1.2017 1 Agenda Hints and tips on giving a good presentation Watch two videos and discussion 22.1.2017 2 Goals
LisätiedotXPages käyttö ja edut Jarkko Pietikäinen toimitusjohtaja, Netwell Oy
IBM Collaboration Forum ٨.٣.٢٠١١ XPages käyttö ja edut Jarkko Pietikäinen toimitusjohtaja, Netwell Oy ٢٠١١ IBM Corporation Domino-sovelluskehitys Nopea kehitysympäristö (Rapid application development,
LisätiedotEnergiatehokkuutta parantavien materiaalien tutkimus. Antti Karttunen Nuorten Akatemiaklubi 2010 01 18
Energiatehokkuutta parantavien materiaalien tutkimus Antti Karttunen Nuorten Akatemiaklubi 2010 01 18 Sisältö Tutkimusmenetelmät: Laskennallinen materiaalitutkimus teoreettisen kemian menetelmillä Esimerkki
LisätiedotTietorakenteet ja algoritmit - syksy 2015 1
Tietorakenteet ja algoritmit - syksy 2015 1 Tietorakenteet ja algoritmit - syksy 2015 2 Tietorakenteet ja algoritmit Johdanto Ari Korhonen Tietorakenteet ja algoritmit - syksy 2015 1. JOHDANTO 1.1 Määritelmiä
LisätiedotTietorakenteet ja algoritmit
Tietorakenteet ja algoritmit Kurssin sisältö pääpiirteittäin Tarvittavat pohjatiedot Avainsanat Abstraktio Esimerkkiohjelman tehtäväkuvaus Abstraktion käyttö tehtävässä Abstrakti tietotyyppi Hyötyjä ADT:n
LisätiedotTIEA241 Automaatit ja kieliopit, kevät Antti-Juhani Kaijanaho. 12. kesäkuuta 2013
TIEA241 Automaatit ja kieliopit, kevät 2012 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 12. kesäkuuta 2013 Sisällys t Chomskyn hierarkia (ja vähän muutakin) kieli säännöllinen LL(k) LR(1) kontekstiton
LisätiedotTIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 8. syyskuuta 2016
TIEA241 Automaatit ja kieliopit, syksy 2016 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 8. syyskuuta 2016 Sisällys a https://tim.jyu.fi/view/kurssit/tie/ tiea241/2016/videoiden%20hakemisto Matemaattisen
LisätiedotPurot.net Wiki. Tutkielma. Paavo Räisänen. Centria Ammattikorkeakoulu 24.10.2012
Purot.net Wiki Tutkielma Paavo Räisänen Centria Ammattikorkeakoulu 24.10.2012 Sisällysluettelo 1: Esittely 2: Perustaminen 3: Uuden sivun luonti 4: Kuvien lisääminen 5: Linkin lisääminen 6: Lopuksi 1:
LisätiedotRSS-uutissyötteet ja Alert-palvelut
RSS-uutissyötteet ja Alert-palvelut Helsingin yliopiston kirjasto 9.3.2017 1 Mitä RSS-uutissyötteet ovat? Uutissyötteiden avulla voi seurata monen eri sivuston uusimpia päivityksiä yhdestä paikasta, tarvitsematta
LisätiedotTee siitä totta! Klubiprojektien kehitysopas
Tee siitä totta! Klubiprojektien kehitysopas Lionsklubit, jotka järjestävät mielekkäitä palveluprojekteja, vaikuttavat monella tavalla niiden ihmisten elämään, joita he auttavat. Klubijäsenet tuntevat
Lisätiedot811312A Tietorakenteet ja algoritmit 2015-2016. V Verkkojen algoritmeja Osa 2 : Kruskalin ja Dijkstran algoritmit
811312A Tietorakenteet ja algoritmit 2015-2016 V Verkkojen algoritmeja Osa 2 : Kruskalin ja Dijkstran algoritmit Sisältö 1. Johdanto 2. Leveyshaku 3. Syvyyshaku 4. Kruskalin algoritmi 5. Dijkstran algoritmi
LisätiedotTäydentäviä muistiinpanoja laskennan rajoista
Täydentäviä muistiinpanoja laskennan rajoista Antti-Juhani Kaijanaho 10. joulukuuta 2015 1 Diagonaalikieli Diagonaalikieli on D = { k {0, 1} k L(M k ) }. Lause 1. Päätösongelma Onko k {0, 1} sellaisen
LisätiedotAttribuuttipohjainen käyttövaltuuksien hallinta Case Dreamspark Premium
Attribuuttipohjainen käyttövaltuuksien hallinta Case Dreamspark Premium Jari Kotomäki Aalto University IT Käyttövaltuuksien hallinta eli auktorisointi Prosessi, jossa on kyse käyttäjän tunnistamisen (autentikoinnin,
LisätiedotMobiilit käyttöliittymät lääkitystietoon
Mobiilit käyttöliittymät lääkitystietoon Katja Leiviskä, Harri Oinas-Kukkonen, Teppo Räisänen Oulun yliopisto, Tietojenkäsittelytieteiden laitos katja.leiviska@oulu.fi, harri.oinas-kukkonen@oulu.fi, teppo.raisanen@oulu.fi
LisätiedotOhjelmointikoulutuksen tehostaminen kognitiivisilla menetelmillä
11.4.2007 Ohjelmointikoulutuksen tehostaminen kognitiivisilla menetelmillä Prof. Jorma Sajaniemi Joensuun yliopisto, Tietojenkäsittelytiede Jorma.Sajaniemi@Joensuu.Fi www.cs.joensuu.fi/~saja Taustaa Sisältö
LisätiedotTietorakenteet ja algoritmit Johdanto Lauri Malmi / Ari Korhonen
Tietorakenteet ja algoritmit Johdanto Lauri Malmi / Ari 1 1. JOHDANTO 1.1 Määritelmiä 1.2 Tietorakenteen ja algoritmin valinta 1.3 Algoritmit ja tiedon määrä 1.4 Tietorakenteet ja toiminnot 1.5 Esimerkki:
Lisätiedothttp://www.soberit.hut.fi/t-121/t-121.100
http://www.soberit.hut.fi/t-121/t-121.100 1 ! "# $ % &'(''')*!"# $ % & &$' &# % & +&, - %./ +-"0%'12)&* 2 #( & '*+%3 (*4 3 5*4 3 & % 6 3 / + 7 / ) - - 6 3 # 8 8 *+ 8 /, #'# 8 & 8 -. / 9 2:& 1 % '); % &'(''))
LisätiedotIntegration of Finnish web services in WebLicht Presentation in Freudenstadt 2010-10-16 by Jussi Piitulainen
Integration of Finnish web services in WebLicht Presentation in Freudenstadt 2010-10-16 by Jussi Piitulainen Who we are FIN-CLARIN University of Helsinki The Language Bank of Finland CSC - The Center for
LisätiedotVesisika. metsiemme työmyyrä. http://www.billybear4kids.com/animal/whose-toes/capybara.jpg
Vesisika metsiemme työmyyrä http://www.billybear4kids.com/animal/whose-toes/capybara.jpg Faktat Vesisika tykkää vedestä ja näyttää (ja kuulemma maistuu) hieman sialta. Käyttää myös nickiä kapybara. kapiÿva
LisätiedotOhjelmistojen mallintaminen, mallintaminen ja UML
582104 Ohjelmistojen mallintaminen, mallintaminen ja UML 1 Mallintaminen ja UML Ohjelmistojen mallintamisesta ja kuvaamisesta Oliomallinnus ja UML Käyttötapauskaaviot Luokkakaaviot Sekvenssikaaviot 2 Yleisesti
LisätiedotTilanteen huomioon ottavat kännykät
Tilanteen huomioon ottavat kännykät Dos. Patrik Floréen Tietotekniikan tutkimuslaitos HIIT Helsingin yliopisto Teknillinen korkeakoulu Ubicomp, pervasive, proactive... Ubicompin isä Mark Weiser (1952-1999),
LisätiedotVisualisointi informaatio- verkostojen opinto-oppaasta Informaatioverkostojen kilta Athene ry Opintovastaava Janne Käki 19.9.
Visualisointi informaatio- verkostojen opinto-oppaasta 2005-2006 Informaatioverkostojen kilta Athene ry Opintovastaava Janne Käki 19.9.2006 Diplomi-insinöörin tutkinto (DI, 120 op) Diplomityö (30 op) Tieteen
Lisätiedot