liu.seSök publikationer i DiVA
Ändra sökning
Avgränsa sökresultatet
1234567 1 - 50 av 8903
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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.
    Aarnio, Linus
    Linköpings universitet, Institutionen för datavetenskap.
    Confidence in Release Candidates: Maintaining confidence levels when moving from traditional release management to continuous delivery2022Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    When shortening release cycles and moving towards continuous delivery, a different approach for quality assurance may be needed than in traditional release management. To allow the transition, all stakeholders must retain a sense of confidence in the quality of release candidates. This thesis proposes a definition for confidence consisting of 30 confidence factors to take into account to ensure confidence from all stakeholders. Confidence factors have been found through interviews with 11 stakeholders, analyzed and categorized using grounded theory analysis. The found factors are grouped into two main categories: Process and Verification Results.

    The thesis additionally contains a literature review of quality measurements and explores how confidence can be expressed in a continuous delivery pipeline. It is found that it is not possible to comprehensively express confidence only with metrics displayable in a pipeline when including only currently well-researched metrics, but with the combination of processes known to be followed in the organization some metrics provide coverage for many of the confidence factors.

    Ladda ner fulltext (pdf)
    thesis_aarnio_2022
  • 2.
    Aaro, Gustav
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska fakulteten.
    Roos, Daniel
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska fakulteten.
    Carlsson, Niklas
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska fakulteten.
    Toolset for Run-time Dataset Collection of Deep-scene Information2020Ingår i: Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), Springer, 2020, s. 224-236Konferensbidrag (Refereegranskat)
    Abstract [en]

    Virtual reality (VR) provides many exciting new application opportunities, but also present new challenges. In contrast to 360° videos that only allow a user to select its viewing direction, in fully immersive VR, users can also move around and interact with objects in the virtual world. To most effectively deliver such services it is therefore important to understand how users move around in relation to such objects. In this paper, we present a methodology and software tool for generating run-time datasets capturing a user’s interactions with such 3D environments, evaluate and compare different object identification methods that we implement within the tool, and use datasets collected with the tool to demonstrate example uses. The tool was developed in Unity, easily integrates with existing Unity applications through the use of periodic calls that extracts information about the environment using different ray-casting methods. The software tool and example datasets are made available with this paper. 

  • 3.
    Aasheim, Fanny
    et al.
    Linköpings universitet, Institutionen för teknik och naturvetenskap, Medie- och Informationsteknik. Linköpings universitet, Tekniska högskolan.
    Gestsson, Linnea
    Linköpings universitet, Institutionen för teknik och naturvetenskap, Medie- och Informationsteknik. Linköpings universitet, Tekniska högskolan.
    Det spelar ingen roll hur du gör det - bara du gör det: Hur ett koncept kan utformas för att uppmana till motion utan att bidra till hälsohets2020Självständigt arbete på grundnivå (kandidatexamen), 10,5 poäng / 16 hpStudentuppsats (Examensarbete)
    Ladda ner fulltext (pdf)
    fulltext
  • 4.
    Abadir Guirgis, Georg
    Linköpings universitet, Institutionen för datavetenskap.
    Lärarperspektiv på riskutbildningen för motorcyklister2011Självständigt arbete på grundnivå (kandidatexamen), 12 poäng / 18 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Under det senaste decenniet har det i Sverige blivit allt populärare att åka motorcykel. Enobligatorisk riskutbildning för behörighet A och A1 infördes från och med den 1 november2009. Då riskutbildningen är ny har få utvärderingar gjorts.Denna studie utvärderar riskutbildningen för motorcyklister utifrån trafikskolläraresperspektiv. Målet har varit att sammanställa synpunkter och erfarenheter från lärarna påutbildningen. Ett ytterligare mål har varit att undersöka trafikskollärarnas upplevda effekter avutbildningen på elevers trafikbeteende. Sex semistrukturerade intervjuer med trafikskolläraresamt en observationsstudie på olika trafikskolor genomfördes. Utöver detta genomfördesdeltagande observation av en fortbildning där 15 trafikskollärare deltog. Resultatet frånstudien visar att lärarna anser att behovet av riskutbildningen är stort och attimplementationen av den nya riskutbildningen gått bra. Förutom att elever efter utbildningenrefererar till den, vilket enligt lärarna indikerar att de tagit till sig vad som sagts, märks det nui större utsträckning än tidigare att elever kör lugnare och tänker sig mer för i vissasituationer. Detta påtalades vara ett klart önskvärt resultat.

    Ladda ner fulltext (pdf)
    Lärarperspektiv på riskutbildningen för motorcyklister
  • 5.
    Abadir Guirgis, Georg
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Filosofiska fakulteten.
    Mindre energi och rätt tid: Utvärdering av utbildning och träning för lokförare i energieffektiv körning – en simulatorstudie2013Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Under 1980-talet introducerades den första tågsimulatorn i svensk lokförarutbildning. Denna simulator är fortfarande den enda fullskalesimulator som används för att utbilda lokförare i Sverige. En anledning till att det inte finns fler tycks vara att det bl.a. saknas pedagogiska och ekonomiska motiv för en utvidgad användning av simulatorer i undervisning och träning. Energibesparingar inom spårtrafik dvs. att köra tåg energieffektivt är idag mycket aktuellt hos alla tågoperatörer i Sverige. Vissa operatörer utbildar redan sina förare teoretiskt i energieffektiv körning och tester av energieffektiv körning i verklig trafik har visat på en möjlig besparing om 16 % energi efter det att lokförare genomgått en teoretisk utbildning i energieffektiv körning. Då det emellertid fanns en del osäkerhet i mätdata från de tester som genomförts i verklig trafik och betingelserna samt försöksprocedur varierade mellan förarna fanns det ett behov av att undersöka besparingspotentialen under mer kontrollerade former. Dessutom visade sig att utbildning samt tillgång till ett stödsystem under körning gav en mindre besparing i energi (13 %). Således genomfördes en studie med hjälp av en tågsimulator. I simulatorn har man full kontroll på mätdata och betingelserna är lika för alla förare. Simulatorn som användes i studien är utvecklad på VTI (Statens väg- och transportforskningsinstitut) och är modellerad efter en X50 Regina. Syftet med denna studie var således att undersöka om samma teoretiska utbildning i energieffektiv körning, i kombination med simulatorträning under ideala förhållanden skulle ge lika bra eller bättre energibesparing jämfört med resultaten från tester i verklig trafik. Vidare undersöktes effekten av återkoppling under träningen med avseende på energibesparing. I studien deltog 24 lokförarelever som delades in i tre grupper med 8 elever i varje. Två av grupperna fick genomföra två körningar (referens- och testkörning) med utbildning och simulatorträning mellan tillfällena, medan den tredje gruppen (kontrollgrupp) endast genomförde referens- och testkörning utan utbildning och träning. De två grupperna som fick utbildning fick dock träna under två olika betingelser, en med återkoppling (energiförbrukning och banlutning) och en utan återkoppling. Det visade sig att utbildning i energieffektiv körning i kombination med 30 minuters simulatorträning resulterade i en total besparing för båda grupperna på ungefär 24 % energi, om man sen tar hänsyn till att man förbättrar sin körning genom att bara få tillfälle att köra upprepade gånger (kontrollgruppen använde 8 % mindre energi andra gången) så visade det sig att besparingen blev lika stor som den man fann i verklig trafik (16 %). Då resultaten blev lika fast betingelserna var olika finns det anledning till att vidare undersöka hur olika körförhållanden påverkar utfallet. Dessutom behöver man bättre förstå varför utbildning plus stödsystem gav mindre effekt än bara utbildning i verklig trafik samt varför återkoppling under träning inte gav någon påvisbar effekt. Det vill säga det finns anledning till ytterligare insatser för att utforma träning och stödsystem till förarna. Förutom energibesparing visade resultatet att rättidigheten förbättrades efter utbildning och simulatorträning. Resultaten talar för att det finns outnyttjad potential för tågsimulatorer i den svenska lokförarutbildningen både för att träna och utvärdera effekter av utbildningsinsatser.

    Ladda ner fulltext (pdf)
    Mindre energi och rätt tid
  • 6.
    Abbas, Muhammad Hassan
    et al.
    Linköpings universitet, Institutionen för datavetenskap.
    Khan, Mati-ur-Rehman
    Linköpings universitet, Institutionen för datavetenskap.
    Correlational Analysis of Drivers Personality Traits and Styles in a Distributed Simulated Driving Environment2007Självständigt arbete på grundnivå (yrkesexamen), 20 poäng / 30 hpStudentuppsats
    Abstract [en]

    In this thesis report we conducted research study on driver's behavior in T-Intersections using simulated environment. This report describes and discusses correlation analysis of driver's personality traits and style while driving at T-Intersections.

    The experiments were performed on multi user driving simulator under controlled settings, at Linköping University. A total of forty-eight people participated in the study and were divided into groups of four, all driving in the same simulated world.

    During the experiments participants were asked to fill a series of well-known self-report questionnaires. We evaluated questionnaires to get the insight in driver's personality traits and driving style. The self-report questionnaires consist of Schwartz's configural model of 10 values types and NEO-five factor inventory. Also driver's behavior was studied with the help of questionnaires based on driver's behavior, style, conflict avoidance, time horizon and tolerance of uncertainty. Then these 10 Schwartz's values are correlated with the other questionnaires to give the detail insight of the driving habits and personality traits of the drivers.

    Ladda ner fulltext (pdf)
    FULLTEXT01
  • 7.
    Abbas, Qaisar
    et al.
    Uppsala universitet, Avdelningen för teknisk databehandling.
    Nordström, Jan
    Uppsala universitet, Avdelningen för teknisk databehandling.
    Weak versus strong no-slip boundary conditions for the Navier-Stokes equations2010Ingår i: Engineering Applications of Computational Fluid Mechanics, ISSN 1994-2060, Vol. 4, s. 29-38Artikel i tidskrift (Refereegranskat)
    Ladda ner fulltext (pdf)
    fulltext
  • 8.
    Abbas, Qaisar
    et al.
    Uppsala universitet, Avdelningen för teknisk databehandling.
    Nordström, Jan
    Uppsala universitet, Avdelningen för teknisk databehandling.
    Weak versus Strong No-Slip Boundary Conditions for the Navier-Stokes Equations2008Ingår i: Proc. 6th South African Conference on Computational and Applied Mechanics, South African Association for Theoretical and Applied Mechanics , 2008, s. 52-62Konferensbidrag (Övrigt vetenskapligt)
  • 9.
    Abbas, Qaisar
    et al.
    Uppsala universitet, Avdelningen för teknisk databehandling.
    van der Weide, Edwin
    Nordström, Jan
    Uppsala universitet, Avdelningen för teknisk databehandling.
    Accurate and stable calculations involving shocks using a new hybrid scheme2009Ingår i: Proc. 19th AIAA CFD Conference, AIAA , 2009Konferensbidrag (Refereegranskat)
  • 10.
    Abd Nikooie Pour, Mina
    et al.
    Linköpings universitet, Tekniska fakulteten. Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik.
    Algergawy, Alsayed
    Friedrich Schiller University Jena, Germany.
    Amardeilh, Florence
    Elzeard.co, Paris, France.
    Amini, Reihaneh
    Data Semantics (DaSe) Laboratory, Kansas State University, USA.
    Fallatah, Omaima
    Information School, The University of Sheffield, Sheffield, UK.
    Faria, Daniel
    LASIGE, Faculdade de Ciencias, Universidade de Lisboa, Portugal .
    Fundulaki, Irini
    Institute of Computer Science-FORTH, Heraklion, Greece.
    Harrow, Ian
    Pistoia Alliance Inc., USA.
    Hertling, Sven
    University of Mannheim, Germany.
    Hitzler, Pascal
    Data Semantics (DaSe) Laboratory, Kansas State University, USA.
    Huschka, Martin
    Fraunhofer Institute for High-Speed Dynamics, Ernst-Mach-Institut, EMI, Germany.
    Ibanescu, Liliana
    AgroParisTech, UMR MIA-Paris/INRAE, France.
    Jimenez-Ruiz, Ernesto
    City, University of London, UK and Department of Informatics, University of Oslo, Norway.
    Karam, Naouel
    Fraunhofer FOKUS, Berlin, Germany and Institute for Applied Informatics (InfAI), University of Leipzig, Germany.
    Laadhar, Amir
    Department of Computer Science, Aalborg University, Denmark.
    Lambrix, Patrick
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan. University of Gävle, Sweden.
    Li, Huanyu
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska fakulteten.
    Li, Ying
    Linköpings universitet, Tekniska fakulteten. Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik.
    Michel, Franck
    University Cote d’Azur, CNRS, Inria, France.
    Nasr, Engy
    Freiburg Galaxy Team, University of Freiburg, Germany.
    Paulheim, Heiko
    University of Mannheim, Germany.
    Pesquita, Catia
    LASIGE, Faculdade de Ciencias, Universidade de Lisboa, Portugal .
    Portisch, Jan
    University of Mannheim, Germany.
    Roussey, Catherine
    INRAE Centre Clermont-ARA, laboratoire TSCF, France.
    Saveta, Tzanina
    Institute of Computer Science-FORTH, Heraklion, Greece.
    Shvaiko, Pavel
    Trentino Digitale SpA, Trento, Italy.
    Splendiani, Andrea
    Pistoia Alliance Inc., USA.
    Trojahn, Cassia
    IRIT & Universite Toulouse II, Toulouse, France .
    Vatascinova, Jana
    Prague University of Economics and Business, Czech Republic.
    Yaman, Beyza
    ADAPT Centre, Dublin City University, Ireland.
    Zamazal, Ondrej
    Prague University of Economics and Business, Czech Republic.
    Zhou, Lu
    Data Semantics (DaSe) Laboratory, Kansas State University, USA.
    Results of theOntology Alignment Evaluation Initiative 20212021Ingår i: Proceedings of the 16th International Workshop on Ontology Matching: co-located with the 20th International Semantic Web Conference (ISWC 2021) / [ed] Pavel Shvaiko, Jérôme Euzenat, Ernesto Jiménez-Ruiz, Oktie Hassanzadeh, Cássia Trojahn, CEUR Workshop proceedings , 2021, s. 62-108Konferensbidrag (Refereegranskat)
    Abstract [en]

    The Ontology Alignment Evaluation Initiative (OAEI) aims at comparing ontology matching systems on precisely defined test cases. These test cases can be based on ontologies of different levels of complexity and use different evaluation modalities (e.g., blind evaluation, open evaluation, or consensus). The OAEI 2021 campaign offered 13 tracks and was attended by 21 participants.This paper is an overall presentation of that campaign.

  • 11.
    Abd Nikooie Pour, Mina
    et al.
    Linköpings universitet, Tekniska fakulteten. Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik.
    Algergawy, Alsayed
    Friedrich Schiller University Jena, Germany.
    Amini, Reihaneh
    Kansas State University, USA.
    Faria, Daniel
    BioData.pt, INESC-ID, Lisbon, Portugal.
    Fundulaki, Irini
    Institute of Computer Science-FORTH, Heraklion, Greece.
    Harrow, Ian
    Pistoia Alliance Inc., USA.
    Hertling, Sven
    University of Mannheim, Germany.
    Jimenez-Ruiz, Ernesto
    City, University of London, UK, and , University of Oslo, Norway.
    Jonquet, Clement
    LIRMM, University of Montpellier & CNRS, France.
    Karam, Naouel
    Fraunhofer FOKUS, Berlin, Germany.
    Khiat, Abderrahmane
    Fraunhofer IAIS, Sankt Augustin, Germany.
    Laadhar, Amir
    LIRMM, University of Montpellier & CNRS, France.
    Lambrix, Patrick
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Li, Huanyu
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska fakulteten.
    Li, Ying
    Linköpings universitet, Tekniska fakulteten. Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik.
    Hitzler, Pascal
    Kansas State University, USA.
    Paulheim, Heiko
    University of Mannheim, Germany.
    Pesquita, Catia
    Universidade de Lisboa, Portugal.
    Saveta, Tzanina
    Institute of Computer Science-FORTH, Heraklion, Greece.
    Shvaiko, Pavel
    TasLab, Trentino Digitale SpA, Trento, Italy.
    Splendiani, Andrea
    Pistoia Alliance Inc., USA.
    Thieblin, Elodie
    Logilab, France.
    Trojahn, Cassia
    IRIT & Universite Toulouse II, Toulouse, France.
    Vatascinova, Jana
    University of Economics, Prague, Czech Republic.
    Yaman, Beyza
    Dublin City University, Ireland.
    Zamazal, Ondrej
    University of Economics, Prague, Czech Republic.
    Zhou, Lu
    Kansas State University, USA.
    Results of theOntology Alignment Evaluation Initiative 20202020Ingår i: Proceedings of the 15th International Workshop on Ontology Matching: co-located with the 19th International Semantic Web Conference (ISWC 2020) / [ed] Pavel Shvaiko, Jérôme Euzenat, Ernesto Jiménez-Ruiz, Oktie Hassanzadeh, Cássia Trojahn, Aachen, Germany: CEUR Workshop proceedings , 2020, s. 92-138Konferensbidrag (Refereegranskat)
    Abstract [en]

    The Ontology Alignment Evaluation Initiative (OAEI) aims at comparing ontology matching systems on precisely defined test cases. These test cases can be based on ontologies of different levels of complexity and use different evaluation modalities (e.g., blind evaluation, open evaluation, or consensus).The OAEI 2020 campaign offered 12 tracks with 36 test cases, and was attended by 19 participants. This paper is an overall presentation of that campaign. 

  • 12.
    Abd Nikooie Pour, Mina
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska fakulteten.
    Algergawy, Alsayed
    Heinz Nixdorf Chair for Distributed Information Systems, Friedrich Schiller University Jena, Germany; Chair of Data and Knowledge Engineering, University of Passau, Germany.
    Buche, Patrice
    UMR IATE, INRAE, University of Montpellier, France.
    Castro, Leyla J.
    ZB MED Information Centre for Life Sciences, Germany.
    Chen, Jiaoyan
    Department of Computer Science, The University of Manchester, UK.
    Coulet, Adrien
    Inria Paris, France; Centre de Recherche des Cordeliers, Inserm, Université Paris Cité, Sorbonne Université, France.
    Cufi, Julien
    UMR IATE, INRAE, University of Montpellier, France.
    Dong, Hang
    Department of Computer Science, University of Oxford, UK.
    Fallatah, Omaima
    Department of Data Science, Umm Al-Qura University, Saudi Arabia.
    Faria, Daniel
    INESC-ID / IST, University of Lisbon, Portugal.
    Fundulaki, Irini
    Institute of Computer Science-FORTH, Heraklion, Greece.
    Hertling, Sven
    Data and Web Science Group, University of Mannheim, Germany.
    He, Yuan
    Department of Computer Science, University of Oxford, UK.
    Horrocks, Ian
    Department of Computer Science, University of Oxford, UK.
    Huschka, Martin
    Fraunhofer Institute for High-Speed Dynamics, Ernst-Mach-Institut, EMI, Germany.
    Ibanescu, Liliana
    Université Paris-Saclay, INRAE, AgroParisTech, UMR MIA Paris-Saclay, France.
    Jain, Sarika
    National Institute of Technology Kurukshetra, India.
    Jiménez-Ruiz, Ernesto
    City, University of London, UK; SIRIUS, University of Oslo, Norway.
    Karam, Naouel
    Institute for Applied Informatics, University of Leipzig, Germany.
    Lambrix, Patrick
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska fakulteten.
    Li, Huanyu
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska fakulteten.
    Li, Ying
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska fakulteten.
    Monnin, Pierre
    University Côte d’Azur, Inria, CNRS, I3S, France.
    Nasr, Engy
    Albert Ludwig University of Freiburg, Germany.
    Paulheim, Heiko
    Data and Web Science Group, University of Mannheim, Germany.
    Pesquita, Catia
    LASIGE, Faculdade de Ciências, Universidade de Lisboa, Portugal.
    Saveta, Tzanina
    Institute of Computer Science-FORTH, Heraklion, Greece.
    Shvaiko, Pavel
    Trentino Digitale SpA, Trento, Italy.
    Sousa, Guilherme
    Institut de Recherche en Informatique de Toulouse, France.
    Trojahn, Cássia
    Institut de Recherche en Informatique de Toulouse, France.
    Vatascinova, Jana
    Prague University of Economics and Business, Czech Republic.
    Wu, Mingfang
    Australian Research Data Commons.
    Yaman, Beyza
    ADAPT Centre, Trinity College Dublin.
    Zamazal, Ondřej
    Prague University of Economics and Business, Czech Republic.
    Zhou, Lu
    Flatfee Corp, USA.
    Results of the Ontology Alignment Evaluation Initiative 20232023Ingår i: Proceedings of the 18th International Workshop on Ontology Matching co-located with the 22nd International Semantic Web Conference (ISWC 2023), Athens, Greece, November 7, 2023. / [ed] Pavel Shvaiko, Jérôme Euzenat, Ernesto Jiménez-Ruiz, Oktie Hassanzadeh, Cássia Trojahn, CEUR Workshop Proceedings , 2023, Vol. 3591, s. 97-139Konferensbidrag (Refereegranskat)
  • 13.
    Abd Nikooie Pour, Mina
    et al.
    Linköpings universitet, Tekniska fakulteten. Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik.
    Algergawy, Alsayed
    Heinz Nixdorf Chair for Distributed Information Systems, Friedrich Schiller University Jena, Germany.
    Buche, Patrice
    UMR IATE, INRAE, University of Montpellier, France.
    Castro, Leyla J.
    ZB MED Information Centre for Life Sciences, Germany.
    Chen, Jiaoyan
    Department of Computer Science, The University of Manchester, UK.
    Dong, Hang
    Department of Computer Science, University of Oxford, UK.
    Fallatah, Omaima
    Information School, The University of Sheffield, Sheffield, UK.
    Faria, Daniel
    University of Lisbon, Portugal.
    Fundulaki, Irini
    Institute of Computer Science-FORTH, Heraklion, Greece.
    Hertling, Sven
    Data and Web Science Group, University of Mannheim, Germany.
    He, Yuan
    Department of Computer Science, University of Oxford, UK.
    Horrocks, Ian
    Department of Computer Science, University of Oxford, UK.
    Huschka, Martin
    Fraunhofer Institute for High-Speed Dynamics, Ernst-Mach-Institut, EMI, Germany.
    Ibanescu, Liliana
    Universite Paris-Saclay, INRAE, AgroParisTech, UMR MIA Paris-Saclay, France.
    Jimenez-Ruiz, Ernesto
    City, University of London, UK & SIRIUS, University of Oslo, Norway.
    Karam, Naouel
    Fraunhofer FOKUS & Institute for Applied Informatics, University of Leipzig, Germany.
    Laadhar, Amir
    University of Stuttgart, Germany.
    Lambrix, Patrick
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan. Högskolan i Gävle.
    Li, Huanyu
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska fakulteten.
    Li, Ying
    Linköpings universitet, Tekniska fakulteten. Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik.
    Michel, Franck
    University Cote d’Azur, CNRS, Inria.
    Nasr, Engy
    Albert Ludwig University of Freiburg, Germany.
    Paulheim, Heiko
    Data and Web Science Group, University of Mannheim, Germany.
    Pesquita, Catia
    LASIGE, Faculdade de Ciencias, Universidade de Lisboa, Portugal.
    Saveta, Tzanina
    Institute of Computer Science-FORTH, Heraklion, Greece.
    Shvaiko, Pavel
    Trentino Digitale SpA, Trento, Italy.
    Trojahn, Cassia
    Institut de Recherche en Informatique de Toulouse, France.
    Verhey, Chantelle
    World Data System, International Technology Office, USA.
    Wu, Mingfang
    Australian Research Data Commons.
    Yaman, Beyza
    ADAPT Centre, Trinity College Dublin.
    Zamazal, Ondrej
    Prague University of Economics and Business, Czech Republic.
    Zhou, Lu
    TigerGraph, Inc. USA.
    Results of the Ontology Alignment EvaluationInitiative 20222022Ingår i: Proceedings of the 17th International Workshop on Ontology Matching (OM 2022): co-located with the 21th International Semantic Web Conference (ISWC 2022) / [ed] Pavel Shvaiko, Jerome Euzenat, Ernesto Jimenez-Ruiz, Oktie Hassanzadeh, Cassia Trojahn, CEUR Workshop Proceedings , 2022, s. 84-128Konferensbidrag (Refereegranskat)
    Abstract [en]

    The Ontology Alignment Evaluation Initiative (OAEI) aims at comparing ontology matching systems on precisely defined test cases. These test cases can be based on ontologies of different levels of complexity and use different evaluation modalities. The OAEI 2022 campaign offered 14 tracks and was attended by18 participants. This paper is an overall presentation of that campaign

  • 14.
    Abd Nikooie Pour, Mina
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska fakulteten.
    Li, Huanyu
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska fakulteten.
    Armiento, Rickard
    Linköpings universitet, Institutionen för fysik, kemi och biologi, Teoretisk Fysik. Linköpings universitet, Tekniska fakulteten.
    Lambrix, Patrick
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska fakulteten. Högskolan i Gävle, Gävle, Sweden.
    A First Step towards a Tool for Extending Ontologies2021Ingår i: Proceedings of the Sixth International Workshop on the Visualization and Interaction for Ontologies and Linked Data: co-located with the 20th International Semantic Web Conference (ISWC 2021) / [ed] Patrick Lambrix, Catia Pesquita, Vitalis Wiens, CEUR Workshop proceedings , 2021, s. 1-12Konferensbidrag (Refereegranskat)
    Abstract [en]

    Ontologies have been proposed as a means towards making data FAIR (Findable, Accessible, Interoperable, Reusable). This has attracted much interest in several communities and ontologies are being developed. However, to obtain good results when using ontologies in semantically-enabled applications, the ontologies need to be of high quality. One of the quality aspects is that the ontologies should be as complete as possible. In this paper we propose a first version of a tool that supports users in extending ontologies using a phrase-based approach.  To demonstrate the usefulness of our proposed tool, we exemplify the use by extending the Materials Design Ontology.

  • 15.
    Abd Nikooie Pour, Mina
    et al.
    Linköpings universitet, Tekniska fakulteten. Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik.
    Li, Huanyu
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska fakulteten.
    Armiento, Rickard
    Linköpings universitet, Institutionen för fysik, kemi och biologi, Teoretisk Fysik. Linköpings universitet, Tekniska fakulteten.
    Lambrix, Patrick
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    A First Step towards Extending the Materials Design Ontology2021Ingår i: Workshop on Domain Ontologies for Research Data Management in Industry Commons of Materials and Manufacturing - DORIC-MM 2021 / [ed] S Chiacchiera, MT Horsch, J Francisco Morgado, G Goldbeck, 2021, s. 1-11Konferensbidrag (Refereegranskat)
    Abstract [en]

    Ontologies have been proposed as a means towards making data FAIR (Findable, Accessible, Interoperable, Reusable) and has recently attracted much interest in the materials science community. Ontologies for this domain are being developed and one such effort is the Materials Design Ontology. However, to obtain good results when using ontologies in semantically-enabled applications, the ontologies need to be of high quality. One of the quality aspects is that the ontologies should be as complete as possible. In this paper we show preliminary results regarding extending the Materials Design Ontology using a phrase-based topic model.

    Ladda ner fulltext (pdf)
    fulltext
  • 16.
    Abd Nikooie Pour, Mina
    et al.
    Linköpings universitet, Tekniska fakulteten. Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Swedish e-Science Research Centre, Sweden.
    Li, Huanyu
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska fakulteten. Swedish e-Science Research Centre, Sweden.
    Armiento, Rickard
    Linköpings universitet, Tekniska fakulteten. Linköpings universitet, Institutionen för fysik, kemi och biologi, Teoretisk Fysik. Swedish e-Science Research Centre, Sweden.
    Lambrix, Patrick
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska fakulteten. Swedish e-Science Research Centre, Sweden; University of Gävle, Sweden.
    Phrase2Onto: A Tool to Support Ontology Extension2023Ingår i: 27th International Conference on Knowledge Based and Intelligent Information and Engineering Sytems (KES 2023) / [ed] Robert Howlett, Elsevier, 2023, s. 1415-1424Konferensbidrag (Refereegranskat)
    Abstract [en]

    Due to importance of data FAIRness (Findable, Accessible, Interoperable, Reusable), ontologies as a means to make data FAIR have attracted more and more attention in different communities and are being used in semantically-enabled applications. However, to obtain good results while using ontologies in these applications, high quality ontologies are needed of which completeness is one of the important aspects. An ontology lacking information can lead to missing results. In this paper we present a tool, Phrase2Onto, that supports users in extending ontologies to make the ontologies more complete. It is particularly suited for ontology extension using a phrase-based topic model approach, but the tool can support any extension approach where a user needs to make decisions regarding the appropriateness of using phrases to define new concepts. We describe the functionality of the tool and a user study using Pizza Ontology. The user study showed  a good usability of the system and high task completion. Further, we report on a real application where we extend the Materials Design Ontology.

  • 17.
    Abdolmajid Ahmad, Bookan
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Programmering av generativ konst i C# .Net2014Självständigt arbete på grundnivå (kandidatexamen), 180 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Detta examensarbete utfördes på IDA (Institutionen för datavetenskap) vid Linköpings universitet. 

    Syftet med det här examensarbetet var att utveckla ett program som skulle skapa förutsättningar för generativ konst med hjälp av MyPaint som är ett digitalt rit/målarverktyg. Metoden gick ut på att registrera vad användaren skapat för komponenter, dvs. musinteraktioner och kortkommandon, och därefter använda dem algoritmiskt.

    Examensarbetet resulterades i ett program (SharpArt), som fångar musinteraktioner samt simulerar tangentbordstryckningar (kortkommandon) från och till Mypaint, vilket i sin tur skapar komponenter som används algoritmiskt. Programmet kan även positionera objektet på canvasen enligt det önskade koordinatvärdet.

    Ladda ner fulltext (pdf)
    fulltext
  • 18.
    Abdulahad, Bassam
    et al.
    Linköpings universitet, Institutionen för datavetenskap.
    Lounis, Georgios
    Linköpings universitet, Institutionen för datavetenskap.
    A user interface for the ontology merging tool SAMBO2004Självständigt arbete på grundnivå (yrkesexamen)Studentuppsats
    Abstract [en]

    Ontologies have become an important tool for representing data in a structured manner. Merging ontologies allows for the creation of ontologies that later can be composed into larger ontologies as well as for recognizing patterns and similarities between ontologies. Ontologies are being used nowadays in many areas, including bioinformatics. In this thesis, we present a desktop version of SAMBO, a system for merging ontologies that are represented in the languages OWL and DAML+OIL. The system has been developed in the programming language JAVA with JDK (Java Development Kit) 1.4.2. The user can open a file locally or from the network and can merge ontologies using suggestions generated by the SAMBO algorithm. SAMBO provides a user-friendly graphical interface, which guides the user through the merging process.

    Ladda ner fulltext (pdf)
    FULLTEXT01
  • 19.
    Abdulla, Parosh Aziz
    et al.
    Department of Information Technology, Uppsala University, Sweden.
    Atig, Mohamed Faouzi
    Department of Information Technology, Uppsala University, Sweden.
    Chen, Yu-Fang
    Institute of Information Science, Academia Sinica, Taiwan.
    Holik, Lukas
    Faculty of Information Technology, Brno University of Technology, Czech Republic.
    Rezine, Ahmed
    Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska högskolan.
    Rümmer, Philipp
    Department of Information Technology, Uppsala University, Sweden.
    Stenman, Jari
    Department of Information Technology, Uppsala University, Sweden.
    String Constraints for Verification2014Ingår i: 26th International Conference on Computer Aided Verification (CAV 2014), Vienna, Austria, Jul. 9-12, 2014., Berlin: Springer, 2014, s. 150-166Konferensbidrag (Refereegranskat)
    Abstract [en]

    We present a decision procedure for a logic that combines (i) word equations over string variables denoting words of arbitrary lengths, together with (ii) constraints on the length of words, and on (iii) the regular languages to which words belong. Decidability of this general logic is still open. Our procedure is sound for the general logic, and a decision procedure for a particularly rich fragment that restricts the form in which word equations are written. In contrast to many existing procedures, our method does not make assumptions about the maximum length of words. We have developed a prototypical implementation of our decision procedure, and integrated it into a CEGAR-based model checker for the analysis of programs encoded as Horn clauses. Our tool is able to automatically establish the correctness of several programs that are beyond the reach of existing methods.

  • 20.
    Abdulla, Parosh Aziz
    et al.
    Uppsala University, Sweden.
    Atig, Mohamed Faouzi
    Uppsala University, Sweden.
    Chen, Yu-Fang
    Academia Sinica, Taiwan.
    Leonardsson, Carl
    Uppsala University, Sweden.
    Rezine, Ahmed
    Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska högskolan.
    Automatic fence insertion in integer programs via predicate abstraction2012Ingår i: Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings / [ed] Antoine Miné, David Schmidt, Springer Berlin/Heidelberg, 2012, s. 164-180Konferensbidrag (Refereegranskat)
    Abstract [en]

    We propose an automatic fence insertion and verification framework for concurrent programs running under relaxed memory. Unlike previous approaches to this problem, which allow only variables of finite domain, we target programs with (unbounded) integer variables. The problem is difficult because it has two different sources of infiniteness: unbounded store buffers and unbounded integer variables. Our framework consists of three main components: (1) a finite abstraction technique for the store buffers, (2) a finite abstraction technique for the integer variables, and (3) a counterexample guided abstraction refinement loop of the model obtained from the combination of the two abstraction techniques. We have implemented a prototype based on the framework and run it successfully on all standard benchmarks together with several challenging examples that are beyond the applicability of existing methods.

  • 21.
    Abdulla, Parosh Aziz
    et al.
    Uppsala University, Sweden.
    Atig, Mohamed Faouzi
    Uppsala University, Sweden.
    Chen, Yu-Fang
    Academia Sinica, Taiwan.
    Leonardsson, Carl
    Uppsala University, Sweden.
    Rezine, Ahmed
    Linköpings universitet, Institutionen för datavetenskap, ESLAB - Laboratoriet för inbyggda system. Linköpings universitet, Tekniska högskolan.
    Counter-Example Guided Fence Insertion under TSO2012Ingår i: TACAS 2012, Berlin, Heidelberg: Springer , 2012Konferensbidrag (Refereegranskat)
    Abstract [en]

    We give a sound and complete fence insertion procedure for concurrentfinite-state programs running under the classical TSO memory model. Thismodel allows “write to read” relaxation corresponding to the addition of an unboundedstore buffer between each processor and the main memory. We introducea novel machine model, called the Single-Buffer (SB) semantics, and show thatthe reachability problem for a program under TSO can be reduced to the reachabilityproblem under SB. We present a simple and effective backward reachabilityanalysis algorithm for the latter, and propose a counter-example guided fence insertionprocedure. The procedure is augmented by a placement constraint thatallows the user to choose places inside the program where fences may be inserted.For a given placement constraint, we automatically infer all minimal setsof fences that ensure correctness. We have implemented a prototype and run itsuccessfully on all standard benchmarks together with several challenging examplesthat are beyond the applicability of existing methods.

  • 22.
    Abdulla, Parosh Aziz
    et al.
    Uppsala University, Sweden.
    Atig, Mohamed Faouzi
    Uppsala University, Sweden.
    Chen, Yu-Fang
    Academia Sinica, Taiwan.
    Leonardsson, Carl
    Uppsala University, Sweden.
    Rezine, Ahmed
    Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska högskolan.
    Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO2013Ingår i: Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, Springer Berlin/Heidelberg, 2013, s. 530-536Konferensbidrag (Refereegranskat)
    Abstract [en]

    We introduce MEMORAX, a tool for the verification of control state reachability (i.e., safety properties) of concurrent programs manipulating finite range and integer variables and running on top of weak memory models. The verification task is non-trivial as it involves exploring state spaces of arbitrary or even infinite sizes. Even for programs that only manipulate finite range variables, the sizes of the store buffers could grow unboundedly, and hence the state spaces that need to be explored could be of infinite size. In addition, MEMORAX in- corporates an interpolation based CEGAR loop to make possible the verification of control state reachability for concurrent programs involving integer variables. The reachability procedure is used to automatically compute possible memory fence placements that guarantee the unreachability of bad control states under TSO. In fact, for programs only involving finite range variables and running on TSO, the fence insertion functionality is complete, i.e., it will find all minimal sets of memory fence placements (minimal in the sense that removing any fence would result in the reachability of the bad control states). This makes MEMORAX the first freely available, open source, push-button verification and fence insertion tool for programs running under TSO with integer variables.

  • 23.
    Abdulla, Parosh Aziz
    et al.
    Uppsala University.
    Atig, Mohammed Faouzi
    Uppsala University.
    Ganjei, Zeinab
    Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska fakulteten.
    Rezine, Ahmed
    Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska högskolan.
    Zhu, Yunyun
    Uppsala University.
    Verification of Cache Coherence Protocols wrt. Trace Filters2015Konferensbidrag (Refereegranskat)
    Abstract [en]

    We address the problem of parameterized verification of cache coherence protocols for hardware accelerated transactional memories. In this setting, transactional memories leverage on the versioning capabilities of the underlying cache coherence protocol. The length of the transactions, their number, and the number of manipulated variables (i.e., cache lines) are parameters of the verification problem. Caches in such systems are finite-state automata communicating via broadcasts and shared variables. We augment our system with filters that restrict the set of possible executable traces according to existing conflict resolution policies. We show that the verification of coherence for parameterized cache protocols with filters can be reduced to systems with only a finite number of cache lines. For verification, we show how to account for the effect of the adopted filters in a symbolic backward reachability algorithm based on the framework of constrained monotonic abstraction. We have implemented our method and used it to verify transactional memory coherence protocols with respect to different conflict resolution policies.

  • 24.
    Abdulla, Parosh Aziz
    et al.
    Uppsala University, Sweden.
    Dwarkadas, Sandhya
    University of Rochester, U.S.A..
    Rezine, Ahmed
    Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska högskolan.
    Shriraman, Arrvindh
    Simon Fraser University, Canada.
    Zhu, Yunyun
    Uppsala University, Sweden.
    Verifying Safety and Liveness for the FlexTM Hybrid Transactional Memory2013Ingår i: Design, Automation & Test in Europe (DATE 2013), Grenoble, France, March 18-22, 2013., IEEE , 2013, s. 785-790Konferensbidrag (Refereegranskat)
    Abstract [en]

    We consider the verification of safety (strict se- rializability and abort consistency) and liveness (obstruction and livelock freedom) for the hybrid transactional memory framework FLEXTM. This framework allows for flexible imple- mentations of transactional memories based on an adaptation of the MESI coherence protocol. FLEXTM allows for both eager and lazy conflict resolution strategies. Like in the case of Software Transactional Memories, the verification problem is not trivial as the number of concurrent transactions, their size, and the number of accessed shared variables cannot be a priori bounded. This complexity is exacerbated by aspects that are specific to hardware and hybrid transactional memories. Our work takes into account intricate behaviours such as cache line based conflict detection, false sharing, invisible reads or non-transactional instructions. We carry out the first automatic verification of a hybrid transactional memory and establish, by adopting a small model approach, challenging properties such as strict serializability, abort consistency, and obstruction freedom for both an eager and a lazy conflict resolution strategies. We also detect an example that refutes livelock freedom. To achieve this, our prototype tool makes use the latest antichain based techniques to handle systems with tens of thousands of states.

  • 25.
    Abdulla, Parosh Aziz
    et al.
    Uppsala University, Sweden.
    Haziza, Frédéric
    Uppsala University, Sweden.
    Holik, Lukas
    Brno University of Technology, Czech Republic.
    Jonsson, Bengt
    Uppsala University, Sweden.
    Rezine, Ahmed
    Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska högskolan.
    An Integrated Specification and Verification Technique for Highly Concurrent Data Structures2013Ingår i: The 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013), Rome, Italy, March 16-24, 2013. / [ed] Piterman, Nir, Smolka, Scott, 2013Konferensbidrag (Refereegranskat)
    Abstract [en]

    We present a technique for automatically verifying safety properties of concurrent programs, in particular programs which rely on subtle dependencies of local states of different threads, such as lock-free implementations of stacks and queues in an environment without garbage collection. Our technique addresses the joint challenges of infinite-state specifications, an unbounded number of threads, and an unbounded heap managed by explicit memory allocation. Our technique builds on the automata-theoretic approach to model checking, in which a specification is given by an automaton that observes the execution of a program and accepts executions that violate the intended specification.We extend this approach by allowing specifications to be given by a class of infinite-state automata. We show how such automata can be used to specify queues, stacks, and other data structures, by extending a data-independence argument. For verification, we develop a shape analysis, which tracks correlations between pairs of threads, and a novel abstraction to make the analysis practical. We have implemented our method and used it to verify programs, some of which have not been verified by any other automatic method before.

  • 26.
    Abdullah Jan, Mirza
    et al.
    Linköpings universitet, Institutionen för systemteknik.
    Ahsan, Mahmododfateh
    Linköpings universitet, Institutionen för systemteknik.
    Multi-View Video Transmission over the Internet2010Självständigt arbete på avancerad nivå (masterexamen), 30 poäng / 45 hpStudentuppsats (Examensarbete)
    Abstract [en]

    3D television using multiple views rendering is receiving increasing interest. In this technology a number of video sequences are transmitted simultaneously and provides a larger view of the scene or stereoscopic viewing experience. With two views stereoscopic rendition is possible. Nowadays 3D displays are available that are capable of displaying several views simultaneously and the user is able to see different views by moving his head.

    The thesis work aims at implementing a demonstration system with a number of simultaneous views. The system will include two cameras, computers at both the transmitting and receiving end and a multi-view display. Besides setting up the hardware, the main task is to implement software so that the transmission can be done over an IP-network.

    This thesis report includes an overview and experiences of similar published systems, the implementation of real time video, its compression, encoding, and transmission over the internet with the help of socket programming and finally the multi-view display in 3D format.  This report also describes the design considerations more precisely regarding the video coding and network protocols.

    Ladda ner fulltext (pdf)
    FULLTEXT02
  • 27.
    Abels, Esther
    et al.
    PathAI, MA USA.
    Pantanowitz, Liron
    Univ Pittsburgh, PA USA.
    Aeffner, Famke
    Amgen Inc, CA USA.
    Zarella, Mark D.
    Drexel Univ, PA 19104 USA.
    van der Laak, Jeroen
    Linköpings universitet, Institutionen för medicin och hälsa, Avdelningen för radiologiska vetenskaper. Linköpings universitet, Medicinska fakulteten. Region Östergötland, Diagnostikcentrum, Klinisk patologi. Linköpings universitet, Centrum för medicinsk bildvetenskap och visualisering, CMIV. Radboud Univ Nijmegen, Netherlands.
    Bui, Marilyn M.
    H Lee Moffitt Canc Ctr and Res Inst, FL USA.
    Vemuri, Venkata N. P.
    Chan Zuckerberg Biohub, CA USA.
    Parwani, Anil V.
    Ohio State Univ, OH 43210 USA.
    Gibbs, Jeff
    Hyman Phelps and McNamara PC, DC USA.
    Agosto-Arroyo, Emmanuel
    H Lee Moffitt Canc Ctr and Res Inst, FL USA.
    Beck, Andrew H.
    PathAI, MA USA.
    Kozlowski, Cleopatra
    Genentech Inc, CA 94080 USA.
    Computational pathology definitions, best practices, and recommendations for regulatory guidance: a white paper from the Digital Pathology Association2019Ingår i: Journal of Pathology, ISSN 0022-3417, E-ISSN 1096-9896, Vol. 249, nr 3, s. 286-294Artikel, forskningsöversikt (Refereegranskat)
    Abstract [en]

    In this white paper, experts from the Digital Pathology Association (DPA) define terminology and concepts in the emerging field of computational pathology, with a focus on its application to histology images analyzed together with their associated patient data to extract information. This review offers a historical perspective and describes the potential clinical benefits from research and applications in this field, as well as significant obstacles to adoption. Best practices for implementing computational pathology workflows are presented. These include infrastructure considerations, acquisition of training data, quality assessments, as well as regulatory, ethical, and cyber-security concerns. Recommendations are provided for regulators, vendors, and computational pathology practitioners in order to facilitate progress in the field. (c) 2019 The Authors. The Journal of Pathology published by John Wiley amp; Sons Ltd on behalf of Pathological Society of Great Britain and Ireland.

    Ladda ner fulltext (pdf)
    fulltext
  • 28.
    Abraham, Michael
    Linköpings universitet, Institutionen för datavetenskap, Programvara och system.
    Effektivare fordonsdiagnostik över CAN-bussen genom UDS2020Självständigt arbete på grundnivå (kandidatexamen), 10,5 poäng / 16 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Bilar blir allt mer tekniskt avancerade och fler ECU:er har utvecklats som har medfört ökad säkerhet och komfort samt minskad miljöpåverkan. Det resulterar i ett komplext arbete med att testa och verifiera att alla olika ECU:er fungerar som de skall i olika situationer. Fordonsdiagnostik kräver ofta program-varor från olika aktörer där licenserna ofta är dyra. Idag använder Syntronic AB en programvara med en mycket större funktionalitet än de behöver för att utföra fordonsdiagnostik och all denna onödiga funktionalitet i programvaran har medfört onödigt långa körtider. Genom att studera CAN och UDS och genom att analysera hur de samverkar kunde jag skapa en programvara genom att systematiskt utveckla programvaran med två gränssnitt inkopplade i var sin dator och kontinuerligt testa implementationen mot den teoretiska grunden för att slutligen testa programvaran i en bil. Den skapade programvaran var bättre anpassad för företagets behov och den mer funktionalitetsanpassade programvaran kunde utföra samma diagnostik snabbare än företagets nuvarande programvara. Den UDS-tjänst företaget använde mest kunde implementeras och den skapade programvaran konstruerades så att fler UDS-tjänster kunde läggas till utan modifikation av huvudprogrammet eller dess funktioner.

    Ladda ner fulltext (pdf)
    fulltext
  • 29.
    Abrahamsson, Björn
    Linköpings universitet, Institutionen för systemteknik.
    Architectures for Multiplication in Galois Rings2004Självständigt arbete på grundnivå (yrkesexamen)Studentuppsats
    Abstract [en]

    This thesis investigates architectures for multiplying elements in Galois rings of the size 4^m, where m is an integer.

    The main question is whether known architectures for multiplying in Galois fields can be used for Galois rings also, with small modifications, and the answer to that question is that they can.

    Different representations for elements in Galois rings are also explored, and the performance of multipliers for the different representations is investigated.

    Ladda ner fulltext (pdf)
    FULLTEXT01
  • 30.
    Abrahamsson, David
    Linköpings universitet, Institutionen för datavetenskap.
    Security Enhanced Firmware Update Procedures in Embedded Systems2008Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats
    Abstract [en]

    Many embedded systems are complex, and it is often required that the firmware in these systems are updatable by the end-user. For economical and confidentiality reasons, it is important that these systems only accept firmware approved by the firmware producer.

    This thesis work focuses on creating a security enhanced firmware update procedure that is suitable for use in embedded systems. The common elements of embedded systems are described and various candidate algorithms are compared as candidates for firmware verification. Patents are used as a base for the proposal of a security enhanced update procedure. We also use attack trees to perform a threat analysis on an update procedure.

    The results are a threat analysis of a home office router and the proposal of an update procedure. The update procedure will only accept approved firmware and prevents reversion to old, vulnerable, firmware versions. The firmware verification is performed using the hash function SHA-224 and the digital signature algorithm RSA with a key length of 2048. The selection of algorithms and key lengths mitigates the threat of brute-force and cryptanalysis attacks on the verification algorithms and is believed to be secure through 2030.

    Ladda ner fulltext (pdf)
    FULLTEXT01
  • 31.
    Abrahamsson, Lars
    Linköpings universitet, Institutionen för systemteknik.
    A portal based system for indoor environs2006Självständigt arbete på grundnivå (yrkesexamen), 20 poäng / 30 hpStudentuppsats
    Abstract [en]

    The purpose of this thesis is to document the development of the graphics part of an extremely pluggable game engine/lab environment for a course in advanced game programming. This thesis is one out of five, and concerns indoor, realtime computer 3D graphics. It covers state-of-the-art techniques such as GLSL - the OpenGL Shading Language - and more well known techniques such as portal based rendering.

    Ladda ner fulltext (pdf)
    FULLTEXT01
  • 32.
    Abrahamsson, Linn
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Programvara och system.
    Melin Wenström, Peter
    Linköpings universitet, Institutionen för datavetenskap, Programvara och system.
    Användning av prototyper som verktyg för kravhantering i agil mjukvaruutveckling: - En fallstudie2018Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Kravhantering vid agil mjukvaruutveckling är en utmaning som allt fler företag ställs inför.Prototyper, modeller som liknar tilltänkta slutprodukter, kan användas för att inhämtaviktig information om det som ska utvecklas. För att beskriva hur lik en prototyp är dentilltänkta slutprodukten används begreppet verklighetsfaktor. Studiens syfte är dels attöka kunskapen kring prototypanvändning i agil mjukvaruutveckling, dels att undersökavilken effekt en prototyps verklighetsfaktor har då prototyper används i diskussioner inomkravhantering. En fallstudie görs på företaget Exsitec där personal intervjuas angående prototypanvändning i mjukvaruprojekt. Två prototyper utvecklas sedan med låg respekti-ve hög verklighetsfaktor och används som diskussionsunderlag i intervjuer. Studien visar att användning av prototyper i mjukvaruprojekt kan bidra till ökat förtroende hos kun-der, förbättrad kommunikation med kunder och kan förenkla att uppnå konsensus mellan olika intressenter. Vidare kan de, beroende av hur de används, bidra till helhetsbilden avprodukten och fungera som dokumentation. Studien påvisar även några, om än subtila, skillnader i den information som samlas in med hjälp av prototyper med låg respekti-ve hög verklighetsfaktor. Hög verklighetsfaktor tycks medföra att fler krav samlas in, men göra respondenter mindre benägna att vilja komma med förslag på mer omfattandeförändringar.

    Ladda ner fulltext (pdf)
    fulltext
  • 33.
    Abrahamsson, Marcus
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    A platform for third-party applications on the web2013Självständigt arbete på grundnivå (kandidatexamen), 10,5 poäng / 16 hpStudentuppsats (Examensarbete)
    Abstract [en]

    A trend seen on the web today is to create a platform where externally developed applications can run inside some kind of main application. This is often done by providing an API to access data and business logic of your service and a sandbox environment in which third-party applications can run. By providing this, it is made possible for external developers to come up with new ideas based on your service. Some good examples on this are Spotify Apps, Apps on Facebook and SalesForce.com.

    Ipendo Systems AB is a company that develops a web platform for intellectual properties. Currently most things on this platform are developed by developers at Ipendo Systems AB. Some interest has though risen to enable external developers to create applications that will in some way run inside the main platform.

    In this thesis an analysis of already existing solutions has been done. These solutions were Spotify Apps and Apps on Facebook. The two have different approaches on how to enable third-party applications to run inside their own service. Facebook’s solution builds mainly on iframe embedded web pages where data access is provided through a web API. Spotify on the other hand hosts the third-party applications themselves but the applications may only consist of HTML5, CSS3 and JavaScript.

    In addition to the analysis a prototype was developed. The purpose of the prototype was to show possible ways to enable third-party applications to run inside your own service. Two solutions showing this were developed. The first one was based on Facebook’s approach with iframing of external web pages. The second was a slightly modified version of Spotify’s solution with only client-side code hosted by the main application. To safely embed the client side code in the main application a sandboxing tool for JavaScript called Caja was used.

    Of the two versions implemented in the prototype was the Iframe solution considered more ready to be utilized in a production environment than Caja. Caja could be seen as an interesting technique for the future but might not be ready to use today. The reason behind this conclusion was that Caja decreased the performance of the written JavaScript as well as adding complexity while developing the third-party applications.

    Ladda ner fulltext (pdf)
    A platform for third-party applications on the web.pdf
  • 34.
    Abrahamsson, Olle
    et al.
    Linköpings universitet, Institutionen för systemteknik, Kommunikationssystem. Linköpings universitet, Tekniska fakulteten.
    Danev, Danyo
    Linköpings universitet, Institutionen för systemteknik, Kommunikationssystem. Linköpings universitet, Tekniska fakulteten.
    Larsson, Erik G
    Linköpings universitet, Institutionen för systemteknik, Kommunikationssystem. Linköpings universitet, Tekniska fakulteten.
    Opinion Dynamics with Random Actions and a Stubborn Agent2019Ingår i: CONFERENCE RECORD OF THE 2019 FIFTY-THIRD ASILOMAR CONFERENCE ON SIGNALS, SYSTEMS & COMPUTERS, IEEE , 2019, s. 1486-1490Konferensbidrag (Refereegranskat)
    Abstract [en]

    We study opinion dynamics in a social network with stubborn agents who influence their neighbors but who themselves always stick to their initial opinion. We consider first the well-known DeGroot model. While it is known in the literature that this model can lead to consensus even in the presence of a stubborn agent, we show that the same result holds under weaker assumptions than has been previously reported. We then consider a recent extension of the DeGroot model in which the opinion of each agent is a random Bernoulli distributed variable, and by leveraging on the first result we establish that this model also leads to consensus, in the sense of convergence in probability, in the presence of a stubborn agent. Moreover, all agents opinions converge to that of the stubborn agent.

  • 35.
    Abrahamsson, Peder
    Linköpings universitet, Institutionen för datavetenskap.
    Mer lättläst: Påbyggnad av ett automatiskt omskrivningsverktyg till lätt svenska2011Självständigt arbete på grundnivå (kandidatexamen), 12 poäng / 18 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Det svenska språket ska finnas tillgängligt för alla som bor och verkar i Sverige. Därförär det viktigt att det finns lättlästa alternativ för dem som har svårighet att läsa svensktext. Detta arbete bygger vidare på att visa att det är möjligt att skapa ett automatisktomskrivningsprogram som gör texter mer lättlästa. Till grund för arbetet liggerCogFLUX som är ett verktyg för automatisk omskrivning till lätt svenska. CogFLUXinnehåller funktioner för att syntaktiskt skriva om texter till mer lättläst svenska.Omskrivningarna görs med hjälp av omskrivningsregler framtagna i ett tidigare projekt.I detta arbete implementeras ytterligare omskrivningsregler och även en ny modul förhantering av synonymer. Med dessa nya regler och modulen ska arbetet undersöka omdet är det är möjligt att skapa system som ger en mer lättläst text enligt etableradeläsbarhetsmått som LIX, OVIX och Nominalkvot. Omskrivningsreglerna ochsynonymhanteraren testas på tre olika texter med en total lägnd på ungefär hundra tusenord. Arbetet visar att det går att sänka både LIX-värdet och Nominalkvoten signifikantmed hjälp av omskrivningsregler och synonymhanterare. Arbetet visar även att det finnsfler saker kvar att göra för att framställa ett riktigt bra program för automatiskomskrivning till lätt svenska.

    Ladda ner fulltext (pdf)
    fulltext
  • 36.
    Abrahamsson, Robin
    et al.
    Linköpings universitet, Institutionen för datavetenskap, Programvara och system.
    Berntsen, David
    Linköpings universitet, Institutionen för datavetenskap, Programvara och system.
    Comparing modifiability of React Native and two native codebases2017Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Creating native mobile application on multiple platforms generate a lot of duplicate code. This thesis has evaluated if the code quality attribute modifiability improves when migrating to React Native. One Android and one iOS codebase existed for an application and a third codebase was developed with React Native. The measurements of the codebases were based on the SQMMA-model. The metrics for the model were collected with static analyzers created specifically for this project. The results created consists of graphs that show the modifiability for some specific components over time and graphs that show the stability of the platforms. These graphs show that when measuring code metrics on applications over time it is better to do this on a large codebase that has been developed for some time. When calculating a modifiability value the sum of the metrics and the average value of the metrics between files should be used and it is shown that the React Native platform seems to be more stable than native.

    Ladda ner fulltext (pdf)
    fulltext
  • 37.
    Abrahamsson, Sara
    Linköpings universitet, Institutionen för datavetenskap.
    A model to evaluate front-end frameworks for single page applications written in JavaScript2023Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Despite a constantly growing selection of front-end JavaScript frameworks, there is a lack of research to guide the choice of which one to use in a software project. Instead, the decision is generally based on experience and personal preferences within the team. The aim of this thesis is therefore to present a structured evaluation model to provide for more informed decisions. A preliminary study is carried out where the most important qualities of a framework are identified, both according to previous literature and to practitioners. The pre-study result is used to construct a structured model to assess framework performance for the identified qualities. Finally, a test of the model is carried out to see if it can guide the choice of framework in a specific project. The study shows that the design of the model does contribute with important insights on framework performance in prioritized quality areas and the trade-offs that this entails for other important qualities. Thus, the model provides necessary information to make well-founded decisions. Furthermore, it fills the gap in contemporary research by providing an understanding of what is important in a framework according to practitioners.

    Ladda ner fulltext (pdf)
    fulltext
  • 38.
    Abrahamsson, Sara
    et al.
    Linköpings universitet, Institutionen för datavetenskap.
    Andersson, Frida
    Linköpings universitet, Institutionen för datavetenskap.
    Jaldevik, Albin
    Linköpings universitet, Institutionen för datavetenskap.
    Nyrfors, Frans
    Linköpings universitet, Institutionen för datavetenskap.
    Jareman, Erik
    Linköpings universitet, Institutionen för datavetenskap.
    Kröger, Oscar
    Linköpings universitet, Institutionen för datavetenskap.
    Tjern, Martin
    Linköpings universitet, Institutionen för datavetenskap.
    TopQ - a web-based queuing application: A case study in developing a queuing application for students and tutors with focus on navigability and design2021Självständigt arbete på grundnivå (kandidatexamen), 12 poäng / 18 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Studenters lärandeprocess kan påverkas negativt av långa väntetider för att få hjälp under lektions- och laborationspass. Studier visar att digitala kösystem reducerar väntetiden. Följaktligen är syftet med arbetet att undersöka hur en webb-baserad köapplikation kan designas för att uppnå en hög upplevd användbarhet hos studenter och handledare. Speciellt med avseende på navigerbarhet och design vilket enligt tidigare forskning har en direkt påverkan på användbarheten. För att uppnå en hög upplevd användbarhet utvecklades applikationen iterativt. I den första versionen implementerades funktionalitet som byggde på resultatet från förstudien i kombination med tidigare forskning. Efter användartester implementerades ändringar från den första versionen för att ytterlige förbättra användbarheten. Slutligen genomfördes ytterligare användartester för att bekräfta förbättringen i den slutgiltiga versionen. Resultatet visade att den första versionen av systemet uppfattades som 84 av 100 på systemanvändbarhetsskalan SUS och den slutgiltiga som 88 av 100, en förbättring med fyra enheter. Enhetlig design, ingen irrelevant funktionalitet, placering av knappar i iögonfallande positioner och att ha kontroller vid “farliga klick” verkar alla vara faktorer som bidrar till navigerbarheten, åtråvärdheten och där med användbarheten för en kö-applikation.

    Ladda ner fulltext (pdf)
    fulltext
  • 39.
    Abramian, David
    et al.
    Linköpings universitet, Institutionen för medicinsk teknik, Avdelningen för medicinsk teknik. Linköpings universitet, Tekniska fakulteten.
    Eklund, Anders
    Linköpings universitet, Institutionen för medicinsk teknik, Avdelningen för medicinsk teknik. Linköpings universitet, Institutionen för datavetenskap, Statistik och maskininlärning. Linköpings universitet, Tekniska fakulteten. Linköpings universitet, Centrum för medicinsk bildvetenskap och visualisering, CMIV.
    REFACING: RECONSTRUCTING ANONYMIZED FACIAL FEATURES USING GANS2019Ingår i: 2019 IEEE 16TH INTERNATIONAL SYMPOSIUM ON BIOMEDICAL IMAGING (ISBI 2019), IEEE , 2019, s. 1104-1108Konferensbidrag (Refereegranskat)
    Abstract [en]

    Anonymization of medical images is necessary for protecting the identity of the test subjects, and is therefore an essential step in data sharing. However, recent developments in deep learning may raise the bar on the amount of distortion that needs to be applied to guarantee anonymity. To test such possibilities, we have applied the novel CycleGAN unsupervised image-to-image translation framework on sagittal slices of T1 MR images, in order to reconstruct, facial features from anonymized data. We applied the CycleGAN framework on both face-blurred and face-removed images. Our results show that face blurring may not provide adequate protection against malicious attempts at identifying the subjects, while face removal provides more robust anonymization, but is still partially reversible.

    Ladda ner fulltext (pdf)
    fulltext
  • 40.
    Abrandt Dahlgren, Madeleine
    et al.
    Linköpings universitet, Institutionen för medicin och hälsa, Avdelningen för samhällsmedicin. Linköpings universitet, Medicinska fakulteten.
    Nordenström, Elin
    University of Gothenburg, Gothenburg, Sweden.
    Rooney, Donna
    University of TechnologySydneyAustralia.
    Rystedt, Hans
    University of Gothenburg, Gothenburg, Sweden.
    Video as a Tool for Researching Simulation Practices2019Ingår i: Video as a Tool for Researching Simulation Practices: Materiality, Embodiment, Interaction / [ed] Madeleine Abrandt Dahlgren, Hans Rystedt, Li Felländer-Tsai and Sofia Nyström, Cham: Springer Publishing Company, 2019, s. 31-55Kapitel i bok, del av antologi (Refereegranskat)
    Abstract [en]

    This chapter provides examples of how arrangements for collection and analyses of video data were organized across different sites. The common approach to data collection builds on established methods for recording of audiovisual materials in the social sciences with a focus on interaction and learning. The chapter describes how arrangements for data collection across different sites were organised, and how video analysis can be used as a method for collaborative analysis of practices. One approach is entitled purposeful approach to collaborative data analysis. A second approach draws on video-based studies of situated action, and a third approach of analysis is the use of qualitatively different readings of the same data. One does not replace the other, but rather draws out different features.

  • 41.
    Abrikosov, Alexei I.
    et al.
    Linköpings universitet, Institutionen för teknik och naturvetenskap, Medie- och Informationsteknik. Linköpings universitet, Tekniska fakulteten.
    Masood, Talha Bin
    Linköpings universitet, Institutionen för teknik och naturvetenskap, Medie- och Informationsteknik. Linköpings universitet, Tekniska fakulteten.
    Falk, Martin
    Linköpings universitet, Institutionen för teknik och naturvetenskap, Medie- och Informationsteknik. Linköpings universitet, Tekniska fakulteten.
    Hotz, Ingrid
    Linköpings universitet, Institutionen för teknik och naturvetenskap, Medie- och Informationsteknik. Linköpings universitet, Tekniska fakulteten.
    Topological analysis of density fields: An evaluation of segmentation methods2021Ingår i: Computers & graphics, ISSN 0097-8493, E-ISSN 1873-7684, Vol. 98, s. 231-241Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Topological and geometric segmentation methods provide powerful concepts for detailed field analysis and visualization. However, when it comes to a quantitative analysis that requires highly accurate geometric segmentation, there is a large discrepancy between the promising theory and the available computational approaches. In this paper, we compare and evaluate various segmentation methods with the aim to identify and quantify the extent of these discrepancies. Thereby, we focus on an application from quantum chemistry: the analysis of electron density fields. It is a scalar quantity that can be experimentally measured or theoretically computed. In the evaluation we consider methods originating from the domain of quantum chemistry and computational topology. We apply the methods to the charge density of a set of crystals and molecules. Therefore, we segment the volumes into atomic regions and derive and compare quantitative measures such as total charge and dipole moments from these regions. As a result, we conclude that an accurate geometry determination can be crucial for correctly segmenting and analyzing a scalar field, here demonstrated on the electron density field.

    Ladda ner fulltext (pdf)
    fulltext
  • 42.
    Abu Baker, Mohamed
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar.
    Agile Prototyping: A combination of different approaches into one main process2009Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Software prototyping is considered to be one of the most important tools that are used by software engineersnowadays to be able to understand the customer’s requirements, and develop software products that are efficient,reliable, and acceptable economically. Software engineers can choose any of the available prototyping approaches tobe used, based on the software that they intend to develop and how fast they would like to go during the softwaredevelopment. But generally speaking all prototyping approaches are aimed to help the engineers to understand thecustomer’s true needs, examine different software solutions and quality aspect, verification activities…etc, that mightaffect the quality of the software underdevelopment, as well as avoiding any potential development risks.A combination of several prototyping approaches, and brainstorming techniques which have fulfilled the aim of theknowledge extraction approach, have resulted in developing a prototyping approach that the engineers will use todevelop one and only one throwaway prototype to extract more knowledge than expected, in order to improve thequality of the software underdevelopment by spending more time studying it from different points of view.The knowledge extraction approach, then, was applied to the developed prototyping approach in which thedeveloped model was treated as software prototype, in order to gain more knowledge out of it. This activity hasresulted in several points of view, and improvements that were implemented to the developed model and as a resultAgile Prototyping AP, was developed. AP integrated more development approaches to the first developedprototyping model, such as: agile, documentation, software configuration management, and fractional factorialdesign, in which the main aim of developing one, and only one prototype, to help the engineers gaining moreknowledge, and reducing effort, time, and cost of development was accomplished but still developing softwareproducts with satisfying quality is done by developing an evolutionary prototyping and building throwawayprototypes on top of it.

    Ladda ner fulltext (pdf)
    FULLTEXT01
    Ladda ner (pdf)
    COVER01
  • 43. Beställ onlineKöp publikationen >>
    Abugessaisa, Imad
    Linköpings universitet, Institutionen för datavetenskap, GIS - Geografiska informationssystem. Linköpings universitet, Tekniska högskolan.
    Analytical tools and information-sharing methods supporting road safety organizations2008Doktorsavhandling, sammanläggning (Övrigt vetenskapligt)
    Abstract [en]

    A prerequisite for improving road safety are reliable and consistent sources of information about traffic and accidents, which will help assess the prevailing situation and give a good indication of their severity. In many countries there is under-reporting of road accidents, deaths and injuries, no collection of data at all, or low quality of information. Potential knowledge is hidden, due to the large accumulation of traffic and accident data. This limits the investigative tasks of road safety experts and thus decreases the utilization of databases. All these factors can have serious effects on the analysis of the road safety situation, as well as on the results of the analyses.

    This dissertation presents a three-tiered conceptual model to support the sharing of road safety–related information and a set of applications and analysis tools. The overall aim of the research is to build and maintain an information-sharing platform, and to construct mechanisms that can support road safety professionals and researchers in their efforts to prevent road accidents. GLOBESAFE is a platform for information sharing among road safety organizations in different countries developed during this research.

    Several approaches were used, First, requirement elicitation methods were used to identify the exact requirements of the platform. This helped in developing a conceptual model, a common vocabulary, a set of applications, and various access modes to the system. The implementation of the requirements was based on iterative prototyping. Usability methods were introduced to evaluate the users’ interaction satisfaction with the system and the various tools. Second, a system-thinking approach and a technology acceptance model were used in the study of the Swedish traffic data acquisition system. Finally, visual data mining methods were introduced as a novel approach to discovering hidden knowledge and relationships in road traffic and accident databases. The results from these studies have been reported in several scientific articles.

    Delarbeten
    1. Ontological Approach to Modeling Information Systems
    Öppna denna publikation i ny flik eller fönster >>Ontological Approach to Modeling Information Systems
    2004 (Engelska)Ingår i: Proceedings of the Fourth International Conference on Computer and information Technology (Cit'04), 14–16 September, Wuhan, China: IEEE Computer Society, Washington, DC, 2004, s. 1122-1127Konferensbidrag, Publicerat paper (Övrigt vetenskapligt)
    Abstract [en]

    In recent years, the use of formal tools in information system modeling and development represents a potential area of research in computer science. In 1967, the term ontology appeared for the first time in computer science literature as S. H. Mealy introduced it as a basic foundation in data modeling. The main objective of this paper is to discuss the concept of ontology (from a philosophical perspective) as it was used to bridge the gap between philosophy and information systems science, and to investigate ontology types that can be found during ontological investigation and the methods used in the investigation process. The secondary objective of this paper is to study different design and engineering approaches of ontology as well as development environments that are used to create and edit ontologies.

    Nyckelord
    Ontology, Conceptual Model
    Nationell ämneskategori
    Teknik och teknologier
    Identifikatorer
    urn:nbn:se:liu:diva-13184 (URN)10.1109/CIT.2004.1357345 (DOI)
    Tillgänglig från: 2008-04-28 Skapad: 2008-04-28 Senast uppdaterad: 2009-04-21
    2. Benchmarking Road Safety Situations Using OGC Model of Portrayal Workflow
    Öppna denna publikation i ny flik eller fönster >>Benchmarking Road Safety Situations Using OGC Model of Portrayal Workflow
    2005 (Engelska)Ingår i: Proceedings of the 13th International Conference on Geoinformatics (GeoInformatics’5), 17-19 August, Toronto, Canada: Ryerson University, 2005Konferensbidrag, Publicerat paper (Övrigt vetenskapligt)
    Nyckelord
    road safety, benchmarking, OGC model
    Nationell ämneskategori
    Teknik och teknologier
    Identifikatorer
    urn:nbn:se:liu:diva-13185 (URN)
    Tillgänglig från: 2008-04-28 Skapad: 2008-04-28 Senast uppdaterad: 2009-04-21
    3. Map as Interface for Shared Information: A Study of Design Principles and User Interaction Satisfaction
    Öppna denna publikation i ny flik eller fönster >>Map as Interface for Shared Information: A Study of Design Principles and User Interaction Satisfaction
    2006 (Engelska)Ingår i: IADIS International Conference WWW/Internet 2006: Murcia, Spain, 2006, s. 377-384Konferensbidrag, Publicerat paper (Refereegranskat)
    Nyckelord
    Maps, shared information, design priciples, user satisfaction
    Nationell ämneskategori
    Teknik och teknologier
    Identifikatorer
    urn:nbn:se:liu:diva-13186 (URN)972-8924-19-4 (ISBN)
    Tillgänglig från: 2008-04-28 Skapad: 2008-04-28 Senast uppdaterad: 2009-02-05Bibliografiskt granskad
    4. GLOBESAFE: A Platform for Information-Sharing Among Road Safety Organizations
    Öppna denna publikation i ny flik eller fönster >>GLOBESAFE: A Platform for Information-Sharing Among Road Safety Organizations
    2007 (Engelska)Ingår i: IFIP-W.G. 9th International Conference on Social Implications of Computers in Developing Countries: May 2007, São Paulo, Brazil, 2007, s. 1-10Konferensbidrag, Publicerat paper (Refereegranskat)
    Nyckelord
    information sharing, road safety
    Nationell ämneskategori
    Teknik och teknologier
    Identifikatorer
    urn:nbn:se:liu:diva-13187 (URN)
    Tillgänglig från: 2008-04-28 Skapad: 2008-04-28 Senast uppdaterad: 2009-04-23Bibliografiskt granskad
    5. A Systemic View on Swedish Traffic Accident Data Acquisition System
    Öppna denna publikation i ny flik eller fönster >>A Systemic View on Swedish Traffic Accident Data Acquisition System
    2007 (Engelska)Ingår i: Proceedings of the 14th International Conference on Road Safety on Four Continents (RS4C), 14-16 November, Bangkok, Thailand, Sweden: VTI , 2007, s. 1-12Konferensbidrag, Publicerat paper (Refereegranskat)
    Abstract [en]

    This paper presents work in progress to study information sharing among road safety organizations. The focus is to study accident data acquisition system. In 2002, Swedish Road Transport authority (SRT) has accepted STRADA as accident reporting system to be used by the police all over Sweden. Such system is vital for coordinating, maintaining and auditing road safety in the country. Normally road accidents are reported by the police or by Emergency unit at the hospital. However more than 50% of the hospitals in Sweden didn’t use the system which decrease the utilization of the system and reduce the quality of the information that demanded. By using system thinking approach in this study we try to see why such situation is occurred and how changes can be introduced and handle to overcome such problem. Interviews conducted with focus group and different users of the system. To investigate the issues related to the acceptance of the system we use Technology Acceptance Model (TAM). We recommend getting the user involved in the life cycle of the STRADA and also the developers could use enabling system to overcome problems in related to system usability and complexity. Also we suggest the use of iterative development to govern the life cycle.

    Ort, förlag, år, upplaga, sidor
    Sweden: VTI, 2007
    Nyckelord
    STRADA Information sharing Road accidents recording system
    Nationell ämneskategori
    Teknik och teknologier
    Identifikatorer
    urn:nbn:se:liu:diva-13188 (URN)
    Tillgänglig från: 2008-04-28 Skapad: 2008-04-28 Senast uppdaterad: 2009-04-23Bibliografiskt granskad
    6. Knowledge Discovery in Road Accidents Database Integration of Visual and Automatic Data Mining Methods
    Öppna denna publikation i ny flik eller fönster >>Knowledge Discovery in Road Accidents Database Integration of Visual and Automatic Data Mining Methods
    2008 (Engelska)Ingår i: International Journal of Public Information Systems, ISSN 1653-4360, Vol. 1, s. 59-85Artikel i tidskrift (Refereegranskat) Published
    Abstract [en]

    Road accident statistics are collected and used by a large number of users and this can result in a huge volume of data which requires to be explored in order to ascertain the hidden knowledge. Potential knowledge may be hidden because of the accumulation of data, which limits the exploration task for the road safety expert and, hence, reduces the utilization of the database. In order to assist in solving these problems, this paper explores Automatic and Visual Data Mining (VDM) methods. The main purpose is to study VDM methods and their applicability to knowledge discovery in a road accident databases. The basic feature of VDM is to involve the user in the exploration process. VDM uses direct interactive methods to allow the user to obtain an insight into and recognize different patterns in the dataset. In this paper, I apply a range of methods and techniques, including a paradigm for VDM, exploratory data analysis, and clustering methods, such as K-means algorithms, hierarchical agglomerative clustering (HAC), classification trees, and self-organized-maps (SOM). These methods assist in integrating VDM with automatic data mining algorithms. Open source VDM tools offering visualization techniques were used. The first contribution of this paper lies in the area of discovering clusters and different relationships (such as the relationship between socioeconomic indicators and fatalities, traffic risk and population, personal risk and car per capita, etc.) in the road safety database. The methods used were very useful and valuable for detecting clusters of countries that share similar traffic situations. The second contribution was the exploratory data analysis where the user can explore the contents and the structure of the data set at an early stage of the analysis. This is supported by the filtering components of VDM. This assists expert users with a strong background in traffic safety analysis to be able to intimate assumptions and hypotheses concerning future situations. The third contribution involved interactive explorations based on brushing and linking methods; this novel approach assists both the experienced and inexperienced users to detect and recognize interesting patterns in the available database. The results obtained showed that this approach offers a better understanding of the contents of road safety databases, with respect to current statistical techniques and approaches used for analyzing road safety situations.

    Nyckelord
    Visual data mining, K-Means, HAC, SOM, InfoVis, IRTAD, GLOBESAFE
    Nationell ämneskategori
    Teknik och teknologier
    Identifikatorer
    urn:nbn:se:liu:diva-13189 (URN)
    Tillgänglig från: 2008-04-28 Skapad: 2008-04-28 Senast uppdaterad: 2009-01-26
    Ladda ner fulltext (pdf)
    FULLTEXT01
    Ladda ner (pdf)
    COVER01
  • 44.
    Achi, Abdelkader
    et al.
    Centre de Recherche en Informatique, Université Paris 1 Panthéon-Sorbonne, Paris, France.
    Salinesi, Camille
    Centre de Recherche en Informatique, Université Paris 1 Panthéon-Sorbonne, Paris, France.
    Viscusi, Gianluigi
    College of Management of Technology (CDM), École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland.
    Information Systems for Innovation: A Comparative Analysis of Maturity Models’ Characteristics2016Ingår i: CAiSE 2016 International Workshops / [ed] John Krogstie, Haralambos Mouratidis, Jianwen Su, Cham: Springer International Publishing , 2016, Vol. 249, s. 78-90Konferensbidrag (Övrigt vetenskapligt)
    Abstract [en]

    Nowadays, virtually all industries are impacted by the digitalization of business enabled by information and communication technologies. Consequently, it is a major challenge to any business to increase its ability to innovate through information systems. However the effort and the investments of companies are extremely varied, they do not have the same level of maturity with respect to their innovation strategy. While some highly mature use effective approaches, others still act as novices or use inadequate practices. The question raised in this paper is how to evaluate the level of maturity of an organization with respect to information systems based innovation. Also, the question concerns the identification of the salient features of ICT centred innovation maturity models. Taking these issues into account, the paper makes the following contributions: (i) a review of sixteen innovation maturity models collected from the research and the practitioners community, gathering facts about the models and about their effectiveness; (ii) a comparative analysis of these models.

  • 45.
    Achichi, Manel
    et al.
    Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier (LIRMM), France; University of Montpellier, France.
    Cheatham, Michelle
    Wright State University, USA.
    Dragisic, Zlatan
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Euzenat, Jerome
    INRIA, France; University Grenoble Alpes, Grenoble, France.
    Faria, Daniel
    Instituto Gulbenkian de Ciencia, Lisbon, Portugal.
    Ferrara, Alfio
    Universita degli studi di Milano, Italy.
    Flouris, Giorgos
    Institute of Computer Science-FORTH, Heraklion, Greece.
    Fundulaki, Irini
    Institute of Computer Science-FORTH, Heraklion, Greece.
    Harrow, Ian
    Pistoia Alliance Inc., USA.
    Ivanova, Valentina
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Jimenez-Ruiz, Ernesto
    University of Oslo, Norway.
    Kolthoff, Kristian
    University of Mannheim, Germany.
    Kuss, Elena
    University of Mannheim, Germany.
    Lambrix, Patrick
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Leopold, Henrik
    Vrije Universiteit Amsterdam, Netherlands.
    Li, Huanyu
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska fakulteten.
    Meilicke, Christian
    University of Mannheim, Germany.
    Mohammadi, Majid
    Technical University of Delft, Netherlands.
    Montanelli, Stefano
    Universita degli studi di Milano, Italy.
    Pesquita, Catia
    Universidade de Lisboa, Portugal.
    Saveta, Tzanina
    Institute of Computer Science-FORTH, Heraklion, Greece.
    Shvaiko, Pavel
    Informatica Trentina, Trento, Italy.
    Splendiani, Andrea
    Pistoia Alliance Inc., USA.
    Stuckenschmidt, Heiner
    University of Mannheim, Germany.
    Thieblin, Elodie
    Institut de Recherche en Informatique de Toulouse (IRIT), France; Universite Toulouse II, Toulouse, France.
    Todorov, Konstantin
    Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier (LIRMM), France; University of Montpellier, France.
    Trojahn, Cassia
    Institut de Recherche en Informatique de Toulouse (IRIT); Universite Toulouse II, Toulouse, France.
    Zamazal, Ondrej
    University of Economics, Prague, Czech Republic.
    Results of the Ontology Alignment Evaluation Initiative 20172017Ingår i: Proceedings of the 12th International Workshop on Ontology Matching co-located with the 16th International Semantic Web Conference (ISWC 2017) / [ed] Pavel Shvaiko, Jerome Euzenat, Ernesto Jimenez-Ruiz, Michelle Cheatham, Oktie Hassanzadeh, Aachen, Germany: CEUR Workshop Proceedings , 2017, s. 61-113Konferensbidrag (Refereegranskat)
  • 46.
    Achichi, Manel
    et al.
    LIRMM, University of Montpellier, France.
    Cheatham, Michelle
    Wright State University, USA.
    Dragisic, Zlatan
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Euzenat, Jerome
    INRIA, France; Univ. Grenoble Alpes, Grenoble, France.
    Faria, Daniel
    Instituto Gulbenkian de Ciencia, Lisbon, Portugal.
    Ferrara, Alfio
    Universita degli studi di Milano, Italy.
    Flouris, Giorgos
    Institute of Computer Science-FORTH, Heraklion, Greece.
    Fundulaki, Irini
    Institute of Computer Science-FORTH, Heraklion, Greece.
    Harrow, Ian
    Pistoia Alliance Inc., USA.
    Ivanova, Valentina
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Jiménez-Ruiz, Ernesto
    University of Oslo, Norway; University of Oxford, UK.
    Kuss, Elena
    University of Mannheim, Germany.
    Lambrix, Patrick
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska högskolan.
    Leopold, Henrik
    Vrije Universiteit Amsterdam, The Netherlands.
    Li, Huanyu
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska fakulteten.
    Meilicke, Christian
    University of Mannheim, Germany.
    Montanelli, Stefano
    Universita degli studi di Milano, Italy.
    Pesquita, Catia
    Universidade de Lisboa, Portugal.
    Saveta, Tzanina
    Institute of Computer Science-FORTH, Heraklion, Greece.
    Shvaiko, Pavel
    TasLab, Informatica Trentina, Trento, Italy.
    Splendiani, Andrea
    Novartis Institutes for Biomedical Research, Basel, Switzerland.
    Stuckenschmidt, Heiner
    University of Mannheim, Germany.
    Todorov, Konstantin
    LIRMM, University of Montpellier, France.
    Trojahn, Cassia
    IRIT, Toulouse, France; Université Toulouse II, Toulouse, France.
    Zamazal, Ondřej
    University of Economics, Prague, Czech Republic.
    Results of the Ontology Alignment Evaluation Initiative 20162016Ingår i: Proceedings of the 11th International Workshop on Ontology Matching, Aachen, Germany: CEUR Workshop Proceedings , 2016, s. 73-129Konferensbidrag (Refereegranskat)
  • 47.
    Achu, Denis
    Linköpings universitet, Institutionen för datavetenskap.
    Application of Gis in Temporal and Spatial Analyses of Dengue Fever Outbreak: Case of Rio de Janeiro, Brazil2009Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats
    Abstract [en]

    Since Dengue fever (DF) and its related forms, Dengue Hemorrhagic fever (DHF) and Dengue Shock Syndrome (DSS) have become important health concerns worldwide, it is also imperative to develop methods which will help in the analysis of the incidences. Dengue fever cases are growing in number as it also invades widely, affecting larger number of countries and crossing climatic boundaries. Considering that the disease as of now has neither an effective vaccine nor a cure, monitoring in order to prevent or control is the resorted alternative. GIS and its related technologies offer a wealth of interesting capabilities towards achieving this goal.

    The intention of this study was to develop methods to describe dengue fever outbreaks taking Rio de Janeiro, Brazil as a case study. Careful study of Census data with appropriate attributes was made to find out their potential influence on dengue fever incidence in the various regions or census districts. Dengue incidence data from year 2000 to year 2008 reported by the municipal secretariat of Rio was used to extract the necessary census districts. Base map files in MapInfo format were converted to shape files.  Using ArcGIS it was possible to merge the dengue fever incidence data with the available base map file of the City of Rio according to corresponding census districts. Choropleth maps were then created using different attributes from which patterns and trends could be used to describe the characteristic of the outbreak with respect to the socio-economic conditions. Incidence data were also plotted in Excel to see temporal variations. Cluster analysis were performed with the Moran I technique on critical periods and years of dengue outbreak. Using the square root of dengue incidence from January to April 2002 and 2008, inverse distance was selected as the conceptualised spatial relationship, Euclidean distance as the distance method. More detailed analyses were then done on the selected critical years of dengue outbreak, (years 2002 and 2008), to investigate the influence of socio-economic variables on dengue incidence per census district.

     

    Dengue incidence rate appeared to be higher during the rainy and warmer months between December and May. Outbreaks of dengue occurred in years 2002 and 2008 over the study period of year 2000 to 2008. Some factors included in the census data were influential in the dengue prevalence according to districts. Satisfactory results can be achieved by using this strategy as a quick method for assessing potential dengue attack, spread and possible enabling conditions. The method has the advantage where there is limited access to field work, less financial means for acquisition of data and other vital resources.

    A number of difficulties were encountered during the study however and leaves areas where further work can be done for improvements. More variables would be required in order to make a complete and comprehensive description of influential conditions and factors.  There is still a gap in the analytical tools required for multi-dimensional investigations as the ones encountered in this study.  It is vital to integrate ‘GPS’ and ‘Remote Sensing’ in order to obtain a variety of up-to-date data with higher resolution.

     

    Ladda ner fulltext (pdf)
    FULLTEXT01
  • 48.
    Acosta, Maribel
    et al.
    Karlsruhe Institute of Technology.
    Hartig, Olaf
    Linköpings universitet, Institutionen för datavetenskap, Databas och informationsteknik. Linköpings universitet, Tekniska fakulteten.
    Sequeda, Juan
    Capsenta.
    Federated RDF query processing2019Ingår i: Encyclopedia of big data technologies / [ed] Sherif Sakr, Albert Zomaya, Cham: Springer, 2019Kapitel i bok, del av antologi (Refereegranskat)
    Abstract [en]

    Federated RDF query processing is concerned with querying a federation of RDF data sources where the queries are expressed using a declarative query language (typically, the RDF query language SPARQL), and the data sources are autonomous and heterogeneous. The current literature in this context assumes that the data and the data sources are semantically homogeneous, while heterogeneity occurs at the level of data formats and access protocols.

  • 49.
    Adamsson, Christian
    et al.
    Linköpings universitet, Institutionen för teknik och naturvetenskap, Medie- och Informationsteknik. Linköpings universitet, Tekniska högskolan.
    Ho, Emilie
    Linköpings universitet, Institutionen för teknik och naturvetenskap, Medie- och Informationsteknik. Linköpings universitet, Tekniska högskolan.
    Interactive 3D-visualization of a Solar Particle Event for Public Outreach2020Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    This report presents the work of our Master´s thesis carried out remotely at the Community Coordinated Modeling Center at the National Aeronautics and Space Administration (NASA) Goddard Space Flight Center. In collaboration with the American Museum of Natural History (AMNH), Linköping University and Predictive Science Inc. The report presents and evaluates an implementation of an interactive 3D visualization of a Solar Particle Event in OpenSpace, an open source astrovisualization software. Data from a model developed by Predictive Science Inc. was used to implement the visualization. The visualization is done by visualizing fluxes of particles as points and utilizing a volumetric data set by applying 2D textures to geometrical shapes. The goal of these visualizations is to help describe the effect of space weather phenomena to the general public. The research conducted is focused on how to visualize a big Solar Particle Event to emphasize or showcase different aspects, such as the radiation exposure close to Earth. The result of the work is an interactive real-time visualization of a Solar Particle Event designed for public outreach. The project culminated in two live streamed events with AMNH, in collaboration with NASA and Predictive Science Inc. 

    Ladda ner fulltext (pdf)
    fulltext
  • 50.
    Adamsson, Gustav
    Linköpings universitet, Institutionen för systemteknik, Informationskodning. Linköpings universitet, Tekniska fakulteten.
    Fast and Approximate Text Rendering Using Distance Fields2015Självständigt arbete på avancerad nivå (magisterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Distance field text rendering has many advantages compared to most other text renderingsolutions. Two of the advantages are the possibility  to scale the glyphs without losing the crisp edge and less memory consumption. A drawback with distance field text renderingcan be high distance field generation time. The solution for fast distance field text renderingin this thesis generates the distance fields by drawing distance gradients locally over the outlines of the glyphs. This method is much faster than the old exact methods for generating distance fields that often includes multiple passes over the whole image.

    Using the solution for text rendering proposed in this thesis results in good looking text that is generated on the fly. The distance fields are generated on a mobile device in less than 10 ms for most of the glyphs in good quality which is less than the time between two frames.

    Ladda ner fulltext (pdf)
    fulltext
1234567 1 - 50 av 8903
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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