Ansatzpunkte für eine Theologie des Neuen Testaments bei Oscar Cullmann und Leonhard Goppelt

Points of departure for a theology of the New Testament: Oscar Cullmann and Leonhard GoppeltBoth Cullmann and Goppelt offer alternative positions to an existential approach to New Testament theology. After a consideration of Oscar Cullmann’s position in the history of New Testament theology, special attention is given to his concept of salvation history, as well as a critical evaluation of this concept. Goppelt associates himself with the hermeneutical point of departure of Cullmann and Von Rad. Salvation history is, however, filled with new content through reflection on the earthly Jesus. Goppelt’s starting point for a theology of the New Testament is not found in a general easier ‘kerygma’, but in the unfolding of Jesus’ words and deeds

On Factorized Gröbner Bases

We report on some experience with a new version of the well known Gröbner algorithm with factorization and constraint inequalities, implemented in our REDUCE package CALI, [12]. We discuss some of its details and present run time comparisons with other existing implementations on well splitting examples

Triangular Systems and Factorized Gröbner Bases

In a preceding paper [9] we reported on some experience with a new version of the well known Gröbner algorithm with factorization and constraint inequalities. Here we discuss, how this approach may be refined to produce triangular systems in the sense of [12] and [13]. Such a refinement guarantees, different to the usual Gröbner factorizer, to produce a quasi prime decomposition, i.e. the resulting components are at least pure dimensional radical ideals. As in [9] our method weakens the usual restriction to lexicographic term orders. Triangular systems are a very helpful tool between factorization at a heuristical level and full decomposition into prime components. Our approach grew up from a consequent interpretation of the algorithmic ideas in [5] as a delayed quotient computation in favour of early use of (multivariate) factorization. It is implemented in version 2.2 of the REDUCE package CALI [8]

Der Einsatz von Videografie zur Stärkung der Beobachtungskompetenz angehender Lehrkräfte im Berufsfeld Gesundheit. Ergebnisse eines Pilotprojektes

Es liegt eine korrigierte Version vom 03.04.2020 vor, s. Link unter "URL

A parallel Gröbner factorizer

We report on some experience with a parallel version of the Gröbner basis algorithm with factorization, implemented in the REDUCE package CALI [4]. It is based on a coarse grain parallel master-slave model with distributed memory. This model was realized on an HP workstation cluster both with a disk remote connection based on (ordinary) REDUCE [9] and the special PVM-based parallel REDUCE version of H. Melenk and W. Neun [7]. Our considerations focus on a detailed study of the practical time behaviour of the parallelized improved Gröbner factorization algorithm [5]. For well splitting examples, where the number of intermediate subproblems is large compared to the number of parallel processes available on the system (only for such examples this approach makes sense), we've got almost always a good load balance. Since even for the relative slow disk remote connection the results are encouraging, we conclude that with a fast and stable communication hard- and software one will obtain a serious speed up on such problems compared to the serial implementation

On a formula of Coll-Gerstenhaber-Giaquinto

Given a bialgebra B we present a unifying approach to deformations of associative algebras A with a left B-module algebra structure. Special deformations of the comultiplication of B yield universal deformation formulas, i.e. define deformations of the multiplicative structure for all B-module algebras A. This allows to derive known formulas of Moyal-Vey (1949) and Coll-Gerstenhaber-Giaquinto (1989) from a more general point of view

Do Not Be Fooled: Toward a Holistic Comparison of Distributed Ledger Technology Designs

Distributed Ledger Technology (DLT) enables a new way of inter-organizational collaboration via a shared and distributed infrastructure. Meanwhile, there is plenty of DLT designs (e.g., Ethereum, IOTA), which differ in their capabilities to meet use case requirements. A structured comparison of DLT designs is required to support the decision for an appropriate DLT design. However, existing criteria and processes are abstract or not suitable for an in-depth comparison of DLT designs. We select and operationalize DLT characteristics relevant for a comprehensive comparison of DLT designs. Furthermore, we propose a comparison process, which enables the structured comparison of a set of DLT designs according to application requirements. The proposed process is validated with a use case analysis of three use cases. We contribute to research and praxis by introducing ways to operationalize DLT characteristics and generate a process to compare different DLT designs accordingly to their suitability in a use case

Ueber die Ortsbestimmung aromatischer Verbindungen

n/

Emissions in Gauteng

Emission reduction interventions assist decision-makers in setting targets for environmental regulations and policies. These are necessary to address the growing concern of air pollution. In the UK alone, £800m have been invested in an air quality programme to meet their net-zero emissions target by 2050 (World Economic Forum, 2020a). We recognise that informed decision-making is vital for capital investment into transport interventions, especially in a developing country like South Africa. We focus on emissions generation in the Gauteng province to understand how the actual traffic emissions vary from our estimations with the tools at our disposal. The tool we utilise is the Multi-Agent Transport Simulation (MATSim) emissions model based on the Handbook Emission Factors for Road Transport (HBEFA). MATSim is a powerful modelling framework that can produce transport simulations of an entire city with a high level of detail (Fourie, 2009; Van Velden, 2012; Zhuge et al., 2014; Ziemke et al., 2019). The problem we face is that the European-based emissions model does not account for the driving conditions and vehicle types affecting real-world driving emissions on South African road networks. We address the diversity of our local driver population by creating a synthetic population representing the Gauteng vehicle population. MATSim’s Agent-Based Model (ABM) enables us to model emission profiles for each vehicle represented as an agent. In the synthetic population, we include passenger cars and heavy vehicle types. We estimate the aggregate CO2, CO and NOx emitted on a provincial level and the individual emissions per vehicle type. We use PEMS equipment to conduct Real Driving Emissions (RDE) tests with which we validate our MATSim emissions model for Gauteng. We conduct these tests for both vehicle types represented in our synthetic population: a passenger car and a heavy vehicle. By comparing the PEMS data to MATSim’s estimations on a predetermined test route in Pretoria, we find that the emissions model accounts for ±80% of the CO2 emissions from these vehicle types. Furthermore, the observed CO emissions are 2.3–2.9 times higher than the simulation. MATSim also underestimates NOx emissions for the heavy vehicle type and overestimates these pollutant emissions for the light vehicle. Our investigation of the emissions on the test route reveals that different road types and driving conditions factor into the variance we observe in our local emissions model. MATSim struggles more to estimate the emissions on steep suburban roads than on urban or freeway sections. Regarding driver behaviour, aggressive drivers might cause more carbon and NOx emissions than conservative drivers. Weather conditions also influence this behaviour, and we heed the notable difference between our warm South African and wet European weather. We accomplish our research goals of building a representative Gauteng emissions model in MATSim, investigating how this model performs “out-of-the-box” and quantifying the gap between our local simulation and the reality of traffic emissions in South Africa.Dissertation (MEng (Industrial Engineering))--University of Pretoria, 2022.The Portable Emissions Measurement System (PEMS) equipment used in collecting the emissions data (chapter 4) was funded from several sources. The author would like to acknowledge the University of Pretoria (UP) as the primary contributor, as well as contributions from the Department of Science and Innovation through their Waste RDI Roadmap (Grant CSIR/BEI/WRIU/2019/028) and the National Research Foundation (through the National Equipment Programme, Grant EQP180425324146). The author would also like to acknowledge Prof P.J. (Hannes) Gräbe, Centre for Transport Development and the Chair in Railway Engineering, loving father and colleague, for the use of the Road-Rail Vehicle (RRV) in this research. Special thanks to Prof J.W. (Johan) Joubert at the Center for Transport Development – a supervisor, mentor, colleague and friend to the author. The expertise he displays in his field intrigued the author at a campus tour five years before he would complete his final year project under Joubert’s supervision, leading into the journey to a Masters in Industrial Engineering. His dedication to his students, passion for his work and love for his family inspired the author on numerous occasions. Joubert’s active interest, support and influence propelled the author with great ambition into his future career.Industrial and Systems EngineeringMEng (Industrial Engineering)Unrestricte