This thesis covers topics relevant to information organization and retrieval. The main objective of the work is to provide algorithms that can elevate the recall-precision performance of retrieval tasks in a wide range of applications ranging from document organization and retrieval to web-document pre-fetching and finally clustering of documents based on novel encoding techniques. The first part of the thesis deals with the concept of document organization and retrieval using unsupervised neural networks, namely the self-organizing map, and statistical encoding methods for representing the available documents into numerical vectors. The objective of this section is to introduce a set of novel variants of the self-organizing map algorithm that addresses certain shortcomings of the original algorithm. In the second part of the thesis the latencies perceived by users surfing the Internet are shortened with the usage of a novel transparent and speculative pre-fetching algorithm. The proposed algorithm relies on a model of behaviour for the user browsing the Internet and predicts his future actions when surfing the Internet. In modeling the users behaviour the algorithm relies on the contextual statistics of the web pages visited by the user. Finally, the last chapter of the thesis provides preliminary theoretical results along with a general framework on the current and future scientific work. The chapter describes the usage of the Zipf distribution for document organization and the usage of the adaboosting algorithm for the elevation of the performance of pre-fetching algorithms.

The vision of pervasive computing promises a shift from information tech-nology per se to what can be accomplished by using it, thereby fundamen-tally changing the relationship between people and information technology. In order to realize this vision, a large number of issues concerning user ex-perience, contextual change, and technical requirements should be ad-dressed. We provide a design rationale for pervasive computing that encom-passes these issues, in which we argue that a prominent aspect of user ex-perience is to provide user control, primarily founded in human values. As one of the more significant aspects of the user experience, we provide an extended discussion about privacy. With contextual change, we address the fundamental change in previously established relationships between the practices of individuals, social institutions, and physical environments that pervasive computing entails. Finally, issues of technical requirements refer to technology neutrality and openness—factors that we argue are fundamen-tal for realizing pervasive computing. We describe a number of empirical and technical studies, the results of which have helped to verify aspects of the design rationale as well as shap-ing new aspects of it. The empirical studies include an ethnographic-inspired study focusing on information technology support for everyday activities, a study based on structured interviews concerning relationships between con-texts of use and everyday planning activities, and a focus group study of laypeople’s interpretations of the concept of privacy in relation to informa-tion technology. The first technical study concerns the model of personal service environments as a means for addressing a number of challenges con-cerning user experience, contextual change, and technical requirements. Two other technical studies relate to a model for device-independent service de-velopment and the wearable server as a means to address issues of continu-ous usage experience and technology neutrality respectively. / QC 20100929

This thesis examines how discernibility-based methods can be equipped to posses several qualities that are needed for analyzing tabular medical data, and how these models can be evaluated according to current standard measures used in the health sciences. To this end, tools have been developed that make this possible, and some novel medical applications have been devised in which the tools are put to use. Rough set theory provides a framework in which discernibility-based methods can be formulated and interpreted, and also forms an appealing foundation for data mining and knowledge discovery. When the medical domain is targeted, several factors become important. This thesis examines some of these factors, and holds them up to the current state-of-the-art in discernibility-based empirical modelling. Bringing together pertinent techniques, suitable adaptations of relevant theory for model construction and assessment are presented. Rough set classifiers are brought together with ROC analysis, and it is outlined how attribute costs and semantics can enter the modelling process. ROSETTA, a comprehensive software system for conducting data analyses within the framework of rough set theory, has been developed. Under the hypothesis that the accessibility of such tools lowers the threshold for abstract ideas to migrate into concrete realization, this aids in reducing a gap between theoreticians and practitioners, and enables existing problems to be more easily attacked. The ROSETTA system boasts a set of flexible and powerful algorithms, and sets these in a user-friendly environment designed to support all phases of the discernibility-based modelling methodology. Researchers world-wide have already put the system to use in a wide variety of domains. By and large, discernibility-based data analysis can be varied along two main axes: Which objects in the universe of discourse that we deem it necessary to discern between, and how we define that discernibility among these objects is allowed to take place. Using ROSETTA, this thesis has explored various facets of this also in three novel and distinctly different medical applications: *A method is proposed for identifying population subgroups for which expensive tests may be avoided, and experiments with a real-world database on a cardiological prognostic problem suggest that significant savings are possible. * A method is proposed for anonymizing medical databases with sensitive contents via cell suppression, thus aiding to preserve patient confidentiality. * Very simple rule-based classifiers are employed to diagnose acute appendicitis, and their relative performance is compared to a team of experienced surgeons. The added value of certain biochemical tests is also demonstrated.

In today's computer engineering, requirements for generally high reliability have pushed the notion of testing to its limits. Many disciplines are moving, or have already moved, to more formal methods to ensure correctness. This is done by comparing the behavior of the system as it is implemented against a set of requirements. The ultimate goal is to create methods and tools that are able to perform this kind of verfication automatically: this is called Model Checking. Although the notion of model checking has existed for two decades, adoption by the industry has been hampered by its poor applicability to complex systems. During the 90's, researchers have introduced an approach to cope with large (even infinite) state spaces: Symbolic Model Checking. The key notion is to represent large (possibly infinite) sets of states by a small formula (as opposed to enumerating all members). In this thesis, we investigate applying symbolic methods to different types of systems: Parameterized systems. We work whithin the framework of Regular Model Chacking. In regular model checking, we represent a global state as a word over a finite alphabet. A transition relation is represented by a regular length-preserving transducer. An important operation is the so-called transitive closure, which characterizes composing a transition relation with itself an arbitrary number of times. Since completeness cannot be achieved, we propose methods of computing closures that work as often as possible. Games on infinite structures. Infinite-state systems for which the transition relation is monotonic with respect to a well quasi-ordering on states can be analyzed. We lift the framework of well quasi-ordered domains toward games. We show that monotonic games are in general undecidable. We identify a subclass of monotonic games: downward-closed games. We propose an algorithm to analyze such games with a winning condition expressed as a safety property. Probabilistic systems. We present a framework for the quantitative analysis of probabilistic systems with an infinite state-space: given an initial state sinit, a set F of final states, and a rational Θ > 0, compute a rational ρ such that the probability of reaching F form sinit is between ρ and ρ + Θ. We present a generic algorithm and sufficient conditions for termination.

<p>Detta är ett 10 poängs examensarbete på C-nivå vid Karlstads Universitet. Målet med examensarbetet var att utveckla ett befintligt system för webbaserade kurstest så att det också kan användas för duggor. Säkerheten skulle förbättras så att studenter blir tvungna att logga in med användarnamn och lösenord när de ska skriva duggor. Resultaten från de studenter som skriver duggor skulle sparas i en databas. Vi hade också som mål att låta studenter testa systemet och att låta dem fylla i en enkät med frågor om vad de tycker om ett webbaserat system för duggor.</p><p>Det resultat vi har kommit fram till är ett system som både hanterar webbaserade kurstest och webbaserade duggor. Vi har gjort om systemet så att studenter som skriver en dugga måste fylla i användarnamn och lösenord. Vi lät dessutom studenterna på Datakommunikation 1 under höstterminen 2005 prova systemet. De genomförde en dugga med hjälp av systemet, och sedan lät vi dem fylla i en enkät där vi ställde frågor om vad de tycker om att göra webbaserade duggor. Efter att studenterna hade provat systemet och svarat på enkätfrågorna kom vi fram till att de flesta studenter tyckte att systemet fungerade väl och hade ett bra användargränssnitt. Systemet bör dock utvecklas ytterligare innan det tas i bruk av universitetet.</p> / <p>This is a bachelor’s thesis at the University of Karlstad. The goal of this work was to further develop a system for online course testing so that it can be used for small exams. The security was going to be improved so that students have to log on with usernames and passwords when they are going to take exams. The results from the students who take exams were going to be stored in a database. Our goal was also to let students test our system, and to let them fill out a survey with questions about what they think of an online exam system.</p><p>The result is a system that manages both online course tests and small online exams. We have redeveloped the system so students who take an exam have to fill in username and password. We let the students on Datacommunications 1, fall 2005 test the system. They took a small exam in the new system, and after we let them fill out a survey in which we asked questions about what they think about writing exams online. After the students had tried the system and answered the survey-questions we concluded that most students thought the system was working well and that it had a good user interface. The system should be further developed though, before it can be used by the university.</p>

<p>This essay answers the question: How can a manufacturing business fulfill the information demand in the processes; purchasing, production, warehousing, order and delivery?</p><p>The question has been answered through different kind of studies, such as literature, documents, Internet search, interviews and observations. The essay is written from a hermeneutic point of view and by using qualitative research. The result has been validated by two different manufacturing businesses.</p><p>A simple information logistic model is the result of a comparison made between theory and empery. The aim of the model is to describe how a manufacturing business can fulfill the information demand by using different methods. The model is divided into five vertical parts; information quantity, communication, method, process and activity. The model is not horizontally limited; the users can chose what is relevant for them. For example a user can choose to study only one process.</p><p>The model gives example of common information carriers, which are used to gather the information needed. It displays between whom the information is exchanged. The model focuses on the commu-nication between the business and its customers and suppliers. The model also gives suggestions on methods, which are usable to fulfill information demand, and the importance of integration between processes using five common processes and their activities.</p> / <p>Den här kandidatuppsatsen besvarar frågan: Hur ska ett tillverkande företag tillgodose informationsbehoven i processerna; inköp, tillverkning, lager, order och leverans?</p><p>Tillvägagångssättet för att besvara frågan har varit litteraturstudier, dokumentstudier, informationssökning på Internet, intervjuer och observationer. Kandidatuppsatsen är skriven utifrån ett hermeneutiskt förhållningssätt och vi har valt att använda oss av en kvalitativ undersökningsmetod. Resultatet har sedan validerats av två olika tillverkande företag.</p><p>Jämförelse mellan empiri och teori har resulterat i en informationslogistisk modell vilken syftar till att enkelt beskriva hur ett tillverkande företag med hjälp av olika metoder kan tillgodose informationsbehov. Modellen består av fem vertikala delar; informationsmängd, kommunikation, metod, process och aktivitet. Modellen är inte horisontellt begränsad, utan användarna kan själva välja vad som är relevant för dem. Exempelvis kan en användare välja att studera endast en process och dess tillhörande delar.</p><p>Modellen ger exempel på vanligt förekommande informationsbärare som används för att samla den information vilken behövs. Den visar också mellan vilka aktörer informationsutbytet sker. Modellen fokuserar på kommunikationen mellan företaget, dess kunder och leverantörer. Modellen ger även förslag på användbara metoder för att tillgodose informationsbehoven och vikten av integration mellan processerna utifrån fem vanligt förekommande processer och dess aktiviteter i tillverkande företag.</p>

Current food production methods in the United States contribute to environmental degradation as well as food insecurity. Food production by means of community gardens has the potential to reduce the deleterious effects of current production methods. However, many community gardens face challenges that hinder their longevity, thereby reducing the likelihood of the support they might provide for environmentally sustainable food production and decreased food insecurity for community members. A behavioral systems science approach was combined with ethnographic research methods, matrix analysis, and a literature review regarding best practices for community gardens to study the cultural practices of three established community gardens in the southwest region of the US. The results of the analyses conducted are presented in terms of recommendations to support each target community garden's sustainability. Recommendations regarding future research include environmental manipulations to identify functional relations and potential outcome measures for improving the longevity of community gardens are provided.

<p>Denna rapport syftar till att undersöka hur Siemens Industrial Turbomachinery AB i Finspång har valt att arbeta med processförbättringsmetoden Six Sigma, som är en mycket populär metod för att genomföra processförbättringsprojekt och mycket attraktiv för företag som ska arbeta med sådana.</p><p> </p><p>Metoden bygger på statistik och att fatta välinformerade beslut. Detta görs genom att samla team-medlemmar från den process som ska förbättras och genom att göra mätningar inom sagda process.  Man börjar ett projekt genom att definiera problemet, går vidare med att mäta den aktuella processen, analyserar sedan de data man fått in, försöker komma på lösningar och slutligen implementerar man den lösning man bedömt som bäst.</p><p> </p><p>Vi gjorde en kvalitativ fallstudie på företaget och intervjuade över ett dussin personer som hade olika grader av bekanthet med Six Sigma, för att få utsagor från personer med olika perspektiv på metoden.  Av detta fick vi veta att de som har varit med i ett förbättringsprojekt eller har utbildat sig inom Six Sigma var begränsade till en knapp tiondel av de anställda på företaget, men att de som var insatta i metoden var ganska väl insatta.</p><p> </p><p>Vi går igenom ett antal faktorer inom Six Sigma och projekt baserade på metoden och ställer dessa mot relaterade teorier så att vi kan dra slutsatser.</p><p> </p><p>Slutligen tar vi upp våra slutsatser och avslutande reflektioner där vi kommer fram till att mycket av problemen med metoden ligger i om man inte använder den fullt ut utan försöker klara sig utan att ge de resurser som krävs men att metoden annars ger ett stabilt ramverk för processutveckling.</p>

<p>Uppsatsen syftar till att ge ett generellt kunskapsbidrag om vilka faktorer som kan sägas bidra till förekomsten av interkommunal samverkan om och med IT samt vilka effekter som kommuner kan uppnå genom sådan samverkan. Genom en exemplifierande studie avser vi även beskriva hur en inter-kommunal samverkan om och med IT kan se ut. Därutöver även att se om det utifrån ovanstående går att peka ut eller identifiera några särskilda framgångsfaktorer eller omständigheter som är av betydelse för huruvida samverkan kan resultera i ett positivt resultat eller inte.</p><p>De resultat som vi kommit fram till pekar på att det finns flera faktorer som kan sägas bidra till att inter-kommunal samverkan om och med IT uppkommer. De bidragande faktorer som framkommit är omgivningen i form av staten och EU som vi funnit vara en stor bidragande faktor. Dessutom den obalans som uppstår mellan de resurser en kommun har och de uppdrag den har på sig. Ytterliggare så är ekonomin en faktor som bidrar till att inter-kommunal samverkan om och med IT uppkommer och att den kan ses som den gemensamma nämnaren.</p><p>Vad gäller effekter så har vi sett att det finns många möjligheter likväl som det kan uppstå många problem vid samverkan om och med IT. Dessutom finns det olika förutsättningar som bör beaktas. En del av de effekter som inter-kommunal ITsamverkan kan ge är skalfördelar, organisations- och verksamhetsutveckling, effektivare organisation och ekonomisk effektivisering samt kunskapsutbyte och resursdelning mellan kommunerna. Vilka möjligheter, problem och förutsättningar som kan uppnås, uppstå eller behöva beaktas är dock beroende av hur och i vilken grad samverkan sker och avgör också vilka effekterna blir.</p><p>När det gäller framgångsfaktorer är de i mångt och mycket sammanknippade med omgivningen i form av staten. En framgångsfaktor för just inter- kommunal samverkan om och med IT är ett statligt underlättande av lagar och förordningar som kan förhindra och försvåra samverkan mellan kommuner. Även statligt framtagna standarder är en framgångsfaktor. Därutöver kan formalisering i form av avtal eller dylikt vara en framgångsfaktor i inter-kommunal samverkan om och med IT då en sådan samverkan behöver vara långsiktig och inte brytas av att förändringar i maktbalansen sker.</p>

<p>Tre centrala områden som de flesta organisationer frekvent arbetar mot att förbättra är effektivitet, kommunikation och kvalitet, begrepp som i denna uppsats fogats samman till vad vi kallar verksamhetsnytta. När organisationer tenderar att växa till sin storlek uppstår dock styrningssvårigheter och problem med att koordinera verksamheten i en gemensam riktning mot förenade målsättningar. Detta är något som vi framförallt uppmärksammat hos en del tjänsteföretag där man genom fältarbetare bedriver verksamhet utanför organisationens väggar och närmare slutkunder. Ett sätt att tackla problematiken är att öppna upp åtkomsten till interna informationssystem och vidare med hjälp av externa enheter kommunicera data in och ut ur organisationen. Detta för att förenkla informationsflöden, höja kvalitet och samtidigt rationalisera bort tidskrävande administration och dubbelarbete.</p><p>Det blir idag vanligare att företag nyttjar handdatorer som verktyg för dessa ändamål, vilket ligger till grund för vårt intresse att i uppsatsen studera vilken potentiell verksamhetsnytta handdatorer kan bidra med. Som del i studien har vi därför genomfört empiriska undersökningar med fokus på fältarbetare och deras arbetsprocesser i tre olika tjänsteföretag vars bekantskap med handdatorer skiljer sig i olika utsträckning. Undersökningarna har gett oss en insyn i hur fältarbetare arbetar inom olika verksamheter både med och utan handdatorer som verktyg. Utifrån påträffade upptäckter har vi bland annat genom parallelldragningar verksamheterna emellan analyserat huruvida handdatorer påvekar, alternativt kan påverka, fältarbetarnas dagliga arbete.</p><p>Det har visat sig att handdatorer har god potential att bidra med verksamhetsnytta men att det vid eventuellt införande också medför omfattande förändringsbehov. Vi kan genom studier av fältarbetarnas arbetsflöden peka på många områden där handdatorer kan vara lämpligt som medel för att komma tillrätta med problem och tillfredsställa behov. Dock medför det andra åtaganden i form av att anpassa sin verksamhet till den nya tekniken, något som kan komma att bekosta andra viktiga aspekter som exempelvis befintliga styrkor.</p>