32212
2023
eng
4
workingpaper
1
--
--
--
Towards Understanding the Global IPX Network from an MVNO Perspective
In this paper, we work to understand the global IPX network from the perspective of an MVNO. In order to do this, we provide a brief description of the global architecture of mobile carriers. We provide initial results with respect to mapping the vast and complex interconnection network enabling global roaming from the point of view of a single MVNO. Finally, we provide preliminary results regarding the quality of service observed under global roaming conditions.
KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23)
urn:nbn:de:bvb:20-opus-322121
10.25972/OPUS-32212
@INPROCEEDINGSVomh2306:Understanding, AUTHOR="Viktoria Vomhoff and Stefan Geissler and Steffen Gebert and Tobias Hoßfeld", TITLE="Towards Understanding the Global IPX Network from an MVNO Perspective", BOOKTITLE="KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23)", ADDRESS="Würzburg, Germany", PAGES=4, DAYS=27, MONTH=jun, YEAR=2023, ABSTRACT="In this paper, we work to understand the global IPX network from the perspective of an MVNO. In order to do this, we provide a brief description of the global architecture of mobile carriers. We provide initial results with respect to mapping the vast and complex interconnection network enabling global roaming from the point of view of a single MVNO. Finally, we provide preliminary results regarding the quality of service observed under global roaming conditions."
md5:9d94900c547a5c5db7aa3d3d64956d6e
2023-07-21T11:40:47+00:00
/tmp/php4RKYbJ
bibtex
64ba6ebfdd15d2.78779321
true
true
CC BY-SA: Creative-Commons-Lizenz: Namensnennung, Weitergabe unter gleichen Bedingungen 4.0 International
Viktoria Vomhoff
Stefan Geissler
Steffen Gebert
Tobias Hossfeld
eng
uncontrolled
global IPX network
Datenverarbeitung; Informatik
open_access
Institut für Informatik
Arbeitspapiere (Working Paper)
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/32212/Vomhoff_Global_IPX_Network_WueWoWas23_1570913316.pdf
32217
2023
eng
4
workingpaper
0
--
--
--
Multiple DCLC Routing Algorithms for Ultra-Reliable and Time-Sensitive Applications
This paper discusses the problem of finding multiple shortest disjoint paths in modern communication networks, which is essential for ultra-reliable and time-sensitive applications. Dijkstra’s algorithm has been a popular solution for the shortest path problem, but repetitive use of it to find multiple paths is not scalable. The Multiple Disjoint Path Algorithm (MDPAlg), published in 2021, proposes the use of a single full graph to construct multiple disjoint paths. This paper proposes modifications to the algorithm to include a delay constraint, which is important in time-sensitive applications. Different delay constraint least-cost routing algorithms are compared in a comprehensive manner to evaluate the benefits of the adapted MDPAlg algorithm. Fault tolerance, and thereby reliability, is ensured by generating multiple link-disjoint paths from source to destination.
KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23)
urn:nbn:de:bvb:20-opus-322177
10.25972/OPUS-32217
@INPROCEEDINGSNava2306:Multiple, AUTHOR="Piyush Navade and Lisa Maile and Reinhard German", TITLE="Multiple DCLC Routing Algorithms for Ultra-Reliable and Time-Sensitive Applications", BOOKTITLE="KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23)", ADDRESS="Würzburg, Germany", PAGES=4, DAYS=27, MONTH=jun, YEAR=2023, ABSTRACT="This paper discusses the problem of finding multiple shortest disjoint paths in modern communication networks, which is essential for ultra-reliable and time-sensitive applications. Dijkstra’s algorithm has been a popular solution for the shortest path problem, but repetitive use of it to find multiple paths is not scalable. The Multiple Disjoint Path Algorithm (MDPAlg), published in 2021, proposes the use of a single full graph to construct multiple disjoint paths. This paper proposes modifications to the algorithm to include a delay constraint, which is important in time-sensitive applications. Different delay constraint least-cost routing algorithms are compared in a comprehensive manner to evaluate the benefits of the adapted MDPAlg algorithm. Fault tolerance, and thereby reliability, is ensured by generating multiple link-disjoint paths from source to destination."
md5:9df094238afe387fe100c88e58ff30ca
2023-07-21T11:40:47+00:00
/tmp/php4RKYbJ
bibtex
64ba6ebfdd15d2.78779321
true
true
CC BY-SA: Creative-Commons-Lizenz: Namensnennung, Weitergabe unter gleichen Bedingungen 4.0 International
Piyush Navade
Lisa Maile
Reinhard German
eng
uncontrolled
Dijkstra’s algorithm
eng
uncontrolled
shortest path routing
eng
uncontrolled
disjoint multi-paths
eng
uncontrolled
delay constrained
eng
uncontrolled
least cost
Datenverarbeitung; Informatik
open_access
Institut für Informatik
Arbeitspapiere (Working Paper)
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/32217/Navade_et_al_Multiple_DCLC_WueWoWas23_1570910664.pdf
32207
2023
eng
5
workingpaper
0
--
--
--
Never Miss Twice - Add-On-Miss Table Updates in Software Data Planes
State Management at line rate is crucial for critical applications in next-generation networks. P4 is a language used in software-defined networking to program the data plane. The data plane can profit in many circumstances when it is allowed to manage its state without any detour over a controller. This work is based on a previous study by investigating the potential and performance of add-on-miss insertions of state by the data plane. The state keeping capabilities of P4 are limited regarding the amount of data and the update frequency. We follow the tentative specification of an upcoming portable-NIC-architecture and implement these changes into the software P4 target T4P4S. We show that insertions are possible with only a slight overhead compared to lookups and evaluate the influence of the rate of insertions on their latency.
KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23)
urn:nbn:de:bvb:20-opus-322071
10.25972/OPUS-32207
@INPROCEEDINGSSimo2306:Never, AUTHOR=Manuel Simon and Sebastian Gallenmüller and Georg Carle, TITLE="Never Miss Twice - Add-On-Miss Table Updates in Software Data Planes", BOOKTITLE="KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23)", ADDRESS="Würzburg, Germany", PAGES=5, DAYS=27, MONTH=jun, YEAR=2023, ABSTRACT="State Management at line rate is crucial for critical applications in next-generation networks. P4 is a language used in software-defined networking to program the data plane. The data plane can profit in many circumstances when it is allowed to manage its state without any detour over a controller. This work is based on a previous study by investigating the potential and performance of add-on-miss insertions of state by the data plane. The state keeping capabilities of P4 are limited regarding the amount of data and the update frequency. We follow the tentative specification of an upcoming portable-NIC-architecture and implement these changes into the software P4 target T4P4S. We show that insertions are possible with only a slight overhead compared to lookups and evaluate the influence of the rate of insertions on their latency."
md5:9ead666f1287098d0e2ed3a34da0a4e9
2023-07-21T11:40:47+00:00
/tmp/php4RKYbJ
bibtex
64ba6ebfdd15d2.78779321
true
true
CC BY-SA: Creative-Commons-Lizenz: Namensnennung, Weitergabe unter gleichen Bedingungen 4.0 International
Manuel Simon
Sebastian Gallenmüller
Georg Carle
eng
uncontrolled
SDN
eng
uncontrolled
state management
eng
uncontrolled
P4
eng
uncontrolled
Add-on-Miss
Datenverarbeitung; Informatik
open_access
Institut für Informatik
Arbeitspapiere (Working Paper)
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/32207/Simon_et_al_Add-on-Miss_WueWoWas23_1570909890.pdf
32205
2023
eng
4
workingpaper
0
--
--
--
Accelerating Transport Layer Multipath Packet Scheduling for 5G-ATSSS
Utilizing multiple access networks such as 5G, 4G, and Wi-Fi simultaneously can lead to increased robustness, resiliency, and capacity for mobile users. However, transparently implementing packet distribution over multiple paths within the core of the network faces multiple challenges including scalability to a large number of customers, low latency, and high-capacity packet processing requirements. In this paper, we offload congestion-aware multipath packet scheduling to a smartNIC. However, such hardware acceleration faces multiple challenges due to programming language and platform limitations. We implement different multipath schedulers in P4 with different complexity in order to cope with dynamically changing path capacities. Using testbed measurements, we show that our CMon scheduler, which monitors path congestion in the data plane and dynamically adjusts scheduling weights for the different paths based on path state information, can process more than 3.5 Mpps packets 25 μs latency.
KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23)
urn:nbn:de:bvb:20-opus-322052
10.25972/OPUS-32205
@INPROCEEDINGSBris2306:Accelerating, AUTHOR="Fabian Brisch and Andreas J. Kassler and Jonathan Vestin and Marcus Pieska and Markus Amend", TITLE="Accelerating Transport Layer Multipath Packet Scheduling for 5G-ATSSS", BOOKTITLE="KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23)", ADDRESS="Würzburg, Germany", PAGES=4, DAYS=27, MONTH=jun, YEAR=2023, ABSTRACT="Utilizing multiple access networks such as 5G, 4G, and Wi-Fi simultaneously can lead to increased robustness, resiliency, and capacity for mobile users. However, transparently implementing packet distribution over multiple paths within the core of the network faces multiple challenges including scalability to a large number of customers, low latency, and high-capacity packet processing requirements. In this paper, we offload congestion-aware multipath packet scheduling to a smartNIC. However, such hardware acceleration faces multiple challenges due to programming language and platform limitations. We implement different multipath schedulers in P4 with different complexity in order to cope with dynamically changing path capacities. Using testbed measurements, we show that our CMon scheduler, which monitors path congestion in the data plane and dynamically adjusts scheduling weights for the different paths based on path state information, can process more than 3.5 Mpps packets 25 μs latency."
md5:c318b18d9e6f2b6a800b451f89400d83
2023-07-21T11:40:47+00:00
/tmp/php4RKYbJ
bibtex
64ba6ebfdd15d2.78779321
CC BY-SA: Creative-Commons-Lizenz: Namensnennung, Weitergabe unter gleichen Bedingungen 4.0 International
Fabian Brisch
Andreas Kassler
Jonathan Vestin
Marcus Pieska
Markus Amend
eng
uncontrolled
multipath packet scheduling
eng
uncontrolled
P4
eng
uncontrolled
MP-DCCP
eng
uncontrolled
5G
eng
uncontrolled
ATSSSS
Datenverarbeitung; Informatik
open_access
Institut für Informatik
Arbeitspapiere (Working Paper)
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/32205/Brisch_et_al_5G-ATSSS_WueWoWas23_1570909801.pdf
32204
2023
eng
5
workingpaper
0
--
--
--
Performance Analysis of Basic Web Caching Strategies (LFU, LRU, FIFO, ...) with Time-To-Live Data Validation
Web caches often use a Time-to-live (TTL) limit to validate data consistency with web servers. We study the impact of TTL constraints on the hit ratio of basic strategies in caches of fixed size. We derive analytical results and confirm their accuracy in comparison to simulations. We propose a score-based caching method with awareness of the current TTL per data for improving the hit ratio close to the upper bound.
KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23)
urn:nbn:de:bvb:20-opus-322048
10.25972/OPUS-32204
@INPROCEEDINGSHass2306:Performance, AUTHOR="Gerhard Hasslinger and Konstantinos Ntougias and Frank Hasslinger and Oliver Hohlfeld", TITLE="Performance Analysis of Basic Web Caching Strategies (LFU, LRU, FIFO, ...) with Time-To-Live Data Validation", BOOKTITLE="KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23)", ADDRESS="Würzburg, Germany", PAGES=5, DAYS=27, MONTH=jun, YEAR=2023, ABSTRACT="Web caches often use a Time-to-live (TTL) limit to validate data consistency with web servers. We study the impact of TTL constraints on the hit ratio of basic strategies in caches of fixed size. We derive analytical results and confirm their accuracy in comparison to simulations. We propose a score-based caching method with awareness of the current TTL per data for improving the hit ratio close to the upper bound."
md5:1e7e0c448c7b4560d3fb518df69e069d
2023-07-21T11:40:47+00:00
/tmp/php4RKYbJ
bibtex
64ba6ebfdd15d2.78779321
true
true
CC BY-SA: Creative-Commons-Lizenz: Namensnennung, Weitergabe unter gleichen Bedingungen 4.0 International
Gerhard Hasslinger
Konstantinos Ntougias
Frank Hasslinger
Oliver Hohlfeld
eng
uncontrolled
LRU
eng
uncontrolled
LFU
eng
uncontrolled
FIFO caching strategies
eng
uncontrolled
hit ratio analysis and simulation
eng
uncontrolled
TTL validation of data consistency
Datenverarbeitung; Informatik
open_access
Institut für Informatik
Arbeitspapiere (Working Paper)
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/32204/Hasslinger_et_al_Performance_Analysis_WueWoWas23_1570913271.pdf
32211
2023
eng
5
workingpaper
0
--
--
--
Online Algorithm for Arrival & Service Curve Estimation
This paper presents a novel concept to extend state-of-the-art buffer monitoring with additional measures to estimate service-curves. The online algorithm for service-curve estimation replaces the state-of-the-art timestamp logging, as we expect it to overcome the main disadvantages of generating a huge amount of data and using a lot of CPU resources to store the data to a file during operation. We prove the accuracy of the online-algorithm offline with timestamp data and compare the derived bounds to the measured delay and backlog. We also do a proof-of- concept of the online-algorithm, implement it in LabVIEW and compare its performance to the timestamp logging by CPU load and data-size of the log-file. However, the implementation is still work-in-progress.
KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23)
urn:nbn:de:bvb:20-opus-322112
10.25972/OPUS-32211
@INPROCEEDINGSFund2306:Online, AUTHOR="Christoph Funda and Pablo Marin and Reinhard German and Kai-Steffen J. Hielscher", TITLE="Online Algorithm for Arrival & Service Curve Estimation", BOOKTITLE="KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23)", ADDRESS="Würzburg, Germany", PAGES=5, DAYS=27, MONTH=jun, YEAR=2023, ABSTRACT="This paper presents a novel concept to extend state-of-the-art buffer monitoring with additional measures to estimate service-curves. The online algorithm for service-curve estimation replaces the state-of-the-art timestamp logging, as we expect it to overcome the main disadvantages of generating a huge amount of data and using a lot of CPU resources to store the data to a file during operation. We prove the accuracy of the online-algorithm offline with timestamp data and compare the derived bounds to the measured delay and backlog. We also do a proof-of- concept of the online-algorithm, implement it in LabVIEW and compare its performance to the timestamp logging by CPU load and data-size of the log-file. However, the implementation is still work-in-progress."
md5:79a7efa474e477293dee60eda4fba217
2023-07-21T11:40:47+00:00
/tmp/php4RKYbJ
bibtex
64ba6ebfdd15d2.78779321
true
true
CC BY-SA: Creative-Commons-Lizenz: Namensnennung, Weitergabe unter gleichen Bedingungen 4.0 International
Christoph Funda
Pablo Marín García
Reinhard German
Kai-Steffen Hielscher
eng
uncontrolled
hardware-in-the-loop streaming system
eng
uncontrolled
network calculus
eng
uncontrolled
service-curve estimation
eng
uncontrolled
performance monitoring
Datenverarbeitung; Informatik
open_access
Institut für Informatik
Arbeitspapiere (Working Paper)
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/32211/Funda_et_al_Online_Algorithm_WueWoWas23_1570910363.pdf
32208
2023
eng
4
workingpaper
0
--
--
--
Using P4-INT on Tofino for Measuring Device Performance Characteristics in a Network Lab
This paper presents a prototypical implementation of the In-band Network Telemetry (INT) specification in P4 and demonstrates a use case, where a Tofino Switch is used to measure device and network performance in a lab setting. This work is based on research activities in the area of P4 data plane programming conducted at the network lab of HTW Berlin.
KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23)
urn:nbn:de:bvb:20-opus-322084
10.25972/OPUS-32208
@INPROCEEDINGSSche2306:Using, AUTHOR="Sadok Mehdi Mazigh and Marcel Beausencourt and Max Julius Bode and Thomas Scheffler", TITLE="Using P4-INT on Tofino for Measuring Device Performance Characteristics in a Network Lab", BOOKTITLE="KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23)", ADDRESS="Würzburg, Germany", PAGES=4, DAYS=27, MONTH=jun, YEAR=2023, ABSTRACT="This paper presents a prototypical implementation of the In-band Network Telemetry (INT) specification in P4 and demonstrates a use case, where a Tofino Switch is used to measure device and network performance in a lab setting. This work is based on research activities in the area of P4 data plane programming conducted at the network lab of HTW Berlin."
md5:2937c1acccf46b61c104372e37337b24
2023-07-21T11:40:47+00:00
/tmp/php4RKYbJ
bibtex
64ba6ebfdd15d2.78779321
true
true
CC BY-SA: Creative-Commons-Lizenz: Namensnennung, Weitergabe unter gleichen Bedingungen 4.0 International
Sadok Mehdi Mazigh
Marcel Beausencourt
Max Julius Bode
Thomas Scheffler
eng
uncontrolled
P4-INT
Datenverarbeitung; Informatik
open_access
Institut für Informatik
Arbeitspapiere (Working Paper)
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/32208/Mazigh_et_al_P4-INT_WueWoWas23_1570913312.pdf
32203
2023
eng
3
workingpaper
0
--
--
--
On Data Plane Multipath Scheduling for Connected Mobility Applications
Cooperative, connected and automated mobility (CCAM) systems depend on a reliable communication to provide their service and more crucially to ensure the safety of users. One way to ensure the reliability of a data transmission is to use multiple transmission technologies in combination with redundant flows. In this paper, we describe a system requiring multipath communication in the context of CCAM. To this end, we introduce a data plane-based scheduler that uses replication and integration modules to provide redundant and transparent multipath communication. We provide an analytical model for the full replication module of the system and give an overview of how and where the data-plane scheduler components can be realized.
KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23)
urn:nbn:de:bvb:20-opus-322033
10.25972/OPUS-32203
@INPROCEEDINGSRizk2306:Data, AUTHOR="Martin Herrmann and Amr Rizk", TITLE="On Data Plane Multipath Scheduling for Connected Mobility Applications", BOOKTITLE="KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23)", ADDRESS="Würzburg, Germany", PAGES=3, DAYS=27, MONTH=jun, YEAR=2023, ABSTRACT="Cooperative, connected and automated mobility (CCAM) systems depend on a reliable communication to provide their service and more crucially to ensure the safety of users. One way to ensure the reliability of a data transmission is to use multiple transmission technologies in combination with redundant flows. In this paper, we describe a system requiring multipath communication in the context of CCAM. To this end, we introduce a data plane-based scheduler that uses replication and integration modules to provide redundant and transparent multipath communication. We provide an analytical model for the full replication module of the system and give an overview of how and where the data-plane scheduler components can be realized."
md5:1d05a1ede3859a4ebc692666628ed75c
2023-07-21T11:40:47+00:00
/tmp/php4RKYbJ
bibtex
64ba6ebfdd15d2.78779321
true
true
CC BY-SA: Creative-Commons-Lizenz: Namensnennung, Weitergabe unter gleichen Bedingungen 4.0 International
Martin Herrmann
Amr Rizk
eng
uncontrolled
multipath scheduling
eng
uncontrolled
connected mobility applications
Datenverarbeitung; Informatik
open_access
Institut für Informatik
Arbeitspapiere (Working Paper)
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/32203/Herrmann_Rizk_Connected_Mobility_Applications_WueWoWas23_1570907670.pdf
32202
2023
eng
4
workingpaper
1
--
--
--
Challenges of Serverless Deployment in Edge-MEC-Cloud
The emerging serverless computing may meet Edge Cloud in a beneficial manner as the two offer flexibility and dynamicity in optimizing finite hardware resources. However, the lack of proper study of a joint platform leaves a gap in literature about consumption and performance of such integration. To this end, this paper identifies the key questions and proposes a methodology to answer them.
KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23)
urn:nbn:de:bvb:20-opus-322025
10.25972/OPUS-32202
@INPROCEEDINGSNguy2306:Challenges, AUTHOR="Kien Nguyen and Frank Loh and Tobias Hoßfeld", TITLE="Challenges of Serverless Deployment in Edge-MEC-Cloud", BOOKTITLE="KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23)", ADDRESS="Würzburg, Germany", PAGES=4, DAYS=27, MONTH=jun, YEAR=2023, ABSTRACT="The emerging serverless computing may meet Edge Cloud in a beneficial manner as the two offer flexibility and dynamicity in optimizing finite hardware resources. However, the lack of proper study of a joint platform leaves a gap in literature about consumption and performance of such integration. To this end, this paper identifies the key questions and proposes a methodology to answer them."
md5:ead2d8eadc671374135026ec274e1c0e
2023-07-21T11:40:47+00:00
/tmp/php4RKYbJ
bibtex
64ba6ebfdd15d2.78779321
true
true
CC BY-SA: Creative-Commons-Lizenz: Namensnennung, Weitergabe unter gleichen Bedingungen 4.0 International
Kien Nguyen
Frank Loh
Tobias Hoßfeld
eng
uncontrolled
Edge-MEC-Cloud
Datenverarbeitung; Informatik
open_access
Institut für Informatik
Arbeitspapiere (Working Paper)
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/32202/Nguyen_et_al_Edge_MEC-Cloud_WueWoWas23_1570913268.pdf
32210
2023
eng
4
workingpaper
1
--
--
--
Towards Understanding the Signaling Traffic in 5G Core Networks
The Fifth Generation (5G) communication technology, its infrastructure and architecture, though already deployed in campus and small scale networks, is still undergoing continuous changes and research. Especially, in the light of future large scale deployments and industrial use cases, a detailed analysis of the performance and utilization with regard to latency and service times constraints is crucial. To this end, a fine granular investigation of the Network Function (NF) based core system and the duration for all the tasks performed by these services is necessary. This work presents the first steps towards analyzing the signaling traffic in 5G core networks, and introduces a tool to automatically extract sequence diagrams and service times for NF tasks from traffic traces.
KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23)
urn:nbn:de:bvb:20-opus-322106
10.25972/OPUS-32210
@INPROCEEDINGSRaff2306:Understanding, AUTHOR="Simon Raffeck and Stefan Geissler and Tobias Hoßfeld", TITLE="Towards Understanding the Signaling Traffic in 5G Core Networks", BOOKTITLE="KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23)", ADDRESS="Würzburg, Germany", PAGES=4, DAYS=27, MONTH=jun, YEAR=2023, ABSTRACT="The Fifth Generation (5G) communication technology, its infrastructure and architecture, though already deployed in campus and small scale networks, is still undergoing continuous changes and research. Especially, in the light of future large scale deployments and industrial use cases, a detailed analysis of the performance and utilization with regard to latency and service times constraints is crucial. To this end, a fine granular investigation of the Network Function (NF) based core system and the duration for all the tasks performed by these services is necessary. This work presents the first steps towards analyzing the signaling traffic in 5G core networks, and introduces a tool to automatically extract sequence diagrams and service times for NF tasks from traffic traces."
md5:425697dcf1943b6dc28396c39610fccd
2023-07-21T11:40:47+00:00
/tmp/php4RKYbJ
bibtex
64ba6ebfdd15d2.78779321
true
true
CC BY-SA: Creative-Commons-Lizenz: Namensnennung, Weitergabe unter gleichen Bedingungen 4.0 International
Simon Raffeck
Stefan Geißler
Tobias Hoßfeld
eng
uncontrolled
signaling traffic
eng
uncontrolled
5G core network
Datenverarbeitung; Informatik
open_access
Institut für Informatik
Arbeitspapiere (Working Paper)
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/32210/Raffeck_et_al_5G_Core_Networks_WueWoWas23_1570913313.pdf
32209
2023
eng
4
workingpaper
0
--
--
--
Emulation of Multipath Transmissions in P4 Networks with Kathará
Packets sent over a network can either get lost or reach their destination. Protocols like TCP try to solve this problem by resending the lost packets. However, retransmissions consume a lot of time and are cumbersome for the transmission of critical data. Multipath solutions are quite common to address this reliability issue and are available on almost every layer of the ISO/OSI model. We propose a solution based on a P4 network to duplicate packets in order to send them to their destination via multiple routes. The last network hop ensures that only a single copy of the traffic is further forwarded to its destination by adopting a concept similar to Bloom filters. Besides, if fast delivery is requested we provide a P4 prototype, which randomly forwards the packets over different transmission paths. For reproducibility, we implement our approach in a container-based network emulation system called Kathará.
KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23)
urn:nbn:de:bvb:20-opus-322095
10.25972/OPUS-32209
@INPROCEEDINGSGros2306:Emulation, AUTHOR="Marcel Großmann and Tobias Homeyer", TITLE="Emulation of Multipath Transmissions in P4 Networks with Kathará", BOOKTITLE="KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23)", ADDRESS="Würzburg, Germany", PAGES=4, DAYS=27, MONTH=jun, YEAR=2023, ABSTRACT="Packets sent over a network can either get lost or reach their destination. Protocols like TCP try to solve this problem by resending the lost packets. However, retransmissions consume a lot of time and are cumbersome for the transmission of critical data. Multipath solutions are quite common to address this reliability issue and are available on almost every layer of the ISO/OSI model. We propose a solution based on a P4 network to duplicate packets in order to send them to their destination via multiple routes. The last network hop ensures that only a single copy of the traffic is further forwarded to its destination by adopting a concept similar to Bloom filters. Besides, if fast delivery is requested we provide a P4 prototype, which randomly forwards the packets over different transmission paths. For reproducibility, we implement our approach in a container-based network emulation system called Kathará."
md5:b77f60c0e4ceef2079a181b79dd569d5
2023-07-21T11:40:47+00:00
/tmp/php4RKYbJ
bibtex
64ba6ebfdd15d2.78779321
true
true
CC BY-SA: Creative-Commons-Lizenz: Namensnennung, Weitergabe unter gleichen Bedingungen 4.0 International
Marcel Großmann
Tobias Homeyer
eng
uncontrolled
P4
eng
uncontrolled
multipath
eng
uncontrolled
emulation
eng
uncontrolled
Kathará
Datenverarbeitung; Informatik
open_access
Institut für Informatik
Arbeitspapiere (Working Paper)
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/32209/Grossmann_Homeyer_P4_Networks_WueWoWas23_1570910104.pdf
32206
2023
eng
5
workingpaper
1
--
--
--
Understanding the Performance of Different Packet Reception and Timestamping Methods in Linux
This document briefly presents some renowned packet reception techniques for network packets in Linux systems. Further, it compares their performance when measuring packet timestamps with respect to throughput and accuracy. Both software and hardware timestamps are compared, and various parameters are examined, including frame size, link speed, network interface card, and CPU load. The results indicate that hardware timestamping offers significantly better accuracy with no downsides, and that packet reception techniques that avoid system calls offer superior measurement throughput.
KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23)
urn:nbn:de:bvb:20-opus-322064
10.25972/OPUS-32206
@INPROCEEDINGSGrig2306:Understanding, AUTHOR="Alexej Grigorjew and Lukas Kilian Schumann and Philip Diederich and Tobias Hoßfeld and Wolfgang Kellerer", TITLE="Understanding the Performance of Different Packet Reception and Timestamping Methods in Linux", BOOKTITLE="KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23)", ADDRESS="Würzburg, Germany", PAGES=5, DAYS=27, MONTH=jun, YEAR=2023, ABSTRACT="This document briefly presents some renowned packet reception techniques for network packets in Linux systems. Further, it compares their performance when measuring packet timestamps with respect to throughput and accuracy. Both software and hardware timestamps are compared, and various parameters are examined, including frame size, link speed, network interface card, and CPU load. The results indicate that hardware timestamping offers significantly better accuracy with no downsides, and that packet reception techniques that avoid system calls offer superior measurement throughput."
md5:4e40157c2e10a7ee267b171695361a82
2023-07-21T11:40:47+00:00
/tmp/php4RKYbJ
bibtex
64ba6ebfdd15d2.78779321
true
true
Alexej Grigorjew
Lukas Kilian Schumann
Philip Diederich
Tobias Hoßfeld
Wolfgang Kellerer
eng
uncontrolled
packet reception method
eng
uncontrolled
timestamping method
eng
uncontrolled
Linux
Datenverarbeitung; Informatik
open_access
Institut für Informatik
Arbeitspapiere (Working Paper)
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/32206/Grigorjew_Packet_Reception_Timestamping_WueWoWas23_1570913291.pdf
31344
2023
eng
doctoralthesis
1
2023-05-04
--
2023-04-21
Leveraging deep learning for identification and structural determination of novel protein complexes from \(in\) \(situ\) electron cryotomography of \(Mycoplasma\) \(pneumoniae\)
Tiefenlernen als Werkzeug zur Identifizierung und Strukturbestimmung neuer Proteinkomplexe aus der \(in\)-\(situ\)-Elektronenkryotomographie von \(Mycoplasma\) \(pneumoniae\)
The holy grail of structural biology is to study a protein in situ, and this goal has been fast approaching since the resolution revolution and the achievement of atomic resolution. A cell's interior is not a dilute environment, and proteins have evolved to fold and function as needed in that environment; as such, an investigation of a cellular component should ideally include the full complexity of the cellular environment. Imaging whole cells in three dimensions using electron cryotomography is the best method to accomplish this goal, but it comes with a limitation on sample thickness and produces noisy data unamenable to direct analysis. This thesis establishes a novel workflow to systematically analyse whole-cell electron cryotomography data in three dimensions and to find and identify instances of protein complexes in the data to set up a determination of their structure and identity for success. Mycoplasma pneumoniae is a very small parasitic bacterium with fewer than 700 protein-coding genes, is thin enough and small enough to be imaged in large quantities by electron cryotomography, and can grow directly on the grids used for imaging, making it ideal for exploratory studies in structural proteomics. As part of the workflow, a methodology for training deep-learning-based particle-picking models is established.
As a proof of principle, a dataset of whole-cell Mycoplasma pneumoniae tomograms is used with this workflow to characterize a novel membrane-associated complex observed in the data. Ultimately, 25431 such particles are picked from 353 tomograms and refined to a density map with a resolution of 11 Å. Making good use of orthogonal datasets to filter search space and verify results, structures were predicted for candidate proteins and checked for suitable fit in the density map. In the end, with this approach, nine proteins were found to be part of the complex, which appears to be associated with chaperone activity and interact with translocon machinery.
Visual proteomics refers to the ultimate potential of in situ electron cryotomography: the comprehensive interpretation of tomograms. The workflow presented here is demonstrated to help in reaching that potential.
Der heilige Gral der Strukturbiologie ist die Untersuchung eines Proteins in situ, und dieses Ziel ist seit der Auflösungsrevolution und dem Erreichen der atomaren Auflösung in greifbare Nähe gerückt. Das Innere einer Zelle ist keine verdünnte Umgebung, und Proteine haben sich so entwickelt, dass sie sich falten und so funktionieren, wie es in dieser Umgebung erforderlich ist; daher sollte die Untersuchung einer zellulären Komponente idealerweise die gesamte Komplexität der zellulären Umgebung umfassen. Die Abbildung ganzer Zellen in drei Dimensionen mit Hilfe der Elektronenkryotomographie ist die beste Methode, um dieses Ziel zu erreichen, aber sie ist mit einer Beschränkung der Probendicke verbunden und erzeugt verrauschte Daten, die sich nicht für eine direkte Analyse eignen. In dieser Dissertation wird ein neuartiger Workflow zur systematischen dreidimensionalen Analyse von Ganzzell-Elektronenkryotomographiedaten und zur Auffindung und Identifizierung von Proteinkomplexen in diesen Daten entwickelt, um eine erfolgreiche Bestimmung ihrer Struktur und Identität zu ermöglichen. Mycoplasma pneumoniae ist ein sehr kleines parasitäres Bakterium mit weniger als 700 proteinkodierenden Genen. Es ist dünn und klein genug, um in grossen Mengen durch Elektronenkryotomographie abgebildet zu werden, und kann direkt auf den für die Abbildung verwendeten Gittern wachsen, was es ideal für Sondierungsstudien in der strukturellen Proteomik macht. Als Teil des Workflows wird eine Methodik für das Training von Deep-Learning-basierten Partikelpicken-Modellen entwickelt.
Als Proof-of-Principle wird ein Dataset von Ganzzell-Tomogrammen von Mycoplasma pneumoniae mit diesem Workflow verwendet, um einen neuartigen membranassoziierten Komplex zu charakterisieren, der in den Daten beobachtet wurde. Insgesamt wurden 25431 solcher Partikel aus 353 Tomogrammen gepickt und zu einer Dichtekarte mit einer Auflösung von 11 Å verfeinert. Unter Verwendung orthogonaler Datensätze zur Filterung des Suchraums und zur Überprüfung der Ergebnisse wurden Strukturen für Protein-Kandidaten vorhergesagt und auf ihre Eignung für die Dichtekarte überprüft. Letztendlich wurden mit diesem Ansatz neun Proteine als Bestandteile des Komplexes gefunden, der offenbar mit der Chaperonaktivität in Verbindung steht und mit der Translocon-Maschinerie interagiert.
Das ultimative Potenzial der In-situ-Elektronenkryotomographie – die umfassende Interpretation von Tomogrammen – wird als visuelle Proteomik bezeichnet. Der hier vorgestellte Workflow soll dabei helfen, dieses Potenzial auszuschöpfen.
urn:nbn:de:bvb:20-opus-313447
10.25972/OPUS-31344
EMBL Heidelberg
publish
X 130455
CC BY-SA: Creative-Commons-Lizenz: Namensnennung, Weitergabe unter gleichen Bedingungen 4.0 International
Joseph Christian Campbell Somody
deu
swd
Kryoelektronenmikroskopie
deu
swd
Tomografie
deu
swd
Mycoplasma pneumoniae
deu
swd
Deep learning
eng
uncontrolled
cryo-EM
eng
uncontrolled
cryo-ET
eng
uncontrolled
tomography
eng
uncontrolled
mycoplasma
eng
uncontrolled
pneumoniae
eng
uncontrolled
deep learning
eng
uncontrolled
particle picking
eng
uncontrolled
membrane protein
eng
uncontrolled
visual proteomics
Datenverarbeitung; Informatik
Biowissenschaften; Biologie
open_access
Fakultät für Biologie
Universität Würzburg
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/31344/Somody_Joseph_Thesis.pdf
30573
2023
eng
doctoralthesis
1
2023-03-17
--
2022-03-29
Proxemo: Documenting Observed Emotions in HCI
Proxemo: Die Dokumentation Beobachteter Emotionen in der Mensch-Computer-Interaktion
For formative evaluations of user experience (UX) a variety of methods have been developed over the years. However, most techniques require the users to interact with the study as a secondary task. This active involvement in the evaluation is not inclusive of all users and potentially biases the experience currently being studied. Yet there is a lack of methods for situations in which the user has no spare cognitive resources. This condition occurs when 1) users' cognitive abilities are impaired (e.g., people with dementia) or 2) users are confronted with very demanding tasks (e.g., air traffic controllers). In this work we focus on emotions as a key component of UX and propose the new structured observation method Proxemo for formative UX evaluations. Proxemo allows qualified observers to document users' emotions by proxy in real time and then directly link them to triggers. Technically this is achieved by synchronising the timestamps of emotions documented by observers with a video recording of the interaction.
In order to facilitate the documentation of observed emotions in highly diverse contexts we conceptualise and implement two separate versions of a documentation aid named Proxemo App. For formative UX evaluations of technology-supported reminiscence sessions with people with dementia, we create a smartwatch app to discreetly document emotions from the categories anger, general alertness, pleasure, wistfulness and pride. For formative UX evaluations of prototypical user interfaces with air traffic controllers we create a smartphone app to efficiently document emotions from the categories anger, boredom, surprise, stress and pride. Descriptive case studies in both application domains indicate the feasibility and utility of the method Proxemo and the appropriateness of the respectively adapted design of the Proxemo App.
The third part of this work is a series of meta-evaluation studies to determine quality criteria of Proxemo. We evaluate Proxemo regarding its reliability, validity, thoroughness and effectiveness, and compare Proxemo's efficiency and the observers' experience to documentation with pen and paper. Proxemo is reliable, as well as more efficient, thorough and effective than handwritten notes and provides a better UX to observers. Proxemo compares well with existing methods where benchmarks are available.
With Proxemo we contribute a validated structured observation method that has shown to meet requirements formative UX evaluations in the extreme contexts of users with cognitive impairments or high task demands. Proxemo is agnostic regarding researchers' theoretical approaches and unites reductionist and holistic perspectives within one method.
Future work should explore the applicability of Proxemo for further domains and extend the list of audited quality criteria to include, for instance, downstream utility. With respect to basic research we strive to better understand the sources leading observers to empathic judgments and propose reminisce and older adults as model environment for investigating mixed emotions.
Für formative Evaluationen der User Experience (UX) wurden im Laufe der Jahre zahlreiche Methoden entwickelt. Die meisten Methoden erfordern jedoch, dass die Benutzer als Nebenaufgabe mit der Studie interagieren. Diese aktive Beteiligung an der Evaluation kann das untersuchte Erlebnis verfälschen und schließt Benutzer komplett aus, die keine kognitiven Ressourcen zur Verfügung haben. Dies ist der Fall, wenn 1) die kognitiven Fähigkeiten der Benutzer beeinträchtigt sind (z. B. Menschen mit Demenz) oder 2) Benutzer mit sehr anspruchsvollen Aufgaben konfrontiert sind (z. B. Fluglotsen). In dieser Arbeit konzentrieren wir uns auf Emotionen als eine Schlüsselkomponente von UX und schlagen die neue strukturierte Beobachtungsmethode Proxemo für formative UX-Evaluationen vor. Proxemo ermöglicht es qualifizierten Beobachtern, die Emotionen der Nutzer in Echtzeit zu dokumentieren und sie direkt mit Auslösern zu verknüpfen. Technisch wird dies erreicht, indem die Zeitstempel der von den Beobachtern dokumentierten Emotionen mit einer Videoaufzeichnung der Interaktion synchronisiert werden.
Um die Dokumentation von beobachteten Emotionen in sehr unterschiedlichen Kontexten zu erleichtern, konzipieren und implementieren wir zwei verschiedene Versionen einer Dokumentationshilfe namens Proxemo App. Für formative UX-Evaluationen von technologiegestützten Erinnerungssitzungen mit Menschen mit Demenz erstellen wir eine Smartwatch-App zur unauffälligen Dokumentation von Emotionen aus den Kategorien Ärger, allgemeine Wachsamkeit, Freude, Wehmut und Stolz. Für formative UX-Evaluationen prototypischer Nutzerschnittstellen mit Fluglotsen erstellen wir eine Smartphone-App zur effizienten Dokumentation von Emotionen aus den Kategorien Ärger, Langeweile, Überraschung, Stress und Stolz. Deskriptive Fallstudien in beiden Anwendungsfeldern zeigen die Machbarkeit und den Nutzen der Methode Proxemo und die Angemessenheit des jeweiligen Designs der Proxemo App.
Der dritte Teil dieser Arbeit besteht aus einer Reihe von Meta-Evaluationsstudien zu den Gütekriterien von Proxemo. Wir evaluieren Proxemo hinsichtlich der Reliabilität, Validität, Gründlichkeit und Effektivität, und vergleichen die Effizienz von Proxemo und die UX der Beobachter mit der Dokumentation mit Stift und Papier. Proxemo ist reliabel, sowie effizienter, gründlicher und effektiver als handschriftliche Notizen und bietet den Beobachtern eine bessere UX. Proxemo schneidet gut ab im Vergleich zu bestehenden Methoden, für die Benchmarks verfügbar sind.
Mit Proxemo stellen wir eine validierte, strukturierte Beobachtungsmethode vor, die nachweislich den Anforderungen formativer UX Evaluationen in den extremen Kontexten von Benutzern mit kognitiven Beeinträchtigungen oder hohen Aufgabenanforderungen gerecht wird. Proxemo ist agnostisch bezüglich der theoretischen Ansätze von Forschenden und vereint reduktionistische und ganzheitliche Perspektiven in einer Methode. Zukünftige Arbeiten sollten die Anwendbarkeit von Proxemo für weitere Domänen erkunden und die Liste der geprüften Gütekriterien erweitern, zum Beispiel um das Kriterium Downstream Utility. In Bezug auf die Grundlagenforschung werden wir versuchen, die Quellen besser zu verstehen, auf denen die empathischen Urteile der Beobachter fußen und schlagen Erinnerungen und ältere Erwachsene als Modellumgebung für die künftige Erforschung gemischter Emotionen vor.
urn:nbn:de:bvb:20-opus-305730
10.25972/OPUS-30573
publish
X 130391
CC BY-NC: Creative-Commons-Lizenz: Namensnennung, Nicht kommerziell 4.0 International
Stephan Huber
deu
swd
Gefühl
deu
swd
Wissenschaftliche Beobachtung
deu
swd
Methode
deu
swd
Benutzererlebnis
deu
swd
Benutzerforschung
deu
uncontrolled
Emotionserkennung
eng
uncontrolled
Emotion inference
deu
uncontrolled
Emotionsinterpretation
Datenverarbeitung; Informatik
Evaluation/methodology
open_access
Institut Mensch - Computer - Medien
Universität Würzburg
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/30573/Huber_Stephan_Dissertation.pdf
29858
2023
eng
42
preprint
1
2022-12-22
--
--
Analysing the phase space of the standard model and its basic four forces from a qubit phase transition perspective: implications for large-scale structure generation and early cosmological events
The phase space for the standard model of the basic four forces for n quanta includes all possible ensemble combinations of their quantum states m, a total of n**m states. Neighbor states reach according to transition possibilities (S-matrix) with emergent time from entropic ensemble gradients.
We replace the “big bang” by a condensation event (interacting qubits become decoherent) and inflation by a crystallization event – the crystal unit cell guarantees same symmetries everywhere. Interacting qubits solidify and form a rapidly growing domain where the n**m states become separated ensemble states, rising long-range forces stop ultimately further growth. After that very early events, standard cosmology with the hot fireball model takes over. Our theory agrees well with lack of inflation traces in cosmic background measurements, large-scale structure of voids and filaments, supercluster formation, galaxy formation, dominance of matter and life-friendliness.
We prove qubit interactions to be 1,2,4 or 8 dimensional (agrees with E8 symmetry of our universe). Repulsive forces at ultrashort distances result from quantization, long-range forces limit crystal growth. Crystals come and go in the qubit ocean. This selects for the ability to lay seeds for new crystals, for self-organization and life-friendliness.
We give energy estimates for free qubits vs bound qubits, misplacements in the qubit crystal and entropy increase during qubit decoherence / crystal formation. Scalar fields for color interaction and gravity derive from the permeating qubit-interaction field. Hence, vacuum energy gets low only inside the qubit crystal. Condensed mathematics may advantageously model free / bound qubits in phase space.
urn:nbn:de:bvb:20-opus-298580
10.25972/OPUS-29858
publish
true
true
CC BY-NC: Creative-Commons-Lizenz: Namensnennung, Nicht kommerziell 4.0 International
Thomas Dandekar
eng
uncontrolled
phase space
eng
uncontrolled
cosmology
eng
uncontrolled
emergent time
eng
uncontrolled
qubit
eng
uncontrolled
phase transition
eng
uncontrolled
bit
Datenverarbeitung; Informatik
Biowissenschaften; Biologie
General Literature
GENERAL
ASTRONOMY AND ASTROPHYSICS (For celestial mechanics, see 70F15)
open_access
Theodor-Boveri-Institut für Biowissenschaften
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/29858/Dandekar_Bioinformatics_Standard_Model_F_Preprint.pdf
30187
2023
eng
doctoralthesis
1
2023-01-26
--
2022-10-31
Defining and Implementing Domain-Specific Languages with Prolog
Definition und Implementierung domänenspezifischer Sprachen mit Prolog
The landscape of today’s programming languages is manifold. With the diversity of applications, the difficulty of adequately addressing and specifying the used programs increases. This often leads to newly designed and implemented domain-specific languages. They enable domain experts to express knowledge in their preferred format, resulting in more readable and concise programs. Due to its flexible and declarative syntax without reserved keywords, the logic programming language Prolog is particularly suitable for defining and embedding domain-specific languages.
This thesis addresses the questions and challenges that arise when integrating domain-specific languages into Prolog. We compare the two approaches to define them either externally or internally, and provide assisting tools for each. The grammar of a formal language is usually defined in the extended Backus–Naur form. In this work, we handle this formalism as a domain-specific language in Prolog, and define term expansions that allow to translate it into equivalent definite clause grammars. We present the package library(dcg4pt) for SWI-Prolog, which enriches them by an additional argument to automatically process the term’s corresponding parse tree. To simplify the work with definite clause grammars, we visualise their application by a web-based tracer.
The external integration of domain-specific languages requires the programmer to keep the grammar, parser, and interpreter in sync. In many cases, domain-specific languages can instead be directly embedded into Prolog by providing appropriate operator definitions. In addition, we propose syntactic extensions for Prolog to expand its expressiveness, for instance to state logic formulas with their connectives verbatim. This allows to use all tools that were originally written for Prolog, for instance code linters and editors with syntax highlighting. We present the package library(plammar), a standard-compliant parser for Prolog source code, written in Prolog. It is able to automatically infer from example sentences the required operator definitions with their classes and precedences as well as the required Prolog language extensions. As a result, we can automatically answer the question: Is it possible to model these example sentences as valid Prolog clauses, and how?
We discuss and apply the two approaches to internal and external integrations for several domain-specific languages, namely the extended Backus–Naur form, GraphQL, XPath, and a controlled natural language to represent expert rules in if-then form. The created toolchain with library(dcg4pt) and library(plammar) yields new application opportunities for static Prolog source code analysis, which we also present.
Die Landschaft der heutigen Programmiersprachen ist vielfältig. Mit ihren unterschiedlichen Anwendungsbereichen steigt zugleich die Schwierigkeit, die eingesetzten Programme adäquat anzusprechen und zu spezifizieren. Immer häufiger werden hierfür domänenspezifische Sprachen entworfen und implementiert. Sie ermöglichen Domänenexperten, Wissen in ihrem bevorzugten Format auszudrücken, was zu lesbareren Programmen führt. Durch ihre flexible und deklarative Syntax ohne vorbelegte Schlüsselwörter ist die logische Programmsprache Prolog besonders geeignet, um domänenspezifische Sprachen zu definieren und einzubetten.
Diese Arbeit befasst sich mit den Fragen und Herausforderungen, die sich bei der Integration von domänenspezifischen Sprachen in Prolog ergeben. Wir vergleichen die zwei Ansätze, sie entweder extern oder intern zu definieren, und stellen jeweils Hilfsmittel zur Verfügung. Die Grammatik einer formalen Sprache wird häufig in der erweiterten Backus–Naur–Form definiert. Diesen Formalismus behandeln wir in dieser Arbeit als eine domänenspezifische Sprache in Prolog und definieren Termexpansionen, die es erlauben, ihn in äquivalente Definite Clause Grammars für Prolog zu übersetzen. Durch das Modul library(dcg4pt) werden sie um ein zusätzliches Argument erweitert, das den Syntaxbaum eines Terms automatisch erzeugt. Um die Arbeit mit Definite Clause Grammars zu erleichtern, visualisieren wir ihre Anwendung in einem webbasierten Tracer.
Meist können domänenspezifische Sprachen jedoch auch mittels passender Operatordefinitionen direkt in Prolog eingebettet werden. Dies ermöglicht die Verwendung aller Werkzeuge, die ursprünglich für Prolog geschrieben wurden, z.B. zum Code-Linting und Syntax-Highlighting. In dieser Arbeit stellen wir den standardkonformen Prolog-Parser library(plammar) vor. Er ist in Prolog geschrieben und in der Lage, aus Beispielsätzen automatisch die erforderlichen Operatoren mit ihren Klassen und Präzedenzen abzuleiten. Um die Ausdruckskraft von Prolog noch zu erweitern, schlagen wir Ergänzungen zum ISO Standard vor. Sie erlauben es, weitere Sprachen direkt einzubinden, und werden ebenfalls von library(plammar) identifiziert. So ist es bspw. möglich, logische Formeln direkt mit den bekannten Symbolen für Konjunktion, Disjunktion, usw. als Prolog-Programme anzugeben.
Beide Ansätze der internen und externen Integration werden für mehrere domänen-spezifische Sprachen diskutiert und beispielhaft für GraphQL, XPath, die erweiterte Backus–Naur–Form sowie Expertenregeln in Wenn–Dann–Form umgesetzt. Die vorgestellten Werkzeuge um library(dcg4pt) und library(plammar) ergeben zudem neue Anwendungsmöglichkeiten auch für die statische Quellcodeanalyse von Prolog-Programmen.
urn:nbn:de:bvb:20-opus-301872
10.25972/OPUS-30187
publish
X 130345
CC BY-ND: Creative-Commons-Lizenz: Namensnennung, Keine Bearbeitungen 4.0 International
Falco Nogatz
deu
swd
PROLOG <Programmiersprache>
deu
swd
Domänenspezifische Sprache
eng
uncontrolled
logic programming
eng
uncontrolled
knowledge representation
eng
uncontrolled
definite clause grammars
Datenverarbeitung; Informatik
open_access
Institut für Informatik
Universität Würzburg
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/30187/Nogatz_Falco_Thesis.pdf
32019
2023
eng
6
conferenceobject
1
2023-06-23
--
--
Towards Accessibility Guidelines for the Metaverse : A Synthesis of Recommendations for People Living With Dementia
Given the growing interest of corporate stakeholders in Metaverse applications, there is a need to understand accessibility of these technologies for marginalized populations such as people living with dementia to ensure inclusive design of Metaverse applications. We assessed the accessibility of extended reality technology for people living with mild cognitive impairment and dementia to develop accessibility guidelines for these technologies. We used four strategies to synthesize evidence for barriers and facilitators of accessibility: (1) Findings from a non-systematic literature review, (2) guidelines from well-researched technology, (3) exploration of selected mixed reality technologies, and (4) observations from four sessions and video data of people living with dementia using mixed reality technologies. We utilized template analysis to develop codes and themes towards accessibility guidelines. Future work can validate our preliminary findings by applying them on video recordings or testing them in experiments.
Conference on Human Factors in Computing Systems (CHI’23) : Workshop "Towards an Inclusive and Accessible Metaverse"
https://sites.google.com/view/accessiblemetaverse
10.25972/OPUS-32019
urn:nbn:de:bvb:20-opus-320199
Social and Technological Systems (SaTS) lab, School of Art, Media, Performance and Design, York University, Toronto, Canada
DATE Lab, KITE Research Insititute, University Health Network, Toronto, Canada
publish
true
true
CC BY-SA: Creative-Commons-Lizenz: Namensnennung, Weitergabe unter gleichen Bedingungen 4.0 International
Robin Abendschein
Shital Desai
Arlene J. Astell
deu
swd
CHI Conference
eng
uncontrolled
Accessibility
eng
uncontrolled
Metaverse
eng
uncontrolled
extended reality
eng
uncontrolled
dementia
eng
uncontrolled
cognitive impairment
eng
uncontrolled
Human-centered computing / Access
eng
uncontrolled
Human-centered computing / Human computer interaction (HCI) / Interaction paradigms / Mixed / augmented reality
eng
uncontrolled
Human-centered computing / Human computer interaction (HCI) / Interaction paradigms / Virtual reality
eng
uncontrolled
Human-centered computing / Human computer interaction (HCI) / Interactiondevices
eng
uncontrolled
Human-centered computing / Human computerinteraction (HCI) / Interaction techniques
Datenverarbeitung; Informatik
INFORMATION INTERFACES AND PRESENTATION (e.g., HCI) (I.7)
open_access
Institut Mensch - Computer - Medien
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/32019/Abendschein_Robin_Desai_Shital_Astell_Arlene_J_Accessibility_Guidelines_Metaverse.pdf
32269
2023
eng
doctoralthesis
1
2023-07-28
--
2023-03-29
Underwater Laser Scanning - Refractive Calibration, Self-calibration and Mapping for 3D Reconstruction
Laserscanning unter Wasser - Refraktive Kalibrierung, Selbstkalibrierung und Kartierung zur 3D Rekonstruktion
There is great interest in affordable, precise and reliable metrology underwater:
Archaeologists want to document artifacts in situ with high detail.
In marine research, biologists require the tools to monitor coral growth and geologists need recordings to model sediment transport.
Furthermore, for offshore construction projects, maintenance and inspection millimeter-accurate measurements of defects and offshore structures are essential.
While the process of digitizing individual objects and complete sites on land is well understood and standard methods, such as Structure from Motion or terrestrial laser scanning, are regularly applied, precise underwater surveying with high resolution is still a complex and difficult task.
Applying optical scanning techniques in water is challenging due to reduced visibility caused by turbidity and light absorption.
However, optical underwater scanners provide significant advantages in terms of achievable resolution and accuracy compared to acoustic systems.
This thesis proposes an underwater laser scanning system and the algorithms for creating dense and accurate 3D scans in water.
It is based on laser triangulation and the main optical components are an underwater camera and a cross-line laser projector.
The prototype is configured with a motorized yaw axis for capturing scans from a tripod.
Alternatively, it is mounted to a moving platform for mobile mapping.
The main focus lies on the refractive calibration of the underwater camera and laser projector, the image processing and 3D reconstruction.
For highest accuracy, the refraction at the individual media interfaces must be taken into account.
This is addressed by an optimization-based calibration framework using a physical-geometric camera model derived from an analytical formulation of a ray-tracing projection model.
In addition to scanning underwater structures, this work presents the 3D acquisition of semi-submerged structures and the correction of refraction effects.
As in-situ calibration in water is complex and time-consuming, the challenge of transferring an in-air scanner calibration to water without re-calibration is investigated, as well as self-calibration techniques for structured light.
The system was successfully deployed in various configurations for both static scanning and mobile mapping.
An evaluation of the calibration and 3D reconstruction using reference objects and a comparison of free-form surfaces in clear water demonstrate the high accuracy potential in the range of one millimeter to less than one centimeter, depending on the measurement distance.
Mobile underwater mapping and motion compensation based on visual-inertial odometry is demonstrated using a new optical underwater scanner based on fringe projection.
Continuous registration of individual scans allows the acquisition of 3D models from an underwater vehicle.
RGB images captured in parallel are used to create 3D point clouds of underwater scenes in full color.
3D maps are useful to the operator during the remote control of underwater vehicles and provide the building blocks to enable offshore inspection and surveying tasks.
The advancing automation of the measurement technology will allow non-experts to use it, significantly reduce acquisition time and increase accuracy, making underwater metrology more cost-effective.
Das Interesse an präziser, zuverlässiger und zugleich kostengünstiger Unterwassermesstechnik ist groß.
Beispielsweise wollen Archäologen Artefakte in situ mit hoher Detailtreue dokumentieren und in der Meeresforschung benötigen Biologen Messwerkzeuge zur Beobachtung des Korallenwachstums.
Auch Geologen sind auf Messdaten angewiesen, um Sedimenttransporte zu modellieren.
Darüber hinaus ist für die Errichtung von Offshore-Bauwerken, sowie deren Wartung und Inspektion eine millimetergenaue Vermessung von vorhandenen Strukturen und Defekten unerlässlich.
Während die Digitalisierung einzelner Objekte und ganzer Areale an Land gut erforscht ist und verschiedene Standardmethoden, wie zum Beispiel Structure from Motion oder terrestrisches Laserscanning, regelmäßig eingesetzt werden, ist die präzise und hochauflösende Unterwasservermessung nach wie vor eine komplexe und schwierige Aufgabe.
Die Anwendung optischer Messtechnik im Wasser ist aufgrund der eingeschränkten Sichttiefe durch Trübung und Lichtabsorption eine Herausforderung.
Optische Unterwasserscanner bieten jedoch Vorteile hinsichtlich der erreichbaren Auflösung und Genauigkeit gegenüber akustischen Systemen.
In dieser Arbeit werden ein Unterwasser-Laserscanning-System und die Algorithmen zur Erzeugung von 3D-Scans mit hoher Punktdichte im Wasser vorgestellt.
Es basiert auf Lasertriangulation und die optischen Hauptkomponenten sind eine Unterwasserkamera und ein Kreuzlinienlaserprojektor.
Das System ist mit einer motorisierten Drehachse ausgestattet, um Scans von einem Stativ aus aufzunehmen.
Alternativ kann es von einer beweglichen Plattform aus für mobile Kartierung eingesetzt werden.
Das Hauptaugenmerk liegt auf der refraktiven Kalibrierung der Unterwasserkamera und des Laserprojektors, der Bildverarbeitung und der 3D-Rekonstruktion.
Um höchste Genauigkeit zu erreichen, muss die Brechung an den einzelnen Medienübergängen berücksichtigt werden.
Dies wird durch ein physikalisch-geometrisches Kameramodell, das auf einer analytischen Beschreibung der Strahlenverfolgung basiert, und ein optimierungsbasiertes Kalibrierverfahren erreicht.
Neben dem Scannen von Unterwasserstrukturen wird in dieser Arbeit auch die 3D-Erfassung von teilweise im Wasser befindlichen Strukturen und die Korrektur der dabei auftretenden Brechungseffekte vorgestellt.
Da die Kalibrierung im Wasser komplex und zeitintensiv ist, wird die Übertragung einer Kalibrierung des Scanners in Luft auf die Bedingungen im Wasser ohne Neukalibrierung, sowie die Selbstkalibrierung für Lichtschnittverfahren untersucht.
Das System wurde in verschiedenen Konfigurationen sowohl für statisches Scannen als auch für die mobile Kartierung erfolgreich eingesetzt.
Die Validierung der Kalibrierung und der 3D-Rekonstruktion anhand von Referenzobjekten und der Vergleich von Freiformflächen in klarem Wasser zeigen das hohe Genauigkeitspotenzial im Bereich von einem Millimeter bis weniger als einem Zentimeter in Abhängigkeit von der Messdistanz.
Die mobile Unterwasserkartierung und Bewegungskompensation anhand visuell-inertialer Odometrie wird mit einem neuen optischen Unterwasserscanner auf Basis der Streifenprojektion demonstriert.
Dabei ermöglicht die kontinuierliche Registrierung von Einzelscans die Erfassung von 3D-Modellen von einem Unterwasserfahrzeug aus.
Mit Hilfe von parallel aufgenommenen RGB-Bildern werden dabei farbige 3D-Punktwolken der Unterwasserszenen erstellt.
Diese 3D-Karten dienen beispielsweise dem Bediener bei der Fernsteuerung von Unterwasserfahrzeugen und bilden die Grundlage für Offshore-Inspektions- und Vermessungsaufgaben.
Die fortschreitende Automatisierung der Messtechnik wird somit auch eine Verwendung durch Nichtfachleute ermöglichen und gleichzeitig die Erfassungszeit erheblich verkürzen und die Genauigkeit verbessern, was die Vermessung im Wasser kostengünstiger und effizienter macht.
10.25972/OPUS-32269
978-3-945459-45-4
urn:nbn:de:bvb:20-opus-322693
publish
X 130736
CC BY-NC-SA: Creative-Commons-Lizenz: Namensnennung, Nicht kommerziell, Weitergabe unter gleichen Bedingungen 4.0 International
Michael Bleier
Forschungsberichte in der Robotik = Research Notes in Robotics
28
deu
swd
Selbstkalibrierung
deu
swd
Punktwolke
deu
swd
Bildverarbeitung
eng
uncontrolled
3D Reconstruction
eng
uncontrolled
Self-calibration
eng
uncontrolled
Underwater Scanning
eng
uncontrolled
Underwater Mapping
deu
swd
Dreidimensionale Rekonstruktion
deu
uncontrolled
3D-Rekonstruktion
Datenverarbeitung; Informatik
Technik, Technologie
Computer Applications
open_access
Institut für Informatik
Graduate School of Science and Technology
Universität Würzburg
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/32269/Michael_Bleier_Thesis.pdf
32218
2023
eng
4
workingpaper
0
--
--
--
Visualization of Network Emulation Enabled by Kathará
In network research, reproducibility of experiments is not always easy to achieve. Infrastructures are cumbersome to set up or are not available due to vendor-specific devices. Emulators try to overcome those issues to a given extent and are available in different service models. Unfortunately, the usability of emulators requires time-consuming efforts and a deep understanding of their functionality. At first, we analyze to which extent currently available open-source emulators support network configurations and how user-friendly they are. With these insights, we describe, how an ease-to-use emulator is implemented and may run as a Network Emulator as a Service (NEaaS). Therefore, virtualization plays a major role in order to deploy a NEaaS based on Kathará.
KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23)
urn:nbn:de:bvb:20-opus-322189
10.25972/OPUS-32218
@INPROCEEDINGSGros2306:Visualization, AUTHOR="Marcel Großmann and Duy Thanh Le", TITLE="Visualization of Network Emulation Enabled by Katharà", BOOKTITLE="KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23)", ADDRESS="Würzburg, Germany", PAGES=4, DAYS=27, MONTH=jun, YEAR=2023, ABSTRACT="In network research, reproducibility of experiments is not always easy to achieve. Infrastructures are cumbersome to set up or are not available due to vendor-specific devices. Emulators try to overcome those issues to a given extent and are available in different service models. Unfortunately, the usability of emulators requires time-consuming efforts and a deep understanding of their functionality. At first, we analyze to which extent currently available open-source emulators support network configurations and how user-friendly they are. With these insights, we describe, how an ease-to-use emulator is implemented and may run as a Network Emulator as a Service (NEaaS). Therefore, virtualization plays a major role in order to deploy a NEaaS based on Kathará."
md5:1c476a208fb48055dc7f8c40aaea78a0
2023-07-21T11:40:47+00:00
/tmp/php4RKYbJ
bibtex
64ba6ebfdd15d2.78779321
true
true
CC BY-SA: Creative-Commons-Lizenz: Namensnennung, Weitergabe unter gleichen Bedingungen 4.0 International
Marcel Großmann
Duy Thanh Le
eng
uncontrolled
Network Emulator
eng
uncontrolled
Visualized Kathará
eng
uncontrolled
Containerization
Datenverarbeitung; Informatik
open_access
Institut für Informatik
Arbeitspapiere (Working Paper)
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/32218/Grossmann_Le_Kathara_WueWoWas23_1570913204.pdf
32219
2023
eng
4
workingpaper
0
--
--
--
Federated Learning for Service Placement in Fog and Edge Computing
Service orchestration requires enormous attention and is a struggle nowadays. Of course, virtualization provides a base level of abstraction for services to be deployable on a lot of infrastructures. With container virtualization, the trend to migrate applications to a micro-services level in order to be executable in Fog and Edge Computing environments increases manageability and maintenance efforts rapidly. Similarly, network virtualization adds effort to calibrate IP flows for Software-Defined Networks and eventually route it by means of Network Function Virtualization. Nevertheless, there are concepts like MAPE-K to support micro-service distribution in next-generation cloud and network environments. We want to explore, how a service distribution can be improved by adopting machine learning concepts for infrastructure or service changes. Therefore, we show how federated machine learning is integrated into a cloud-to-fog-continuum without burdening single nodes.
KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23)
urn:nbn:de:bvb:20-opus-322193
10.25972/OPUS-32219
@INPROCEEDINGSGros2306:Federated, AUTHOR="Manuel Dworzak and Marcel Großmann and Duy Thanh Le", TITLE="Federated Learning for Service Placement in Fog and Edge Computing", BOOKTITLE="KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23)", ADDRESS="Würzburg, Germany", PAGES=4, DAYS=27, MONTH=jun, YEAR=2023, ABSTRACT="Service orchestration requires enormous attention and is a struggle nowadays. Of course, virtualization provides a base level of abstraction for services to be deployable on a lot of infrastructures. With container virtualization, the trend to migrate applications to a micro-services level in order to be executable in Fog and Edge Computing environments increases manageability and maintenance efforts rapidly. Similarly, network virtualization adds effort to calibrate IP flows for Software-Defined Networks and eventually route it by means of Network Function Virtualization. Nevertheless, there are concepts like MAPE-K to support micro-service distribution in next-generation cloud and network environments. We want to explore, how a service distribution can be improved by adopting machine learning concepts for infrastructure or service changes. Therefore, we show how federated machine learning is integrated into a cloud-to-fog-continuum without burdening single nodes."
md5:941842dba0018f986903684543bf1463
2023-07-21T11:40:47+00:00
/tmp/php4RKYbJ
bibtex
64ba6ebfdd15d2.78779321
true
true
CC BY-SA: Creative-Commons-Lizenz: Namensnennung, Weitergabe unter gleichen Bedingungen 4.0 International
Manuel Dworzak
Marcel Großmann
Duy Thanh Le
eng
uncontrolled
fog computing
eng
uncontrolled
SDN
eng
uncontrolled
orchestration
eng
uncontrolled
federated learning
Datenverarbeitung; Informatik
open_access
Institut für Informatik
Arbeitspapiere (Working Paper)
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/32219/Dworzak_et_al_Federated_Learning_WueWoWas23_1570913210.pdf
31911
2023
eng
doctoralthesis
1
2023-06-06
--
2023-05-31
Machine learning to support physicians in endoscopic examinations with a focus on automatic polyp detection in images and videos
Maschinelles Lernen zur Unterstützung von Ärzten bei endoskopischen Untersuchungen mit Schwerpunkt auf der automatisierten Polypenerkennung in Bildern und Videos
Deep learning enables enormous progress in many computer vision-related tasks. Artificial Intel- ligence (AI) steadily yields new state-of-the-art results in the field of detection and classification. Thereby AI performance equals or exceeds human performance. Those achievements impacted many domains, including medical applications.
One particular field of medical applications is gastroenterology. In gastroenterology, machine learning algorithms are used to assist examiners during interventions. One of the most critical concerns for gastroenterologists is the development of Colorectal Cancer (CRC), which is one of the leading causes of cancer-related deaths worldwide. Detecting polyps in screening colonoscopies is the essential procedure to prevent CRC. Thereby, the gastroenterologist uses an endoscope to screen the whole colon to find polyps during a colonoscopy. Polyps are mucosal growths that can vary in severity.
This thesis supports gastroenterologists in their examinations with automated detection and clas- sification systems for polyps. The main contribution is a real-time polyp detection system. This system is ready to be installed in any gastroenterology practice worldwide using open-source soft- ware. The system achieves state-of-the-art detection results and is currently evaluated in a clinical trial in four different centers in Germany.
The thesis presents two additional key contributions: One is a polyp detection system with ex- tended vision tested in an animal trial. Polyps often hide behind folds or in uninvestigated areas. Therefore, the polyp detection system with extended vision uses an endoscope assisted by two additional cameras to see behind those folds. If a polyp is detected, the endoscopist receives a vi- sual signal. While the detection system handles the additional two camera inputs, the endoscopist focuses on the main camera as usual.
The second one are two polyp classification models, one for the classification based on shape (Paris) and the other on surface and texture (NBI International Colorectal Endoscopic (NICE) classification). Both classifications help the endoscopist with the treatment of and the decisions about the detected polyp.
The key algorithms of the thesis achieve state-of-the-art performance. Outstandingly, the polyp detection system tested on a highly demanding video data set shows an F1 score of 90.25 % while working in real-time. The results exceed all real-time systems in the literature. Furthermore, the first preliminary results of the clinical trial of the polyp detection system suggest a high Adenoma Detection Rate (ADR). In the preliminary study, all polyps were detected by the polyp detection system, and the system achieved a high usability score of 96.3 (max 100). The Paris classification model achieved an F1 score of 89.35 % which is state-of-the-art. The NICE classification model achieved an F1 score of 81.13 %.
Furthermore, a large data set for polyp detection and classification was created during this thesis. Therefore a fast and robust annotation system called Fast Colonoscopy Annotation Tool (FastCAT) was developed. The system simplifies the annotation process for gastroenterologists. Thereby the
i
gastroenterologists only annotate key parts of the endoscopic video. Afterward, those video parts are pre-labeled by a polyp detection AI to speed up the process. After the AI has pre-labeled the frames, non-experts correct and finish the annotation. This annotation process is fast and ensures high quality. FastCAT reduces the overall workload of the gastroenterologist on average by a factor of 20 compared to an open-source state-of-art annotation tool.
Deep Learning ermöglicht enorme Fortschritte bei vielen Aufgaben im Bereich der Computer Vision. Künstliche Intelligenz (KI) liefert ständig neue Spitzenergebnisse im Bereich der Erkennung und Klassifizierung. Dabei erreicht oder übertrifft die Leistung von KI teilweise die menschliche Leistung. Diese Errungenschaften wirken sich auf viele Bereiche aus, darunter auch auf medizinische Anwendungen.
Ein besonderer Bereich der medizinischen Anwendungen ist die Gastroenterologie. In der Gastroenterologie werden Algorithmen des maschinellen Lernens eingesetzt, um den Untersucher bei medizinischen Eingriffen zu unterstützen. Eines der größten Probleme für Gastroenterologen ist die Entwicklung von Darmkrebs, die weltweit eine der häufigsten krebsbedingten Todesursachen ist. Die Erkennung von Polypen bei Darmspiegelungen ist das wichtigste Verfahren zur Vorbeugung von Darmkrebs. Dabei untersucht der Gastroenterologe den Dickdarm im Rahmen einer Koloskopie, um z.B. Polypen zu finden. Polypen sind Schleimhautwucherungen, die unterschiedlich stark ausgeprägt sein können.
Diese Arbeit unterstützt Gastroenterologen bei ihren Untersuchungen mit automatischen Erkennungssystemen und Klassifizierungssystemen für Polypen. Der Hauptbeitrag ist ein Echtzeitpolypenerkennungssystem. Dieses System kann in jeder gastroenterologischen Praxis weltweit mit Open- Source-Software installiert werden. Das System erzielt Erkennungsergebnisse auf dem neusten Stand der Technik und wird derzeit in einer klinischen Studie in vier verschiedenen Praxen in Deutschland evaluiert.
In dieser Arbeit werden zwei weitere wichtige Beiträge vorgestellt: Zum einen ein Polypenerkennungssystem mit erweiterter Sicht, das in einem Tierversuch getestet wurde. Polypen verstecken sich oft hinter Falten oder in nicht untersuchten Bereichen. Daher verwendet das Polypenerkennungssystem mit erweiterter Sicht ein Endoskop, das von zwei zusätzlichen Kameras unterstützt wird, um hinter diese Falten zu sehen. Wenn ein Polyp entdeckt wird, erhält der Endoskopiker ein visuelles Signal. Während das Erkennungssystem die beiden zusätzlichen Kameraeingaben verarbeitet, konzentriert sich der Endoskopiker wie gewohnt auf die Hauptkamera.
Das zweite sind zwei Polypenklassifizierungsmodelle, eines für die Klassifizierung anhand der Form (Paris) und das andere anhand der Oberfläche und Textur (NICE-Klassifizierung). Beide Klassifizierungen helfen dem Endoskopiker bei der Behandlung und Entscheidung über den erkannten Polypen.
Die Schlüsselalgorithmen der Dissertation erreichen eine Leistung, die dem neuesten Stand der Technik entspricht. Herausragend ist, dass das auf einem anspruchsvollen Videodatensatz getestete Polypenerkennungssystem einen F1-Wert von 90,25 % aufweist, während es in Echtzeit arbeitet. Die Ergebnisse übertreffen alle Echtzeitsysteme für Polypenerkennung in der Literatur. Darüber hinaus deuten die ersten vorläufigen Ergebnisse einer klinischen Studie des Polypenerkennungssystems auf eine hohe Adenomdetektionsrate ADR hin. In dieser Studie wurden alle Polypen durch das Polypenerkennungssystem erkannt, und das System erreichte einen hohe Nutzerfreundlichkeit von 96,3 (maximal 100). Bei der automatischen Klassifikation von Polypen basierend auf der Paris Klassifikations erreichte das in dieser Arbeit entwickelte System einen F1-Wert von 89,35 %, was dem neuesten Stand der Technik entspricht. Das NICE-Klassifikationsmodell erreichte eine F1- Wert von 81,13 %.
Darüber hinaus wurde im Rahmen dieser Arbeit ein großer Datensatz zur Polypenerkennung und -klassifizierung erstellt. Dafür wurde ein schnelles und robustes Annotationssystem namens FastCAT entwickelt. Das System vereinfacht den Annotationsprozess für Gastroenterologen. Die Gastroenterologen annotieren dabei nur die wichtigsten Teile des endoskopischen Videos. Anschließend werden diese Videoteile von einer Polypenerkennungs-KI vorverarbeitet, um den Prozess zu beschleunigen. Nachdem die KI die Bilder vorbeschriftet hat, korrigieren und vervollständigen Nicht-Experten die Annotationen. Dieser Annotationsprozess ist schnell und gewährleistet eine hohe Qualität. FastCAT reduziert die Gesamtarbeitsbelastung des Gastroenterologen im Durchschnitt um den Faktor 20 im Vergleich zu einem Open-Source-Annotationstool auf dem neuesten Stand der Technik.
urn:nbn:de:bvb:20-opus-319119
10.25972/OPUS-31911
publish
X 130549
Deutsches Urheberrecht
Adrian Krenzer
deu
swd
Deep Learning
deu
swd
Maschinelles Lernen
deu
swd
Maschinelles Sehen
eng
uncontrolled
Machine Learning
eng
uncontrolled
Object Detection
eng
uncontrolled
Medical Image Analysis
eng
uncontrolled
Computer Vision
Datenverarbeitung; Informatik
Health
open_access
Institut für Informatik
Universität Würzburg
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/31911/Krenzer_Adrian_Dissertation.pdf
32214
2023
eng
5
workingpaper
0
--
--
--
Towards a 5G Satellite Communication Framework for V2X
In recent years, satellite communication has been expanding its field of application in the world of computer networks. This paper aims to provide an overview of how a typical scenario involving 5G Non-Terrestrial Networks (NTNs) for vehicle to everything (V2X) applications is characterized. In particular, a first implementation of a system that integrates them together will be described. Such a framework will later be used to evaluate the performance of applications such as Vehicle Monitoring (VM), Remote Driving (RD), Voice Over IP (VoIP), and others. Different configuration scenarios such as Low Earth Orbit and Geostationary Orbit will be considered.
KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23)
urn:nbn:de:bvb:20-opus-322148
10.25972/OPUS-32214
@INPROCEEDINGSMart2306:5G, AUTHOR=Luigi Martino and Jörg Deutschmann and Kai-Steffen J. Hielscher and Reinhard German, TITLE="Towards a 5G Satellite Communication Framework for V2X", BOOKTITLE="KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23)", ADDRESS="Würzburg, Germany", PAGES=5, DAYS=27, MONTH=jun, YEAR=2023, ABSTRACT="In recent years, satellite communication has been expanding its field of application in the world of computer networks. This paper aims to provide an overview of how a typical scenario involving 5G Non-Terrestrial Networks (NTNs) for vehicle to everything (V2X) applications is characterized. In particular, a first implementation of a system that integrates them together will be described. Such a framework will later be used to evaluate the performance of applications such as Vehicle Monitoring (VM), Remote Driving (RD), Voice Over IP (VoIP), and others. Different configuration scenarios such as Low Earth Orbit and Geostationary Orbit will be considered."
md5:6473e5d0972e7056a947d0555fb95013
2023-07-21T11:40:47+00:00
/tmp/php4RKYbJ
bibtex
64ba6ebfdd15d2.78779321
true
true
CC BY-SA: Creative-Commons-Lizenz: Namensnennung, Weitergabe unter gleichen Bedingungen 4.0 International
Luigi Martino
Jörg Deutschmann
Kai-Steffen Hielscher
Reinhard German
eng
uncontrolled
5G
eng
uncontrolled
non-terrestrial networks
eng
uncontrolled
satellite communication
Datenverarbeitung; Informatik
open_access
Institut für Informatik
Arbeitspapiere (Working Paper)
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/32214/Martino_et_al_V2X_WueWoWas23_1570913321.pdf
32213
2023
eng
4
workingpaper
0
--
--
--
JCAS-Enabled Sensing as a Service in 6th-Generation Mobile Communication Networks
The introduction of new types of frequency spectrum in 6G technology facilitates the convergence of conventional mobile communications and radar functions. Thus, the mobile network itself becomes a versatile sensor system. This enables mobile network operators to offer a sensing service in addition to conventional data and telephony services. The potential benefits are expected to accrue to various stakeholders, including individuals, the environment, and society in general. The paper discusses technological development, possible integration, and use cases, as well as future development areas.
KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23)
urn:nbn:de:bvb:20-opus-322135
10.25972/OPUS-32213
@INPROCEEDINGSRaub2306:JCAS, AUTHOR="Christof Rauber and Lukas Brechtel and Hans Dieter Schotten", TITLE="JCAS-Enabled Sensing as a Service in 6th-Generation Mobile Communication Networks", BOOKTITLE="KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23)", ADDRESS="Würzburg, Germany", PAGES=4, DAYS=27, MONTH=jun, YEAR=2023, ABSTRACT="The introduction of new types of frequency spectrum in 6G technology facilitates the convergence of conventional mobile communications and radar functions. Thus, the mobile network itself becomes a versatile sensor system. This enables mobile network operators to offer a sensing service in addition to conventional data and telephony services. The potential benefits are expected to accrue to various stakeholders, including individuals, the environment, and society in general. The paper discusses technological development, possible integration, and use cases, as well as future development areas."
md5:374bc3361f5a4d5148e07763528ec9ba
2023-07-21T11:40:47+00:00
/tmp/php4RKYbJ
bibtex
64ba6ebfdd15d2.78779321
true
true
CC BY-SA: Creative-Commons-Lizenz: Namensnennung, Weitergabe unter gleichen Bedingungen 4.0 International
Christof A. O. Rauber
Lukas Brechtel
Hans D. Schotten
eng
uncontrolled
Sensing-aaS
eng
uncontrolled
JCAS
eng
uncontrolled
6G
Datenverarbeitung; Informatik
open_access
Institut für Informatik
Arbeitspapiere (Working Paper)
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/32213/Rauber_et_al_JCAS_Enabled_Sensing_WueWoWas23_1570910610.pdf
32216
2023
eng
4
workingpaper
1
--
--
--
Paving the Way for an Energy Efficient and Sustainable Future Internet of Things
In this work, we describe the network from data collection to data processing and storage as a system based on different layers. We outline the different layers and highlight major tasks and dependencies with regard to energy consumption and energy efficiency. With this view, we can outwork challenges and questions a future system architect must answer to provide a more sustainable, green, resource friendly, and energy efficient application or system. Therefore, all system layers must be considered individually but also altogether for future IoT solutions. This requires, in particular, novel sustainability metrics in addition to current Quality of Service and Quality of Experience metrics to provide a high power, user satisfying, and sustainable network.
KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23)
urn:nbn:de:bvb:20-opus-322161
10.25972/OPUS-32216
@INPROCEEDINGSLoh2306:Paving, AUTHOR="Frank Loh and Simon Raffeck and Stefan Geissler and Tobias Hoßfeld", TITLE="Paving the Way for an Energy Efficient and Sustainable Future Internet of Things", BOOKTITLE="KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23)", ADDRESS="Würzburg, Germany", PAGES=4, DAYS=27, MONTH=jun, YEAR=2023, ABSTRACT="In this work, we describe the network from data collection to data processing and storage as a system based on different layers. We outline the different layers and highlight major tasks and dependencies with regard to energy consumption and energy efficiency. With this view, we can outwork challenges and questions a future system architect must answer to provide a more sustainable, green, resource friendly, and energy efficient application or system. Therefore, all system layers must be considered individually but also altogether for future IoT solutions. This requires, in particular, novel sustainability metrics in addition to current Quality of Service and Quality of Experience metrics to provide a high power, user satisfying, and sustainable network."
md5:5a01904ce5d04121adb2a3d2190d02fe
2023-07-21T11:40:47+00:00
/tmp/php4RKYbJ
bibtex
64ba6ebfdd15d2.78779321
true
true
CC BY-SA: Creative-Commons-Lizenz: Namensnennung, Weitergabe unter gleichen Bedingungen 4.0 International
Frank Loh
Simon Raffeck
Stefan Geißler
Tobias Hoßfeld
eng
uncontrolled
Internet of Things
eng
uncontrolled
energy efficiency
eng
uncontrolled
sustainability
Datenverarbeitung; Informatik
open_access
Institut für Informatik
Arbeitspapiere (Working Paper)
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/32216/Loh_et_al_Energy_Efficient_IoT_WueWoWas23_1570913370.pdf
32215
2023
eng
4
workingpaper
0
--
--
--
How to Model and Predict the Scalability of a Hardware-In-The-Loop Test Bench for Data Re-Injection?
This paper describes a novel application of an empirical network calculus model based on measurements of a hardware-in-the-loop (HIL) test system. The aim is to predict the performance of a HIL test bench for open-loop re-injection in the context of scalability. HIL test benches are distributed computer systems including software, hardware, and networking devices. They are used to validate complex technical systems, but have not yet been system under study themselves. Our approach is to use measurements from the HIL system to create an empirical model for arrival and service curves. We predict the performance and design the previously unknown parameters of the HIL simulator with network calculus (NC), namely the buffer sizes and the minimum needed pre-buffer time for the playback buffer. We furthermore show, that it is possible to estimate the CPU load from arrival and service-curves based on the utilization theorem, and hence estimate the scalability of the HIL system in the context of the number of sensor streams.
KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23)
urn:nbn:de:bvb:20-opus-322150
10.25972/OPUS-32215
@INPROCEEDINGSFund2306:How, AUTHOR="Christoph Funda and Tobias Konheiser and Reinhard German and Kai-Steffen J. Hielscher", TITLE="How to Model and Predict the Scalability of a Hardware-In-The-Loop Test Bench for Data Re-Injection?", BOOKTITLE="KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23)", ADDRESS="Würzburg, Germany", PAGES=4, DAYS=27, MONTH=jun, YEAR=2023, ABSTRACT="This paper describes a novel application of an empirical network calculus model based on measurements of a hardware-in-the-loop (HIL) test system. The aim is to predict the performance of a HIL test bench for open-loop re-injection in the context of scalability. HIL test benches are distributed computer systems including software, hardware, and networking devices. They are used to validate complex technical systems, but have not yet been system under study themselves. Our approach is to use measurements from the HIL system to create an empirical model for arrival and service curves. We predict the performance and design the previously unknown parameters of the HIL simulator with network calculus (NC), namely the buffer sizes and the minimum needed pre-buffer time for the playback buffer. We furthermore show, that it is possible to estimate the CPU load from arrival and service-curves based on the utilization theorem, and hence estimate the scalability of the HIL system in the context of the number of sensor streams."
md5:836bb8d0c23c2c563560cc9fc171fdd6
2023-07-21T11:40:47+00:00
/tmp/php4RKYbJ
bibtex
64ba6ebfdd15d2.78779321
true
true
CC BY-SA: Creative-Commons-Lizenz: Namensnennung, Weitergabe unter gleichen Bedingungen 4.0 International
Christoph Funda
Tobias Konheiser
Reinhard German
Kai-Steffen Hielscher
eng
uncontrolled
hardware-in-the-loop simulation
eng
uncontrolled
computer performance evaluation
eng
uncontrolled
network calculus
eng
uncontrolled
scalability evaluation
Datenverarbeitung; Informatik
open_access
Institut für Informatik
Arbeitspapiere (Working Paper)
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/32215/Funda_et_al_Hardware-In-The-Loop_WueWoWas23_1570910627.pdf
32421
2023
eng
136–166
1
37
article
1
--
--
--
ConvMOS: climate model output statistics with deep learning
Climate models are the tool of choice for scientists researching climate change. Like all models they suffer from errors, particularly systematic and location-specific representation errors. One way to reduce these errors is model output statistics (MOS) where the model output is fitted to observational data with machine learning. In this work, we assess the use of convolutional Deep Learning climate MOS approaches and present the ConvMOS architecture which is specifically designed based on the observation that there are systematic and location-specific errors in the precipitation estimates of climate models. We apply ConvMOS models to the simulated precipitation of the regional climate model REMO, showing that a combination of per-location model parameters for reducing location-specific errors and global model parameters for reducing systematic errors is indeed beneficial for MOS performance. We find that ConvMOS models can reduce errors considerably and perform significantly better than three commonly used MOS approaches and plain ResNet and U-Net models in most cases. Our results show that non-linear MOS models underestimate the number of extreme precipitation events, which we alleviate by training models specialized towards extreme precipitation events with the imbalanced regression method DenseLoss. While we consider climate MOS, we argue that aspects of ConvMOS may also be beneficial in other domains with geospatial data, such as air pollution modeling or weather forecasts.
Data Mining and Knowledge Discovery
1384-5810
10.1007/s10618-022-00877-6
urn:nbn:de:bvb:20-opus-324213
@articleSteininger.2023, author = Steininger, Michael and Abel, Daniel and Ziegler, Katrin and Krause, Anna and Paeth, Heiko and Hotho, Andreas, year = 2023, title = ConvMOS: climate model output statistics with deep learning, pages = 136–166, volume = 37, number = 1, issn = 1384-5810, journal = Data Mining and Knowledge Discovery, doi = 10.1007/s10618-022-00877-6
md5:5eb852c46fe22ef1a670832af36581b0
2023-08-12T10:06:31+00:00
/tmp/phpuHgYvI
bibtex
64d759a771d867.56101128
Data Mining and Knowledge Discovery (2023) 37:1, S. 136–166. DOI: 10.1007/s10618-022-00877-6
false
true
CC BY: Creative-Commons-Lizenz: Namensnennung 4.0 International
Michael Steininger
Daniel Abel
Katrin Ziegler
Anna Krause
Heiko Paeth
Andreas Hotho
deu
swd
Klima
deu
swd
Modell
deu
swd
Deep learning
deu
swd
Neuronales Netz
eng
uncontrolled
climate
eng
uncontrolled
neural networks
eng
uncontrolled
model output statistics
Datenverarbeitung; Informatik
Spezielle Computerverfahren
Geologie, Hydrologie, Meteorologie
open_access
Institut für Informatik
Institut für Geographie und Geologie
OpenAIRE
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/32421/s10618-022-00877-6.pdf
32418
2023
eng
9513-9530
8
53
article
1
--
--
--
KIETA: Key-insight extraction from scientific tables
An important but very time consuming part of the research process is literature review. An already large and nevertheless growing ground set of publications as well as a steadily increasing publication rate continue to worsen the situation. Consequently, automating this task as far as possible is desirable. Experimental results of systems are key-insights of high importance during literature review and usually represented in form of tables. Our pipeline KIETA exploits these tables to contribute to the endeavor of automation by extracting them and their contained knowledge from scientific publications. The pipeline is split into multiple steps to guarantee modularity as well as analyzability, and agnosticim regarding the specific scientific domain up until the knowledge extraction step, which is based upon an ontology. Additionally, a dataset of corresponding articles has been manually annotated with information regarding table and knowledge extraction. Experiments show promising results that signal the possibility of an automated system, while also indicating limits of extracting knowledge from tables without any context.
Applied Intelligence
0924-669X
10.1007/s10489-022-03957-8
urn:nbn:de:bvb:20-opus-324180
@articleKempf.2023, author = Kempf, Sebastian and Krug, Markus and Puppe, Frank, year = 2023, title = KIETA: Key-insight extraction from scientific tables, pages = 9513–9530, volume = 53, number = 8, issn = 0924-669X, journal = Applied Intelligence, doi = 10.1007/s10489-022-03957-8
md5:8da42e1159504fd4b0188dc1407e909d
2023-08-12T10:06:31+00:00
/tmp/phpuHgYvI
bibtex
64d759a771d867.56101128
Applied Intelligence (2023) 53:8, 9513-9530 DOI: 10.1007/s10489-022-03957-8
false
true
CC BY: Creative-Commons-Lizenz: Namensnennung 4.0 International
Sebastian Kempf
Markus Krug
Frank Puppe
eng
uncontrolled
table extraction
eng
uncontrolled
table understanding
eng
uncontrolled
ontology
eng
uncontrolled
key-insight extraction
eng
uncontrolled
information extraction
Datenverarbeitung; Informatik
open_access
Institut für Informatik
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/32418/s10489-022-03957-8.pdf
31110
2023
eng
7
15
article
1
--
2023-03-31
--
Giving historical photographs a new perspective: introducing camera orientation parameters as new metadata in a large-scale 4D application
The ongoing digitization of historical photographs in archives allows investigating the quality, quantity, and distribution of these images. However, the exact interior and exterior camera orientations of these photographs are usually lost during the digitization process. The proposed method uses content-based image retrieval (CBIR) to filter exterior images of single buildings in combination with metadata information. The retrieved photographs are automatically processed in an adapted structure-from-motion (SfM) pipeline to determine the camera parameters. In an interactive georeferencing process, the calculated camera positions are transferred into a global coordinate system. As all image and camera data are efficiently stored in the proposed 4D database, they can be conveniently accessed afterward to georeference newly digitized images by using photogrammetric triangulation and spatial resection. The results show that the CBIR and the subsequent SfM are robust methods for various kinds of buildings and different quantity of data. The absolute accuracy of the camera positions after georeferencing lies in the range of a few meters likely introduced by the inaccurate LOD2 models used for transformation. The proposed photogrammetric method, the database structure, and the 4D visualization interface enable adding historical urban photographs and 3D models from other locations.
Remote Sensing
2072-4292
10.3390/rs15071879
urn:nbn:de:bvb:20-opus-311103
2023-04-05T14:41:54+00:00
sword
swordwue
attachment; filename=deposit.zip
3eb15179cfd1e907b2368c35f6c9701e
Remote Sensing (2023) 15:7, 1879. https://doi.org/10.3390/rs15071879
false
true
CC BY: Creative-Commons-Lizenz: Namensnennung 4.0 International
Ferdinand Maiwald
Jonas Bruschke
Danilo Schneider
Markus Wacker
Florian Niebling
eng
uncontrolled
historical images
eng
uncontrolled
4D-GIS
eng
uncontrolled
content-based image retrieval
eng
uncontrolled
Structure-from-Motion
eng
uncontrolled
camera orientation
eng
uncontrolled
feature matching
Datenverarbeitung; Informatik
open_access
Institut für Informatik
Import
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/31110/remotesensing-15-01879.pdf
31093
2023
eng
3
16
article
1
--
2023-03-03
--
Line-level layout recognition of historical documents with background knowledge
Digitization and transcription of historic documents offer new research opportunities for humanists and are the topics of many edition projects. However, manual work is still required for the main phases of layout recognition and the subsequent optical character recognition (OCR) of early printed documents. This paper describes and evaluates how deep learning approaches recognize text lines and can be extended to layout recognition using background knowledge. The evaluation was performed on five corpora of early prints from the 15th and 16th Centuries, representing a variety of layout features. While the main text with standard layouts could be recognized in the correct reading order with a precision and recall of up to 99.9%, also complex layouts were recognized at a rate as high as 90% by using background knowledge, the full potential of which was revealed if many pages of the same source were transcribed.
Algorithms
1999-4893
10.3390/a16030136
urn:nbn:de:bvb:20-opus-310938
2023-04-05T10:14:33+00:00
sword
swordwue
attachment; filename=deposit.zip
6a267ae9b900038ea87810079a425b92
Algorithms (2023) 16:3, 136. https://doi.org/10.3390/a16030136
false
true
CC BY: Creative-Commons-Lizenz: Namensnennung 4.0 International
Norbert Fischer
Alexander Hartelt
Frank Puppe
eng
uncontrolled
layout recognition
eng
uncontrolled
background knowledge
eng
uncontrolled
historical document analysis
eng
uncontrolled
fully convolutional neural networks
eng
uncontrolled
baseline detection
eng
uncontrolled
text line detection
Datenverarbeitung; Informatik
open_access
Institut für Informatik
Import
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/31093/algorithms-16-00136.pdf
30409
2023
eng
3
15
article
1
--
2023-02-22
--
BPMNE4IoT: a framework for modeling, executing and monitoring IoT-driven processes
The Internet of Things (IoT) enables a variety of smart applications, including smart home, smart manufacturing, and smart city. By enhancing Business Process Management Systems with IoT capabilities, the execution and monitoring of business processes can be significantly improved. Providing a holistic support for modeling, executing and monitoring IoT-driven processes, however, constitutes a challenge. Existing process modeling and process execution languages, such as BPMN 2.0, are unable to fully meet the IoT characteristics (e.g., asynchronicity and parallelism) of IoT-driven processes. In this article, we present BPMNE4IoT—A holistic framework for modeling, executing and monitoring IoT-driven processes. We introduce various artifacts and events based on the BPMN 2.0 metamodel that allow realizing the desired IoT awareness of business processes. The framework is evaluated along two real-world scenarios from two different domains. Moreover, we present a user study for comparing BPMNE4IoT and BPMN 2.0. In particular, this study has confirmed that the BPMNE4IoT framework facilitates the support of IoT-driven processes.
Future Internet
1999-5903
10.3390/fi15030090
urn:nbn:de:bvb:20-opus-304097
2023-03-14T05:53:59+00:00
sword
swordwue
attachment; filename=deposit.zip
61049e7293ce0391193f9abf1f23e03e
Future Internet (2023) 15:3, 90. https://doi.org/10.3390/fi15030090
false
true
CC BY: Creative-Commons-Lizenz: Namensnennung 4.0 International
Yusuf Kirikkayis
Florian Gallik
Michael Winter
Manfred Reichert
eng
uncontrolled
IoT
eng
uncontrolled
BPM
eng
uncontrolled
BPMN
eng
uncontrolled
IoT-driven processes
Datenverarbeitung; Informatik
open_access
Institut für Klinische Epidemiologie und Biometrie
Import
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/30409/futureinternet-15-00090-v2.pdf
31355
2023
eng
4
12
article
1
--
2023-04-13
--
Long-term effects of perceived friendship with intelligent voice assistants on usage behavior, user experience, and social perceptions
Social patterns and roles can develop when users talk to intelligent voice assistants (IVAs) daily. The current study investigates whether users assign different roles to devices and how this affects their usage behavior, user experience, and social perceptions. Since social roles take time to establish, we equipped 106 participants with Alexa or Google assistants and some smart home devices and observed their interactions for nine months. We analyzed diverse subjective (questionnaire) and objective data (interaction data). By combining social science and data science analyses, we identified two distinct clusters—users who assigned a friendship role to IVAs over time and users who did not. Interestingly, these clusters exhibited significant differences in their usage behavior, user experience, and social perceptions of the devices. For example, participants who assigned a role to IVAs attributed more friendship to them used them more frequently, reported more enjoyment during interactions, and perceived more empathy for IVAs. In addition, these users had distinct personal requirements, for example, they reported more loneliness. This study provides valuable insights into the role-specific effects and consequences of voice assistants. Recent developments in conversational language models such as ChatGPT suggest that the findings of this study could make an important contribution to the design of dialogic human–AI interactions.
Computers
2073-431X
10.3390/computers12040077
urn:nbn:de:bvb:20-opus-313552
2023-05-05T10:40:17+00:00
sword
swordwue
attachment; filename=deposit.zip
8af616bd159d39dd40b2c1fce1a856bb
Computers (2023) 12:4, 77. https://doi.org/10.3390/computers12040077
false
true
CC BY: Creative-Commons-Lizenz: Namensnennung 4.0 International
Carolin Wienrich
Astrid Carolus
André Markus
Yannik Augustin
Jan Pfister
Andreas Hotho
eng
uncontrolled
intelligent voice assistant
eng
uncontrolled
smart speaker
eng
uncontrolled
social relationship
eng
uncontrolled
social role
eng
uncontrolled
long-term analysis
eng
uncontrolled
social interaction
eng
uncontrolled
human–computer interaction
eng
uncontrolled
anthropomorphism
Datenverarbeitung; Informatik
open_access
Institut für Informatik
Institut Mensch - Computer - Medien
Import
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/31355/computers-12-00077-v2.pdf
31374
2023
eng
5
12
article
1
--
2023-04-28
--
Analyzing reporting on ransomware incidents: a case study
Knowledge about ransomware is important for protecting sensitive data and for participating in public debates about suitable regulation regarding its security. However, as of now, this topic has received little to no attention in most school curricula. As such, it is desirable to analyze what citizens can learn about this topic outside of formal education, e.g., from news articles. This analysis is both relevant to analyzing the public discourse about ransomware, as well as to identify what aspects of this topic should be included in the limited time available for this topic in formal education. Thus, this paper was motivated both by educational and media research. The central goal is to explore how the media reports on this topic and, additionally, to identify potential misconceptions that could stem from this reporting. To do so, we conducted an exploratory case study into the reporting of 109 media articles regarding a high-impact ransomware event: the shutdown of the Colonial Pipeline (located in the east of the USA). We analyzed how the articles introduced central terminology, what details were provided, what details were not, and what (mis-)conceptions readers might receive from them. Our results show that an introduction of the terminology and technical concepts of security is insufficient for a complete understanding of the incident. Most importantly, the articles may lead to four misconceptions about ransomware that are likely to lead to misleading conclusions about the responsibility for the incident and possible political and technical options to prevent such attacks in the future.
Social Sciences
2076-0760
10.3390/socsci12050265
urn:nbn:de:bvb:20-opus-313746
2023-05-05T13:22:47+00:00
sword
swordwue
attachment; filename=deposit.zip
771878995194b8fc48de41da4b273241
Social Sciences (2023) 12:5, 265. https://doi.org/10.3390/socsci12050265
false
true
CC BY: Creative-Commons-Lizenz: Namensnennung 4.0 International
André Greubel
Daniela Andres
Martin Hennecke
eng
uncontrolled
media analysis
eng
uncontrolled
informal education
eng
uncontrolled
IT security
eng
uncontrolled
ransomware
eng
uncontrolled
misconceptions
Datenverarbeitung; Informatik
open_access
Institut für Informatik
Import
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/31374/socsci-12-00265-v2.pdf
26894
2022
eng
9476–9500
52
article
1
--
--
--
Tackling the rich vehicle routing problem with nature-inspired algorithms
In the last decades, the classical Vehicle Routing Problem (VRP), i.e., assigning a set of orders to vehicles and planning their routes has been intensively researched. As only the assignment of order to vehicles and their routes is already an NP-complete problem, the application of these algorithms in practice often fails to take into account the constraints and restrictions that apply in real-world applications, the so called rich VRP (rVRP) and are limited to single aspects. In this work, we incorporate the main relevant real-world constraints and requirements. We propose a two-stage strategy and a Timeline algorithm for time windows and pause times, and apply a Genetic Algorithm (GA) and Ant Colony Optimization (ACO) individually to the problem to find optimal solutions. Our evaluation of eight different problem instances against four state-of-the-art algorithms shows that our approach handles all given constraints in a reasonable time.
Applied Intelligence
1573-7497
10.1007/s10489-021-03035-5
urn:nbn:de:bvb:20-opus-268942
publish
Applied Intelligence 2022, 52:9476–9500. DOI: 10.1007/s10489-021-03035-5
false
true
CC BY: Creative-Commons-Lizenz: Namensnennung 4.0 International
Veronika Lesch
Maximilian König
Samuel Kounev
Anthony Stein
Christian Krupitzer
eng
uncontrolled
logistics
eng
uncontrolled
rich vehicle routing problem
eng
uncontrolled
ant-colony optimization
eng
uncontrolled
genetic algorithm
eng
uncontrolled
real-world application
Datenverarbeitung; Informatik
open_access
Institut für Informatik
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/26894/Lesch_Applied.pdf
28073
2022
eng
4
workingpaper
0
2022-07-25
--
--
Next-Generation Satellite Communication Networks
This paper gives an overview of our recent activities in the field of satellite communication networks, including an introduction to geostationary satellite systems and Low Earth Orbit megaconstellations. To mitigate the high latencies of geostationary satellite networks, TCP-splitting Performance Enhancing Proxies are deployed. However, these cannot be applied in the case of encrypted transport headers as it is the case for VPNs or QUIC. We summarize performance evaluation results from multiple measurement campaigns. In a recently concluded project, multipath communication was used to combine the advantages of very heterogeneous communication paths: low data rate, low latency (e.g., DSL light) and high data rate, high latency (e.g., geostationary satellite).
Würzburg Workshop on Next-Generation Communication Networks (WueWoWas'22)
urn:nbn:de:bvb:20-opus-280732
10.25972/OPUS-28073
publish
true
true
CC BY-SA: Creative-Commons-Lizenz: Namensnennung, Weitergabe unter gleichen Bedingungen 4.0 International
Jörg Deutschmann
Kai-Steffen Hielscher
Reinhard German
deu
swd
Datennetz
eng
uncontrolled
satellite communication
eng
uncontrolled
Performance Enhancing Proxies
eng
uncontrolled
transport protocols
eng
uncontrolled
VPN
eng
uncontrolled
QUIC
eng
uncontrolled
multipath communication
eng
uncontrolled
hybrid access
Datenverarbeitung; Informatik
General Literature
open_access
Institut für Informatik
Arbeitspapiere (Working Paper)
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/28073/Deutschmann_et_al_Satellite_Communication_Networks_WueWoWas22_1570807320.pdf
28239
2022
eng
7
workingpaper
1
2022-08-11
--
--
MAPLE: Marsian Autorotation Probe Lander Experiment
The first step towards aerial planetary exploration has been made. Ingenuity shows extremely promising results, and new missions are already underway. Rotorcraft are capable of flight. This capability could be utilized to support the last stages of Entry, Descent, and Landing. Thus, mass and complexity could be scaled down.
Autorotation is one method of descent. It describes unpowered descent and landing, typically performed by helicopters in case of an engine failure. MAPLE is suggested to test these procedures and understand autorotation on other planets. In this series of experiments, the Ingenuity helicopter is utilized. Ingenuity would autorotate a ”mid-air-landing” before continuing with normal flight. Ultimately, the collected data shall help to understand autorotation on Mars and its utilization for interplanetary exploration.
10.25972/OPUS-28239
urn:nbn:de:bvb:20-opus-282390
publish
true
true
CC BY: Creative-Commons-Lizenz: Namensnennung 4.0 International
Clemens Riegler
Lennart Werner
Hakan Kayal
Raumfahrttechnik und Extraterrestrik
2
eng
uncontrolled
autorotation
eng
uncontrolled
descent
eng
uncontrolled
Mars
eng
uncontrolled
rotorcraft
eng
uncontrolled
landing
eng
uncontrolled
aerospace
Datenverarbeitung; Informatik
open_access
Institut für Informatik
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/28239/Raumfahrttechnik_Extraterrestrik_2_Riegler_et_al_White_Paper.pdf
29976
2022
eng
1
23
article
1
--
--
--
ReCSAI: recursive compressed sensing artificial intelligence for confocal lifetime localization microscopy
Background
Localization-based super-resolution microscopy resolves macromolecular structures down to a few nanometers by computationally reconstructing fluorescent emitter coordinates from diffraction-limited spots. The most commonly used algorithms are based on fitting parametric models of the point spread function (PSF) to a measured photon distribution. These algorithms make assumptions about the symmetry of the PSF and thus, do not work well with irregular, non-linear PSFs that occur for example in confocal lifetime imaging, where a laser is scanned across the sample. An alternative method for reconstructing sparse emitter sets from noisy, diffraction-limited images is compressed sensing, but due to its high computational cost it has not yet been widely adopted. Deep neural network fitters have recently emerged as a new competitive method for localization microscopy. They can learn to fit arbitrary PSFs, but require extensive simulated training data and do not generalize well. A method to efficiently fit the irregular PSFs from confocal lifetime localization microscopy combining the advantages of deep learning and compressed sensing would greatly improve the acquisition speed and throughput of this method.
Results
Here we introduce ReCSAI, a compressed sensing neural network to reconstruct localizations for confocal dSTORM, together with a simulation tool to generate training data. We implemented and compared different artificial network architectures, aiming to combine the advantages of compressed sensing and deep learning. We found that a U-Net with a recursive structure inspired by iterative compressed sensing showed the best results on realistic simulated datasets with noise, as well as on real experimentally measured confocal lifetime scanning data. Adding a trainable wavelet denoising layer as prior step further improved the reconstruction quality.
Conclusions
Our deep learning approach can reach a similar reconstruction accuracy for confocal dSTORM as frame binning with traditional fitting without requiring the acquisition of multiple frames. In addition, our work offers generic insights on the reconstruction of sparse measurements from noisy experimental data by combining compressed sensing and deep learning. We provide the trained networks, the code for network training and inference as well as the simulation tool as python code and Jupyter notebooks for easy reproducibility.
BMC Bioinformatics
10.1186/s12859-022-05071-5
urn:nbn:de:bvb:20-opus-299768
@articleReinhard.2022, author = Reinhard, Sebastian and Helmerich, Dominic A. and Boras, Dominik and Sauer, Markus and Kollmannsberger, Philip, year = 2022, title = ReCSAI: recursive compressed sensing artificial intelligence for confocal lifetime localization microscopy, pages = 530, volume = 23, number = 1, journal = BMC bioinformatics, doi = 10.1186/s12859-022-05071-5,
md5:51dbe1911f74602c49d709e9348a34bc
2023-01-18T06:58:02+00:00
/tmp/phps7SBw9
bibtex
63c7987a66ef32.21172452
BMC Bioinformatics 2022, 23(1):530. DOI: 10.1186/s12859-022-05071-5
835102)
false
true
CC BY: Creative-Commons-Lizenz: Namensnennung 4.0 International
Sebastian Reinhard
Dominic A. Helmerich
Dominik Boras
Markus Sauer
Philip Kollmannsberger
eng
uncontrolled
compressed sensing
eng
uncontrolled
AI
eng
uncontrolled
SMLM
eng
uncontrolled
FLIMbee
eng
uncontrolled
dSTORM
Datenverarbeitung; Informatik
Biowissenschaften; Biologie
open_access
Theodor-Boveri-Institut für Biowissenschaften
OpenAIRE
Center for Computational and Theoretical Biology
Förderzeitraum 2022
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/29976/BMC_Reinhard.pdf
28248
2022
eng
6
workingpaper
1
2022-08-12
--
--
VELEX: Venus Lightning Experiment
Lightning has fascinated humanity since the beginning of our existence. Different types of lightning like sprites and blue jets were discovered, and many more are theorized. However, it is very likely that these phenomena are not exclusive to our home planet. Venus’s dense and active atmosphere is a place where lightning is to be expected. Missions like Venera, Pioneer, and Galileo have carried instruments to measure electromagnetic activity. These measurements have indeed delivered results. However, these results are not clear. They could be explained by other effects like cosmic rays, plasma noise, or spacecraft noise. Furthermore, these lightning seem different from those we know from our home planet. In order to tackle these issues, a different approach to measurement is proposed. When multiple devices in different spacecraft or locations can measure the same atmospheric discharge, most other explanations become increasingly less likely. Thus, the suggested instrument and method of VELEX incorporates multiple spacecraft. With this approach, the question about the existence of lightning on Venus could be settled.
10.25972/OPUS-28248
urn:nbn:de:bvb:20-opus-282481
publish
CC BY: Creative-Commons-Lizenz: Namensnennung 4.0 International
Clemens Riegler
Hakan Kayal
Raumfahrttechnik und Extraterrestrik
3
eng
uncontrolled
Venus
eng
uncontrolled
Lightning
eng
uncontrolled
CubeSat
eng
uncontrolled
Balloon
eng
uncontrolled
Autorotation
Datenverarbeitung; Informatik
Technik, Technologie
open_access
Institut für Informatik
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/28248/Raumfahrttechnik_Extraterrestrik_3_Riegler_Kayal_White_Paper.pdf
28084
2022
eng
4
workingpaper
0
2022-07-25
--
--
Response Times in Time-to-Live Caching Hierarchies under Random Network Delays
Time-to-Live (TTL) caches decouple the occupancy of objects in cache through object-specific validity timers. Stateof- the art techniques provide exact methods for the calculation of object-specific hit probabilities given entire cache hierarchies with random inter-cache network delays. The system hit probability is a provider-centric metric as it relates to the origin offload, i.e., the decrease in the number of requests that are served by the content origin server. In this paper we consider a user-centric metric, i.e., the response time, which is shown to be structurally different from the system hit probability. Equipped with the state-of-theart exact modeling technique using Markov-arrival processes we derive expressions for the expected object response time and pave a way for its optimization under network delays.
Würzburg Workshop on Next-Generation Communication Networks (WueWoWas'22)
urn:nbn:de:bvb:20-opus-280843
10.25972/OPUS-28084
publish
true
true
CC BY-SA: Creative-Commons-Lizenz: Namensnennung, Weitergabe unter gleichen Bedingungen 4.0 International
Karim Elsayed
Amr Rizk
deu
swd
Datennetz
eng
uncontrolled
TTL
Datenverarbeitung; Informatik
General Literature
open_access
Institut für Informatik
Arbeitspapiere (Working Paper)
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/28084/Elsayed_Rizk_Response_times_WueWoWas22_1570808694.pdf
28079
2022
eng
4
workingpaper
0
2022-07-25
--
--
Accelerating a Transport Layer based 5G Multi-Access Proxy on SmartNIC
Utilizing multiple access technologies such as 5G, 4G, and Wi-Fi within a coherent framework is currently standardized by 3GPP within 5G ATSSS. Indeed, distributing packets over multiple networks can lead to increased robustness, resiliency and capacity. A key part of such a framework is the multi-access proxy, which transparently distributes packets over multiple paths. As the proxy needs to serve thousands of customers, scalability and performance are crucial for operator deployments. In this paper, we leverage recent advancements in data plane programming, implement a multi-access proxy based on the MP-DCCP tunneling approach in P4 and hardware accelerate it by deploying the pipeline on a smartNIC. This is challenging due to the complex scheduling and congestion control operations involved. We present our pipeline and data structures design for congestion control and packet scheduling state management. Initial measurements in our testbed show that packet latency is in the range of 25 μs demonstrating the feasibility of our approach.
Würzburg Workshop on Next-Generation Communication Networks (WueWoWas'22)
urn:nbn:de:bvb:20-opus-280798
10.25972/OPUS-28079
publish
CC BY-SA: Creative-Commons-Lizenz: Namensnennung, Weitergabe unter gleichen Bedingungen 4.0 International
Rebecka Alfredsson
Andreas Kassler
Jonathan Vestin
Marcus Pieska
Markus Amend
deu
swd
Datennetz
eng
uncontrolled
multipath
eng
uncontrolled
MP-DCCP
eng
uncontrolled
5G-ATSSS
eng
uncontrolled
networking
eng
uncontrolled
dataplane programming
eng
uncontrolled
P4
Datenverarbeitung; Informatik
General Literature
open_access
Institut für Informatik
Arbeitspapiere (Working Paper)
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/28079/Alfredsson_et_al_Multi-Access_Proxy_WueWoWas22_1570808084.pdf
28303
2022
eng
10
article
1
--
2022-08-08
--
Nanocellulose composites as smart devices with chassis, light-directed DNA Storage, engineered electronic properties, and chip integration
The rapid development of green and sustainable materials opens up new possibilities in the field of applied research. Such materials include nanocellulose composites that can integrate many components into composites and provide a good chassis for smart devices. In our study, we evaluate four approaches for turning a nanocellulose composite into an information storage or processing device: 1) nanocellulose can be a suitable carrier material and protect information stored in DNA. 2) Nucleotide-processing enzymes (polymerase and exonuclease) can be controlled by light after fusing them with light-gating domains; nucleotide substrate specificity can be changed by mutation or pH change (read-in and read-out of the information). 3) Semiconductors and electronic capabilities can be achieved: we show that nanocellulose is rendered electronic by iodine treatment replacing silicon including microstructures. Nanocellulose semiconductor properties are measured, and the resulting potential including single-electron transistors (SET) and their properties are modeled. Electric current can also be transported by DNA through G-quadruplex DNA molecules; these as well as classical silicon semiconductors can easily be integrated into the nanocellulose composite. 4) To elaborate upon miniaturization and integration for a smart nanocellulose chip device, we demonstrate pH-sensitive dyes in nanocellulose, nanopore creation, and kinase micropatterning on bacterial membranes as well as digital PCR micro-wells. Future application potential includes nano-3D printing and fast molecular processors (e.g., SETs) integrated with DNA storage and conventional electronics. This would also lead to environment-friendly nanocellulose chips for information processing as well as smart nanocellulose composites for biomedical applications and nano-factories.
Frontiers in Bioengineering and Biotechnology
2296-4185
10.3389/fbioe.2022.869111
urn:nbn:de:bvb:20-opus-283033
2022-08-22T06:12:38+00:00
sword
swordwue
attachment; filename=deposit.zip
08c41da1a44f4856a12fdea55a2ce372
Frontiers in Bioengineering and Biotechnology (2022) 10:869111. DOI:10.3389/fbioe.2022.869111
false
true
CC BY: Creative-Commons-Lizenz: Namensnennung 4.0 International
Elena Bencurova
Sergey Shityakov
Dominik Schaack
Martin Kaltdorf
Edita Sarukhanyan
Alexander Hilgarth
Christin Rath
Sergio Montenegro
Günter Roth
Daniel Lopez
Thomas Dandekar
eng
uncontrolled
nanocellulose
eng
uncontrolled
DNA storage
eng
uncontrolled
light-gated proteins
eng
uncontrolled
single-electron transistors
eng
uncontrolled
protein chip
Datenverarbeitung; Informatik
Biowissenschaften; Biologie
open_access
Institut für Informatik
Theodor-Boveri-Institut für Biowissenschaften
Import
Förderzeitraum 2022
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/28303/DataSheet1.docx
https://opus.bibliothek.uni-wuerzburg.de/files/28303/fbioe-10-869111.pdf
30023
2022
eng
1
21
article
1
--
--
--
Fast machine learning annotation in the medical domain: a semi-automated video annotation tool for gastroenterologists
Background
Machine learning, especially deep learning, is becoming more and more relevant in research and development in the medical domain. For all the supervised deep learning applications, data is the most critical factor in securing successful implementation and sustaining the progress of the machine learning model. Especially gastroenterological data, which often involves endoscopic videos, are cumbersome to annotate. Domain experts are needed to interpret and annotate the videos. To support those domain experts, we generated a framework. With this framework, instead of annotating every frame in the video sequence, experts are just performing key annotations at the beginning and the end of sequences with pathologies, e.g., visible polyps. Subsequently, non-expert annotators supported by machine learning add the missing annotations for the frames in-between.
Methods
In our framework, an expert reviews the video and annotates a few video frames to verify the object’s annotations for the non-expert. In a second step, a non-expert has visual confirmation of the given object and can annotate all following and preceding frames with AI assistance. After the expert has finished, relevant frames will be selected and passed on to an AI model. This information allows the AI model to detect and mark the desired object on all following and preceding frames with an annotation. Therefore, the non-expert can adjust and modify the AI predictions and export the results, which can then be used to train the AI model.
Results
Using this framework, we were able to reduce workload of domain experts on average by a factor of 20 on our data. This is primarily due to the structure of the framework, which is designed to minimize the workload of the domain expert. Pairing this framework with a state-of-the-art semi-automated AI model enhances the annotation speed further. Through a prospective study with 10 participants, we show that semi-automated annotation using our tool doubles the annotation speed of non-expert annotators compared to a well-known state-of-the-art annotation tool.
Conclusion
In summary, we introduce a framework for fast expert annotation for gastroenterologists, which reduces the workload of the domain expert considerably while maintaining a very high annotation quality. The framework incorporates a semi-automated annotation system utilizing trained object detection models. The software and framework are open-source.
BioMedical Engineering OnLine
10.1186/s12938-022-01001-x
urn:nbn:de:bvb:20-opus-300231
@articleKrenzer.2022, author = Krenzer, Adrian and Makowski, Kevin and Hekalo, Amar and Fitting, Daniel and Troya, Joel and Zoller, Wolfram G. and Hann, Alexander and Puppe, Frank, year = 2022, title = Fast machine learning annotation in the medical domain: a semi-automated video annotation tool for gastroenterologists, pages = 33, volume = 21, number = 1, journal = Biomedical engineering online, doi = 10.1186/s12938-022-01001-x,
md5:72d8cf15d063951366a781b0266803a8
2023-01-19T07:09:31+00:00
/tmp/phpUmeu6F
bibtex
63c8ecab186f13.10219644
BioMedical Engineering OnLine 2022, 21(1):33. DOI: 10.1186/s12938-022-01001-x
false
true
CC BY: Creative-Commons-Lizenz: Namensnennung 4.0 International
Adrian Krenzer
Kevin Makowski
Amar Hekalo
Daniel Fitting
Joel Troya
Wolfram G. Zoller
Alexander Hann
Frank Puppe
eng
uncontrolled
object detection
eng
uncontrolled
machine learning
eng
uncontrolled
deep learning
eng
uncontrolled
annotation
eng
uncontrolled
endoscopy
eng
uncontrolled
gastroenterology
eng
uncontrolled
automation
Datenverarbeitung; Informatik
open_access
Institut für Informatik
Medizinische Klinik und Poliklinik II
Förderzeitraum 2022
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/30023/BioMedical_Krenzer.pdf
26787
2022
eng
1064–1080
4
84
article
1
--
--
--
Linear-Time Algorithms for Maximum-Weight Induced Matchings and Minimum Chain Covers in Convex Bipartite Graphs
A bipartite graph G=(U,V,E) is convex if the vertices in V can be linearly ordered such that for each vertex u∈U, the neighbors of u are consecutive in the ordering of V. An induced matching H of G is a matching for which no edge of E connects endpoints of two different edges of H. We show that in a convex bipartite graph with n vertices and m weighted edges, an induced matching of maximum total weight can be computed in O(n+m) time. An unweighted convex bipartite graph has a representation of size O(n) that records for each vertex u∈U the first and last neighbor in the ordering of V. Given such a compact representation, we compute an induced matching of maximum cardinality in O(n) time. In convex bipartite graphs, maximum-cardinality induced matchings are dual to minimum chain covers. A chain cover is a covering of the edge set by chain subgraphs, that is, subgraphs that do not contain induced matchings of more than one edge. Given a compact representation, we compute a representation of a minimum chain cover in O(n) time. If no compact representation is given, the cover can be computed in O(n+m) time. All of our algorithms achieve optimal linear running time for the respective problem and model, and they improve and generalize the previous results in several ways: The best algorithms for the unweighted problem versions had a running time of O(n\(^{2}\)) (Brandstädt et al. in Theor. Comput. Sci. 381(1–3):260–265, 2007. https://doi.org/10.1016/j.tcs.2007.04.006). The weighted case has not been considered before.
Algorithmica
1432-0541
10.1007/s00453-021-00904-w
urn:nbn:de:bvb:20-opus-267876
publish
Algorithmica 2022, 84(4):1064–1080. DOI: 10.1007/s00453-021-00904-w
false
true
CC BY: Creative-Commons-Lizenz: Namensnennung 4.0 International
Boris Klemz
Günter Rote
eng
uncontrolled
dynamic programming
eng
uncontrolled
graph algorithm
eng
uncontrolled
induced matching
eng
uncontrolled
chain cover
eng
uncontrolled
convex bipartite graph
eng
uncontrolled
certifying algorithm
Datenverarbeitung; Informatik
open_access
Institut für Informatik
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/26787/Klemz-Rote_Algorithmica.pdf
26015
2022
eng
doctoralthesis
1
2022-03-14
--
2022-03-10
Performance Evaluation of Next-Generation Data Plane Architectures and their Components
Leistungsbewertung von Data Plane Architekturen der Nächsten Generation sowie ihrer Einzelkomponenten
In this doctoral thesis we cover the performance evaluation of next generation data plane architectures, comprised of complex software as well as programmable hardware components that allow fine granular configuration. In the scope of the thesis we propose mechanisms to monitor the performance of singular components and model key performance indicators of software based packet processing solutions. We present novel approaches towards network abstraction that allow the integration of heterogeneous data plane technologies into a singular network while maintaining total transparency between control and data plane. Finally, we investigate a full, complex system consisting of multiple software-based solutions and perform a detailed performance analysis. We employ simulative approaches to investigate overload control mechanisms that allow efficient operation under adversary conditions. The contributions of this work build the foundation for future research in the areas of network softwarization and network function virtualization.
Diese Doktorarbeit behandelt die Leistungsbewertung von Data Plane Architekturen der nächsten Generation, die aus komplexen Softwarelösungen sowie programmierbaren Hardwarekomponenten bestehen. Hierbei werden Mechanismen entwickelt, die es ermöglichen, die Leistungsfähigkeit einzelner Komponenten zu messen und zentrale Leistungsindikatoren softwarebasierter Systeme zur Verarbeitung von Datenpaketen zu modellieren. Es werden neuartige Ansätze zur Netzabstraktion entworfen, die eine vollständig transparente Integration heterogener Technologien im selben Netz ermöglichen. Schließlich wird eine umfassende Leistungsbewertung eines komplexen Systems, das aus einer Vielzahl softwarebasierter Netzfunktionen besteht, durchgeführt. Anhand simulativer Modelle werden Überlastkontrollmechanismen entwickelt, die es dem System erlauben auch unter Überlast effizient zu arbeiten. Die Beiträge dieser Arbeit bilden die Grundlage weiterer Forschungen im Bereich der Softwarisierung von Netzen sowie der Virtualisierung von Netzfunktionen.
1432-8801
urn:nbn:de:bvb:20-opus-260157
10.25972/OPUS-26015
publish
X 129899
CC BY-SA: Creative-Commons-Lizenz: Namensnennung, Weitergabe unter gleichen Bedingungen 4.0 International
Stefan Geißler
Würzburger Beiträge zur Leistungsbewertung Verteilter Systeme
02/21
deu
swd
Leistungsbewertung
deu
swd
Simulation
deu
swd
Zeitdiskretes System
deu
swd
Implementierung <Informatik>
eng
uncontrolled
performance evaluation
eng
uncontrolled
simulation
eng
uncontrolled
discrete-time analysis
eng
uncontrolled
network softwarization
eng
uncontrolled
mobile networks
Datenverarbeitung; Informatik
Modeling methodologies
NUMERICAL ANALYSIS
open_access
Institut für Informatik
Universität Würzburg
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/26015/dissertation_stefan_geissler.pdf
28460
2022
eng
3
article
1
--
2022-05-04
--
Controlling the stage: a high-level control system for virtual audiences in Virtual Reality
This article presents a novel method for controlling a virtual audience system (VAS) in Virtual Reality (VR) application, called STAGE, which has been originally designed for supervised public speaking training in university seminars dedicated to the preparation and delivery of scientific talks. We are interested in creating pedagogical narratives: narratives encompass affective phenomenon and rather than organizing events changing the course of a training scenario, pedagogical plans using our system focus on organizing the affects it arouses for the trainees. Efficiently controlling a virtual audience towards a specific training objective while evaluating the speaker’s performance presents a challenge for a seminar instructor: the high level of cognitive and physical demands required to be able to control the virtual audience, whilst evaluating speaker’s performance, adjusting and allowing it to quickly react to the user’s behaviors and interactions. It is indeed a critical limitation of a number of existing systems that they rely on a Wizard of Oz approach, where the tutor drives the audience in reaction to the user’s performance. We address this problem by integrating with a VAS a high-level control component for tutors, which allows using predefined audience behavior rules, defining custom ones, as well as intervening during run-time for finer control of the unfolding of the pedagogical plan. At its core, this component offers a tool to program, select, modify and monitor interactive training narratives using a high-level representation. The STAGE offers the following features: i) a high-level API to program pedagogical narratives focusing on a specific public speaking situation and training objectives, ii) an interactive visualization interface iii) computation and visualization of user metrics, iv) a semi-autonomous virtual audience composed of virtual spectators with automatic reactions to the speaker and surrounding spectators while following the pedagogical plan V) and the possibility for the instructor to embody a virtual spectator to ask questions or guide the speaker from within the Virtual Environment. We present here the design, and implementation of the tutoring system and its integration in STAGE, and discuss its reception by end-users.
Frontiers in Virtual Reality
2673-4192
10.3389/frvir.2022.876433
urn:nbn:de:bvb:20-opus-284601
2022-09-04T03:06:49+00:00
sword
swordwue
attachment; filename=deposit.zip
4203a2f904ffe4c0ed9df1795660138e
Frontiers in Virtual Reality (2022) 3:876433. doi:10.3389/frvir.2022.876433
false
true
CC BY: Creative-Commons-Lizenz: Namensnennung 4.0 International
Yann Glémarec
Jean-Luc Lugrin
Anne-Gwenn Bosser
Cédric Buche
Marc Erich Latoschik
eng
uncontrolled
virtual reality
eng
uncontrolled
virtual agent
eng
uncontrolled
behavior perception
eng
uncontrolled
public speaking
eng
uncontrolled
education
Datenverarbeitung; Informatik
open_access
Institut für Informatik
Import
Förderzeitraum 2022
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/28460/frvir-03-876433.pdf
27897
2022
eng
7
6
article
1
--
2022-06-25
--
Inter- and transcultural learning in cocial virtual reality: a proposal for an inter- and transcultural virtual object database to be used in the implementation, reflection, and evaluation of virtual encounters
Visual stimuli are frequently used to improve memory, language learning or perception, and understanding of metacognitive processes. However, in virtual reality (VR), there are few systematically and empirically derived databases. This paper proposes the first collection of virtual objects based on empirical evaluation for inter-and transcultural encounters between English- and German-speaking learners. We used explicit and implicit measurement methods to identify cultural associations and the degree of stereotypical perception for each virtual stimuli (n = 293) through two online studies, including native German and English-speaking participants. The analysis resulted in a final well-describable database of 128 objects (called InteractionSuitcase). In future applications, the objects can be used as a great interaction or conversation asset and behavioral measurement tool in social VR applications, especially in the field of foreign language education. For example, encounters can use the objects to describe their culture, or teachers can intuitively assess stereotyped attitudes of the encounters.
Multimodal Technologies and Interaction
2414-4088
10.3390/mti6070050
urn:nbn:de:bvb:20-opus-278974
2022-07-08T14:08:10+00:00
sword
swordwue
attachment; filename=deposit.zip
c8e35ade31f98621936e7e9cda432a5c
Multimodal Technologies and Interaction (2022) 6:7, 50. https://doi.org/10.3390/mti6070050
false
true
CC BY: Creative-Commons-Lizenz: Namensnennung 4.0 International
Rebecca M. Hein
Marc Erich Latoschik
Carolin Wienrich
eng
uncontrolled
virtual stimuli
eng
uncontrolled
implicit association test
eng
uncontrolled
virtual reality
eng
uncontrolled
social VR
eng
uncontrolled
InteractionSuitcase
Datenverarbeitung; Informatik
Bildung und Erziehung
open_access
Institut für Informatik
Institut Mensch - Computer - Medien
Import
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/27897/mti-06-00050-v2.pdf
28076
2022
eng
4
workingpaper
0
2022-07-25
--
--
Virtual Queues for QoS Compliance of Haptic Data Streams in Teleoperation
Tactile Internet aims at allowing perceived real-time interactions between humans and machines. This requires satisfying a stringent latency requirement of haptic data streams whose data rates vary drastically as the results of perceptual codecs. This introduces a complex problem for the underlying network infrastructure to fulfill the pre-defined level of Quality of Service (QoS). However, novel networking hardware with data plane programming capability allows processing packets differently and opens up a new opportunity. For example, a dynamic and network-aware resource management strategy can help satisfy the QoS requirements of different priority flows without wasting precious bandwidth. This paper introduces virtual queues for service differentiation between different types of traffic streams, leveraging protocol independent switch architecture (PISA). We propose coordinating the management of all the queues and dynamically adapting their sizes to minimize packet loss and delay due to network congestion and ensure QoS compliance.
Würzburg Workshop on Next-Generation Communication Networks (WueWoWas'22)
urn:nbn:de:bvb:20-opus-280762
10.25972/OPUS-28076
publish
true
true
CC BY-SA: Creative-Commons-Lizenz: Namensnennung, Weitergabe unter gleichen Bedingungen 4.0 International
Osel Lhamo
Giang T. Nguyen
Frank H. P. Fitzek
deu
swd
Datennetz
eng
uncontrolled
data plane programming
eng
uncontrolled
software defined network
eng
uncontrolled
P4
eng
uncontrolled
virtual queue
eng
uncontrolled
haptic data
Datenverarbeitung; Informatik
General Literature
open_access
Institut für Informatik
Arbeitspapiere (Working Paper)
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/28076/Lhamo_et_al_Virtual_Queues_WueWoWas22_1570806863.pdf
28081
2022
eng
4
workingpaper
1
2022-07-25
--
--
Identification of Signaling Patterns in Mobile IoT Signaling Traffic
We attempt to identify sequences of signaling dialogs, to strengthen our understanding of the signaling behavior of IoT devices by examining a dataset containing over 270.000 distinct IoT devices whose signaling traffic has been observed over a 31-day period in a 2G network [4]. We propose a set of rules that allows the assembly of signaling dialogs into so-called sessions in order to identify common patterns and lay the foundation for future research in the areas of traffic modeling and anomaly detection.
Würzburg Workshop on Next-Generation Communication Networks (WueWoWas'22)
urn:nbn:de:bvb:20-opus-280819
10.25972/OPUS-28081
publish
true
true
CC BY-SA: Creative-Commons-Lizenz: Namensnennung, Weitergabe unter gleichen Bedingungen 4.0 International
Viktoria Vomhoff
Stefan Geißler
Tobias Hoßfeld
deu
swd
Datennetz
eng
uncontrolled
IoT
Datenverarbeitung; Informatik
General Literature
open_access
Institut für Informatik
Arbeitspapiere (Working Paper)
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/28081/Vornhoff_et_al_Signaling_Patterns_WueWoWas22_1570806856.pdf
28841
2022
deu
masterthesis
1
2022-10-07
--
--
Innovative Software in Unternehmen: Strategie und Erfolgsfaktoren für Einführungsprojekte
Innovative Software in Companies: Strategy and Success Factors for Implementation Projects
Innovative Software kann die Position eines Unternehmens im Wettbewerb sichern. Die Einführung innovativer Software ist aber alles andere als einfach. Denn obgleich die technischen Aspekte offensichtlicher sind, dominieren organisationale Aspekte. Zu viele Softwareprojekte schlagen fehl, da die Einführung nicht gelingt, trotz Erfüllung technischer Anforderungen. Vor diesem Hintergrund ist das Forschungsziel der Masterarbeit, Risiken und Erfolgsfaktoren für die Einführung innovativer Software in Unternehmen zu finden, eine Strategie zu formulieren und dabei die Bedeutung von Schlüsselpersonen zu bestimmen.
Innovative software can secure the position of a company among the competition. The implementation of innovative software is, however, anything but simple. Although the technical aspects are more obvious, this is because organizational aspects are predominant. Too many software projects fail because the implementation does not succeed, despite meeting technical requirements. In this light, the research objective of the master's thesis is to find risks and success factors for the implementation of innovative software in companies, to formulate a strategy and in this process to determine the importance of key persons.
urn:nbn:de:bvb:20-opus-288411
10.25972/OPUS-28841
Submitted on 15 September 2011, defended on 7 October 2011
publish
CC BY: Creative-Commons-Lizenz: Namensnennung 4.0 International
Christian Andreas Hochmuth
deu
swd
Innovationsmanagement
deu
swd
Projektmanagement
deu
swd
Softwareentwicklung
deu
swd
Anforderungsmanagement
deu
swd
Risikomanagement
eng
uncontrolled
Innovation Management
eng
uncontrolled
Project Management
eng
uncontrolled
Software Engineering
eng
uncontrolled
Requirements Management
eng
uncontrolled
Risk Management
Datenverarbeitung; Informatik
Wirtschaft
Ingenieurwissenschaften und zugeordnete Tätigkeiten
Allgemeines Management
Requirements/Specifications (D.3.1)
Management (K.6.3, K.6.4)
Project and People Management
Software Management (D.2.9)
Entrepreneurship
Information and Internet Services; Computer Software
IT Management
Innovation and Invention: Processes and Incentives
open_access
Betriebswirtschaftliches Institut
Universität Würzburg
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/28841/Hochmuth_Christian_Masterarbeit.pdf
28082
2022
eng
4
workingpaper
1
2022-07-25
--
--
LoRaWAN Network Planning in Smart Environments: Towards Reliability, Scalability, and Cost Reduction
The goal in this work is to present a guidance for LoRaWAN planning to improve overall reliability for message transmissions and scalability. At the end, the cost component is discussed. Therefore, a five step approach is presented that helps to plan a LoRaWAN deployment step by step: Based on the device locations, an initial gateway placement is suggested followed by in-depth frequency and channel access planning. After an initial planning phase, updates for channel access and the initial gateway planning is suggested that should also be done periodically during network operation. Since current gateway placement approaches are only studied with random channel access, there is a lot of potential in the cell planning phase. Furthermore, the performance of different channel access approaches is highly related on network load, and thus cell size and sensor density. Last, the influence of different cell planning ideas on expected costs are discussed.
Würzburg Workshop on Next-Generation Communication Networks (WueWoWas'22)
urn:nbn:de:bvb:20-opus-280829
10.25972/OPUS-28082
publish
true
true
CC BY-SA: Creative-Commons-Lizenz: Namensnennung, Weitergabe unter gleichen Bedingungen 4.0 International
Frank Loh
Stefan Geißler
Tobias Hoßfeld
deu
swd
Datennetz
eng
uncontrolled
LoRaWan
Datenverarbeitung; Informatik
General Literature
open_access
Institut für Informatik
Arbeitspapiere (Working Paper)
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/28082/Loh_et_al_LoRaWAN_WueWoWas22_1570807188.pdf
30241
2022
eng
2
22
article
1
--
2022-01-17
--
Towards LoRaWAN without data loss: studying the performance of different channel access approaches
The Long Range Wide Area Network (LoRaWAN) is one of the fastest growing Internet of Things (IoT) access protocols. It operates in the license free 868 MHz band and gives everyone the possibility to create their own small sensor networks. The drawback of this technology is often unscheduled or random channel access, which leads to message collisions and potential data loss. For that reason, recent literature studies alternative approaches for LoRaWAN channel access. In this work, state-of-the-art random channel access is compared with alternative approaches from the literature by means of collision probability. Furthermore, a time scheduled channel access methodology is presented to completely avoid collisions in LoRaWAN. For this approach, an exhaustive simulation study was conducted and the performance was evaluated with random access cross-traffic. In a general theoretical analysis the limits of the time scheduled approach are discussed to comply with duty cycle regulations in LoRaWAN.
Sensors
1424-8220
10.3390/s22020691
urn:nbn:de:bvb:20-opus-302418
2023-02-03T11:38:55+00:00
sword
swordwue
attachment; filename=deposit.zip
8b0691bbc46cfa791ace05973a733fdf
Sensors (2022) 22:2, 691. https://doi.org/10.3390/s22020691
false
true
CC BY: Creative-Commons-Lizenz: Namensnennung 4.0 International
Frank Loh
Noah Mehling
Tobias Hoßfeld
eng
uncontrolled
LoRaWAN
eng
uncontrolled
IoT
eng
uncontrolled
channel management
eng
uncontrolled
scheduling
eng
uncontrolled
collision
Datenverarbeitung; Informatik
open_access
Institut für Informatik
Import
Universität Würzburg
https://opus.bibliothek.uni-wuerzburg.de/files/30241/sensors-22-00691-v2.pdf