Refine
Year of publication
Document Type
- Bachelor Thesis (25) (remove)
Language
- English (25) (remove)
Has Fulltext
- yes (25)
Is part of the Bibliography
- no (25) (remove)
Keywords
- (n, gamma) Reaktionen (1)
- (n, gamma) reactions (1)
- 20th century (1)
- Alemannic dialects (1)
- Alsace (1)
- BaF2 Detektor-Array (1)
- BaF2 detector array (1)
- Biophysical Chemistry (1)
- Charge change (1)
- Chatbot (1)
Institute
- Physik (8)
- Informatik und Mathematik (7)
- Informatik (3)
- Wirtschaftswissenschaften (2)
- Biowissenschaften (1)
- Geowissenschaften (1)
- MPI für Biophysik (1)
- Mathematik (1)
- Sprachwissenschaften (1)
Principles of cognitive maps
(2021)
This thesis analyses the concept of a cognitive map in the research fields of geography. Cognitive mapping research is essential as it investigates the relations between cognitive maps and external representations of space that people regularly use by acquiring spatial knowledge, such as maps in geographic information systems. Moreover, cognitive maps, when expanded on semantic maps, explain the relations between people and things in a non-physically environment, where the considered space is not spanned by distance but with other non-spatially variables. Nevertheless, cognitive maps are often distorted. Although a good formation of a cognitive map is vital in navigation processes, cognitive distortions are barely investigated in the field of geography. By analyzing the relevant work, especially Tobler’s first law of geography, a new lexical variant of Tobler’s first law could be stated that could presumably describe a specific distortion in the processing of landmarks in cognitive maps.
Various concurrency primitives had been added to functional programming languages in different ways. In Haskell such a primitive is a MVar, joins are described in JoCaml and AliceML uses futures to provide a concurrent behaviour. Despite these concurrency libraries seem to behave well, their equivalence between each other has not been proven yet. An expressive formal system is needed. In their paper "On proving the equivalence of concurrency primitives", Jan Schwinghammer, David Sabel, Joachim Niehren, and Manfred Schmidt-Schauß define a universal calculus for concurrency primitives known as the typed lambda calculus with futures. There, equivalence of processes had been proved. An encoding of simple one-place buffers had been worked out. This bachelor’s thesis is about encoding more complex concurrency abstractions in the lambda calculus with futures and proving correctness of its operational semantics. Given the new abstractions, we will discuss program equivalence between them. Finally, we present a library written in Haskell that exposes futures and our concurrency abstractions as a proof of concept.
The following thesis is the description and the analysis of time resolution measurements of the plastic scintillator protorypes bar with PMT (photomultiplier tube) readout, performed with a 31 MeV electron beam at the HZDR (Helmholtz-Zentrum Dresden-Rossendorf) [1]. Similar bars will be used as building blocks for the NeuLAND detector (new large area neutron detector) - a ToF (time of flight) wall within the R3B setup (Reactions with Relativistic Radioactive Beams [2]) at the future FAIR facility (GSI Darmstadt [3]). The superconducting ELBE (electron linear-accellerator for beams of high brilliance and low emittance) was used as an electron source. The scintillation material used was RP408.
Two series of measurements were made within three months. In the first series, three bars of different sizes (200 x 5 x 5 cm3; 200 x 3 x 3 cm3; 300 x 5 x 5 cm3, the latter was made by coupling one 100 cm bar with a 200 cm bar using silicon grease) were used in the experiment consecutively. They had one Hamamatsu R8619 photomultiplier tube with an active diameter of 22 mm attached to each side with silicon grease. A measurement with the 200 x 5 x 5 cm3 bar without silicon grease was also performed.
In the second series, two equal scintillator bars (270 x 5 x 5 cm3 with a 10 cm light guide) on each side were used. Measurements with and without silicon coupling as well as with two different types of PMTs (R8619 and R2059) were executed.
Time and charge signals were processed with the TACQUILA electronic board. The time resolution was measured with the very precise pulsed electron signal of the accelerator. The time resolution measurements resulted in ρ200x5x5 ~ 159 ps; ρ200x5x5,no silicon ~ 162 ps; ρ200x3x3 ~ 153 ps; ρ300x5x5 ~ 204 ps.
For the second date they resulted in ρR8619 ~ 149 ps; ρR8619, no silicon ~ 175 ps; ρR2059 ~ 141 ps.
More tests and analysis is required until the results are definite.
Long-term average groundwater recharge representing the sustainable groundwater resources is modeled as a 0.5° by 0.5° grid on global scale by the WaterGAP Global Hydrology Model. Due to uncertainties of estimating groundwater recharge, especially in semiarid and arid regions, independent estimates are used for calibrating the model. This work compiled a new set of independent groundwater recharge estimates based on a work of Scanlon et al. (2006). The 59 independent estimates, together with an already existing independent estimates compilation, are used for the evaluation of two WGHM variants; one variant is modeling with an improved more realistically distributed daily precipitation dataset.
The objective of this thesis is the evaluation of the modeled data of the WaterGAP Global Hydrology Model (WGHM). The analysis of the impact of the new Watch Forcing Data (WFD) precipitation dataset on the modeled groundwater recharge tends to result in lower values in humid and higher values in (semi-)arid regions compared to the WGHM standard variant. Comparing both WGHM variants to the independent estimates compilations, representing (semi-)arid regions, the WGHM variant shows over- and underestimations especially of the low values and the WGHM WFD variant shows a bias toward overestimation especially for values below 4 mm/yr. The analysis of texture, hydrogeology and vegetation/ land cover could not give satisfying explanations for the discrepancies, but derived from the groundwater recharge measurement methods analysis indirect/ localized recharge seems to be a significant factor causing underestimations, as resulted in the comparison of the independent estimates based on Scanlon et al. 2006 with the WGHM variants.
This work derives the value of the neutron capture cross section of 60Fe at the energy of kT = 25 meV. Iron plays an important role in stellar nucleosynthesis, because it is a seed material for the s-process, a neutron capture process in which the elements between iron and bismuth are synthesized.
To determine the thermal neutron cross section of 60Fe, an iron sample produced in the framework of the ERAWAST1 program at the Paul Scherrer Institute in Switzerland was irradiated at the research reactor TRIGA2 at Johannes Gutenberg University in Mainz, Germany. Before the irradiation, the number of 60Fe particles in the sample was calculated using the decay scheme of 60Fe. There were (8.207 ± 0:066 stat 0:298 syst) * 10 14 60Fe particles in the sample.
The irradiation of the sample took place in May 2012. The counting of the reaction product, 61Fe, was undertaken using a HPGe detector located in a laboratory at Johannes Gutenberg University in Mainz. Knowing the number of 60Fe particles in the sample, the number of produced 61Fe particles and the neutron flux from the reactor, the thermal neutron capture cross section of ρth60Fe = (0.203 ± 0:021 stat 0:024 syst) b could be determined.
The determination of the thermal neutron capture cross section at the energy of kT = 25 meV constitutes to the first at this energy. There was already a measurement of the neutron capture cross section of 60Fe at the energy of kT = 25 keV in Karlsruhe in Germany. The result of the measurement was 25 keV = (9.9 ± 2:8 syst 1:4 stat) mb and was published in the year 2009 [14].
Adding datapoints for the cross section at different energies improves extarpolation and helps verification of theoretical models for elemental synthesis. For this reason, a measurement of the 60Fe neutron capture cross section at the energy of kT = 90 keV is planned at Goethe University Frankfurt, Germany.
Having the neutron capture cross section of 60Fe at the energy of kT = 25 keV measured in the year 2009 in Karlsruhe [14], at the energy of kT = 25 meV measured in May 2012 at Johannes Gutenberg University in Mainz and at the planned energy of kT = 90 keV at Goethe University Frankfurt, there will be three points for the extrapolation of the values for the neutron capture cross section of 60Fe. This will lead to a significant reduction in uncertainty with respect to existing theoretical discrepancies.
In online video games toxic interactions are very prevalent and often
even considered an imperative part of gaming.
Most studies analyse the toxicity in video games by analysing the messages that are sent during a match, while only a few focus on other interactions. We focus specifically on the in-game events to try to identify toxic matches, by constructing a framework that takes a list of time-based events and projects them into a graph structure which we can then analyse with current methods in the field of graph representation learning.
Specifically we use a Graph Neural Network and Principal Neighbour-
hood Aggregation to analyse the graph structure to predict the toxicity of a match.
We also discuss the subjectivity behind the term toxicity and why the
process of only analysing in-game messages with current state-of-the-art NLP methods isn’t capable to infer if a match is perceived as toxic or not.
The current performance of a 4π barium fluoride gamma detector consisting of 41 modules is evaluated. It will be used to measure neutron capture events in different samples that are exposed to a neutron beam that is expected to contain up to 10^7 neutrons/(cm^2 sec). The capture cross-sections acquired in this experiment will be relevant to a multitude of different areas, for example to s-process studies, or accelerator-driven systems. The detector array was re-mounted after having been moved from Karlsruhe to Frankfurt and in the course of this process, the detector modules have been checked for their current detection properties. Every module consists of a BaF2 crystal, a photomultiplier tube connected to the crystal by sillicon oil and a voltage divider to drive the PMT, so each of them is already an individual gamma detector. Using Cobalt-60 and Caesium-137 test sources the energy resolution and - more importantly - the time resolution of every module has been determined; the results are presented in this work and compared to previous data taken at the time the detector was built initially in the mid-1980s.
When we browse via WiFi on our laptop or mobile phone, we receive data over a noisy channel. The received message may differ from the one that was sent originally. Luckily it is often possible to reconstruct the original message but it may take a lot of time. That’s because decoding the received message is a complex problem, NP-hard to be exact. As we continue browsing, new information is sent to us in a high frequency. So if lags are to be avoided and as memory is finite, there is not much time left for decoding. Coding theory tackles this problem by creating models of the channels we use to communicate and tailor codes based on the channel properties. A well known family of codes are Low-Density Parity-Check codes (LDPC codes), they are widely used in standards like WiFi and DVB-T2. In practical settings the complexity of decoding a received message can be heavily reduced by using LDPC codes and approximative decoding algorithms. This thesis lays out the basic construction of LDPC codes and a proper decoding using the sum-product algorithm. On this basis a neural network to improve decoding is introduced. Therefore the sum-product algorithm is transformed into a neural network decoder. This approach was first presented by Nachmani et al. and treated in detail by Navneet Agrawal in 2017. To find out how machine learning can improve the codes, the bit error rates of the trained neural network decoder are compared with the bit error rates of the classic sum-product algorithm approach. Experiments with static and dynamic training datasets of diverse sizes, various signal-to-noise ratios, a feed forward as well as a recurrent architecture show how to tune the neural network decoder even further. Results of the experiments are used to verify statements made in Agrawal’s work. In addition, corrections and improvements in the area of metrics are presented. An implementation of the neural network to facilitate access for others will be made available to the public.
As part of the research for this thesis, a momentum spectrometer was set up and initial measurements on accelerated ions were performed. For this purpose, the necessary hardware for the operation of the spectrometer and for high-precision measurements was were assembled. A control system for remote operation was developed and the spectrometer was installed at the used beamline.
There, measurements of low-energy ion beams in superposition with electrons confined in a Gabor lens can be carried out.
Investigations were made on both the Gabor lens-generated ions and the beam ions, leading to first results regarding the charge changes of beam ions during propagation through an electron atmosphere.
To accommodate the growth of the software industry, programming languages are getting increasingly easy to use. The latest trend in the simplification of the software development process is the usage of visual programming environments. To make visual programming effective, the graph-like representation of the source code must be clearly arranged. This thesis details some of the difficulties in automatic layout generation and proposes an interface as well as two different implementations of automatic layout generators to integrate into the VWorkflows visual programming framework.