Oppositionsprotokoll. Var det lätt att förstå vad exjobbet gick ut på? Kommentarer.

Storlek: px
Starta visningen från sidan:

Download "Oppositionsprotokoll. Var det lätt att förstå vad exjobbet gick ut på? Kommentarer."

Transkript

1 Oppositionsprotokoll Rapportförfattare: CARL BJÖRKMAN, MICHEL CUPURDIJA Rapportens titel: Igenkänning av instanslösningar i OpenCL Opponent: SAMUEL WEJÉUS Var det lätt att förstå vad exjobbet gick ut på? Kommentarer. Tyvärr var det rätt krångligt att förstå vilket problem de hade för avsikt att undersöka. Många olika begrepp togs upp och det var rätt svårt att förstå vad de specifierade sig mot innan hela rapporten lästs. Titeln för rapporten anger att arbetet kommer handla om Igenkänning av instanslösningar i OpenCL. I referatet anges att rapporten kommer handla om en undersökning av ramverket OpenCL genom att skapa en implementation av en problemlösare för verbalaritmetik. Vad sedan rapporten faktiskt handlar om är en jämförelse mellan olika verbalaritmetiklösare som körs, och använder sig av, olika typer av hårdvara. Jag är av den uppfattningen att en stor del av projektet gick ut på att konstruera en verbalaritmetiklösare (nämns i referatet) men prolemformuleringen nämner inget om detta och förklaringen av vad verbalaritmetik är kommer först i kapitel 4. För att vidareutveckla problematiken i de frågeställningar som identifierats i texten samt den fakta jag som läsare förväntar mig kunna hitta i rapporten ger jag här en punktlista över de frågor och påståenden som ställs och för vika jag inte kunnat hitta något svar! I denna uppsats ska vi undersöka hur mycket prestanda man kan vinna vid beräkningsintensiva probleminstanser och hur mycket tid som går åt till att göra implementationen i detta ramverk istället för en sekventiell implementation i språket C+ +. Denna fråga tolkar jag som att de även ämnar undersöka skillnaden i utvecklingstid. Ingen disskusion för denna fråga går att finna så när som på en kort mening över hur många timmar som lades ner på implmentation. Som testproblem använder vi det matematiska spelet verbalaritmetik. Detta problem har visats vara NP-fullständigt[8] och instanser av problemet blir därav väldigt beräkningsintensiva att lösa med en brute force-algoritm. Denna egenskap gör att problemet lämpar sig väl för testningsändamål. Varför gör dessa egenskaper att problemet är lämpligt? Vår hypotes är att en probleminstans av tillräckligt hög storlek kommer att kunna lösas snabbare med OpenCL på en dator med ett tillräckligt kraftfullt grafikkort än en vanlig C+ +-implementation kan lösa samma instans. Vad är en tillräckligt hög storlek på probleminstans? Hur tycker du att titeln avspeglar rapportens innehåll?

2 Mycket av svaret är gett genom tidigare kommentar. Björkman och Cupurdija anger i inledningen till kapitel 4, jag citerar; Vårt syfte är att använda OpenCL för att hitta lösningar till instanser av svåra problem. vilket är en direkt motsägelse mot titeln för rapporten då titeln syftar till igenkänning och inte att finna lösningar. Jag anser det vara två helt skilda syften. Hur beskrev författaren bakgrunden till exjobbet? Finns det en introduktion till och översikt av området? (följande paragraf är skrivet mot bakgrund av vad som presenterats i kapitel 1: Introduktion ) Det finns en kort introduktion som rätt knapphändigt motiverar vikten av deras undersökta ämne, nämligen paralellprogrammering. Efter en kort introduktion av hur konstruktion av hårdvara, specifikt CPU konstruktion, förändras mot nya arkitekturer dras snabb slutsatsen att varje utvecklare bör satsa på parallella beräkningar. Givet slutsatsen om parallellprogrammeirng känns den inte helt motivierad, eller korrekt, med bakgrund av den fakta som presenteras. Vidare ställer jag mig tveksam till deras resonemang då inledande presentation innehåller flertalet faktafel, rörig blandning av begrepp och icke logiska slutsatser. Som exempel kan ges hur de presenteras Mooreʼs lag som om det vore given fakta, men då det egentligen handlar om en förutsägelse, skapar det en känsla av att de inte riktigt har utforskat området ordentligt. (följande paragraf är skrivet mot bakgrund av vad som presenterats i kapitel 2: Bakgrund samt tidigare kapitel) Bakgrunden beskriver problemet, behovet av parallelism och OpenCL. Vad jag saknar är relaterad forskning samt referenser till denna. Finns det fler alternativ än OpenCL för parallellberäkningar? Det enda som tas upp är två sätt att använda GPU men finns det några andra alternativ som ger samma funktionalitet som OpenCL dvs, kan utnyttja godtycklig beräknings enhet? Jag saknar även referenser till sådan information. Även bakgrunden innehåller faktafel som drar ner helhetsintrycket, som exempel påstår de att företaget AMD skapade och lanserade ett interface kallat Close to metal men faktum är att det var ATI som stod för det (vilket numer är en del av AMD, men vid lanseringstillfället var ett fristående företag). Exempel två: Förutsatt att P!=NP tar det exponentiell tid att känna igen en lösning till en instans. Jag anar att detta möjligtvis kan vara en felskrivning, men vad som denna mening (genom användnng av orden känna igen ) säger är att verifiera en lösning tar exponentiell tid. För det första motsäger de sig själva här då författarna tidigare i texten påstår att en verifikation går i polynomisk tid vidare är det ett felaktigt påstående då det faktiskt finns NP-fullständiga problem som kan lösas i icke-exponentiell tid. Tex independent-set problemet är NP-fullständigt då det begränsas till planära grafer men kan lösas i subexpoentielltid (vilket fortfarande är högt men lägre än exponentiell). Hur väl har författaren motiverat sitt val av metod att angripa problemet? Är metoden väl beskriven? Metoden, att jämföra två olika implementationer (parallell resp. icke-parallell) är väl beskriven men motivationen till varför den icke-parallella implementationen är utformad på

3 det sättet den är saknas. Att utelämna en sådan vital del skapar frågor så som: är den icke-parallella jämförelse implementationen verkligen optimal?. Denna fundamentala fråga påverkar resultatet av deras undersökning då jag som läsare inte helt kan lita på de resultat som presenteras, nämligen den relativa skillnaden i prestanda mellan parallella och icke-parallella program. I kapitel två presenteras en sats Brents Theorem som, vad jag förstår det som, används i hypotesen i kapitel 4. Dock saknas helt och hållet en referens till att denna sats använts och på vilket sätt. Analysen av komplexitet är väldigt krånglig att följa, ett exempel kanske skulle ha underlättat? Författarna påstår att: Det faller naturligt att lösa instanser av verbalaritmetik med rekursion. men ingen motivation ges så jag ställer mig frågande till varför detta val gjorts och om det verkligen är det optimala. Diskuterar författaren huruvida de förutsättningar som gäller för att metoden ska kunna användas är uppfyllda? Ja, här tycker jag att författarna ger tillräckligt med information. Som exempel tas upp hur vissa begränsningar (alternativt kallat designval) gjorda av NVIDIA (se Nvidia watchdog) påverkar resultatet och hur detta har tagits i beaktning i resultat. Har författaren presenterat sina resultat tydligt? Kapitel 4: Hypotes och metod består till stor del av en analys av tidskomplexitet för program skrivna genom användning av parallellprogrammering. Vid presentation av resultat ställs denna nyvunna information aldrig mot förväntat resultat (som borde erhållits genom komplexitetsanalys) denna koppling anser jag väldigt viktig och vid eventuell förbättring av rapporten så rekommenderar jag att prioritera denna punkt. Presentation av resultat sker genom användning av stapeldiagram vilket är väldigt bra då jag som läsare får har lättare att visualisera skillnaden. Jag saknar dock data för dessa diagram i form av tabeller med faktiska värden så att jag själv kan observera resultat. Detta hindrar mig från att eventuellt kunna upprepa försöket och jämföra med tidigare resultat på ett effektivt sätt. Jag saknar även en djupare förklaring av diagrammen, för att motverka eventuella missförstånd. En enkel mening som skulle sagt lägre värde är bättre skulle tex underlättat. författarens slutsatser trovärdiga? Mot bakgrund av vad jag tidigare påpekat angående faktafel, bristande information om implementation av det icke-parallella referens programmet. Den enda slutsats jag vågar lita på är att enbart parallellprogrammering av CPU ger prestanda vinst. Här vill jag även påpeka att författarna har en ger en teori som känns väldigt trovärdig till varför CPU utklassar GPU och det är att en CPU har större mängd cache minne än GPU vilket ger högre prestanda.

4 Vad tycker du om litteraturlistan? Vilken typ av litteratur finns med? Förefaller litteraturen relevant? Litteraturlistan är välspecifierad och känns relevant. Författarna har tydligt angett vilka delar av en källa de har använt och jag upplever att det är enkelt för mig som läsare att gå in och kontrollera påståenden. Vilka avsnitt i rapporten var svåra att förstå? Kapitel 4: Hypotes och metod. Först vill jag nämna att först här presenteras det problem, verbalaritmetik, författarna ämnar använda sig av jag anser att det istället borde presenterats tidigare, förslagsvis inom ramen för bakgrund. Komplexitetsanalysen som görs för problemet är ganska svår att följa, möjligtvis skulle lite diagram och bilder underlätta. Jag förstår heller inte vikten av att göra denna analys då resultatet av denna analys aldrig används i resultatet för rapportens problemformulering? Av hela kapitlet om hypotes och metod så är det egentligen enbart följnade paragrafer som säger något om just hypotes och metod: Vår hypotes är att en probleminstans av tillräckligt hög storlek kommer att kunna lösas snabbare med OpenCL på en dator med ett tillräckligt kraftfullt grafikkort än en vanlig C++implementation kan lösa samma instans. Enligt PRAM-modellen (se kapitel 2.2) har vi i detta problem att t =θ( m2), då evalueringen är det enda som inte går att parallellisera. Om vi har O( b)!" antal processorer (vilket vi kan enligt resonemang i PRAM-modellen) får vi då en tidskomplexitet på O( m ). Vi implementerar en lösare i ren C++ och en i C++ med OpenCL. Vi låter sedan genera testfall, kör dessa med olika konfigurationer och låter analysera resultaten. Denna snutt känns alldeles för kort och lämnar för många frågor öppna om metod, tex om konfigurationer, hårdvara, vad är tillräckligt hög storlek av problem instans? Hur kommer testfallen se ut? Hur kommer resultaten analyseras? Viss information om hur testfallen är utformade, vilken hårdvara som använts och hur konfigurationerna är upplagda ges förs i resultatdelen men vad är det vitsen med att ha ett separat kapitel om hypotes och metod? Ren kod för testfallen förkommer dock i appendixet för den som är villig att studera denna men jag som läsare skulle även vilja ha en översiktsbild på hur dessa test är utformade i just hypotes och metod kapitlet. Övriga kommentarer om rapporten och dess struktur. Personligen tycker jag hela diskussionen om NP problem är rätt onödig, det hade räckt med att presentera ett problem som är beräkningstungt och kort motivera dess användning. Det faktum att problemet som användes var NP-fullständigt hade inte påverkat resultatet. Språket i texten innehåller många upprepningar (som exempel används ordet ʻdettaʼ alldeles för mycket) och är ganska rörig. Texten är svår att läsa då det förekommer många syftingsfel.

5 Användning av ordet man sänker kvaliten på texten. Motivation varför ordet ʻmanʼ inte bör användas: Ordet man är ett opersonligt pronomen och är användbart när man talar i allmänna termer och inte åsyftar någon speciell person (som i det här stycket till exempel). Men så snart man behandlar personer eller grupper som kan ges en mera bestämd beteckning bör ordet man undvikas. ( Gula_kap4.html) Överdriven användning av kursiv text i ett försök att understryka viktiga punkter. Övriga åsikter är gjorda direkt i rapportenʼs PDF version, tydligt utmärkt med markeringar och kommentarer. Vilka är arbetets/rapportens starka sidor? Presentationen av OpenCL ger en väldigt övergripande bild av hur OpenCL fungerar och vad det kan användas till. Jag känner att jag fick en tillräckligt grundlig introduktion av OpenCL och det sådde ett frö för vidare personliga studier av OpenCL. Möjligtvis kan presentationen av OpenCL C behöva utökas något (lite rörigt). Vilka är arbetets/rapportens svaga sidor? Förekomsten av faktafel och till viss del presentation av egna åsikter som fakta gör att jag känner att jag som läsare inte kan lita på att det jag läser är korrekt. Texten är ganska rörig då det inom olika kapitel framkommer ny information som borde avhandlats i andra sektioner. Språkmässigt håller rapporten ganska låg standard vilket ger ett negativt intryck. Hur bedömer du arbetets nyhetsvärde? Beroende på målgrupp skulle jag vilja säga att för tex universitetsstudenter på grundnivå kan det vara en intressant introduktion till parallellprogrammering och OpenCL genom att vidga vyerna med vilka möjligheter som finns. För en läsare på högre kompetensnivå anser jag att nyhetsvärdet är otillfredsställande på grund av otillräcklig dokumentation av hypotes, metod och resultat. Då flertalet faktafel förekommer måste jag tyvärr säga att rapporten inte känns helt genomarbetad och jag ställer mig tveksam till om jag kan lita på resultaten. Sammanfatta arbetet på ett par rader. Frågor till författaren: Varför valde ni att lösa verbalaritmetikproblem genom rekursion? Varför är detta optimalt? Skulle det gå att lösa på något annat sätt? Hur använder ni resultatet från komplexitetsanalysen av verbalaritmetik problemet och till vad? Vart går grånsen för tillräckligt hög probleminstans? Förklara ytterligare då jag inte kan utläsa det tillräckligt tydligt från er text.

6 Vilket är ditt sammanfattande omdöme om exjobbet? Efter lite rörigt upplägg och svårighet i att enas om problemformulering tycker jag endå att det var intressant läsning då det, för mig personligen, gav en introduktion till de möjligheter som finns för parallellprogrammering.

EXJOBBSOPPOSITION. Rapportförfattare: Hanif Farahmand Mokarremi Ashkan Jahanbakhsh

EXJOBBSOPPOSITION. Rapportförfattare: Hanif Farahmand Mokarremi Ashkan Jahanbakhsh EXJOBBSOPPOSITION Rapportförfattare: Hanif Farahmand Mokarremi Ashkan Jahanbakhsh Rapportens titel: Domän-Webb-Applikations-Fuzzer(DWAP) introduktion och implementation Opponent: Viktor Gummesson Var det

Läs mer

Oppositionsprotokoll-DD143x

Oppositionsprotokoll-DD143x Oppositionsprotokoll-DD143x Datum: 2011-04-26 Rapportförfattare Sara Sjödin Rapportens titel En jämförelse av två webbsidor ur ett MDI perspektiv Opponent Sebastian Remnerud Var det lätt att förstå vad

Läs mer

Utveckling av ett grafiskt användargränssnitt

Utveckling av ett grafiskt användargränssnitt Datavetenskap Opponenter: Daniel Melani och Therese Axelsson Respondenter: Christoffer Karlsson och Jonas Östlund Utveckling av ett grafiskt användargränssnitt Oppositionsrapport, C-nivå 2010-06-08 1 Sammanfattat

Läs mer

Logging Module into the PRIME Core

Logging Module into the PRIME Core Datavetenskap Opponent: Andreas Lavén Respondenter: Anders Ellvin, Tobias Pulls Implementing a Privacy-Friendly Secure Logging Module into the PRIME Core Oppositionsrapport, E-nivå 2005:xx 1 Sammanfattat

Läs mer

Nätverkslagring: SAN/NAS-lösning för VMmiljö

Nätverkslagring: SAN/NAS-lösning för VMmiljö Datavetenskap Opponenter: Tobias Gunnarsson, Hans Johansson Respondenter: Eric Andersson, Marcus Larsson Nätverkslagring: SAN/NAS-lösning för VMmiljö Oppositionsrapport, C/D-nivå 2010:xx 1 Sammanfattat

Läs mer

Synkronisering av kalenderdata

Synkronisering av kalenderdata Datavetenskap Jonas Lindelöw, Richard Löfberg Sten Hansson Bjerke, Anders Friberg Synkronisering av kalenderdata Oppositionsrapport, C/D-nivå 2006:07 1 Sammanfattat omdöme av examensarbetet Vi tycker att

Läs mer

"Distributed Watchdog System"

Distributed Watchdog System Datavetenskap Emma Henriksson Ola Ekelund Oppositionsrapport på uppsatsen "Distributed Watchdog System" Oppositionsrapport, C-nivå 2005 1 Sammanfattande omdöme på exjobbet Projektet tycks ha varit av

Läs mer

Opponenter: Erik Hansen Mats Almgren Respondent: Martin Landälv ioftpd-verktyg

Opponenter: Erik Hansen Mats Almgren Respondent: Martin Landälv ioftpd-verktyg Datavetenskap Opponenter: Erik Hansen Mats Almgren Respondent: Martin Landälv ioftpd-verktyg Oppositionsrapport, C-nivå 2006:12 1 Sammanfattat omdöme av examensarbetet Examensarbetet är intressant eftersom

Läs mer

Analys av BI-system och utveckling av BIapplikationer

Analys av BI-system och utveckling av BIapplikationer Computer Science Fredrik Nilsson, Jonas Wånggren Daniel Strömberg Analys av BI-system och utveckling av BIapplikationer Opposition Report, C/D-level 2005:xx 1 Sammanfattat omdöme av examensarbetet Vi tycker

Läs mer

Presentationsgränssnitt för statistik och historik

Presentationsgränssnitt för statistik och historik Datavetenskap Opponent(er): Christer Oscarsson, Jonas Larsson Respondent(er): Malin Brand, Niklas Johansson Presentationsgränssnitt för statistik och historik Oppositionsrapport, C-nivå 2010:xx 1 Sammanfattat

Läs mer

Oppositionsrapport: Experior DSTL. Vincent Thuning, Björn Nordström 4 juni 2012

Oppositionsrapport: Experior DSTL. Vincent Thuning, Björn Nordström 4 juni 2012 Oppositionsrapport: Experior DSTL Vincent Thuning, Björn Nordström 4 juni 2012 1 Innehåll 1 Sammanfattat omdöme av examensarbete 2 2 Synpunkter på uppsatsen knuten till examensarbetet 2 2.1 Titel..................................

Läs mer

Gymnasiearbetet för det naturvetenskapliga programmet

Gymnasiearbetet för det naturvetenskapliga programmet Gymnasiearbetet för det naturvetenskapliga programmet Pär Leijonhufvud 2017-08-29 Innehåll Syfte.................................... 2 Arbetsformer............................... 2 Rapporten.................................

Läs mer

HUR SKRIVER MAN EN LABORATIONSRAPPORT OCH VARFÖR?

HUR SKRIVER MAN EN LABORATIONSRAPPORT OCH VARFÖR? HUR SKRIVER MAN EN LABORATIONSRAPPORT OCH VARFÖR? Du kommer med största sannolikhet att skriva rapporter senare i livet (träning!) Om man jobbar som forskare använder man sig av laborationsrapporter när

Läs mer

Using SharePoint Workflow

Using SharePoint Workflow Datavetenskap Opponent(er): Anders Olsson Marcus Karlsson Respondent(er): Harald Quist Creating a Help Desk Using SharePoint Workflow Oppositionsrapport, C-nivå 2009:xx 1 Sammanfattat omdöme av examensarbetet

Läs mer

MINIMIKRAV VID RAPPORTSKRIVNING

MINIMIKRAV VID RAPPORTSKRIVNING MINIMIKRAV VID RAPPORTSKRIVNING Denna kortfattade beskrivning består av två delar. En allmän del kring formatering etc och en del som tar upp viktiga aspekter i respektive rapportavsnitt. För en fylligare

Läs mer

Algoritmer, datastrukturer och komplexitet

Algoritmer, datastrukturer och komplexitet Algoritmer, datastrukturer och komplexitet Övning 10 Anton Grensjö grensjo@csc.kth.se 9 november 2017 1 Idag En konstruktionsreduktion Fler bevis av NP-fullständighet 2 Teori Repetition Ett problem tillhör

Läs mer

Oppositionsrapport. Opponent: Therese Sundström. Respondent: Malin Abrahamsson & Aleksandra Gadji

Oppositionsrapport. Opponent: Therese Sundström. Respondent: Malin Abrahamsson & Aleksandra Gadji Oppositionsrapport Opponent: Therese Sundström Respondent: Malin Abrahamsson & Aleksandra Gadji 2005-06-07 1 1 Huvudpunkter I denna sektion kommer jag att presentera de huvudpunkter som jag vill kommentera.

Läs mer

En ansats till behovsstyrd applikationsutveckling

En ansats till behovsstyrd applikationsutveckling Datavetenskap Opponenter: Daniel Mester Pirttijärvi Hampus Skystedt Respondent: Johan Björlin En ansats till behovsstyrd applikationsutveckling Oppositionsrapport, C-nivå 2011:05 1 Sammanfattat omdöme

Läs mer

HUR SKRIVER MAN EN LABORATIONSRAPPORT OCH VARFÖR?

HUR SKRIVER MAN EN LABORATIONSRAPPORT OCH VARFÖR? HUR SKRIVER MAN EN LABORATIONSRAPPORT OCH VARFÖR? Du kommer med största sannolikhet att skriva rapporter senare i livet (träning!) Om man jobbar som forskare använder man sig av laborationsrapporter när

Läs mer

Bedömning av Examensarbete (30 hp) vid Logopedprogrammet Fylls i av examinerande lärare och lämnas i signerad slutversion till examinator

Bedömning av Examensarbete (30 hp) vid Logopedprogrammet Fylls i av examinerande lärare och lämnas i signerad slutversion till examinator version 2014-09-10 Bedömning av Examensarbete (30 hp) vid Logopedprogrammet Fylls i av examinerande lärare och lämnas i signerad slutversion till examinator Studentens namn Handledares namn Examinerande

Läs mer

Packet Aggregation in Linux

Packet Aggregation in Linux Datavetenskap Opponenter: David Jonsson & Fredrik Larsson Respondenter: Jonas Brolin & Mikael Hedegren Packet Aggregation in Linux Oppositionsrapport, C/D-nivå 2005:xx 1 Sammanfattat omdöme av examensarbetet

Läs mer

Riktlinjer för bedömning av examensarbeten

Riktlinjer för bedömning av examensarbeten Fastställda av Styrelsen för utbildning 2010-09-10 Dnr: 4603/10-300 Senast reviderade 2012-08-17 Riktlinjer för bedömning av Sedan 1 juli 2007 ska enligt högskoleförordningen samtliga yrkesutbildningar

Läs mer

Rapportförfattare Rapportens titel Opponent

Rapportförfattare Rapportens titel Opponent EXJOBBSOPPOSITION Rapportförfattare Yuuki Jonsson & Andreas Starrsjö Rapportens titel Parallellprogrammering i Go och Erlang Opponent Adam Sam 890323-7470 Var det lätt att förstå vad exjobbet gick ut på?

Läs mer

Anpassningsbar applikationsstruktur för flerpunktsskärmar

Anpassningsbar applikationsstruktur för flerpunktsskärmar Datavetenskap Opponent(er): Rikard Boström Lars-Olof Moilanen Respondent(er): Mathias Andersson Henrik Bäck Anpassningsbar applikationsstruktur för flerpunktsskärmar Oppositionsrapport, C/D-nivå 2005:xx

Läs mer

Utvecklingen av ett tidregistrerings- och faktureringssystem

Utvecklingen av ett tidregistrerings- och faktureringssystem Datavetenskap Opponenter: Anders Heimer & Jonas Seffel Respondenter: Daniel Jansson & Mikael Jansson Utvecklingen av ett tidregistrerings- och faktureringssystem Oppositionsrapport, C-nivå 2006:10 1 Sammanfattat

Läs mer

Väl godkänt (VG) Godkänt (G) Icke Godkänt (IG) Betyg

Väl godkänt (VG) Godkänt (G) Icke Godkänt (IG) Betyg Betygskriterier Examensuppsats 30 hp. Betygskriterier Tregradig betygsskala används med betygen icke godkänd (IG), godkänd (G) och väl godkänd (VG). VG - Lärandemål har uppfyllts i mycket hög utsträckning

Läs mer

LUNDS UNIVERSITET. Parallell exekvering av Float32 och INT32 operationer

LUNDS UNIVERSITET. Parallell exekvering av Float32 och INT32 operationer LUNDS UNIVERSITET Parallell exekvering av Float32 och INT32 operationer Samuel Molin Kursansvarig: Erik Larsson Datum 2018-12-05 Referat Grafikkort utför många liknande instruktioner parallellt då typiska

Läs mer

PARALLELLISERING AV ALGORITMER PROCESSORER FÖR FLERKÄRNIGA

PARALLELLISERING AV ALGORITMER PROCESSORER FÖR FLERKÄRNIGA PARALLELLISERING AV ALGORITMER FÖR FLERKÄRNIGA PROCESSORER 870928 3017 Johan Gustafsson 870303 4952 Gustaf David Hallberg 880525 8210 Per Hallgren 801117 0597 Wuilbert Lopez 1/7 Innehållsförteckning Table

Läs mer

Utveckling av simulator för ärendehanteringssystem

Utveckling av simulator för ärendehanteringssystem Datavetenskap Opponent(er): Emil Danielsson & Patrik Lundberg Respondent(er): Niclas Hanold & Samiar Saldjoghi Utveckling av simulator för ärendehanteringssystem Oppositionsrapport, C/D-nivå 2005:xx 1

Läs mer

Algoritmer, datastrukturer och komplexitet

Algoritmer, datastrukturer och komplexitet Algoritmer, datastrukturer och komplexitet Övning 9 Anton Grensjö grensjo@csc.kth.se 9 november 2017 1 Idag Bevis av NP-fullständighet Labbteoriredovisning inför labb 4 2 Teori Teori När vi talar om NP-fullständighet

Läs mer

Algoritmer, datastrukturer och komplexitet

Algoritmer, datastrukturer och komplexitet Algoritmer, datastrukturer och komplexitet Övning 8 Anton Grensjö grensjo@csc.kth.se 12 november 2015 Anton Grensjö ADK Övning 8 12 november 2015 1 / 21 Översikt Kursplanering Ö8: Mästarprov 1, oavgörbarhet

Läs mer

tjejit en studie av kvinnors låga deltagande vid Karlstads Universitets IT-utbildningar

tjejit en studie av kvinnors låga deltagande vid Karlstads Universitets IT-utbildningar Datavetenskap Opponenter: Malin Brand, Niklas Johansson Respondenter: Ewelina Helmersson, Mollin Widegren tjejit en studie av kvinnors låga deltagande vid Karlstads Universitets IT-utbildningar Oppositionsrapport,

Läs mer

Decentraliserad administration av gästkonton vid Karlstads universitet

Decentraliserad administration av gästkonton vid Karlstads universitet Datavetenskap Opponent(er): Markus Fors Christian Grahn Respondent(er): Christian Ekström Per Rydberg Decentraliserad administration av gästkonton vid Karlstads universitet Oppositionsrapport, C/D-nivå

Läs mer

Bedömning av Examensarbete (30 hp) vid Logopedprogrammet Fylls i av examinerande lärare och lämnas till examinator

Bedömning av Examensarbete (30 hp) vid Logopedprogrammet Fylls i av examinerande lärare och lämnas till examinator version 2017-08-21 Bedömning av Examensarbete (30 hp) vid Logopedprogrammet Fylls i av examinerande lärare och lämnas till examinator Studentens namn Handledares namn Examinerande lärare Uppsatsens titel

Läs mer

EMG:s väg till examensarbeten av mycket hög kvalitet

EMG:s väg till examensarbeten av mycket hög kvalitet EMG:s väg till examensarbeten av mycket hög kvalitet Rolf Zale Institutionen för ekologi, miljö och geovetenskap rolf.zale@emg.umu.se Grundsyn Under examensarbetet ska studenten koncentrera sig på uppgiften

Läs mer

Algoritmer, datastrukturer och komplexitet

Algoritmer, datastrukturer och komplexitet Algoritmer, datastrukturer och komplexitet Övning 12 Anton Grensjö grensjo@csc.kth.se 10 december 2015 Anton Grensjö ADK Övning 12 10 december 2015 1 / 19 Idag Idag Komplexitetsklasser Blandade uppgifter

Läs mer

Mälardalens högskola

Mä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 mer

Migrering av applikationen AMM till molnet

Migrering av applikationen AMM till molnet Datavetenskap Opponenter: Erik Andersson och Marcus Larsson Respondenter: Anders Nguyen och Linus Svensson Migrering av applikationen AMM till molnet Oppositionsrapport, C-nivå 2010:06 1 Sammanfattat omdöme

Läs mer

Algoritmer, datastrukturer och komplexitet

Algoritmer, datastrukturer och komplexitet Algoritmer, datastrukturer och komplexitet Övning 10 Anton Grensjö grensjo@csc.kth.se 18 november 2015 Anton Grensjö ADK Övning 10 18 november 2015 1 / 20 Översikt Kursplanering Ö9: NP-fullständighetsbevis

Läs mer

Lite Kommentarer om Gränsvärden

Lite Kommentarer om Gränsvärden Lite Kommentarer om Gränsvärden På föreläsningen (Föreläsning 2 för att vara eakt) så introducerade vi denitionen Denition. Vi säger att f() går mot a då går mot oändligheten, uttryckt i symboler som f()

Läs mer

CDC en jämförelse mellan superskalära processorer. EDT621 Campus Helsingborg av: Marcus Karlsson IDA

CDC en jämförelse mellan superskalära processorer. EDT621 Campus Helsingborg av: Marcus Karlsson IDA CDC6600 - en jämförelse mellan superskalära processorer av: Marcus Karlsson Sammanfattning I denna rapport visas konkret information om hur den första superskalära processorn såg ut och hur den använde

Läs mer

1 Duala problem vid linjär optimering

1 Duala problem vid linjär optimering Krister Svanberg, april 2012 1 Duala problem vid linjär optimering Detta kapitel handlar om två centrala teoretiska resultat för LP, nämligen dualitetssatsen och komplementaritetssatsen. Först måste vi

Läs mer

Webbsystems inverkan på innehåll och användbarhet på webbplatser - oppositionsrapport

Webbsystems inverkan på innehåll och användbarhet på webbplatser - oppositionsrapport Webbsystems inverkan på innehåll och användbarhet på webbplatser - oppositionsrapport Respondenter: Emma Henriksson och Ola Ekelund Opponenter: Eva Pettersson och Johan Westerdahl Sammanfattande omdöme

Läs mer

REV Dnr: 1-563/ Sid: 1 / 8

REV Dnr: 1-563/ Sid: 1 / 8 REV 170518 Dnr: 1-563/2017 2017-05-29 Sid: 1 / 8 Arbetsgruppen för kvalitetsgranskning av examensarbeten Kriterier för bedömning av examensarbeten Sedan 1 juli 2007 ska enligt högskoleförordningen samtliga

Läs mer

Föreläsning 1. Introduktion. Vad är en algoritm?

Föreläsning 1. Introduktion. Vad är en algoritm? Några exempel på algoritmer. Föreläsning 1. Introduktion Vad är en algoritm? 1. Häll 1 dl havregryn och ett kryddmått salt i 2 1 2 dl kallt vatten. Koka upp och kocka gröten ca 3minuter. Rör om då och

Läs mer

Examensarbeten, litteraturstudier och teoretisk geoekologi / geografi. Gemensamma riktlinjer för hela institutionen

Examensarbeten, litteraturstudier och teoretisk geoekologi / geografi. Gemensamma riktlinjer för hela institutionen Examensarbeten, litteraturstudier och teoretisk geoekologi / geografi Gemensamma riktlinjer för hela institutionen Innehåll för examensarbeten Under kursen utför och redovisar studenterna en vetenskaplig

Läs mer

Anvisningar till rapporter i psykologi på B-nivå

Anvisningar till rapporter i psykologi på B-nivå Anvisningar till rapporter i psykologi på B-nivå En rapport i psykologi är det enklaste formatet för att rapportera en vetenskaplig undersökning inom psykologins forskningsfält. Något som kännetecknar

Läs mer

Administrationsverktyg för marinvåg

Administrationsverktyg för marinvåg Computer Science Opponent(s): Ewelina Helmersson & Mollin Widegren Respondent(s): Christer Oscarsson & Jonas Larsson Administrationsverktyg för marinvåg Opposition Report, C-level 2010:VT 1 En generell

Läs mer

Grafisk visualisering av en spårbarhetslösning

Grafisk 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 mer

extensible Markup Language

extensible Markup Language Datavetenskap Opponenter: Björn Olsson Andreas Svensson Respondenter: Sanaa Al-abuhalje Afrah Al-abuhalje XML extensible Markup Language Oppositionsrapport, C-nivå 2007:06 1 Sammanfattat omdöme av examensarbetet

Läs mer

MATEMATIKENS SPRÅK. Avsnitt 1

MATEMATIKENS SPRÅK. Avsnitt 1 Avsnitt 1 MATEMATIKENS SPRÅK Varje vetenskap, liksom varje yrke, har sitt eget språk som ofta är en blandning av vardagliga ord och speciella termer. En instruktionshandbok för ett kylskåp eller för en

Läs mer

ANVISNING FÖR UTARBETANDE AV TEKNISK/VETENSKAPLIGA ARTIKLAR OCH LABORATIONSRAPPORTER

ANVISNING FÖR UTARBETANDE AV TEKNISK/VETENSKAPLIGA ARTIKLAR OCH LABORATIONSRAPPORTER 1 MÄLARDALENS HÖGSKOLA Institutionen för biologi och kemiteknik Box 325, 631 05 Eskilstuna ANVISNING FÖR UTARBETANDE AV TEKNISK/VETENSKAPLIGA ARTIKLAR OCH LABORATIONSRAPPORTER ALLMÄNT Nedan följer anvisningar

Läs mer

Examensarbete, Högskoleingenjör energiteknik, 15 hp Grundnivå

Examensarbete, Högskoleingenjör energiteknik, 15 hp Grundnivå Examensarbete, Högskoleingenjör energiteknik, 15 hp Grundnivå Studenten ska tillämpa kunskaper och färdigheter förvärvade inom utbildningsprogrammet genom att på ett självständigt och vetenskapligt sätt

Läs mer

Uppsala Universitet Matematiska Institutionen Thomas Erlandsson

Uppsala Universitet Matematiska Institutionen Thomas Erlandsson Uppsala Universitet Matematiska Institutionen Thomas Erlandsson LÄSANVISNINGAR VECKA 36 VERSION 1. ARITMETIK FÖR RATIONELLA OCH REELLA TAL, OLIKHETER, ABSOLUTBELOPP ADAMS P.1 Real Numbers and the Real

Läs mer

1. Öppna frågans argument

1. Öppna frågans argument 1. Öppna frågans argument ÖFA i enkel form: 1. För en given term eller beskrivning N, om det gick att definiera godhet som N, så skulle följande vara en stängd fråga: x är N, men är x gott? 2. För alla

Läs mer

Li#eratur och empiriska studier kap 12, Rienecker & Jørgensson kap 8-9, 11-12, Robson STEFAN HRASTINSKI STEFANHR@KTH.SE

Li#eratur och empiriska studier kap 12, Rienecker & Jørgensson kap 8-9, 11-12, Robson STEFAN HRASTINSKI STEFANHR@KTH.SE Li#eratur och empiriska studier kap 12, Rienecker & Jørgensson kap 8-9, 11-12, Robson STEFAN HRASTINSKI STEFANHR@KTH.SE Innehåll Vad är en bra uppsats? Söka, använda och refera till litteratur Insamling

Läs mer

Kapitel 5. En annan väldigt viktig punkt om skäl att förkasta principer är att de måste vara personliga.

Kapitel 5. En annan väldigt viktig punkt om skäl att förkasta principer är att de måste vara personliga. En annan väldigt viktig punkt om skäl att förkasta principer är att de måste vara personliga. Scanlon ger tyvärr ingen tillfredsställande definition av vad detta betyder. En naturlig tolkning är att personliga

Läs mer

Argumenterande text Insändare

Argumenterande text Insändare 1 Argumenterande text Insändare Syftet med en insändare är att framföra en åsikt och påverka andra. Det gäller att övertyga läsaren om att man har rätt. Därför motiverar man varför man tänker på ett visst

Läs mer

Datavetenskap. Opponent(er): Niclas Hanold. Samiar Saldjoghi. Respondent(er): Carl-Henrik Svanemark. Joakim De Jong. Definition och Implementering av

Datavetenskap. Opponent(er): Niclas Hanold. Samiar Saldjoghi. Respondent(er): Carl-Henrik Svanemark. Joakim De Jong. Definition och Implementering av Datavetenskap Opponent(er): Niclas Hanold Samiar Saldjoghi Respondent(er): Carl-Henrik Svanemark Joakim De Jong Definition och Implementering av Säkerhetsevaluering Oppositionsrapport, C/D-nivå 2009:xx

Läs mer

Configuration testing Why? Vad det är tänkt att koden ska göra. Performance testing Kommentarer Skriva om koden som kommentar

Configuration testing Why? Vad det är tänkt att koden ska göra. Performance testing Kommentarer Skriva om koden som kommentar Skapa testfall Testing Köra testen Hitta fel Inspections and reviews Verifiera resultatet Formal methods Static analysis Completeness Verifiering Kvalitet Maintainability Validering Traceability Fault

Läs mer

inte följa någon enkel eller fiffig princip, vad man nu skulle mena med det. All right, men

inte följa någon enkel eller fiffig princip, vad man nu skulle mena med det. All right, men MATEMATISKA INSTITUTIONEN STOCKHOLMS UNIVERSITET Christian Gottlieb Gymnasieskolans matematik med akademiska ögon Induktion Dag 2. Explicita formler och rekursionsformler. Dag mötte vi flera talföljder,

Läs mer

Förslag på instruktioner och arbete med bedömning av muntlig presentation, från MMT-utredning 2003

Förslag på instruktioner och arbete med bedömning av muntlig presentation, från MMT-utredning 2003 Förslag på instruktioner och arbete med bedömning av muntlig presentation, från MMT-utredning 2003 Instruktioner för muntlig redovisning: Uppgift Håll ett kort föredrag (15-20 minuter presentation + 10

Läs mer

Föreläsning 12+13: Approximationsalgoritmer

Föreläsning 12+13: Approximationsalgoritmer Föreläsning 12+13: Approximationsalgoritmer Många av de NP-fullständiga problemen är från början optimeringsproblem: TSP, Graph Coloring, Vertex Cover etc. Man tror att P NP och att det alltså inte går

Läs mer

Mall för en kortare rapport/uppsats

Mall för en kortare rapport/uppsats Mall för en kortare rapport/uppsats Detta dokument beskriver vad som ska ingå i en kortare vetenskaplig rapport. Du kommer att skriva rapporter på denna form i ett antal kurser under din utbildning, t.ex.

Läs mer

Explorativ övning 5 MATEMATISK INDUKTION

Explorativ övning 5 MATEMATISK INDUKTION Explorativ övning 5 MATEMATISK INDUKTION Syftet med denna övning är att introducera en av de viktigaste bevismetoderna i matematiken matematisk induktion. Termen induktion är lite olycklig därför att matematisk

Läs mer

16. Max 2/0/ Max 3/0/0

16. Max 2/0/ Max 3/0/0 Del III 16. Max 2/0/0 Godtagbar ansats, visar förståelse för likformighetsbegreppet, t.ex. genom att bestämma en tänkbar längd på sidan med i övrigt godtagbar lösning med korrekt svar (8 cm och 18 cm)

Läs mer

Spårbarhet En underskattad dimension av informationssäkerhet

Spårbarhet En underskattad dimension av informationssäkerhet Datavetenskap Opponenter: Karl-Johan Fisk och Martin Bood Respondent: Jon Nilsson Spårbarhet En underskattad dimension av informationssäkerhet Oppositionsrapport, C-nivå 2007:10 1 Sammanfattat omdöme av

Läs mer

Reflektion. Uppgift 7. Vår reflektion om två böcker som handlar om presentationsteknik. Tärna folkhögskola HT 2010. IT Pedagogutbildning

Reflektion. Uppgift 7. Vår reflektion om två böcker som handlar om presentationsteknik. Tärna folkhögskola HT 2010. IT Pedagogutbildning Reflektion Uppgift 7 Vår reflektion om två böcker som handlar om presentationsteknik. Tärna folkhögskola HT 2010 IT Pedagogutbildning Innehåll Inledning... 1 Reflektion... 1 1. Förbered dig i god tid...

Läs mer

Senaste version kan hämtas från Internet i PDF 1 format Http://www.e.kth.se/~e92_sli/exjobb/projektplan/projektplan.pdf

Senaste version kan hämtas från Internet i PDF 1 format Http://www.e.kth.se/~e92_sli/exjobb/projektplan/projektplan.pdf SPECIFIKATION 1(11) Projektplan Distribution Detta dokument är ej under kontrollerad distribution. Innehavaren ansvarar själv för att den senaste utgåvan av detta dokument används och att inaktuella kopior

Läs mer

Viktiga frågor att ställa när ett argument ska analyseras och sedan värderas:

Viktiga frågor att ställa när ett argument ska analyseras och sedan värderas: FTEA12:2 Föreläsning 2 Grundläggande argumentationsanalys II Repetition: Vid förra tillfället började vi se närmre på vad som utmärker filosofisk argumentationsanalys. Vi tittade närmre på ett arguments

Läs mer

Cacheprobe: programbibliotek för extrahering av cacheminnesparametrar

Cacheprobe: programbibliotek för extrahering av cacheminnesparametrar Cacheprobe: programbibliotek för extrahering av cacheminnesparametrar Gabriel Gerhardsson Cacheprobe p.1/38 Abstract Kan analytiskt ta reda på associativitet, line storlek och storlek på processorns cacheminnen

Läs mer

Att skriva rapporten för examensarbetet & sammanfattning av IMRAD. Ville Jalkanen TFE, UmU

Att skriva rapporten för examensarbetet & sammanfattning av IMRAD. Ville Jalkanen TFE, UmU Att skriva rapporten för examensarbetet & sammanfattning av IMRAD Ville Jalkanen TFE, UmU 2017-04-20 1 Att skriva och presentera rapporter http://www.teknat.umu.se/digitalassets/50/50357_att_skriva_rapport_umth_klar.pdf

Läs mer

Svar till vissa uppgifter från första veckan.

Svar till vissa uppgifter från första veckan. Svar till vissa uppgifter från första veckan. Svar till kortuppgifter F:. Ja! Förhoppningsvis så ser man direkt att g fx) är ett polynom. Vidare så gäller det att g fα) = gfα)) = gβ) = 0. Använd faktorsatsen!

Läs mer

Information till eleverna

Information till eleverna Information till eleverna Här följer en beskrivning av det muntliga delprovet som ingår i det nationella provet. Delprovet genomförs i grupper om 3 4 elever som sitter tillsammans med läraren. Var och

Läs mer

Simulering av Poissonprocesser Olle Nerman, Grupprojekt i MSG110,GU HT 2015 (max 5 personer/grupp)

Simulering av Poissonprocesser Olle Nerman, Grupprojekt i MSG110,GU HT 2015 (max 5 personer/grupp) Simulering av Poissonprocesser Olle Nerman, 2015-09-28 Grupprojekt i MSG110,GU HT 2015 (max 5 personer/grupp) Frågeställning: Hur åstadkommer man en realisering av en Poissonprocess på ett tidsintervall

Läs mer

Moralfilosofi. Föreläsning 4

Moralfilosofi. Föreläsning 4 Moralfilosofi Föreläsning 4 Subjektivism & emotivism Enligt Rachels så är grundtanken bakom etisk subjektivism att våra moraliska åsikter grundar sig på våra känslor Samt att det inte finns någonting sådant

Läs mer

Prototyp av VoIP/PSTN-gateway

Prototyp av VoIP/PSTN-gateway Datavetenskap Opponenter: Peter Oreland, Henrik Andersson Respondenter: Anders Broström, Niclas Kihlstadius Prototyp av VoIP/PSTN-gateway Oppositionsrapport, C/D-nivå 2005:xx 1 Sammanfattat omdöme av examensarbetet

Läs mer

Business research methods, Bryman & Bell 2007

Business 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 mer

Matematik. Kursprov, vårterminen Bedömningsanvisningar. för samtliga skriftliga provdelar

Matematik. Kursprov, vårterminen Bedömningsanvisningar. för samtliga skriftliga provdelar Kursprov, vårterminen 2012 Matematik Bedömningsanvisningar för samtliga skriftliga provdelar 1a Prov som återanvänds omfattas av sekretess enligt 17 kap. 4 offentlighets- och sekretesslagen. Detta prov

Läs mer

Beställningsgränssnitt i surfplattor för restauranger

Beställningsgränssnitt i surfplattor för restauranger Datavetenskap Opponent(er): Johan Björlin Respondent(er): Daniel Mester Pirttijärvi och Hampus Skystedt Beställningsgränssnitt i surfplattor för restauranger Oppositionsrapport, C/D-nivå C2011:05 Datavetenskap

Läs mer

Teoretisk och praktisk genomgång av IPv6 och dess säkerhetsaspekter

Teoretisk och praktisk genomgång av IPv6 och dess säkerhetsaspekter Datavetenskap Opponenter: William Hemmingsson, Emil Vieweg Respondent: David Andersson Teoretisk och praktisk genomgång av IPv6 och dess säkerhetsaspekter Oppositionsrapport, C-nivå 2012-06-07 1 Sammanfattning

Läs mer

Instruktion/råd för muntlig presentation

Instruktion/råd för muntlig presentation Instruktion/råd för muntlig presentation Som läkare kommer du många gånger under ditt yrkesliv att behöva hålla muntliga presentationer. Det kan vara presentation av egen forskning på konferenser, utvecklingsarbete

Läs mer

Moralisk oenighet bara på ytan?

Moralisk oenighet bara på ytan? Ragnar Francén, doktorand i praktisk filosofi Vissa anser att det är rätt av föräldrar att omskära sina döttrar, kanske till och med att detta är något de har en plikt att göra. Andra skulle säga att detta

Läs mer

Moralfilosofi. Föreläsning 4

Moralfilosofi. Föreläsning 4 Moralfilosofi Föreläsning 4 Subjektivism & emotivism Enligt Rachels så är grundtanken bakom etisk subjektivism att våra moraliska åsikter grundar sig på våra känslor Samt att det inte finns någonting sådant

Läs mer

Sänk kostnaderna genom a/ ställa rä/ krav och testa effektivt

Sänk kostnaderna genom a/ ställa rä/ krav och testa effektivt Sänk kostnaderna genom a/ ställa rä/ krav och testa effektivt Kravhantering / Testprocess - Agenda AGENDA Grundläggande kravhanteringsprocess. Insamling, dokumentation, prioritering, Test och förvaltning

Läs mer

Vetenskapligt skrivande

Vetenskapligt skrivande Vetenskapligt skrivande Att sönderdela s och binda ihop Sonja Vidjeskog Sonja Vidjeskog, Oorganisk kemi, textkommentar 6.5.2010 1 Att strukturera att sönderdela och binda ihop Den yttre dispositionen Den

Läs mer

Bedömningsanvisningar

Bedömningsanvisningar Bedömningsanvisningar Exempel på ett godtagbart svar anges inom parentes. Till en del uppgifter är bedömda elevlösningar bifogade för att ange nivån på bedömningen. Om bedömda elevlösningar finns i materialet

Läs mer

Subjektivism & emotivism

Subjektivism & emotivism Subjektivism & emotivism Föreläsning 4 Enligt Rachels så är grundtanken bakom etisk subjektivism att våra moraliska åsikter grundar sig på våra känslor Samt att det inte finns någonting sådant som objektivt

Läs mer

Introduktion till algoritmer - Lektion 4 Matematikgymnasiet, Läsåret 2014-2015. Lektion 4

Introduktion till algoritmer - Lektion 4 Matematikgymnasiet, Läsåret 2014-2015. Lektion 4 Introduktion till algoritmer - Lektion 4 Matematikgymnasiet, Läsåret 014-015 Denna lektion ska vi studera rekursion. Lektion 4 Principen om induktion Principen om induktion är ett vanligt sätt att bevisa

Läs mer

Constanta Olteanu, Linnéuniversitetet och Anna-Lena Ekdahl, Högskolan i Jönköping

Constanta Olteanu, Linnéuniversitetet och Anna-Lena Ekdahl, Högskolan i Jönköping Modul: Algebra Del 3: Bedömning för utveckling av undervisningen i algebra Intervju Constanta Olteanu, Linnéuniversitetet och Anna-Lena Ekdahl, Högskolan i Jönköping I en undervisning kan olika former

Läs mer

Med koppling till EmiWeb

Med koppling till EmiWeb Datavetenskap Opponent(er): Jonas Brolin Mikael Hedegren Respondent(er): David Jonsson Fredrik Larsson Webbaserad släktträdsmodul Med koppling till EmiWeb Oppositionsrapport, C/D-nivå 2005:xx 1 Sammanfattat

Läs mer

Program för verksamhetsutvecklare

Program för verksamhetsutvecklare www.frontleaders.se Program för verksamhetsutvecklare Verksamhetsutveckling Att utveckla en verksamhet kräver engagemang, kunskap och verktyg för att ta oss från nu till framtiden. Vem är verksamhetsutvecklare?

Läs mer

Varianter: 20 p. D-nivå (för magisterexamen) 10 p. C-nivå (för kandidatexamen) 10 p. C-nivå + 10 p. D-nivå (för magisterexamen) Delar:

Varianter: 20 p. D-nivå (för magisterexamen) 10 p. C-nivå (för kandidatexamen) 10 p. C-nivå + 10 p. D-nivå (för magisterexamen) Delar: Varianter: 20 p. D-nivå (för magisterexamen) 10 p. C-nivå (för kandidatexamen) 10 p. C-nivå + 10 p. D-nivå (för magisterexamen) 1 För uppsatskurserna i datorlingvistik gäller generellt att de består av

Läs mer

Lösning av tentamensskrivning i Diskret Matematik för CINTE och CMETE, SF1610, tisdagen den 27 maj 2014, kl

Lösning av tentamensskrivning i Diskret Matematik för CINTE och CMETE, SF1610, tisdagen den 27 maj 2014, kl 1 Matematiska Institutionen KTH Lösning av tentamensskrivning i Diskret Matematik för CINTE och CMETE, SF1610, tisdagen den 27 maj 2014, kl 14.00-19.00. Examinator: Olof Heden Hjälpmedel: Inga hjälpmedel

Läs mer

Explorativ övning 5 MATEMATISK INDUKTION

Explorativ övning 5 MATEMATISK INDUKTION Explorativ övning 5 MATEMATISK INDUKTION Syftet med denna övning är att introducera en av de viktigaste bevismetoderna i matematiken matematisk induktion. Termen induktion är lite olycklig därför att matematisk

Läs mer

Föreläsninsanteckningar till föreläsning 3: Entropi

Föreläsninsanteckningar till föreläsning 3: Entropi Föreläsninsanteckningar till föreläsning 3: Entropi Johan Håstad, transkriberat av Pehr Söderman 2006-01-20 1 Entropi Entropi är, inom kryptografin, ett mått på informationsinnehållet i en slumpvariabel.

Läs mer

Exempel på gymnasiearbete inom naturvetenskapsprogrammet naturvetenskap

Exempel på gymnasiearbete inom naturvetenskapsprogrammet naturvetenskap Exempel på gymnasiearbete september 2012 Exempel på gymnasiearbete inom naturvetenskapsprogrammet naturvetenskap Mpemba-effekten Elevens idé Rana ska utföra sitt gymnasiearbete i grupp tillsammans med

Läs mer

En jämförelse av språket i journaldokumentation mellan yrkesgrupper

En jämförelse av språket i journaldokumentation mellan yrkesgrupper Karlstads Teknikcenter Examensarbete 2017 Titel: Författare: Uppdragsgivare: Karlstads Teknikcenter Karlstads Teknikcenter Tel + 46 54 540 14 40 SE-651 84 KARLSTAD www.karlstad.se/yh Examensarbete YhVA15

Läs mer

Kontinuitet och gränsvärden

Kontinuitet och gränsvärden Kapitel Kontinuitet och gränsvärden.1 Introduktion till kontinuerliga funktioner Kapitlet börjar med allmänna definitioner. Därefter utvidgar vi successivt familjen av kontinuerliga funktioner, genom specifika

Läs mer

Process- och metodreflektion. Grupp 3; Ida Gustafsson, Mikael Karlsson, Jonas Lind, Hanne Sundin, Maria Törnkvist

Process- och metodreflektion. Grupp 3; Ida Gustafsson, Mikael Karlsson, Jonas Lind, Hanne Sundin, Maria Törnkvist Process- och metodreflektion Grupp 3; Ida Gustafsson, Mikael Karlsson, Jonas Lind, Hanne Sundin, Maria Törnkvist Planeringen Redan från början av projektet bestämde vi oss i gruppen för att planera utförande

Läs mer