In this paper we present some numerical results concerning the identification of material parameters in linear elasticity by dealing with small deformations. On the basis of a precise example different aspects of the parameter estimation problem are considered. We deal with practical questions such as the experimental design for obtaining sufficient data for recovering the unknown parameters as well as questions of treating the corresponding inverse problems numerically. Two algorithms for solving these problems can be introduced and extensive numerical case studies are presented and discussed.

Das d-dimensionale Vektorpackproblem (d-VPP), welches aus Planungsaufgaben resultieren kann, ist eine Verallgemeinerung des eindimensionalen Zuschnittproblems (1CSP) und deshalb NP-schwer. Die stetige Relaxation, die mittels Spaltengenerierung gelöst werden kann, ergebe den optimalen Zielfunktionswert zC, während der optimale Zielfunktionswert der ganzzahligen Aufgabe zD ist. In der Dissertation werden obere Schranken für das Gap Δ = zD-zC hergeleitet und systematisch Instanzen des 1CSPs mit großem Δ (bis zu 6/5) konstruiert. Die im Teilbarkeitsfall des 1CSPs bekannte Abschätzung Δ < 2 wird zu Δ < 7/5 verschärft. Im d-VPP mit d > 1 gilt die MIRUP-Hypothese Δ < 2 nicht. Dies und die Unbeschränktheit des Wertes einer Variante bei d gegen unendlich werden an speziellen Beispielen gezeigt. Außerdem wird eine Heuristik vorgeschlagen und erprobt.

Ein großer Anteil des Datenverkehrs in „Internet Service Provider“ (ISP)-Netzen wird heutzutage von „Content Delivery Networks“ (CDNs) verursacht. Betreiber von CDNs verwenden Lastverteilungsmechanismen um die Auslastung ihrer CDN-Infrastruktur zu vergleichmäßigen (Load Balancing). Dies geschieht ohne Abstimmung mit den ISP-Betreibern. Es können daher große Verkehrslastverschiebungen sowohl innerhalb eines ISP-Netzes, als auch auf den Verbindungsleitungen zwischen ISP-Netz und CDNs auftreten. In der vorliegenden Arbeit wird untersucht, welche nicht-kooperativen Möglichkeiten ein ISP hat, um Verkehrslastverschiebungen, welche durch Lastverteilungsmechanismen innerhalb eines CDNs verursacht werden, entgegenzuwirken bzw. abzumildern. Die Grundlage für diese Untersuchung bildet die Analyse des Serverauswahlverhaltens des YouTube-CDNs. Hierzu ist ein aktives Messverfahren entwickelt worden, um das räumliche und zeitliche Verhalten der YouTube-Serverauswahl bestimmen zu können. In zwei Messstudien wird die Serverauswahl in deutschen und europäischen ISP-Netzen untersucht. Auf Basis dieser Studien wird ein Verkehrsmodell entwickelt, welches die durch Änderungen der YouTube-Serverauswahl verursachten Verkehrslastverschiebungen abbildet. Das Verkehrsmodell wiederum bildet die Grundlage für die Bestimmung optimaler Routen im ISP-Netz, welche hohe Robustheit gegenüber CDN-bedingte Verkehrslastverschiebungen aufweisen (Alpha-robuste Routingoptimierung). Für die Lösung des robusten Routing-Optimierungsproblems wird ein iteratives Verfahren entwickelt sowie eine kompakte Reformulierung vorgestellt. Die Leistungsfähigkeit des Alpha-robusten Routings wird anhand von drei Beispielnetztopologien untersucht. Das neue Verfahren wird mit alternativen robusten Routingverfahren und einem nicht-robusten Verfahren verglichen. Neben der robusten Routingoptimierung werden in der Arbeit drei weitere Ideen für nicht-kooperative Methoden vorgestellt (BGP-, IP-Präix- und DNS-basierte Methode), um CDN-bedingten Verkehrslastverschiebungen entgegenzuwirken.

In this thesis I study several deductive systems for linear logic, its fragments, and some noncommutative extensions. All systems will be designed within the calculus of structures, which is a proof theoretical formalism for specifying logical systems, in the tradition of Hilbert's formalism, natural deduction, and the sequent calculus. Systems in the calculus of structures are based on two simple principles: deep inference and top-down symmetry. Together they have remarkable consequences for the properties of the logical systems. For example, for linear logic it is possible to design a deductive system, in which all rules are local. In particular, the contraction rule is reduced to an atomic version, and there is no global promotion rule. I will also show an extension of multiplicative exponential linear logic by a noncommutative, self-dual connective which is not representable in the sequent calculus. All systems enjoy the cut elimination property. Moreover, this can be proved independently from the sequent calculus via techniques that are based on the new top-down symmetry. Furthermore, for all systems, I will present several decomposition theorems which constitute a new type of normal form for derivations.

In our presentation we will show how technology enables us to improve the teaching and learning of linear functions at the middle school level. Through various classroom activities that involve technology such as dynamic geometry software, graphing calculators and Excel, students explore functions and discover basic facts about them on their own. Students then work with real life data and on real life problems to draw graphs and form linear models that correspond to given situations as well as draw inferences based on their models. Participants will receive complete classroom materials for the unit on linear functions.

Ein großer Anteil des Datenverkehrs in „Internet Service Provider“ (ISP)-Netzen wird heutzutage von „Content Delivery Networks“ (CDNs) verursacht. Betreiber von CDNs verwenden Lastverteilungsmechanismen um die Auslastung ihrer CDN-Infrastruktur zu vergleichmäßigen (Load Balancing). Dies geschieht ohne Abstimmung mit den ISP-Betreibern. Es können daher große Verkehrslastverschiebungen sowohl innerhalb eines ISP-Netzes, als auch auf den Verbindungsleitungen zwischen ISP-Netz und CDNs auftreten. In der vorliegenden Arbeit wird untersucht, welche nicht-kooperativen Möglichkeiten ein ISP hat, um Verkehrslastverschiebungen, welche durch Lastverteilungsmechanismen innerhalb eines CDNs verursacht werden, entgegenzuwirken bzw. abzumildern. Die Grundlage für diese Untersuchung bildet die Analyse des Serverauswahlverhaltens des YouTube-CDNs. Hierzu ist ein aktives Messverfahren entwickelt worden, um das räumliche und zeitliche Verhalten der YouTube-Serverauswahl bestimmen zu können. In zwei Messstudien wird die Serverauswahl in deutschen und europäischen ISP-Netzen untersucht. Auf Basis dieser Studien wird ein Verkehrsmodell entwickelt, welches die durch Änderungen der YouTube-Serverauswahl verursachten Verkehrslastverschiebungen abbildet. Das Verkehrsmodell wiederum bildet die Grundlage für die Bestimmung optimaler Routen im ISP-Netz, welche hohe Robustheit gegenüber CDN-bedingte Verkehrslastverschiebungen aufweisen (Alpha-robuste Routingoptimierung). Für die Lösung des robusten Routing-Optimierungsproblems wird ein iteratives Verfahren entwickelt sowie eine kompakte Reformulierung vorgestellt. Die Leistungsfähigkeit des Alpha-robusten Routings wird anhand von drei Beispielnetztopologien untersucht. Das neue Verfahren wird mit alternativen robusten Routingverfahren und einem nicht-robusten Verfahren verglichen. Neben der robusten Routingoptimierung werden in der Arbeit drei weitere Ideen für nicht-kooperative Methoden vorgestellt (BGP-, IP-Präix- und DNS-basierte Methode), um CDN-bedingten Verkehrslastverschiebungen entgegenzuwirken.

In our presentation we will show how technology enables us to improve the teaching and learning of linear functions at the middle school level. Through various classroom activities that involve technology such as dynamic geometry software, graphing calculators and Excel, students explore functions and discover basic facts about them on their own. Students then work with real life data and on real life problems to draw graphs and form linear models that correspond to given situations as well as draw inferences based on their models. Participants will receive complete classroom materials for the unit on linear functions.

In this thesis I study several deductive systems for linear logic, its fragments, and some noncommutative extensions. All systems will be designed within the calculus of structures, which is a proof theoretical formalism for specifying logical systems, in the tradition of Hilbert's formalism, natural deduction, and the sequent calculus. Systems in the calculus of structures are based on two simple principles: deep inference and top-down symmetry. Together they have remarkable consequences for the properties of the logical systems. For example, for linear logic it is possible to design a deductive system, in which all rules are local. In particular, the contraction rule is reduced to an atomic version, and there is no global promotion rule. I will also show an extension of multiplicative exponential linear logic by a noncommutative, self-dual connective which is not representable in the sequent calculus. All systems enjoy the cut elimination property. Moreover, this can be proved independently from the sequent calculus via techniques that are based on the new top-down symmetry. Furthermore, for all systems, I will present several decomposition theorems which constitute a new type of normal form for derivations.

In the last two decades, hyperbranched (hb) polymers have drawn much attention and obtained intensive research activities both from industry and academia. They are known to have unique and interesting properties which derive from their three dimensional structure and the large number of functional groups. These structural characteristics provide high possibilities for controlling functional group interactions and modifications of other polymers in blends and therefore, they are expected to result in novel materials with desired properties. Furthermore, the easy synthetic accessibility of hb polymers by one-pot synthesis is advantageous as well and allows easy scale-up of laboratory reactions. Having the characteristics as mentioned above, hb polymers are considered good candidates for blend components or melt processing modifiers. In fact, hb polymers have already been used as blend components or additives aiming for different effects. In many cases, reduced viscosity and formation of miscible blends were observed by modification of a linear matrix polymer with hb polymers. More information will be introduced in the following theoretical section. In this work two hb polyester systems based on AB2 and A2+B3 approaches were synthesized and studied. Their possible applications as additives in the blends of linear polyamides were investigated.

In this paper, we study the partial Fourier method for treating the Lamé equations in three-­dimensional axisymmetric domains subjected to nonaxisymmetric loads. We consider the mixed boundary value problem of the linear theory of elasticity with the displacement u, the body force f \in (L_2)^3 and homogeneous Dirichlet and Neumann boundary conditions. The partial Fourier decomposition reduces, without any error, the three­dimensional boundary value problem to an infinite sequence of two­dimensional boundary value problems, whose solutions u_n (n = 0,1,2,...) are the Fourier coefficients of u. This process of dimension reduction is described, and appropriate function spaces are given to characterize the reduced problems in two dimensions. The trace properties of these spaces on the rotational axis and some properties of the Fourier coefficients u_n are proved, which are important for further numerical treatment, e.g. by the finite-element method. Moreover, generalized completeness relations are described for the variational equation, the stresses and the strains. The properties of the resulting system of two­dimensional problems are characterized. Particularly, a priori estimates of the Fourier coefficients u_n and of the error of the partial Fourier approximation are given.