Ändra sökning
Avgränsa sökresultatet
1234567 151 - 200 av 12098
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.
  • 151.
    Aid, Graham
    et al.
    KTH, Skolan för industriell teknik och management (ITM), Industriell ekologi (flyttat 20130630).
    Brandt, Nils
    KTH, Skolan för industriell teknik och management (ITM), Industriell ekologi (flyttat 20130630).
    Lysenkovac, Mariya
    Smedberg, Niklas
    KTH, Skolan för industriell teknik och management (ITM), Industriell ekologi (flyttat 20130630).
    Looplocal: a Heuristic Visualization Tool for the Strategic Facilitation of Industrial Symbiosis2012Ingår i: Greening of Industry Netowrk Proceedings / [ed] Leo Baas, 2012Konferensbidrag (Refereegranskat)
    Abstract [en]

    Industrial symbiosis (IS) developments have been differentiated as ‘self organized’, ‘facilitated’, and ‘planned’. This article introduces a tool that has been built with objectives to support the strategic facilitation of IS. ‘Looplocal’ is a visualization tool built to assist in 1) the identification of regions prone to new industrial symbiosis activities 2) market potential exchanges to key actors and 3) assist aspiring facilitators to assess the various strategies and social methodologies available for the initial phases of a facilitated industrial symbiosis venture. This tool combines life cycle inventory (LCI) data, waste statistics, and national industrial data (including geographic, activity, economic, and contact information) to perform a heuristic analysis of raw material and energy inputs and outputs (wastes). Along with an extensive list of ‘waste to raw material’ substitutions (which may be direct, combined, or upgraded) gathered from IS uncovering studies, IS organizations, and waste and energy professionals; heuristic regional output to input ‘matching’ can be visualized. On a national or regional scale the tool gives a quick overview of what could be the most interesting regions to prioritize resources for IS facilitation. Focusing in on a regional level, the tool visualizes the potential structure of the network in that region (centralized, decentralized, or distributed), allowing a facilitator to adapt the networking approach correspondingly. The tool also visualizes potential IS transfer information, along with key stakeholder data. The authors have performed a proof of concept run of this tool in the ‘industrial disperse’ context of Sweden. In its early stages of application, the method has proven capable of identifying regions prone to the investment of facilitators’ resources. The material focus and custom possibilities for the tool show potential for a wide spectrum of potential facilitators: from waste management companies (using the tool as a strategic market analysis tool) to national or regional authorities looking to lower negative environmental impacts, to ‘sustainable’ industry sectors looking to strengthen market positioning. In conjunction with proper long term business models, such a tool could be reusable itself over the evolution of facilitation activities and aims.

  • 152. Aidas, Kestutis
    et al.
    Angeli, Celestino
    Bak, Keld L.
    Bakken, Vebjorn
    Bast, Radovan
    KTH, Skolan för bioteknologi (BIO), Teoretisk kemi och biologi.
    Boman, Linus
    Christiansen, Ove
    Cimiraglia, Renzo
    Coriani, Sonia
    Dahle, Pal
    Dalskov, Erik K.
    Ekstrom, Ulf
    Enevoldsen, Thomas
    Eriksen, Janus J.
    Ettenhuber, Patrick
    Fernandez, Berta
    Ferrighi, Lara
    Fliegl, Heike
    Frediani, Luca
    Hald, Kasper
    Halkier, Asger
    Hattig, Christof
    Heiberg, Hanne
    Helgaker, Trygve
    Hennum, Alf Christian
    Hettema, Hinne
    Hjertenaes, Eirik
    Host, Stinne
    Hoyvik, Ida-Marie
    Iozzi, Maria Francesca
    Jansik, Branislav
    Jensen, Hans Jorgen Aa.
    Jonsson, Dan
    Jorgensen, Poul
    Kauczor, Joanna
    Kirpekar, Sheela
    Kjrgaard, Thomas
    Klopper, Wim
    Knecht, Stefan
    Kobayashi, Rika
    Koch, Henrik
    Kongsted, Jacob
    Krapp, Andreas
    Kristensen, Kasper
    Ligabue, Andrea
    Lutnaes, Ola B.
    Melo, Juan I.
    Mikkelsen, Kurt V.
    Myhre, Rolf H.
    Neiss, Christian
    Nielsen, Christian B.
    Norman, Patrick
    Olsen, Jeppe
    Olsen, Jogvan Magnus H.
    Osted, Anders
    Packer, Martin J.
    Pawlowski, Filip
    Pedersen, Thomas B.
    Provasi, Patricio F.
    Reine, Simen
    Rinkevicius, Zilvinas
    KTH, Skolan för bioteknologi (BIO), Teoretisk kemi och biologi. KTH, Centra, SeRC - Swedish e-Science Research Centre.
    Ruden, Torgeir A.
    Ruud, Kenneth
    Rybkin, Vladimir V.
    Salek, Pawel
    Samson, Claire C. M.
    de Meras, Alfredo Sanchez
    Saue, Trond
    Sauer, Stephan P. A.
    Schimmelpfennig, Bernd
    Sneskov, Kristian
    Steindal, Arnfinn H.
    Sylvester-Hvid, Kristian O.
    Taylor, Peter R.
    Teale, Andrew M.
    Tellgren, Erik I.
    Tew, David P.
    Thorvaldsen, Andreas J.
    Thogersen, Lea
    Vahtras, Olav
    KTH, Skolan för bioteknologi (BIO), Teoretisk kemi och biologi.
    Watson, Mark A.
    Wilson, David J. D.
    Ziolkowski, Marcin
    Ågren, Hans
    KTH, Skolan för bioteknologi (BIO), Teoretisk kemi och biologi.
    The Dalton quantum chemistry program system2014Ingår i: Wiley Interdisciplinary Reviews. Computational Molecular Science, ISSN 1759-0876, Vol. 4, nr 3, s. 269-284Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Dalton is a powerful general-purpose program system for the study of molecular electronic structure at the Hartree-Fock, Kohn-Sham, multiconfigurational self-consistent-field, MOller-Plesset, configuration-interaction, and coupled-cluster levels of theory. Apart from the total energy, a wide variety of molecular properties may be calculated using these electronic-structure models. Molecular gradients and Hessians are available for geometry optimizations, molecular dynamics, and vibrational studies, whereas magnetic resonance and optical activity can be studied in a gauge-origin-invariant manner. Frequency-dependent molecular properties can be calculated using linear, quadratic, and cubic response theory. A large number of singlet and triplet perturbation operators are available for the study of one-, two-, and three-photon processes. Environmental effects may be included using various dielectric-medium and quantum-mechanics/molecular-mechanics models. Large molecules may be studied using linear-scaling and massively parallel algorithms. Dalton is distributed at no cost from for a number of UNIX platforms.

  • 153.
    Aikaterini, Micheli
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    Impact of IoT Enabled Service Solutions in the Downstream Automotive Supply Chain2014Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    The automotive industry has been an integral element of global economy for many decades and has withstood economic downturns by being able to shift their processes along with market needs. With the addition of new innovations in the field of ICT, the automotive industry has addressed the need to restructure to stay afront of customers‘ expectation. Internet of Things and Big Data have advanced to where connected solutions are possible to provide value opportunities in many industries including automotives with the entrance of connected vehicles.

    This thesis aims to investigate the extent that connected services could be applied to the downstream automotive supply chain as a viable long-term business solution. A door-to-door perspective was applied in order to identify the challenges and opportunities towards different stakeholders within this supply chain. Qualitative interviews were conducted with leading OEMs, Logistics Providers, NSC, and car dealers as well as quantitative analysis performed on car buying customers to gauge their opinions of connected vehicles and services.

    There are many opportunities for a viable connected service solution to offer additional value to each stakeholder including efficient supply chain management due to increased visibility, improved lead times, and operational effectiveness. However, with the complexity and variations in the supply chain it cannot be applied rapidly and requires all actors to agree to participation in a network that supports the IT infrastructures and fortifies information flow.

  • 154.
    Aittokoski, Timo
    et al.
    Department of Mathematical Information Technology, University of Jyväskylä, Finland.
    Miettinen, Kaisa
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Cost Effective Simulation-Based Multiobjective Optimization in Performance of Internal Combustion Engine2008Ingår i: Engineering optimization (Print), ISSN 0305-215X, E-ISSN 1029-0273, Vol. 40, nr 7, s. 593-612Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Solving real-life engineering problems requires often multiobjective, global, and efficient (in terms of objective function evaluations) treatment. In this study, we consider problems of this type by discussing some drawbacks of the current methods and then introduce a new population-based multiobjective optimization algorithm UPS-EMOA which produces a dense (not limited to the population size) approximation of the Pareto-optimal set in a computationally effective manner.

  • 155.
    Aittokoski, Timo
    et al.
    Department of Mathematical Information Technology, University of Jyväskylä, Finland.
    Miettinen, Kaisa
    Department of Mathematical Information Technology, University of Jyväskylä, Finland.
    Decreasing Computational Cost of Simulation Based Interactive Multiobjective Optimization with Adustable Solution Accuracy2008Rapport (Övrigt vetenskapligt)
  • 156.
    Aittokoski, Timo
    et al.
    Department of Mathematical Information Technology, University of Jyväskylä, Finland.
    Miettinen, Kaisa
    Department of Mathematical Information Technology, University of Jyväskylä, Finland.
    Efficient Evolutionary Method to Approximate the Pareto Optimal Set in Multiobjective Optimization2008Ingår i: Proceedings of the International Conference on Engineering Optimization EngOpt 2008, 2008Konferensbidrag (Övrigt vetenskapligt)
    Abstract [en]

    Solving real-life engineering problems requires often multiobjective, global and efficient (in terms of ob-jective function evaluations) treatment. In this study, we consider problems of this type by discussingsome drawbacks of the current methods and then introduce a new population based multiobjective op-timization algorithm which produces a dense (not limited to the population size) approximation of thePareto optimal set in a computationally effective manner.

  • 157.
    Aittokoski, Timo
    et al.
    Department of Mathematical Information Technology, University of Jyväskylä, Finland.
    Äyrämö, Sami
    Department of Mathematical Information Technology, University of Jyväskylä, Finland.
    Miettinen, Kaisa
    KTH, Skolan för teknikvetenskap (SCI), Matematik (Inst.), Optimeringslära och systemteori.
    Clustering aided approach for decision making in computationally expensive multiobjective optimization2009Ingår i: Optimization Methods and Software, ISSN 1055-6788, E-ISSN 1029-4937, Vol. 24, nr 2, s. 157-174Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Typically, industrial optimization problems need to be solved in an efficient, multiobjective and global manner, because they are often computationally expensive (as function values are typically based on simulations), they may contain multiple conflicting objectives, and they may have several local optima. Solving such problems may be challenging and time consuming when the aim is to find the most preferred Pareto optimal solution.

    In this study, we propose a method where we use an advanced clustering technique to reveal essential characteristics of the approximation of the Pareto optimal set, which has been generated beforehand. Thus, the decision maker (DM) is involved only after the most time consuming computation is finished. After the initiation phase, a moderate number of cluster prototypes projected to the Pareto optimal set is presented to the DM to be studied. This allows him/her to rapidly gain an overall understanding of the main characteristics of the problem without placing too much cognitive load on the DM. Furthermore, we also suggest some ways of applying our approach to different types of problems and demonstrate it with an example related to internal combustion engine design.

  • 158.
    Ajami, Sam
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    Maupin, Lucas
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    The effects of video gaming on university grades2014Självständigt arbete på grundnivå (högskoleexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    I dagens IT-värld har användningen av datorspel ökat enormt och tagit en ordentlig plats i många unga människors upptagna vardag. Som ett resultat av detta har det börjat växa en oro bland många att detta spelande påverkar människorna negativt, speciellt när det gäller de akademiska prestationerna.

     

    Denna rapport är en undersökning för att finna eventuella samband mellan datorspel och högskolebetyg bland studenter.

     

    Undersökningens resultat indikerar att studenter som spelar mer, har större problem med sina betyg än de som spelar mindre. Resultaten indikerar dock också att det inte är spelandet i sig som är orsaken till problemet, eftersom korrelationen mellan antal timmar spenderat på datorspel och betyg, och korrelationen mellan antal timmar spenderat på andra hobbys och betyg, är starkt jämförbara. Detta tyder på att två timmars datorspelande påverkar betygen lika mycket som två timmar av fysisk träning.

     

    Slutsatsen av vår undersökning är att det är tiden som man spenderar på andra saker än att studera, som påverkar betygen. Däremot är datorspel bland de enklaste aktiviteterna att engagera sig i under en längre tidsperiod, och därmed också indirekt bland de mest potentiellt skadliga aktiviteterna för en students betyg.

  • 159.
    Akay, Altug
    et al.
    KTH, Skolan för teknik och hälsa (STH), Hälso- och systemvetenskap, Systemsäkerhet och organisation.
    Dragomir, A.
    Department of Biomedical Engineering, University of Houston, Houston, TX, US.
    Erlandsson, Björn-Erik
    KTH, Skolan för teknik och hälsa (STH), Hälso- och systemvetenskap, Systemsäkerhet och organisation.
    A novel data-mining approach leveraging social media to monitor and respond to outcomes of diabetes drugs and treatment2013Ingår i: 2013 IEEE Point-of-Care Healthcare Technologies (PHT), New York: IEEE , 2013, s. 264-266Konferensbidrag (Refereegranskat)
    Abstract [en]

    A novel data-mining method was developed to gauge the experiences of medical devices and drugs by patients with diabetes mellitus. Self-organizing maps were used to analyze forum posts numerically to better understand user opinion of medical devices and drugs. The end-result is a word list compilation that correlates certain positive and negative word cluster groups with medical drugs and devices. The implication of this novel data-mining method could open new avenues of research into rapid data collection, feedback, and analysis that would enable improved outcomes and solutions for public health.

  • 160.
    Akay, Altug
    et al.
    KTH, Skolan för teknik och hälsa (STH), Hälso- och systemvetenskap, Systemsäkerhet och organisation.
    Dragomir, A
    Erlandsson, Björn-Erik
    KTH, Skolan för teknik och hälsa (STH), Hälso- och systemvetenskap, Systemsäkerhet och organisation.
    A Novel Data-Mining Approach Leveraging Social Media to Monitor Consumer Opinion of Sitagliptin2015Ingår i: IEEE journal of biomedical and health informatics, ISSN 2168-2194, E-ISSN 2168-2208, Vol. 19, nr 1, s. 389-396Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    A novel data mining method was developed to gauge the experience of the drug Sitagliptin (trade name Januvia) by patients with diabetes mellitus type 2. To this goal, we devised a two-step analysis framework. Initial exploratory analysis using self-organizing maps was performed to determine structures based on user opinions among the forum posts. The results were a compilation of user's clusters and their correlated (positive or negative) opinion of the drug. Subsequent modeling using network analysis methods was used to determine influential users among the forum members. These findings can open new avenues of research into rapid data collection, feedback, and analysis that can enable improved outcomes and solutions for public health and important feedback for the manufacturer.

  • 161.
    Akay, Altug
    et al.
    KTH, Skolan för teknik och hälsa (STH), Hälso- och systemvetenskap, Systemsäkerhet och organisation.
    Dragomir, A
    Erlandsson, Björn-Erik
    KTH, Skolan för teknik och hälsa (STH), Hälso- och systemvetenskap, Systemsäkerhet och organisation.
    Network-Based Modeling and Intelligent Data Mining of Social Media for Improving Care2015Ingår i: IEEE journal of biomedical and health informatics, ISSN 2168-2194, E-ISSN 2168-2208, Vol. 19, nr 1, s. 210-218Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Intelligently extracting knowledge from social media has recently attracted great interest from the Biomedical and Health Informatics community to simultaneously improve healthcare outcomes and reduce costs using consumer-generated opinion. We propose a two-step analysis framework that focuses on positive and negative sentiment, as well as the side effects of treatment, in users' forum posts, and identifies user communities (modules) and influential users for the purpose of ascertaining user opinion of cancer treatment. We used a self-organizing map to analyze word frequency data derived from users' forum posts. We then introduced a novel network-based approach for modeling users' forum interactions and employed a network partitioning method based on optimizing a stability quality measure. This allowed us to determine consumer opinion and identify influential users within the retrieved modules using information derived from both word-frequency data and network-based properties. Our approach can expand research into intelligently mining social media data for consumer opinion of various treatments to provide rapid, up-to-date information for the pharmaceutical industry, hospitals, and medical staff, on the effectiveness (or ineffectiveness) of future treatments.

  • 162.
    Akay, Altug
    et al.
    KTH, Skolan för teknik och hälsa (STH), Hälso- och systemvetenskap, Systemsäkerhet och organisation.
    Dragomir, Andrei
    Erlandsson, Björn-Erik
    KTH, Skolan för teknik och hälsa (STH), Hälso- och systemvetenskap, Systemsäkerhet och organisation.
    Assessing Antidepressants Using Intelligent Data Monitoring and Mining of Online Fora2016Ingår i: IEEE journal of biomedical and health informatics, ISSN 2168-2194, E-ISSN 2168-2208, Vol. 20, nr 4, s. 977-986Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Depression is a global health concern. Social networks allow the affected population to share their experiences. These experiences, when mined, extracted, and analyzed, can be converted into either warnings to recall drugs (dangerous side effects), or service improvement (interventions, treatment options) based on observations derived from user behavior in depression-related social networks. Our aim was to develop a weighted network model to represent user activity on social health networks. This enabled us to accurately represent user interactions by relying on the data's semantic content. Our three-step method uses the weighted network model to represent user's activity, and network clustering and module analysis to characterize user interactions and extract further knowledge from user's posts. The network's topological properties reflect user activity such as posts' general topic as well as timing, while weighted edges reflect the posts semantic content and similarities among posts. The result, a synthesis from word data frequency, statistical analysis of module content, and the modeled health network's properties, has allowed us to gain insight into consumer sentiment of antidepressants. This approach will allow all parties to participate in improving future health solutions of patients suffering from depression.

  • 163. Akbari, N.
    et al.
    Modarressi, M.
    Daneshtalab, Masoud
    KTH.
    Loni, Efisio
    KTH.
    A Customized Processing-in-Memory Architecture for Biological Sequence Alignment2018Ingår i: Proceedings of the International Conference on Application-Specific Systems, Architectures and Processors, Institute of Electrical and Electronics Engineers Inc. , 2018, Vol. 2018, artikel-id 8445124Konferensbidrag (Refereegranskat)
    Abstract [en]

    Sequence alignment is the most widely used operation in bioinformatics. With the exponential growth of the biological sequence databases, searching a database to find the optimal alignment for a query sequence (that can be at the order of hundreds of millions of characters long) would require excessive processing power and memory bandwidth. Sequence alignment algorithms can potentially benefit from the processing power of massive parallel processors due their simple arithmetic operations, coupled with the inherent fine-grained and coarse-grained parallelism that they exhibit. However, the limited memory bandwidth in conventional computing systems prevents exploiting the maximum achievable speedup. In this paper, we propose a processing-in-memory architecture as a viable solution for the excessive memory bandwidth demand of bioinformatics applications. The design is composed of a set of simple and lightweight processing elements, customized to the sequence alignment algorithm, integrated at the logic layer of an emerging 3D DRAM architecture. Experimental results show that the proposed architecture results in up to 2.4x speedup and 41% reduction in power consumption, compared to a processor-side parallel implementation.

  • 164. Akbarzadeh, Sara
    et al.
    Combes, Richard
    KTH, Skolan för elektro- och systemteknik (EES), Reglerteknik.
    Altman, Zwi
    Self-organizing femtocell offloading at the flow level2013Ingår i: International Journal of Network Management, ISSN 1055-7148, E-ISSN 1099-1190, Vol. 23, nr 4, s. 259-271Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Femtocell technology is expected to be fully self-managed, empowered by self-organizing network functionalities. This paper proposes a solution for self-optimized offloading of macrocell traffic towards open/hybrid-access femtocells. A heterogeneous network comprising macro- and femtocells is modeled as parallel queues. The coverage area of the femtocells is self-optimized by dynamically adapting their pilot powers. A simple update equation for the pilot power is given and its convergence is studied using stochastic approximation techniques. The algorithm balances the load among the cells to improve network capacity. Simulation results illustrate the important performance gains brought about by the proposed scheme, using a dynamic network simulator.

  • 165.
    Akhtar, Nadeem
    et al.
    University of Surrey, UK.
    Markendahl, Jan
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Kommunikationssystem, CoS. KTH, Skolan för informations- och kommunikationsteknik (ICT), Centra, KTH Center för Trådlösa System, Wireless@kth.
    Queseth, Olav
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Kommunikationssystem, CoS.
    Analysis of Signaling Load and Negotiation Complexity using Network Composition2007Konferensbidrag (Refereegranskat)
    Abstract [en]

    In future mobile communications networks using Ambient Networks (AN) technology, users will be able to connect to a multitude of networks operated by different business entities. The technology enablers are advertising of access and service offers, multi-radio access, network selection and roaming support, negotiation of terms and conditions for attachment to networks. In this paper, we investigate the additional load on users and network resources for establishment and management of multiple network connections and business relations. The administrative load is analyzed using commercial uses cases and scenarios with a number of available networks, service providers and payment and ID providers. The signaling load for multiple attachment and negotiation procedures is estimated by modeling signaling sequences for a WLAN system enabled with AN technology. The signaling load is computed for varying numbers of users and for users with varying "willingness to evaluate and negotiate offers". The results show that the most important parameters are the number of attachment attempts per time unit. In the investigated scenarios, the relative load of business related signaling is 0.1 -1.0 % of the transferred user data. Although a large of number of different networks may be used, the number of business agreements and network connections that need to be handled simultaneously will be quite low.

  • 166.
    Akhter, Tahmina
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    Implementation of Conduction Delay and Collective Communication in a Parallel Spiking Neural Network Simulator.2011Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Tahmina Akther

    Implementation of conduction delay and collective communication in a parallel spiking neural network simulator

    As we know neural networks have a parallel structure and it is well suited for implementations in a parallel environment. The Bayesian Confidence Propagation Neural Network (BCPNN) which has been developed past thirty years is the main subject this thesis. An important issue is the implementation of communications between the processors. The aim of this thesis is to investigate point to point and collective communication methods and check how it works in real time. A second goal is to introduce time delay in point-to-point communication. These schemes have been implemented on Blue Gene Supercomputer using Message Passing Interface (MPI). At the end of thesis, the comparison between the two communication methods and the results of the two different models are shown.

  • 167.
    Akram, Saad Ullah
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    Visual Recognition of Isolated Swedish Sign Language Signs.2012Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Igenkänning av Svenskt Teckenspråk

    Saad Ullah Akram saadua@kth.se

    Sammanfattning:

    Döva personer står inför stora utmaningar när de kommunicerar med hörande, eftersom de allra flesta hörande personer inte några teckenspråkkunskaper. Döva måste i dessa situationer förlita sig på skrivet språk, vilket vanligtvis inte är deras primära språk eftersom skrivet språk bygger på talat språk; något en person som är döv från födseln inte lärt sig. De flesta av de döva barnen har hörande föräldrar som vanligtvis från början har mycket rudimentära kunskaper i teckenspråk. Dessa barn har inte tillräckliga möjligheter att öva och förbättra sina kunskaper utanför skolmiljön. Detta ger dessa barn en nackdel eftersom det tar mer tid att kunna kommunicera komplexa ideer.

    I detta projekt föreslås en metod för igenkänning av svenskt teckenspråk i en naturlig miljö med hjälp av en Kinect-sensor. Den enda begränsningen är att tecknaren måste bära icke-hudfärgade kläder. Segmenteringen bygger på hudfärgsdetektion och djup, och kan hantera situationer då händer täcker varandra och/eller ansiktet, vilket är vanligt i teckenspråk. De erhållna resultaten (nästan 92% noggrannhet för 94 tecken) visar att det är möjligt att automatiskt känna igen isolerade tecken för ett medelstort vokabulär.

  • 168.
    Aksjonova, Jevgenija
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    LDD: Learned Detector and Descriptor of Points for Visual Odometry2018Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Samtidig lokalisering och kartläggning är ett viktigt problem inom robotik som kan lösas med hjälp av visuell odometri -- processen att uppskatta självrörelse från efterföljande kamerabilder. Visuella odometrisystem förlitar sig i sin tur på punktmatchningar mellan olika bildrutor. Detta arbete presenterar en ny metod för matchning av nyckelpunkter genom att applicera neurala nätverk för detektion av punkter och deskriptorer. Traditionellt sett används punktdetektorer för att välja ut bra nyckelpunkter (som hörn) och sedan används dessa nyckelpunkter för att matcha särdrag. I detta arbete tränas istället en deskriptor att matcha punkterna. Sedan tränas en detektor till att förutspå vilka punker som är mest troliga att matchas korrekt med deskriptorn. Denna information används sedan för att välja ut bra nyckelpunkter. Resultatet av projektet visar att det kan leda till mer precisa resultat jämfört med andra modellbaserade metoder.

  • 169.
    Aktas, Bagsen
    et al.
    KTH, Tidigare Institutioner                               , Signaler, sensorer och system.
    Bria, Aurelian
    KTH, Tidigare Institutioner                               , Signaler, sensorer och system.
    Evaluation of User Perceived Performance in Sparce Infrastructure Wireless Systems2004Konferensbidrag (Refereegranskat)
    Abstract [en]

    This work tries to evaluate the user perceived performance in a wireless system based on sparse infrastructure (islands of coverage).We investigate a mobile user in a Manhattan environment and the considered service is web browsing. Data caching in the use terminal is employed in order to hide the discontinuities of coverage. We show that for this particular application, the user's behavior of revisiting pages previously accessed makes caching a way to increase the user perceived coverage. Our results show that at low levels of effective area coverage caching brings a large improvement, while the gain is not significant at high levels. If the sparse coverage network is overlaid over a cellular system the obtained results show potential for significant cost savings.

  • 170.
    Aktug, Irem
    KTH, Skolan för datavetenskap och kommunikation (CSC), Teoretisk datalogi, TCS.
    Algorithmic Verification Techniques for Mobile Code2008Doktorsavhandling, monografi (Övrigt vetenskapligt)
    Abstract [en]

    Modern computing platforms strive to support mobile code without putting system security at stake. These platforms can be viewed as open systems, as the mobile code adds new components to the running system. Establishing that such platforms function correctly can  be divided into two steps. First, it is shown that the system functions correctly regardless of the mobile components that join it, provided that they satisfy certain assumptions. These assumptions can, for instance, restrict the behavior of the component to ensure that the security policy of the platform is not violated. Second, the mobile component is checked to satisfy its assumptions, before it is allowed to join the system. This thesis presents algorithmic verification techniques to support this methodology. In the first two parts, we present techniques for the verification of open systems relative to the given component assumptions. In the third part, a technique for the  quick certification of mobile code is presented for the case where a particular type of program rewriting is used as a means of enforcing the component assumptions.In the first part of this study, we present a framework for the verification of open systems based on explicit state space representation. We propose Extended Modal Transition Systems (EMTS) as a suitable structure for representing the state space of open systems when assumptions on components are written in the modal μ-calculus. EMTSs are based on the Modal Transition Systems (MTS) of Larsen and provide a formalism for graphical specification and facilitate a thorough understanding of the system by visualization. In interactive verification, this state space representation enables proof reuse and aids the user guiding the verification process. We present a construction of state space representations from process algebraic open system descriptions based on a maximal model construction for the modal μ-calculus. The construction is sound and complete for systems with a single unknown component and sound for those without dynamic process reation. We also suggest a tableau-based proof system for establishing temporal properties of open systems represented as EMTS. The proof system is sound in general and complete for prime formulae.The problem of open system correctness  also arises in compositional verification, where the problem of showing a global property of a system is reduced to showing local properties of components. In the second part, we extend an existing  compositional verification framework for Java bytecode programs. The framework employs control flow graphs with procedures to model component implementations and open systems for the purpose of checking control-flow properties. We generalize these models to capture exceptional and multi-threaded behavior. The resulting control flow graphs are specifically tailored to support the compositional verification principle; however, they are sufficiently intuitive and standard to be useful on their own. We describe how the models can be extracted from program code and give preliminary experimental results for our implementation of the extraction of control flow graphs with exceptions. We also discuss further tool support and practical applications of the method.In the third part of the thesis, we develop a technique for the certification of safe mobile code, by adapting the proof-carrying code scheme of Necula to the case of security policies expressed as security automata. In particular, we describe how proofs of policy compliance can  be automatically generated for  programs that include a monitor for the desired policy. A monitor is an entity that observes the execution of a program and terminates the program if a violation to the property is about to occur. One way to implement such a monitor is by rewriting the program to make it self-monitoring. Given a property, we characterize self-monitoring of Java bytecode programs for this property by an annotation scheme with annotations in the style of Floyd-Hoare logics. The annotations generated by this scheme can be extended in a straightforward way to form a correctness proof in the sense of axiomatic semantics of programs. The proof generated in this manner essentially establishes that the program satisfies the property because it contains a monitor for it. The annotations that comprise the proofs are simple and efficiently checkable, thus facilitate certification of mobile code on devices with restricted computing power such as mobile phones.

  • 171.
    Aktug, Irem
    KTH, Skolan för datavetenskap och kommunikation (CSC), Numerisk Analys och Datalogi, NADA.
    State space representation for verification of open systems2006Licentiatavhandling, monografi (Övrigt vetenskapligt)
    Abstract [en]

    When designing an open system, there might be no implementation available for cer- tain components at verification time. For such systems, verification has to be based on assumptions on the underspecified components. In this thesis, we present a framework for the verification of open systems through explicit state space representation.

    We propose Extended Modal Transition Systems (EMTS) as a suitable structure for representing the state space of open systems when assumptions on components are writ- ten in the modal μ-calculus. EMTSs are based on the Modal Transition Systems (MTS) of Larsen. This representation supports state space exploration based verification tech- niques, and provides an alternative formalism for graphical specification. In interactive verification, it enables proof reuse and facilitates visualization for the user guiding the verification process.

    We present a two-phase construction from process algebraic open system descriptions to such state space representations. The first phase deals with component assumptions, and is essentially a maximal model construction for the modal μ-calculus that makes use of a powerset construction for the fixed point cases. In the second phase, the models obtained are combined according to the structure of the open system to form the complete state space. The construction is sound and complete for systems with a single unknown component and sound for those without dynamic process creation. We suggest a tableau-based proof system for establishing open system properties of the state space representation. The proof system is sound and it is complete for modal μ-calculus formulae with only prime subformulae.

    A complete framework based on the state space representation is offered for the auto- matic verification of open systems. The process begins with specifying the open system by a process algebraic term with assumptions. Then, the state space representation is ex- tracted from this description using the construction described above. Finally, open system properties can be checked on this representation using the proof system.

  • 172.
    Aktug, Irem
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC), Teoretisk datalogi, TCS. KTH, Skolan för elektro- och systemteknik (EES), Centra, ACCESS Linnaeus Centre.
    Dam, Mads
    KTH, Skolan för datavetenskap och kommunikation (CSC), Teoretisk datalogi, TCS. KTH, Skolan för elektro- och systemteknik (EES), Centra, ACCESS Linnaeus Centre.
    Gurov, Dilian
    KTH, Skolan för datavetenskap och kommunikation (CSC), Teoretisk datalogi, TCS.
    Provably Correct Runtime Monitoring2009Ingår i: Journal of Logic and Algebraic Programming, ISSN 1567-8326, E-ISSN 1873-5940, Vol. 78, nr 5, s. 304-339Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Runtime monitoring is an established technique to enforce a wide range of program safety and security properties. We present a formalization of monitoring and monitor inlining, for the Java Virtual Machine. Monitors are security automata given in a special-purpose monitor specification language, ConSpec. The automata operate on finite or infinite strings of calls to a fixed API, allowing local dependencies on parameter values and heap content. We use a two-level class file annotation scheme to characterize two key properties: (i) that the program is correct with respect to the monitor as a constraint on allowed program behavior, and (ii) that the program has a copy of the given monitor embedded into it. As the main application of these results we sketch a simple inlining algorithm and show how the two-level annotations can be completed to produce a fully annotated program which is valid in the standard sense of Floyd/Hoare logic. This establishes the mediation property that inlined programs are guaranteed to adhere to the intended policy. Furthermore, validity can be checked efficiently using a weakest precondition based annotation checker, thus preparing the ground for on-device checking of policy adherence in a proof-carrying code setting.

  • 173.
    Aktug, Irem
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC), Teoretisk datalogi, TCS.
    Dam, Mads
    KTH, Skolan för datavetenskap och kommunikation (CSC), Teoretisk datalogi, TCS.
    Gurov, Dilian
    KTH, Skolan för datavetenskap och kommunikation (CSC), Teoretisk datalogi, TCS.
    Provably correct runtime monitoring (extended abstract)2008Ingår i: Fm 2008: Formal Methods, Proceedings / [ed] Cuellar, J; Maibaum, T; Sere, K, 2008, Vol. 5014, s. 262-277Konferensbidrag (Refereegranskat)
    Abstract [en]

    Runtime monitoring is an established technique for enforcing a wide range of program safety and security properties. We present a formalization of monitoring and monitor inlining, for the Java Virtual Machine. Monitors are security automata given in a special-purpose monitor specification language, ConSpec. The automata operate on finite or infinite strings of calls to a fixed API, allowing local dependencies on parameter values and heap content. We use a two-level class file annotation scheme to characterize two key properties: (i) that the program is correct with respect to the monitor as a constraint on allowed program behavior, and (ii) that the program has an instance of the given monitor embedded into it, which yields state changes at prescribed points according to the monitor's transition function. As our main application of these results we describe a concrete inliner, and use the annotation scheme to characterize its correctness. For this inliner, correctness of the level II annotations can be decided efficiently by a weakest precondition annotation checker, thus allowing on-device checking of inlining correctness in a proof-carrying code setting.

  • 174.
    Aktug, Irem
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC), Numerisk Analys och Datalogi, NADA.
    Gurov, Dilian
    KTH, Skolan för datavetenskap och kommunikation (CSC), Numerisk Analys och Datalogi, NADA.
    State Space Representation for Verification of Open Systems2006Ingår i: Algebraic Methodology And Software Technology, Proceedings / [ed] Johnson, M; Vene, V, Berlin: Springer , 2006, s. 5-20Konferensbidrag (Refereegranskat)
    Abstract [en]

    When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on assumptions on the underspecified components. When component assumptions are expressed in Hennessy-Milner logic (HML), the state space of open systems can be naturally represented with modal transition systems (NITS), a graphical specification language equiexpressive with HML. Having an explicit state space representation supports state space exploration based verification techniques, Besides, it enables proof reuse and facilitates visualization for the user guiding the verification process. in interactive verification. As an intuitive representation of system behavior, it aids debugging when proof generation fails in automatic verification.

    However, HML is not expressive enough to capture temporal assumptions. For this purpose, we extend MTSs to represent the state space of open systems where component assumptions are specified in modal mu-calculus. We present a two-phase construction from process algebraic open system descriptions to such state space representations. The first phase deals with component assumptions, and is essentially a maximal model construction for the modal p-calculus. In the second phase, the models obtained are combined according to the structure of the open system to form the complete state space. The construction is sound and complete for systems with a single unknown component and sound for those-without dynamic process creation. For establishing open system properties based on the representation, we present a proof system which is sound and complete for prime formulae.

  • 175.
    Aktug, Irem
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC), Teoretisk datalogi, TCS.
    Gurov, Dilian
    KTH, Skolan för datavetenskap och kommunikation (CSC), Teoretisk datalogi, TCS.
    Towards State Space Exploration Based Verification of Open Systems2005Ingår i: 4th International Workshop on Automated Verification of Infinite-State Systems (AVIS’05), April 2005, Edinburgh, Scotland, 2005Konferensbidrag (Refereegranskat)
  • 176.
    Aktug, Irem
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC), Teoretisk datalogi, TCS.
    Naliuka, Katsiaryna
    University of Trento, Italy.
    ConSpec: A Formal Language for Policy Specification2008Ingår i: Science of Computer Programming, ISSN 0167-6423, E-ISSN 1872-7964, Vol. 74, nr 1-2, s. 2-12Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    The paper presents ConSpec, an automata-based policy specification language. The language trades off clean semantics to language expressiveness: a formal semantics for the language is provided as security automata. ConSpec specifications can be used at different stages of the application lifecycle, rendering possible the formalization of various Policy enforcement techniques.

  • 177.
    Aktug, Irem
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC), Teoretisk datalogi, TCS.
    Naliuka, Katsiaryna
    University of Trento, Italy.
    ConSpec: A Formal Language for Policy Speci-fication2007Ingår i: Proceedings of The First International Workshop on Run Time Enforcement for Mobile and Distributed Systems (REM’07), 2007, s. 45-58Konferensbidrag (Övrigt vetenskapligt)
    Abstract [en]

    The paper presents ConSpec, an automata based policy specification language. The language trades off clean semantics to language expressiveness; a formal semantics for the language is provided as security automata. ConSpec specifications can be used at different stages of the application lifecycle, rendering possible the formalization of various policy enforcement techniques.

  • 178. Akyol, Z
    et al.
    Arbaugh, B
    Cleveland-Innes, Marta
    KTH, Skolan för datavetenskap och kommunikation (CSC), Medieteknik och grafisk produktion, Media (stängd 20111231).
    Garrison, R
    Ice, P
    Richardson, J
    Swan, K
    A response to the review of the community of inquiry framework2009Ingår i: Journal of distance education = Revue de l'enseignement à distance, ISSN 1916-6818, Vol. 23, nr 2, s. 123-136Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    The Community of Inquiry (CoI) framework has become a prominent model of teaching and learning in online and blended learning environments. Considerable research has been conducted which employs the framework with promising results, resulting in wide use to inform the practice of online and blended teaching and learning. For the CoI model to continue to grow and evolve, constructive critiques and debates are extremely beneficial, in so much as they identify potential problems and weaknesses in the model or its application, as well as provide direction for further research. In this context, the CoI framework was recently reviewed and critiqued by Rourke and Kanuka in their JDE article entitled “Learning in Communities of Inquiry: A Review of the Literature.” This paper is a response to this article and focuses on two main issues. The first issue is the focus of the review and critique on learning outcomes. The second issue concerns the representation, comprehensiveness, and methodology of the review.

  • 179.
    Al Ahad, Muhammed Abdullah
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Centra, Parallelldatorcentrum, PDC.
    Simmendinger, Christian
    T Syst Solut Res GmbH, D-70563 Stuttgart, Germany..
    Iakymchuk, Roman
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Centra, Parallelldatorcentrum, PDC.
    Laure, Erwin
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Centra, Parallelldatorcentrum, PDC.
    Markidis, Stefano
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Centra, Parallelldatorcentrum, PDC.
    Efficient Algorithms for Collective Operations with Notified Communication in Shared Windows2018Ingår i: PROCEEDINGS OF PAW-ATM18: 2018 IEEE/ACM PARALLEL APPLICATIONS WORKSHOP, ALTERNATIVES TO MPI (PAW-ATM), IEEE , 2018, s. 1-10Konferensbidrag (Refereegranskat)
    Abstract [en]

    Collective operations are commonly used in various parts of scientific applications. Especially in strong scaling scenarios collective operations can negatively impact the overall applications performance: while the load per rank here decreases with increasing core counts, time spent in e.g. barrier operations will increase logarithmically with the core count. In this article, we develop novel algorithmic solutions for collective operations such as Allreduce and Allgather(V)-by leveraging notified communication in shared windows. To this end, we have developed an extension of GASPI which enables all ranks participating in a shared window to observe the entire notified communication targeted at the window. By exploring benefits of this extension, we deliver high performing implementations of Allreduce and Allgather(V) on Intel and Cray clusters. These implementations clearly achieve 2x-4x performance improvements compared to the best performing MPI implementations for various data distributions.

  • 180.
    Al Dakkak, O.
    et al.
    Higher Institute of Applied Sciencenand Technology (HIAST).
    Ghneim, N.
    Higher Institute of Applied Sciencenand Technology (HIAST).
    Abou Zliekha, M.
    Damascus University/Faculty of Information Technology.
    Al Moubayed, Samer
    Damascus University/Faculty of Information Technology.
    Emotional Inclusion in An Arabic Text-To-Speech2005Ingår i: Proceedings of the 13th European Signal Processing Conference (EUSIPCO), Antalya, Turkey, 2005Konferensbidrag (Refereegranskat)
    Abstract [en]

    The goal of this paper is to present an emotional audio-visua lText to speech system for the Arabic Language. The system is based on two entities: un emotional audio text to speech system which generates speech depending on the input text and the desired emotion type, and un emotional Visual model which generates the talking heads, by forming the corresponding visemes. The phonemes to visemes mapping, and the emotion shaping use a 3-paramertic face model, based on the Abstract Muscle Model. We have thirteen viseme models and five emotions as parameters to the face model. The TTS produces the phonemes corresponding to the input text, the speech with the suitable prosody to include the prescribed emotion. In parallel the system generates the visemes and sends the controls to the facial model to get the animation of the talking head in real time.

  • 181.
    Al Dakkak, O.
    et al.
    HIAST, Damascus, Syria.
    Ghneim, N.
    HIAST, Damascus, Syria.
    Abou Zliekha, M.
    Damascus University.
    Al Moubayed, Samer
    Damascus University.
    Prosodic Feature Introduction and Emotion Incorporation in an Arabic TTS2006Ingår i: Proceedings of IEEE International Conference on Information and Communication Technologies, Damascus, Syria, 2006, s. 1317-1322Konferensbidrag (Refereegranskat)
    Abstract [en]

    Text-to-speech is a crucial part of many man-machine communication applications, such as phone booking and banking, vocal e-mail, and many other applications. In addition to many other applications concerning impaired persons, such as: reading machines for blinds, talking machines for persons with speech difficulties. However, the main drawback of most speech synthesizers in the talking machines, are their metallic sounds. In order to sound naturally, we have to incorporate prosodic features, as close as possible to natural prosody, this helps to improve the quality of the synthetic speech. Actual researches in the world are towards better "automatic prosody generation".

  • 182.
    Al Hakim, Ezeddin
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    3D YOLO: End-to-End 3D Object Detection Using Point Clouds2018Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    För att autonoma fordon ska ha en god uppfattning av sin omgivning används moderna sensorer som LiDAR och RADAR. Dessa genererar en stor mängd 3-dimensionella datapunkter som kallas point clouds. Inom utvecklingen av autonoma fordon finns det ett stort behov av att tolka LiDAR-data samt klassificera medtrafikanter. Ett stort antal studier har gjorts om 2D-objektdetektering som analyserar bilder för att upptäcka fordon, men vi är intresserade av 3D-objektdetektering med hjälp av endast LiDAR data. Därför introducerar vi modellen 3D YOLO, som bygger på YOLO (You Only Look Once), som är en av de snabbaste state-of-the-art modellerna inom 2D-objektdetektering för bilder. 3D YOLO tar in ett point cloud och producerar 3D lådor som markerar de olika objekten samt anger objektets kategori. Vi har tränat och evaluerat modellen med den publika träningsdatan KITTI. Våra resultat visar att 3D YOLO är snabbare än dagens state-of-the-art LiDAR-baserade modeller med en hög träffsäkerhet. Detta gör den till en god kandidat för kunna användas av autonoma fordon.

  • 183.
    Al Khatib, Iyad
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Elektronik- och datorsystem, ECS.
    Performance Analysis of Application-Specific Multicore Systems on Chip2008Doktorsavhandling, monografi (Övrigt vetenskapligt)
    Abstract [en]

    The last two decades have witnessed the birth of revolutionary technologies in data communications including wireless technologies, System on Chip (SoC), Multi Processor SoC (MPSoC), Network on Chip (NoC), and more. At the same time we have witnessed that performance does not always keep pace with expectations in many services like multimediaservices and biomedical applications. Moreover, the IT market has suffered from some crashes. Hence, this triggered us to think of making use of available technologies and developing new ones so that the performance level is suitable for given applications and services. In the medical field, from a statistical viewpoint, the biggest diseases in number of deaths are heart diseases, namely Cardiovascular Disease (CVD) and Stroke. The application with the largest market for CVD is the electrocardiogram (ECG/EKG) analysis. According to the World Health Organization (WHO) report in 2003, 29.2% of global deaths are due to CVD and Stroke, half of which could be prevented if there was proper monitoring. We found in the new advance in microelectronics, NoC, SoC, and MPSoC, a chance of a solution for such a big problem. We look at the communication technologies, wireless networks, and MPSoC and realize that many projects can be founded, and they may affect people's lives positively, as for example, curing people more rapidly, as well as homecare of such large scale diseases. These projects have a medical impact as well as economic and social impacts. The intention is to use performance analysis of interconnected microelectronic systems and combine it with MPSoC and NoC technologies in order to evolve to new systems on chip that may make a difference. Technically, we aim at rendering more computations in less time, on a chip with smaller volume, and with less expense. The performance demand and the vision of having a market success, i.e. contributing to lower healthcare costs, pose many challenges on the hardware/software co-design to meet these goals. This calls upon the development of new integrated circuits featuring increased energy efficiency while providing higher computation capabilities, i.e. better performance. The biomedical application of ECG analysis is an ideal target for an application-specific SoC implementation. However, new 12-lead ECG analyses algorithms are needed to meet the aforementioned goals. In this thesis, we present two novel algorithms for ECG analysis, namely the Autocorrelation-Function (ACF) based algorithm and the Fast Fourier Transform (FFT) based algorithm. In this respect, we explore the design space by analyzing different hardware and software architectures. As a result, we realize a design with twelve processors that can compute 3.5 million arithmetic computations and respect the real time hard deadline for our biomedical application (3.5-4seconds), and that can deploy the ACF-based and FFT-based algorithms. Then, we investigate the configuration space looking for the most effective solution, performance and energy-wise. Consequently, we present three interconnect architectures (Single Bus, Full Crossbar, and Partial Crossbar) and compare them with existing solutions. The sampling frequencies of 2.2 KHz and 4 KHz, with 12 DSPs, are found to be the critical points for our Shared-Bus design and Crossbar architecture, respectively. We also show how our performance analysis methods can be applied to such a field of SoC design and with a specific purpose application in order to converge to a solution that is acceptable from a performance viewpoint, meets the real-time demands, and can be implemented with the present technologies while at the same time paving the way for easier and faster development. In order to connect our MPSoC solution to communication networks to transmit the medical results to a healthcare center, we come up with new protocols that will allow the integration of multiple networks on chips in a communication network. Finally, we present a methodology for HW/SW Codesign for application-specific systems (with focus on biomedical applications) that require a large number of computations since this will foster the convergence to solutions that are acceptable from a performance point of view.

  • 184.
    Al Khatib, Iyad
    et al.
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Elektronik- och datorsystem, ECS.
    Bertozzi, Davide
    Poletti, Francesco
    Benini, Luca
    Jantsch, Axel
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Elektronik- och datorsystem, ECS.
    Bechara, Mohamed
    Khalifeh, Hasan
    Hajjar, Mazen
    Nabiev, Rustam
    Jonsson, Sven
    Hardware/Software architecture for real-time ECG monitoring and analysis leveraging MPSoC technology2007Ingår i: Transactions on High-Performance Embedded Architectures and Compilers I / [ed] tenstrom, P; OBoyle, M; Bodin, F; Cintra, M; McKee, SA, 2007, Vol. 4050, s. 239-258Konferensbidrag (Refereegranskat)
    Abstract [en]

    The interest in high performance chip architectures for biomedical applications is gaining a lot of research and market interest. Heart diseases remain by far the main cause of death and a challenging problem for biomedical engineers to monitor and analyze. Electrocardiography (ECG) is an essential practice in heart medicine. However, ECG analysis still faces computational challenges, especially when 12 lead signals are to be analyzed in parallel, in real time, and under increasing sampling frequencies. Another challenge is the analysis of huge amounts of data that may grow to days of recordings. Nowadays, doctors use eyeball monitoring of the 12-lead ECG paper readout, which may seriously impair analysis accuracy. Our solution leverages the advance in multi-processor system-on-chip architectures, and it is centered on the parallelization of the ECG computation kernel. Our Hardware- Software (HW/SW) Multi-Processor System-on-Chip (MPSoQ design improves upon state-of-the-art mostly for its capability to perform real-time analysis of input data, leveraging the computation horsepower provided by many concurrent DSPs, more accurate diagnosis of cardiac diseases, and prompter reaction to abnormal heart alterations. The design methodology to go from the 12-lead ECG application specification to the final HW/SW architecture is the focus of this paper. We explore the design space by considering a number of hardware and software architectural variants, and deploy industrial components to build up the system.

  • 185.
    Al Khatib, Iyad
    et al.
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Mikroelektronik och Informationsteknik, IMIT.
    Jantsch, Axel
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Mikroelektronik och Informationsteknik, IMIT.
    Nabiev, Rustam
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Mikroelektronik och Informationsteknik, IMIT.
    ECG-BIONET: A global biomedical network for human heart monitoring and analysis: Performance needs of an electrocardiogram Telemedicine platform for medical aid at the point-of-need2006Ingår i: 25TH IEEE INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS: VOLS 1-7, PROCEEDINGS IEEE INFOCOM 2006, New York: IEEE , 2006, s. 3282-3283Konferensbidrag (Refereegranskat)
    Abstract [en]

    In this paper, we propose a Tele-medicine application platform as a medical aid for patients suffering from Heart malfunction. We focus on heart diseases since they remain by far the major cause of death in the globe. Our solution utilizes the Satellite communication protocol DVB-RCS (Digital Video Broadcast- Return Channel Satellite), Wi-Fi, and the Network-on-Chip (NoC) technology. We utilize the 12-lead ECG biomedical technique to detect heart disorders via the biomedical NoC, which transmits the medical alarm and results via the biomedical network, ECG-BIONET. We do not investigate the DVB-RCS standard or Wi-Fi technology, but rather we try to utilize this technology, and we look at it from a performance point of view for our application by investigating three parameters, namely: delay, packet loss, and reliability. We follow a top down approach by looking at the needs of the application from a performance guarantee for our specific-purpose network.

  • 186. Al Moubayed, S.
    et al.
    Bohus, D.
    Esposito, A.
    Heylen, D.
    Koutsombogera, M.
    Papageorgiou, H.
    Skantze, Gabriel
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH.
    UM3I 2014 chairs' welcome2014Ingår i: UM3I 2014 - Proceedings of the 2014 ACM Workshop on Understanding and Modeling Multiparty, Multimodal Interactions, Co-located with ICMI 2014, 2014, s. iii-Konferensbidrag (Övrig (populärvetenskap, debatt, mm))
  • 187.
    Al Moubayed, Samer
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    Bringing the avatar to life: Studies and developments in facial communication for virtual agents and robots2012Doktorsavhandling, sammanläggning (Övrigt vetenskapligt)
    Abstract [en]

    The work presented in this thesis comes in pursuit of the ultimate goal of building spoken and embodied human-like interfaces that are able to interact with humans under human terms. Such interfaces need to employ the subtle, rich and multidimensional signals of communicative and social value that complement the stream of words – signals humans typically use when interacting with each other.

    The studies presented in the thesis concern facial signals used in spoken communication, and can be divided into two connected groups. The first is targeted towards exploring and verifying models of facial signals that come in synchrony with speech and its intonation. We refer to this as visual-prosody, and as part of visual-prosody, we take prominence as a case study. We show that the use of prosodically relevant gestures in animated faces results in a more expressive and human-like behaviour. We also show that animated faces supported with these gestures result in more intelligible speech which in turn can be used to aid communication, for example in noisy environments.

    The other group of studies targets facial signals that complement speech. As spoken language is a relatively poor system for the communication of spatial information; since such information is visual in nature. Hence, the use of visual movements of spatial value, such as gaze and head movements, is important for an efficient interaction. The use of such signals is especially important when the interaction between the human and the embodied agent is situated – that is when they share the same physical space, and while this space is taken into account in the interaction.

    We study the perception, the modelling, and the interaction effects of gaze and head pose in regulating situated and multiparty spoken dialogues in two conditions. The first is the typical case where the animated face is displayed on flat surfaces, and the second where they are displayed on a physical three-dimensional model of a face. The results from the studies show that projecting the animated face onto a face-shaped mask results in an accurate perception of the direction of gaze that is generated by the avatar, and hence can allow for the use of these movements in multiparty spoken dialogue.

    Driven by these findings, the Furhat back-projected robot head is developed. Furhat employs state-of-the-art facial animation that is projected on a 3D printout of that face, and a neck to allow for head movements. Although the mask in Furhat is static, the fact that the animated face matches the design of the mask results in a physical face that is perceived to “move”.

    We present studies that show how this technique renders a more intelligible, human-like and expressive face. We further present experiments in which Furhat is used as a tool to investigate properties of facial signals in situated interaction.

    Furhat is built to study, implement, and verify models of situated and multiparty, multimodal Human-Machine spoken dialogue, a study that requires that the face is physically situated in the interaction environment rather than in a two-dimensional screen. It also has received much interest from several communities, and been showcased at several venues, including a robot exhibition at the London Science Museum. We present an evaluation study of Furhat at the exhibition where it interacted with several thousand persons in a multiparty conversation. The analysis of the data from the setup further shows that Furhat can accurately regulate multiparty interaction using gaze and head movements.

  • 188.
    Al Moubayed, Samer
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation. KTH, Skolan för datavetenskap och kommunikation (CSC), Centra, Centrum för Talteknologi, CTT.
    Prosodic Disambiguation in Spoken Systems Output2009Ingår i: Proceedings of Diaholmia'09: 2009 Workshop on the Semantics and Pragmatics of Dialogue / [ed] Jens Edlund, Joakim Gustafson, Anna Hjalmarsson, Gabriel Skantze, Stockholm, Sweden., 2009, s. 131-132Konferensbidrag (Refereegranskat)
    Abstract [en]

    This paper presents work on using prosody in the output of spoken dialogue systems to resolve possible structural ambiguity of output utterances. An algorithm is proposed to discover ambiguous parses of an utterance and to add prosodic disambiguation events to deliver the intended structure. By conducting a pilot experiment, the automatic prosodic grouping applied to ambiguous sentences shows the ability to deliver the intended interpretation of the sentences.

  • 189.
    Al Moubayed, Samer
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    Towards rich multimodal behavior in spoken dialogues with embodied agents2013Ingår i: 4th IEEE International Conference on Cognitive Infocommunications, CogInfoCom 2013 - Proceedings, IEEE Computer Society, 2013, s. 817-822Konferensbidrag (Refereegranskat)
    Abstract [en]

    Spoken dialogue frameworks have traditionally been designed to handle a single stream of data - the speech signal. Research on human-human communication has been providing large evidence and quantifying the effects and the importance of a multitude of other multimodal nonverbal signals that people use in their communication, that shape and regulate their interaction. Driven by findings from multimodal human spoken interaction, and the advancements of capture devices and robotics and animation technologies, new possibilities are rising for the development of multimodal human-machine interaction that is more affective, social, and engaging. In such face-to-face interaction scenarios, dialogue systems can have a large set of signals at their disposal to infer context and enhance and regulate the interaction through the generation of verbal and nonverbal facial signals. This paper summarizes several design decision, and experiments that we have followed in attempts to build rich and fluent multimodal interactive systems using a newly developed hybrid robotic head called Furhat, and discuss issues and challenges that this effort is facing.

  • 190.
    Al Moubayed, Samer
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    Alexanderson, Simon
    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, Tal-kommunikation.
    Granström, Björn
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    A robotic head using projected animated faces2011Ingår i: Proceedings of the International Conference on Audio-Visual Speech Processing 2011 / [ed] Salvi, G.; Beskow, J.; Engwall, O.; Al Moubayed, S., Stockholm: KTH Royal Institute of Technology, 2011, s. 71-Konferensbidrag (Refereegranskat)
    Abstract [en]

    This paper presents a setup which employs virtual animatedagents for robotic heads. The system uses a laser projector toproject animated faces onto a three dimensional face mask. This approach of projecting animated faces onto a three dimensional head surface as an alternative to using flat, two dimensional surfaces, eliminates several deteriorating effects and illusions that come with flat surfaces for interaction purposes, such as exclusive mutual gaze and situated and multi-partner dialogues. In addition to that, it provides robotic heads with a flexible solution for facial animation which takes into advantage the advancements of facial animation using computer graphics overmechanically controlled heads.

  • 191.
    Al Moubayed, Samer
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    Ananthakrishnan, Gopal
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    Acoustic-to-Articulatory Inversion based on Local Regression2010Ingår i: Proceedings of the 11th Annual Conference of the International Speech Communication Association, INTERSPEECH 2010, Makuhari, Japan, 2010, s. 937-940Konferensbidrag (Refereegranskat)
    Abstract [en]

    This paper presents an Acoustic-to-Articulatory inversionmethod based on local regression. Two types of local regression,a non-parametric and a local linear regression have beenapplied on a corpus containing simultaneous recordings of positionsof articulators and the corresponding acoustics. A maximumlikelihood trajectory smoothing using the estimated dynamicsof the articulators is also applied on the regression estimates.The average root mean square error in estimating articulatorypositions, given the acoustics, is 1.56 mm for the nonparametricregression and 1.52 mm for the local linear regression.The local linear regression is found to perform significantlybetter than regression using Gaussian Mixture Modelsusing the same acoustic and articulatory features.

  • 192.
    Al Moubayed, Samer
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation. KTH, Skolan för datavetenskap och kommunikation (CSC), Centra, Centrum för Talteknologi, CTT.
    Ananthakrishnan, Gopal
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation. KTH, Skolan för datavetenskap och kommunikation (CSC), Centra, Centrum för Talteknologi, CTT.
    Enflo, Laura
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Musikakustik. KTH, Skolan för datavetenskap och kommunikation (CSC), Centra, Centrum för Talteknologi, CTT.
    Automatic Prominence Classification in Swedish2010Ingår i: Proceedings of Speech Prosody 2010, Workshop on Prosodic Prominence, Chicago, USA, 2010Konferensbidrag (Refereegranskat)
    Abstract [en]

    This study aims at automatically classifying levels of acoustic prominence on a dataset of 200 Swedish sentences of read speech by one male native speaker. Each word in the sentences was categorized by four speech experts into one of three groups depending on the level of prominence perceived. Six acoustic features at a syllable level and seven features at a word level were used. Two machine learning algorithms, namely Support Vector Machines (SVM) and memory based Learning (MBL) were trained to classify the sentences into their respective classes. The MBL gave an average word level accuracy of 69.08% and the SVM gave an average accuracy of 65.17 % on the test set. These values were comparable with the average accuracy of the human annotators with respect to the average annotations. In this study, word duration was found to be the most important feature required for classifying prominence in Swedish read speech

  • 193.
    Al Moubayed, Samer
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC), Centra, Centrum för Talteknologi, CTT. KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    Baklouti, M.
    Chetouani, M.
    Dutoit, T.
    Mahdhaoui, A.
    Martin, J. -C
    Ondas, S.
    Pelachaud, C.
    Urbain, J.
    Yilmaz, M.
    Generating Robot/Agent Backchannels During a Storytelling Experiment: 2009 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1-72009Ingår i: ICRA: 2009 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, 2009, s. 3749-3754Konferensbidrag (Refereegranskat)
    Abstract [en]

    This work presents the development of a real-time framework for the research of Multimodal Feedback of Robots/Talking Agents in the context of Human Robot Interaction (HRI) and Human Computer Interaction (HCI). For evaluating the framework, a Multimodal corpus is built (ENTERFACE_STEAD), and a study on the important multimodal features was done for building an active Robot/Agent listener of a storytelling experience with Humans. The experiments show that even when building the same reactive behavior models for Robot and Talking Agents, the interpretation and the realization of the behavior communicated is different due to the different communicative channels Robots/Agents offer be it physical but less-human-like in Robots, and virtual but more expressive and human-like in Talking agents.

  • 194.
    Al Moubayed, Samer
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    Beskow, Jonas
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    A novel Skype interface using SynFace for virtual speech reading support2011Ingår i: Proceedings from Fonetik 2011, June 8 - June 10, 2011: Speech, Music and Hearing, Quarterly Progress and Status Report, TMH-OPSR, Volume 51, 2011, Stockholm, Sweden, 2011, s. 33-36Konferensbidrag (Övrigt vetenskapligt)
    Abstract [en]

    We describe in this paper a support client interface to the IP telephony application Skype. The system uses a variant of SynFace, a real-time speech reading support system using facial animation. The new interface is designed for the use by elderly persons, and tailored for use in systems supporting touch screens. The SynFace real-time facial animation system has previously shown ability to enhance speech comprehension for the hearing impaired persons. In this study weemploy at-home field studies on five subjects in the EU project MonAMI. We presentinsights from interviews with the test subjects on the advantages of the system, and onthe limitations of such a technology of real-time speech reading to reach the homesof elderly and the hard of hearing.

  • 195.
    Al Moubayed, Samer
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation. KTH, Skolan för datavetenskap och kommunikation (CSC), Centra, Centrum för Talteknologi, CTT.
    Beskow, Jonas
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation. KTH, Skolan för datavetenskap och kommunikation (CSC), Centra, Centrum för Talteknologi, CTT.
    Effects of Visual Prominence Cues on Speech Intelligibility2009Ingår i: Proceedings of Auditory-Visual Speech Processing AVSP'09, Norwich, England, 2009Konferensbidrag (Refereegranskat)
    Abstract [en]

    This study reports experimental results on the effect of visual prominence, presented as gestures, on speech intelligibility. 30 acoustically vocoded sentences, permutated into different gestural conditions were presented audio-visually to 12 subjects. The analysis of correct word recognition shows a significant increase in intelligibility when focally-accented (prominent) words are supplemented with head-nods or with eye-brow raise gestures. The paper also examines coupling other acoustic phenomena to brow-raise gestures. As a result, the paper introduces new evidence on the ability of the non-verbal movements in the visual modality to support audio-visual speech perception.

  • 196.
    Al Moubayed, Samer
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    Beskow, Jonas
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    Perception of Nonverbal Gestures of Prominence in Visual Speech Animation2010Ingår i: Proceedings of the ACM/SSPNET 2nd International Symposium on Facial Analysis and Animation, Edinburgh, UK, 2010, s. 25-Konferensbidrag (Refereegranskat)
    Abstract [en]

    It has long been recognized that visual speech information is important for speech perception [McGurk and MacDonald 1976] [Summerfield 1992]. Recently there has been an increasing interest in the verbal and non-verbal interaction between the visual and the acoustic modalities from production and perception perspectives. One of the prosodic phenomena which attracts much focus is prominence. Prominence is defined as when a linguistic segment is made salient in its context.

  • 197.
    Al Moubayed, Samer
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    Beskow, Jonas
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    Prominence Detection in Swedish Using Syllable Correlates2010Ingår i: Proceedings of the 11th Annual Conference of the International Speech Communication Association, INTERSPEECH 2010, Makuhari, Japan, 2010, s. 1784-1787Konferensbidrag (Refereegranskat)
    Abstract [en]

    This paper presents an approach to estimating word level prominence in Swedish using syllable level features. The paper discusses the mismatch problem of annotations between word level perceptual prominence and its acoustic correlates, context, and data scarcity. 200 sentences are annotated by 4 speech experts with prominence on 3 levels. A linear model for feature extraction is proposed on a syllable level features, and weights of these features are optimized to match word level annotations. We show that using syllable level features and estimating weights for the acoustic correlates to minimize the word level estimation error gives better detection accuracy compared to word level features, and that both features exceed the baseline accuracy.

  • 198.
    Al Moubayed, Samer
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    Beskow, Jonas
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    Blomberg, Mats
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    Granström, Björn
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    Gustafson, Joakim
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    Mirning, N.
    Skantze, Gabriel
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    Talking with Furhat - multi-party interaction with a back-projected robot head2012Ingår i: Proceedings of Fonetik 2012, Gothenberg, Sweden, 2012, s. 109-112Konferensbidrag (Övrigt vetenskapligt)
    Abstract [en]

    This is a condensed presentation of some recent work on a back-projected robotic head for multi-party interaction in public settings. We will describe some of the design strategies and give some preliminary analysis of an interaction database collected at the Robotville exhibition at the London Science Museum

  • 199.
    Al Moubayed, Samer
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    Beskow, Jonas
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    Bollepalli, Bajibabu
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    Gustafson, Joakim
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    Hussen-Abdelaziz, A.
    Johansson, Martin
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    Koutsombogera, M.
    Lopes, J. D.
    Novikova, J.
    Oertel, Catharine
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    Skantze, Gabriel
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    Stefanov, Kalin
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    Varol, G.
    Human-robot Collaborative Tutoring Using Multiparty Multimodal Spoken Dialogue2014Konferensbidrag (Refereegranskat)
    Abstract [en]

    In this paper, we describe a project that explores a novel experi-mental setup towards building a spoken, multi-modally rich, and human-like multiparty tutoring robot. A human-robotinteraction setup is designed, and a human-human dialogue corpus is collect-ed. The corpus targets the development of a dialogue system platform to study verbal and nonverbaltutoring strategies in mul-tiparty spoken interactions with robots which are capable of spo-ken dialogue. The dialogue task is centered on two participants involved in a dialogueaiming to solve a card-ordering game. Along with the participants sits a tutor (robot) that helps the par-ticipants perform the task, and organizes and balances their inter-action. Differentmultimodal signals captured and auto-synchronized by different audio-visual capture technologies, such as a microphone array, Kinects, and video cameras, were coupled with manual annotations. These are used build a situated model of the interaction based on the participants personalities, their state of attention, their conversational engagement and verbal domi-nance, and how that is correlated with the verbal and visual feed-back, turn-management, and conversation regulatory actions gen-erated by the tutor. Driven by the analysis of the corpus, we will show also the detailed design methodologies for an affective, and multimodally rich dialogue system that allows the robot to meas-ure incrementally the attention states, and the dominance for each participant, allowing the robot head Furhat to maintain a well-coordinated, balanced, and engaging conversation, that attempts to maximize the agreement and the contribution to solve the task. This project sets the first steps to explore the potential of us-ing multimodal dialogue systems to build interactive robots that can serve in educational, team building, and collaborative task solving applications.

  • 200.
    Al Moubayed, Samer
    et al.
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    Beskow, Jonas
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    Bollepalli, Bajibabu
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    Hussen-Abdelaziz, A.
    Johansson, Martin
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    Koutsombogera, M.
    Lopes, J.
    Novikova, J.
    Oertel, Catharine
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    Skantze, Gabriel
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    Stefanov, Kalin
    KTH, Skolan för datavetenskap och kommunikation (CSC), Tal, musik och hörsel, TMH, Tal-kommunikation.
    Varol, G.
    Tutoring Robots: Multiparty Multimodal Social Dialogue With an Embodied Tutor2014Konferensbidrag (Refereegranskat)
    Abstract [en]

    This project explores a novel experimental setup towards building spoken, multi-modally rich, and human-like multiparty tutoring agent. A setup is developed and a corpus is collected that targets the development of a dialogue system platform to explore verbal and nonverbal tutoring strategies in multiparty spoken interactions with embodied agents. The dialogue task is centered on two participants involved in a dialogue aiming to solve a card-ordering game. With the participants sits a tutor that helps the participants perform the task and organizes and balances their interaction. Different multimodal signals captured and auto-synchronized by different audio-visual capture technologies were coupled with manual annotations to build a situated model of the interaction based on the participants personalities, their temporally-changing state of attention, their conversational engagement and verbal dominance, and the way these are correlated with the verbal and visual feedback, turn-management, and conversation regulatory actions generated by the tutor. At the end of this chapter we discuss the potential areas of research and developments this work opens and some of the challenges that lie in the road ahead.

1234567 151 - 200 av 12098
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