Ändra sökning
Avgränsa sökresultatet
45678910 301 - 350 av 11811
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Träffar per sida
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sortering
  • Standard (Relevans)
  • Författare A-Ö
  • Författare Ö-A
  • Titel A-Ö
  • Titel Ö-A
  • Publikationstyp A-Ö
  • Publikationstyp Ö-A
  • Äldst först
  • Nyast först
  • Skapad (Äldst först)
  • Skapad (Nyast först)
  • Senast uppdaterad (Äldst först)
  • Senast uppdaterad (Nyast först)
  • Disputationsdatum (tidigaste först)
  • Disputationsdatum (senaste först)
  • Standard (Relevans)
  • Författare A-Ö
  • Författare Ö-A
  • Titel A-Ö
  • Titel Ö-A
  • Publikationstyp A-Ö
  • Publikationstyp Ö-A
  • Äldst först
  • Nyast först
  • Skapad (Äldst först)
  • Skapad (Nyast först)
  • Senast uppdaterad (Äldst först)
  • Senast uppdaterad (Nyast först)
  • Disputationsdatum (tidigaste först)
  • Disputationsdatum (senaste först)
Markera
Maxantalet träffar du kan exportera från sökgränssnittet är 250. Vid större uttag använd dig av utsökningar.
  • 301.
    Alnesjö, Robert
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    Chunked DASH in JavaScript2018Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Chunkad DASH får uppmärksamhet för sin förmåga att minska annars hög fördröjning vid segmentbaserad direktsändning, men det finns många associerade problem som inte har utforskats i någon större utsträckning. Denna masters avhandling undersöker svårigheterna med att implementera en chunkad DASH-spelare i webbläsaren med JavaScript.

    Ett litet system som innehåller en JavaScript-klient och en server som simulerar direktsändning genom att upprepa VOD-segment implementeras. Frågor relaterade till nedladdning av chunkar behandlas och löses så att innehållet kan sändas inom förväntad fördröjning och med pålitliga mätvärden av genomströmmning.

  • 302.
    Alnesjö, Robert
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    Darnald, Johan
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    Usability and enjoyability of natural language interface technology in computer games2015Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Syftet med denna rapport är att undersöka tillämpningen av naturligt språk gränssnitt (NLI) teknik i datorspel när det gäller användbarhet och nöjdhet.För att testa detta så jämförs ett NLI med ett formellt språk gränssnitt (FLI) med hjälp av systemanvändbarhetsskalan (SUS) för att bestämma användbarheten.Resultaten visar att även om NLI:t fick lägre SUS-medelpoäng än FLI:t så uppmättes det till att vara roligare.Slutsatsen är att användning av NLI tekniken är väl motiverad eftersom det primära målet för ett dataspel är att vara underhållande.

  • 303. Alonso, O.
    et al.
    Kamps, J.
    Karlgren, Jussi
    KTH, Skolan för datavetenskap och kommunikation (CSC), Teoretisk datalogi, TCS. Gavagai .
    Foreword2014Ingår i: ESAIR 2014 - Proceedings of the 7th International Workshop on Exploiting Semantic Annotations in Information Retrieval, co-located with CIKM 2014, Association for Computing Machinery (ACM), 2014Konferensbidrag (Refereegranskat)
  • 304. Alonso, O.a
    et al.
    Kamps, J.b
    Karlgren, Jussi
    KTH, Skolan för datavetenskap och kommunikation (CSC), Teoretisk datalogi, TCS.
    Seventh workshop on exploiting semantic annotations in information retrieval (ESAIR’14)2014Ingår i: CIKM 2014 - Proceedings of the 2014 ACM International Conference on Information and Knowledge Management, Association for Computing Machinery (ACM), 2014, s. 2094-2095Konferensbidrag (Refereegranskat)
    Abstract [en]

    There is an increasing amount of structure on the Web as a result of modern Web languages, user tagging and annotation, emerging robust NLP tools, and an ever growing volume of linked data. These meaningful, semantic, annotations hold the promise to significantly enhance information access, by enhancing the depth of analysis of today’s systems. The goal of the ESAIR’14 workshop remains to advance the general research agenda on this core problem, with an explicit focus on one of the most challenging aspects to address in the coming years. The main remaining challenge is on the user’s side-the potential of rich document annotations can only be realized if matched by more articulate queries exploiting these powerful retrieval cues-and a more dynamic approach is emerging by exploiting new forms of query autosuggest. How can the query suggestion paradigm be used to encourage searcher to articulate longer queries, with concepts and relations linking their statement of request to existing semantic models? How do entity results and social network data in "graph search" change the classic division between searchers and information and lead to extreme personalization-are you the query? How to leverage transaction logs and recommendation, and how adaptive should we make the system? What are the privacy ramifications and the UX aspects-how to not creep out users?

  • 305. Alonso, Omar
    et al.
    Kamps, Jaap
    Karlgren, Jussi
    KTH, Skolan för datavetenskap och kommunikation (CSC), Teoretisk datalogi, TCS.
    Report on the Fourth Workshop on Exploiting Semantic Annotations in Information Retrieval (ESAIR 11)2012Ingår i: SIGIR Forum, ISSN 0163-5840, E-ISSN 1558-0229, Vol. 46, nr 1, s. 56-64Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    There is an increasing amount of structure on the Web as a result of modern Web languages, user tagging and annotation, and emerging robust NLP tools. These meaningful, semantic, annotations hold the promise to significantly enhance information access, by increasing the depth of analysis of today’s systems. Currently, we have only started to explore the possibilities and only begun to understand how these valuable semantic cues can be put to fruitful use. The workshop had an interactive format consisting of keynotes, boasters and posters, breakout groups and reports, and a final discussion, which was prolonged into the evening. There was a strong feeling that we made substantial progress. Specifically, each of the breakout groups contributed to our understanding of the way forward. First, annotations and use cases come in many different shapes and forms depending on the domain at hand, but at a higher level there are remarkable commonalities in annotation tools, indexing methods, user interfaces, and general methodology. Second, we got insights in the "exploitation" aspects, leading to a clear separation between the low-level annotations giving context or meaning to small units of information (e.g., NLP, sentiments, entities), and annotations bringing out the structure inherent in the data (e.g., sources, data schemas, document genres). Third, the plan to enrich ClueWeb with various document level (e.g., pagerank and spam scores, but also reading level) and lower level (e.g., named entities or sentiments) annotations was embraced by the workshop as a concrete next step to promote research in semantic annotations.

  • 306.
    Alpcan, Tansu
    et al.
    Deutsche Telekom Laboratories, TU Berlin.
    Buchegger, Sonja
    KTH, Skolan för datavetenskap och kommunikation (CSC), Teoretisk datalogi, TCS. KTH, Skolan för elektro- och systemteknik (EES), Centra, ACCESS Linnaeus Centre.
    Security Games for Vehicular Networks2011Ingår i: IEEE Transactions on Mobile Computing, ISSN 1536-1233, E-ISSN 1558-0660, Vol. 10, nr 2, s. 280-290Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Vehicular networks (VANETs) can be used to improve transportation security, reliability, and management. This paper investigates security aspects of VANETs within a game-theoretic framework where defensive measures are optimized with respect to threats posed by malicious attackers. The formulations are chosen to be abstract on purpose in order to maximize applicability of the models and solutions to future systems. The security games proposed for vehicular networks take as an input centrality measures computed by mapping the centrality values of the car networks to the underlying road topology. The resulting strategies help locating most valuable or vulnerable points (e.g., against jamming) in vehicular networks. Thus, optimal deployment of traffic control and security infrastructure is investigated both in the static (e.g., fixed roadside units) and dynamic cases (e. g., mobile law enforcement units). Multiple types of security games are studied under varying information availability assumptions for the players, leading to fuzzy game and fictitious play formulations in addition to classical zero-sum games. The effectiveness of the security game solutions is evaluated numerically using realistic simulation data obtained from traffic engineering systems.

  • 307.
    Alpire, Adam
    KTH, Skolan för informations- och kommunikationsteknik (ICT).
    Predicting Solar Radiation using a Deep Neural Network2017Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Högupplösta globala klimatsimuleringar är oumbärliga för klimatforskningen.De algoritmer som i dag används för att beräkna klimatmodeller baserar sig på matematiska modeller som är beräkningsmässigt tunga. Klimatsimuleringar kan ta dagar eller månader att utföra på superdator (HPC). På så vis begränsas detaljnivån av vilka datorresurser som finns tillgängliga. Om simuleringstiden kunde minskas utan att kompromissa på modellens riktighet skulle detaljrikedomen kunna ökas och nya insikter göras möjliga. Detta projekt undersöker Bredband Solstrålning modellering eftersom det är en betydande del av dagens klimatsimulationer och upptar mellan 30-50% av beräkningstiden i en typisk generell cirkulationsmodell (GCM). Denna uppsats presenterar ett neuralt faltningsnätverk som ersätter denna beräkningsintensiva del. Resultatet är en sju gångers uppsnabbning jämfört med den ursprungliga metoden. Genomsnittliga uppskattningsfelet är 0.004 med 98.71 procents noggrannhet.

  • 308.
    Alpsten, Edward
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Holm, Henrik
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Ståhl, Sebastian
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Evaluation and optimization of an equity screening model2018Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Screening models are tools for predicting which stock are the most likely to perform well on a stock market. They do so by examining the financial ratios of the companies behind the stock. The ratios examined by the model are chosen according to the personal preferences of the particular investor. Furthermore, an investor can apply different weights to the different parameters they choose to consider, according to the importance they apply to each included parameter. In this thesis, it is investigated whether a screening model can beat the market average in the long term. It is also explored whether parameter-weight-optimization in the context of equity trading can be used to improve an already existing screening model. More specifically, a starting point is set in a screening model currently in use at a successful asset management firm, through data analysis and an optimization algorithm, it is then examined whether a programmatic approach can identify ways to improve the original screening model by adjusting the parameters it looks at as well as the weights assigned to each parameter. The data set used in the model contains daily price data and annual data on financial ratios for all stocks on the Stockholm Stock Exchange as well as the NASDAQ-100 over the time period 2004-2018. The results indicate that it is possible to beat the market average in the long term. Results further show that a programmatic approach is suitable for optimizing screening models.

  • 309.
    Al-Qaysi, Bashar
    et al.
    KTH, Skolan för teknik och hälsa (STH), Medicinsk teknik, Data- och elektroteknik.
    Björk, Sara
    KTH, Skolan för teknik och hälsa (STH), Medicinsk teknik, Data- och elektroteknik.
    Evaluation of tools for automatedacceptance testing of webapplications2016Självständigt arbete på grundnivå (yrkesexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Auddly tillhandahåller ett musikverktyg som samlar all information om ett musikstycke på ett endaställe. Acceptanstestningen på deras webbapplikation sker manuellt, som både blir tidskrävande ochdyrt. För att lösa detta problem har en utvärdering av automatiserade acceptanstestverktyg genomförtsför att hitta det verktyg som passar deras webbapplikation bäst. Utvärderingen utfördesgenom att hitta existerande teststrategier för att sedan jämföra de verktyg som implementerar dessastrategier.I analysen av resultatet framkom det att två av strategierna var mest passande för automatiseradeacceptanstester. Strategin Visual Recognition som identifierar komponenter genom skärmdumparoch strategin Record and Replay som identifierar de via deras underliggande ID. Valet mellan demberor på vilka av dessa egenskaper som ändras oftare.Det framkom även att automatisering av acceptanstester är mest lämpligt i regressionstestning, iandra typer av testning bör det ske manuellt.Det klargjordes att verktyget Selenium, som använder strategin Record and Replay, var det bästpassande för Auddly’s acceptanstestning. Selenium kan testa AJAX-anrop med en manuell modifieringoch är ett gratis verktyg med öppen källkod samt ett stort forum.

  • 310.
    Al-qaysi, Ibrahim
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Communicating with a Smart Pillbox via Near Field Communication (NFC): A Mobile Application for Healthcare Professionals2018Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Bristen på medicinering följsamhet leder till en ökad risk för sjukdomar som kan vara en stor belastning för individen, vårdsystemet och samhället. Hälsooch sjukvårdspersonal har därför en central roll och bör hantera, vägleda, utbilda och göra patienten mer delaktig i behandlingen och därigenom främja en bättre medicinering följsamhet.

    Medicinering följsamhet är en stor utmaning för många patienter med kroniska tillstånd, äldre patient eller patient som är ordinerad för långvarig medicinering. Den snabba utvecklingen och användningen av mobiltelefoner inom vårdindustrin har en viktig roll att spela i detta område och har lett till utvecklingen av nya funktioner och applikationer som kan hjälpa både vårdgivare och patienter med att hantera och övervaka medicinsk intag. Denna utveckling och support av mobiltelefoner och applikationer har skapat och förbättrat interaktion mellan läkare och patient.

    Idag finns det inget enkelt sätt för sjukvårdspersonal att övervaka och hjälpa patienter med sina medicinintag. En lösning på detta problem är att utveckla en mobilapplikation som kommer att kommunicera med en smart pillbox via nära fältkommunikation (eng. Near Field Communication, NFC) för att övervaka, hantera och förbättra patientens medicinintag på ett enkelt och tillgängligt sätt. Med hjälp av NFC som kommunikationsteknik kommer data att överföras trådlöst från telefon till pillerdosa och vice versa. Denna lösning kommer att hjälpa vårdpersonal att skapa bättre behandlingsförhållanden och färre biverkningar för sina patienter. Dessa patienter kommer i sin tur att vara mer kunniga och motiverade att ta större ansvar i efterföljande läkares instruktioner och därigenom förbättra deras behandlingsprocess.

    Applikationen har testat och utvärderat under varje iteration av utvecklingsprocessen. Dessa tester har utförts genom att låta vårdpersonal testa applikationen och ge feedback på hur dem upplevar applikationen. Dessa tester hjälper till att skapa nya idéer, funktioner och funktioner som bör ingå i den slutliga applikationen, men också bidra till att förbättra användargränssnittet för att göra ansökan så användarvänlig som möjligt.

  • 311.
    Alrup, Max
    KTH, Skolan för informations- och kommunikationsteknik (ICT).
    Programutveckling för mobila enheter: Musikproduktionsapplikation för Android2013Självständigt arbete på grundnivå (yrkesexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Det finns många program som ger användaren möjlighet att producera musik. En delmängd av dem finns tillgängliga för mobila enheter, t ex smarta telefoner och surfplattor. Majoriteten av dessa program är välgjorda och erbjuder många användbara funktioner. Problemet är att det tar lång tid att lära sig att använda dessa program.

    Målet med det här projektet har varit att utveckla en lättanvänd musikproduktionsapplikation för plattformen Android. Utvecklingen har utförts med hjälp av olika utvecklingsstöd och tekniker. Exempel på dessa är mjukvaruutvecklingsramverket Scrum och desginmönstret Model, View, Controller (MVC). Koden är skriven i programmeringsspråket Java med utvecklingsmiljön Eclipse Integrated Development Envirionment (IDE) tillsammans med tillägget Android Development Tools (ADT). Projektet resulterade i en fungerande musikproduktionsapplikation. Applikationen är en hybrid mellan statisk not-inmatning och realtidsinmating. De flesta av funktionskraven blev implementerade i slutprodukten, men inte alla. Vissa lågprioriterade funktioner hoppades över på grund av tidsbrist.

  • 312.
    Al-Shishtawy, Ahmad
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Kommunikation: Infrastruktur och tjänster, Programvaru- och datorsystem, SCS.
    Enabling and Achieving Self-Management for Large Scale Distributed Systems: Platform and Design Methodology for Self-Management2010Licentiatavhandling, sammanläggning (Övrigt vetenskapligt)
    Abstract [en]

    Autonomic computing is a paradigm that aims at reducing administrative overhead by using autonomic managers to make applications self-managing. To better deal with large-scale dynamic environments; and to improve scalability, robustness, and performance; we advocate for distribution of management functions among several cooperative autonomic managers that coordinate their activities in order to achieve management objectives. Programming autonomic management in turn requires programming environment support and higher level abstractions to become feasible.

    In this thesis we present an introductory part and a number of papers that summaries our work in the area of autonomic computing. We focus on enabling and achieving self-management for large scale and/or dynamic distributed applications. We start by presenting our platform, called Niche, for programming self-managing component-based distributed applications. Niche supports a network-transparent view of system architecture simplifying designing application self-* code.  Niche provides a concise and expressive API for self-* code. The implementation of the framework relies on scalability and robustness of structured overlay networks. We have also developed a distributed file storage service, called YASS, to illustrate and evaluate Niche.

    After introducing Niche we proceed by presenting a methodology and design space for designing the management part of a distributed self-managing application in a distributed manner. We define design steps, that includes partitioning of management functions and orchestration of multiple autonomic managers. We illustrate the proposed design methodology by applying it to the design and development of an improved version of our distributed storage service YASS as a case study.

    We continue by presenting a generic policy-based management framework which has been integrated into Niche. Policies are sets of rules that govern the system behaviors and reflect the business goals or system management objectives. The policy based management is introduced to simplify the management and reduce the overhead, by setting up policies to govern system behaviors. A prototype of the framework is presented and two generic policy languages (policy engines and corresponding APIs), namely SPL and XACML, are evaluated using our self-managing file storage application YASS as a case study.

    Finally, we present a generic approach to achieve robust services that is based on finite state machine replication with dynamic reconfiguration of replica sets. We contribute a decentralized algorithm that maintains the set of resource hosting service replicas in the presence of churn. We use this approach to implement robust management elements as robust services that can operate despite of churn.

     

  • 313.
    Al-Shishtawy, Ahmad
    et al.
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Kommunikation: Infrastruktur och tjänster, Programvaru- och datorsystem, SCS.
    Asif Fayyaz, Muhammad
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Kommunikation: Infrastruktur och tjänster, Programvaru- och datorsystem, SCS.
    Popov, Konstantin
    Swedish Institute of Computer Science.
    Vlassov, Vladimir
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Kommunikation: Infrastruktur och tjänster, Programvaru- och datorsystem, SCS.
    Achieving robust self-management for large-scale distributed applications2010Rapport (Övrig (populärvetenskap, debatt, mm))
    Abstract [en]

    Autonomic managers are the main architectural building blocks for constructing self-management capabilities of computing systems and applications. One of the major challenges in developing self-managing applications is robustness of management elements which form autonomic managers. We believe that transparent handling of the effects of resource churn (joins/leaves/failures) on management should be an essential feature of a platform for selfmanaging large-scale dynamic distributed applications, because it facilitates the development of robust autonomic managers and hence improves robustness of self-managing applications. This feature can be achieved by providing a robust management element abstraction that hides churn from the programmer. In this paper, we present a generic approach to achieve robust services that is based on finite state machine replication with dynamic reconfiguration of replica sets. We contribute a decentralized algorithm that maintains the set of nodes hosting service replicas in the presence of churn. We use this approach to implement robust management elements as robust services that can operate despite of churn. Our proposed decentralized algorithm uses peer-to-peer replica placement schemes to automate replicated state machine migration in order to tolerate churn. Our algorithm exploits lookup and failure detection facilities of a structured overlay network for managing the set of active replicas. Using the proposed approach, we can achieve a long running and highly available service, without human intervention, in the presence of resource churn. In order to validate and evaluate our approach, we have implemented a prototype that includes the proposed algorithm.

     

  • 314.
    Al-Shishtawy, Ahmad
    et al.
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Kommunikation: Infrastruktur och tjänster, Programvaru- och datorsystem, SCS.
    Bao, Lin
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Kommunikation: Infrastruktur och tjänster, Programvaru- och datorsystem, SCS.
    Vlassov, Vladimir
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Kommunikation: Infrastruktur och tjänster, Programvaru- och datorsystem, SCS.
    Policy based self-management in distributed environments2010Ingår i: 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshop (SASOW), IEEE Computer Society Digital Library, 2010, s. 256-260Konferensbidrag (Refereegranskat)
    Abstract [en]

      Currently, increasing costs and escalating complexities are primary issues in the distributed system management. The policy based management is introduced to simplify the management and reduce the overhead, by setting up policies to govern system behaviors. Policies are sets of rules that govern the system behaviors and reflect the business goals or system management objectives. This paper presents a generic policy-based management framework which has been integrated into an existing distributed component management system, called Niche, that enables and supports self-management. In this framework, programmers can set up more than one Policy-Manager-Group to avoid centralized policy decision making which could become a performance bottleneck. Furthermore, the size of a Policy-Manager-Group, i.e. the number of Policy-Managers in the group, depends on their load, i.e. the number of requests per time unit. In order to achieve good load balancing, a policy request is delivered to one of the policy managers in the group randomly chosen on the fly. A prototype of the framework is presented and two generic policy languages (policy engines and corresponding APIs), namely SPL and XACML, are evaluated using a self-managing file storage application as a case study.

  • 315.
    Al-Shishtawy, Ahmad
    et al.
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Kommunikation: Infrastruktur och tjänster, Programvaru- och datorsystem, SCS.
    Fayyaz, Muhammad Asif
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Kommunikation: Infrastruktur och tjänster, Programvaru- och datorsystem, SCS.
    Popov, Konstantin
    Swedish Institute of Computer Science (SICS), Kista, Sweden.
    Vlassov, Vladimir
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Kommunikation: Infrastruktur och tjänster, Programvaru- och datorsystem, SCS.
    Achieving Robust Self-Management for Large-Scale Distributed Applications2010Ingår i: Self-Adaptive and Self-Organizing Systems (SASO), 2010 4th IEEE International Conference on: SASO 2010, IEEE Computer Society, 2010, s. 31-40Konferensbidrag (Refereegranskat)
    Abstract [sv]

    Achieving self-management can be challenging, particularly in dynamic environments with resource churn (joins/leaves/failures). Dealing with the effect of churn on management increases the complexity of the management logic and thus makes its development time consuming and error prone. We propose the abstraction of robust management elements (RMEs), which are able to heal themselves under continuous churn. Using RMEs allows the developer to separate the issue of dealing with the effect of churn on management from the management logic. This facilitates the development of robust management by making the developer focus on managing the application while relying on the platform to provide the robustness of management. RMEs can be implemented as fault-tolerant long-living services. We present a generic approach and an associated algorithm to achieve fault-tolerant long-living services. Our approach is based on replicating a service using finite state machine replication with a reconfigurable replica set. Our algorithm automates the reconfiguration (migration) of the replica set in order to tolerate continuous churn. The algorithm uses P2P replica placement schemes to place replicas and uses the P2P overlay to monitor them. The replicated state machine is extended to analyze monitoring data in order to decide on when and where to migrate. We describe how to use our approach to achieve robust management elements. We present a simulation-based evaluation of our approach which shows its feasibility.

  • 316.
    Al-Shishtawy, Ahmad
    et al.
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Elektronik- och datorsystem, ECS.
    Höglund, Joel
    Swedish Institute of Computer Science (SICS), Kista, Sweden.
    Popov, Konstantin
    Swedish Institute of Computer Science (SICS), Kista, Sweden.
    Parlavantzas, Nikos
    INRIA, Grenoble, France.
    Vlassov, Vladimir
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Elektronik- och datorsystem, ECS.
    Brand, Per
    Swedish Institute of Computer Science (SICS), Kista, Sweden.
    Distributed Control Loop Patterns for Managing Distributed Applications2008Ingår i: SASOW 2008: SECOND IEEE INTERNATIONAL CONFERENCE ON SELF-ADAPTIVE AND SELF-ORGANIZING SYSTEMS WORKSHOPS, PROCEEDINGS / [ed] Serugendo GD, LOS ALAMITOS: IEEE Computer Society, 2008, s. 260-265Konferensbidrag (Refereegranskat)
    Abstract [en]

    In this paper we discuss various control loop patterns for managing distributed applications with multiple control loops. We introduce a high-level framework, called DCMS, for developing, deploying and managing component-based distributed applications in dynamic environments. The control loops, and interactions among them, are illustrated in the context of a distributed self-managing storage service implemented using DCMS to achieve various self-* properties. Different control loops are used for different self-* behaviours, which illustrates one way to divide application management, which makes for both ease of development and for better scalability and robustness when managers are distributed. As the multiple control loops are not completely independent, we demonstrate different patterns to deal with the interaction and potential conflict between multiple managers.

  • 317.
    Al-Shishtawy, Ahmad
    et al.
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Elektronik- och datorsystem, ECS.
    Höglund, Joel
    Swedish Institute of Computer Science (SICS), Kista, Sweden.
    Popov, Konstantin
    Swedish Institute of Computer Science (SICS), Kista, Sweden.
    Parlavantzas, Nikos
    INRIA, Grenoble, France.
    Vlassov, Vladimir
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Elektronik- och datorsystem, ECS.
    Brand, Per
    Swedish Institute of Computer Science (SICS), Kista, Sweden.
    Enabling Self-Management Of Component Based Distributed Applications2008Ingår i: FROM GRIDS TO SERVICE AND PERVASIVE COMPUTING, Springer-Verlag New York, 2008, s. 163-174Konferensbidrag (Refereegranskat)
    Abstract [en]

    Deploying and managing distributed applications in dynamic Grid environments requires a high degree of autonomous management. Programming autonomous management in turn requires programming environment support and higher level abstractions to become feasible. We present a framework for programming self-managing component-based distributed applications. The framework enables the separation of application’s functional and non-functional (self-*) parts. The framework extends the Fractal component model by the component group abstraction and one-to-any and one-to-all bindings between components and groups. The framework supports a network-transparent view of system architecture simplifying designing application self-* code. The framework provides a concise and expressive API for self-* code. The implementation of the framework relies on scalability and robustness of the Niche structured p2p overlay network. We have also developed a distributed file storage service to illustrate and evaluate our framework.

  • 318.
    Al-Shishtawy, Ahmad
    et al.
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Kommunikation: Infrastruktur och tjänster, Programvaru- och datorsystem, SCS.
    Vlassov, Vladimir
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Kommunikation: Infrastruktur och tjänster, Programvaru- och datorsystem, SCS.
    Brand, Per
    Swedish Institute of Computer Science.
    Haridi, Seif
    Swedish Institute of Computer Science.
    A design methodology for self-management in distributed environments2009Ingår i: IEEE International conference on Computational Science and Engineering, 2009, s. 430-436Konferensbidrag (Refereegranskat)
    Abstract [en]

      Autonomic computing is a paradigm that aims at reducing administrative overhead by providing autonomic managers to make applications selfmanaging. In order to better deal with dynamic environments, for improved performance and scalability, we advocate for distribution of management functions among several cooperative managers that coordinate their activities in order to achieve management objectives. We present a methodology for designing the management part of a distributed self-managing application in a distributed manner. We define design steps, that includes partitioning of management functions and orchestration of multiple autonomic managers. We illustrate the proposed design methodology by applying it to design and development of a distributed storage service as a case study. The storage service prototype has been developed using the distributing component management system Niche. Distribution of autonomic managers allows distributing the management overhead and increased management performance due to concurrency and better locality.

  • 319.
    Alsing, Oscar
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Mobile Object Detection using TensorFlow Lite and Transfer Learning2018Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Utvecklingen inom djuplärning de senaste åren innebär att vi är kapabla att skapa mer komplexa maskininlärningsmodeller för att identifiera objekt i bilder, oavsett objektens attribut eller karaktär. Denna utveckling har möjliggjort forskare att ersätta existerande heuristikbaserade algoritmer med maskininlärningsmodeller med överlägsen prestanda. Den här rapporten syftar till att utvärdera användandet av djuplärningsmodeller för exekvering av objektigenkänning i video på mobila enheter med avseende på prestanda och exekveringstid. Våra resultat visar på en signifikant ökning i prestanda relativt befintliga heuristikbaserade algoritmer vid användning  av djuplärning och överförningsinlärning i artificiella neurala nätverk.

  • 320.
    Alsterman, Marcus
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Transfer Learning for Sales Volume Forecasting Using Convolutional Neural Networks2019Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Bättre tidsserieprediktion kan förbättra planering av en försörjningskedja, därmed spara pengar och minska miljöpåverkan. Tanken bakom detta examensprojekt är att utforska transfer learning för prognos av tidsserier. Detta resulterar i två konkreta mål. Det första är att undersöka hur transfer learning kan förbättra prognosnoggrannheten när ett faltningsnätverk (CNN) med utvidgning och kausalitet används. Det andra målet är att undersöka om transfer learning gör det möjligt att förutspå tidsserier med mindre historisk data. De använda tidsserierna består av försäljningsvolymer och priser från tre hushållsapparater av samma slag. Tidsseriernas längd är cirka tre år. Två transfer learning tekniker används: delade dolda lager CNN (SHL-CNN) och förträning av ett CNN.För att ta itu med det första målet, så jämförs prognosnoggrannheten mellan de två transfer learning teknikerna och ett CNN. Det andra målet undersöks genom ett experiment där storleken av träningsuppsättningen varieras för ett CNN och de båda transfer learning teknikerna.Resultat ifrån det första experimentet indikerar att transfer learing varken försämrar eller förbättrar prognosnoggrannheten. Det andra experimentet visar att när antalet träningsexempel minskas till 60 % (40 % för SHL-CNN) så förbättras prediktionerna för alla modeller. Detta är inte intuitivt och är sannolikt ett fenomen specifikt för prediktion av tidsserier. Vidare så är proportionen 60 % specifik för detta projekt och vi finner även att vid denna proportion så är prediktionerna från förträning bättre än de från faltningsnätverket. Den sista upptäckten är att när antalet träningsexempel krymper till 20 % så presterar förträningsmodellen bättre än de andra. Detta pekar på att transfer learning i vissa fall kan göra det möjligt att förutspå tidsserier med mindre historisk data.

  • 321.
    Alstermark, Annica
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    GROSZ, SANDRA
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    Läsbarhetsalgoritmer: En utvärdering av möjligheten att bygga ut LIX-algoritmen2014Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Läsbarhet handlar om hur begriplig en text är och är ett område som har studerats under väldigt många år. I denna studie utvärderas möjligheten att bygga ut den existerande läsbarhetsalgoritmen LIX med syftet att konstruera en algoritm som gör en mer exakt bedömning. I studien utvecklas en algoritm baserat på LIX och tidigare forskning inom läsbarhet, även sambandet mellan läsbarhetsnivå och ordklassfördelning undersöks. Under studien visade det sig att det finns ett samband mellan en texts läsbarhetsnivå och andelen verb och substantiv. Algoritmen byggdes ut med två parametrar; andelen vanliga ord samt skillnaden mellan andelen verb och substantiv. Resultatet visade att den nya algoritmen ger ett åtminstone lika bra resultat som LIX-algoritmen. Det var dock inte möjligt att dra några slutsatser om dess exakthet i jämförelse med LIX-algoritmen då resultatet av testerna som involverade mänsklig bedömning var undermåligt. Vidare diskuteras då hurman kan få pålitliga resultat från läsbarhetstester som baseras på mänsklig bedömning.

  • 322.
    Al-Tai, Elias
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    An evaluation of the expressive power and performance of JSON-to-JSON transformation languages2018Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    JSON-till-JSON transformationsspråk möjliggör transformationer från ett JSON-dokument till ett annat JSON-dokument. Eftersom JSON gradvis håller på att bli det mest använda data-utväxlingsformatet på internet så finns det ett behov av transformationsspråk som kan transformera data som är lagrad i JSON formatet för att kunna användas med andra system. Transformationen kan transformera dokumentet strukturellt, till exempel genom att förändra den hierarkiska strukturen på dokumentet. Transformationen kan även transformera dokumentet textuellt, till exempel genom att döpa om fält eller ändra värden. Ingen av de existerande JSON-till-JSON transformationsspråken har blivit en standard (Jellife, 2017). Det här arbetet undersöker uttryckskraften av Jolt vilket är ett JSON-till-JSON transformationsspråk. Jolt har nyligen fått stöd av Apache i några av deras produkter. Om ett transformationsspråk har en uttryckskraft som är ekvivalent med nästlad relationell algebra innebär det att språket kan utföra många avancerade transformationer. I det här arbetet definieras en formell modell av Jolt, kallad Jolt0, för att kunna jämföra dess uttryckskraft med nästlad relationell algebra. Till det syftet så översätts operationerna från en annan formell modell med namnet MQuery som har bevisats ha ekvivalent uttrykskraft med nästlad relationell algebra till Jolt0. Arbetet drar slutsatsen att Jolt inte har uttryckskraft som är ekvivalent med nästlad relationell algebra.

    Arbetet undersöker också prestandan för de fyra JSON-till-JSON transformationsspråken (Jolt, Handlebars, Liquid och XSLT 3.0) genom att konstruera tester där de olika transformationsspråken exekverar ekvivalenta transformationer. Transformationerna utvärderas baserat på körstids- och minnesanvändningsprestandan. Studien visar att XSLT 3.0 presterar sämst i alla körstids- och minnesanvändningstester. När transformationerna använder sig av stor input data så presterar XSLT 3.0 signifikant sämre än de andra språken.

  • 323.
    Altayr, Hydar
    et al.
    KTH, Tidigare Institutioner                               , Data- och systemvetenskap, DSV.
    Adis, Michael
    KTH, Tidigare Institutioner                               , Data- och systemvetenskap, DSV.
    Utveckling och design av WiGID2003Självständigt arbete på grundnivå (yrkesexamen), 10 poäng / 15 hpStudentuppsats
    Abstract [sv]

    Wireless Genome Information Database (WiGID), är en genome information databas och är tillgänglig genom WAP (Wireless Application Protocol).

    WiGID har vidareutvecklats med WML och PHP som skript språk istället för WML och Python.

    Några exempel på den ny utvecklade WiGID är navigationsmöjligheterna och applikationens bakomliggande struktur.

    Modelleringen av relationsbaserade databasen har gett ökad flexibilitet till applikationen. Den är inte längre statisk och svårhanterlig. Hanteringen av databasen har lösts genom inmatnings skriptet. Inmatnings skriptet hanterar information från en fil som den läser ifrån och lägger informationen i respektive tabell.

    Sökmöjligheterna har ökats genom användning av SQL (Structured Query Language). Navigationsmöjligheterna i sökmotorn utökades till sex valmöjligheter istället för tre enligt den äldre versionen. Varje länk går vidare till nya alternativ för att förfina själva sökningen. Sökningen har effektiviserats och valmöjligheterna.

  • 324. Altmann, U.
    et al.
    Oertel, Catharine
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    Campbell, N.
    Conversational Involvement and Synchronous Nonverbal Behaviour2012Ingår i: Cognitive Behavioural Systems: COST 2102 International Training School, Dresden, Germany, February 21-26, 2011, Revised Selected Papers / [ed] Anna Esposito, Antonietta M. Esposito, Alessandro Vinciarelli, Rüdiger Hoffmann, Vincent C. Müller, Springer Berlin/Heidelberg, 2012, s. 343-352Konferensbidrag (Refereegranskat)
    Abstract [en]

    Measuring the quality of an interaction by means of low-level cues has been the topic of many studies in the last couple of years. In this study we propose a novel method for conversation-quality-assessment. We first test whether manual ratings of conversational involvement and automatic estimation of synchronisation of facial activity are correlated. We hypothesise that the higher the synchrony the higher the involvement. We compare two different synchronisation measures. The first measure is defined as the similarity of facial activity at a given point in time. The second is based on dependence analyses between the facial activity time series of two interlocutors. We found that dependence measure correlates more with conversational involvement than similarity measure.

  • 325.
    Altosaar, Toomas
    et al.
    Aalto Univ. School of Science and Tech., Dept. of Signal Proc. & Acoustics.
    ten Bosch, Louis
    Radboud University Nijmegen, Language and Speech unit.
    Aimetti, Guillaume
    Univ. of Sheffield, Speech & Hearing group, Dept. of Computer Science.
    Koniaris, Christos
    KTH, Skolan för elektro- och systemteknik (EES), Ljud- och bildbehandling (Stängd 130101).
    Demuynck, Kris
    K.U.Leuven - ESAT/PSI.
    van den Heuvel, Henk
    Radboud University Nijmegen, Language and Speech unit.
    A Speech Corpus for Modeling Language Acquisition: CAREGIVER2010Ingår i: 7th International Conference on Language Resources and Evaluation (LREC) 2010, Valletta, Malta / [ed] Nicoletta Calzolari (Conference Chair) and Khalid Choukri and Bente Maegaard and Joseph Mariani and Jan Odijk and Stelios Piperidis and Mike Rosner and Daniel Tapias, European Language Resources Association (ELRA) , 2010, s. 1062-1068Konferensbidrag (Refereegranskat)
    Abstract [en]

    A multi-lingual speech corpus used for modeling language acquisition called CAREGIVER has been designed and recorded within the framework of the EU funded Acquisition of Communication and Recognition Skills (ACORNS) project. The paper describes the motivation behind the corpus and its design by relying on current knowledge regarding infant language acquisition. Instead of recording infants and children, the voices of their primary and secondary caregivers were captured in both infant-directed and adult-directed speech modes over four languages in a read speech manner. The challenges and methods applied to obtain similar prompts in terms of complexity and semantics across different languages, as well as the normalized recording procedures employed at different locations, is covered. The corpus contains nearly 66000 utterance based audio files spoken over a two-year period by 17 male and 17 female native speakers of Dutch, English, Finnish, and Swedish. An orthographical transcription is available for every utterance. Also, time-aligned word and phone annotations for many of the sub-corpora also exist. The CAREGIVER corpus will be published via ELRA.

  • 326.
    Alvarez Custodio, Maria
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Autonomous Recharging System for Drones: Detection and Landing on the Charging Platform2019Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Under de senaste åren har användningen av inomhusdrönare ökat betydligt på många olika områden. En av de största begränsningarna för dessa drönare är batteritiden. Detta beror på att batteristorleken måste begränsas eftersom drönarna har en väldigt begränsad maximal nyttolast för att kunna flyga. Därför måste de laddas ofta, vilket involverar mänskligt ingripande och därmed begränsar drönartillämpningarna.

    För att lösa detta problem presenterar detta examensarbete ett autonomt laddningssystem för en nanodrönare, Crazyflie 2.0. Genom att automatisera batteriladdningsprocessen behövs inget mänskligt ingrepp, och därigenom kan uppdragstiden för drönaren ökas avsevärt och bredda de möjliga tillämpningarna.

    Huvudmålet med denna avhandling är designen och implementationen av ett styrsystem för en inomhusdrönare, för att styra den mot en landningsplattform och landa korrekt på den. Arbetet inkluderar det faktiska laddningssystemet också, så att slutresultatet är ett fullständigt autonomt system.

    Innan regulatorn och systemet utformas och presenteras presenteras en genomgång av bakgrundsmaterial och analys av befintliga lösningar för problemet med autonom landning.

    En kamera monteras på Crazyflie 2.0 för att kunna detektera och positionera landningsstationen och styra drönaren med avseende på detta. För detektion används ArUcobibliotekets markörer vilka också gör det möjligt att räkna ut kamerans position och orientering med avseende på markören och därmed laddstationen.

    Slutligen utförs tester för att utvärdera systemet. Den erhållna flygtiden är 4,6 minuter och landningsprestandan (andel korrekta landningar på första försöket) är 80%.

  • 327.
    Alvarez Jörgensen, Kristian
    et al.
    KTH, Skolan för informations- och kommunikationsteknik (ICT).
    Chlebek, Michael
    KTH, Skolan för informations- och kommunikationsteknik (ICT).
    Near ultrasonic close range communication for modern smartphones2017Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    NFC är en teknologi som tillåter kommunikation på korta avstånd mellan mobila enheter. Dessvärre finns det enheter som saknar hårdvarustöd för NFC samt att vissa enheter inte har denna funktionalitet tillgänglig för apputvecklare. Denna uppsats försöker därför att utveckla ett gångbart alternativ till NFC som möjliggör kommunikation på korta avstånd mellan mobila enheter. Målet med uppsatsen är att undersöka utförbarheten av utvecklandet av ett schema som använder frekvenser som ligger nära ultraljudsspektrumet för att tillhandahålla kommunikation på korta avstånd för både Android och iOS.En Android och en iPhone enhet användes för att testa schemat. Ett avståndstest utfördes i både en tyst och en bullrig miljö (restaurangtorg i en köpcenter), samt ett inteferenstest som gjordes i en tyst miljö. Vårt utvecklade schema har påvisats fungera i både den tysta och bullriga miljö vi testade i, på avstånd kortare än 1 cm. I den bullriga miljön försämrades överföringsmöjligheterna avsevärt på ett avstånd av 5 cm för den Android enhet vi testade på, medan avstånd på upp till 10 cm var gångbara i den tysta miljön vi testade i. Våra test visade även på att enheter positionerade minst 110 cm bort ifrån varandra kan kommunicera samtidigt utan att störa varandra.Våra resultat visar på att vårt schema skulle kunna fungera för kommunikation på korta avstånd. Användandet av felkorrigerande koder skulle kunna förbättra schemats tolerans mot dataförluster. Användandet av en alternativ moduleringsteknik är också att föreslå för att förbättra överföringshastigheten.För framtida arbeten anser vi att förmågan att producera frekvenser som ligger nära ultraljudsspektrumet bör undersökas hos en större mängd mobila enheter, för att fastställa användbarheten av det föreslagna schemat.

  • 328.
    Alvelid, Jesper
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    Frantzén, Fredrik
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    Lexical Acquisition Made by Machine – A simulation of how a machine learns the meaning of words.2012Självständigt arbete på avancerad nivå (yrkesexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Att lära sig betydelsen av ord är en väldigt komplicerad uppgift med många problem som behöver lösas. I denna studie utvecklades en algorithm som parar ihop ord med betydelser med avseende på de tre problemen: att kunna hantera meningar (inte bara enstaka ord), att kunna välja ut den rätta händelsen i ett sammanhang samt att kunna lära sig ord utan att tidigare ha kännedom om några ord. Målet med studien var att implementera en algoritm som skulle kunna replikera resultaten i en tidigare rapport på ämnet. De erhållna resultaten fastställde de i ett tidigare arbete, samma andel av betydelser av ord (100%) lärdes in under samma förhållanden. För att ytterligare utveckla algoritmen måste två ytterligare problem lösas: ord som stavas likadant men har olika betydelser och sammanhang där händelserna inte beskriver vad som sades i sammanhanget. Detta skulle göra algoritmen mer användbar i tillämpningar inom ämnet.

  • 329. Alwen, Joël
    et al.
    de Rezende, Susanna F.
    KTH, Skolan för datavetenskap och kommunikation (CSC), Teoretisk datalogi, TCS.
    Nordström, Jakob
    KTH, Skolan för datavetenskap och kommunikation (CSC), Teoretisk datalogi, TCS.
    Vinyals, Marc
    KTH, Skolan för datavetenskap och kommunikation (CSC), Teoretisk datalogi, TCS.
    Cumulative Space in Black-White Pebbling and Resolution2017Ingår i: Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing , 2017Konferensbidrag (Refereegranskat)
    Abstract [en]

    We study space complexity and time-space trade-offs with a focus not on peak memory usage but on overall memory consumption throughout the computation. Such a cumulative space measure was introduced for the computational model of parallel black pebbling by [Alwen and Serbinenko 2015] as a tool for obtaining results in cryptography. We consider instead the nondeterministic black-white pebble game and prove optimal cumulative space lower bounds and trade-offs, where in order to minimize pebbling time the space has to remain large during a significant fraction of the pebbling. We also initiate the study of cumulative space in proof complexity, an area where other space complexity measures have been extensively studied during the last 10-15 years. Using and extending the connection between proof complexity and pebble games in [Ben-Sasson and Nordström 2008, 2011], we obtain several strong cumulative space results for (even parallel versions of) the resolution proof system, and outline some possible future directions of study of this, in our opinion, natural and interesting space measure.

  • 330.
    Aly, Mazen
    KTH, Skolan för informations- och kommunikationsteknik (ICT).
    Automated Bid Adjustments in Search Engine Advertising2017Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    I digital marknadsföring tillåter de dominerande sökmotorerna en annonsör att ändra sina bud med hjälp av så kallade budjusteringar baserat på olika dimensioner i sökförfrågan, i syfte att kompensera för olika värden de dimensionerna medför. I det här arbetet tas en modell fram för att sätta budjusteringar i syfte att öka mängden konverteringar och samtidigt minska kostnaden per konvertering. En statistisk modell används för att välja kampanjer och dimensioner som behöver justeringar och flera olika tekniker för att bestämma justeringens storlek, som kan spänna från -90% till 900%, undersöks. Utöver detta tas en evalueringsmetod fram som använder en kampanjs historiska data för att utvärdera de olika metoderna och validera olika tillvägagångssätt. Vi studerar interaktionsproblemet mellan olika dimensioners budjusteringar och en lösning formuleras. Realtidsexperiment visar att vår modell för budjusteringar förbättrade prestandan i marknadsföringskampanjerna med statistisk signifikans. Konverteringarna ökade med 9% och kostnaden per konvertering minskade med 10%.

  • 331.
    Al-Zubaidy, Hussein
    et al.
    KTH, Skolan för elektro- och systemteknik (EES), Centra, ACCESS Linnaeus Centre.
    Fodor, Viktoria
    KTH, Skolan för elektro- och systemteknik (EES), Nätverk och systemteknik. KTH, Skolan för elektro- och systemteknik (EES), Centra, ACCESS Linnaeus Centre.
    Dán, György
    KTH, Skolan för elektro- och systemteknik (EES), Nätverk och systemteknik. KTH, Skolan för elektro- och systemteknik (EES), Centra, ACCESS Linnaeus Centre.
    Flierl, Markus
    KTH, Skolan för elektro- och systemteknik (EES), Teknisk informationsvetenskap. KTH, Skolan för elektro- och systemteknik (EES), Centra, ACCESS Linnaeus Centre.
    Reliable Video Streaming With Strict Playout Deadline in Multihop Wireless Networks2017Ingår i: IEEE transactions on multimedia, ISSN 1520-9210, E-ISSN 1941-0077, Vol. 19, nr 10, s. 2238-2251Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Motivated by emerging vision-based intelligent services, we consider the problem of rate adaptation for high-quality and low-delay visual information delivery over wireless networks using scalable video coding. Rate adaptation in this setting is inherently challenging due to the interplay between the variability of the wireless channels, the queuing at the network nodes, and the frame-based decoding and playback of the video content at the receiver at very short time scales. To address the problem, we propose a low-complexity model-based rate adaptation algorithm for scalable video streaming systems, building on a novel performance model based on stochastic network calculus. We validate the analytic model using extensive simulations. We show that it allows fast near-optimal rate adaptation for fixed transmission paths, as well as cross-layer optimized routing and video rate adaptation in mesh networks, with less than 10% quality degradation compared to the best achievable performance.

  • 332.
    Al-Zubaidy, Hussein
    et al.
    KTH, Skolan för elektro- och systemteknik (EES).
    Liebeherr, Joerg
    Burchard, Almut
    Network-Layer Performance Analysis of Multihop Fading Channels2016Ingår i: IEEE/ACM Transactions on Networking, ISSN 1063-6692, E-ISSN 1558-2566, Vol. 24, nr 1, s. 204-217Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    A fundamental problem for the delay and backlog analysis across multihop paths in wireless networks is how to account for the random properties of the wireless channel. Since the usual statistical models for radio signals in a propagation environment do not lend themselves easily to a description of the available service rate, the performance analysis of wireless networks has resorted to higher-layer abstractions, e. g., using Markov chain models. In this paper, we propose a network calculus that can incorporate common statistical models of fading channels and obtain statistical bounds on delay and backlog across multiple nodes. We conduct the analysis in a transfer domain, where the service process at a link is characterized by the instantaneous signal-to-noise ratio at the receiver. We discover that, in the transfer domain, the network model is governed by a dioid algebra, which we refer to as the algebra. Using this algebra, we derive the desired delay and backlog bounds. Using arguments from large deviations theory, we show that the bounds are asymptotically tight. An application of the analysis is demonstrated for a multihop network of Rayleigh fading channels with cross traffic at each hop.

  • 333.
    Amaya de la Pena, Ignacio
    KTH, Skolan för informations- och kommunikationsteknik (ICT).
    Fraud detection in online payments using Spark ML2017Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Bedrägerier vid online-betalningar medför stora förluster, så företag bygger bedrägeribekämpningssystem för att förhindra dem.

    I denna avhandling studerar vi hur maskininlärning kan tillämpas för att förbättra dessa system.

    Tidigare studier har misslyckats med att hantera bedrägeribekämpning med verklig data, ett problem som kräver distribuerade beräkningsramverk för att hantera den stora datamängden.

    För att lösa det har vi använt betalningsdata från industrin för att bygga en klassificator för bedrägeridetektering via Spark ML. Obalanserade klasser och icke-stationäritet minskade träffsäkerheten hos våra modeller, så experiment för att hantera dessa problem har utförts.

    Våra bästa resultat erhålls genom att kombinera undersampling och oversampling på träningsdata. Att använda bara den senaste datan och kombinera flera modeller som ej har tränats med samma data förbättrar också träffsäkerheten.

    En slutgiltig modell har implementerats hos Qliro, en stor leverantör av online betalningar i Norden, vilket har förbättrat deras bedrägeribekämpningssystem och hjälper utredare att upptäcka bedrägerier som tidigare missades.

  • 334. Ambrazaitis, G.
    et al.
    Svensson Lundmark, M.
    House, David
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    Head beats and eyebrow movements as a function of phonological prominence levels and word accents in Stockholm Swedish news broadcasts2015Ingår i: The 3rd European Symposium on Multimodal Communication, Dublin, Ireland, 2015Konferensbidrag (Refereegranskat)
  • 335. Ambrazaitis, G.
    et al.
    Svensson Lundmark, M.
    House, David
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    Head Movements, Eyebrows, and Phonological Prosodic Prominence Levels in Stockholm2015Ingår i: 13th International Conference on Auditory-Visual Speech Processing (AVSP 2015), Vienna, Austria, 2015, s. 42-Konferensbidrag (Refereegranskat)
  • 336. Ambrazaitis, G.
    et al.
    Svensson Lundmark, M.
    House, David
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    Multimodal levels of promincence: a preliminary analysis of head and eyebrow movements in Swedish news broadcasts2015Ingår i: Proceedings of Fonetik 2015 / [ed] Lundmark Svensson, M.; Ambrazaitis, G.; van de Weijer, J., Lund, 2015, s. 11-16Konferensbidrag (Övrigt vetenskapligt)
  • 337.
    Ambrus, Rares
    KTH, Skolan för datavetenskap och kommunikation (CSC), Centra, Centrum för Autonoma System, CAS. KTH, Skolan för datavetenskap och kommunikation (CSC), Robotik, perception och lärande, RPL.
    Unsupervised construction of 4D semantic maps in a long-term autonomy scenario2017Doktorsavhandling, monografi (Övrigt vetenskapligt)
    Abstract [en]

    Robots are operating for longer times and collecting much more data than just a few years ago. In this setting we are interested in exploring ways of modeling the environment, segmenting out areas of interest and keeping track of the segmentations over time, with the purpose of building 4D models (i.e. space and time) of the relevant parts of the environment.

    Our approach relies on repeatedly observing the environment and creating local maps at specific locations. The first question we address is how to choose where to build these local maps. Traditionally, an operator defines a set of waypoints on a pre-built map of the environment which the robot visits autonomously. Instead, we propose a method to automatically extract semantically meaningful regions from a point cloud representation of the environment. The resulting segmentation is purely geometric, and in the context of mobile robots operating in human environments, the semantic label associated with each segment (i.e. kitchen, office) can be of interest for a variety of applications. We therefore also look at how to obtain per-pixel semantic labels given the geometric segmentation, by fusing probabilistic distributions over scene and object types in a Conditional Random Field.

    For most robotic systems, the elements of interest in the environment are the ones which exhibit some dynamic properties (such as people, chairs, cups, etc.), and the ability to detect and segment such elements provides a very useful initial segmentation of the scene. We propose a method to iteratively build a static map from observations of the same scene acquired at different points in time. Dynamic elements are obtained by computing the difference between the static map and new observations. We address the problem of clustering together dynamic elements which correspond to the same physical object, observed at different points in time and in significantly different circumstances. To address some of the inherent limitations in the sensors used, we autonomously plan, navigate around and obtain additional views of the segmented dynamic elements. We look at methods of fusing the additional data and we show that both a combined point cloud model and a fused mesh representation can be used to more robustly recognize the dynamic object in future observations. In the case of the mesh representation, we also show how a Convolutional Neural Network can be trained for recognition by using mesh renderings.

    Finally, we present a number of methods to analyse the data acquired by the mobile robot autonomously and over extended time periods. First, we look at how the dynamic segmentations can be used to derive a probabilistic prior which can be used in the mapping process to further improve and reinforce the segmentation accuracy. We also investigate how to leverage spatial-temporal constraints in order to cluster dynamic elements observed at different points in time and under different circumstances. We show that by making a few simple assumptions we can increase the clustering accuracy even when the object appearance varies significantly between observations. The result of the clustering is a spatial-temporal footprint of the dynamic object, defining an area where the object is likely to be observed spatially as well as a set of time stamps corresponding to when the object was previously observed. Using this data, predictive models can be created and used to infer future times when the object is more likely to be observed. In an object search scenario, this model can be used to decrease the search time when looking for specific objects.

  • 338.
    Ambrus, Rares
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC), Centra, Centrum för Autonoma System, CAS.
    Bore, Nils
    KTH, Skolan för datavetenskap och kommunikation (CSC), Centra, Centrum för Autonoma System, CAS.
    Folkesson, John
    KTH, Skolan för datavetenskap och kommunikation (CSC), Centra, Centrum för Autonoma System, CAS.
    Jensfelt, Patric
    KTH, Skolan för datavetenskap och kommunikation (CSC), Centra, Centrum för Autonoma System, CAS.
    Autonomous meshing, texturing and recognition of object models with a mobile robot2017Ingår i: 2017 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS) / [ed] Bicchi, A Okamura, A, IEEE , 2017, s. 5071-5078Konferensbidrag (Refereegranskat)
    Abstract [en]

    We present a system for creating object models from RGB-D views acquired autonomously by a mobile robot. We create high-quality textured meshes of the objects by approximating the underlying geometry with a Poisson surface. Our system employs two optimization steps, first registering the views spatially based on image features, and second aligning the RGB images to maximize photometric consistency with respect to the reconstructed mesh. We show that the resulting models can be used robustly for recognition by training a Convolutional Neural Network (CNN) on images rendered from the reconstructed meshes. We perform experiments on data collected autonomously by a mobile robot both in controlled and uncontrolled scenarios. We compare quantitatively and qualitatively to previous work to validate our approach.

  • 339.
    Ambrus, Rares
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC), Robotik, perception och lärande, RPL. KTH, Skolan för datavetenskap och kommunikation (CSC), Centra, Centrum för Autonoma System, CAS.
    Bore, Nils
    KTH, Skolan för datavetenskap och kommunikation (CSC), Centra, Centrum för Autonoma System, CAS.
    Folkesson, John
    KTH, Skolan för datavetenskap och kommunikation (CSC), Centra, Centrum för Autonoma System, CAS. KTH, Skolan för datavetenskap och kommunikation (CSC), Robotik, perception och lärande, RPL.
    Jensfelt, Patric
    KTH, Skolan för datavetenskap och kommunikation (CSC), Centra, Centrum för Autonoma System, CAS. KTH, Skolan för datavetenskap och kommunikation (CSC), Robotik, perception och lärande, RPL.
    Autonomous meshing, texturing and recognition of objectmodels with a mobile robot2017Konferensbidrag (Refereegranskat)
    Abstract [en]

    We present a system for creating object modelsfrom RGB-D views acquired autonomously by a mobile robot.We create high-quality textured meshes of the objects byapproximating the underlying geometry with a Poisson surface.Our system employs two optimization steps, first registering theviews spatially based on image features, and second aligningthe RGB images to maximize photometric consistency withrespect to the reconstructed mesh. We show that the resultingmodels can be used robustly for recognition by training aConvolutional Neural Network (CNN) on images rendered fromthe reconstructed meshes. We perform experiments on datacollected autonomously by a mobile robot both in controlledand uncontrolled scenarios. We compare quantitatively andqualitatively to previous work to validate our approach.

  • 340.
    Ambrus, Rares
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC), Robotik, perception och lärande, RPL. KTH, Skolan för datavetenskap och kommunikation (CSC), Centra, Centrum för Autonoma System, CAS.
    Claici, Sebastian
    Wendt, Axel
    Automatic Room Segmentation From Unstructured 3-D Data of Indoor Environments2017Ingår i: IEEE Robotics and Automation Letters, ISSN 2377-3766, E-ISSN 1949-3045, Vol. 2, nr 2, s. 749-756Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    We present an automatic approach for the task of reconstructing a 2-D floor plan from unstructured point clouds of building interiors. Our approach emphasizes accurate and robust detection of building structural elements and, unlike previous approaches, does not require prior knowledge of scanning device poses. The reconstruction task is formulated as a multiclass labeling problem that we approach using energy minimization. We use intuitive priors to define the costs for the energy minimization problem and rely on accurate wall and opening detection algorithms to ensure robustness. We provide detailed experimental evaluation results, both qualitative and quantitative, against state-of-the-art methods and labeled ground-truth data.

  • 341.
    Ambrus, Rares
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC), Datorseende och robotik, CVAP. KTH, Skolan för datavetenskap och kommunikation (CSC), Centra, Centrum för Autonoma System, CAS.
    Ekekrantz, Johan
    KTH, Skolan för datavetenskap och kommunikation (CSC), Datorseende och robotik, CVAP. KTH, Skolan för datavetenskap och kommunikation (CSC), Centra, Centrum för Autonoma System, CAS.
    Folkesson, John
    KTH, Skolan för datavetenskap och kommunikation (CSC), Datorseende och robotik, CVAP. KTH, Skolan för datavetenskap och kommunikation (CSC), Centra, Centrum för Autonoma System, CAS.
    Jensfelt, Patric
    KTH, Skolan för datavetenskap och kommunikation (CSC), Datorseende och robotik, CVAP. KTH, Skolan för datavetenskap och kommunikation (CSC), Centra, Centrum för Autonoma System, CAS.
    Unsupervised learning of spatial-temporal models of objects in a long-term autonomy scenario2015Ingår i: 2015 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), IEEE , 2015, s. 5678-5685Konferensbidrag (Refereegranskat)
    Abstract [en]

    We present a novel method for clustering segmented dynamic parts of indoor RGB-D scenes across repeated observations by performing an analysis of their spatial-temporal distributions. We segment areas of interest in the scene using scene differencing for change detection. We extend the Meta-Room method and evaluate the performance on a complex dataset acquired autonomously by a mobile robot over a period of 30 days. We use an initial clustering method to group the segmented parts based on appearance and shape, and we further combine the clusters we obtain by analyzing their spatial-temporal behaviors. We show that using the spatial-temporal information further increases the matching accuracy.

  • 342.
    Ambrus, Rares
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC), Robotik, perception och lärande, RPL. KTH, Skolan för datavetenskap och kommunikation (CSC), Centra, Centrum för Autonoma System, CAS.
    Folkesson, John
    KTH, Skolan för datavetenskap och kommunikation (CSC), Robotik, perception och lärande, RPL. KTH, Skolan för datavetenskap och kommunikation (CSC), Centra, Centrum för Autonoma System, CAS.
    Jensfelt, Patric
    KTH, Skolan för datavetenskap och kommunikation (CSC), Robotik, perception och lärande, RPL. KTH, Skolan för datavetenskap och kommunikation (CSC), Centra, Centrum för Autonoma System, CAS.
    Unsupervised object segmentation through change detection in a long term autonomy scenario2016Ingår i: IEEE-RAS International Conference on Humanoid Robots, IEEE, 2016, s. 1181-1187Konferensbidrag (Refereegranskat)
    Abstract [en]

    In this work we address the problem of dynamic object segmentation in office environments. We make no prior assumptions on what is dynamic and static, and our reasoning is based on change detection between sparse and non-uniform observations of the scene. We model the static part of the environment, and we focus on improving the accuracy and quality of the segmented dynamic objects over long periods of time. We address the issue of adapting the static structure over time and incorporating new elements, for which we train and use a classifier whose output gives an indication of the dynamic nature of the segmented elements. We show that the proposed algorithms improve the accuracy and the rate of detection of dynamic objects by comparing with a labelled dataset.

  • 343. Ambuehl, Christoph
    et al.
    Mastrolilli, Monaldo
    Svensson, Ola
    KTH, Skolan för datavetenskap och kommunikation (CSC), Teoretisk datalogi, TCS.
    INAPPROXIMABILITY RESULTS FOR MAXIMUM EDGE BICLIQUE, MINIMUM LINEAR ARRANGEMENT, AND SPARSEST CUT2011Ingår i: SIAM journal on computing (Print), ISSN 0097-5397, E-ISSN 1095-7111, Vol. 40, nr 2, s. 567-596Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    We consider the Minimum Linear Arrangement problem and the (Uniform) Sparsest Cut problem. So far, these two notorious NP-hard graph problems have resisted all attempts to prove inapproximability results. We show that they have no polynomial time approximation scheme, unless NP-complete problems can be solved in randomized subexponential time. Furthermore, we show that the same techniques can be used for the Maximum Edge Biclique problem, for which we obtain a hardness factor similar to previous results but under a more standard assumption.

  • 344.
    Ameur, Adam
    et al.
    Swedish Inst. of Computer Science.
    Aurell, Erik
    Swedish Inst. of Computer Science.
    Carlsson, Mats
    Swedish Inst. of Computer Science.
    Orzechowski Westholm, Jakub
    Swedish Inst. of Computer Science.
    Global gene expression analysis by combinatorial optimization2004Ingår i: In Silico Biology, ISSN 1386-6338, Vol. 4, nr 2, s. 225-241Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Generally, there is a trade-off between methods of gene expression analysis that are precise but labor-intensive, e.g. RT-PCR, and methods that scale up to global coverage but are not quite as quantitative, e.g. microarrays. In the present paper, we show how how a known method of gene expression profiling (K. Kato, Nucleic Acids Res. 23, 3685-3690 (1995)), which relies on a fairly small number of steps, can be turned into a global gene expression measurement by advanced data post-processing, with potentially little loss of accuracy. Post-processing here entails solving an ancillary combinatorial optimization problem. Validation is performed on in silico experiments generated from the FANTOM data base of full-length mouse cDNA. We present two variants of the method. One uses state-of-the-art commercial software for solving problems of this kind, the other a code developed by us specifically for this purpose, released in the public domain under GPL license.

  • 345.
    Amighi, Afshin
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    Flow Graph Extraction for Modular Verification of Java Programs.2011Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    The starting point for the project is a framework for compositional program verification based on program flow graphs, an abstraction of program control flow giving rise to an over-approximation of the source code behavior. Flow graph extraction for modular verification should allow the independent extraction of flow graphs of subsystems or modules. Furthermore, the composition of the flow graphs of the modules should give a safe approximation of the complete program flow graph. The existing tools for flow graph extraction are not flexible enough for modular purposes, since they typically assume that they are given a complete program.

    The goal of this study is the formal definition and implementation of modular flow graph extraction. In this project a formal translation from Java programs to target flow graph is specified. Then based on an operational semantics for the source language and for flow graphs, the correctness of the translation is proved. Flow graph extraction has to respect the modularity of programs, which is the main contribution of the work. Finally, a tool is developed based on specification of the translation.

  • 346.
    Amighi, Afshin
    et al.
    University of Twente.
    de Carvalho Gomes, Pedro
    KTH, Skolan för datavetenskap och kommunikation (CSC), Teoretisk datalogi, TCS.
    Gurov, Dilian
    KTH, Skolan för datavetenskap och kommunikation (CSC), Teoretisk datalogi, TCS.
    Huisman, Marieke
    University of Twente.
    Provably Correct Control Flow Graphs from Java Bytecode Programs with Exceptions2015Ingår i: International Journal on Software Tools for Technology Transfer (STTT), ISSN 1433-2779, E-ISSN 1433-2787, ISSN 1433-2779Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    We present an algorithm for extracting control flow graphs from Java bytecode that captures normal as well as exceptional control flow. We prove its correctness, in the sense that the behaviour of the extracted control flow graph is a sound over-approximation of the behaviour of the original program. This makes control flow graphs suitable for performing various static analyses, such as model checking of temporal safety properties.Analyzing exceptional control flow for Java bytecode is difficult because of the stack-based nature of the language. We therefore develop the extraction in two stages. In the first, we abstract away from the complications arising from exceptional flows, and relativize the extraction on an oracle that is able to look into the stack and predict the exceptions that can be raised at each instruction. This idealized algorithm provides a specification for concrete extraction algorithms, which have to provide a suitable implementation for the oracle. We prove correctness of the idealized algorithm by means of behavioural simulation.In the second stage, we develop a concrete extraction algorithm that consists of two phases. In the first phase, the program is transformed into a BIR program, a stack-less intermediate representation of Java bytecode, from which the control flow graph is extracted in the second phase. We use this intermediate format because it provides the information needed to implement the oracle, and since it gives rise to more compact graphs. We show that the behaviour of the control flow graph extracted via the intermediate representation is a sound over-approximation of the behaviour of the graph extracted by the direct, idealized algorithm, and thus of the original program. The concrete extraction algorithm is implemented as the ConFlEx tool. A number of test cases are performed to evaluate the efficiency of the algorithm.

  • 347. Amighi, Afshin
    et al.
    de Carvalho Gomes, Pedro
    KTH, Skolan för datavetenskap och kommunikation (CSC), Teoretisk datalogi, TCS.
    Huisman, Marieke
    Provably Correct Control-Flow Graphs from Java Programs with Exceptions2011Ingår i: Formal Verification of Object-Oriented Software, 2011, Vol. 26, s. 31-48Konferensbidrag (Refereegranskat)
    Abstract [en]

    We present an algorithm to extract flow graphs from Java bytecode, focusing on exceptional control flows. We prove its correctness, meaning that the behaviour of the extracted control-flow graph is an over-approximation of the behaviour of the original program. Thus any safety property that holds for the extracted control-flow graph also holds for the original program. This makes control-flow graphs suitable for performing different static analyses. For precision and efficiency, the extraction is performed in two phases. In the first phase the program is transformed into a BIR program, where BIR is a stack-less intermediate representation of Java bytecode; in the second phase the control-flow graph is extracted from the BIR representation. To prove the correctness of the two-phase extraction, we also define a direct extraction algorithm, whose correctness can be proven immediately. Then we show that the behaviour of the control-flow graph extracted via the intermediate representation is an over-approximation of the behaviour of the directly extracted graphs, and thus of the original program.

  • 348.
    Amilon, Jesper
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Lindberg, Axel
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Verifying Temporal Properties Using Deductive Verifiers2019Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Formell verifikation är ett område inom teoretisk datalogi där man genom matematisk logik vill bevisa att ett program beter sig på ett visst sätt. Genom detta kan man bevisa att programmet följer en given specifikation och beter sig som man tänkt. Detta område kan delas upp i två separata delar. Den ena handlar om att visa hur programmet transformerar data och bygger på Hoare logik och deduktiv verifikation för att bevisa att programmet följer en viss specifikation. Den andra delen handlar om temporala egenskaper och använder sig av model checking och temporal logik. Dessa delar behandlas vanligtvis separat från varandra. Denna rapport bygger på ett logiskt system utvecklat av Alur och Chaudhuri [1] som används för att bevisa temporala egenskaper genom ett angreppssätt som använder Hoare-logik. Genom att använda detta system vill denna rapport undersöka huruvida det är möjligt att bevisa temporala egenskaper med hjälp av deduktiva verifierare och därigenom minska klyftan mellan dessa två områden av formel verifikation.

    Rapporten finner att det är möjligt att använda Alur och Chaudhuri’s system för att bevisa temporala egenskaper genom deduktiva verifierare. I praktiska termer krävs det för mycket arbete för att kunna användas genom att manuellt skapa instruktioner till den deduktiva verifieraren. I ett litet exempelprogram på 13 rader kräves 50 extra rader av annotationer för att bevisa en viss temporal egenskap. Stora delar av den processen skulle dock kunna automatiseras med verktygsstöd. Att automatisera hela processen är dock antagligen inte möjligt. Detta är dels pågrund av att de rankning funktioner som systemet använder sig av är svåra att automatisera.

  • 349.
    Amilon, Mattias
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    Chatbot with common-sense database2015Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

    In 1950 Alan Turing introduced the famous “Turing test” which tests if a machine can be as intelligent as a human by testing if it can communicate with a person in a “human” way. Inspired by this test, numerous so called chatbots, in the form of computer programs, that manage a written dialogue have been created. A so called commonsensedatabase consists of data that most humans would know andconsider as common knowledge, something that computers generally do not know very muchabout. This report describes the process of an attempt to implement a simple chatbot using the common-sense database ConceptNet. The behaviour, or the human-likeness, of this chatbot was then compared to that of the classic chatbot ELIZA and the 2008 Loebner prize winning chatbot Elbot, through a series of user tests. The results indicate that using a common-sense database for a chatbot shows some promisefor further investigation.

  • 350.
    Amin, Yasar
    et al.
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Centra, VinnExcellence Center for Intelligence in Paper and Packaging, iPACK. KTH, Skolan för informations- och kommunikationsteknik (ICT), Elektronik- och datorsystem, ECS.
    Chen, Qiang
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Centra, VinnExcellence Center for Intelligence in Paper and Packaging, iPACK. KTH, Skolan för informations- och kommunikationsteknik (ICT), Elektronik- och datorsystem, ECS.
    Shao, Botao
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Centra, VinnExcellence Center for Intelligence in Paper and Packaging, iPACK. KTH, Skolan för informations- och kommunikationsteknik (ICT), Elektronik- och datorsystem, ECS.
    Hållstedt, Julius
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Centra, VinnExcellence Center for Intelligence in Paper and Packaging, iPACK.
    Tenhunen, Hannu
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Centra, VinnExcellence Center for Intelligence in Paper and Packaging, iPACK. KTH, Skolan för informations- och kommunikationsteknik (ICT), Elektronik- och datorsystem, ECS.
    Zheng, Li-Rong
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Centra, VinnExcellence Center for Intelligence in Paper and Packaging, iPACK. KTH, Skolan för informations- och kommunikationsteknik (ICT), Elektronik- och datorsystem, ECS.
    Design and Analysis of Efficient and Compact Antenna for Paper Based UHF RFID Tags2008Ingår i: ISAPE 2008: THE 8TH INTERNATIONAL SYMPOSIUM ON ANTENNAS, PROPAGATION AND EM THEORY, PROCEEDINGS, VOLS 1-3 / [ed] Su D; Yan Z, NEW YORK: IEEE , 2008, s. 62-65Konferensbidrag (Refereegranskat)
    Abstract [en]

    Paper substrate is one of the paramount nominees for Radio Frequency Identification (RFID) tags but at the same time it is extremely prone towards environmental changes. In this paper, antennas for UHF RFID tags on paper based substrate are investigated and analyzed for the first time to evaluate the effect of change in dielectric constant on the antenna parameters and performance. On the basis of analysis a concrete meander line antenna is proposed, designed and evaluated which has tremendous immunity towards variation in dielectric constant.

45678910 301 - 350 av 11811
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf