hh.sePublikationer
Ändra sökning
Avgränsa sökresultatet
1234567 1 - 50 av 3226
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.
  • 1.
    Abbas, Dalia
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Nanaa, Nashwa
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Sustainability Data Extraction System2024Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Sustainability reporting is essential for organizations to report their environmental, social, and governance (ESG) performance. However, extracting, and structuring data from sustainability reports can be challenging, leading to inefficiencies and inconsistencies. This project aims to develop an integrated system for sustainability reporting by leveraging artificial intelligence (AI) techniques, particularly natural language processing (NLP), to extract and structure data from sustainability reports. Utilizing the GPT-3 model by OpenAI, the system processes unstructured text from PDF reports into a structured format compliant with European Sustainability Reporting Standards (ESRS). The system efficiently and accurately extracted crucial sustainability information through a meticulously designed pipeline, including PDF parsing, text sanitizing, batching, parallel API requests, and postprocessing. The system’s effectiveness is evaluated using cosine similarity metrics, comparing model outputs with manually extracted data. The results demonstrate high alignment between the model outputs and manual extractions, validating the system’s performance. This project contributes to advancing sustainability reporting practices, providing organizations with a robust tool for transparent and standardized disclosure of ESG impacts.

    Ladda ner fulltext (pdf)
    fulltext
  • 2.
    Abdulrazzaq, Mohammed
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Wei, Yuan
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Industrial Control System (ICS) Network Asset Identification and Risk Management2018Självständigt arbete på avancerad nivå (magisterexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Setting against the significant background of Industrial 4.0, the Industrial Control System (ICS) accelerates and enriches the upgrade the existing production infrastructure. To make the infrastructures “smart”, huge parts of manual operations have been automated in this upgrade and more importantly, the isolated controlled processes have been connected through ICS. This has also raised the issues in asset management and security concerns. Being the starting point of securing the ICS, the asset identification is, nevertheless, first dealt by exploring the definition of assets in the ICS domain due to insufficient documentation and followed by the introduction of ICS constituents and their statuses in the whole network. When the definition is clear, a well-received categorization of assets in the ICS domain is introduced, while mapping out their important attributes and their significance relating the core of service they perform. To effectively tackle the ever-increasing amount of assets, identification approaches are compared and a case study was performed to test the effectiveness of two open source software. Apart from the identification part, this thesis describes a framework for efficient asset management from CRR. The four cyclic modules proposed give an overview on how the asset management should be managed according the dynamics of the assets in the production environment.

    Ladda ner fulltext (pdf)
    fulltext
  • 3.
    Abiri, Najmeh
    et al.
    Department of Astronomy and Theoretical Physics, Lund University, Lund, Sweden.
    Linse, Björn
    Department of Astronomy and Theoretical Physics, Lund University, Lund, Sweden.
    Edén, Patrik
    Department of Astronomy and Theoretical Physics, Lund University, Lund, Sweden.
    Ohlsson, Mattias
    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). Department of Astronomy and Theoretical Physics, Lund University, Lund, Sweden.
    Establishing strong imputation performance of a denoising autoencoder in a wide range of missing data problems2019Ingår i: Neurocomputing, ISSN 0925-2312, E-ISSN 1872-8286, Vol. 65, s. 137-146Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Dealing with missing data in data analysis is inevitable. Although powerful imputation methods that address this problem exist, there is still much room for improvement. In this study, we examined single imputation based on deep autoencoders, motivated by the apparent success of deep learning to efficiently extract useful dataset features. We have developed a consistent framework for both training and imputation. Moreover, we benchmarked the results against state-of-the-art imputation methods on different data sizes and characteristics. The work was not limited to the one-type variable dataset; we also imputed missing data with multi-type variables, e.g., a combination of binary, categorical, and continuous attributes. To evaluate the imputation methods, we randomly corrupted the complete data, with varying degrees of corruption, and then compared the imputed and original values. In all experiments, the developed autoencoder obtained the smallest error for all ranges of initial data corruption. © 2019 Elsevier B.V.

  • 4.
    Abolghsemi, Seyedhesam
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Chukwuneta, Chukwudalu
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Dark Web Forensics: An Investigation of Tor and I2P Artifacts on Windows 112024Självständigt arbete på avancerad nivå (magisterexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

    With the rising use of the Internet by businesses and individuals for their regular activities and transactions, there has been increased attention to user privacy and data security on the web. While the adoption of dark web networks has ensured that users' privacy and anonymity concerns are being addressed, there has also been a consequential increase in illicit activities on the internet. The dark web remains a critical area for law enforcement investigations, providing a platform for criminal activities to thrive unchecked. This study evaluates the digital traces deposited by dark web browsers on the client side of user devices, providing a deep insight into the security features of Tor and I2P and outlining the potential areas where digital artifacts can be retrieved on a Windows 11 computer. By detailing the forensic acquisition process and subsequent artifact analysis, this research aims to enhance the capabilities of digital forensic examiners in tracking and prosecuting cybercriminals, thereby contributing to the broader field of digital forensics and cybersecurity.

    Ladda ner fulltext (pdf)
    fulltext
  • 5.
    Abrahamsson, Ida
    et al.
    Högskolan i Halmstad, Sektionen för lärarutbildning (LUT).
    Wahlqvist, Teresia
    Högskolan i Halmstad, Sektionen för lärarutbildning (LUT).
    Vilket arbetssätt gynnar förmågan att kommunicera matematik?2012Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Ladda ner fulltext (pdf)
    Vilket arbetssätt gynnar förmågan att kommunicera matematik?
    Ladda ner fulltext (pdf)
    fulltext
  • 6.
    Abuella, Mohamed
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Atoui, M. Amine
    Högskolan i Halmstad, Akademin för informationsteknologi, Centrum för forskning om tillämpade intelligenta system (CAISR).
    Nowaczyk, Sławomir
    Högskolan i Halmstad, Akademin för informationsteknologi, Centrum för forskning om tillämpade intelligenta system (CAISR).
    Johansson, Simon
    Cetasol, Gothenburg, Sweden.
    Faghani, Ethan
    Cetasol, Gothenburg, Sweden.
    Spatial Clustering Approach for Vessel Path Identification2024Ingår i: IEEE Access, E-ISSN 2169-3536, Vol. 12, s. 66248-66258Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    This paper addresses the challenge of identifying the paths for vessels with operating routes of repetitive paths, partially repetitive paths, and new paths. We propose a spatial clustering approach for labeling the vessel paths by using only position information. We develop a path clustering framework employing two methods: a distance-based path modeling and a likelihood estimation method. The former enhances the accuracy of path clustering through the integration of unsupervised machine learning techniques, while the latter focuses on likelihood-based path modeling and introduces segmentation for a more detailed analysis. The result findings highlight the superior performance and efficiency of the developed approach, as both methods for clustering vessel paths into five clusters achieve a perfect F1-score. The approach aims to offer valuable insights for route planning, ultimately contributing to improving safety and efficiency in maritime transportation. © 2013 IEEE.

  • 7.
    Aceto, L.
    et al.
    School of Computer Science, Reykjavik University, Iceland.
    Birgisson, A.
    Department of Computer Science and Engineering, Chalmers University of Technology, Sweden.
    Ingolfsdottir, A.
    School of Computer Science, Reykjavik University, Iceland.
    Mousavi, Mohammad Reza
    Department of Computer Science, TU/Eindhoven, Eindhoven, Netherlands.
    Decompositional Reasoning about the History of Parallel Processes2011Ingår i: Fundamentals of software engineering: revised selected papers, Heidelberg: Springer Berlin/Heidelberg, 2011, Vol. 4171, s. 32-47Konferensbidrag (Refereegranskat)
    Abstract [en]

    This paper presents a decomposition technique for Hennessy-Milner logic with past and its extension with recursively defined formulae. In order to highlight the main ideas and technical tools, processes are described using a subset of CCS with parallel composition, nondeterministic choice, action prefixing and the inaction constant. The study focuses on developing decompositional reasoning techniques for parallel contexts in that language. © 2012 Springer-Verlag.

  • 8.
    Aceto, L.
    et al.
    School of Computer Science, Reykjavík University, Kringlan 1, 103 Reykjavík, Iceland.
    Fokkink, W. J.
    Department of Computer Science, Vrije Universiteit Amsterdam, 1081 HV Amsterdam, Netherlands.
    Ingólfsdóttir, A.
    School of Computer Science, Reykjavík University, Kringlan 1, 103 Reykjavík, Iceland.
    Mousavi, Mohammad Reza
    Department of Computer Science, Eindhoven University of Technology, 5600 MB Eindhoven, Netherlands.
    Lifting non-finite axiomatizability results to extensions of process algebras2010Ingår i: Acta Informatica, ISSN 0001-5903, E-ISSN 1432-0525, Vol. 47, nr 3, s. 147-177Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    This paper presents a general technique for obtaining new results pertaining to the non-finite axiomatizability of behavioural (pre)congruences over process algebras from old ones. The proposed technique is based on a variation on the classic idea of reduction mappings. In this setting, such reductions are translations between languages that preserve sound (in)equations and (in)equational provability over the source language, and reflect families of (in)equations responsible for the non-finite axiomatizability of the target language. The proposed technique is applied to obtain a number of new non-finite axiomatizability theorems in process algebra via reduction to Moller's celebrated non-finite axiomatizability result for CCS. The limitations of the reduction technique are also studied. In particular, it is shown that prebisimilarity is not finitely based over CCS with the divergent process Ω, but that this result cannot be proved by a reduction to the non-finite axiomatizability of CCS modulo bisimilarity. This negative result is the inspiration for the development of a sharpened reduction method that is powerful enough to show that prebisimilarity is not finitely based over CCS with the divergent process Ω. © 2010 Springer-Verlag.

  • 9.
    Aceto, Luca
    et al.
    ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS-101 Reykjavik, Iceland.
    Birgisson, Arnar
    Department of Computer Science and Engineering, Chalmers University of Technology, Sweden.
    Ingolfsdottir, Anna
    ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS-101 Reykjavik, Iceland.
    Mousavi, Mohammad Reza
    Department of Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, Netherlands.
    Reniers, Michel A.
    Department of Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, Netherlands.
    Rule Formats for Determinism and Idempotence2012Ingår i: Science of Computer Programming, ISSN 0167-6423, E-ISSN 1872-7964, Vol. 77, s. 889-907Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Determinism is a semantic property of (a fragment of) a language that specifies that a program cannot evolve operationally in several different ways. Idempotence is a property of binary composition operators requiring that the composition of two identical specifications or programs will result in a piece of specification or program that is equivalent to the original components. In this paper, we propose (related) meta-theorems for guaranteeing the determinism and idempotence of binary operators. These meta-theorems are formulated in terms of syntactic templates for operational semantics, called rule formats. In order to obtain a powerful rule format for idempotence, we make use of the determinism of certain transition relations in the definition of the format for idempotence. We show the applicability of our formats by applying them to various operational semantics from the literature. © 2010 Elsevier B.V. All rights reserved.

  • 10.
    Aceto, Luca
    et al.
    School of Computer Science, Reykjavik University, Iceland.
    Birgisson, Arnar
    School of Computer Science, Reykjavik University, Iceland & Department of Computer Science and Engineering, Chalmers University of Technology, Sweden.
    Ingólfsdóttir, Anna
    School of Computer Science, Reykjavik University, Iceland.
    Mousavi, Mohammad Reza
    Department of Computer Science, TU/Eindhoven, Eindhoven, Netherlands.
    Decompositional Reasoning about the History of Parallel Processes2010Rapport (Övrigt vetenskapligt)
    Abstract [en]

    Decompositional reasoning aims at automatically decomposing a global property of a composite system into local properties of (possibly unknown) components. In concurrency theory, decompositional reasoning techniques date back to the seminal work of Larsen and Liu in the late 1980s and early 1990s. However, we are not aware of any such decomposition technique that applies to reasoning about the "past". In this paper, we address this problem and present a decomposition technique for Hennessy-Milner logic with past and its extension with recursively defined formulae. As a language for processes, we use a subset of Milner's CCS with parallel composition, non-deterministic choice, action prefixing and the inaction constant. We focus on developing decompositional reasoning techniques for parallel contexts in that language.

  • 11.
    Aceto, Luca
    et al.
    ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS 101 Reykjavik, Iceland.
    Cimini, Matteo
    ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS 101 Reykjavik, Iceland.
    Ingolfsdottir, Anna
    ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS 101 Reykjavik, Iceland.
    Mousavi, Mohammad Reza
    Department of Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, Netherlands.
    Reniers, Michel A.
    Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, Netherlands.
    Rule Formats for Distributivity2012Ingår i: Theoretical Computer Science, ISSN 0304-3975, E-ISSN 1879-2294, Vol. 458, s. 1-28Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain binary operators are left distributive with respect to a set of binary operators. Examples of left-distributivity laws from the literature are shown to be instances of the provided formats. Some conditions ensuring the invalidity of the left-distributivity law are also offered. © 2012 Elsevier B.V. All rights reserved.

  • 12.
    Aceto, Luca
    et al.
    ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS 101 Reykjavik, Iceland.
    Cimini, Matteo
    ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS 101 Reykjavik, Iceland.
    Ingolfsdottir, Anna
    ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS 101 Reykjavik, Iceland.
    Mousavi, Mohammad Reza
    Department of Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, Netherlands.
    Reniers, Michel A.
    Department of Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, Netherlands.
    SOS Rule Formats for Zero and Unit Elements2011Ingår i: Theoretical Computer Science, ISSN 0304-3975, E-ISSN 1879-2294, Vol. 412, nr 28, s. 3045-3071Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain constants act as left or right unit/zero elements for a set of binary operators. Examples of left and right zero, as well as unit, elements from the literature are shown to fit the rule formats offered in this study. © 2011 Elsevier B.V. All rights reserved.

  • 13.
    Aceto, Luca
    et al.
    ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland.
    Cimini, Matteo
    ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland.
    Ingólfsdóttir, Anna
    ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland.
    Mousavi, Mohammad Reza
    Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands.
    Reniers, Michael A.
    Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands.
    On Rule Formats for Zero and Unit Elements2010Rapport (Övrigt vetenskapligt)
    Abstract [en]

    This paper proposes a rule format for Structural Operational Semantics guaranteeing that certain constants act as left or right zero elements for a set of binary operators. Our design approach is also applied to reformulate an earlier rule format for unit elements developed by some of the authors. Examples of left and right zero, as well as unit, elements from the literature are shown to be checkable using the provided formats.

  • 14.
    Aceto, Luca
    et al.
    ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland.
    Cimini, Matteo
    ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland.
    Ingólfsdóttir, Anna
    ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland.
    Mousavi, Mohammad Reza
    Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands.
    Reniers, Michael A.
    Department of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands.
    Rule Formats for Distributivity2010Rapport (Övrigt vetenskapligt)
    Abstract [en]

    This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain binary operators are left distributive with respect to a set of binary operators. Examples of left-distributivity laws from the literature are shown to be instances of the provided formats.

  • 15.
    Aceto, Luca
    et al.
    School of Computer Science, Reykjavik University, Iceland.
    Cimini, Matteo
    School of Computer Science, Reykjavik University, Iceland.
    Ingólfsdóttir, Anna
    School of Computer Science, Reykjavik University, Iceland.
    Mousavi, Mohammad Reza
    Department of Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, Netherlands.
    Reniers, Michel A.
    Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, Netherlands.
    Rule Formats for Distributivity2011Ingår i: Language and Automata Theory and Applications: 5th International Conference : Proceedings / [ed] Adrian Horia Dediu, Heidelberg: Springer Berlin/Heidelberg, 2011, Vol. 6638, s. 79-90Konferensbidrag (Refereegranskat)
    Abstract [en]

    This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain binary operators are left distributive with respect to a set of binary operators. Examples of left-distributivity laws from the literature are shown to be instances of the provided formats. © 2011 Springer-Verlag.

  • 16.
    Aceto, Luca
    et al.
    Reykjavík University, Kringlan 1, IS-103, Reykjavík, Iceland.
    Fokkink, Wan
    Vrije Universiteit Amsterdam, NL-1081HV, The Netherlands.
    Ingólfsdóttir, Anna
    Reykjavík University, Kringlan 1, IS-103, Reykjavík, Iceland.
    Mousavi, Mohammad Reza
    Eindhoven University of Technology, NL-5600MB Eindhoven, The Netherlands.
    Lifting non-finite axiomatizability results to extensions of process algebras2008Ingår i: Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008 / [ed] Ausiello, G, Karhumaki, J, Mauri, G, Ong, L, New York: Springer-Verlag New York, 2008, Vol. 273, s. 301-316Konferensbidrag (Refereegranskat)
    Abstract [en]

    This paper presents a general technique for obtaining new results pertaining to the non-finite axiomatizability of behavioral semantics over process algebras from old ones. The proposed technique is based on a variation on the classic idea of reduction mappings. In this setting, such reductions are translations between languages that preserve sound (in)equations and (in)equational proofs over the source language, and reflect families of (in)equations responsible for the non-finite axiomatizability of the target language. The proposed technique is applied to obtain a number of new non-finite axiomatizability theorems in process algebra via reduction to Moller’s celebrated non-finite axiomatizability result for CCS. The limitations of the reduction technique are also studied.

  • 17.
    Aceto, Luca
    et al.
    ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland.
    Fokkink, Wan J.
    Department of Computer Science, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands.
    Ingólfsdóttir, Anna
    ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland.
    Mousavi, Mohammad Reza
    Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands.
    Lifting non-finite axiomatizability results to extensions of process algebras2008Rapport (Övrigt vetenskapligt)
  • 18.
    Aceto, Luca
    et al.
    ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland.
    Goriac, Eugen-Ioan
    ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland.
    Ingolfsdottir, Anna
    ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland.
    Mousavi, Mohammad Reza
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).
    Reniers, Michel A.
    Department of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands.
    Exploiting Algebraic Laws to Improve Mechanized Axiomatizations2013Ingår i: Algebra and Coalgebra in Computer Science: 5th International Conference, Calco 2013, Warsaw, Poland, September 2013, Proceedings, Berlin: Springer Berlin/Heidelberg, 2013, s. 36-50Konferensbidrag (Refereegranskat)
    Abstract [en]

    In the field of structural operational semantics (SOS), there have been several proposals both for syntactic rule formats guaranteeing the validity of algebraic laws, and for algorithms for automatically generating ground-complete axiomatizations. However, there has been no synergy between these two types of results. This paper takes the first steps in marrying these two areas of research in the meta-theory of SOS and shows that taking algebraic laws into account in the mechanical generation of axiomatizations results in simpler axiomatizations. The proposed theory is applied to a paradigmatic example from the literature, showing that, in this case, the generated axiomatization coincides with a classic hand-crafted one. © 2013 Springer-Verlag Berlin Heidelberg.

    Ladda ner fulltext (pdf)
    fulltext
  • 19.
    Aceto, Luca
    et al.
    School of Computer Science, Reykjavík University, Kringlan 1, 103 Reykjavík, Iceland.
    Ingólfsdóttir, A.
    School of Computer Science, Reykjavík University, Kringlan 1, 103 Reykjavík, Iceland.
    Mousavi, Mohammad Reza
    Department of Computer Science, Eindhoven University of Technology, 5600 MB Eindhoven, Netherlands.
    Reniers, M. A.
    Algebraic properties for free!2009Ingår i: Bulletin of the European Association for Theoretical Computer Science, ISSN 0252-9742, Vol. 99, s. 81-103Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Algebraic properties specify some natural properties of programming and specification constructs. This paper provides an overview of techniques to guarantee or generate algebraic properties of language constructs by investigating the syntactic shape of the deduction rules defining their operational semantics.

  • 20.
    Aceto, Luca
    et al.
    Department of Computer Science, Reykjavík University, Kringlan 1, IS-103, Reykjavík, Iceland.
    Ingólfsdóttir, Anna
    Department of Computer Science, Reykjavík University, Kringlan 1, IS-103, Reykjavík, Iceland.
    Mousavi, Mohammad Reza
    Department of Computer Science, Reykjavík University, Kringlan 1, IS-103, Reykjavík, Iceland.
    Impossibility results for the equational theory of timed CCS2007Ingår i: Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings, Berlin: Springer Berlin/Heidelberg, 2007, Vol. 4624, s. 80-95Konferensbidrag (Refereegranskat)
    Abstract [en]

    We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR'90. Common to Wang Yi's paper, we particularly focus on a class of linearly-ordered time domains exemplified by the positive real or rational numbers. We show that, even when the set of basic actions is a singleton, there are parallel Timed CCS processes that do not have any sequential equivalent and thus improve on the Gap Theorem for Timed CCS presented by Godskesen and Larsen in FSTTCS'92. Furthermore, we show that timed bisimilarity is not finitely based both for single-sorted and two-sorted presentations of Timed CCS. We further strengthen this result by showing that, unlike in some other process algebras, adding the untimed or the timed left-merge operator to the syntax and semantics of Timed CCS does not solve the axiomatizability problem.

  • 21.
    Aceto, Luca
    et al.
    ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland.
    Ingólfsdóttir, Anna
    ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland.
    Mousavi, Mohammad Reza
    Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands.
    Reniers, Michel A.
    Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands.
    A Rule Format for Unit Elements2009Rapport (Övrigt vetenskapligt)
    Abstract [en]

    This paper offers a meta-theorem for languages with a Structural Operational Semantics (SOS) in the style of Plotkin. Namely, it proposes a generic rule format for SOS guaranteeing that certain constants act as left- or right-unit elements for a set of binary operators. We show the generality of our format by applying it to a wide range of operators from the literature on process calculi.

  • 22.
    Aceto, Luca
    et al.
    ICE-TCS, School of Computer Science, Reykjavik University Kringlan 1, IS-103 Reykjavik, Iceland.
    Ingólfsdóttir, Anna
    ICE-TCS, School of Computer Science, Reykjavik University Kringlan 1, IS-103 Reykjavik, Iceland.
    Mousavi, Mohammad Reza
    Department of Computer Science, Eindhoven University of Technology P.O. Box 513, NL-5600 MB Ei ndhoven, The Netherlands.
    Reniers, Michel A.
    Department of Computer Science, Eindhoven University of Technology P.O. Box 513, NL-5600 MB Ei ndhoven, The Netherlands.
    A rule format for unit elements2010Ingår i: SOFSEM 2010: Theory and Practice of Computer Science: Proceedings / [ed] VanLeeuwen, J, Muscholl, A, Peleg, D, Pokorny, J, Rumpe, B, Berlin: Springer Berlin/Heidelberg, 2010, Vol. 5901, s. 141-152Konferensbidrag (Refereegranskat)
    Abstract [en]

    This paper offers a meta-theorem for languages with a Structural Operational Semantics (SOS) in the style of Plotkin. Namely, it proposes a generic rule format for SOS guaranteeing that certain constants act as left- or right-unit elements for a set of binary operators. We show the generality of our format by applying it to a wide range of operators from the literature on process calculi.

  • 23.
    Aceto, Luca
    et al.
    Reykjavik University, Reykjavik, Iceland.
    Mousavi, Mohammad RezaEindhoven University of Technology, Eindhoven, The Netherlands.
    Proceedings First International Workshop on Process Algebra and Coordination2011Proceedings (redaktörskap) (Övrigt vetenskapligt)
    Abstract [en]

    Process algebra provides abstract and rigorous means for studying communicating concurrent systems. Coordination languages also provide abstract means for the specifying and programming communication of components. Hence, the two fields seem to have very much in common and the link between these two research areas have been established formally by means of several translations, mainly from coordination languages to process algebras. There have also been proposals of process algebras whose communication policy is inspired by the one underlying coordination languages. The aim of this workshop was to push the state of the art in the study of the connections between process algebra and coordination languages by bringing together experts as well as young researchers from the two fields to communicate their ideas and findings. It includes both contributed and invited papers that have been presented during the one day meeting on Process Algebra and Coordination (PACO 2011) which took place on June 9, 2011 in Reykjavik, Iceland.

  • 24.
    Adam, Rania E.
    et al.
    Department of Sciences and Technology, Linköping University, Norrköping, Sweden.
    Chalangar, Ebrahim
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS). Högskolan i Halmstad, Akademin för företagande, innovation och hållbarhet, Rydberglaboratoriet för tillämpad naturvetenskap (RLAS). Department of Sciences and Technology, Linköping University, Norrköping, Sweden.
    Pirhashemi, Mahsa
    Department of Chemistry, Faculty of Sciences, University of Mohaghegh Ardabili, Ardabil, Iran.
    Pozina, Galia
    Department of Physics, Chemistry, and Biology (IFM), Linköping University, Linköping, Sweden.
    Liu, Xianjie
    Department of Physics, Chemistry, and Biology (IFM), Linköping University, Linköping, Sweden.
    Palisaitis, Justinas
    Department of Physics, Chemistry, and Biology (IFM), Linköping University, Linköping, Sweden.
    Pettersson, Håkan
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS). Department of Sciences and Technology, Linköping University, Norrköping, Sweden & Solid State Physics and NanoLund, Lund University, Lund, Sweden.
    Willander, Magnus
    Department of Sciences and Technology, Linköping University, Norrköping, Sweden.
    Nur, Omer
    Department of Sciences and Technology, Linköping University, Norrköping, Sweden.
    Graphene-based plasmonic nanocomposites for highly enhanced solar-driven photocatalytic activities2019Ingår i: RSC Advances, E-ISSN 2046-2069, Vol. 9, nr 52, s. 30585-30598Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    High-efficiency photocatalysts are crucial for the removal of organic pollutants and environmental sustainability. In the present work, we report on a new low-temperature hydrothermal chemical method, assisted by ultrasonication, to synthesize disruptive plasmonic ZnO/graphene/Ag/AgI nanocomposites for solar-driven photocatalysis. The plasmonic nanocomposites were investigated by a wide range of characterization techniques, confirming successful formation of photocatalysts with excellent degradation efficiency. Using Congo red as a model dye molecule, our experimental results demonstrated a photocatalytic reactivity exceeding 90% efficiency after one hour simulated solar irradiation. The significantly enhanced degradation efficiency is attributed to improved electronic properties of the nanocomposites by hybridization of the graphene and to the addition of Ag/AgI which generates a strong surface plasmon resonance effect in the metallic silver further improving the photocatalytic activity and stability under solar irradiation. Scavenger experiments suggest that superoxide and hydroxyl radicals are responsible for the photodegradation of Congo red. Our findings are important for the fundamental understanding of the photocatalytic mechanism of ZnO/graphene/Ag/AgI nanocomposites and can lead to further development of novel efficient photocatalyst materials. © 2019 Elsevier B.V.

  • 25.
    Aderklint, Denice
    Högskolan i Halmstad, Akademin för ekonomi, teknik och naturvetenskap.
    Legal Support for a Resilient Stormwater Management: Review of Swedish Regulations and Objectives2017Självständigt arbete på avancerad nivå (magisterexamen), 40 poäng / 60 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Sustainability entails a system that has the capacity to sustain itself. Stormwater management is one part of the concept sustainable development but traditional practices entail adverse effects on social-ecological systems and there is a need for increasing the resilience of urban stormwater systems.  The growing pressure from climate change and intensified urbanization increase the need for stormwater management. If poorly managed the security and functioning of societies will be negatively affected. Regulations are essential in the achievement of sustainable urban environments. However, national regulations concerning stormwater management are spread through different legal frameworks from different times and it has been recognized that the spread could challenge implementation of the regulations and climate change adaptation. Administrative instruments are important to support the social, economic and ecological value of green and blue structures. The thesis target to analyze relevant regulations and investigate their effectiveness for a sustainable stormwater management through combined interpretation methods based on the intention behind the law and their function in society. The thesis claims that consequences of poorly regulated sustainable stormwater management results in an inefficient use of resources and pose a risk for the environment. Sustainable development is not visible in any article in the Law on General Water Services and it therefore risk to be overlooked in practice. The issues of urban stormwater need to be more integrated in the municipal work and planning processes.

    The analysis reveals that there is support for resilient stormwater management when there is a combination of up-to date research and an objective teleological interpretation. As the shift towards sustainable urban environments entails several aspects, the use of administrative instruments is one important strategy in ensuring urban resilience.

    Ladda ner fulltext (pdf)
    fulltext
  • 26.
    Adnan Abdu, Jihad
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Lundström, Philip
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Water Quality Device: Testing Through Electronic Measurements2023Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Vatten är grunden till allt liv, men tyvärr blir vattenkvaliteten bara sämre på grund av många faktorer som överanvändning, förorening, likgiltighet och till och med av naturen själv. Genom att identifiera problemet är vi ett steg närmare att lösa problemet, och detta är därför en intelligent vattenkvalitetsenhet behövs för att undersöka vattnet och hitta orenheter i det. I detta projekt utvecklar vi en apparat som använder en helt ny metod för att mäta vattenkvaliteten. Även om teorin bakom apparaten är väldigt avancerad så är apparaten fortfarande primitiv i sina funktioner och behöver utveckling för att öka användbarheten och noggrannheten i mätningarna!

    Ladda ner fulltext (pdf)
    fulltext
  • 27.
    Adriansson, Emma
    et al.
    Högskolan i Halmstad, Akademin för ekonomi, teknik och naturvetenskap, Bio- och miljösystemforskning (BLESS), Miljövetenskap.
    Turesson, Linnéa
    Högskolan i Halmstad, Akademin för ekonomi, teknik och naturvetenskap, Bio- och miljösystemforskning (BLESS), Miljövetenskap.
    Klimatanalys av avloppsreningsverk: Analyser av två av Laholmsbuktens VA:s avloppsreningsverk med förslag på förbättringsåtgärder2016Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

    The intensified greenhouse effect is the biggest cause for a negative climate change. Global warming is a result of enhanced greenhouse effect and poses a potential threat for humans and its surrounding environment that can result in disastrous consequences. The rise in temperature is driven by increased human activity whereas the leading cause for emissions of greenhouse gases is the combustion of fossil fuels. The prominent source of emissions is from the following sectors: transport, industrial and energy. The task of reducing the emissions of greenhouse gases is both globally and internationally prioritized. Progress has been made although every potential source for emissions has to be investigated in order to reduce the total climate impact. Based on scientific research, wastewater treatment plants are also a contributing factor to the greenhouse effect by emissions of gases. This bachelor’s thesis is investigating two wastewater treatment plants and identifying which processes contribute to the climate impact. The climate impact is calculated with an Excel-based analyzing tool and the results show the Carbon Footprints for the treatment plants. The purpose of this paper is to present result acquired from the treatment plants and identify the processes that have the biggest impact on our climate. Afterwards, solutions derived from the analysis of results will be suggested to improve and bring additional help to the treatment plants with their climate work. In conclusion, it is determined that the treatment plants both have net emissions of greenhouse gases. The biggest contributor is the wastewater treatment and the use of biogas. Results from analysis show that some of the assumptions on emissions made in the tool make the initial results doubtful. Therefore, further research is needed on this subject in order to produce more reliable facts.

    Ladda ner fulltext (pdf)
    fulltext
  • 28.
    Aerts, Arend
    et al.
    Control Systems Technology Group, Eindhoven University of Technology, Eindhoven, The Netherlands.
    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).
    Reniers, Michel A.
    Control Systems Technology Group, Eindhoven University of Technology, Eindhoven, The Netherlands.
    A Tool Prototype for Model-Based Testing of Cyber-Physical Systems2015Ingår i: Theoretical Aspects of Computing – ICTAC 2015: 12th International Colloquium Cali, Colombia, October 29–31, 2015, Proceedings / [ed] Martin Leucker, Camilo Rueda, and Frank D. Valencia, Cham: Springer, 2015, Vol. 9399, s. 563-572Konferensbidrag (Refereegranskat)
    Abstract [en]

    We report on a tool prototype for model-based testing of cyber-physical systems. Our starting point is a hybrid-system model specified in a domain-specific language called Acumen. Our prototype tool is implemented in Matlab and covers three stages of model-based testing, namely, test-case generation, test-case execution, and conformance analysis. We have applied our implementation to a number of typical examples of cyber-physical systems in order to analyze its applicability. In this paper, we report on the result of applying the prototype tool on a DC-DC boost converter. © Springer International Publishing Switzerland 2015

  • 29.
    Aerts, Arend
    et al.
    Eindhoven University of Technology, Eindhoven, The Netherlands.
    Reniers, Michel A.
    Eindhoven University of Technology, Eindhoven, The Netherlands.
    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).
    Model-Based Testing of Cyber-Physical Systems2016Ingår i: Cyber-Physical Systems: Foundations, Principles and Applications / [ed] H. Song, D.B. Rawat, S. Jeschke, and Ch. Brecher, Saint Louis: Elsevier, 2016, s. 287-304Kapitel i bok, del av antologi (Refereegranskat)
    Abstract [en]

    Cyber-physical systems (CPSs) are the result of the integration of connected computer systems with the physical world. They feature complex interactions that go beyond traditional communication schemes and protocols in computer systems. One distinguished feature of such complex interactions is the tight coupling between discrete and continuous interactions, captured by hybrid system models.

    Due to the complexity of CPSs, providing rigorous and model-based analysis methods and tools for verifying correctness of such systems is of the utmost importance. Model-based testing (MBT) is one such verification technique that can be used for checking the conformance of an implementation of a system to its specification (model).

    In this chapter, we first review the main concepts and techniques in MBT. Subsequently, we review the most common modeling formalisms for CPSs, with focus on hybrid system models. Subsequently, we provide a brief overview of conformance relations and conformance testing techniques for CPSs. © 2017 Elsevier Inc. All rights reserved.

  • 30.
    Afram, Abboud
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Sarab Fard Sabet, Danial
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Exploring State-of-the-Art Machine Learning Methods for Quantifying Exercise-induced Muscle Fatigue2023Självständigt arbete på avancerad nivå (yrkesexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Muscle fatigue is a severe problem for elite athletes, and this is due

    to the long resting times, which can vary. Various mechanisms can

    cause muscle fatigue which signifies that the specific muscle has

    reached its maximum force and cannot continue the task. This thesis

    was about surveying and exploring state-of-the-art methods and

    systematically, theoretically, and practically testing the applicability

    and performance of more recent machine learning methods on an existing

    EMG to muscle fatigue pipeline. Several challenges within the

    EMG domain exist, such as inadequate data, finding the most suitable

    model, and how they should be addressed to achieve reliable

    prediction. This required approaches for addressing these problems

    by combining and comparing various state-of-the-art methodologies,

    such as data augmentation techniques for upsampling, spectrogram

    methods for signal processing, and transfer learning to gain a reliable

    prediction by various pre-trained CNN models.

    The approach during this study was to conduct seven experiments

    consisting of a classification task that aims to predict muscle fatigue

    in various stages. These stages are divided into 7 classes from 0-6, and

    higher classes represent a fatigued muscle. In the tabular part of the

    experiments, the Decision Tree, Random Forest, and Support Vector

    Machine (SVM) were trained, and the accuracy was determined. A

    similar approach was made for the spectrogram part, where the signals

    were converted to spectrogram images, and with a combination

    of traditional- and intelligent data augmentation techniques, such as

    noise and DCGAN, the limited dataset was increased. A comparison

    between the performance of AlexNet, VGG16, DenseNet, and InceptionV3

    pre-trained CNN models was made to predict differences in

    jump heights.

    The result was evaluated by implementing baseline classifiers on

    tabular data and pre-trained CNN model classifiers for CWT and

    STFT spectrograms with and without data augmentation. The evaluation

    of various state-of-the-art methodologies for a classification

    problem showed that DenseNet and VGG16 gave a reliable accuracy

    of 89.8 % on intelligent data augmented CWT images.

    The intelligent data augmentation applied on CWT images allows

    the pre-trained CNN models to learn features that can generalize unseen

    data. Proving that the combination of state-of-the-art methods

    can be introduced and address the challenges within the EMG domain.

    Ladda ner fulltext (pdf)
    fulltext
  • 31.
    Afrim, Cerimi
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Norén, Joakim
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE).
    Motåtgärder vid IT-forensisk liveanalys2011Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Liveanalys är ett begrepp som i detta arbete innebär att man undersöker ett datorsystem under tiden det är igång. Detta kan göras av flera skäl, t.ex. när det är risk för att kryptering finns på systemet vilket kan aktiveras när det stängs ner. Annars är det vanligt om man vill undersöka nätverkskopplingar, aktiva processer eller andra företeelser som kan vara volatila, dvs. försvinner när systemet stängs ner. Detta arbete kommer att ha fokus på motåtgärder vid forensisk liveanalys och redogöra för olika metoder och strategier som kan användas för dessa motåtgärder. Vi har bland annat skrivit ett program som automatiskt stänger ner systemet när man sätter i ett USB-minne eller annan media. Dessa media är oftast de man har sina forensiska program på när man ska göra en liveanalys. Andra viktiga element i arbetet är användning av kryptering, tidstämplar och sabotagekod för att försvåra liveanalysen. Vår analys i ämnet visar att det är relativt enkelt att förhindra att en liveanalys kan utföras på ett tillförlitligt sätt.

    Ladda ner fulltext (pdf)
    fulltext
  • 32.
    Agelis, Sacki
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Reconfigurable Optical Interconnection Networks for High-Performance Embedded2005Licentiatavhandling, sammanläggning (Övrigt vetenskapligt)
    Abstract [en]

    In embedded computer and communication system the capacity demand for interconnection networks is increasing continuously in order to achieve high-performance systems. Recent breakthroughs show that by using reconfigurability inside a single chip substantial performance gains can be added. However, in this thesis the focus is on system level reconfigurability (between chips or modules) and the performance gains that potentially can be achieved by having support for runtime reconfigurability on the system level.This thesis addresses the field of runtime system level reconfigurability with the use of optics in switches and routers for data- and telecommunications, and in multi-processor systems used for embedded signal processing. Several reconfigurable systems for switching and routing with support to adapt for asymmetric traffic patterns are proposed and compared to identify how design choices affect flexibility, performance etc. The proposed solutions are characterized by their multistage optical interconnection networks with reconfigurable shuffle patterns, where the reconfigurability is provided by micro-optical-electrical mechanical systems. More specifically, application-specific bottlenecks can be resolved by reconfiguring the interconnection network according to the current application demands. The benefits of the architectural solutions are confirmed by simulations that clearly show that the architectures can achieve high performance for both symmetric application characteristics and for several classes of asymmetric application characteristics. The final architectural solution is characterized by electronic packet-switches interconnected through an optical backplane, which is reconfigurable. Moreover, the thesis presents how several signal processing applications can be mapped to run concurrently in a time-shared scheme on a single reconfigurable multi-processor system that has high flexibility to adapt for the application currently at hand. The interconnection network is then adapted (reconfigured) according to the demands of the currently executed application in each time instance. The analysis shows that it is feasible to build such a system with today’s components.

  • 33.
    Agelis, Sacki
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS).
    Jacobsson, Sofia
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS).
    Jonsson, Magnus
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS).
    Alping, Arne
    Ericsson Microwave Systems, Mölndal, Sweden.
    Ligander, Per
    Ericsson Microwave Systems, Mölndal, Sweden.
    Modular interconnection system for optical PCB and backplane communication2002Ingår i: Parallel and Distributed Processing Symposium., Proceedings International, IPDPS 2002, Abstracts and CD-ROM, Los Alamitos, Calif.: IEEE Press, 2002, s. 245-250Konferensbidrag (Refereegranskat)
    Abstract [en]

    This paper presents a way of building modular systems with a powerful optical interconnection network. Each module, placed on a Printed Circuit Board (PCB), has a generic optical communication interface with a simple electronic router. Together with optical switching using micro-electromechanical system (MEMS) technology, packet switching over reconfigurable topologies is possible. The interconnection system gives the possibility to integrate electronics with optics without changing existing PCB technology. Great interest from industry is therefore expected and the cost advantages are several: reuse of module designs, module upgrades without changing the PCB, low-cost conventional PCB technology, etc. In the version described in this paper, the interconnection system has 48 bidirectional optical channels for intra-PCB communication on each board. For inter-PCB communication, a backplane with 192 bidirectional optical channels supports communication between twelve PCBs. With 2.5 Gbit/s per optical channel in each direction, the aggregated intra-PCB bit rate is 120 Gbit/s full duplex (on each PCB) while the aggregated inter-PCB bit rate is 480 Gbit/s full duplex. A case study shows the feasibility of the interconnection system in a parallel processing system for radar signal processing.

    Ladda ner fulltext (pdf)
    FULLTEXT01
  • 34.
    Agelis, Sacki
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Jonsson, Magnus
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Optoelectronic router with a reconfigurable shuffle network based on micro-optoelectromechanical systems2004Ingår i: Journal of Optical Networking, ISSN 1536-5379, Vol. 4, nr 1, s. 1-10Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    An optoelectronic router with a shuffle exchange network is presented and enhanced by the addition of micro-optoelectromechanical systems (MOEMS) in the network to add the ability to reconfigure the shuffle network. The MOEMS described here are fully connected any-to-any crossbar switches. The added reconfigurability provides the opportunity to adapt the system to different common application characteristics. Two representative application models are described: The first has symmetric properties, and the second has asymmetric properties. The router system is simulated with the specified applications and an analysis of the results is carried out. By use of MOEMS in the optical network, and thus reconfigurability, greater than 50% increased throughput performance and decreased average packet delay are obtained for the given application. Network congestion is avoided throughout the system if reconfigurability is used.

    Ladda ner fulltext (pdf)
    fulltext
  • 35.
    Agelis, Sacki
    et al.
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Jonsson, Magnus
    Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS).
    Optoelectronic router with MOEMS–based reconfigurable shuffle network2004Konferensbidrag (Refereegranskat)
  • 36.
    Aghaeipour, Mahtab
    Lund University, Lund, Sweden.
    Tailoring the Optical Response of III-V Nanowire Arrays2017Doktorsavhandling, sammanläggning (Övrigt vetenskapligt)
    Abstract [en]

    Semiconductor nanowires show a great deal of promise for applications in a wide range of important fields, including photovoltaics, biomedicine, and information technology. Developing these exciting applications is strongly dependent on understanding the fundamental properties of nanowires, such as their optical resonances and absorption spectra. In this thesis we explore optical absorption spectra of arrays of vertical III-V nanowires with a special emphasis on structures optimized to enhance absorption in the solar spectrum. First, we analyze experimentally determined absorption spectra of both indium phosphide (InP) and gallium phosphide (GaP) nanowire arrays. The study provides an intuitive understanding of how the observed absorption resonances in the nanowires may be tuned as a function of their geometrical parameters and crystal structure. As a consequence, the spectral position of absorption resonances can be precisely controlled through the nanowire diameter. However, the results highlight how the blue-shift in the optical absorption resonances as the diameter of the nanowires decreases comes to a halt at low diameters. The stop point is related to the behavior of the refractive indices of the nanowires. The wavelength of the stop is different for nanowire polytypes of similar dimensions due to differences in their refractive indices. We then present a theoretical argument that it is important to consider symmetry properties when tailoring the optical modes excited in the nanowires for enhanced absorption. We show that absorption spectra may be enhanced compared to vertical nanowires at normal incidence by tilting the nanowires with normal incidence light, or by using off-normal incidence with vertical nanowires. This is because additional optical modes inside the nanowires are excited when the symmetry is broken. Looking forward to omnidirectional applications, we consider branched nanowires as a way to enhance the absorption spectra at normal incidence by taking advantage of simultaneous excitation of the spectrally different optical modes in the branches and the stems. Third, we describe in theoretical terms how integrating distributed Bragg reflectors (DBRs) with the nanowires can improve absorption spectra compared to conventional nanowires. DBRs provide a way to employ light trapping mechanisms which increases the optical path length of the excited modes and thereby improves the absorption of the excited modes. At normal incidence, DBR-nanowires improve the absorption efficiency to 78%, compared to 72% for conventional nanowires. We show that the efficiency is increased to 85% for an off-normal incident angle of 50˚. Overall, our results show that studies of optical resonances in nanowires that take the light-matter interaction into account provide opportunities to develop novel optical and optoelectronic functionalities in nanoscience and nanotechnology.

  • 37.
    Aghaeipour, Mahtab
    et al.
    Lund University, Lund, Sweden.
    Pettersson, Håkan
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Tillämpad matematik och fysik (MPE-lab). Lund University, Lund, Sweden.
    Enhanced broadband absorption in nanowire arrays with integrated Bragg reflectors2018Ingår i: Nanophotonics, E-ISSN 2192-8614, Vol. 7, nr 5, s. 819-825Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    A near-unity unselective absorption spectrum is desirable for high-performance photovoltaics. Nanowire arrays are promising candidates for efficient solar cells due to nanophotonic absorption resonances in the solar spectrum. The absorption spectra, however, display undesired dips between the resonance peaks. To achieve improved unselective broadband absorption, we propose to enclose distributed Bragg reflectors (DBRs) in the bottom and top parts of indium phosphide (InP) nanowires, respectively. We theoretically show that by enclosing only two periods of In0.56Ga0.44As/InPDBRs, an unselective 78% absorption efficiency (72% for nanowires without DBRs)is obtained at normal incidence in the spectral range from 300 nm to 920 nm. Under oblique light incidence, the absorption efficiency is enhanced up to about 85% at an incidence angle of 50º. By increasing the number of DBR periods from two to five, the absorption efficiency is further enhanced up to 95% at normal incidence. In this work we calculated optical spectra for InP nanowires, but the results are expected to be valid for other direct band gap III-V semiconductor materials. We believe that our proposed idea of integrating DBRs in nanowires offers great potential for high-performance photovoltaic applications. ©2018 Håkan Pettersson et al., published by De Gruyter, Berlin/Boston.

    Ladda ner fulltext (pdf)
    fulltext
  • 38.
    Aghaeipour, Mahtab
    et al.
    Solid State Physics and NanoLund, Lund University, Lund, Sweden.
    Pettersson, Håkan
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS).
    Enhanced optical absorption in nanowires over a desire range of wavelengths2017Ingår i: MOC2017 : technical digest of the Twenty-Second Microoptics Conference: November 19-22, 2017, Institute of Industrial Science, The University of Tokyo, Japan, IEEE, 2017, Vol. 2017-November, s. 360-361Konferensbidrag (Refereegranskat)
    Abstract [en]

    Engineering optical absorption in nanowires, over a desire range of wavelengths is of importance to design high-performance nanowire-based photovoltaics. To this end, we integrate the nanowires with distributed Bragg reflectors to enhance absorption spectra of the nanowires and relate the consequent enhancement to increasing the optical path lengths of the modes. © 2017 The Japan Society of Applied Physics.

  • 39.
    Aghaeipour, Mahtab
    et al.
    Lund University, Lund, Sweden.
    Pistol, Mats-Erik
    Lund University, Lund, Sweden.
    Pettersson, Håkan
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS). Lund University, Lund, Sweden.
    Comparative study of absorption efficiency of inclined and vertical InP nanowires2017Ingår i: Physics, Simulation, and Photonic Engineering of Photovoltaic Devices VI / [ed] A. Freundlich, L. Lombez, M. Sugiyama, Bellingham, WA: SPIE - International Society for Optical Engineering, 2017, Vol. 10099, artikel-id UNSP 100990SKonferensbidrag (Refereegranskat)
    Abstract [en]

    Geometrically designed III-V nanowire arrays are promising candidates for optoelectronics due to their possibility to excite nanophotonic resonances in absorption spectra. Strong absorption resonances can be obtained by proper tailoring of nanowire diameter, length and pitch. Such enhancement of the light absorption is, however, accompanied by undesired resonance dips at specific wavelengths. In this work, we theoretically show that tilting of the nanowires mitigates the absorption dips by exciting strong Mie resonances. In particular, we derive a theoretical optimum inclination angle of about 30 degrees at which the inclined nanowires gain 8% in absorption efficiency compared to vertically standing nanowires in a spectral region matching the intensity distribution of the sun. The enhancement is due to engineering the excited modes inside the nanowires regarding the symmetry properties of the nanowire/light system without increasing the absorbing material. We expect our results to be important for nanowire-based photovoltaic applications. © 2017 SPIE.

  • 40.
    Aghaeipour, Mahtab
    et al.
    Solid State Physics and NanoLund, Lund University, Lund, Sweden.
    Pistol, Mats-Erik
    Solid State Physics and NanoLund, Lund University, Lund, Sweden.
    Pettersson, Håkan
    Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS). Solid State Physics and NanoLund, Lund University, Lund, Sweden.
    Considering Symmetry Properties of InP Nanowire/Light Incidence Systems to Gain Broadband Absorption2017Ingår i: IEEE Photonics Journal, E-ISSN 1943-0655, Vol. 9, nr 3, artikel-id 4501310Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Geometrically designed III-V nanowire arrays are promising candidates for disruptive optoelectronics due to the possibility of obtaining a strongly enhanced absorption resulting from nanophotonic resonance effects. With normally incident light on such vertical nanowire arrays, the absorption spectra exhibit peaks that originate from excitation of HE1m waveguide modes in the constituent nanowires. However, the absorption spectra typically show dips between the absorption peaks. Conventionally, such weak absorption has been counteracted by either making the nanowires longer or by decreasing the pitch of the array, both alternatives effectively increasing the volume of absorbing material in the array. Here, we first study two approaches for compensating the absorption dips by exciting additional Mie resonances: 1) oblique light incidence on vertical InP nanowire arrays and 2) normal light incidence on inclined InP nanowire arrays. We then show that branched nanowires offer a novel route to achieve broadband absorption by taking advantage of simultaneous excitations of Mie resonances in the branches and guided HE1m modes in the stem. Finite element method calculations show that the absorption efficiency is enhanced from 0.72 for vertical nanowires to 0.78 for branched nanowires under normal light incidence. Our work provides new insight for the development of novel efficient photovoltaics with high efficiency and reduced active material volume.

  • 41.
    Aguilera, Anabella
    et al.
    Linnaeus University, Kalmar, Sweden.
    Alegria Zufia, Javier
    Linnaeus University, Kalmar, Sweden.
    Bas Conn, Laura
    Linnaeus University, Kalmar, Sweden.
    Gurlit, Leandra
    Linnaeus University, Kalmar, Sweden.
    Śliwińska-Wilczewska, Sylwia
    Mount Allison University, Sackville, Canada; University of Gdańsk, Gdańsk, Poland.
    Budzałek, Gracjana
    University of Gdańsk, Gdańsk, Poland.
    Lundin, Daniel
    Linnaeus University, Kalmar, Sweden.
    Pinhassi, Jarone
    Linnaeus University, Kalmar, Sweden.
    Legrand, Catherine
    Högskolan i Halmstad, Akademin för företagande, innovation och hållbarhet. Linnaeus University, Kalmar, Sweden.
    Farnelid, Hanna
    Linnaeus University, Kalmar, Sweden.
    Ecophysiological analysis reveals distinct environmental preferences in closely related Baltic Sea picocyanobacteria2023Ingår i: Environmental Microbiology, ISSN 1462-2912, E-ISSN 1462-2920, Vol. 25, nr 9, s. 1674-1695Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Cluster 5 picocyanobacteria significantly contribute to primary productivity in aquatic ecosystems. Estuarine populations are highly diverse and consist of many co-occurring strains, but their physiology remains largely understudied. In this study, we characterized 17 novel estuarine picocyanobacterial strains. Phylogenetic analysis of the 16S rRNA and pigment genes (cpcB and cpeBA) uncovered multiple estuarine and freshwater-related clusters and pigment types. Assays with five representative strains (three phycocyanin rich and two phycoerythrin rich) under temperature (10–30°C), light (10–190 μmol photons m−2 s−1), and salinity (2–14 PSU) gradients revealed distinct growth optima and tolerance, indicating that genetic variability was accompanied by physiological diversity. Adaptability to environmental conditions was associated with differential pigment content and photosynthetic performance. Amplicon sequence variants at a coastal and an offshore station linked population dynamics with phylogenetic clusters, supporting that strains isolated in this study represent key ecotypes within the Baltic Sea picocyanobacterial community. The functional diversity found within strains with the same pigment type suggests that understanding estuarine picocyanobacterial ecology requires analysis beyond the phycocyanin and phycoerythrin divide. This new knowledge of the environmental preferences in estuarine picocyanobacteria is important for understanding and evaluating productivity in current and future ecosystems. © 2023 The Authors. Environmental Microbiology published by Applied Microbiology International and John Wiley & Sons Ltd.

  • 42.
    Ahl, Johanna
    Högskolan i Halmstad.
    Förebygga okontrollerade skogsbränder genom ett skogsbruk med fokus på boreal skogsekologi2020Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Ladda ner fulltext (pdf)
    fulltext
  • 43.
    Ahl, Josefin
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Djurklou, Julia
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Ransomware-hotet mot svenska sjukhus: – en intervju- och litteraturstudie2021Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Statistik visar att ransomware har ökat lavinartat de senaste åren, inte minst under den rådande Covid-19-pandemin. Cyberkriminella har kommit att utnyttja sjukhus runt om i världen som redan är överbelastade med att ta hand om patienter svårt sjuka i Covid-19.

    I denna uppsats undersöks det hur de svenska sjukhusen upplever och hanterar det ökade hotet av ransomware. Den utgörs av en litteraturstudie och några djupintervjuer. Litteraturstudien görs för att utforska fenomenet ransomware och ta reda på varför ransomware är en framgångsrik metod för kriminella att använda vid utpressning. Syftet är även att undersöka hur svenska sjukhus förhåller sig till att hälso- och sjukvårdssektorn har blivit attraktiva mål för cyberangrepp. I intervjustudien undersöks sjukhusens IT-säkerhet för att kartlägga om de är tillräckligt motståndskraftiga mot ransomware-angrepp. Intervjusvaren diskuteras och analyseras mot bakgrund av litteraturen. Slutsatsen av denna analys ligger till grund för åtgärdsförslag.

    Resultatet visar att sjukhusen/regionerna som tillfrågats har en bra IT-säkerhet. De mest centrala säkerhetsmekanismerna för verksamheterna är deras backup- och återställningsrutiner i kampen mot ransomware. Diskussionen i arbetet sammanfogar resultatet från både litteraturstudien och intervjustudien som genomförts. Utifrån diskussionen dras sedan slutsatsen att regionerna som tillfrågats har bra säkerhet och uppfyller de flesta av rekommendationer som publicerats av svenska myndigheter. Inte desto mindre resulterar studien i några uppslag till förbättringar i säkerhetsrutiner.

    Ladda ner fulltext (pdf)
    fulltext
  • 44.
    Ahl, Madeleine
    et al.
    Högskolan i Halmstad, Akademin för lärande, humaniora och samhälle.
    Lundgren, Anton
    Högskolan i Halmstad, Akademin för lärande, humaniora och samhälle.
    Diskussionens kraft: En kvalitativ studie angående hur elever stöttar varandra i gruppsamtal kring naturvetenskapliga fenomen2017Självständigt arbete på grundnivå (yrkesexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Enligt forskning utgör det naturvetenskapliga språket och dess begrepp en betydande del av naturvetenskaplig utbildning, och samtidigt konstateras att det naturvetenskapliga språket och dess begrepp är det största hindret för elevers naturvetenskapliga lärande. Flera forskare hävdar att för att elever skall kunna utveckla begreppsförståelse måste eleverna socialisera med människor som har mer utvecklad språklig kunskap, och då framför allt genom samtal och diskussion av frågor och problem som berör den naturvetenskapliga diskursen. Samtidigt visar forskning att lärande inte per automatik är ett resultat av arbete och samtal i grupp, utan att de sociala och kunskapsmässiga förutsättningarna i grupper är av vikt för hur givande ett gruppsamtal blir.

    Enligt Skolverket skall elever ges möjligheter att samtala och kommunicera samt utveckla sin förmåga att arbeta tillsammans med andra. Därför väcks nyfikenhet kring hur detta gemensamma arbete fortlöper, och om eleverna samarbetar i gruppsamtal. Hur stöttar elever i årskurs 4 och 6 varandra i sina lärandeprocesser i samtal kring frågor om fysikaliska fenomen inom arbetsområdet krafter? Resultatet av denna studie visar att elevers stöttning av varandra sker på ett flertal olika sätt, samt att stöttningen är av betydelse för samtalets utfall och hur givande samtalet blir. Tillsammans kan elever konstruera kunskap kring fenomen och begrepp, om eleverna klarar av att samarbeta och stötta varandra i sina lärandeprocesser. 

    Ladda ner fulltext (pdf)
    fulltext
  • 45.
    Ahl, Madeleine
    et al.
    Högskolan i Halmstad, Akademin för lärande, humaniora och samhälle.
    Lundgren, Anton
    Högskolan i Halmstad, Akademin för lärande, humaniora och samhälle.
    Hur kan en regndroppe vara sur? Den har väl inga känslor?: En litteraturstudie om hur elevers språk och begreppsförståelse i de naturvetenskapliga ämnena kan utvecklas2017Självständigt arbete på grundnivå (högskoleexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    En viktig del av att lära naturvetenskap är att lära sig kommunicera naturvetenskap. Användandet av begrepp i de naturvetenskapliga ämnena förekommer i stor utsträckning, vilket har visat sig hämma elevers utveckling inom dessa ämnen. Ändå slår Skolverket fast att elever skall kunna använda sig av begrepp i den naturvetenskapliga klassrumskommunikationen, och således undersöks i denna litteraturstudie hur arbete med naturvetenskaplig begreppsförståelse kan te sig; vad sägs i den nationella och internationella naturvetenskapsdidaktiska forskningen? Synliggörs arbetsmoment i vilka eleverna får möjlighet att utveckla sin begreppsförståelse? Forskning pekar på vikten av att samtala, och att samtalet skall löpa som en röd tråd genom naturvetenskapliga arbetsmoment, såsom laborationer, där naturvetenskapliga fenomen konkretiseras och synliggörs. Lärarens roll i samtalet är tydlig: den ska syfta till att guida elever genom naturvetenskapens komplexitet och tvetydiga ordförråd genom vardagsnära samtalsämnen, och i förlängningen främja elevers förståelse av och utveckling inom de naturvetenskapliga ämnena.

    Ladda ner fulltext (pdf)
    fulltext
  • 46.
    Ahlefeldt-Laurvig, Felicia
    Högskolan i Halmstad, Akademin för ekonomi, teknik och naturvetenskap.
    The impact of eutrophic discharge on invertebrate abundance in Fucus communities2015Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Övergödning kan påverka marina samhällen genom att artsammansättningen av makroalger och marina evertebrater ändras till följd av förhöjda närsalter, bland annat genom att vissa arter tenderar att öka i förekomst. Syftet med denna studie var att undersöka om artsammansättningen av marina evertebrater förändrades i relation till avståndet från ett utsläpp från en bäck med förhöjda närsaltkoncentrationer. Studien utfördes i ett område med klippiga stränder och Fucus vesiculosus som den dominerande algen och inkluderade även mynningen av den övergödda bäcken Kvarnabäcken. Förekomst av makroalger och evertebrater undersöktes i åtta lokaler (en opåverkad referenslokal inkluderad) längs kusten på varierande avstånd från bäcken. Koncentrationerna av totalkväve och totalfosfor mättes i de marina lokalerna och i bäcken. Trots att Kvarnabäcken visade höga halter av närsalter, visade inte resultatet någon tydlig näringsgradient från bäcken, medan det fanns en antydan till förändrad förekomst av evertebrater och alger i lokalerna. Lokalen närmast utsläppet skiljde sig något från övriga, vilket kan indikera att den direkta påverkan av näringstillförsel kan vara begränsat. Därtill är det viktigt att understryka att även om skillnader i förekomst av evertebrater och alger i lokalerna kan bero på närsalter från bäcken måste övriga faktorer tas hänsyn till vid undersökningar av marina samhällen.  

    Ladda ner fulltext (pdf)
    fulltext
  • 47.
    Ahlin, Catharina
    et al.
    Högskolan i Halmstad, Sektionen för lärarutbildning (LUT).
    Nilsson, Zandra
    Högskolan i Halmstad, Sektionen för lärarutbildning (LUT).
    "Hur tänker du?": en studie om elevers variation av lösningsstrategier inom det pre-algebraiska området2012Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Detta är en empirisk studie som har syftat till att synliggöra vilka strategier elever i årskurs två har använt när de löst öppna utsagor samt vilka missuppfattningar som förekommit i samband med detta. Studien har även syftat till att synliggöra hur eleverna har kunnat relatera öppna utsagor till vardagliga sammanhang. Vid datainsamlingen, som utfördes på två olika skolor, genomfördes 15 kvalitativa intervjuer vilka kombinerades med observationer.

    Eftersom det i uppsatsens syfte finns en underförstådd relation till fenomenografin och hermeneutiken i form av såväl teorier som metodologier har dessa forskningsansatser varit en stor inspirationskälla i vår undersökning. Vidare har vi genom vår studie visat att de strategier som elever använder när de löser slutna utsagor till stora delar även används när eleverna löser uppgifter i form av öppna utsagor. Resultatet har visat på en bred variation i elevernas lösningsstrategier och det framgår att eleverna, vid deras lösningar av öppna subtraktionsutsagor, knappt använder de tre vanligaste subtraktionsstrategierna. Istället använder de bland annat en strategi som ger upphov till flera missuppfattningar. Det visade sig även att samtliga elever hade svårt att relatera öppna utsagor till vardagliga sammanhang.

    Ladda ner fulltext (pdf)
    fulltext
  • 48.
    Ahlman, Adam
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Taylor, Adam
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Dataset characteristics effect on time series forecasting: comparison of statistical and deep learning models2023Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Tidsserier är punkter av data mätt under samma tidsintervall. De presenteraregenskaper så som nivå, brus, trend, säsongsvariation och avvikare.Tidsserieprognoser syftar till att försöka förutsäga ett eller fleranästkommande värden. Det har betydande relevans inom flera områden,inklusive, men inte begränsat till, sjukvård, ekonomi och väderprognoser. Dethar nyligen fått mer uppmärksamhet på grund av COVID-19 pandemin vilketbelyste vikten av att förutsäga och hantera kriser. Två metoder förförutspåendet är antingen genom statistiska- eller djupinlärningsmodeller ochdebatten om vilken modell som är bäst är ännu ofullständig. Huvudsyftet meddenna uppsatts var att klargöra för- och nackdelar med de tvåtillvägagångsätten, med avseende på både enstegs- och flerstegprognoser.Studien gick ut på att undersöka fyra modeller, två från varje metod, ochtillämpa dessa på datauppsättningar av varierande egenskaper. Modellernasberäkningstid mättes och deras prediktionsprecision utvärderades med hjälpav vanligen använda mått, som till exempel Root Mean Square Error.Resultaten jämfördes med datasetens egenskaper för att identifiera eventuellasamband. Analysen visade att djupinlärningsmodellerna i allmänhetproducerade noggrannare prognoser med nackdel av att de krävde merprocessorkraft och beräkningstid. I kontrast var de statistiska metodernamarginellt snabbare men de gav mindre exakta svar. Vidare visade det sig atttrend var den egenskapen som hade störst inverkan på prognosprecisionen.Koden och datauppsättningarna publicerades på:https://github.com/Adam20Taylor/BScThesis.

    Ladda ner fulltext (pdf)
    fulltext
  • 49.
    Ahlqvist Nilsson, Petra
    et al.
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Svensson Tynkkynen, Carolin
    Högskolan i Halmstad, Akademin för informationsteknologi.
    Förslag på design av digitala knuffar för vägledning2019Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Allt fler beslut tas i samband med skärmar, bland annat på grund av den ständigt växande e-handeln. När människor tar beslut påverkas de av hur valmiljön är utformad samt av heuristikeroch fördomar, vilka är mentala genvägar. Människor influeras av heuristiker och fördomar dådet ofta är svårt för dem att ta beslut som grundas på all information som presenteras. Knuffarär ett sätt att vägleda människor till att göra specifika val utan att sätta begränsningar för derasfrihet och har företrädesvis använts i icke-digitala kontexter, men har nu även introduceratsinom informatik. För att knuffar ska kunna utvecklas och användas digitalt är det dock viktigtmed kunskap om hur människor gör val samt om den påverkan knuffar har. Även tidigareforskning om digitala knuffar efterfrågar studier om hur digitala knuffar kan designas och omderas påverkan på människors val online. Då knuffar är ett relativt nytt begrepp inom informatik, och att fler studier om ämnetefterfrågas, undersöker denna studie hur digitala knuffar kan designas för att vägledamänniskor till hållbara val på nätet. Studien utfördes med en designorienterad forskningsansatsdär digitala knuffar designades utifrån fyra olika heuristiker och fördomar. Knuffarnaapplicerades sedan på en e-handelssida och testades med hjälp av en prototyp. Processen fördesign och utvärdering av de digitala knuffarna itererades fyra eller fem gånger för attexplorativt testa olika sätt att designa knuffarna på relaterat till forskningsfrågan. Studien bidrarmed ett antal förslag för hur digitala knuffar kan designas utifrån heuristiker och fördomar medfokus på vägledning och hållbarhet.

    Ladda ner fulltext (pdf)
    fulltext
  • 50.
    Ahlstrand, Roland
    Högskolan i Halmstad, Sektionen för ekonomi och teknik (SET), Centrum för innovations-, entreprenörskaps- och lärandeforskning (CIEL), Regionalt lärande och ledarskap (RELL).
    Social responsibility in connection with business closures: A study of closures of Ericsson Telecom facilities in Norrköping and Linköping2010Ingår i: Economic and Industrial Democracy, ISSN 0143-831X, E-ISSN 1461-7099, Vol. 31, nr 4, s. 537-555Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    The present article analyses why and how Ericsson Telecom assumeda greater responsibility than was legally required when it dismissedmore than 23,000 employees in Sweden at the beginning of the21st century. The analysis starts from neoinstitutional theoryand is based on case studies of the company’s closuresin Norrköping and Linköping. The article focuses,in particular, on the interaction between Ericsson, the tradeunions, the County Administrative Board, the County Labour Board,the Public Employment Service, the Swedish Employment SecurityCouncil, the government and the respective municipalities. Itis shown that the greater responsibility taken by Ericsson wasbased on its desire to maintain legitimacy by taking into considerationprevailing societal expectations regarding the company’sbehaviour.

1234567 1 - 50 av 3226
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