-
Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
Authors:
Christine Gaßner
Abstract:
BSS RAMs over first-order structures help to characterize algorithms for processing objects by means of useful operations and relations. They are the result of a generalization of several types of abstract machines. We want to discuss whether this concept that allows a machine-oriented characterization of algorithms is sufficiently general for describing also other models of computation. Yiannis N…
▽ More
BSS RAMs over first-order structures help to characterize algorithms for processing objects by means of useful operations and relations. They are the result of a generalization of several types of abstract machines. We want to discuss whether this concept that allows a machine-oriented characterization of algorithms is sufficiently general for describing also other models of computation. Yiannis N. Moschovakis introduced a concept of abstract computability of functions on the basis of recursive definability over first-order structures. Moschovakis' search operator is the counterpart to the operator introduced by Stephen C. Kleene and suitable for structures without computable minima. To compare our concept with Moschovakis' generalization of the theory of recursive functions, we extend the abilities of BSS RAMs by an operator that makes it possible to provide information about computable functions and their inverses in a non-deterministic way. In Part IIb, we compare several non-determinisms, summarize effects resulting from the restriction of guesses to constants, and take into account properties such as the semi-decidability of oracle sets, the semi-decidability of the identity relation, and the recognizability of constants.
△ Less
Submitted 29 April, 2025;
originally announced April 2025.
-
Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
Authors:
Christine Gaßner
Abstract:
Most ideas about what an algorithm is are very similar. Basic operations are used for transforming objects. The evaluation of internal and external states by relations has impact on the further process. A more precise definition can lead to a model of abstract computation over an arbitrary first-order structure. Formally, the algorithms can be determined by strings. Their meaning can be described…
▽ More
Most ideas about what an algorithm is are very similar. Basic operations are used for transforming objects. The evaluation of internal and external states by relations has impact on the further process. A more precise definition can lead to a model of abstract computation over an arbitrary first-order structure. Formally, the algorithms can be determined by strings. Their meaning can be described purely mathematically by functions and relations derived from the operations and relations of a first-order structure. Our model includes models of computability and derivation systems from different areas of mathematics, logic, and computer science. To define the algorithms, we use so-called programs. Since we do this independently of their executability by computers, the so-called execution of our programs can be viewed as a form of abstract computation. This concept helps to highlight common features of algorithms that are independent of the underlying structures. Here, in Part I, we define BSS RAMs step by step. In Part II, we study Moschovakis' operator which is known from a general recursion theory over first-order structures. Later, we study hierarchies defined analogously to the arithmetical hierarchy by means of quantified formulas of an infinitary logic in this framework.
△ Less
Submitted 24 February, 2025;
originally announced February 2025.
-
White Paper on Crowdsourced Network and QoE Measurements -- Definitions, Use Cases and Challenges
Authors:
Tobias Hoßfeld,
Stefan Wunderer,
André Beyer,
Andrew Hall,
Anika Schwind,
Christian Gassner,
Fabrice Guillemin,
Florian Wamser,
Krzysztof Wascinski,
Matthias Hirth,
Michael Seufert,
Pedro Casas,
Phuoc Tran-Gia,
Werner Robitza,
Wojciech Wascinski,
Zied Ben Houidi
Abstract:
This white paper is the outcome of the Würzburg seminar on "Crowdsourced Network and QoE Measurements" which took place from 25-26 September 2019 in Würzburg, Germany. International experts were invited from industry and academia. They are well known in their communities, having different backgrounds in crowdsourcing, mobile networks, network measurements, network performance, Quality of Service (…
▽ More
This white paper is the outcome of the Würzburg seminar on "Crowdsourced Network and QoE Measurements" which took place from 25-26 September 2019 in Würzburg, Germany. International experts were invited from industry and academia. They are well known in their communities, having different backgrounds in crowdsourcing, mobile networks, network measurements, network performance, Quality of Service (QoS), and Quality of Experience (QoE). The discussions in the seminar focused on how crowdsourcing will support vendors, operators, and regulators to determine the Quality of Experience in new 5G networks that enable various new applications and network architectures. As a result of the discussions, the need for a white paper manifested, with the goal of providing a scientific discussion of the terms "crowdsourced network measurements" and "crowdsourced QoE measurements", describing relevant use cases for such crowdsourced data, and its underlying challenges. During the seminar, those main topics were identified, intensively discussed in break-out groups, and brought back into the plenum several times. The outcome of the seminar is this white paper at hand which is - to our knowledge - the first one covering the topic of crowdsourced network and QoE measurements.
△ Less
Submitted 25 May, 2020;
originally announced June 2020.
-
Mobile Internet Experience: Urban vs. Rural -- Saturation vs. Starving?
Authors:
Anika Schwind,
Florian Wamser,
Stefan Wunderer,
Christian Gassner,
Tobias Hoßfeld
Abstract:
Mobile Internet experience has been of increasing interest. Services accessed via smartphone applications shall provide satisfying Quality of Experience (QoE), irrespective of end user location, time of the day, and other circumstances. Unfortunately, current LTE networks often don't provide constant user throughput, one of the major system influence factors to mobile Internet QoE. In this paper,…
▽ More
Mobile Internet experience has been of increasing interest. Services accessed via smartphone applications shall provide satisfying Quality of Experience (QoE), irrespective of end user location, time of the day, and other circumstances. Unfortunately, current LTE networks often don't provide constant user throughput, one of the major system influence factors to mobile Internet QoE. In this paper, we conducted an exemplary measurement study in LTE networks, comparing the QoE of mobile networks in an urban and a rural region. Our results show that there are significant differences concerning the network speed which can result in unsatisfactory service quality depending on the application to be used. When evaluating the QoE for multiple users who are using the same base station in a specific area, user satisfaction decreases drastically, especially in rural areas. Our work encourages for future work to focus on this gap between the QoE in urban and rural areas.
△ Less
Submitted 17 September, 2019;
originally announced September 2019.
-
Strong Turing Degrees for Additive BSS RAM's
Authors:
Christine Gaßner
Abstract:
For the additive real BSS machines using only constants 0 and 1 and order tests we consider the corresponding Turing reducibility and characterize some semi-decidable decision problems over the reals. In order to refine, step-by-step, a linear hierarchy of Turing degrees with respect to this model, we define several halting problems for classes of additive machines with different abilities and con…
▽ More
For the additive real BSS machines using only constants 0 and 1 and order tests we consider the corresponding Turing reducibility and characterize some semi-decidable decision problems over the reals. In order to refine, step-by-step, a linear hierarchy of Turing degrees with respect to this model, we define several halting problems for classes of additive machines with different abilities and construct further suitable decision problems. In the construction we use methods of the classical recursion theory as well as techniques for proving bounds resulting from algebraic properties. In this way we extend a known hierarchy of problems below the halting problem for the additive machines using only equality tests and we present a further subhierarchy of semi-decidable problems between the halting problems for the additive machines using only equality tests and using order tests, respectively.
△ Less
Submitted 23 December, 2013; v1 submitted 13 December, 2013;
originally announced December 2013.
