evaluation framework for software test processes

Magdeburg, Univ., Fak. für Informatik, Diss., 2009

Control of fluidized bed spray granulation processes

Magdeburg, Univ., Fak. für Elektrotechnik und Informationstechnik, Diss., 2012

Model-based measurement and control of fluidised bed spray granulation processes

Magdeburg, Univ., Fak. für Verfahrens- und Systemtechnik, Diss., 2012

Design and control of combined chemical processes for the production of pure enantiomers

Magdeburg, Univ., Fak. für Elektrotechnik und Informationstechnik, Diss., 2013

Experimental and numerical investigation of vehicle soiling processes

Magdeburg, Univ., Fak. für Verfahrens- und Systemtechnik, Diss., 2012

Statistical model identification : dynamical processes and large-scale networks in systems biology

Magdeburg, Univ., Fak. für Verfahrens- und Systemtechnik, Diss., 2014

Statistical model identification : dynamical processes and large-scale networks in systems biology

Magdeburg, Univ., Fak. für Verfahrens- und Systemtechnik, Diss., 2014

Control and model-based analysis of microaerobic processes - using Rhodospirillum rubrum as model organism

Magdeburg, Univ., Fak. für Elektrotechnik und Informationstechnik, Diss., 2015

Interneuron function in pathological memory processes : relevance for posttraumatic stress disorder

Otto-von-Guericke-Universität Magdeburg, Fakultät für Naturwissenschaften, Univ., Dissertation, 2015

Population dynamic of Sesarma rectum (Crustacea, Brachyura, Sesarmidae) from a muddy flat under human impact, Paraty, Rio de Janeiro, Brazil

A population of Sesarma rectum Randall, 1840 under the influence of human impact was studied. Monthly sampling (CPUE, two people during 30 min) took place from August/2001 to July/2002 at an impacted muddy flat in Paraty city, State of Rio de Janeiro (23º13'S, 44º42'W). At the laboratory, specimens were classified by sex and measured with a vernier caliper (0.01 mm). The size at the beginning of the sexual maturity was obtained by means of different techniques: in the case of males it was used the allometric procedure and the macroscopic analysis of gonads wile for females, the size of the smallest ovigerous female was also considered. The population structure was evaluated by means the analysis of the variations in the modes of the size frequency distribution. The fecundity was assessed using sub samples of the egg mass. For males, the macroscopic analyses of gonads revealed larger values of carapace width than those obtained with morphometric analysis. Males larger than 18.5 mm of carapace width can be considered as mature. For females, such size was 17.4 mm CW. Despite of the human impact in the habitat, the population presented to be stable, as indicated by a single mode on the size frequency distribution. The second mode that appeared in some months is probably related to the entrance of juveniles in the population. The sex ratio of this population is closely approximating to 1:1 until crabs reach a carapace width of about 28 mm; after that, males outnumbered females. Comparing the fecundity of the present population with a previous study from Ubatuba, it can be verified a difference in the number of eggs. The fecundity of Paraty's population is significantly lower than the Ubatuba's population. This is probably related to the scarcity of food resource in Paraty, once no vascular plant can be found in that place. The continuity of reproductive processes and the juvenile recruitment suggest this species is able to live in the area with human impact. The ability to obtaining nutrients from different source of food is probably a feature that allows S. rectum to occupy such impacted ecosystem.

Corrigendum stable matchings and preferences of couples

We correct an omission in the definition of our domain of weakly responsive preferences introduced in Klaus and Klijn (2005) or KK05 for short. The proof of the existence of stable matchings (KK05, Theorem 3.3) and a maximal domain result (KK05, Theorem 3.5) are adjusted accordingly.

Median stable matching for college admission

We give a simple and concise proof that so-called generalized median stable matchings are well-defined stable matchings for college admissions problems. Furthermore, we discuss the fairness properties of median stable matchings and conclude with two illustrative examples of college admissions markets, the lattices of stable matchings, and the corresponding generalized median stable matchings.

Distribution center consolidation games

We study the location-inventory model as introduced by Teo et al. (2001) to analyze the impact of consolidation of distribution centers on facility and inventory costs. We extend their result on profitability of consolidation. We associate a cooperative game with each location-inventory situation and prove that this game has a non-empty core for identical and independent demand processes. This illustrates that consolidation does not only lower joint costs (which was shown by Teo et al. (2001)), but it allows for a stable division of the minimal costs as well.

Choosing how to choose: self-stable majority rules and constitutions

Constitutional arrangements affect the decisions made by a society. We study how this effect leads to preferences of citizens over constitutions; and ultimately how this has a feedback that determines which constitutions can survive in a given society. Constitutions are stylized here, to consist of a voting rule for ordinary business and possibly different voting rule for making changes to the constitution. We deffine an equilibrium notion for constitutions, called self-stability, whereby under the rules of a self-stable constitution, the society would not vote to change the constitution. We argue that only self-stable constitutions will endure. We prove that self-stable constitutions always exist, but that most constitutions (even very prominent ones) may not be self-stable for some societies. We show that constitutions where the voting rule used to amend the constitution is the same as the voting rule used for ordinary business are dangerously simplistic, and there are (many) societies for which no such constitution is self-stable rule. We conclude with a characterization of the set of self-stable constitutions that use majority rule for ordinary business.

Procedurally fair and stable matching

We motivate procedural fairness for matching mechanisms and study two procedurally fair and stable mechanisms: employment by lotto (Aldershof et al., 1999) and the random order mechanism (Roth and Vande Vate, 1990, Ma, 1996). For both mechanisms we give various examples of probability distributions on the set of stable matchings and discuss properties that differentiate employment by lotto and the random order mechanism. Finally, we consider an adjustment of the random order mechanism, the equitable random order mechanism, that combines aspects of procedural and "endstate'' fairness. Aldershof et al. (1999) and Ma (1996) that exist on the probability distribution induced by both mechanisms. Finally, we consider an adjustment of the random order mechanism, the equitable random order mechanism.