Ändra sökning
Avgränsa sökresultatet
1234567 51 - 100 av 11813
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.
  • 51.
    Abraham, Johannes
    et al.
    KTH, Skolan för kemi, bioteknologi och hälsa (CBH), Medicinteknik och hälsosystem, Hälsoinformatik och logistik.
    Romano, Robin
    KTH, Skolan för kemi, bioteknologi och hälsa (CBH), Medicinteknik och hälsosystem, Hälsoinformatik och logistik.
    Automatisk kvalitetssäkring av information för järnvägsanläggningar: Automatic quality assurance of information for railway infrastructure2019Självständigt arbete på grundnivå (högskoleexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Järnvägsbranschen står i dagsläget inför stora utmaningar med planerade infrastrukturprojekt och underhåll av befintlig järnväg. Med ökade förväntningar på  utbyggnaden av den framtida järnvägen, medför det en ökad risk för belastning på det nuvarande nätet. Baksidan av utbyggnaden kan bli fler inställda resor och  förseningar. Genom att dra nytta av tekniska innovationer såsom digitalisering och  automatisering kan det befintliga system och arbetsprocesser utvecklas för en  effektivare hantering.  Trafikverket ställer krav på Byggnadsinformationsmodeller (BIM) i upphandlingar. Projektering för signalanläggningar sker hos Sweco med CAD-programmet  Promis.e. Från programmet kan Baninformationslistor (BIS-listor) innehållande  information om objekts attribut hämtas. Trafikverket ställer krav på att attributen ska bestå av ett visst format eller ha specifika värden. I detta examensarbete  undersöks metoder för att automatisk verifiera ifall objekt har tillåtna värden från projekteringsverktyget samt implementering av en metod. Undersökta metoder  innefattar kalkyleringsprogrammet Excel, frågespråket Structured Query Language (SQL) och processen Extract, Transform and Load (ETL).  Efter analys av metoder valdes processen ETL. Resultatet blev att ett program  skapades för att automatiskt välja vilken typ av BIS-lista som skulle granskas och för att verifiera om attributen innehöll tillåtna värden. För att undersöka om kostnaden för programmen skulle gynna företaget utöver kvalitetssäkringen utfördes en  ekonomisk analys. Enligt beräkningarna kunde valet av att automatisera  granskningen även motiveras ur ett ekonomiskt perspektiv.

  • 52.
    Abrahamsson, Felix
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Designing a Question Answering System in the Domain of Swedish Technical Consulting Using Deep Learning2018Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    System som givet en text besvarar frågor är högt eftertraktade inom många arbetsområden. Eftersom majoriteten av all forskning inom naturligtspråkbehandling behandlar engelsk text är de flesta system inte direkt applicerbara på andra språk. Utöver detta har systemen ofta svårt att hantera långa textsekvenser.

    Denna rapport utforskar möjligheten att applicera existerande modeller på det svenska språket, i en domän där syntaxen och semantiken i språket skiljer sig starkt från typiska svenska texter. Dessutom kan längden på texterna variera godtyckligt. För att lösa dessa problem undersöks flera tekniker inom transferinlärning och frågebesvarande modeller i forskningsfronten. En ny metod för att behandla långa texter utvecklas, baserad på en dekompositionsalgoritm.

    Resultaten visar på att transfer learning delvis misslyckas givet domänen och modellerna, men att systemet ändå presterar relativt väl i den nya domänen. Utöver detta visas att systemet presterar väl på långa texter med hjälp av den nya metoden.

  • 53. Abrahamsson, H
    et al.
    Hagsand, Olof
    KTH, Skolan för datavetenskap och kommunikation (CSC), Teoretisk datalogi, TCS.
    Marsh, Ian
    TCP over high speed variable capacity links: A simulation study for bandwidth allocation2002Konferensbidrag (Refereegranskat)
    Abstract [en]

     New optical network technologies provide opportunities for fast, controllable bandwidth management. These technologies can now explicitly provide resources to data paths, creating demand driven bandwidth reservation across networks where an applications bandwidth needs can be meet almost exactly. Dynamic synchronous Transfer Mode (DTM) is a gigabit network technology that provides channels with dynamically adjustable capacity. TCP is a reliable end-to-end transport protocol that adapts its rate to the available capacity. Both TCP and the DTM bandwidth can react to changes in the network load, creating a complex system with inter-dependent feedback mechanisms. The contribution of this work is an assessment of a bandwidth allocation scheme for TCP flows on variable capacity technologies. We have created a simulation environment using ns-2 and our results indicate that the allocation of bandwidth maximises TCP throughput for most flows, thus saving valuable capacity when compared to a scheme such as link over-provisioning. We highlight one situation where the allocation scheme might have some deficiencies against the static reservation of resources, and describe its causes. This type of situation warrants further investigation to understand how the algorithm can be modified to achieve performance similar to that of the fixed bandwidth case.

  • 54. Abrahamsson, M.
    et al.
    Sundberg, Johan
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Musikakustik.
    Subglottal pressure variation in actors’ stage speech2007Ingår i: Voice and Gender Journal for the Voice and Speech Trainers Association / [ed] Rees, M., VASTA Publishing , 2007, s. 343-347Kapitel i bok, del av antologi (Refereegranskat)
  • 55.
    Abrahamyan, Lilit
    et al.
    University of Amsterdam.
    Schaap, Jorrit A.
    Hoekstra, Alfons G.
    Shamonin, Denis
    M.A.Box, Frieke
    Van der Geest, Rob J.
    H.C. Reiber, Johan
    M.A. Sloot, Peter
    A Problem Solving Environment for Image-Based Computational Hemodynamics2005Konferensbidrag (Refereegranskat)
    Abstract [en]

    We introduce a complete problem solving environment designed for pulsatile flows in 3D complex geometries, especially arteries. Three-dimensional images from arteries, obtained from e.g. Magnetic Resonance Imaging, are segmented to obtain a geometrical description of the arteries of interest. This segmented artery is prepared for blood flow simulations in a 3D editing tool, allowing to define in- and outlets, to filter and crop part of the artery, to add certain structures ( e.g. a by-pass, or stents ), and to generate computational meshes as input to the blood flow simulators. Using dedicated fluid flow solvers the time dependent blood flow in the artery during one systole is computed. The resulting flow, pressure and shear stress fields are then analyzed using a number of visualization techniques. The whole environment can be operated from a desktop virtual reality system, and is embedded in a Grid computing environment.

  • 56.
    Abreu, Rodrigo
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC), Numerisk analys, NA (stängd 2012-06-30).
    Jansson, Niclas
    KTH, Skolan för datavetenskap och kommunikation (CSC), Numerisk analys, NA (stängd 2012-06-30).
    Hoffman, Johan
    KTH, Skolan för datavetenskap och kommunikation (CSC), Numerisk analys, NA (stängd 2012-06-30).
    Adaptive computation of aeroacoustic sources for a rudimentary landing gear using lighthill's analogy2011Ingår i: 17th AIAA/CEAS AeroacousticsConference 2011: 32nd AIAA Aeroacoustics Conference, 2011Konferensbidrag (Refereegranskat)
    Abstract [en]

    We present our simulation results for the benchmark problem of the ow past a Rudimentary Landing Gear (RLG) using a General Galerkin (G2) nite element method, also referred to as Adaptive DNS/LES. In G2 no explicit subgrid model is used, instead the compuational mesh is adaptively re ned with respect to an a posteriori error es-timate of a quantity of interest in the computation, in this case the drag force on the RLG. Turbulent boundary layers are modeled using a simple wall layer model with the shear stress at walls proportional to the skin friction, which here is assumed to be small and, therefore, can be approximated by zero skin friction. We compare our results with experimental data and other state of the art computations, where we nd good agreement in sound pressure levels, surface velocities and ow separation. We also compare with detailed surface pressure experimental data where we nd largely good agreement, apart from some local dierences for which we discuss possible explanations.

  • 57.
    Abu Nijmeh, Jonas
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    Catalan Canales, Diego
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    Prokrastinering i form av medieanvändning: En jämförelsestudie kring kön och sysselsättning2017Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Prokrastinering har sedan länge varit ett problem som många möter. Vare sig det handlar om skolarbete, träning eller något annat har de flesta individer upplevt att de medvetet skjutit upp en uppgift till ett senare tillfälle. Detta fenomen har under senare tid integrerats i vårt samhälle på ett oftast negativt vis. I vårt mediecentrerade samhälle blir vi allt mer uppkopplade och nuförtiden har nästan hela Sveriges befolkning tillgång till internet. Tekniken har medfört många möjligheter men har även öppnat upp för nya sätt att prokrastinera.

    Denna studie ämnade undersöka prokrastinering i form av medieanvändning hos en stor målgrupp bestående av folk i alla åldrar. Vi ämnade att ta reda på eventuella skillnader i prokrastineringsvanor mellan könen men också bland yrkesarbetande och studerande. Tidigare forskning har redan visat att prokrastinering skiljer sig med ålder och sysselsättning. Mot bakgrund av detta söker vi att besvara frågan: Vilka medier använder personer när de prokrastinerar samt på vilka tekniska plattformar sker detta? För att besvara denna forskningsfråga utförde vi en förstudie på en mindre grupp för att få ett bättre förstånd för vilka frågor som var relevanta i sammanhanget. Denna förstudie låg sedan till grund för en enkätstudie med 91 deltagare.

    Resultatet visade tydliga skillnader mellan både män och kvinnor och mellan studerande och yrkesarbetande. Skillnader gällande både medieanvändning och prokrastineringsvanor kunde ses där vissa skillnader var mer märkbara än andra. Resultatet bekräftar tidigare studier i flera aspekter och ger oss en viss insikt om hur olika prokrastineringsvanor kan se ut.

  • 58.
    Acharya, Jaldeep
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    Fröberg, Ludvig
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    A comparison of interfaces in choice driven games: Investigating possible future applications of NLIs in choice driven games by comparing a menu- based interface with an NLI in a text-based game2016Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Natural language processing has for a long time been a field of research and has been regarded as a thing of the future. Due to its complexity it stopped being featured in computer games in the early 2000s. It has however had a recent revival as a consequence of advancements made in speech recognition, making the possible applications of natural language processing much larger. One market that hasn’t seen much in the way of natural language interfaces recently is that of computer games. This report covers the basics of natural language processing needed to implement two versions of a simple text-based adventure game, one with a menu-based interface and one with a natural lan- guage interface. These were then played by a test group from which usability statistics were gathered to determine if it is likely that NLP will find its way back in to choice driven games in the future.

    The results showed that even though the menu-based interface has a faster rate of progression, the NLI version of the game was perceived as more enjoyable by users with experience in gaming. The reason being that the NLI al- lowed for more thinking on the user’s part and therefore the game presented a greater challenge, something that is perceived as attractive by users with experience in com- puter games. Also the measured usability was roughly the same for both interfaces while it was feared that it would be much lower for NLIs. Therefore, the conclusion was that it is highly plausible that NLI will find its way back into the gaming world, since it adds a new dimension to adventure games, which is something that attracts users. However, this is given that NLP development continues in the same fast pace as it is today, making it possible to implement a more accurate NLI. 

  • 59. Achilleos, Antonis
    et al.
    Lampis, Michael
    City University of New York.
    Mitsou, Valia
    Parameterized Modal Satisfiability2010Ingår i: ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II, 2010, s. 369-380Konferensbidrag (Refereegranskat)
    Abstract [en]

    We investigate the parameterized computational complexity of the satisfiability problem for modal logic and attempt to pinpoint relevant structural parameters which cause the problem’s combinatorial explosion, beyond the number of propositional variables v. To this end we study the modality depth, a natural measure which has appeared in the literature, and show that, even though modal satisfiability parameterized by v and the modality depth is FPT, the running time’s dependence on the parameters is a tower of exponentials (unless P=NP). To overcome this limitation we propose possible alternative parameters, namely diamond dimension and modal width. We show fixed-parameter tractability results using these measures where the exponential dependence on the parameters is much milder (doubly and singly exponential respectively) than in the case of modality depth thus leading to FPT algorithms for modal satisfiability with much more reasonable running times. We also give lower bound arguments which prove that our algorithms cannot be improved significantly unless the Exponential Time Hypothesis fails.

  • 60. Achilleos, Antonis
    et al.
    Lampis, Michail
    City University of New York.
    Mitsou, Valia
    Parameterized Modal Satisfiability2012Ingår i: Algorithmica, ISSN 0178-4617, E-ISSN 1432-0541, Vol. 64, nr 1, s. 38-55Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    We investigate the parameterized computational complexity of the satisfiability problem for modal logic and attempt to pinpoint relevant structural parameters which cause the problem’s combinatorial explosion, beyond the number of propositional variables v. To this end we study the modality depth, a natural measure which has appeared in the literature, and show that, even though modal satisfiability parameterized by v and the modality depth is FPT, the running time’s dependence on the parameters is a tower of exponentials (unless P=NP). To overcome this limitation we propose pos- sible alternative parameters, namely diamond dimension and modal width. We show fixed-parameter tractability results using these measures where the exponential dependence on the parameters is much milder (doubly and singly exponential respectively) than in the case of modality depth thus leading to FPT algorithms for modal satisfiability with much more reasonable running times. We also give lower bound arguments which prove that our algorithms cannot be improved significantly unless the Exponential Time Hypothesis fails.

  • 61.
    Acin, Medya
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    Stansvik, Elvis
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    Improving Player Engagement inTetris Through EDR Monitoring2013Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    I utformningen av datorspel är man ofta intresserad av att väcka känslor av

    engagemang, njutning och utmaning hos spelaren. Ett sätt att göra detta är

    att dynamiskt justera svårigheten i spelet. Detta har traditionellt gjorts genom

    att man låter svårigheten baseras på spelarens prestation. Under senare år har

    dock intresset ökat för tekniker där man låter svårigheten variera baserat på

    fysiologiska signaler från spelaren. I detta kandidatexamensprojekt har vi studerat

    effekten av att låta signalerna från en sensor för elektrodermal aktivitet

    (EDA) utgöra indatan till en algoritm för anpassning av spelsvårighet och jämfört

    detta med den traditionella prestandabaserade svårighetsanpassningen. Vi

    utvecklade två Tetrisspel, ett EDA-kontrollerat och ett prestandakontrollerat,

    och lät deltagare spela båda versionerna. Varje spelsession åtföljdes av en enkät.

    Vårt resultat visar att, trots att deltagarna rapporterade en ökad känsla av

    engagemang och utmaning när de spelade EDA-versionen, så krävs ytterligare

    forskning för att EDA ska kunna anses användbart i detta sammanhang.

  • 62.
    Ackland, Patrik
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    Fast and Scalable Static Analysis using Deterministic Concurrency2017Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Detta examensarbete presenterar en algoritm för att lösa en klass av problem i statisk analys känd som Interprocedural Finite Distribute Subset problem.  Algoritmen, IFDS-RA, är en implementation av IFDS algoritmen som är utvecklad för att lösa denna typ av problem. IFDS-RA använder sig av Reactive Async som är en deterministisk programmeringsmodell för samtida exekvering av program.  Prestendan evalueras genom att mäta exekveringstid för tre stycken taint analyser med en till åtta processorkärnor och jämförs med state-of-the-art implementationen Heros. Resultaten visar att IFDS-RA presterar bättre än Heros när de använder sig av flera processorkärnor samt att Heros inte använder sig av flera processorkärnor även om de finns tillgängliga.

  • 63.
    Ackva, Adrian
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    WinBro: A Window and Broadcast-based Parallel Streaming Graph Partitioning Framework for Apache Flink2019Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    De senaste åren har det skett en ökande efterfrågan på att bearbeta data av olika sorter och storlek i realtid. En vanlig representation för många scenarier är diagram som visar relationer mellan enheter, till exempel användare av sociala nätverk eller sidor på Internet. Dessa grafers storlek ökar över tiden och kan enkelt överstiga kapaciteten hos individuella maskiner.Grafpartitionering används för att dividera grafer i flera delgrafer på olika servrar. Traditionella partitioneringstekniker fungerar offline, där hela grafen bearbetas före partitionering. Baserat på den nyligen ökade efterfrågan på realtidsanalys har online-partitionsalgoritmer introducerats. De kan partitionera en graf som kommer strömmande, även kallad ett strömmande diagram, utan förbehandling.Målet med en bra grafpartitioneringsalgoritm är att behålla datalokalitet och balansera partitionernas belastning samtidigt. Även om olika algoritmer har visat möjligheten att uppnå båda målen för realvärldsgrafik, behöver de ofta behålla ett tillstånd. Moderna strömbehandlingssystem, som Apache Flink, arbetar emellertid med en gemensam-ingenting-arkitektur på ett data-parallellt sätt. Därför tillåter de inte att utbyta information under parallella beräkningar. Dessa system brukar använda Hash-baserad partitionering, vilket är en snabb tillståndslös teknik men ignorerar grafstrukturen. Därför kan det leda till längre analystider för strömmande applikationer som kan dra nytta av bevarade strukturer.Detta arbete har som mål till att utveckla en tillstånsdsdelande, parallellströmmande grafpartitionering för Apache Flink, kallad WinBro, som implementerar välpresterande partitioneringsalgoritmer. För att nå målet studeras befintliga strömmande grafalgoritmer för möjlig implementering och sedan integreras i WinBro.För validering görs olika experiment med realvärldsgrafik. I våra experiment mäter vi partitioneringskvaliteten och partitioneringshastigheten. Dessutom kvantifierar vi prestanda för olika strömmande applikationer med WinBro och jämför den med en standard Hash-baserad partitionsmetod.Resultat visar att den nya partitionern WinBro ger bättre partitioneringskvalitet när det gäller datalokalitet och även högre prestanda för applikationer med krav på lokalitetsbaserad inmatningsdata. Alternativt visar den Hashbaserade partitionen den högsta genomströmningen och bättre prestanda för datalokalitets-agnostiska strömmande applikationer.

  • 64.
    Adamsson, Marcus
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Curriculum learning for increasing the performance of a reinforcement learning agent in a static first-person shooter game2018Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    I denna uppsats tränade vi en agent genom förstärkt djupinlärning med hjälp av en av de senaste gradientmetoderna, nämligen proximal policy optimization, i ett förstapersonsskjutspel med en statisk spelare. Vi undersökte hur läroplanering kan användas för att öka prestandan hos en agent som tränats med förstärkt inlärning. Två agenter tränades i två olika miljöer. Den första miljön använde inte läroplanering och den andra miljön använde läroplanering. Efter att ha tränat agenterna placerades de i samma miljö. Deras prestation mättes genom deras kumulativa belöning. Reslutatet påvisade att det finns en skillnad i prestanda mellan agenterna. Genom att använda läroplanering i ett förstapersonsskjutspel med en statisk spelare kunde prestandan hos en agent som tränats med förstärkt inlärning öka.

  • 65.
    Adamsson, Marcus
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    Vorkapic, Aleksandar
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    A comparison study of Kd-tree, Vp-tree and Octree for storing neuronal morphology data with respect to performance2016Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    I denna rapport har vi undersökt prestanda av tre datastrukturer, Vptree, Kdtree och Octree, för lagring av neurala morfologidata. Två naiva liststrukturer implementerades, för att kunna jämföras med tre datastrukturer. Prestanda mättes med olika storlekar av neurala nätverket och med olika typer av testfall. En jämförelse med fokus på cachemissar, genomsnittlig söktid och minnesanvändning utfördes. Dessutom, samlade mätningarna kvantitativ data om varje datastruktur. Resultatet visade signifikant skillnad i prestanda mellan de implementerade datastrukturerna. Det konstaterades att Vptree är bättre för sökning i mindre populationer av neuroner samt för sökning av specifika noder i större populationer, medan Kdtree är bättre för volymsökning i större populationer. Octree hade högst medelsöktid och minnesanvändning.

  • 66.
    Adaszynski, Wojciech
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Interactive visualization of radio waves propagation in 5G massive MIMO2019Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Komplexiteten hos avancerade antenntekniker som anvnds i den nya generationen av mobilntverk (5G), gr kommunikationen mellan experter och icke-teknisk personal svrare n ngonsin. Eftersom samarbetet mellan telekommunikationsfretag och ntoperatrer pverkar anpassningen av den nya standarden, har behovet av ett nytt verktyg uppsttt fr att gra tekniska presentationer mer engagerande och vertygande. Avhandlingen presenterar en underskande studie som syftar till att underska olika designalternativ fr en interaktiv visualisering av radiovgsfrkning som anvnds av avancerade antennsystems experter. Genom en forskningsinriktad design identifierades funktionella och icke-funktionella krav med hjlp av en domnexpert. Senare konstruerades och utvecklades en interaktiv prototyp med hjlp av en co-operativ designmetod. Kvalitativa och kvantitativa data samlades in genom anvndbarhetstester, System Usability Scale (SUS) frgeformulr och halvstrukturerade intervjuer med 12 forskare och ingenjrer p Ericsson AB ett multinationellt telekommunikationsfretag. Anvndarutvrdering visade att ett sdant verktyg skulle underltta kommunikationen mellan tekniska experter och icke-teknisk personal. Den utvecklade prototypen ansgs intuitiv och anvndbar av majoriteten av studiedeltagarna, mtt genom intervjuer och SUS-underskningen. Framtida forskning uppmuntrar till att inkludera mlgruppsrepresentanterna fr att mta deras engagemang medan de anvnder verktyget.

  • 67. Addario-Berry, L
    et al.
    Chor, B
    Hallett, M
    Lagergren, Jens
    KTH, Tidigare Institutioner, Numerisk analys och datalogi, NADA.
    Panconesi, A
    Wareham, T
    Ancestral maximum likelihood of evolutionary trees is hard2004Ingår i: Journal of Bioinformatics and Computational Biology, ISSN 0219-7200, E-ISSN 1757-6334, Vol. 2, nr 2, s. 257-271Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Maximum likelihood (ML) (Felsenstein, 1981) is an increasingly popular optimality criterion for selecting evolutionary trees. Finding optimal ML trees appears to be a very hard computational task - in particular, algorithms and heuristics for ML take longer to run than algorithms and heuristics for maximum parsimony (MP). However, while MP has been known to be NP-complete for over 20 years, no such hardness result has been obtained so far for ML. In this work we make a first step in this direction by proving that ancestral maximum likelihood (AML) is NP-complete. The input to this problem is a set of aligned sequences of equal length and the goal is to find a tree and an assignment of ancestral sequences for all of that tree's internal vertices such that the likelihood of generating both the ancestral and contemporary sequences is maximized. Our NP-hardness proof follows that for MP given in (Day, Johnson and Sankoff, 1986) in that we use the same reduction from VERTEX COVER; however, the proof of correctness for this reduction relative to AML is different and substantially more involved.

  • 68.
    Aden Hassan, Abdullahi
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Karlsson Källqvist, Rasmus
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Evaluating LoRa Physical as a Radio Link Technology for use in a Remote-Controlled Electric Switch System for a Network Bridge Radio-Node2019Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Denna rapport utforskar designen av ett system för att fjärrstyrt slå på eller av elektronik över ett avstånd på minst 15 km, för att användas med batteridrivna radionoder för nätverksbryggning utomhus med Wi-Fi. Tillämpningsområdet för nätverksbryggorna är att koppla samman avlägsna nätverk, om Internetinfrastruktur skulle sluta fungera vid en nödsituation.Problemställningen för rapporten var ”Vad är en lämplig radiolänksteknik att använda i ett fjärrstyrt elektriskt strömbrytarsystem, och hur ska det bäst brukas?”. För att svara på frågan gjordes en avgränsning att utforska Low Power Wide Area Network (LPWAN)-länktekniker, på grund av deras tidigare användning inom effektbegränsade enheter.Long Range-radio, förkortat LoRa, är en radiomodulationsteknik som används för att skicka data över långa avstånd med energibegränsade enheter. LoRa:s räckvidd uppnås genom att drastiskt sänka datatakten, och lämpar sig för bruk i batteridrivna eller energiskördande enheter, likt de som återfinns inom fältet Internet of Things.Ett LoRa-baserat sändaroch mottagarpar implementerades, och uppmättes till att ha en paketlevereringsmängd på över 95% vid ett avstånd på 2 km, mätt mellan två broar. Data vid större avstånd kunde inte bli bestämt noggrant, eftersom LoRa transceivern gav felaktiga avläsningar. Ingen slutsats kunde göras för lämpligheten för att använda ett LoRa-baserat system för att lösa problemet, delvist för att en olämplig metod för att testa radions prestanda använts, och delvist på grund av ett ofullständigt mätresultat.

  • 69.
    Adida, Ben
    et al.
    MIT, Comp Sci & Artificial Intelligence Lab, Cambridge, MA 02139 USA.
    Wikström, Douglas
    ETH Zürich, Department of Computer Science.
    How to shuffle in public2007Ingår i: THEORY OF CRYPTOGRAPHY, PROCEEDINGS, 2007, s. 555-574Konferensbidrag (Refereegranskat)
    Abstract [en]

    We show how to obfuscate a secret shuffle of ciphertexts: shuffling becomes a public operation. Given a trusted party that samples and obfuscates a shuffle before any ciphertexts are received, this reduces the problem of constructing a mix-net to verifiable joint decryption. We construct public-key obfuscations of a decryption shuffle based on the Boneh-Coh-Nissim (BGN) cryptosystem and a re-encryption shuffle based on the Paillier cryptosystem. Both allow efficient distributed verifiable decryption. Finally, we give a distributed protocol for sampling and obfuscating each of the above shuffles and show how it can be used in a trivial way to construct a universally composable mix-net. Our constructions are practical when the number of senders N is small, yet large enough to handle a number of practical cases, e.g. N = 350 in the BGN case and N = 2000 in the Paillier case.

  • 70.
    Adida, Ben
    et al.
    Harvard Univ, Ctr Res Computat & Soc, Cambridge, MA 02138 USA.
    Wikström, Douglas
    Harvard Univ, Ctr Res Computat & Soc, Cambridge, MA 02138 USA.
    Offline/online mixing2007Ingår i: AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2007, s. 484-495Konferensbidrag (Refereegranskat)
    Abstract [en]

    We introduce an offline precomputation technique for mix-nets that drastically reduces the amount of online computation needed. Our method can be based on any additively homomorphic cryptosystem and is applicable when the number of senders and the maximal bit-size of messages are relatively small.

  • 71.
    Adikari, Jithra
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Data- och systemvetenskap, DSV.
    Efficient non-repudiation for techno-information environment2006Ingår i: 2006 International Conference on Industrial and Information Systems, Vols 1 and 2, NEW YORK: IEEE , 2006, s. 454-458Konferensbidrag (Refereegranskat)
    Abstract [en]

    Non-repudiation means that a person is unable to deny a certain action that he has done under any circumstances. There are several mechanisms, standards and protocols to achieve non-repudiation in techno-information enviromnent. However efficiency in non-repudiation in legal framework was not considerably addressed within the context of those mechanisms. Lack of efficient non-repudiation in the legal framework for techno-information environment makes legal issues when evidence is generated maintained. It can be derived that traditional non-repudiation mechanism delivers efficient non-repudiation. Efficient non-repudiation in techno-information environment is achieved by mapping traditional non-repudiation. Evaluation methodology for efficiency of non-repudiation mechanisms has been improved during this work. Further most significant finding of this research is the Efficient Non-Repudiation Protocol.

  • 72.
    Aditya Wardana, I Wayan Kurniawan
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Visualizing Error in Real-Time Video Streaming Data for a Monitoring System2019Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Syftet med denna masteruppsats är att undersöka möjligheterna och begränsningarna av att använda informationsvisualiseringsmetoder för att visualisera fel i realtidsvideoströmningsdata. Studien genomfördes hos företaget Red Bee Media genom att följa flera steg inklusive användarstudier, framtagning av prototyper och användarutvärdering. Användarstudien gav designkrav och grundläggande uppgifter för prototypen. Prototypen måste följa designkraven och använda informationsvisualiseringstekniker för att visualisera feldata. Därefter utvärderades prototypen av 5 expertanvändare, som är medarbetare inom Red Bee Media med 1,5 till 3 års erfarenhet av att arbeta med det befintliga Red Bee Mediasystemet. Resultaten visar att prototypen erhållit ett högre SUS-poäng jämfört med Red Bee Medias nuvarande övervakningssystem. Genom ett jämförelseformulär erhöll även prototypen en bättre visualisering för varje grundläggande uppgift jämfört med Red Bee Medias övervakningssystem. Kommentarer från användarutvärderingen har kategoriserats i 4 olika kategorier. Dessa anger flertalet användningsområden som måste fokuseras på när ett övervakningssystem utvecklas.

  • 73.
    Adler, Jonas
    et al.
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Matematik (Avd.). Elekta Instrument AB, Stockholm, Sweden.
    Öktem, Ozan
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Matematik (Avd.).
    Learned Primal-Dual Reconstruction2018Ingår i: IEEE Transactions on Medical Imaging, ISSN 0278-0062, E-ISSN 1558-254X, Vol. 37, nr 6, s. 1322-1332Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    We propose the Learned Primal-Dual algorithm for tomographic reconstruction. The algorithm accounts for a (possibly non-linear) forward operator in a deep neural network by unrolling a proximal primal-dual optimization method, but where the proximal operators have been replaced with convolutional neural networks. The algorithm is trained end-to-end, working directly from raw measured data and it does not depend on any initial reconstruction such as filtered back-projection (FBP). We compare performance of the proposed method on low dose computed tomography reconstruction against FBP, total variation (TV), and deep learning based post-processing of FBP. For the Shepp-Logan phantom we obtain >6 dB peak signal to noise ratio improvement against all compared methods. For human phantoms the corresponding improvement is 6.6 dB over TV and 2.2 dB over learned post-processing along with a substantial improvement in the structural similarity index. Finally, our algorithm involves only ten forward-back-projection computations, making the method feasible for time critical clinical applications.

  • 74.
    Adlers, Jacob
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Pihl, Gustaf
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Prediction of training time for deep neural networks in TensorFlow2018Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Maskininlärning har fått mycket uppmärksamhet de senaste åren och används nu i stor utsträckning inom olika områden. Google har utvecklat ramverket TensorFlow som förenklar användningen av maskininlärning utan att kompromissa slutresultatet. Det löser dock inte problemet med att det är tidskrävande att träna neurala nätverk. Syftet med detta examensarbete är att undersöka med vilken noggrannhet träningstiden kan förutsägas med TensorFlow. Alltså, hur effektivt kan ett neuralt nätverk i TensorFlow användas för att förutsäga träningstiderna av andra neurala nätverk, även dessa i TensorFlow. För att göra detta samlades träningstider för olika neurala nätverk. Datan användes sedan för att skapa ett neuralt nätverk för förutsägelse. Det resulterande neurala nätverket kan förutsäga träningstider med en genomsnittlig noggrannhet på 93,017%.

  • 75.
    Adolfsson, Fredrik
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    WebTaint: Dynamic Taint Tracking for Java-based Web Applications2018Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Internet är en informationskälla och förbinder världen genom en enda plattform. Många företag har utnyttjat detta för att dela information, kommunicera med kunder och skapa nya affärsmöjligheter. Detta kommer emellertid inte utan nackdelar, eftersom det finns en förhöjd risk att bli måltavlor i attacker.

    I avhandlingen implementerades en dynamic taint tracker, namngett WebTaint, med uppgift att förhindra sekretess och integritetsproblem i Java-baserade webbapplikationer. Vi utvärderade i vilken utsträckning WebTaint kan bekämpa integritets sårbarheter. De möjliga fördelarna och nackdelarna med användning av applikationen introduceras såväl som en förklaring ifall applikationen är möjlig att integrera i produktionstjänster.

    Resultaten visar att WebTaint hjälper till att bekämpa SQL Injection och Cross-Site Scripting-attacker. Det finns dock nackdelar i form av extra åtgång av tid och minne. Den implementerade lösningen är därför inte lämplig för tids- eller minneskänsliga domäner. Ett användningsfall för WebTaint är i testmiljöer där säkerhetsexperter använder taint trackern för att hitta TaintExceptions genom manuella och automatiska attacker.

  • 76.
    Adolfsson, Fredrik
    et al.
    KTH, Skolan för informations- och kommunikationsteknik (ICT).
    Johansson, Tobias
    KTH, Skolan för informations- och kommunikationsteknik (ICT).
    Grafisk visualisering av små fiberoptiska nätverk2016Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Att grafiskt visualisera små fiberoptiska nätverk på ett klart och tydligt sätt kan vara problematiskt. Den information som ingår i en graf får varken vara överflödig eller bristande. Syftet med rapporten är att presentera vad man bör tänka på vid grafisk visualisering vilket inkluderar bland annat layoutstruktur, färg och form. Det utfördes en litteraturstudie med fokus på att samla in information angående olika typer av visualiseringar. Med den som bas diskuteras det kring olika alternativa lösningar på grafens struktur samt komponenters utseende. Utifrån det skapas sedan en prototyp som i sin tur implementeras i JavaScript. Resultatet på utseendet som implementeringen genererar är det rekommenderade utseendet för visualisering av små fiberoptiska nätverk.

    Rapporten delas in i delarna litteraturstudie, framtagande av prototyp, val av JavaScript-bibliotek och till sist implementering av nätverksvisualisering. Resultatet blev en graf baserad på ortogonaloch hierarkisk layout där symmetri eftersträvades. Komponenterna särskiljs genom bland annat unik form och färg.

    En av slutsatserna som dras är att den framtagna visualiseringen är ett lämpligt alternativ att visualisera ett litet fiberoptiskt nätverk. Att säga att det är det självklara alternativet går däremot inte att göra utan någon form av studie baserat på interaktion mellan användare och visualiseringen.

  • 77.
    ADORF, JULIUS
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    Motion Segmentation of RGB-D Videosvia Trajectory Clustering2014Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Motion segmentation of RGB-D videos can be a first step towards object reconstruction in dynamic scenes. The objective in this thesis is to end an ecient motion segmentation method that can deal with a moving camera. To this end, we adopt a feature-based approach where keypoints in the images are tracked over time. The variation in the observed pairwise 3-d distances is used to determine which of the points move similarly. We then employ spectral clusteringto group trajectories into clusters with similar motion, thereby obtaining a sparse segmentation of the dynamic objectsin the scene. The results on twenty scenes from real world datasets and simulations show that while the method needs more sophistication to segment all of them, several dynamic scenes have been successfully segmented at a processing speed of multiple frames per second.

  • 78. Adrian, K.
    et al.
    Chocron, P.
    Confalonieri, R.
    Ferrer, X.
    Giraldez-Cru, J.
    KTH, Skolan för datavetenskap och kommunikation (CSC), Teoretisk datalogi, TCS.
    Link prediction in evolutionary graphs the case study of the CCIA network2016Ingår i: 19th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2016, IOS Press, 2016, s. 187-196Konferensbidrag (Refereegranskat)
    Abstract [en]

    Studying the prediction of new links in evolutionary networks is a captivating question that has received the interest of different disciplines. Link prediction allows to extract missing information and evaluate network dynamics. Some algorithms that tackle this problem with good performances are based on the sociability index, a measure of node interactions over time. In this paper, we present a case study of this predictor in the evolutionary graph that represents the CCIA co-authorship network from 2005 to 2015. Moreover, we present a generalized version of this sociability index, that takes into account the time in which such interactions occur. We show that this new index outperforms existing predictors. Finally, we use it in order to predict new co-authorships for CCIA 2016.

  • 79.
    Adrup, Joakim
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Visualization and Interaction with Temporal Data using Data Cubes in the Global Earth Observation System of Systems2018Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Syftet med studien var att undersöka hur Data Cubes kunde komma att användas inom ramarna för Global Earth Observation System of Systems (GEOSS). Vilka fördelar som kunde dras ifrån att utnyttja den potential som data cubes besitter och använda dem i GEOSS plattformen undersöktes i studien. Data cubes för earth observation är ett koncept om hur data ska hanteras och tillhandahållas av datatjänster. Det ämnar bland annat flexibel extrahering av datapartitioner och dataprocesseringsförmågor. I denna studie iakttogs det att det mest frekvent förekommande användningsområdet för data cubes var analys av tid. Ett huvudsyfte med GEOSS portalen var att tillhandahålla användaren med verktyg för att utforska och inspektera dataset. I denna studie tillverkades ett användargränssnitt med en tidslinje för att ge användaren tillgång till att även utforska och inspektera dataset med en tidsdimension. Datasetet tillhandahålls från en data cube och utnyttjar data cubes färdighet i att förse utvalda partitioner av datasetet som kan extraheras längs valfri axel. En användarstudie har gjorts på användargränssnittet för att utvärdera till vilken grad användarna var nöjda och hur det uppfyllde deras krav, för att samla värdefulla insikter. Resultatet visar på att designen presterar väl på flera punkter, den rankar högt i användartillfredsställelse. Med studien klargör även framtida förbättringsmöjligheter och gav insikter om viktiga designbegränsningar och utmaningar. I rapporten diskuteras det hur dessa kan hanteras på olika sätt.

  • 80.
    Adrup, Joakim
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    Skogström, Charlotte
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    Effekterna av spelmekanismerna ledartavlor, serier och certifikat på det dagliga stegantalet hos högskolestuderande studenter2016Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Spelifiering börjar bli ett vedertaget begrepp, speciellt inom forskningsområden såsom MDI (Människa-datorinteraktion). I den här uppsatsen diskuteras och jämförs tre olika spelmekanismer genom det dagliga stegantalet. Spelmekanismerna är ledartavlor, serier och certifikat. Studien tillämpar kvantitativa och kvalitativa metoder för att undersöka hur de ovannämnda spelmekanismerna påverkar det dagliga stegantalet hos studenter som studerar på en högskolenivå.

    Av studien framgår att spelifiering är att föredra när det gäller medvetenhet och nöje, men att spelifiering ej får störa de grundläggande funktionerna hos den ursprungliga produkten. Tvärtom bör spelmekanismer användas för att stödja produktens befintliga funktioner, och inte enbart för att göra produkten mer underhållande och motiverande. Den generella konklusionen av all insamlad kvantitativ data är att spelifiering inte influerar det dagliga stegantalet.

    Slutligen diskuterar artikeln vilka faktorer som bör implementeras för att spelifiering ska verka i motiverande syfte. Artikeln diskuterar även hur spelutvecklare kan nyttja speldesign för att skapa intressanta och engagerande applikationer.

  • 81.
    Adzemovic, Haris
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    Sandor, Alexander
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    Comparison of user and item-based collaborative filtering on sparse data2017Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Idag används rekommendationssystem extensivt inom flera områden för att hjälpa användare och konsumenter i deras val. Amazon rekommenderar böcker baserat på vad du tittat på och köpt, Netflix presenterar serier och filmer du antagligen kommer gilla baserat på interaktioner med plattformen och Facebook visar personaliserad, riktad reklam för varje enskild användare baserat på tidigare surfvanor. Dessa system är baserade på delade likheter och det finns flera sätt att utveckla och modellera dessa på. I denna rapport jämförs två metoder, användar- och objektbaserad filtrering i k nearest neighbours system. Metoderna jämförs på hur mycket de avviker från det sanna svaret när de försöker förutse användarbetyg på filmer baserat på gles data. Studien visade att man ej kan peka ut någon metod som objektivt bättre utan att val av metod bör baseras på datasetet.

  • 82.
    af Sandeberg, Jonas
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    Riksdagsval via Internet – Ett system för säkra val via Internet i Sverige.2012Självständigt arbete på avancerad nivå (yrkesexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    I denna uppsats designas ett system för val via Internet i Sverige. För att göra detta undersöks först hur dagens system för val i Sverige ser ut. Därefter undersöks vilka tekniker som kan användas för att bygga ett sådant system. Slutligen undersöks system som redan använts för val via Internet i andra länder. Utifrån resultatet i undersökningarna designas sedan ett system för val via Internet i Sverige. Designen tar hänsyn till alla säkerhetskrav för demokratiska val. Uppsatsen visar på att det är möjligt att designa ett system för val via Internet i Sverige samt att införandet av ett sådant system bör öka valdeltagandet.

  • 83.
    af Sandeberg, Jonas
    KTH, Skolan för informations- och kommunikationsteknik (ICT).
    Speeding Up Value at Risk Calculations Using Accelerators2014Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Att beräkna Value at Risk (VaR) kan vara tidskrävande. Därför är det instressant att finna möjligheter att parallelisera och snabba upp dessa beräkningar för att förbättra prestandan. Men vilken hårdvara är bäst lämpad för dessa beräkningar?

    Detta arbete syftar till att för ett system skrivet i Java hitta vilken typ av beräkningsenhet som ger optimal prestanda vid scenariobaserade VaR beräkningar. Först gjordes en teoretisk undersökning av CPUn, GPUn och en coprocessor. Flera versioner av en parallel VaR algoritm implementeras för en CPU, GPU och en coprocessor där resultaten från undersökningen utnyttjas.

    Prestandan samt enkelheten att programmera varje version utvärderas och analyseras. De utförda prestanda testerna visar att vinnaren vad gäller prestanda är CPUn för den valda VaR algoritmen och de testade problemstorlekarna.

  • 84.
    Afework, Miriam
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Medieteknik och interaktionsdesign, MID.
    Using Magic Machines to Elaborate Menstrual Self-Tracker­s for Women with Endometriosis2018Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Nuvarande self-trackers för kvinnor är centrerade kring användarens allmänna hälsa, ägglossning och menstruation. Cirka 10% av kvinnor i världen lider av endometrios, en vanligt förekommande men okänd sjukdom. Bland många tillgängliga ap­plikationer för kvinnor är få fokuserade på endometrios. Sjukdomen skiljer sig i symptom bland de drabbade. Därför är det viktigt att förstå hur kvinnor själva kan lära sig hur deras menstruationscyklar ser ut och behandla deras egna symptom med hjälp av self-trackers. I denna studie arbetar jag med två kvinnor för att förstå deras behov. Resultaten visar att kvinnor med sjukdomen kan dra nytta av att experimentera med olika vanor för att hitta en personlig rutin. Jag presenterar ett designför­slag på ett tillägg till en nuvarande mens-applikation. Tillägget är ett verktyg för att experimentera med olika vanor för att se hur det kan påverka ens välmående. Verktyget innehöll tre steg: Användaren får välja en eller ett par variabler att studera (humör, smärta etc.) samt en eller ett par rutiner att följa (ny matvana, träningsvana etc.) under en eller flera menscyklar. Därefter får användaren se en analys över hur rutinerna kan ha påverkat kroppen.

  • 85.
    Afkham, Heydar Maboudi
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC), Datorseende och robotik, CVAP.
    Ek, Carl Henrik
    KTH, Skolan för datavetenskap och kommunikation (CSC), Datorseende och robotik, CVAP.
    Carlsson, Stefan
    KTH, Skolan för datavetenskap och kommunikation (CSC), Datorseende och robotik, CVAP.
    Initialization framework for latent variable models2014Ingår i: ICPRAM 2014 - Proceedings of the 3rd International Conference on Pattern Recognition Applications and Methods, 2014, s. 227-232Konferensbidrag (Refereegranskat)
    Abstract [en]

    In this paper, we discuss the properties of a class of latent variable models that assumes each labeled sample is associated with set of different features, with no prior knowledge of which feature is the most relevant feature to be used. Deformable-Part Models (DPM) can be seen as good example of such models. While Latent SVM framework (LSVM) has proven to be an efficient tool for solving these models, we will argue that the solution found by this tool is very sensitive to the initialization. To decrease this dependency, we propose a novel clustering procedure, for these problems, to find cluster centers that are shared by several sample sets while ignoring the rest of the cluster centers. As we will show, these cluster centers will provide a robust initialization for the LSVM framework.

  • 86.
    Afkham, Heydar Maboudi
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    Qiu, Xuanbin
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    The, Matthew
    KTH, Skolan för bioteknologi (BIO), Genteknologi. KTH, Centra, Science for Life Laboratory, SciLifeLab.
    Käll, Lukas
    KTH, Centra, Science for Life Laboratory, SciLifeLab.
    Uncertainty estimation of predictions of peptides' chromatographic retention times in shotgun proteomics2017Ingår i: Bioinformatics, ISSN 1367-4803, E-ISSN 1367-4811, Vol. 33, nr 4, s. 508-513Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Motivation: Liquid chromatography is frequently used as a means to reduce the complexity of peptide-mixtures in shotgun proteomics. For such systems, the time when a peptide is released from a chromatography column and registered in the mass spectrometer is referred to as the peptide's retention time. Using heuristics or machine learning techniques, previous studies have demonstrated that it is possible to predict the retention time of a peptide from its amino acid sequence. In this paper, we are applying Gaussian Process Regression to the feature representation of a previously described predictor ELUDE. Using this framework, we demonstrate that it is possible to estimate the uncertainty of the prediction made by the model. Here we show how this uncertainty relates to the actual error of the prediction. Results: In our experiments, we observe a strong correlation between the estimated uncertainty provided by Gaussian Process Regression and the actual prediction error. This relation provides us with new means for assessment of the predictions. We demonstrate how a subset of the peptides can be selected with lower prediction error compared to the whole set. We also demonstrate how such predicted standard deviations can be used for designing adaptive windowing strategies.

  • 87. Afonso, M. M.
    et al.
    Mitra, Dhrubaditya
    KTH, Centra, Nordic Institute for Theoretical Physics NORDITA.
    Vincenzi, D.
    Kazantsev dynamo in turbulent compressible flows2019Ingår i: Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, Vol. 475, nr 2223, artikel-id 20180591Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    We consider the kinematic fluctuation dynamo problem in a flow that is random, white-in-time, with both solenoidal and potential components. This model is a generalization of the well-studied Kazantsev model. If both the solenoidal and potential parts have the same scaling exponent, then, as the compressibility of the flow increases, the growth rate decreases but remains positive. If the scaling exponents for the solenoidal and potential parts differ, in particular if they correspond to typical Kolmogorov and Burgers values, we again find that an increase in compressibility slows down the growth rate but does not turn it off. The slow down is, however, weaker and the critical magnetic Reynolds number is lower than when both the solenoidal and potential components display the Kolmogorov scaling. Intriguingly, we find that there exist cases, when the potential part is smoother than the solenoidal part, for which an increase in compressibility increases the growth rate. We also find that the critical value of the scaling exponent above which a dynamo is seen is unity irrespective of the compressibility. Finally, we realize that the dimension d = 3 is special, as for all other values of d the critical exponent is higher and depends on the compressibility.

  • 88.
    Afrem, Bassel
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Designing a Suitable Help Desk Software2019Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    I växande helpdeskföretag är hur man hanterar kundförfrågningar en kritisk faktor. Således bör varje företag ha ett organiserat system för att effektivt hantera kommunikationen mellan företaget och dess kunder.Det finns många varianter av helpdeskservice mjukvara som serverar olika typer av affärsmodeller. Därför kommer denna avhandling att vara en studie om vilka typer av helpdeskprogramvara som finns och vilka funktioner de har. För att nå målet för projektet, utformas ett lämpligt helpdesksystem för företaget Amplius Field Services, baserad på dess affärsmodell.Den valda metoden för att lösa problemet bestod av en litteraturstudie om helpdeskprogram och affärsmodeller. Sedan en fallstudie om olika typer av helpdeskprogramvara som redan utvecklats och tillhandahålls och vilka funktioner de uppfyller, genom att analysera deras fördelar och nackdelar, och utvärdera vilken typ av funktioner de fyller. Sedan, baserat på den utförda studien, en allmän modell för ett helpdeskprogram som innehåller de viktigaste funktionerna tillhandah;lls. Den angivna generella modellen bör i princip vara tillämplig på alla olika helpdeskföretag, med möjlighet att förbättras genom att lägga till andra funktioner som krävs eller önskas av företaget själv. Den är avsedd för företag som syftar till att bygga upp sin egen applikation. Slutligen applicerades allmänna modellen på Amplius efter en studie av dess affärsmodell.Resultatet av projektet var att hitta en generell modell av ett helpdeskprogram med hjälp av fallstudien. Modellen applicerades på Amplius efter att kraven har ställts genom att studera dess affärsmodells komponenter. Detta gav en skräddarsydd design för Amplius, och det var tänkt att implementeras och testas men projekttiden var inte tillräcklig.

  • 89.
    Afroze, Tonima
    et al.
    KTH, Skolan för teknik och hälsa (STH).
    Rosén Gardell, Moa
    KTH, Skolan för teknik och hälsa (STH).
    Algorithm Construction for Efficient Scheduling of Advanced Health Care at Home2015Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Barn som får avancerad sjukvård hemma istället för på sjukhus tillfrisknar ofta snabbare och risken för vårdrelaterade infektioner minskar. Barnen och deras familjer blir mer välmående av att få vistas i sin hemmiljö. På Astrid Lingrens barnsjukhus i Stockholm erbjuds avancerad hemsjukvård av avdelningen Sjukhusansluten Avancerad Barnsjukvård i Hemmet (SABH). För att schemalägga när patienterna ska besökas av sjukvårdspersonalen behöver många olika faktorer beaktas, detta sker idag helt manuellt. Den manuella schemaläggningen utgör en naturlig begränsning av SABHs patientkapacitet. Denna uppsats syftar till att effektivisera schemaläggningsprocessen hos SABH genom att föreslå en automatiserad lösning som hanterar koordinering av personal och resurser och dem förändringar som behöver göras i schemat under dagen, för att få bort schemaläggningsprocessen som ett hinder mot ökad patientkapacitet. Krav på schemaläggningen identifieras i diskussion med SABH och genom att studera litteratur kring liknande områden där schemaläggning lösts automatiserat. Vi formulerar schemaläggningen som ett datologiskt problem och analyserar det med utgångspunkt i teoretisk datalogi. Vi visar att problemet är NP-svårt och därför inte kan förväntas lösas optimalt inom rimlig tid. Vår lösning approximerar istället fram ett rimligt svar, där fokus hos algoritmen är att patienterna ska besökas de tider de behöver, personalens restider ska vara så korta som möjligt samtidigt som arbetsbördan hos personalen ska vara så lika fördelad som möjligt och patienterna ska, i den mån det är möjligt, få vård av samma personal. Med en girig algoritm konstrueras ett initialt schema som uppfyller de grundläggande kraven, detta schema förbättras med lokalsökning, simulated annealing och tabusökning. En exakt lösning framställs för uppdatering av schemat. Algoritmen för att lägga ett dagligt schema (utan uppdateringar) implementerades och testades med riktigt data från SABH. Vår algoritm visade sig vara effektiv, men för att kunna göra hela schemaläggningsprocessen effektiv behöver den integreras med journalsystemet.

  • 90.
    Agelfors, Eva
    et al.
    KTH, Tidigare Institutioner, Tal, musik och hörsel.
    Beskow, Jonas
    KTH, Tidigare Institutioner, Tal, musik och hörsel.
    Dahlquist, Martin
    KTH, Tidigare Institutioner, Tal, musik och hörsel.
    Granström, Björn
    KTH, Tidigare Institutioner, Tal, musik och hörsel.
    Lundeberg, Magnus
    Salvi, Giampiero
    KTH, Tidigare Institutioner, Tal, musik och hörsel.
    Spens, Karl-Erik
    KTH, Tidigare Institutioner, Tal, musik och hörsel.
    Öhman, Tobias
    A synthetic face as a lip-reading support for hearing impaired telephone users - problems and positive results1999Ingår i: European audiology in 1999: proceeding of the 4th European Conference in Audiology, Oulu, Finland, June 6-10, 1999, 1999Konferensbidrag (Refereegranskat)
  • 91.
    Agelfors, Eva
    et al.
    KTH, Tidigare Institutioner, Tal, musik och hörsel.
    Beskow, Jonas
    KTH, Tidigare Institutioner, Tal, musik och hörsel.
    Granström, Björn
    KTH, Tidigare Institutioner, Tal, musik och hörsel.
    Lundeberg, Magnus
    KTH, Tidigare Institutioner, Tal, musik och hörsel.
    Salvi, Giampiero
    KTH, Tidigare Institutioner, Tal, musik och hörsel.
    Spens, Karl-Erik
    KTH, Tidigare Institutioner, Tal, musik och hörsel.
    Öhman, Tobias
    KTH, Tidigare Institutioner, Tal, musik och hörsel.
    Synthetic visual speech driven from auditory speech1999Ingår i: Proceedings of Audio-Visual Speech Processing (AVSP'99)), 1999Konferensbidrag (Refereegranskat)
    Abstract [en]

    We have developed two different methods for using auditory, telephone speech to drive the movements of a synthetic face. In the first method, Hidden Markov Models (HMMs) were trained on a phonetically transcribed telephone speech database. The output of the HMMs was then fed into a rulebased visual speech synthesizer as a string of phonemes together with time labels. In the second method, Artificial Neural Networks (ANNs) were trained on the same database to map acoustic parameters directly to facial control parameters. These target parameter trajectories were generated by using phoneme strings from a database as input to the visual speech synthesis The two methods were evaluated through audiovisual intelligibility tests with ten hearing impaired persons, and compared to “ideal” articulations (where no recognition was involved), a natural face, and to the intelligibility of the audio alone. It was found that the HMM method performs considerably better than the audio alone condition (54% and 34% keywords correct respectively), but not as well as the “ideal” articulating artificial face (64%). The intelligibility for the ANN method was 34% keywords correct.

  • 92.
    Agelfors, Eva
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH.
    Beskow, Jonas
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH.
    Karlsson, Inger
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH.
    Kewley, Jo
    Salvi, Giampiero
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH.
    Thomas, Neil
    User evaluation of the SYNFACE talking head telephone2006Ingår i: Computers Helping People With Special Needs, Proceedings / [ed] Miesenberger, K; Klaus, J; Zagler, W; Karshmer, A, 2006, Vol. 4061, s. 579-586Konferensbidrag (Refereegranskat)
    Abstract [en]

    The talking-head telephone, Synface, is a lip-reading support for people with hearing-impairment. It has been tested by 49 users with varying degrees of hearing-impaired in UK and Sweden in lab and home environments. Synface was found to give support to the users, especially in perceiving numbers and addresses and an enjoyable way to communicate. A majority deemed Synface to be a useful product.

  • 93.
    Agerblad, Josefin
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    Andersen, Martin
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    Provably Secure Pseudo-Random Generators 2013Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Den här rapporten är en litteraturstudie om bevisbart säkra pseudo-slumpmässiga generatorer. I rapporten förklarar vi vad bevisbart säkra pseudo-slumpmässiga generatorer är och vad de vanligtvis används till. Vi tar dessutom upp envägsfunktioner som är starkt kopplat till vårt ämne. Vidare beskrivs och jämförs två kända sådana generatorer, en generator av Blum och Micali och en generator av Blum, Blum och Shub. Den slutsats som vi kommit fram till är att x

    2 mod N generatorn av Blum, Blum och Shub verkar vara den bättre utav dem vad gäller hastighet, säkerhet och applikationsområden. Ni kommer även kunna läsa om hur en sådan generator kan implementeras och vi förklarar varför den presenterade koden är bra.

  • 94.
    Agevik, Niklas
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Kommunikationssystem, CoS.
    Shared UMTS Networks - A Techno-Economic Study on Mobile Network Operators’ Possibilities to Deliver Unique Products and Services2005Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Historically, there has been a one-to-one mapping between a mobile network and the reseller of the network’s services. Recent developments challenge this model. Virtual operators have emerged in GSM networks and during the rollout of UMTS networks, many operators built shared UMTS networks. This study analyses the impact of shared networks on the mobile network operators’ abilities to deliver unique products and services to their customers. Four sharing models that are in use today are analysed and presented in detail. These are site sharing, geographical split networks, shared RAN and spectrum sharing.

    The research in this study has been done in two steps. In the first step, possible differentiation opportunities are identified through literature studies and interviews with key persons at network operators, equipment manufacturers, business analysts and the Swedish national post and telecom agency. In the second step, this study compares the implementation of these opportunities in the four forms of shared networks with their implementations in a wholly owned network. The opportunities are grouped in three categories: products, quality of service differentiation and multiaccess networks.

    By setting quality of service attributes on bearers, such as latency and the attention/retention policy, quality of service differentiation is a possibility in common shared networks and geographical split networks. Although unlicensed access technologies, such as WLAN standards, can provide coverage differentiation in one sense, this study shows that this is not economical compared to UMTS pico-cells.

    The study finds that implementing features in the underlying network requires extensive cooperation between operators in all sharing models except for site sharing. Certain services require quality of service parameters that are mutually exclusive without over-provisioning in terms of network resources. Such parameters include for example latency and capacity. Even though the 3GPP UMTS standard allow for a separation of the service creation layer and the underlying network, this study argues that many services will still be dependent upon network features, thus mitigating the advantage of developing services in the unshared domain.

  • 95.
    Aghazadeh, Omid
    KTH, Skolan för datavetenskap och kommunikation (CSC), Datorseende och robotik, CVAP.
    Data Driven Visual Recognition2014Doktorsavhandling, sammanläggning (Övrigt vetenskapligt)
    Abstract [en]

    This thesis is mostly about supervised visual recognition problems. Based on a general definition of categories, the contents are divided into two parts: one which models categories and one which is not category based. We are interested in data driven solutions for both kinds of problems.

    In the category-free part, we study novelty detection in temporal and spatial domains as a category-free recognition problem. Using data driven models, we demonstrate that based on a few reference exemplars, our methods are able to detect novelties in ego-motions of people, and changes in the static environments surrounding them.

    In the category level part, we study object recognition. We consider both object category classification and localization, and propose scalable data driven approaches for both problems. A mixture of parametric classifiers, initialized with a sophisticated clustering of the training data, is demonstrated to adapt to the data better than various baselines such as the same model initialized with less subtly designed procedures. A nonparametric large margin classifier is introduced and demonstrated to have a multitude of advantages in comparison to its competitors: better training and testing time costs, the ability to make use of indefinite/invariant and deformable similarity measures, and adaptive complexity are the main features of the proposed model.

    We also propose a rather realistic model of recognition problems, which quantifies the interplay between representations, classifiers, and recognition performances. Based on data-describing measures which are aggregates of pairwise similarities of the training data, our model characterizes and describes the distributions of training exemplars. The measures are shown to capture many aspects of the difficulty of categorization problems and correlate significantly to the observed recognition performances. Utilizing these measures, the model predicts the performance of particular classifiers on distributions similar to the training data. These predictions, when compared to the test performance of the classifiers on the test sets, are reasonably accurate.

    We discuss various aspects of visual recognition problems: what is the interplay between representations and classification tasks, how can different models better adapt to the training data, etc. We describe and analyze the aforementioned methods that are designed to tackle different visual recognition problems, but share one common characteristic: being data driven.

  • 96.
    Aghazadeh, Omid
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    Object Segmentation using Spatial and Spatio-Temporal Features.2011Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
  • 97.
    Aghazadeh, Omid
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC), Datorseende och robotik, CVAP.
    Azizpour, Hossein
    KTH, Skolan för datavetenskap och kommunikation (CSC), Datorseende och robotik, CVAP.
    Sullivan, Josephine
    KTH, Skolan för datavetenskap och kommunikation (CSC), Datorseende och robotik, CVAP.
    Carlsson, Stefan
    KTH, Skolan för datavetenskap och kommunikation (CSC), Datorseende och robotik, CVAP.
    Mixture component identification and learning for visual recognition2012Ingår i: Computer Vision – ECCV 2012: 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part VI, Springer, 2012, s. 115-128Konferensbidrag (Refereegranskat)
    Abstract [en]

    The non-linear decision boundary between object and background classes - due to large intra-class variations - needs to be modelled by any classifier wishing to achieve good results. While a mixture of linear classifiers is capable of modelling this non-linearity, learning this mixture from weakly annotated data is non-trivial and is the paper's focus. Our approach is to identify the modes in the distribution of our positive examples by clustering, and to utilize this clustering in a latent SVM formulation to learn the mixture model. The clustering relies on a robust measure of visual similarity which suppresses uninformative clutter by using a novel representation based on the exemplar SVM. This subtle clustering of the data leads to learning better mixture models, as is demonstrated via extensive evaluations on Pascal VOC 2007. The final classifier, using a HOG representation of the global image patch, achieves performance comparable to the state-of-the-art while being more efficient at detection time.

  • 98.
    Aghazadeh, Omid
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC), Datorseende och robotik, CVAP.
    Carlsson, Stefan
    KTH, Skolan för datavetenskap och kommunikation (CSC), Datorseende och robotik, CVAP.
    Large Scale, Large Margin Classification using Indefinite Similarity MeasurensManuskript (preprint) (Övrigt vetenskapligt)
  • 99.
    Aghazadeh, Omid
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC), Datorseende och robotik, CVAP.
    Carlsson, Stefan
    KTH, Skolan för datavetenskap och kommunikation (CSC), Datorseende och robotik, CVAP.
    Properties of Datasets Predict the Performance of Classifiers2013Ingår i: BMVC 2013 - Electronic Proceedings of the British Machine Vision Conference 2013, British Machine Vision Association, BMVA , 2013Konferensbidrag (Refereegranskat)
    Abstract [en]

    It has been shown that the performance of classifiers depends not only on the number of training samples, but also on the quality of the training set [10, 12]. The purpose of this paper is to 1) provide quantitative measures that determine the quality of the training set and 2) provide the relation between the test performance and the proposed measures. The measures are derived from pairwise affinities between training exemplars of the positive class and they have a generative nature. We show that the performance of the state of the art methods, on the test set, can be reasonably predicted based on the values of the proposed measures on the training set. These measures open up a wide range of applications to the recognition community enabling us to analyze the behavior of the learning algorithms w.r.t the properties of the training data. This will in turn enable us to devise rules for the automatic selection of training data that maximize the quantified quality of the training set and thereby improve recognition performance.

  • 100.
    Aghazadeh, Omid
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC), Datorseende och robotik, CVAP.
    Carlsson, Stefan
    KTH, Skolan för datavetenskap och kommunikation (CSC), Datorseende och robotik, CVAP.
    Properties of Datasets Predict the Performance of Classifiers2013Manuskript (preprint) (Övrigt vetenskapligt)
1234567 51 - 100 av 11813
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