Computers are still not outperforming professional go-players because of several complex aspects of the game. A common feature of computerised board-game players is that they needs a estimated value of how good or bad a given board is for one of the players. In this report we evaluate some trivial board-evaluation algorithms for the go board in how accurate they are to the outcome of the whole go-match.To our disappointment but also not unexpected very simple heuristic methods don't show any significant accuracy between their result from large data of board-states and the outcome of the games.

The subject of computer Go is an active eld under AI and has achieved much attention in research. The current state of the art computer Go im-plementations uses a game tree search approach rather than advanced heuristics. This thesis aims to bridge these two approaches and combineMonte Carlo Tree Search with heuristics to deduce if any general results can be found. The results of the thesis indicate that the performance of a combined MCTS-heuristic approach correlates strongly with performance of the heuristic. Furthermore, MCTS can be used with any heuristic to improve its performance.1

Business processes are part of every organization, in more orless structured ways. They serve as a documentation of howwork should be performed. Business Process Management (BPM) is a set of methods and technologies to support the modeling, execution, administration, and analysis of businessprocesses. BPM aims to bridge the gap between strategy and operations in an organization. Inefficient manualprocesses in this gap introduce problems with consistency,traceability and agility. This degree project investigates the suitability of open source Business Process Management Systems (BPMSs) for handling processes in governmentagencies to address these issues. The Swedish Export Credits Guarantee Board’s (EKN’s) application process for export guarantee offers is used as case. Interviews were conducted and a proof of concept using open source BPM for EKN’s application process was implemented, which together with the literature review are analyzed to find keyfactors indicating a process’ successful execution in a processengine. The key factors found are that the process should be delimited, repetitive, not running for too long,and be predictable with regard to every possible outcome. / Alla organisationer har processer, i mer eller mindre strukturerade former. Processer fungerar som en dokumentation över hur arbete ska genomföras. Business Process Management(BPM) är en uppsättning metoder och tekniker för att stödja modellering, exekvering, administrering och analys av processer. BPM är ett sätt att försöka minska klyftan mellan organisationen och verksamheten i en organisation. Ineffektiva manuella processer däremellan skapar problem med hur konsekvent, spårbart och flexibelt arbetet blir. Detta examensarbete undersöker lämplighets-graden av open source Business Process Management System(BPMS) för handläggningsprocesser inom myndigheter för att hantera dessa problem. Exportkreditnämndens (EKN:s)ansökningsprocess för exportgaranti-offerter används som exempel. Intervjuer genomfördes och en proof of concept av open source BPM för EKN:s ansökningsprocess implementerades,vilket tillsammans med litteratur-studien analyseras för att hitta viktiga faktorer för en process som indikerar framgångsrik exekvering i en processmotor. De faktorer som hittats är att processen ska vara avgränsad och repetitiv, samt att processen inte får pågå under för lång tid och är känd avseende alla möjliga utfall.

Contrary to popular belief, scientists working in their laboratories are not the members of society who learn the most in their daily lives. The members of society who do by far the most learning in their daily lives are children.Children tend to walk by the age of 12 months; they can express themselvesin the extremely complex system known as natural language by the age of two years; and they have developed a theory of mind after spending a mere four years in the world. And they manage all of this before entering formal education.The progress of even the hardest working university student pales in comparison.This is not just due to the difference in age between adults and children. It also has to do with the environment in which we learn.Microworlds are environments in which adult minds can construct knowledge in a similar way to children. This paper explains the ideas behind microworlds and describes two implementations of them.One microworld created for this paper, Narrative Roulette, is both an engaging and effective learning environment for teenage students at Kungsholmens Gymnasium.However, it does not seem to provide enough direct value for teachers for it to become a regular part of Kungsholmens Gymnasium’s curriculum. / Barn börjar att gå vid 12 månaders ålder. De kan uttrycka sig i det extremt komplexa systemet som kallas naturligt språk vid två års ålder. Vidare har de utvecklat inlevelseförmåga efter att ha tillbringat endast fyra år i världen. Allt detta har de klarat av innan de påbörjat någon formell utbildning.Detta ställer även den flitigaste studentens universitetsstudier i skuggan. Det handlar inte bara om åldersskillnaden mellan vuxna och barn, utan även inlärningsmiljön.Mikrovärldar är miljöer där vuxna kan konstruera kunskap såsom barn gör.Denna uppsats förklarar idéerna bakom mikrovärldar, beskriver två tillämpningar som skapats från grunden och diskuterar framgången och huruvida konceptet någonsin kommer att ingå i den allmänna läroplanen.Mikrovärlden som skapats för denna rapport heter Narrative Roulette, ocherbjuder en engagerande och effektiv inlärningsmiljö för tonårselever.

Due to scientific advances in mobility and connectivity, digital media can be distributed to multiple platforms by streams and video on demand services. The abundance of video productions poses a problem in term sof storage, organization and cataloging. How the movies or TV-series should be sorted and retrieved is much dictated by user preferences,motivating proper indexing and an notation of video content. While movies tend to be described by keywords or genre, this thesis constitutesan attempt to automatically index videos, based on their semantics. Representing a video by the sentiment it invokes, would not only be more descriptive, but could also be used to compare movies directly based onthe actual content. Since filmmaking is biased by human perception,this project looks to utilize these characteristics for machine learning.The video is modeled as a sequence of shots, attempting to capture the temporal nature of the information. Sentiment analysis of videos has been used as labels in a supervised learning algorithm, namely a SVM using a string kernel. Besides the specifics of learning, the work of this thesis involve other relevant fields such a feature extraction and videosegmentation. The results show that there are patterns in video fit for learning; however the performance of the method is inconclusive due to lack of data. It would therefore be interesting to evaluate the approach further, using more data along with minor modifications. / Tack vare tekniska framsteg inom mobilitet och tillgänglighet, kan media såsom film distribueras till flertalet olika plattformar, i form avströmning eller liknande tjänster. Det enorma utbudet av TV-serier och film utgör svårigheter för hur materialet ska lagras, sorteras och katalogiseras. Ofta är det dessutom användarna som ställer krav på vad somär relevant i en sökning. Det påvisar vikten av lämplig notation och indexering.I dag används oftast text som beskrivning av videoinnehållet, i form av antingen genre eller nyckelord. Det här arbetet är ett försök till att automatiskt kunna indexera film och serier, beroende på det semantiska innehållet. Att istället beskriva videomaterialet beroende på hur det uppfattas, samt de känslor som väcks, innebär en mer karaktäristisk skildring. Ett sådant signalement skulle beskriva det faktiska innehållet på ett annat sätt, som är mer lämpligt för jämförelser mellan två videoproduktioner. Eftersom skapandet av film anpassar sig till hur människor uppfattar videomaterial, kommer denna undersökning utnyttja de regler och praxis som används, som hjälp för maskininlärningen. Hur en film uppfattas, eller de känslor som framkallas, utgör en bas för inlärningen, då de används för att beteckna de olika koncept som ska klassificeras. En video representeras som en sekvens av klipp, med avsikt att fånga de tidsmässiga egenskaperna. Metoden som används för denna övervakade inlärning är en SVM som kan hantera data i form av strängar. Förutom de teknikaliteter som krävs för att förstå inlärningen,tar rapporten upp relevanta andra områden, t.ex. hur information ska extraheras och videosegmentering. Resultaten visar att det finns mönster i video, lämpliga för inlärning. På grund av för lite data, är det inte möjligt att avgöra hur metoden presterar. Det vore därför intressant med vidare analys, med mer data samt smärre modifikationer.

Today, digital media is getting more and more accessible and adapted to the users. In recent years, there has been an increasing interest in developing cross-platform interms of mobile devices. The concept plays an importantrole in the development and maintenance of applications by saving time. Accedo Broadband AB has come up with a cross-platform development framework, called the XDK,for HTML-based platforms like Smart TVs targeting VODapplications. It is currently not possible to use for applications running on mobile devices but it is highly desirable in order to accomplish the vision of build once - deploy on many.This master thesis investigates how the XDK can beintegrated or co-exist with existing cross-platform frameworks for mobile devices of today. The findings suggest thata hybrid application approach is the most suitable one andin order to demonstrate its feasibility a prototype based onPhoneGap was implemented. The prototype was successful both implementation-wise and performance-wise. Furthermore,it is certain to say that HTML is advancing and the mobile devices are progressing, all together paving the way for even better performances. / Digital media blir idag mer och mer tillgänglig och anpassad till användarna. Under senare år har det funnits ett ökat intresse för att utveckla plattformsoberoende gällande mobila enheter. Konceptet spelar en viktig roll i utvecklingen samt underhållandet av applikationer genom att spara tid. Accedo Broadband AB har tagit fram ett plattforms oberoende ramverk, vid namn XDK, för HTML-baserade plattformar såsom Smart TVs inriktat på VOD applikationer.Det är för tillfället inte möjligt att använda det för applikationer på mobila enheter men det är mycket önskvärt för att kunna uppnå visionen build once - deploy on many. Detta examensarbete undersöker hur XDK kan integreras eller samexistera med idag befintliga plattformsoberoende ramverk för mobila enheter. De framtagna resultaten tyder på att en hybrid applikations strategi är mest lämplig och för att bevisa detta implementerades en prototyp baserad på PhoneGap. Prototypen var lyckad både gällande implementation och prestanda. Dessutom är det säkert att säga att HTML avancerar och de mobila enheterna blir bättre och bättre. Tillsammans banar de väg för ännu bättre prestanda.

Anomaly detection is an important issue in data mining and analysis, with applications in almost every area of science, technology and business that involves data collection.The development of general, automated anomaly detection methods could therefore have a large impact on data analysis across many domains. Due to the highly subjective nature of anomaly detection, there are no generally applicable methods, and for each new application a large number of possible methods must be evaluated. In spite of this, little work has been done to automate the process of anomaly detection research for new applications. In this report, a novel approach to anomaly detection research is presented, in which the task of finding appropriate anomaly detection methods for some specific application is formulated as an optimisation problem over a set of possible problem formulations. In order to facilitate the application of this optimisation problem to applications, a high-level framework for classifying and reasoning about anomaly detection problems is introduced. An application of this optimisation problem to anomaly detection in sequences is presented; algorithms for solving general anomaly detection problems in sequences are given, along with tractable formulations of the optimisation problem for the two major anomaly detection tasks in sequences. Finally, a software implementation of the optimisation problem and framework is presented, along with a preliminary investigation into how it can be used to facilitate anomaly detection research. / Avvikelsedetektion är ett viktigt dataanalysproblem, och återfinns i så gott som samtliga områden inom näringsliv och forskning i vilka storskalig datainsamling sker. Generella, automatiserade metoder för avvikelsedetektion skulle kunna förväntas ha en avsevärd positiv påverkan på många forsknings och affärsområden. Med anledning av att avvikelsedetektion till sin naturbygger på subjektiva bedömningar ter det sig det dock osannolikt att någon generell teori för ämnet skulle kunna finnas, och det finns inga allmänt tillämpbara metoder. Följaktligen kräver tillämpningen av avvikelsedetektion inom nya områden så väl god kompetens inom ämnet som avsevärda mängder manuellt arbete. Detta till trots saknas i dagsläget automatiserade verktyg som underlättar denna process. I denna rapport presenteras ett nytt synsätt på avvikelsedetektion,i vilket uppgiften att finna lämpliga metoder förgivna tillämningar formuleras som ett optimeringsproblem över en mängd problemformuleringar. I samband med detta introduceras även ett ramverk, syftet med vilket är attfrämja formaliseringen av problemformuleringar och därmed möjliggöra tillämpningar av optimerings-problemet. Vidare presenteras en tillämpning på avvikelsedetektion i sekvenser. Generella algoritmer för att lösa avvikelsedetektionsproblem i sekvenser ges tillsammans med tillhörande formuleringar av optimeringsproblemet. Slutligen presenteras en mjukvaruimplementation av optimeringsproblemet och ramverket, tillsammans med en preliminärundersökning av hur dessa kan användas för att underlätta framtida forskning inom ämnet.

Genomtänkta fingersättningar är användbara för att kunna spela ett instrument väl, och bidrar till att förbättra både flexibilitet och ljudkvalitet. Denna studie utforskade möjligheterna att med hjälp av en uppsättning regler generera ergonomiska fingersättningar för piano, för monofoniska melodier. En algoritm baserad på dynamisk programmering implementerades, och trellisgrafer användes för att illustrera degenererade fingersättningarna. Algoritmens prestationsförmåga utvärderades genom att jämföra de givna resultaten med fingersättningar föreslagna av två professionellapianister. Mängden av automatiskt genererade fingersättningar inkluderade stora delar av de fingersättningar som föreslagits av pianisterna, men också en stor mängd fingersättningar som inte höll lika hög kvalitet. / In order to play an instrument well, carefully planned fingerings can be helpful and improve flexibility and sound quality. This study explores the possibilities of generating ergonomic piano fingerings for monophonic melodies based on a set of rules. Analgorithm is implemented using dynamic programming, and trellis graphs are used to illustrate the possible fingerings. The performance of the algorithm was evaluated by comparing the obtained results with fingerings suggested by two professional pianists.The automatically generated set of fingerings included large parts of the fingerings suggested by the pianists, but also a large superset of other fingerings of lower quality.

The integer factorisation problem (FACT) is a well-known number-theoreticproblem, with many applications in areas such as cryptography. An instanceof a FACT problem (a number n such that n = p × q) can be reduced to aninstance of the conjunctive normal form boolean satisfiability problem (CNFSAT),a well-known NP-complete problem. Some applications of this is toutilize advances in SAT solving for solving FACT, and for creating difficult CNF-SAT instances.This report compares four different reductions from FACT to CNF-SAT,based on the full adder, array multiplier and Wallace tree multiplier circuits.The comparisons were done by reducing a set of FACT instances to CNF-SAT instances with the different reductions. The resulting CNF-SAT instanceswere then compared with respect to the number of clauses and variables, aswell as the time taken to solve the instances with the SAT solver MiniSat.

Den här rapporten undersöker automatisk lösning av Heyawakepussel genom att använda Answer Set Programming. Heyawake är på många sätt likt det mer välkända Sudoku men har inte blivit lika efterforskat vilket gör spelet väldigt intressant att undersöka.Spelet är bevisat NP-fullständigt så fokus har legat på att implementera lösaren istället för att göra den så snabb som möjligt men endel optimeringar har ändå gjorts.Answer Set Programming ha länge använts för att lösa NP-fullständiga problem och för Heyawake är det möjligt att lösa normalstora pussel väldigt snabbt. För att optimera lösaren krävs djupgående kunskaper om Answer Set Programming-lösaren som används. / This report exmamines automatic solving of Heyawake puzzles usingAnswer Set Programming. Heyawake is somewhat similar to the morewell known Sudoku but has not been as extensively researched whichmakes the game very interesting to examine.The game has previously been proven to be NP-complete so the focushas been on implementing the solver instead of making it fast althoughsome optimizations has been made.Answer Set Programming has long been used to solve NP-completeproblems and for Heyawake it is possible to solve normal sized puzzlesvery fast. Optimizing the solver proved to be hard unless you have extensiveknowledge of the Answer Set Programming solver that is used.