LIVIVO - The Search Portal for Life Sciences

zur deutschen Oberfläche wechseln
Advanced search

Search results

Result 1 - 10 of total 91

Search options

  1. Book ; Online: Ernst Denert Award for Software Engineering 2022

    Bodden, Eric / Felderer, Michael / Hasselbring, Wilhelm / Herber, Paula / Koziolek, Heiko / Lilienthal, Carola / Matthes, Florian / Prechelt, Lutz / Rumpe, Bernhard / Schaefer, Ina

    Practice Meets Foundations

    2024  

    Author's details edited by Eric Bodden, Michael Felderer, Wilhelm Hasselbring, Paula Herber, Heiko Koziolek, Carola Lilienthal, Florian Matthes, Lutz Prechelt, Bernhard Rumpe, Ina Schaefer
    Keywords Software engineering ; Software engineering/Management
    Language English
    Size 1 Online-Ressource (V, 176 p. 47 illus., 38 illus. in color)
    Edition 1st ed. 2024
    Publisher Springer Nature Switzerland ; Imprint: Springer
    Publishing place Cham
    Document type Book ; Online
    HBZ-ID HT030710611
    ISBN 978-3-031-44412-8 ; 9783031444111 ; 9783031444135 ; 9783031444142 ; 3-031-44412-4 ; 3031444116 ; 3031444132 ; 3031444140
    DOI 10.1007/978-3-031-44412-8
    Database ZB MED Catalogue: Medicine, Health, Nutrition, Environment, Agriculture

    More links

    Kategorien

  2. Book ; Online: Ernst Denert Award for Software Engineering 2020

    Felderer, Michael / Hasselbring, Wilhelm / Koziolek, Heiko / Matthes, Florian / Prechelt, Lutz / Reussner, Ralf / Rumpe, Bernhard / Schaefer, Ina

    Practice Meets Foundations

    2022  

    Author's details edited by Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf Reussner, Bernhard Rumpe, Ina Schaefer
    Keywords Software engineering ; Business information services ; Electronic data processing—Management
    Subject code 005.1
    Language English
    Size 1 Online-Ressource (VI, 293 p. 89 illus., 66 illus. in color)
    Edition 1st ed. 2022
    Publisher Springer International Publishing ; Imprint: Springer
    Publishing place Cham
    Document type Book ; Online
    HBZ-ID HT021267239
    ISBN 978-3-030-83128-8 ; 9783030831271 ; 9783030831295 ; 9783030831301 ; 3-030-83128-0 ; 3030831272 ; 3030831299 ; 3030831302
    DOI 10.1007/978-3-030-83128-8
    Database ZB MED Catalogue: Medicine, Health, Nutrition, Environment, Agriculture

    More links

    Kategorien

  3. Book ; Online: Ernst Denert Award for Software Engineering 2020

    Felderer, Michael / Hasselbring, Wilhelm / Koziolek, Heiko / Matthes, Florian / Prechelt, Lutz / Reussner, Ralf / Rumpe, Bernhard / Schaefer, Ina

    Practice Meets Foundations

    2022  

    Keywords Software Engineering ; Business mathematics & systems ; Information architecture ; Software Development ; Requirements Engineering ; Software Modeling ; Software Research ; Ernst Denert Award
    Language 0|e
    Size 1 electronic resource (293 pages)
    Publisher Springer Nature
    Publishing place Cham
    Document type Book ; Online
    Note English ; Open Access
    HBZ-ID HT021610841
    ISBN 9783030831288 ; 3030831280
    Database ZB MED Catalogue: Medicine, Health, Nutrition, Environment, Agriculture

    More links

    Kategorien

  4. Book ; Online: Ernst Denert Award for Software Engineering 2019

    Felderer, Michael / Hasselbring, Wilhelm / Koziolek, Heiko / Matthes, Florian / Prechelt, Lutz / Reussner, Ralf / Rumpe, Bernhard / Schaefer, Ina

    Practice Meets Foundations

    2020  

    Author's details edited by Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf Reussner, Bernhard Rumpe, Ina Schaefer
    Keywords Software engineering ; Management information systems ; Computer science
    Subject code 005.1
    Language English
    Size 1 Online-Ressource (V, 140 p. 58 illus., 6 illus. in color)
    Edition 1st ed. 2020
    Publisher Springer International Publishing ; Imprint: Springer
    Publishing place Cham
    Document type Book ; Online
    HBZ-ID HT020690847
    ISBN 978-3-030-58617-1 ; 9783030586164 ; 9783030586188 ; 9783030586195 ; 3-030-58617-0 ; 3030586162 ; 3030586189 ; 3030586197
    DOI 10.1007/978-3-030-58617-1
    Database ZB MED Catalogue: Medicine, Health, Nutrition, Environment, Agriculture

    More links

    Kategorien

  5. Book ; Online: Ernst Denert Award for Software Engineering 2019 : Practice Meets Foundations

    Felderer, Michael / Hasselbring, Wilhelm / Koziolek, Heiko / Matthes, Florian / Prechelt, Lutz / Reussner, Ralf / Rumpe, Bernhard / Schaefer, Ina

    2020  

    Keywords Software Engineering ; Business mathematics & systems ; Information architecture ; Software Management ; Management of Computing and Information Systems ; IT in Business ; IT Operations ; Software Development ; Requirements Engineering ; Software Modeling ; Software Research ; Open Access ; Ernst Denert Award ; Business applications ; Maintenance & repairs
    Size 1 electronic resource (140 pages)
    Publisher Springer Nature
    Document type Book ; Online
    Note English ; Open Access
    HBZ-ID HT021029833
    ISBN 978-3-030-58617-1 ; 3-030-58617-0
    Database ZB MED Catalogue: Medicine, Health, Nutrition, Environment, Agriculture

    More links

    Kategorien

  6. Book ; Online: A Universal System for OpenID Connect Sign-ins with Verifiable Credentials and Cross-Device Flow

    Hoops, Felix / Matthes, Florian

    2024  

    Abstract: Self-Sovereign Identity (SSI), as a new and promising identity management paradigm, needs mechanisms that can ease a gradual transition of existing services and developers towards it. Systems that bridge the gap between SSI and established identity and ... ...

    Abstract Self-Sovereign Identity (SSI), as a new and promising identity management paradigm, needs mechanisms that can ease a gradual transition of existing services and developers towards it. Systems that bridge the gap between SSI and established identity and access management have been proposed but still lack adoption. We argue that they are all some combination of too complex, locked into specific ecosystems, have no source code available, or are not sufficiently documented. We propose a comparatively simple system that enables SSI-based sign-ins for services that support the widespread OpenID Connect or OAuth 2.0 protocols. Its handling of claims is highly configurable through a single policy and designed for cross-device authentication flows involving a smartphone identity wallet. For external interfaces, we solely rely on open standards, such as the recent OpenID for Verifiable Credentials standards. We provide our implementation as open-source software intended for prototyping and as a reference. Also, we contribute a detailed technical discussion of our particular sign-in flow. To prove its feasibility, we have successfully tested it with existing software and realistic hardware.

    Comment: Submitted to IEEE ICBC 24 for review
    Keywords Computer Science - Cryptography and Security ; Computer Science - Software Engineering
    Subject code 005
    Publishing date 2024-01-16
    Publishing country us
    Document type Book ; Online
    Database BASE - Bielefeld Academic Search Engine (life sciences selection)

    More links

    Kategorien

  7. Book ; Online ; Thesis: Public Key Infrastructures and Blockchain Systems

    Gallersdörfer, Ulrich Simon Stefan Verfasser] / [Matthes, Florian [Akademischer Betreuer] / Groh, Georg Gutachter] / [Matthes, Florian [Gutachter]

    Utilizing Internet Public Key Infrastructures to Leverage Their Trust and Adoption in Blockchain Systems

    2024  

    Author's details Ulrich Simon Stefan Gallersdörfer ; Gutachter: Georg Groh, Florian Matthes ; Betreuer: Florian Matthes
    Keywords Wirtschaft ; Economics
    Subject code sg330
    Language English
    Publisher Universitätsbibliothek der TU München
    Publishing place München
    Document type Book ; Online ; Thesis
    Database Digital theses on the web

    More links

    Kategorien

  8. Book ; Online: Scientific Fact-Checking

    Vladika, Juraj / Matthes, Florian

    A Survey of Resources and Approaches

    2023  

    Abstract: The task of fact-checking deals with assessing the veracity of factual claims based on credible evidence and background knowledge. In particular, scientific fact-checking is the variation of the task concerned with verifying claims rooted in scientific ... ...

    Abstract The task of fact-checking deals with assessing the veracity of factual claims based on credible evidence and background knowledge. In particular, scientific fact-checking is the variation of the task concerned with verifying claims rooted in scientific knowledge. This task has received significant attention due to the growing importance of scientific and health discussions on online platforms. Automated scientific fact-checking methods based on NLP can help combat the spread of misinformation, assist researchers in knowledge discovery, and help individuals understand new scientific breakthroughs. In this paper, we present a comprehensive survey of existing research in this emerging field and its related tasks. We provide a task description, discuss the construction process of existing datasets, and analyze proposed models and approaches. Based on our findings, we identify intriguing challenges and outline potential future directions to advance the field.

    Comment: 9 pages, ACL 2023 (Findings)
    Keywords Computer Science - Computation and Language
    Subject code 028
    Publishing date 2023-05-26
    Publishing country us
    Document type Book ; Online
    Database BASE - Bielefeld Academic Search Engine (life sciences selection)

    More links

    Kategorien

  9. Book ; Online: Sebis at SemEval-2023 Task 7

    Vladika, Juraj / Matthes, Florian

    A Joint System for Natural Language Inference and Evidence Retrieval from Clinical Trial Reports

    2023  

    Abstract: With the increasing number of clinical trial reports generated every day, it is becoming hard to keep up with novel discoveries that inform evidence-based healthcare recommendations. To help automate this process and assist medical experts, NLP solutions ...

    Abstract With the increasing number of clinical trial reports generated every day, it is becoming hard to keep up with novel discoveries that inform evidence-based healthcare recommendations. To help automate this process and assist medical experts, NLP solutions are being developed. This motivated the SemEval-2023 Task 7, where the goal was to develop an NLP system for two tasks: evidence retrieval and natural language inference from clinical trial data. In this paper, we describe our two developed systems. The first one is a pipeline system that models the two tasks separately, while the second one is a joint system that learns the two tasks simultaneously with a shared representation and a multi-task learning approach. The final system combines their outputs in an ensemble system. We formalize the models, present their characteristics and challenges, and provide an analysis of achieved results. Our system ranked 3rd out of 40 participants with a final submission.

    Comment: 6 pages, SemEval 2023
    Keywords Computer Science - Computation and Language
    Subject code 004
    Publishing date 2023-04-25
    Publishing country us
    Document type Book ; Online
    Database BASE - Bielefeld Academic Search Engine (life sciences selection)

    More links

    Kategorien

  10. Book ; Online: Exponential Randomized Response

    Garrido, Gonzalo Munilla / Matthes, Florian

    Boosting Utility in Differentially Private Selection

    2022  

    Abstract: A differentially private selection algorithm outputs from a finite set the item that approximately maximizes a data-dependent quality function. The most widely adopted mechanisms tackling this task are the pioneering exponential mechanism and permute-and- ...

    Abstract A differentially private selection algorithm outputs from a finite set the item that approximately maximizes a data-dependent quality function. The most widely adopted mechanisms tackling this task are the pioneering exponential mechanism and permute-and-flip, which can offer utility improvements of up to a factor of two over the exponential mechanism. This work introduces a new differentially private mechanism for private selection and conducts theoretical and empirical comparisons with the above mechanisms. For reasonably common scenarios, our mechanism can provide utility improvements of factors significantly larger than two over the exponential and permute-and-flip mechanisms. Because the utility can deteriorate in niche scenarios, we recommend our mechanism to analysts who can tolerate lower utility for some datasets.

    Comment: This algorithm only works under an assumption that is not realistic for the wider application of differential privacy
    Keywords Computer Science - Cryptography and Security
    Subject code 519
    Publishing date 2022-01-11
    Publishing country us
    Document type Book ; Online
    Database BASE - Bielefeld Academic Search Engine (life sciences selection)

    More links

    Kategorien

To top