Fakultät Informatik und Mathematik
Refine
Year of publication
Document Type
- conference proceeding (article) (448)
- Article (411)
- conference proceeding (presentation, abstract) (94)
- Part of a Book (93)
- Preprint (27)
- conference proceeding (volume) (23)
- Book (22)
- Report (16)
- Working Paper (15)
- conference talk (9)
Is part of the Bibliography
- no (1182)
Keywords
- Bildgebendes Verfahren (22)
- Deep Learning (20)
- Künstliche Intelligenz (19)
- Produktionsplanung (18)
- Betriebliches Informationssystem (16)
- Diagnose (15)
- Maschinelles Lernen (15)
- Artificial Intelligence (14)
- Gebärmutterhalskrebs (14)
- Informationstechnik (14)
Institute
- Fakultät Informatik und Mathematik (1182)
- Labor für Technikfolgenabschätzung und Angewandte Ethik (LaTe) (188)
- Regensburg Medical Image Computing (ReMIC) (165)
- Institut für Sozialforschung und Technikfolgenabschätzung (IST) (148)
- Fakultät Sozial- und Gesundheitswissenschaften (101)
- Regensburg Strategic IT Management (ReSITM) (97)
- Labor Empirische Sozialforschung (94)
- Labor für Digitalisierung (LFD) (93)
- Labor eHealth (eH) (67)
- Regensburg Center of Health Sciences and Technology - RCHST (60)
Begutachtungsstatus
- peer-reviewed (508)
- begutachtet (5)
Wie verändert sich das individuelle und gesellschaftliche Verständnis von Gesundheit und Krankheit durch die Einführung neuer digitaler Technologien? Die Beiträger*innen berücksichtigen technische Aspekte, fokussieren jedoch vor allem darauf, dass die Bestimmung und Grenze zwischen Gesundheit und Krankheit immer stärker auf Quantifizierung oder Daten beruht. Das zieht Veränderungen im Verhältnis von Patient*innen und Ärzt*innen nach sich, betrifft aber auch das Selbstverhältnis zum eigenen Körper und wirft die Frage auf, wie gesundheitsbezogene Ressourcen zukünftig zugeteilt werden. Der interdisziplinäre Blick auf diese Themen bietet sowohl für Gesundheitstheorie als auch -praxis wertvolle Anschlussmöglichkeiten und legt gemeinsame Bezugspunkte offen.
Although artificial intelligence (AI) and automated decision-making systems have been around for some time, they have only recently gained in importance as they are now actually being used and are no longer just the subject of research. AI to support decision-making is thus affecting ever larger parts of society, creating technical, but above all ethical, legal, and societal challenges, as decisions can now be made by machines that were previously the responsibility of humans. This introduction provides an overview of attempts to regulate AI and addresses key challenges that arise when integrating AI systems into human decision-making. The Special topic brings together research articles that present societal challenges, ethical issues, stakeholders, and possible futures of AI use for decision support in healthcare, the legal system, and border control.
Although artificial intelligence (AI) and automated decision-making systems have been around for some time, they have only recently gained in importance as they are now actually being used and are no longer just the subject of research. AI to support decision-making is thus affecting ever larger parts of society, creating technical, but above all ethical, legal, and societal challenges, as decisions can now be made by machines that were previously the responsibility of humans. This introduction provides an overview of attempts to regulate AI and addresses key challenges that arise when integrating AI systems into human decision-making. The Special topic brings together research articles that present societal challenges, ethical issues, stakeholders, and possible futures of AI use for decision support in healthcare, the legal system, and border control.
A Wireless Low-power System for Digital Identification of Examinees (Including Covid-19 Checks)
(2022)
Indoor localization has been, for the past decade, a subject under intense development. There is, however, no currently available solution that covers all possible scenarios. Received Signal Strength Indicator (RSSI) based methods, although the most widely researched, still suffer from problems due to environment noise. In this paper, we present a system using Bluetooth Low Energy (BLE) beacons attached to the desks to localize students in exam rooms and, at the same time, automatically register them for the given exam. By using Kalman Filters (KFs) and discretizing the location task, the presented solution is capable of achieving 100% accuracy within a distance of 45cm from the center of the desk. As the pandemic gets more controlled, with our lives slowly transitioning back to normal, there are still sanitary measures being applied. An example being the necessity to show a certification of vaccination or previous disease. Those certifications need to be manually checked for everyone entering the university’s building, which requires time and staff. With that in mind, the automatic check for Covid certificates feature is also built into our system.
The use of quantum processing units (QPUs) promises speed-ups for solving computational problems, in particular for discrete optimisation. While a few groundbreaking algorithmic approaches are known that can provably outperform classical computers, we observe a scarcity of programming abstractions for constructing efficient quantum algorithms. A good fraction of the literature that addresses solving concrete problems related to database management concentrates on casting them as quadratic unconstrained binary optimisation problems (QUBOs), which can then, among others, be processed on gate-based machines (using the quantum approximate optimisation algorithm), or quantum annealers. A critical aspect that affects efficiency and scalability of either of these approaches is how classical data are loaded into qubits, respectively how problems are encoded into QUBO representation. The effectiveness of encodings is known to be of crucial importance for quantum computers, especially since the amount of available qubits is strongly limited in the era of noisy, intermediate-size quantum computers.
In this paper, we present three encoding patterns, discuss their impact on scalability, and their ease of use. We consider the recreational (yet computationally challenging) Sudoku problem and its reduction to graph colouring as an illustrative example to discuss their individual benefits and disadvantages. Our aim is enable database researchers to choose an appropriate encoding scheme for their purpose without having to acquire in-depth knowledge on quantum peculiarities, thus easing the path towards applying quantum acceleration on data management systems.
The digitization of almost all sectors of life and the quickly growing complexity of interrelationships between actors in this digital world leads to a dramatically increasing attack surface regarding both direct and also indirect attacks over the supply chain. These supply chain attacks can have different characters, e.g., vulnerabilities and backdoors in hardware and software, illegitimate access by compromised service providers, or trust relationships to suppliers and customers exploited in the course of business email compromise. To address this challenge and create visibility along these supply chains, threat-related data needs to be rapidly exchanged and correlated over organizational borders. The publicly funded project MANTRA is meant to create a secure and resilient framework for real-time exchange of cyberattack patterns and automated, contextualized risk management. The novel graph-based approach provides benefits for automation regarding cybersecurity management, especially when it comes to prioriization of measures for risk reduction and during active defense against cyberattacks. In this paper, we outline MANTRA’s scope, objectives, envisioned scientific approach, and challenges.
Abstraction layers are of paramount importance in software architecture, as they shield the higher-level formulation of payload computations from lower-level details. Since quantum computing (QC) introduces many such details that are often unaccustomed to computer scientists, an obvious desideratum is to devise appropriate abstraction layers for QC. For discrete optimisation, one such abstraction is to cast problems in quadratic unconstrained binary optimisation (QUBO) form, which is amenable to a variety of quantum approaches. However, different mathematically equivalent forms can lead to different behaviour on quantum hardware, ranging from ease of mapping onto qubits to performance scalability. In this work, we show how using higher-order problem formulations (that provide better expressivity in modelling optimisation tasks than plain QUBO formulations) and their automatic transformation into QUBO form can be used to leverage such differences to prioritise between different desired non-functional properties for quantum optimisation. Based on a practically relevant use-case and a graph-theoretic analysis, we evaluate how different transformation approaches influence widely used quantum performance metrics (circuit depth, gates count, gate distribution, qubit scaling), and also consider the classical computational efforts required to perform the transformations, as they influence possibilities for achieving future quantum advantage. Furthermore, we establish more general properties and invariants of the transformation methods. Our quantitative study shows that the approach allows us to satisfy different trade-offs, and suggests various possibilities for the future construction of general-purpose abstractions and automatic generation of useful quantum circuits from high-level problem descriptions.
Quantum software is becoming a key enabler for applying quantum computing to industrial use cases. This poses challenges to quantum software engineering in providing efficient and effective means to develop such software. Eventually, this must be reliably achieved in time, on budget, and in quality, using sound and well-principled engineering approaches. Given that quantum computers are based on fundamentally different principles than classical machines, this raises the question if, how, and to what extent established techniques for systematically engineering software need to be adapted. In this chapter, we analyze three paradigmatic application scenarios for quantum software engineering from an industrial perspective. The respective use cases center around (1) optimization and quantum cloud services, (2) quantum simulation, and (3) embedded quantum computing. Our aim is to provide a concise overview of the current and future applications of quantum computing in diverse industrial settings. We derive presumed challenges for quantum software engineering and thus provide research directions for this emerging field.