hh.sePublikationer
Ändra sökning
Avgränsa sökresultatet
12345 51 - 100 av 203
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • 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.
    Englund, Cristofer
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Intelligenta system (IS-lab).
    Verikas, Antanas
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Intelligenta system (IS-lab).
    Combining traditional and neural-based techniques for ink feed control in a newspaper printing press2007Ingår i: Advances in Data Mining: Theoretical Aspects and Applications, Proceedings / [ed] Perner, P., Berlin / Heidelberg: Springer Berlin/Heidelberg, 2007, s. 214-227Konferensbidrag (Refereegranskat)
    Abstract [en]

    A SOM based model combination strategy, allowing to create adaptive – data dependent – committees, is proposed. Both, models included into a committee and aggregation weights are specific for each input data point analyzed. The possibility to detect outliers is one more characteristic feature of the strategy.

  • 52.
    Ernst, Gidon
    et al.
    University of Melbourne, Melbourne, Australia.
    Huisman, Marieke
    University of Twente, Enschede, The Netherlands.
    Mostowski, Wojciech
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Ulbrich, Mattias
    Karlsruhe Institute of Technology, Karlsruhe, Germany.
    VerifyThis – Verification Competition with a Human Factor2019Ingår i: Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349, Vol. 11429, s. 176-195Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    VerifyThis is a series of competitions that aims to evaluatethe current state of deductive tools to prove functional correctness of programs. Such proofs typically require human creativity, and hence iti s not possible to measure the performance of tools independently of the skills of its user. Similarly, solutions can be judged by humans only. Inthis paper, we discuss the role of the human in the competition setup and explore possible future changes to the current format. Regarding the impact of VerifyThis on deductive verification research, a survey conducted among the previous participants shows that the event is a key enabler for gaining insight into other approaches, and that it fosters collaboration and exchange. © 2019, The Author(s).

  • 53.
    Fan, Xing
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Inbyggda system (CERES).
    Jonsson, Jan
    Department of Computer Science and Engineering, Chalmers University of Technology, Gothenburg, Sweden.
    Jonsson, Magnus
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Inbyggda system (CERES).
    Guaranteed Real-Time Communication in Packet-Switched Networks with FCFS queuing: Analysis and Simulations2007Rapport (Övrigt vetenskapligt)
    Abstract [en]

    In this report, we present a real-time analytical framework and the performance evaluation on our analysis. We propose a feasibility analysis of periodic hard real-time traffic in packet-switched networks using First Come First Served (FCFS) queuing but no traffic shapers. We choose switched Ethernet as an example to present the idea of our analysis and our experimental evaluations in this report.The remainder of the report is organized as follows. In Chapter 2, we define the network models, important concepts and terminology for real-time analysis. Chapter 3 presents our real-time analysis for isolated network elements. Chapter 4 gives end-to-end real-time analysis. Chapter 5 presents the performance evaluation of our results by simulation and comparison study and summarizes this report.

  • 54.
    Fan, Xing
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Inbyggda system (CERES).
    Jonsson, Magnus
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Inbyggda system (CERES).
    Network component architectures from a real-time perspective2007Rapport (Övrigt vetenskapligt)
    Abstract [en]

    In this report, we survey different architectural features of network components for packet-switched networks. Especially, we have a real-time perspective in the study. We also discuss how different architectural features vary with different implementations of two standards, RapidIO and switched Ethernet.

  • 55.
    Fetahovic, Armin
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Development of an innovative project handling website2017Självständigt arbete på grundnivå (högskoleexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Större företag finner det ofta svårt att sprida information om innovation och innovativa projekt. Projektet ska underlätta för företag att föra vidare och sammla in information om innovation och innovativa projekt. Detta uppnås genom utveckling av en webbsajt som kan hantera projekt. Webbsajtens funktionalitet är likt en aktiemarknad där alla användare(de anställda på företaget) kan investera i projekt som de tror har hög innovationspotential. Med hjälp av eget konstruerade algorithmer så kommer detta bli möjligt. Analyser och uträkningar utförs samt deras resultat redovisas på webbsidan. Det är en krav att varje användare registrerar sig först innan de får tillgång till webbsidan.

    Databasen är gjord i mySQL. Utvecklingen av algoritmen och serversidan är programmerad i PHP och SQL. Clientsidan är programmerad i HTML, CSS och JavaScrip. 

  • 56.
    Fredriksson, Joakim
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Höppner, Falk
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Chatbot for Information Retrieval from Unstructured Natural Language Documents2019Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

    This thesis brings forward the development of a chatbot which retrieves information from a data source consisting of unstructured natural language text. This project was made in collaboration with the company Jayway in Halmstad. Elasticsearch was used to create the search function and the service Dialogflow was used to process the natural language input from the user. A Python script was created to retrieve the information from the data source, and a request handler was written which connected the tools together to create a working chatbot. The chatbot correctly answers questions with a accuracy of 72% according to testing with a sample of n = 25. The testing consisted of asking the chatbot questions and determining if the answer is correct. Possible further research could be done to explore how chatbots might help the elderly or people with disabilities use the web with a natural dialogue instead of a traditional user interface.

  • 57.
    GE, LIN
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    NI, DANQING
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    A MOD Player for GBA2010Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

       This bachelor thesis describes the development of a MOD music player to run on GBA (Game Boy Advance) for Lypson Game Engine. GBA is a basic platform for embedded development, and the stereo system makes it possible to use the platform as a music player. The sound players of the GBA for Lypson Game Engine were designed to play wave files and the size of typical wave files is in the order of megabytes. MOD files are much smaller when compared with wave ones. Therefore, to avoid consuming the resources of the CPU and memory to process and store wave files, the use of MOD files represents a better alternative.The development took C++ as programming language and the development platform used was HAM. The first step was to obtain samples of music, and then control the hardware of GBA to play sound. After that, came the phase of combining it with Lipson Game Engine. These tasks enabled the acquisition of knowledge about the frame of MOD files; learning how to make the GBA play sound and mastering the operating instruction of GBA hardware by the process of development. In addition, it provided a chance to learn about embedded development, which represented a starting point to learn about embedded programming in general.As for the main result, it was achieved by the successful development of the MOD Player, which is now running on the Lypson Game Engine. As the MOD files are of small size, the music player is more efficient when compared with those previously used.

  • 58.
    Gebler, Daniel
    et al.
    Vrije Universiteit, Amsterdam, The Netherlands.
    Goriac, Eugen-Ioan
    Reykjavik University, Reyjkjavik, Iceland.
    Mousavi, Mohammad Reza
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Algebraic Meta-Theory of Processes with Data2013Ingår i: Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics / [ed] Johannes Borgström & Bas Luttik, Open Publishing Association , 2013, s. 63-77Konferensbidrag (Refereegranskat)
    Abstract [en]

    There exists a rich literature of rule formats guaranteeing different algebraic properties for formalisms with a Structural Operational Semantics. Moreover, there exist a few approaches for automatically deriving axiomatizations characterizing strong bisimilarity of processes. To our knowledge, this literature has never been extended to the setting with data (e.g. to model storage and memory). We show how the rule formats for algebraic properties can be exploited in a genericmanner in the setting with data. Moreover, we introduce a new approach for deriving sound and ground-complete axiom schemata for a notion of bisimilarity with data, called stateless bisimilarity, based on intuitive auxiliary function symbols for handling the store component. We do restrict, however, the axiomatization to the setting where the store component is only given in terms of constants. © Gebler, Goriac & Mousavi.

  • 59.
    Gidensköld, Carl Henrik
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Webbaserat system för kundstatistik: Hemsida24 Analytics2010Självständigt arbete på grundnivå (högskoleexamen), 5 poäng / 7,5 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Den här rapporten är baserad på ett examensarbete som är gjort för Hemsida24 där uppgiften var att skapa ett webbaserat system för att grafiskt visa statistik om deras kunder. Det skapade statistiksystemet har fått namnet Hemsida24 Analytics.I rapporten redovisas hur ovan nämna statistikverktyg har kommit till, samt hur det fungerar. Kundstatistiken visas på ett stilrent sätt med hjälp av amCharts flashbaserade grafer. Baserat på information från Hemsida24:s databas beräknades kundstatistiken och visades därefter i grafer.

    Programmeringen av Hemsida24 Analytics har i största hand gjorts objektorienterat i PHP. Utöver PHP har Zend Framework, MVC, MySQL, HMTL, CSS och jQuery haft en viktig roll under projektets gång.

    I graferna finns möjligheten att visa framtida prognoser. För att räkna ut prognoser för graferna används både linjära ekvationer och andragradsekvationer.

    I rapporten redovisas det slutgiltiga resultatet i jämförelse med projektplaneringen och en tidigare framtagen skiss. Det ges även förslag på eventuell fortsatt utveckling av Hemsida24 Analytics.

  • 60.
    Gidlund, M.
    et al.
    Mid Sweden Univ, S-85170 Sundsvall, Sweden..
    Hancke, G. P.
    City Univ Hong Kong, Hong Kong, Peoples R China..
    Eldefrawy, M. H.
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS).
    Åkerberg, J.
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS).
    Guest Editorial: Security, Privacy, and Trust for Industrial Internet of Things2020Ingår i: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 16, nr 1, s. 625-628Artikel i tidskrift (Övrigt vetenskapligt)
  • 61.
    Grahl, Daniel
    et al.
    Karlsruhe Institute of Technology, Karlsruhe, Germany.
    Bubel, Richard
    Technische Universität Darmstadt, Darmstadt, Germany.
    Mostowski, Wojciech
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Schmitt, Peter H.
    Karlsruhe Institute of Technology, Karlsruhe, Germany.
    Ulbrich, Mattias
    Karlsruhe Institute of Technology, Karlsruhe, Germany.
    Weiß, Benjamin
    Karlsruhe Institute of Technology, Karlsruhe, Germany.
    Modular Specification and Verification2016Ingår i: Deductive Software Verification – The KeY Book: From Theory to Practice / [ed] Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt & Mattias Ulbrich, Heidelberg: Springer, 2016, s. 289-351Kapitel i bok, del av antologi (Övrigt vetenskapligt)
    Abstract [en]

    In this chapter, concepts already addressed in previous chapters are reconsidered and extended to cater for modularity. In particular, it is shown how method contracts can be used in proofs (as opposed to being verified themselves). Another central topic is nonfunctional framing information, i.e., information on what locations a method may write to or read from. But, there are also items that are discussed here in depth for the first time: model methods, an abstraction of Java methods that are only used in specification, verification of recursive methods, and object invariants. For any of the arising proof obligations the calculus rules needed to dispatch them are shown. © Springer International Publishing AG 2016.

  • 62.
    Green, Jonas
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Delén, Johan
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Trådlös styrning av larmsystem: Kandidatuppsats2010Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Lansen Technology utvecklar och säljer larmsystem. Kommunikationen mellan systemets enheter sker trådlöst. Det trådlösa radioprotokoll som används är utvecklat av Lansen med målet att vara energisnål. Larmsystemets målgrupp är privatpersoner, företag och myndigheter. Nuvarande system installeras, konfigureras och styrs från en manöverpanel. Viss manövrering kan också ske med hjälp av mobiltelefon via GSM-nätet. Önskemål från Lansen Technology finns att flytta funktionalitet till en mobil enhet och att komma ifrån trafikkostnaden på GSM-nätet. Målgruppen för applikationen är i första hand användare som omgående kräver tillgång till information från larmsystemet. Projektet har i huvudsak bestått av två delar. Första delen av projektet bestod av att utreda de två olika trådlösa tekniker som var aktuella för projektet. Utvärderingen visade att Bluetooth var det bästa valet med de krav larmsystemet ställde på uppkopplingen. Bluetooth integrerades därefter i nuvarande larmsystem. Den andra delen bestod av att utveckla en mjukvara  för att kunna manövrera larmsystemet från en handdator med Windows Mobile. Applikationen utvecklades framgångsrikt och kan utföra majoriteten av de funktioner som specificerats inför projektet. Idén med att fjärrstyra larmsystemet från en mobil enhet har resulterat i ett lyckosamt projekt. Lansen Technology utvecklar och säljer larmsystem. Kommunikationen mellan systemets enheter sker trådlöst. Det trådlösa radioprotokoll som används är utvecklat av Lansen med målet att vara energisnål. Larmsystemets målgrupp är privatpersoner, företag och myndigheter. Nuvarande system installeras, konfigureras och styrs från en manöverpanel. Viss manövrering kan också ske med hjälp av mobiltelefon via GSM-nätet. Önskemål från Lansen Technology finns att flytta funktionalitet till en mobil enhet och att komma ifrån trafikkostnaden på GSM-nätet. Målgruppen för applikationen är i första hand användare som omgående kräver tillgång till information från larmsystemet. Projektet har i huvudsak bestått av två delar. Första delen av projektet bestod av att utreda de två olika trådlösa tekniker som var aktuella för projektet. Utvärderingen visade att Bluetooth var det bästa valet med de krav larmsystemet ställde på uppkopplingen. Bluetooth integrerades därefter i nuvarande larmsystem. Den andra delen bestod av att utveckla en mjukvara  för att kunna manövrera larmsystemet från en handdator med Windows Mobile. Applikationen utvecklades framgångsrikt och kan utföra majoriteten av de funktioner som specificerats inför projektet. Idén med att fjärrstyra larmsystemet från en mobil enhet har resulterat i ett lyckosamt projekt.

  • 63.
    Haage, Mathias
    et al.
    Department of Computer Science, Lund University, Lund, Sweden.
    Malec, Jacek
    Department of Computer Science, Lund University, Lund, Sweden.
    Nilsson, Anders
    Department of Computer Science, Lund University, Lund, Sweden.
    Nilsson, Klas
    Department of Computer Science, Lund University, Lund, Sweden.
    Nowaczyk, Sławomir
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Laboratoriet för intelligenta system.
    Declarative Knowledge-Based Reconfiguration of Automation Systems Using a Blackboard Architecture2011Ingår i: / [ed] Kofod-Petersen A., Langseth H., Heintz F., Amsterdam: IOS Press, 2011, s. 163-172Konferensbidrag (Refereegranskat)
    Abstract [en]

    This article describes results of the work on knowledge representation techniques chosen for use in the European project SIARAS (Skill-Based Inspection and Assembly for Reconfigurable Automation Systems). Its goal was to create intelligent support system for reconfiguration and adaptation of robot-based manufacturing cells. Declarative knowledge is represented first of all in an ontology expressed in OWL, for a generic taxonomical reasoning, and in a number of special-purpose reasoning modules, specific for the application domain. The domaindependent modules are organized in a blackboard-like architecture. © 2011 The authors and IOS Press. All rights reserved.

  • 64.
    Hajiaghayi, Mohammad Taghi
    et al.
    University of Maryland, College Park, MD, USA.
    Mousavi, Mohammad RezaHögskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Topics in Theoretical Computer Science: The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers2016Proceedings (redaktörskap) (Refereegranskat)
  • 65.
    H.Daryani, Sara
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Taslimi, Pouria
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Integrated Security by using MPLS-VPN for Retail-Banking Network: Case study Mehr bank, Iran2010Självständigt arbete på avancerad nivå (magisterexamen), 15 poäng / 22,5 hpStudentuppsats (Examensarbete)
    Abstract [en]

    The studied application area is a private bank with different branches located in different provinces around the country. There was not integrated security solution to provide communication among different branches. Some of these branches could communicate through the satellite and the others could communicate through a different technology, such as asynchronous transfer mode (ATM).

    Different bank security policies were applied and maintained for different branches separately. In addition, the number of branches is expected to grow during coming year in each province.

    The old topology was partial mesh and it could not support enough redundancy in case of disruption. If a connection between two branches failed, other branches might lose their connectivity as well. In addition, it could not achieve optimum routing.

    Providing integrated quality of service (QoS) for the wide area network (WAN) by using different technologies is not easy to achieve, and it causes so many problems for the system. The bank uses a variety of protocols for different applications, depending on its demand, so the new applied technology should not depend on protocols, or at least should support different protocols at a same time. In the old technology, the bank was responsible for granting availability and connectivity maintenance. Providing proper bandwidth is an important aspect in the bank scenario and for the old technology; supplying enough bandwidth was costly.

    As mentioned above, the old applied technology was dependent upon different protocols. Therefore, packets in different open system interconnection layers (OSI layers) would have to check thoroughly to find the source/ destination address, data and so on, to reach the correct destination. This might cause security problems for entire system. In addition, processing packet in each layer of the OSI model is time consuming.

    One important aspect for the retail-banking scenario is considering all features of the security domain, such as security policy, information security, physical security, access level control, integrated security for the system and so on. Some features of the security domain in this project were not covering completely, such as integrated information security, merged security policy, and integrated physical security for the system.

    In this project, all mentioned problems are solved by implementing a specific communication technology which can overcome the problems above. This technology supports multiple protocols, and it provides fast and secure communication. It can also cover redundancy and it does not cost as much as previous technologies like ATM and satellite. Easy provisioning is one feature of this technology. In this technology, the service provider is responsible for granting availability and connectivity maintenance.

    The mentioned features of the security domain, which were not covered by the old technology, will be covered by a proper, integrated security solution. The IP-based physical security systems provide centralized monitoring and they can define a merged security policy for all different branches around the country. Specific, pre-defined scenarios are created for different events in different situations.

  • 66.
    Hedenberg, Klas
    et al.
    School of Tecnology and Society, University of Skövde, Skövde, Sweden.
    Åstrand, Björn
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    A Trinocular Stereo System for Detection of Thin Horizontal Structures2008Ingår i: Advances in Electrical and Electronics Engineering: IAENG Special Edition of the World Congress on Engineering and Computer Science 2008, WCECS '08 / [ed] Sio-Iong Ao, Los Alamitos: IEEE Computer Society, 2008, s. 211-218Konferensbidrag (Refereegranskat)
    Abstract [en]

    Many vision-based approaches for obstacle detection often state that vertical thin structure is of importance, e.g. poles and trees. However, there are also problem in detecting thin horizontal structures. In an industrial case there are horizontal objects, e.g. cables and fork lifts, and slanting objects, e.g. ladders, that also has to be detected. This paper focuses on the problem to detect thin horizontal structures. We introduce a test apparatus for testing thin objects as a complement for the test pieces for human safety described in the European standard EN 1525 safety of industrial trucks - driverless trucks and their systems. The system uses three cameras, situated as a horizontal pair and a vertical pair, which makes it possible to also detect thin horizontal structures. A sparse disparity map based on edges and a dense disparity map is used to identify problems with a trinocular system. Both methods use the sum of absolute difference to compute the disparity maps. Tests show that the proposed trinocular system detects all objects at the test apparatus. If a sparse or dense method is used is not critical. Further work will implement the algorithm in real time and verify it on a final system in many types of scenery.

  • 67.
    Heikkilä, Mikko A.
    et al.
    Helsinki Institute for Information Technology HIIT, Department of Mathematics and Statistics, University of Helsinki, Helsinki, Finland.
    Jälkö, Joonas
    Helsinki Institute for Information Technology HIIT, Department of Computer Science, Aalto University, Esbo, Finland.
    Dikmen, Onur
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), CAISR Centrum för tillämpade intelligenta system (IS-lab).
    Honkela, Antti
    Helsinki Institute for Information Technology HIIT, Department of Computer Science, University of Helsinki, Helsinki, Finland & Department of Public Health, University of Helsinki, Helsinki, Finland.
    Differentially Private Markov Chain Monte Carlo2019Konferensbidrag (Refereegranskat)
    Abstract [en]

    Recent developments in differentially private (DP) machine learning and DP Bayesian learning have enabled learning under strong privacy guarantees for the training data subjects. In this paper, we further extend the applicability of DP Bayesian learning by presenting the first general DP Markov chain Monte Carlo (MCMC) algorithm whose privacy-guarantees are not subject to unrealistic assumptions on Markov chain convergence and that is applicable to posterior inference in arbitrary models. Our algorithm is based on a decomposition of the Barker acceptance test that allows evaluating the Renyi DP privacy cost of the accept-reject choice. We further show how to improve the DP guarantee through data subsampling and approximate acceptance tests.

  • 68.
    Henfridsson, Ola
    et al.
    Viktoria Institute, Göteborg.
    King, John
    University of Michigan.
    Mercer, Glenn
    McKinsey Consulting.
    Pavlich, Dave
    Yellow Roadway.
    Scacchi, Walt
    University of California, Irvine.
    Socio-Technical Research Challenges in Ubiquitous Computing: The Case of Telematics2005Ingår i: Designing Ubiquitous Information Environments: Socio-Technical Issues and Challenges, New York: Springer, 2005, s. 359-362Kapitel i bok, del av antologi (Övrig (populärvetenskap, debatt, mm))
  • 69.
    Henfridsson, Ola
    et al.
    Viktoria Institute, Göteborg.
    Lindgren, Rikard
    Viktoria Institute, Göteborg.
    Multi-Contextuality in Ubiquitous Computing: Investigating the Car Case through Action Research2005Ingår i: Information and organization, ISSN 1471-7727, E-ISSN 1873-7919, Vol. 15, nr 2, s. 95-124Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Ubiquitous computing envisions seamless access of mass-scale services over the multitude of contexts that users encounter in their everyday mobility. However, to be successful such computing must simultaneously be designed to provide transparent, integrated, and convenient support in localized use contexts. Thus, the issue of multi-contextuality makes the design of ubiquitous computing services and environments a challenging endeavor. While ubiquitous computing requires attention to the multi-contextuality of people’s mobile device use encompassing spatial, temporal, and social dimensions of mobility, the typical avenue for IS research studies has been the single context (e.g., team, organization, or inter-organizational).

    This paper reports on a grounded action research study with the objective of developing and testing design principles for handling multi-contextuality in an increasingly important ubiquitous computing environment – the car. Already supporting people’s everyday mobility and promising to provide ubiquitous availability of computing and communication infrastructure, the car is indeed a relevant setting for investigating the co-existence of different use contexts in ubiquitous computing. Contributing to the early stage of the ubiquitous computing research tradition, this paper not only empirically demonstrates that the car as a ubiquitous computing environment can improve the convenience of people’s everyday mobile device use by providing multi-contextual support. The paper also suggests our design principles and their associated socio-technical implications to be valid for other ubiquitous computing environments. Indeed, synchronizing fluid use patterns, scaling service manipulation, and signaling context-switches through awareness support lie at the heart of weaving ubiquitous computing environments conveniently into the fabric of people’s everyday mobility.

  • 70.
    Hoang, Hoai
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS).
    Enhancing the Performance of Distributed Real-time Systems2007Doktorsavhandling, sammanläggning (Övrigt vetenskapligt)
    Abstract [en]

    Advanced embedded systems can consist of many sensors, actuators and processors that are deployed on one or several boards, while having a demand of interacting with each other and sharing resources. Communication between different components usually has strict timing constraints. There is thus a strong need to provide solutions for time critical communication. This thesis focuses on both the support of real-time services over standard switched Ethernet networks and the improvement of systems' real-time characteristics, such as reducing delay and jitter in processors and on communication links.

    Switched Ethernet has been chosen in this work because of its major advantages in industry; it supports higher bit-rates than most other current LAN (Local Area Network) technologies, including field buses, still at a low cost. We propose using a star network topology with a single Ethernet switch. Each node is connected to a separate port of the switch via a full-duplex link, thereby eliminating collisions. A solid real-time communication protocol for switched Ethernet networks is proposed in the thesis, including a real-time layer between the Ethernet layer and the TCP/IP suite. The network has the capability of supporting both real-time and non real-time traffic and assuring adaptation to the surrounding protocol standards.

    Most embedded systems work in a dynamic environment, where the precise behavior of the network traffic can usually not be predicted. To support real-time services, we have chosen the Earliest Deadline scheduling algorithm (EDF) because of its optimality, high efficiency and suitability for being used in adaptive schemes. To be able to increase the amount of guaranteed real-time traffic, the notion of Asymmetric Deadline Partitioning Scheme (ADPS) is introduced. ADPS allows distribution of the end-to-end deadline of a message, sent from any source node in the network to any destination node via the switch, into two sub-deadlines, one for each hop according to the load of the physical link that it must traverse.

    For the EDF scheduling algorithm, the feasibility test is one of the most important techniques that provides us with information about whether or not the real-time traffic can be guaranteed by the network. With the same computational complexity as the feasibility test, a method has been developed to compute the minimum EDF-feasible deadline for a real-time task. The importance of this method in real-time applications lies in that it can be effectively used to reduce the response times of specific control activities or limit their input-output jitter. To allow more flexibility in the control of delay and jitter in real-time systems, a general approach for reducing task deadlines according to the requirements of individual tasks has been developed. The method allows the user to specify a deadline reduction factor for each task in order to better exploit the available slack according to the tasks' actual requirements.

  • 71.
    Holst, Anders
    et al.
    RISE SICS, Stockholm, Sweden.
    Pashami, Sepideh
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), CAISR Centrum för tillämpade intelligenta system (IS-lab).
    Bae, Juhee
    School of Informatics, University of Skövde, Skövde, Sweden.
    Incremental causal discovery and visualization2019Ingår i: Proceedings of the Workshop on Interactive Data Mining, WIDM 2019, Association for Computing Machinery (ACM), 2019Konferensbidrag (Refereegranskat)
    Abstract [en]

    Discovering causal relations from limited amounts of data can be useful for many applications. However, all causal discovery algorithms need huge amounts of data to estimate the underlying causal graph. To alleviate this gap, this paper proposes a novel visualization tool which incrementally discovers causal relations as more data becomes available. That is, we assume that stronger causal links will be detected quickly and weaker links revealed when enough data is available. In addition to causal links, the correlation between variables and the uncertainty of the strength of causal links are visualized in the same graph. The tool is illustrated on three example causal graphs, and results show that incremental discovery works and that the causal structure converges as more data becomes available. © 2019 Copyright held by the owner/author(s). Publication rights licensed to ACM.

  • 72.
    Hortling, Johan
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Bergh, Erik
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Karlsson, Daniel
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Konstruktion och penetrationstestning av VoIP-system2012Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    VoIP-system inom företag blir mer vanligt. Säkerheten bör då beaktas för att undvika hot som riskerar konfidentialitet, integritet och tillgänglighet. Denna rapport visar resultat från två olika VoIP-systems säkerhet med hjälp av praktiska penetrationstestscenarion i labbmiljö. En redogörelse över verktyg som är använda för säkerhetstesterna mot VoIP och tillvägagångssätt redovisas i rapporten med förklarande text och tabeller.

  • 73.
    Huisman, Marieke
    et al.
    University of Twente, Enschede, The Netherlands.
    Monahan, Rosemary
    Maynooth University, Maynooth, Ireland.
    Müller, Peter
    ETH Zurich, Zürich, Switzerland.
    Mostowski, Wojciech
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Ulbrich, Mattias
    Karlsruhe Institute of Technology, Karlsruhe, Germany.
    VerifyThis 2017: A Program Verification Competition2017Rapport (Övrigt vetenskapligt)
    Abstract [en]

    VerifyThis 2017 was a two-day program verification competition which took place from April 22-23rd, 2017 in Uppsala, Sweden as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2017). It was the sixth instalment in the VerifyThis competition series. This article provides an overview of the VerifyThis 2017 event, the challenges that were posed during the competition, and a high-level overview of the solutions to these challenges. It concludes with the results of the competition.

  • 74.
    Häägg, Anton
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Arvidsson, Linus
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Epilepsiarmband: Ett system utformat för detektering samt larmande vid epileptiskt anfall2017Självständigt arbete på grundnivå (högskoleexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Epilepsy is a disability with a large research field but yet with little knowledge and understanding about finding a cure. The common idea as to why an epileptic seizure is triggered is because of over activity in the neurons of the brain. More than 60 000 people in Sweden suffer from epilepsy. Damages from an epileptic seizure can be life threatening if left uncontrolled and a solution is needed in order to detect and alarm if a seizure has appeared. This project refers to building a system that can detect a seizure and locate the position of the patient having the seizure. This system also creates the possibility for a contact person to take part of the information. As there were no persons with the diagnose epilepsy at hand, the project group decided that simulated seizures were necessary. Development of the system has been categorised into three subsystems. The subsystems are a bracelet unit, a mobile application and a cloud-service. The projects subsystems were developed and the system was completed. A bracelet unit was created. This bracelet is able to detect if an epileptic seizure has occurred. A Bluetooth low energy connection between the bracelet and the mobile application was enabled making it possible for an alarm to be sent to a contact person during a seizure.

  • 75.
    Iftikhar, Amjad
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Shah, Muhammad Aoon
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Latif, Fowad
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Multi-Protocol Label Switching To Support Quality of Service Needs2010Självständigt arbete på avancerad nivå (magisterexamen), 15 poäng / 22,5 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Multi-Protocol Label Switching (MPLS) is a technique that can be used to improve the performance of a computer communication network. By use of MPLS, data packets can be switched on the basis of labels rather than routed on the basis of destination address. MPLS supports different features like QoS, traffic engineering and VPNs etc.

    This thesis evaluates the working and performance of MPLS and its support for Quality of Service. QoS is required in the network when real time traffic is transported.

    In this thesis it is described, how QoS guarantees are assigned to the IP packets and how MPLS QoS environment differs from the traditional IP routing environment. MPLS QoS works as the IP QoS, but MPLS QoS enhances the capability of network as compared to the IP QoS based network.

    The thesis studies the use of MPLS in an integrated environment with DiffServ QoS model and also implements MPLS QoS in a Lab environment to compare MPLS QoS with IP QoS. Real time traffic faces longer delays in IP QoS based networks. MPLS QoS reduces the delays in real time traffic transmission.

    The study results and the practical implementations show that MPLS QoS provide much better results than simple IP QoS.

  • 76.
    Inoue, Jun
    et al.
    National Institute of Advanced Industrial Science and Technology, Ikeda, Osaka, Japan.
    Taha, Walid
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Reasoning about multi-stage programs2016Ingår i: Journal of functional programming (Print), ISSN 0956-7968, E-ISSN 1469-7653, Vol. 26, artikel-id e22Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    We settle three basic questions that naturally arise when verifying code generators written in multi-stage functional programming languages. First, does adding staging to a language compromise any equalities that hold in the base language? Unfortunately it does, and more care is needed to reason about terms with free variables. Second, staging annotations, as the name "annotations" suggests, are often thought to be orthogonal to the behavior of a program, but when is this formally guaranteed to be true? We give termination conditions that characterize when this guarantee holds. Finally, do multi-stage languages satisfy useful, standard extensional properties, for example, that functions agreeing on all arguments are equivalent? We provide a sound and complete notion of applicative bisimulation, which establishes such properties or, in principle, any valid program equivalence. These results yield important insights into staging and allow us to prove the correctness of quite complicated multi-stage programs. © Cambridge University Press 2016.

  • 77.
    Jafari Moghadamfard, Ramtin
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Payvar, Saeid
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    The Potential of Visual Features: to Improve Voice Recognition Systems in Vehicles Noisy Environment2014Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Multimodal biometric systems have been subject of study in recent decades, theirunique characteristic of Anti spoofing and liveness detection plus ability to deal withaudio noise made them technology candidates for improving current systems such asvoice recognition, verification and identification systems.In this work we studied feasibility of incorporating audio-visual voice recognitionsystem for dealing with audio noise in the truck cab environment. Speech recognitionsystems suffer from excessive noise from the engine and road traffic and cars stereosystem. To deal with this noise different techniques including active and passive noisecancelling have been studied.Our results showed that although audio-only systems are performing better in noisefree environment their performance drops significantly by increase in the level of noisein truck cabins, which by contrast does not affect the performance of visual features.Final fused system comprising both visual and audio cues, proved to be superior toboth audio-only and video-only systems.

  • 78. James Emmanuel Roy, Muggalla
    et al.
    Garimella, Pradeep
    Evaluation of Parallel Programming Standards For  Embedded High Performance Computing2010Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    The aim of this project is to evaluate parallel programming standards for embedded high performance computing. There is a huge demand for high computational speed and performance in the present radar signal processing, so more processors are needed to get enough performance. One way of getting high performance is by dividing the work on multiple processors. At the same time, it has to get low communication overhead and good speedup. This has been done by using parallel computing languages such as OpenMP and MPI.We use these parallel programming languages on radar signal benchmark which is similar to many tasks in radar signal processing. For running OpenMP, a shared memory system SUNFIRE E2900 is used and for MPI, a SUNFIRE E2900, containing 8 nodes which uses SUN HPC cluster tools v5 is used. The OpenMP program shows pretty good speedup up to 5 processors, there after an increase in communication overhead is observed. MPI has shown low communication overhead at the beginning but got decreases when the numbers of processors were increased. Both OpenMP and MPI show similar aspects, at certain limit as the number of processors are increased there is decreasing trend in efficiency and increase in communication overhead. According to our results, OpenMP is a relatively easy to use program when compared to MPI. When using MPI it is up to the programmer to make explicit calls in order to parallelize.

  • 79.
    Johansson, Lars-Olof
    Växjö University.
    Visualization/graphical modeling as a supporting tool in organizational development activities: an action oriented approach2008Licentiatavhandling, sammanläggning (Övrigt vetenskapligt)
  • 80.
    Johnsson, Dennis
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Bengtsson, Jerker
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Svensson, Bertil
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Two-level Reconfigurable Architecture for High-Performance Signal Processing2004Ingår i: ERSA'04, The 2004 International Conference on Engineering of Reconfigurable Systems and Algorithms: The 2004 International MultiConference in Computer Science and Computer Engineering / [ed] Toomas P. Plaks, Arthens: CSREA Press, 2004, s. 177-183Konferensbidrag (Refereegranskat)
    Abstract [en]

    High speed signal processing is often performed as a pipeline of functions on streams or blocks of data. In order to obtain both flexibility and performance, parallel, reconfigurable array structures are suitable for such processing. The array topology can be used both on the micro and macro-levels, i.e. both when mapping a function on a fine-grained array structure and when mapping a set of functions on different nodes in a coarse-grained array. We outline an architecture on the macro-level as well as explore the use of an existing, commercial, word level reconfigurable architecture on the micro-level. We implement an FFT algorithm in order to determine how much of the available resources are needed for controlling the computations. Having no program memory and instruction sequencing available, a large fraction, 70%, of the used resources is used for controlling the computations, but this is still more efficient than having statically dedicated resources for control. Data can stream through the array at maximum I/O rate, while computing FFTs. The paper also shows how pipelining of the FFT algorithm over a two-level reconfigurable array of arrays can be done in various ways, depending on the application demands.

  • 81.
    Kaiabachev, Roumen
    et al.
    Rice University, Houston, TX, USA.
    Taha, Walid
    Rice University, Houston, TX, USA.
    Zhu, Angela
    Rice University, Houston, TX, USA.
    E-FRP with Priorities2007Ingår i: EMSOFT '07: Proceedings of the Seventh ACM and IEEE International Conference on Embedded Software / [ed] Christoph M Kirsch & Reinhard Wilhelm, New York, NY: ACM Press, 2007, s. 221-230Konferensbidrag (Övrigt vetenskapligt)
    Abstract [en]

    E-FRP is declarative language for programming resourcebounded,event-driven systems. The original high-level semanticsof E-FRP requires that each event handler executeatomically. This requirement facilitates reasoning about EFRPprograms, and therefore it is a desirable feature of thelanguage. But the original compilation strategy requiresthat each handler complete execution before another eventcan occur. This implementation choice treats all eventsequally, in that it forces the upper bound on the time neededto respond to any event to be the same. While this is acceptablefor many applications, it is often the case that someevents are more urgent than others.In this paper, we show that we can improve the compilationstrategy without altering the high-level semantics.With this new compilation strategy, we give the programmermore control over responsiveness without taking awaythe ability to reason about programs at a high level. Theprogrammer controls responsiveness by declaring prioritiesfor events, and the compilation strategy produces code thatuses preemption to enforce these priorities. We show thatthe compilation strategy enjoys the same properties as theoriginal strategy, with the only change being that the programmerreasons modulo permutations on the order of eventarrivals.

  • 82.
    Kalsyte, Zivile
    et al.
    Kaunas University of Technology, Kaunas, Lithuania.
    Verikas, Antanas
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Laboratoriet för intelligenta system. Kaunas University of Technology, Kaunas, Lithuania.
    Bacauskiene, Marija
    Kaunas University of Technology, Kaunas, Lithuania.
    Gelzinis, Adas
    Kaunas University of Technology, Kaunas, Lithuania.
    A novel approach to designing an adaptive committee applied to predicting company’s future performance2013Ingår i: Expert systems with applications, ISSN 0957-4174, E-ISSN 1873-6793, Vol. 40, nr 6, s. 2051-2057Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    This article presents an approach to designing an adaptive, data dependent, committee of models applied to prediction of several financial attributes for assessing company's future performance. Current liabilities/Current assets, Total liabilities/Total assets, Net income/Total assets, and Operating Income/Total liabilities are the attributes used in this paper. A self-organizing map (SOM) used for data mapping and analysis enables building committees, which are specific (committee size and aggregation weights) for each SOM node. The number of basic models aggregated into a committee and the aggregation weights depend on accuracy of basic models and their ability to generalize in the vicinity of the SOM node. A random forest is used a basic model in this study. The developed technique was tested on data concerning companies from ten sectors of the healthcare industry of the United States and compared with results obtained from averaging and weighted averaging committees. The proposed adaptivity of a committee size and aggregation weights led to a statistically significant increase in prediction accuracy if compared to other types of committees. © 2012 Elsevier Ltd. All rights reserved.

  • 83.
    Karresand, M.
    et al.
    Department of Information Security and Communication Technology, Norwegian University of Science and Technology, Gjovik, Norway.
    Axelsson, Stefan
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS).
    Dyrkolbotn, G. O.
    Department of Information Security and Communication Technology, Norwegian University of Science and Technology, Gjovik, Norway.
    Disk Cluster Allocation Behavior in Windows and NTFS2020Ingår i: Mobile Networks and Applications , ISSN 1383-469X, E-ISSN 1572-8153, Vol. 5, nr 1, s. 248-258Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    The allocation algorithm of a file system has a huge impact on almost all aspects of digital forensics, because it determines where data is placed on storage media. Yet there is only basic information available on the allocation algorithm of the currently most widely spread file system; NTFS. We have therefore studied the NTFS allocation algorithm and its behavior empirically. To do that we used two virtual machines running Windows 7 and 10 on NTFS formatted fixed size virtual hard disks, the first being 64 GiB and the latter 1 TiB in size. Files of different sizes were written to disk using two writing strategies and the $Bitmap files were manipulated to emulate file system fragmentation. Our results show that files written as one large block are allocated areas of decreasing size when the files are fragmented. The decrease in size is seen not only within files, but also between them. Hence a file having smaller fragments than another file is written after the file having larger fragments. We also found that a file written as a stream gets the opposite allocation behavior, i. e. its fragments are increasing in size as the file is written. The first allocated unit of a stream written file is always very small and hence easy to identify. The results of the experiment are of importance to the digital forensics field and will help improve the efficiency of for example file carving and timestamp verification. © 2019, The Author(s).

  • 84.
    Khamespanah, Ehsan
    et al.
    University of Tehran, School of Electrical and Computer Engineering, Tehran, Iran & Reykjavik University, School of Computer Science, Reykjavik, Island.
    Sirjani, Marjan
    Reykjavik University, School of Computer Science, Reykjavik, Island.
    Mousavi, Mohammad Reza
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Sabahi Kaviani, Zeynab
    University of Tehran, School of Electrical and Computer Engineering, Tehran, Iran.
    Razzazi, Mohammad Reza
    Amirkabir University of Technology, School of Computer Engineering and Information Technology, Tehran, Iran.
    State Distribution Policy for Distributed Model Checking of Actor Models2015Ingår i: Electronic Communications of the EASST, ISSN 1863-2122, E-ISSN 1863-2122, Vol. 72, s. 1-15Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Model checking temporal properties is often reduced to finding accepting cycles in Büchi automata. A key ingredient for an effective distributed model checking technique is a distribution policy that does not split the potential accepting cycles of the corresponding automaton among several nodes. In this paper, we introduce a distribution policy to reduce the number of split cycles. This policy is based on the call dependency graph, obtained from the message passing skeleton of the model. We prove theoretical results about the correspondence between the cycles of call dependency graph and the cycles of the concrete state space and provide empirical data obtained from applying our distribution policy in state space generation and reachability analysis. We take Rebeca, an imperative interpretation of actors, as our modeling language and implement the introduced policy in its distributed state space generator. Our technique can be applied to other message-driven actor-based models where concurrent objects or services are units of concurrency.

  • 85. Khan, Azhar Shabbir
    et al.
    Afzal, Bilal
    MPLS VPNs with DiffServ: A QoS Performance Study2011Självständigt arbete på avancerad nivå (magisterexamen), 15 poäng / 22,5 hpStudentuppsats (Examensarbete)
    Abstract [en]

    MPLS (Multiprotocol Label Switching) VPNs (Virtual private network) are new alternatives to private WANs (Wide area network). They are gaining popularity in industry day by day. Enterprise customers are moving to service providers that offer MPLS VPNs. The main reason for this shifting is the capability of MPLS VPN to provide built in security features and any-to-any connectivity. QoS (Quality of service) is the most important element for enterprise networks. Enterprise network have video, audio and data traffic over a single network infrastructure.In this thesis we will investigate QoS parameters (e.g. delay, jitter and packet loss) over MPLS VPNs environment. It will help the service providers and enterprise network customers to maintain QoS for voice, video and data traffic over MPLS VPNs environment.To achieve consistent end-to-end QoS, the service provider and the enterprise customer must work closely together and share the same policies to implement because service provider participates in customer routing in MPLS VPN environment. We will use the DiffServ (Differentiated services) QoS model over MPLS VPN network. We will use a six class model for service provider network and enterprise customer network to achieve end-to- end service quality.In the last part we will make tests of end-to-end traffic delay, jitter and packet loss. We will compare the results of delay, jitter and packet loss with and without the DiffServ QoS model in an MPLS VPNs environment. It will be clear in the results that without using DiffServ QoS model delay, jitter and packet loss are increasing as the traffic increases on the network. With a DiffServ enabled network, the increase of traffic over network will not affect delay, jitter and packet loss and provide constant level of service quality.

  • 86.
    Khoshkangini, Reza
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), CAISR Centrum för tillämpade intelligenta system (IS-lab).
    Pashami, Sepideh
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), CAISR Centrum för tillämpade intelligenta system (IS-lab).
    Nowaczyk, Sławomir
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), CAISR Centrum för tillämpade intelligenta system (IS-lab).
    Warranty Claim Rate Prediction using Logged Vehicle Data2019Ingår i: Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349, Vol. 11804, s. 663-674Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Early detection of anomalies, trends and emerging patterns can be exploited to reduce the number and severity of quality problems in vehicles. This is crucially important since having a good understanding of the quality of the product leads to better designs in the future, and better maintenance to solve the current issues. To this end, the integration of large amounts of data that are logged during the vehicle operation can be used to build the model of usage patterns for early prediction. In this study, we have developed a machine learning system for warranty claims by integrating available information sources: Logged Vehicle Data (LVD) and Warranty Claims (WCs). The experimental results obtained from a large data set of heavy duty trucks are used to demonstrate the effectiveness of the proposed system to predict the warranty claims. © Springer Nature Switzerland AG 2019.

  • 87.
    Khoshkangini, Reza
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), CAISR Centrum för tillämpade intelligenta system (IS-lab).
    Pini, M. S.
    Department of Information Engineering, University of Padova, Padua, Italy.
    Rossi, F.
    IBM T. J. Watson Research Center, Yorktown Heights, NY, United States.
    Constructing CP-Nets from Users Past Selection2019Ingår i: Lecture Notes in Computer Science: Volume 11919 LNAI, Springer, 2019, s. 130-142Konferensbidrag (Refereegranskat)
    Abstract [en]

    Although recommender systems have been significantly developed for providing customized services to users in various domains, they still have some limitations regarding the extraction of users’ conditional preferences from their past selections when they are in a dynamic context. We propose a framework to automatically extract and learn users’ conditional and qualitative preferences in a gamified system taking into consideration the players’ past behaviour, without asking any information from the players. To do that, we construct CP-nets modeling users preferences via a procedure that employs multiple Information Criterion score functions within an heuristic algorithm to learn a Bayesian network. The approach has been validated experimentally in the challenge recommendation domain in an urban mobility gamified system. © 2019, Springer Nature Switzerland AG.

  • 88.
    Kontrimas, Vilius
    et al.
    Department of Information Systems, Department of Applied Electronics, Kaunas University of Technology, Kaunas, Lithuania.
    Verikas, Antanas
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    The mass appraisal of the real estate by computational intelligence2011Ingår i: Applied Soft Computing, ISSN 1568-4946, E-ISSN 1872-9681, Vol. 11, nr 1, s. 443-448Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Mass appraisal is the systematic appraisal of groups of properties as of a given date using standardized procedures and statistical testing. Mass appraisal is commonly used to compute real estate tax. There are three traditional real estate valuation methods: the sales comparison approach, income approach, and the cost approach. Mass appraisal models are commonly based on the sales comparison approach. The ordinary least squares (OLS) linear regression is the classical method used to build models in this approach. The method is compared with computational intelligence approaches - support vector machine (SVM) regression, multilayer perceptron (MLP), and a committee of predictors in this paper. All the three predictors are used to build a weighted data-depended committee. A self-organizing map (SOM) generating clusters of value zones is used to obtain the data-dependent aggregation weights. The experimental investigations performed using data cordially provided by the Register center of Lithuania have shown very promising results. The performance of the computational intelligence-based techniques was considerably higher than that obtained using the official real estate models of the Register center. The performance of the committee using the weights based on zones obtained from the SOM was also higher than of that exploiting the real estate value zones provided by the Register center. (C) 2009 Elsevier B.V. All rights reserved

  • 89.
    Kunze, Sebastian
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Symbolic Characterisation of Commonalities in Testing Software Product Lines2016Ingår i: 2016 9TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), Piscataway, N.J.: IEEE , 2016, s. 387-388Konferensbidrag (Refereegranskat)
    Abstract [en]

    Validation and verification of Software Product Lines is particularly challenging due to the complex structure and interaction of commonalities and variabilities among products. There are several approaches to specify the structure of such commonalities and variabilities, such as the delta-oriented approach. Building upon such a structure, we propose an approach to avoid redundant analysis in Software Product Lines by extending them to semantic behavioural changes. To this end, we propose to use Differential Symbolic Execution, an automated technique for proving functional behavioural equivalence based on satisfiability modulo theories. Our proposal aims at identifying the behavioural commonalities of one software product relative to another and exploits them in order to establish an efficient model-based testing trajectory.

  • 90.
    Kunze, Sebastian
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Mostowski, Wojciech
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Mousavi, Mohammad Reza
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Varshosaz, Mahsa
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Generation of Failure Models through Automata Learning2016Ingår i: Proceedings: 2016 Workshop on Automotive Systems/Software Architectures, Los Alamitos: IEEE Computer Society, 2016, s. 22-25, artikel-id 7484118Konferensbidrag (Refereegranskat)
    Abstract [en]

    In the context of the AUTO-CAAS project that deals with model-based testing techniques applied in the automotive domain, we present the preliminary ideas and results of building generalised failure models for non-conformant software components. These models are a necessary building block for our upcoming efforts to detect and analyse failure causes in automotive software built with AUTOSAR components. Concretely, we discuss how to build these generalised failure models using automata learning techniques applied to a guided model-based testing procedure of a failing component. We illustrate our preliminary findings and experiments on a simple integer queue implemented in the C programming language. © 2016 IEEE.

  • 91.
    Kuttner, Filip
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Linderson, Eric
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Idoffsson, Martin
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    AutoKaddy: en självgående golfvagnSjälvständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Anders Sjöblom och Mats Larson är två golfspelare och ingår som beställare till detta projekt. De har kommit fram med ett koncept för en golfvagn som automatiskt följer användaren. Denne bär en kompakt GPS och Bluetooth enhet som kommunicerar med en mikroprocessor monterad på vagnen. Kommunikationen sker över Bluetooth och mikroprocessorn beräknar den optimala färdvägen utifrån insamlade GPS‐data och styr vagnens två motorer, en för varje hjul. Vagnen har även två knappar för styrning av funktionerna som systemet tillhandhåller. Dessa är AV/PÅ som stänger av/startar systemet, PAUS/FORTSÄTT som stannar vagnen när föraren vill röra sig fritt utan att logga sin position och vid Fortsätt börjar vagnen följa användaren igen. Själva vagnen finns redan som en färdig produkt, dock med begränsade möjligheter till styrning, den kan endast röra sig rakt fram. Det är kritiskt att vagnen följer samma väg som användaren, dvs. systemet skall inte försöka beräkna den snabbaste eller effektivaste vägen, eftersom det kan finnas hinder där.

  • 92.
    Kärral, Kenan
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    3D CAD API2013Självständigt arbete på grundnivå (högskoleexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
  • 93.
    Larsson, Marcus
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Metadata: En forensisk analys av Exif2013Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    I en bild tagen med en digitalkamera kan man återfinna mängder av information om bildens ursprung och inställningar i kameran, något som benämns som Exif3data. Detta är något som kan vara av absolut intresse vid forensiska undersökningar i syfte att knyta bevismaterial till en gärningsman. I detta arbete skall ett antal frågeställningar besvaras som kan vara aktuell för en IT3 forensiker, med avseende på bilder tagna med en smartphone. Kan man styrka att en specifik enhet har tagit en specifik bild? Hur tillförlitlig är den GPS3information som kan lagras i en bild? Genom experiment och granskningar av Exif3data, kommer detta arbete ge svar på dessa frågor. Arbetet kommer också ge exempel på verktyg för att tolka Exif3 informationen. Vidare kommer arbetet även ta upp huruvida den mobila applikationen WhatsApp! väljer att radera Exif3data vid överföring av bilder mellan smartphones.

  • 94.
    Lidström, Kristoffer
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Larsson, Tony
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    A Spatial QoS Requirements Specification for V2V Applications2010Ingår i: IEEE Intelligent Vehicles Symposium (IV), 2010, Piscataway, NJ.: IEEE Press, 2010, s. 548-553Konferensbidrag (Refereegranskat)
    Abstract [en]

    Vehicle-to-vehicle wireless communication is a key component of tomorrow's cooperative safety applications. However, the wireless link is susceptible to effects such as shadowing which can cause communication failures. Such failures may in turn lead to hazardous traffic situations when safety applications cease to function. By monitoring communication QoS and adapting to changes, effects of link failure may be mitigated, however this requires a specification of the application QoS requirements. In this paper we combine the T-Window reliability QoS metric with a spatial component, allowing us to capture the dependencies between VANET QoS requirements and road geometry. The proposed representation can be used both at design-time, to characterize applications, and at run-time for QoS monitoring and adaptation purposes.

  • 95.
    Lierler, Yuliya
    et al.
    University of Nebraska, Omaha, USA.
    Taha, WalidHögskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES). Rice University, Houston, USA.
    Practical Aspects of Declarative Languages: 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings2017Proceedings (redaktörskap) (Refereegranskat)
    Abstract [en]

    The proceedings contain 14 papers. The special focus in this conference is on Practical Aspects of Declarative Languages. The topics include: Eliminating irrelevant non determinism in functional logic programs; canonicalizing high-level constructs in picat; integrating answer set programming with object-oriented languages; extending answer set programs with interpreted functions as first-class citizens; lowering the learning curve for declarative programming; overlapping patterns for property-based testing; Boltzmann samplers for closed simply-typed lambda terms; selection equilibria of higher-order games; principles and prototype implementation; declarative programming of full-fledged musical applications; a domain-specific language for software-defined radio; a declarative DSL for customizing ASCII art and using iterative deepening for probabilistic logic inference. © Copyright 2017 Elsevier B.V., All rights reserved

  • 96.
    Lind, Christoffer
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Inbyggda system (CERES).
    Green, Jonas
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Inbyggda system (CERES).
    Ingvarsson, Thomas
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Inbyggda system (CERES).
    Movement sensor using image correlation on a multicore platform2012Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    The purpose of this study was to investigate the possibility to measure speed of a vehicle usingimage correlation. It was identified that a new solution of measuring the speed of a vehicle, astoday’s solution does not give the True Speed Over Ground, would open up possibilities of highprecision driving applications. It was also the intention to evaluate the performance of theproposed algorithm on a multicore platform. The study was commissioned by HalmstadUniversity.The investigation of image correlation as a method to measure speed of a vehicle was conductedby applying the proposed algorithm on a sequence of images. The result was compared toreference points in the image sequence to confirm the accuracy. The performance of the multicoreplatform was measured by counting the clock cycles it took to perform one measurement cycle ofthe algorithm.It was found out that using image correlation to measure speed has a positional accuracy of closeto a half percent. The results also revealed that one measurement cycle of the algorithm could beperformed in close to half a millisecond and the achieved parallel utilization of the multicoreplatform was close to eighty-seven percent.It was concluded that the algorithm performed well within the limit of acceptance. A conclusionabout the performance was that low execution time of a measurement cycle makes it possible toexecute the algorithm at a frequency of eighteen hundred Hertz. With a frequency that high, incombination with the camera settings proposed in the thesis, the algorithm would be able tomeasure speeds close to one thousand one hundred kilometers per hour.The authors recommend that future work should be focused on investigating the cameraparameters to be able to optimize both the memory and computational requirements of theapplication. It is also recommended to look closer at the algorithm and the possibilities ofdetecting transversal and angular changes as it would open up for other application areas,requiring more than just the speed.

  • 97.
    Lindskog, Jakob
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Gunnarsson, Robin
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Databearbetning på Ringhals2019Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Den nya generationens digitalisering har slagit rot i samhället. Algoritmer och datamodeller styr nyhetsflödet i social media, röststyr mobilen genom att tolka rösten och självstyr bilen, helt och hållet i autonoma fordon. Inom industrierna finns det också en pågående process där machine learning kan appliceras för att öka drifttillgänglighet och minska kostnader.

    Det nuvarande paradigmet för att underhålla icke-säkerhetsklassade maskiner i kärnkraftindustrin är en kombination av Avhjälpande Underhåll och Förebyggande Underhåll. Avhjälpande underhåll innebär att underhålla maskinen när fel inträffar, förebyggande underhåll innebär att underhålla med periodiska intervall. Båda sätten är kostsamma för att de riskerar att under- respektive över-underhålla maskinen och blir därmed resurskrävande. Ett paradigmskifte är på väg, det stavas Prediktivt Underhåll - att kunna förutspå fel innan de inträffar och  planera underhåll därefter.

    Den här rapporten utforskar möjligheten att använda sig av de neurala nätverken LSTM och GRU för att kunna prognostisera eventuella skador på maskiner. Det här baseras på mätdata och historiska fel på maskinen.

  • 98.
    Lopez-Rojas, Edgar
    et al.
    NTNU, Gjøvik, Norway.
    Axelsson, Stefan
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS).
    Baca, Dejan
    3M-Commerce, Ericsson AB, Karlskrona, Sweden.
    Analysis of fraud controls using the PaySim financial simulator2018Ingår i: International Journal of Simulation and Process Modelling, ISSN 1740-2123, E-ISSN 1740-2131, Vol. 13, nr 4, s. 377-386Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Fraud controls for financial transactions are needed and required by law enforcement agencies to flag suspicious criminal activity. These controls, however, require deeper analysis of the effectiveness and the negative impact for the legal customers. Owing to the intrinsically private nature of financial transactions, this analysis is often performed after several months of actively using fraud controls. In this paper, we present an analysis of different fraud prevention controls on a mobile money service based on thresholds using a simulator called PaySim. PaySim uses aggregated data from a sample dataset to generate a synthetic dataset that resembles the normal operation of transactions and injects malicious behaviour. With technology frameworks such as agent-based simulation techniques, and the application of mathematical statistics, we show in this paper that the simulated data can be as prudent as the original dataset for setting optimal controls for fraud detection.

  • 99.
    Lundström, Jens
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Intelligenta system (IS-lab).
    Verikas, Antanas
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Intelligenta system (IS-lab).
    Assessing print quality by machine in offset colour printing2013Ingår i: Knowledge-Based Systems, ISSN 0950-7051, E-ISSN 1872-7409, Vol. 37, s. 70-79Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Information processing steps in printing industry are highly automated, except the last one print quality assessment, which usually is a manual, tedious, and subjective procedure. This article presents a random forests-based technique for automatic print quality assessment based on objective values of several printquality attributes. Values of the attributes are obtained from soft sensors through data mining and colour image analysis. Experimental investigations have shown good correspondence between print quality evaluations obtained by the technique proposed and the average observer. (C) 2012 Elsevier B.V. All rights reserved.

  • 100.
    Lundström, Jens
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Intelligenta system (IS-lab).
    Verikas, Antanas
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Intelligenta system (IS-lab).
    Detecting Halftone Dots for Offset Print Quality Assessment Using Soft Computing2010Ingår i: 2010 IEEE International Conference on Fuzzy Systems (FUZZ), Piscataway, NJ: IEEE Press, 2010, s. 1145-1151Konferensbidrag (Refereegranskat)
    Abstract [en]

    Nowadays in printing industry most of information processing steps are highly automated, except the last one–print quality assessment and control. We present a way to assess one important aspect of print quality, namely the distortion of halftone dots printed colour pictures are made of. The problem is formulated as assessing the distortion of circles detected in microscale images of halftone dot areas. In this paper several known circle detection techniques are explored in terms of accuracy and robustness. We also present a new circle detection technique based on the fuzzy Hough transform (FHT) extended with k-means clustering for detecting positions of accumulator peaks and with an optional fine-tuning step implemented through unsupervised learning. Prior knowledge about the approximate positions and radii of the circles is utilized in the algorithm. Compared to FHT the proposed technique is shown to increase the estimation accuracy of the position and size of detected circles. The techniques are investigated using synthetic and natural images.

12345 51 - 100 av 203
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • 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