AURA och dess implementation i Inquire Biology
|
|
- Lars Ivarsson
- för 7 år sedan
- Visningar:
Transkript
1 AURA och dess implementation i Inquire Biology, isako708 Artificiell Intelligens, 729G43 Linköpings Universitet
2 Innehåll Inledning... 3 Inquire Biology... 4 AURA... 5 KM för att representera kunskap... 5 Prototyper... 5 UMAP... 6 CLIB... 6 CPL... 7 KM för att resonera kring kunskap... 8 Diskussion... 9 Referenser
3 Inledning Teknik och artificiell intelligens hjälper idag många områden att utvecklas. Detta gäller allt ifrån bilar, där avståndsmätare hjälper föraren att inte backa in i saker, hålla hastigheten och till och med fickparkera eller köra till utbildning där utvecklingen har gått mot interaktion, lärandespel och simulationer. Det som ännu inte förändrats, är läroböcker. Böckerna vandrar sakta mot att inte bara finnas i pappersform, utan också på datorer, surfplattor och telefoner. År 2004 började Vulcan Inc. finansiera forskarprojekt för att komma närmare vad de kallar en en Digital Aristoteles som innehåller kunskap om och kan svara på en stor mängd vetenskapliga frågor och problem ställda i naturligt språk. Denna Aristoteles ska ha två delar, en för att hjälpa studenter att lära sig, och en för att assistera forskare i deras forskning. Mellan 2004 och 2010 arbetade därför forskargrupper med ett första steg, att med hjälp av domänexperter utveckla en kunskapsbas som mindre erfarna studenter sedan skulle kunna ställa frågor till. Det bästa resultatet var AURA, Automated User-Cenered Reasoning and Aquisition system, som utvecklades vid University of Texas (Gunning, Chaudhri, Clark, Barker, Chaw, Greaves, Grosof, Leung, McDonald, Mishra, Pacheco, Porter, Spaulding, Tecuci, Tien, 2010). AURA implementerades mellan 2010 och 2013 i form av den digitala boken Inquire Biology (Chaudhri, Cheng, Overtholtzer, Roschelle, Spaulding, Clark, Greaves, Gunning, 2013). 3
4 Inquire Biology Inquire Biology är en interaktiv biologibok som baseras på Campbell Biology (Reece, Urry, Cain, Wasserman, Minorsky, Jackson, 2010), en lärobok som flitigt används på universitet i USA. Applikationen är utvecklad för Ipad och har en rad funktioner för att underlätta arbete med hemläxor och inlärning för universitetsstudenter som studerar biologi på avancerad nivå. Likt andra böcker till datorer eller plattor har Inquire Biology möjligheter att markera text, sätta ut anteckningar och interagera med grafik (Chaudhri et al., 2013). För alla biologiska termer i Inquire Biology finns det definitioner, då man klickar på ordet dyker en definition upp, och en länk till en konceptsida om ordet (märkt som 2 i figur 1). Då användaren markerar text kan hen välja mellan att se de anteckningar som finns på textområdet, eller förslag på frågor som kan utforskas för djupare förståelse (märkt som 3 i figur 1). Användaren kan dessutom alltid trycka på Q-ikonen (märkt som 1 i figur 1) för att ställa egna frågor till systemet om ämnet (Chaudhri et al., 2013). Figur 1. Inquire Biologys gränssnitt (Chaudhri et al., 2013). Texten är ur Campbell Biology (Reece et al., 2010, s.132). 4
5 AURA Inquire Biologys kunskapsrepresentation sker via ett kunskapsförfattandesystemet (eng. knowledge authoring system) AURA. AURA används som en del i Digital Aristoteles-projektet för att representera kunskap inom olika hårda vetenskaper. Hittills har den delvis implementerats till universitetsstudier i kemi, biologi och fysik. Målet är att AURA ska kunna både hämta ren fakta, och generera svar och förklaringar som inte explicit står i grundtexten. För att uppnå detta i Inquire Biology har AURA fyra delar: Kunskapsmaskinen (eng. the Knowledge Machine, KM) används för att representera och resonera kring kunskap. Kunskapen kodas in av experter (SME:er, efter eng. subject-matter expert) som har en kandidatexamen inom området. Komponentbiblioteket (eng. the Component Library, CLIB) är en domänoberoende kunskapsbas byggd av kunskapsingenjörer där kunskapen representeras. Processering av frågor med ett kontrollerat datorprocesserbart språk (eng. controlled computer-processable langusge, CPL). Besvarande av frågor genom KM:s resonerande del (Gunning et al., 2010). KM för att representera kunskap KM är ett språk för att representera kunskap. Den bygger på Lisp och formell semantik och för AURA är två av dess funktioner speciellt viktiga, prototyper och unifieringskartläggning (UMAP). KM:s taxonomi tillåter klasser att vara underklasser av en eller flera andra klasser (Okänd, 2016). Prototyper En prototyp innehåller all information om ett koncept och attribut hos medlemmarna av konceptet. Eftersom information i kunskapsbasen representeras i graf-data form, kan en SME också redigera prototyperna grafiskt, istället för att redigera små delar av information på olika platser. 5
6 Prototyper används i KM för att SME:n som kodar in information ska kunna ändra information på en plats istället för att behöva ändra information på varje plats som informationen används. När SME:n ändrat informationen i prototypen unifieras denna med hjälp av UMAP med den information som redan finns i kunskapsbasen (Gunning et al., 2010). UMAP Unifiering används för att bestämma om två objekt egentligen är samma objekt. Unifieraren ser då ifall det finns någon anledning att de båda objekten inte skulle kunna vara samma objekt, om det inte finns någon anledning så unifierar den objekten. Detta är ett problem som uppstår i Inquire Biologys kunskapsbas eftersom den är så stor att den blir underspecificerad och objekt som inte bör unifieras därför unifieras. Detta problem löses i KM med hjälp av UMAP (Chaudhri och Son, 2012), PPT). UMAP fungerar som den vanliga unifieringen, och överattribuerar därför en del i underspecificerade kunskapsbaser, men då mer information läggs in, så kan det som unifierats deunifieras för att kunskapsbasen fortfarande ska vara korrekt. På detta sätt kan UMAP fylla i information som SME missar, eller tycker är för simpel, med minskad risk för att det blir fel (Chaudhri och Son, 2012). CLIB CLIB innehåller domänoberoende klasser och förutbestämda relationer samt värden för att representera enheter och skalor. Med hjälp av dessa kan sedan en SME modellera ett koncept eller en process. Som exempel modelleras en celldelning i figur 2 där en diploid cell genom processen mitos och dess steg omvandlas till två diplopida celler. Antal representeras av siffrorna bredvid objekten och de förutnämnda relationerna finns i rutorna mellan objekten (Gunning et al., 2010). Att databasen är graf-baserad gör att SME:erna lättare förstår hur kunskapsbasen fungerar, men trots detta behöver de gå igenom 20 timmars träning för att klara av att lägga till kunskap till databasen. I CLIB har SME:n fyra möjliga handlingar; hen kan lägga till ett objekt till grafen, göra 6
7 ett objekt till en instans av en underklass, lägga till en relation mellan två objekt och likställa två objekt med hjälp av UMAP (Gunning et al., 2010). Figur 2. Representation av en celldelning i CLIB. CPL Gunning et. al anser att man inte kan ställa samma krav på träning på de som förväntas ställa frågor och de som förväntas svara på dem. Därför behöver det vara ett lättare system för att ställa frågor, än för att svara på dem. De presenterar två strategier för att lyckas med detta, antingen genom att mot en korpus matcha frågan tills det att programmet lyckas hitta en logisk representation av frågan att svara på, eller genom att göra ett program som kan processa naturligt språk generellt. För att förenkla arbetet valde forskargruppen att använda språket CPL som frågeställningsspråk (Gunning et al., 2010). I CPL har en mening formen: subjekt + verb + objekt + komplement + bestämning, där bestämningen är ett frivilligt tillägg. Detta gör det lättare för applikationen att tyda frågan och det är inte alltför svårt för användaren 7
8 att ställa frågor på denna form. Nackdelen med att använda ett förenklat språk är att också frågan kan behöva förenklas (Gunning et al., 2010). KM för att resonera kring kunskap För att kunna svara på frågor resonerar AURA kring frågan med hjälp av KM. AURA har också mjukvara för att lösa matematiska problem och en grafsökningsfuntkion för att hitta relationer mellan koncept. För kemifrågor finns det en modul som känner igen kemiska ämnen. AURA kan också skriva egna enkla förklaringar till svaren den ger genom ett stegvis förklarande system (Gunning et al., 2010). 8
9 Diskussion Jag tycker att Inquire Biology är en önskad utveckling för utbildningshjälpmedel. Att göra böcker interaktiva gör att fler typer av inlärning sker på samma gång och att fler studenter kommer ha större möjlighet att lära sig på det sätt som passar just dem bäst. Vulcan Inc.:s övergripande mål tycker jag är ett inspirerande, om än svårtacklat mål. Det känns som att de gjort en bra början och jag är lite besviken att jag inte sett några nyare artiklar än 2013 från dem, då utvecklingen mot en Digital Aristoteles definitivt är någonting som är värt att följa. En av de största begränsningarna med applikationen AURA som helhet är att det behövs experter för att lägga in kunskapen i systemet. Om man hade kunnat automatisera detta så skulle AURA kunna bli färdig och en nytta och inte bara ett experiment som kostar pengar. Den näst största begränsningen anser jag är att AURA använder sig av CPL, eftersom det gör att varje användare måste bli instruerad i hur hen ska använda systemet. För båda dessa problem skulle processering av naturligt språk vara ett stort framsteg. Då detta skulle hjälpa applikationen att inte bara förstå och kunna svara på frågor, utan också göra projektet mer kostnadseffektivt. 9
10 Referenser Chaudhri, V.K., Cheng, B., Overtholtzer, A., Roschelle, J., Spaulding, A., Clark, P., Greaves, M., Gunning, D. (2013). Inquire Biology: A Textbook That Answers Questions. AI MAGAZINE. Volym 34, Nummer 3, s Chaudhri, V.K., Son T.C. (2012). Specifying and Reasoning with Underspecified Knowledge Bases Using Answer Set Programming. 13 th International Conference on Principles of Knowledge Representation and Reasoning. Submitted paper. Gunning, D., Chaudhri, V.K., Clark, P.E., Barker, K., Chaw, S., Greaves, M., Grosof, B., Leung, A., McDonald, D.D., Mishra, S., Pacheco, J., Porter, B., Spaulding, A., Tecuci, D., Tien, J. (2010). Project Halo Update Progress Toward Digital Aristotle. AI MAGAZINE. Volym 31, Nummer 3, s Okänd författare. ( ). The Knowledge Machine. Hämtad från: Reece, J.B., Urry, L.A., Cain, M.L., Wasserman, S.A., Minorsky, P.V., Jackson, R.B. (2010). Campbell Biology (9th edition). Boston: Benjamin Cummings/Pearson. s
Beräkning med ord. -hur en dator hanterar perception. Linköpings universitet Artificiell intelligens 2 2010-10-03 Erik Claesson 880816-1692
Beräkning med ord -hur en dator hanterar perception 2010-10-03 Erik Claesson 880816-1692 Innehåll Inledning... 3 Syfte... 3 Kan datorer hantera perception?... 4 Naturligt språk... 4 Fuzzy Granulation...
Läs merOntologier. Cassandra Svensson 2014-01-09
Ontologier Cassandra Svensson 2014-01-09 Sammanfattning Jag har läst Annika Flycht-Ericssons avhandling Design and Use of Ontoligies in information-providing Dialogue Systems. Med Annikas text som utgångspunkt
Läs merBakgrund. Genomförande
Datorprogrammet BioMolCraft hjälper studenter till en interaktiv inlärning av cellulära processer Bakgrund Syftet med projektet var att utveckla en mjukvara för interaktiv inlärning av cellulära processer
Läs merDD1350 Logik för dataloger. Vad är logik?
DD1350 Logik för dataloger Fö 1 - Introduktion Vad är logik? Vetenskapen som studerar hur man bör resoneraoch dra slutsatser utifrån givna påståenden (=utsagor, satser). 1 Aristoteles (384-322 f.kr) Logik
Läs merKunskapens miljonprogram. Sverker Johansson Högskolan Dalarna
Kunskapens miljonprogram Sverker Johansson Högskolan Dalarna Från arkivdata till miljoner Wikipediaartiklar Sverker Johansson (Lsj) Wikipedia Imagine a world in which every single person on the planet
Läs merEn fråga som ibland dyker upp är den om illamående och kräkningar. Kan man med någon omvårdnadsintervention göra det lättare för patienten.
Sökexempel - EBM Sjuksköterskor En fråga som ibland dyker upp är den om illamående och kräkningar. Kan man med någon omvårdnadsintervention göra det lättare för patienten. Även om man bör börja med att
Läs merStina Nyman 2012-09-16
LINKOPINGS UNIVERSITET, IDA SmartKom Hur systemet fungerar Stina Nyman 2012-09-16 stiny786 Artificiell intelligens II Sammanfattning Detta projekt kommer handla om SmartKom som är ett multimodalt dialogsystem
Läs merSmå förändringar. Stora resultat.
FileMaker Developer Conference 2017 Presenter Series Små förändringar. Stora resultat. En guide till ett perfekt gränssnitt. Martha Zink, Soliant Consulting, Inc. FileMaker Developer Conference DevCon
Läs merSammanfattning av modulen modeller och representationer Hur går jag vidare?
Naturvetenskap - gymnasieskolan Modul: Modeller och representationer Del 8: Representationskompetens Sammanfattning av modulen modeller och representationer Hur Konrad Schönborn, Linköpings universitet
Läs merSo ka artiklar och annan litteratur
1 So ka artiklar och annan litteratur UB:s startsida är en bra startpunkt när du ska söka litteratur vare sig du letar efter böcker eller artiklar. Sökrutan är nästan det första du lägger märke till. Bakom
Läs merSimulering av brand i Virtual Reality
Simulering av brand i Virtual Reality Bakgrund Användningen av virtual reality (VR, virtuell verklighet) som ett forskningsverktyg inom brandteknik och utrymning har på senare tid visat sig vara mycket
Läs merSöka artiklar i CSA-databaser Handledning
På Malmö högskola har vi flera databaser via CSA, bl.a. Sociological Abstracts, Social Services Abstracts, ERIC och PsychInfo, det betyder att gränssnittet för dessa databaser ser likadana ut. Om du har
Läs merUniverse Engine Rapport
1 Universe Engine Rapport Alexander Mennborg 2017-05-08 2 Inledning I denna rapport diskuteras utvecklingsprocessen till projektet Universe Engine. Denna diskussion omfattar hela utveckling från starten
Läs merFuzzy Logic. När oskarpa definitioner blir kristallklara. Åsa Svensson. Linköpings Universitet. Linköping
Fuzzy Logic När oskarpa definitioner blir kristallklara Linköpings Universitet Linköping Sammanfattning I denna fördjupningsuppgift har jag fokuserat på Fuzzy Logic och försökt att beskriva det på ett
Läs merFörmågor i naturvetenskap, åk 1-3
Förmågor i naturvetenskap, åk 1-3 I Lgr11 betonas att eleverna ska använda sina naturvetenskapliga kunskaper på olika sätt. Det formuleras som syften med undervisningen och sammanfattas i tre förmågor.
Läs merUtbildningsplan Dnr CF 52-66/2007. Sida 1 (7)
Utbildningsplan Dnr CF 52-66/2007 Sida 1 (7) PROGRAMMET FÖR SIMULERING OCH DATASPELSUTVECKLING, 180 HÖGSKOLEPOÄNG Programme in Simulation and Computer Game Development, 180 ECTS Utbildningsplanen är inrättad
Läs merI CINAHL hittar du referenser till artiklar inom omvårdnad och hälsa. Även en del böcker och avhandlingar finns med.
CINAHL Vad innehåller CINAHL? I CINAHL hittar du referenser till artiklar inom omvårdnad och hälsa. Även en del böcker och avhandlingar finns med. Fritextsökning Fritextsökning innebär att du söker i alla
Läs merSå får du Microsofts Office-paket gratis
Så får du Microsofts Office-paket gratis 7 Kör Word, Excel, Powerpoint och Onenote i webbläsaren 7 Dela dina dokument 7 För dator, mobil och platta. Kom igång med Microsoft Skydrive och Office Web Apps
Läs merFöreläsning 5 5DV086 - Programspråk
Föreläsning 5 5DV086 - Programspråk Petter Ericson (pettter@cs.umu.se) Umeå University 6 februari, 2015 Haskell-frågor? Haskell-tips do-syntax State-monaden Dagens plan Programspråksteori Varför? Vad?
Läs merArtificiell intelligens, eller Kommer din dator att bli klokare än dig? (eller kanske är den redan det?)
Artificiell intelligens, eller Kommer din dator att bli klokare än dig? (eller kanske är den redan det?) 1.a November 2011 Innan vi börjar R.I.P. John McCarthy (1924 2011) Grundare av ämnet artificiell
Läs merSpace Invaders - Slutrapport
Projekt inda14 Sida 1 av 6 Space Invaders - Slutrapport A. Projektplanen Programbeskrivning Vi tänker göra en version av det gamla arkadspelet Space Invaders i java. Spelet går ut på att spelaren styr
Läs merAnkarmodellering L A R S R Ö N N B Ä C K
!i Ankarmodellering L A R S R Ö N N B Ä C K information kärlek pengar 1900 1950 2000 2 Big Data fyra V*! Volume! större mängder! Velocity! samla, processa och använda snabbare! Variety! fler källor, fler
Läs merRegression med Genetiska Algoritmer
Regression med Genetiska Algoritmer Projektarbete, Artificiell intelligens, 729G43 Jimmy Eriksson, jimer336 770529-5991 2014 Inledning Hur många kramar finns det i världen givet? Att kunna estimera givet
Läs merProjektarbete 2: Interaktiv prototyp
Projektarbete 2: Interaktiv prototyp Jonatan Hilmarch (Grupp 13) 880427-5595 hilmarch@skip.chalmers.se Kurs: Människa-Datorinteraktion TIG061 HT 2010 Projekt 1 - en tillbakablick Enligt projektets systemdefinition
Läs merFuzzy Logic Linköpings Universitet
Fuzzy Logic Linköpings Universitet 2 Innehållsförteckning 1. Inledning... 4 2. Bakgrund... 4 3. Fuzzy Logic... 5 3.1. Fuzzy Sets... 6 4. Operatorer... 7 4.1. Union och snitt... 7 4.2. IF, THEN, AND och
Läs merDisciplinära diskurser i naturvetenskap och matematik
Disciplinära diskurser i naturvetenskap och matematik Jonas Forsman, Staffan Andersson, Jannika Andersson Chronholm, Cedric Linder Avdelningen för fysikens didaktik, Institutionen för fysik och materialvetenskap,
Läs mer5HVLVWHQVWDEHOO 'DWD3DUWQHU. Er partner inom data
5HVLVWHQVWDEHOO Tack för att du valde programmet 5HVLVWHQVWDEHOO! Vi hoppas att programmet ska vara till stor hjälp i ditt arbete. Har du synpunkter på programmet är du mycket välkommen att höra av dig
Läs merGleerups digitala läromedel. Info till dig som vårdnadshavare
Gleerups digitala läromedel Info till dig som vårdnadshavare Hej! Är det dags för ditt barn att börja använda digitala läromedel för första gången, eller har barnet varit igång ett tag, men du som vårdnadshavare
Läs merLärarhandledning. Uppdrag Nobel ett pedagogiskt verktyg. Version 1.0
Uppdrag Nobel ett pedagogiskt verktyg Lärarhandledning Version 1.0 OBS! Denna handledning är ett pågående arbete. Kom gärna med kommentarer och förslag till förbättningar och förändringar efter att du
Läs mer1. (3p) Inom MDI-området framhåller man att människor lär sig via metaforer. Hur menar man att detta går till?
1. (3p) Inom MDI-området framhåller man att människor lär sig via metaforer. Hur menar man att detta går till? Att lära sig via metaforer innebär att man drar nytta av kunskap som användaren redan har,
Läs merHandledning för publicering av avhandlingar och andra vetenskapliga publikationer i DiVA
Handledning för publicering av avhandlingar och andra vetenskapliga publikationer i DiVA Innehållsförteckning Instruktion för att lägga in din avhandling i DiVA... 2 Publicera avhandlingen... 2 Publicering
Läs merUB:s sö ktjä nst - Söka artiklar och annan litteratur
1 UB:s sö ktjä nst - Söka artiklar och annan litteratur Innehåll Börja här... 2 Logga in... 2 Mitt konto... 3 Adressändring... 3 Spara sökresultat... 4 Sökhistorik & litteraturbevakning... 5 Söka, välja,
Läs merSvensk nationell datatjänst, SND BAS Online
Pass 3: Metadata Vad är metadata? I den här presentationen kommer jag ge en introduktion till metadata och forskningsdata på ett principiellt plan. Vi kommer bland annat titta lite närmare på vad metadata
Läs merSummering: Workshop 14/3-19
2 Summering: Workshop ehealth@lu 14/3-19 Vi började workshopen med en summering av vad som har hänt sen sist, nya utlysningar som kommer under våren presenterades (länkar finns på hemsidan) och även kort
Läs merÖppna data för robotar ger tillgängliga data för människor. Sverker Johansson Högskolan Dalarna
Öppna data för robotar ger tillgängliga data för människor Sverker Johansson Högskolan Dalarna Från öppna data till miljoner Wikipediaartiklar Sverker Johansson (Lsj) Wikipedia Imagine a world in which
Läs merRepresentationskompetens förmågan att använda modeller och representationer
Naturvetenskap - gymnasieskolan Modul: Modeller och Del 8: Representationskompetens Representationskompetens förmågan att använda modeller och Konrad Schönborn, Linköpings universitet På samma sätt som
Läs merBakgrund och motivation. Definition av algoritmer Beskrivningssätt Algoritmanalys. Algoritmer. Lars Larsson VT 2007. Lars Larsson Algoritmer 1
Algoritmer Lars Larsson VT 2007 Lars Larsson Algoritmer 1 1 2 3 4 5 Lars Larsson Algoritmer 2 Ni som går denna kurs är framtidens projektledare inom mjukvaruutveckling. Som ledare måste ni göra svåra beslut
Läs merAIDA ARTIFICIELL INTELLIGENS FÖR DETALJPLANEARBETE
ARTIFICIELL INTELLIGENS FÖR DETALJPLANEARBETE Problemet Cirka 100.000 analoga gällande detaljplaner i Sverige. Det tar cirka 1 dag att digitalisera en plan Detta betyder 274 års arbete (utan semester)
Läs merInnehåll INNEHÅLL. Teckenförklaring... 2. Komma igång
2015 INNEHÅLL Teckenförklaring.... 2 Innehåll Komma igång Starta programmet.... 4 Ställ in skärm/projektor... 5 Slå på fönsterläge.... 5 Laddningsskärm.... 6 Ämnesmodul.... 7 Ämnesområde... 8 Ämnesdel....
Läs merVälj två värden på volymen x och avläs i figuren motsvarande värden på vattenytans höjd h. Beräkna ändringskvoten för de avlästa värdena.
Vid bedömning av ditt arbete med uppgift nummer 15 kommer läraren att ta hänsyn till: Hur väl du argumenterar för dina slutsatser Hur väl du använder matematiska ord och symboler Hur väl du genomför dina
Läs merTFYY51 Informationssökning
TFYY51 Informationssökning Göran Lindgren Med inspiration och lån av ppt-bilder från Joakim Westerlund, Linköpings universitetsbibliotek, samt North Carolina State University Libraries, www.lib.ncsu.edu
Läs merQuadri DCM Handledning för administratörer och användare i projekt som kör Quadri DCM. Version 19.20 2014-08-15
Quadri DCM Handledning för administratörer och användare i projekt som kör Quadri DCM Version 19.20 2014-08-15 Innehåll Syfte... 2 Inledning... 3 Begreppslista... 4 Förberedelser... 6 Quadri Model Manager
Läs merObjektorienterad programmering
Objektorienterad programmering Emil Ahlqvist (c10eat@cs.umu.se) Didrik Püschel (dv11dpl@cs.umu.se) Johan Hammarström (c08jhm@cs.umu.se) Hannes Frimmel Moström (c10hml@cs.umu.se) 1 1. Introduktion 1.1 Objektorienterad
Läs merLOKAL EXAMENSBESKRIVNING
Dnr G 2017/412 IT-FAKULTETEN LOKAL EXAMENSBESKRIVNING Filosofie kandidatexamen med huvudområdet kognitionsvetenskap Degree of Bachelor of Science with a major in Cognitive Science 1. Fastställande Examensbeskrivning
Läs merNya Medier. Gränssnitt, Interaktivitet och Digital kod
Nya Medier Gränssnitt, Interaktivitet och Digital kod Människa-Dator: Gränssnittet Tre lager tas upp i boken: Fysiska apparaten som möjliggör för användaren att styra/använda datorn Mjukvara som organiserar
Läs merViktigt om informationssökning
Introduktion till UB Saker du behöver veta om UB:s webb, Söktjänsten och vår katalog Album samt Artikelsök. Helen Hed Bibliotekarie, Umeå universitetsbibliotek, vt 2016 Viktigt om informationssökning Sker
Läs merMjukvarudesign. Designprocessen. Teknisk design. Konceptuell design
RE SD PD I UT IT ST AT Mjukvarudesign System Requirement Specification Inkrementell och iterativ! Konceptuell design (VAD) Systemdesign (OOA) Arkitekturell (grovkornig, UML) Teknisk design (HUR) Programdesign
Läs merNaturvetenskapsprogrammet (NA)
Naturvetenskapsprogrammet (NA) Naturvetenskapsprogrammet (NA) ska utveckla elevernas kunskaper om sammanhang i naturen, om livets villkor, om fysikaliska fenomen och skeenden och om kemiska processer.
Läs merSteg-för-steg-guide så lånar du en e-bok på en dator!
Steg-för-steg-guide så lånar du en e-bok på en dator! För datorer (PC/Mac) rekommenderar vi att använda gratisprogrammet Adobe Digital Editions. 1. Skaffa lånekort och PIN-kod. För att låna e-medier krävs
Läs merAbout The Cochrane Collaboration (Cochrane Groups) Information om The Cochrane Collaboration och de olika forskargrupperna och kontaktpersoner.
TheCochraneLibrary Vad är The Cochrane Library? Cochrane-biblioteket är ett evidensbaserat beslutsstödsystem med syftet att samla in, kvalitetsvärdera och sammanfatta kliniska studier om effekterna av
Läs merForskning och utveckling inom språkteknologi Uppgift 3: Projektförslag Parallelliserad dependensparsning i CUDA
Forskning och utveckling inom språkteknologi Uppgift 3: Projektförslag Parallelliserad dependensparsning i CUDA Evelina Andersson 18 maj 2011 1 Introduktion Att träna mycket för att bli duktig på ett språk
Läs merGrafisk visualisering av en spårbarhetslösning
Datavetenskap Opponenter Johan Kärnell och Linnea Hjalmarsson Respondenter Agni Rizk och Tobias Eriksson Grafisk visualisering av en spårbarhetslösning Oppositionsrapport, C-nivå Report 2011:06 1. Generell
Läs merArtificiell intelligens, eller Kommer din dator att bli klokare än dig? (eller kanske är den redan det?)
Artificiell intelligens, eller Kommer din dator att bli klokare än dig? (eller kanske är den redan det?) 4e november 2014 Intelligens Vad är det? ett mänskligt egenskap Kan det jämföras? Kan det mätas?
Läs merX-jobbs katalog. Medius R&D November 2011
X-jobbs katalog Medius R&D November 2011 Contents ERP och Workflow System... 2 ipad och workflow system... 3 Nya möjligheter med HTML5... 4 Nya alternativ för affärsregelmotorer... 5 Process Intelligence
Läs merSystemutvecklare SU13, Malmö
Systemutvecklare SU13, Malmö Tentamen, delkurs Programmeringsteknik C#, del 1 (30 YH-poäng) Plats: Plushögskolan Malmö Tid: 3 oktober 2014, kl. 9.00-13.00 Tillåtna hjälpmedel: Papper, penna, suddgummi,
Läs merSlutrapport för Internetfonden
Slutrapport för Internetfonden Webbprogrammering i matematik och fysikundervisning Mikael Tylmad mikael@roboro.se Fredrik Atmer fredrik.atmer@gmail.com Ella Kai-Larsen e@k-l.se 10 april 2014 http://www.profyma.se/
Läs merPowerPoint Online Versi on 1.0 Skolkontoret
PowerPoint Online Version 1.0 Skolkontoret 1 Innehåll Vad är Powerpoint Online?... 3 Manual steg för steg i Powerpoint Online... 4 Logga in... 4 Skapa en presentation... 4 Lägga till och formatera text...
Läs merPresentationsprogram - Kravspecifikation. Henrik Österdahl och Jenny Melander, D mars 2002
Presentationsprogram - Kravspecifikation Henrik Österdahl och Jenny Melander, D-01 18 mars 2002 1 Innehåll 1 Inledning 3 1.1 Mål................................... 3 1.2 Omfattning...............................
Läs merBusiness research methods, Bryman & Bell 2007
Business research methods, Bryman & Bell 2007 Introduktion Kapitlet behandlar analys av kvalitativ data och analysen beskrivs som komplex då kvalitativ data ofta består av en stor mängd ostrukturerad data
Läs merRemoteBud. Inlämnas: Patrik Johnsson, e01pjo Viktor Karlsson, e01vk
RemoteBud Inlämnas: 2005-02-01 Patrik Johnsson, e01pjo Viktor Karlsson, e01vk Abstract Skulle du också vilja styra dina lampor och rulla ner dina persienner med hjälp av din TV-fjärrkontroll? Remotebud
Läs merOneNote Version 1.0 Skolkontoret
OneNote Version 1.0 Skolkontoret 1 Innehåll Vad är OneNote Online?... 3 Manual steg för steg... 4 En första översikt... 4 Logga in... 5 Skapa ny anteckningsbok... 5 Menyflikarna i OneNote online... 6 Skapa
Läs merMälardalens högskola
Teknisk rapportskrivning - en kortfattad handledning (Version 1.2) Mälardalens högskola Institutionen för datateknik (IDt) Thomas Larsson 10 september 1998 Västerås Sammanfattning En mycket viktig del
Läs merGenetisk programmering i Othello
LINKÖPINGS UNIVERSITET Första versionen Fördjupningsuppgift i kursen 729G11 2009-10-09 Genetisk programmering i Othello Kerstin Johansson kerjo104@student.liu.se Innehållsförteckning 1. Inledning... 1
Läs merAristi Fernandes Examensarbete T6, Biomedicinska analytiker programmet
Kursens mål Efter avslutad kurs skall studenten kunna planera, genomföra, sammanställa och försvara ett eget projekt samt kunna granska och opponera på annan students projekt. Studenten ska även kunna
Läs merCreo Customization. Lars Björs 2014-10-16
Creo Customization Lars Björs 2014-10-16 Norra Europas största partner och återförsäljare av PTC relaterad programvara (Windchill, Creo, Arbortext, MathCad, Relex) 70 anställda Egen utvecklingsavdelning
Läs merElevernas uppfattningar om alltmer digitaliserad undervisning
Resultat Elevernas uppfattningar om alltmer digitaliserad undervisning Fråga 1 Mycket inspirerande (6) till mycket tråkigt (1) att arbeta med etologisidan Uppfattas som mycket inspirerande eller inspirerande
Läs merPublikationstyp Konferensbidrag
Publikationstyp Konferensbidrag 1. Underkategori Underkategori är ett obligatoriskt fält för forskaren att fylla i. Fältet kontrolleras av granskare på biblioteket och ändring görs om kategorin inte stämmer
Läs merRoboten. Sida 1 av 11
EV3 ipad Roboten Fyra output portar A,B,C och D(motorer) Fyra input portar 1,2,3 och 4 (sensorer) USB, Bluetooth, eller Wi-Fi koppling 16 MB flash minne 64 MB RAM SD Card Port: 32 GB Flera inbyggda verktyg
Läs merLathund för QlikView system/it stöd för Business Intelligence
1 Lathund för QlikView system/it stöd för Business Intelligence Innehållsförteckning: Licenser och tillgång... 2 AccessPoint... 3 QlikView... 6 Begrepp... 6 Hur QlikView fungerar... 6 Göra val... 7 Radera
Läs merEV3 Design Engineering Projects Koppling till Lgr11
EV3 Design Engineering Projects Koppling till Lgr11 När man arbetar med LEGO i undervisningen så är det bara lärarens och elevernas fantasi som sätter gränserna för vilka delar av kursplanerna man arbetar
Läs merPublikationstyp Artikel i tidskrift, Artikel, forskningsöversikt och Artikel, recension
Publikationstyp Artikel i tidskrift, Artikel, forskningsöversikt och Artikel, recension 1. Underkategori Underkategori finns för publikationstypen Artikel i tidskrift, och används till exempel för artiklar
Läs merDnr G 2014/566 LOKAL EXAMENSBESKRIVNING Examensbenämning (svensk): Filosofie kandidatexamen med huvudområdet kognitionsvetenskap Examensbenämning (eng
Dnr G 2014/566 LOKAL EXAMENSBESKRIVNING Examensbenämning (svensk): Filosofie kandidatexamen med huvudområdet kognitionsvetenskap Examensbenämning (engelsk): Degree of Bachelor of Science with a major in
Läs merHUGO-projektet. Kartläggningen av det mänskliga genomet
Vem är HUGO? HUGO-projektet Kartläggningen av det mänskliga genomet Kartläggning av genom Genom= allt DNA hos en organism. Kartläggningen sker genom att man bestämmer DNA-sekvensen för hela genomet och
Läs merVad är. Domändriven design?
Vad är Domändriven design? 1 Domändriven design är utvecklare och domänexperter som arbetar tillsammans för att skapa mjukvara som är både begriplig och möjlig att underhålla. ett sätt att fånga och sprida
Läs merTNK046 GIS - Databaser Laborationsuppgift 1 Introduktion till Microsoft Access 2007
Linköpings tekniska högskola ITN / Campus Norrköping Jan Petersson Uppdaterad av Marky Egebäck 17 november 2009 TNK046 GIS - Databaser Laborationsuppgift 1 Introduktion till Microsoft Access 2007 Översikt
Läs merFöreläsning 7 Mentala modeller, metaforer och emotionell interaktion. Kapitel 5 (3) i Rogers et al.
Föreläsning 7 Mentala modeller, metaforer och emotionell interaktion Kapitel 5 (3) i Rogers et al. Översikt Human Action Cycle Konceptuella modeller Metaforer ikoner Emotionell design Antropomorfism Agenter
Läs merFuzzy logic. Julia Birgersson, julbi
Fuzzy logic, Innehållsförteckning Inledning 3 Vad är Fuzzy Logic, varför finns det? 3 Fuzzy sets och crisp sets 4 Medlemsfunktioner 4 Operationer 7 Lingvistiska termer och lingvistiska variabler 9 Artificiell
Läs merInledande programmering med C# (1DV402) Introduktion till C#
Introduktion till C# Upphovsrätt för detta verk Detta verk är framtaget i anslutning till kursen Inledande programmering med C# vid Linnéuniversitetet. Du får använda detta verk så här: Allt innehåll i
Läs merLathund till PEP. AND: begränsar sökningen, båda sökorden måste förekomma i samma referens, t.ex. infantile AND sexuality
Lathund till PEP Databasen PEP (Psychoanalytic Electronic Publishing) innehåller 59 tidskrifter och 96 klassiska böcker inom psykoanalys. Dessutom innehåller PEP fulltext och redaktörskommentarer till
Läs merTDDD92 Artificiell intelligens -- projekt
jonas.kvarnstrom@liu.se 2018 TDDD92 Artificiell intelligens -- projekt Individuella uppgifter UPG2: Individuell skriftlig rapport 2 Vad? Läsa och förstå vetenskaplig litteratur Varför? Framtiden: Inte
Läs merPublikationstyp Kapitel i bok, del av antologi
Publikationstyp Kapitel i bok, del av antologi 1. Författare Fyll i lokalt användarid. ORCID-id är ett internationellt, unikt forskar-id. Ett ORCID-id innehåller 16 siffror: 0000-0002-1825-0097. Organisationstillhörighet
Läs merOpen Access i Sverige
Open Access i Sverige Jan Hagerlid Avdelningen för Nationell samverkan, KB Samordnare för programmet OpenAccess.se SUB den 5 oktober 1 Vem gör vad? Policy för Open Access Utveckling av öppna fulltextarkiv
Läs merDiaNa Dialog för Naturvetare och teknologer Lena Henriksson, IBG,
DiaNa Dialog för Naturvetare och teknologer Lena Henriksson, IBG, 2012-09-03 Varför behöver ni DiaNa? Utvecklande Meriterande Efterfrågat av akademin, industrin, Grupp interaktion Vad kan ni göra för att
Läs merImperativ programmering. Föreläsning 4
Imperativ programmering 1DL126 3p Föreläsning 4 Imperativa paradigmer Ostrukturerad programmering Strukturerad programmering Procedurell programmering Objektorienterad programmering Klassbaserad programmering
Läs merFRÅttwtKrsTlLL MATTEFILMER. - omikt i skolan. ';j, :d- r..'11*{s"n"-' :Jr. i ri:sslr:,iriitlr
FRÅttwtKrsTlLL MATTEFILMER - omikt i skolan :Jr r..'11*{s"n"-' :d- ';j, i ri:sslr:,iriitlr ffiffihxxnffi ffi*# ffiasfrfrgä Smxsrfrillem Konkret, Lekfullt. Roligt. Det är några omdömen om Rutiga familjen,
Läs merSP Sveriges Tekniska Forskningsinstitut. Magnus Mörstam
SP Sveriges Tekniska Forskningsinstitut Magnus Mörstam VILKEN KOMPETENS BEHÖVER SVENSK INDUSTRI FÖR ATT TA DEL AV INDUSTRI 4.0? Om vi tycker det gått fort nu...är det inget emot vad som kommer hända de
Läs merEva Norén, Anette de Ron och Lisa Österling, Stockholms universitet
Matematik Grundskola åk 1-9 Modul: Språk i matematik Del 3: Cirkelmodellen - texter i matematik Texter i matematik Eva Norén, Anette de Ron och Lisa Österling, Stockholms universitet I matematikklassrummet
Läs merSö ka artiklar öch annan litteratur
1 Sö ka artiklar öch annan litteratur UB:s startsida är en bra startpunkt när du ska söka litteratur. Sökrutan är nästan det första du lägger märke till. Bakom denna sökruta döljer sig en databrunn och
Läs merHyper Threading Intels implementation av SMT. Datorarkitekturer med operativsystem - EITF60. Felix Danielsson IDA2
Hyper Threading Intels implementation av SMT Datorarkitekturer med operativsystem - EITF60 Felix Danielsson IDA2 Sammanfattning Simultaneous multithreading (SMT) är en teknik som används i processorer
Läs merBarns nyfikenhet på att upptäcka utforska nya saker och fenomen är för oss så fascinerande och barns strålande ögon gör oss särskilt glada.
Art.nr. 21005 LogiKit Innehåll: - 1 träram med magnetstift - 16 uppläggningskort - 1 beskrivning Ålder: 3+ Spelare 1 Författare: Angelika & Jürgen Lange Barns nyfikenhet på att upptäcka utforska nya saker
Läs merObjektorienterad Programkonstruktion. Föreläsning 6 23 nov 2015
Objektorienterad Programkonstruktion Föreläsning 6 23 nov 2015 Designmönster Färdiga "recept" för att lösa (del-)problem i struktureringen av ens program Mönster kan beskriva små komponenter eller stora
Läs merde var svåra att implementera och var väldigt ineffektiva.
OBS! För flervalsfrågorna gäller att flera alternativ eller inget alternativ kan vara korrekt. På flervalsfrågorna kan man bara ha rätt eller fel, dvs frågan måste vara helt korrekt besvarad. Totalt kan
Läs merVarför ska man använda ett CMS? Vilka är fördelarna och är det alltid bra? Kattis Lodén 2010-03-18
Varför ska man använda ett CMS? Vilka är fördelarna och är det alltid bra? Kattis Lodén 2010-03-18 Innehåll Inledning... 3 Fakta... 4 Innehåll... 4 Texthantering... 4 Granskning och versionshantering...
Läs merRedogörelse för utvecklingsprocessen av spelet The Legend of Chalmers
Redogörelse för utvecklingsprocessen av spelet The Legend of Chalmers Ett projekt i kursen TDA367 Objektorienterat programmeringsprojekt och LSP310 Kommunikation och ingenjörskompetens Maxim Goretskyy
Läs merDatakörkortet. www.dfs.se/datakorkortet. Dataföreningen Det Europeiska Datakörkortet, Maj 2003
Datakörkortet av sig för att ta Varför Datakörkortet ECDL? Förkortningen ECDL står för European Computer I bara Datakörkortet.Datakörkortet vänder sig till både företag och privatpersoner. Datakörkortet
Läs merGuide för frågeassistenter
NEONOVA Guide för frågeassistenter Neonova AB Adress: Turistvägen 42D, 820 40 Järvsö Telnr: 0651 414 80 Orgnr: 556755 7458 E-post: info@neonova.se Webb: neonova.se Förebyggande arbete Den här handledningen
Läs merHandelshögskola välkomnar integrerad undervisning, externa lärare driver på resultaten. European School of Management and Technology (ESMT)
Handelshögskola välkomnar integrerad undervisning, externa lärare driver på resultaten ESMT (European School of Management and Technology) strävar efter att ge sina studenter den optimala inlärningsupplevelsen.
Läs merMer OOP. Variation i typ. Medlen repetition. Generiska klasser. Gränssnitt - Interface. Mer om klasser Några exempel UML
Målet Mer OOP Mer om klasser Några exempel UML Modularitet Språkligt modulära enheter Få gränssnitt Små gränssnitt Tydliga gränssnitt Dold information Återanvändbarhet Variation i typer Variation i datastrukturer
Läs merPreliminär specifikation av projekt
Preliminär specifikation av projekt Projektets namn: Infraröd Minneslåda (numera omdöpt till FastSync) Uppdragsgivare: Alex Olwal aolwal@cs.columbia.edu Deltagare: Johan Ullberg Nils
Läs merPEC: European Science Teacher: Scientific Knowledge, Linguistic Skills and Digital Media
PEC: Fredagen den 22/9 2006, Forum För Ämnesdidaktik The aim of the meeting A presentation of the project PEC for the members of a research group Forum För Ämnesdidaktik at the University of Gävle. The
Läs mer