No description available.

In this work the extension of the criterion for local thermal equilibrium by Buchholz, Ojima and Roos to curved spacetime as introduced by Schlemmer is investigated. Several problems are identified and especially the instability under time evolution which was already observed by Schlemmer is inspected. An alternative approach to local thermal equilibrium in quantum field theories on curved spacetimes is presented and discussed. In the following the dynamic system of the linear field and matter perturbations in the generic model of inflation is studied in the view of ambiguity of quantisation. In the last part the compatibility of the temperature fluctuations of the cosmic microwave background radiation with local thermal equilibrium is investigated.:1. Introduction 5 2. Technical Background 10 2.1. The Free Scalar Field on a Globally Hyperbolic Spacetime . . . . . . 10 2.1.1. Construction of the Scalar Field . . . . . . . . . . . . . . . . . 10 2.1.2. Algebra of Wick Products . . . . . . . . . . . . . . . . . . . . 13 2.1.3. Local Covariance Principle . . . . . . . . . . . . . . . . . . . . 17 2.2. Local Thermal Equilibirum . . . . . . . . . . . . . . . . . . . . . . . 21 2.2.1. Global Thermodynamic Equilibrium - KMS States . . . . . . 21 2.2.2. Local Thermal Observables . . . . . . . . . . . . . . . . . . . 24 2.2.3. LTE on Flat Spacetime . . . . . . . . . . . . . . . . . . . . . . 29 2.2.4. LTE in Cosmological Spacetimes . . . . . . . . . . . . . . . . 32 2.3. Linear Scalar Cosmological Perturbations . . . . . . . . . . . . . . . . 34 2.3.1. Robertson-Walker Cosmology . . . . . . . . . . . . . . . . . . 35 2.3.2. Mathematical Background . . . . . . . . . . . . . . . . . . . . 38 2.3.3. Technical Framework and Formulae . . . . . . . . . . . . . . . 40 2.3.4. The Boltzmann Equation . . . . . . . . . . . . . . . . . . . . 46 2.3.5. The Sachs-Wolfe Effect for Adiabatic Perturbations . . . . . . 49 3. Towards a Refinement of the LTE Condition on Curved Spacetimes 54 3.1. Non-Minimal Coupling . . . . . . . . . . . . . . . . . . . . . . . . . . 54 3.1.1. Commutator Distribution . . . . . . . . . . . . . . . . . . . . 55 3.1.2. KMS Two-Point Function . . . . . . . . . . . . . . . . . . . . 57 3.1.3. Balanced Derivatives . . . . . . . . . . . . . . . . . . . . . . . 61 3.2. Conformally Static Spacetimes . . . . . . . . . . . . . . . . . . . . . . 65 3.2.1. Conformal KMS States . . . . . . . . . . . . . . . . . . . . . . 66 3.2.2. Extrinsic LTE in de Sitter Spacetime . . . . . . . . . . . . . . 71 3.3. Massive Fields . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78 3.3.1. Properties of the Model . . . . . . . . . . . . . . . . . . . . . 78 3.3.2. Bogoliubov Transformation . . . . . . . . . . . . . . . . . . . 80 3.3.3. Thermal Observables . . . . . . . . . . . . . . . . . . . . . . . 82 3.4. Towards an Alternative Concept . . . . . . . . . . . . . . . . . . . . . 91 3.4.1. Problems and Open Questions Concerning LTE . . . . . . . . 92 3.4.2. Dynamic Equations . . . . . . . . . . . . . . . . . . . . . . . . 94 3.4.3. Positivity Inequalities . . . . . . . . . . . . . . . . . . . . . . . 96 3.4.4. Macroobservable Interpretation . . . . . . . . . . . . . . . . . 100 3.5. An Application . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101 4. Cosmological Perturbation Theory 105 4.1. Dynamics of Perturbations in Inflation . . . . . . . . . . . . . . . . . 106 4.1.1. CCR Quantisation is Ambiguous . . . . . . . . . . . . . . . . 106 4.1.2. Canonical Symplectic Form . . . . . . . . . . . . . . . . . . . 111 4.1.3. The Algebraic Point of View . . . . . . . . . . . . . . . . . . . 117 4.2. LTE States in Cosmology . . . . . . . . . . . . . . . . . . . . . . . . 120 4.2.1. The Link to Fluid Dynamics . . . . . . . . . . . . . . . . . . . 120 4.2.2. Incompatibility of LTE with Sachs-Wolfe Effect . . . . . . . . 125 5. Conclusion and Outlook 131 A. Technical proofs 136 A.1. Proof of Lemma 3.2.5 . . . . . . . . . . . . . . . . . . . . . . . . . . . 136 A.2. Proof of Lemma 3.2.6 . . . . . . . . . . . . . . . . . . . . . . . . . . . 138 A.3. Proof of Lemma 3.4.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . 141 A.4. Idea of Proof for Conjecture 3.4.3 . . . . . . . . . . . . . . . . . . . . 144 B. Introduction to Probability Theory 146 Bibliography 150 Correction of Lemma 3.1.2 155 / In dieser Arbeit wird die von Schlemmer eingeführte Erweiterung des Kriteriums für lokales thermisches Gleichgewicht in Quantenfeldtheorien von Buchholz, Ojima und Roos auf gekrümmte Raumzeiten untersucht. Dabei werden verschiedene Probleme identifiziert und insbesondere die bereits von Schlemmer gezeigte Instabilität unter Zeitentwicklung untersucht. Es wird eine alternative Herangehensweise an lokales thermisches Gleichgewicht in Quantenfeldtheorien auf gekrümmten Raumzeiten vorgestellt und deren Probleme diskutiert. Es wird dann eine Untersuchung des dynamischen Systems der linearen Feld- und Metrikstörungen im üblichen Inflationsmodell mit Blick auf Uneindeutigkeit der Quantisierung durchgeführt. Zuletzt werden die Temperaturfluktuationen der kosmischen Hintergrundstrahlung auf Kompatibilität mit lokalem thermalem Gleichgewicht überprüft.:1. Introduction 5 2. Technical Background 10 2.1. The Free Scalar Field on a Globally Hyperbolic Spacetime . . . . . . 10 2.1.1. Construction of the Scalar Field . . . . . . . . . . . . . . . . . 10 2.1.2. Algebra of Wick Products . . . . . . . . . . . . . . . . . . . . 13 2.1.3. Local Covariance Principle . . . . . . . . . . . . . . . . . . . . 17 2.2. Local Thermal Equilibirum . . . . . . . . . . . . . . . . . . . . . . . 21 2.2.1. Global Thermodynamic Equilibrium - KMS States . . . . . . 21 2.2.2. Local Thermal Observables . . . . . . . . . . . . . . . . . . . 24 2.2.3. LTE on Flat Spacetime . . . . . . . . . . . . . . . . . . . . . . 29 2.2.4. LTE in Cosmological Spacetimes . . . . . . . . . . . . . . . . 32 2.3. Linear Scalar Cosmological Perturbations . . . . . . . . . . . . . . . . 34 2.3.1. Robertson-Walker Cosmology . . . . . . . . . . . . . . . . . . 35 2.3.2. Mathematical Background . . . . . . . . . . . . . . . . . . . . 38 2.3.3. Technical Framework and Formulae . . . . . . . . . . . . . . . 40 2.3.4. The Boltzmann Equation . . . . . . . . . . . . . . . . . . . . 46 2.3.5. The Sachs-Wolfe Effect for Adiabatic Perturbations . . . . . . 49 3. Towards a Refinement of the LTE Condition on Curved Spacetimes 54 3.1. Non-Minimal Coupling . . . . . . . . . . . . . . . . . . . . . . . . . . 54 3.1.1. Commutator Distribution . . . . . . . . . . . . . . . . . . . . 55 3.1.2. KMS Two-Point Function . . . . . . . . . . . . . . . . . . . . 57 3.1.3. Balanced Derivatives . . . . . . . . . . . . . . . . . . . . . . . 61 3.2. Conformally Static Spacetimes . . . . . . . . . . . . . . . . . . . . . . 65 3.2.1. Conformal KMS States . . . . . . . . . . . . . . . . . . . . . . 66 3.2.2. Extrinsic LTE in de Sitter Spacetime . . . . . . . . . . . . . . 71 3.3. Massive Fields . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78 3.3.1. Properties of the Model . . . . . . . . . . . . . . . . . . . . . 78 3.3.2. Bogoliubov Transformation . . . . . . . . . . . . . . . . . . . 80 3.3.3. Thermal Observables . . . . . . . . . . . . . . . . . . . . . . . 82 3.4. Towards an Alternative Concept . . . . . . . . . . . . . . . . . . . . . 91 3.4.1. Problems and Open Questions Concerning LTE . . . . . . . . 92 3.4.2. Dynamic Equations . . . . . . . . . . . . . . . . . . . . . . . . 94 3.4.3. Positivity Inequalities . . . . . . . . . . . . . . . . . . . . . . . 96 3.4.4. Macroobservable Interpretation . . . . . . . . . . . . . . . . . 100 3.5. An Application . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101 4. Cosmological Perturbation Theory 105 4.1. Dynamics of Perturbations in Inflation . . . . . . . . . . . . . . . . . 106 4.1.1. CCR Quantisation is Ambiguous . . . . . . . . . . . . . . . . 106 4.1.2. Canonical Symplectic Form . . . . . . . . . . . . . . . . . . . 111 4.1.3. The Algebraic Point of View . . . . . . . . . . . . . . . . . . . 117 4.2. LTE States in Cosmology . . . . . . . . . . . . . . . . . . . . . . . . 120 4.2.1. The Link to Fluid Dynamics . . . . . . . . . . . . . . . . . . . 120 4.2.2. Incompatibility of LTE with Sachs-Wolfe Effect . . . . . . . . 125 5. Conclusion and Outlook 131 A. Technical proofs 136 A.1. Proof of Lemma 3.2.5 . . . . . . . . . . . . . . . . . . . . . . . . . . . 136 A.2. Proof of Lemma 3.2.6 . . . . . . . . . . . . . . . . . . . . . . . . . . . 138 A.3. Proof of Lemma 3.4.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . 141 A.4. Idea of Proof for Conjecture 3.4.3 . . . . . . . . . . . . . . . . . . . . 144 B. Introduction to Probability Theory 146 Bibliography 150 Correction of Lemma 3.1.2 155

At the forefront of cancer treatment development and evaluation, three-dimensional Tumour Spheroid Control Experiments play a pivotal role in the battle against cancer. Conducting and evaluating in vitro experiments are time-consuming processes. This thesis details the development, implementation, and validation of an algorithmic model that classifies spheroids as either controlled or relapsed by assessing the success of their treatments based on criteria rooted in biological insights. The introduction of this model is crucial for biologists to accurately and efficiently predict treatment efficacy in 3D in vitro experiments. The motivation for this research is driven by the need to improve the objectivity and efficiency of treatment outcome evaluations, which have traditionally depended on manual and subjective assessments by biologists. The research involved creating a comprehensive dataset from multiple 60-day in vitro experiments by combining data from various sources, focusing on the growth dynamics of tumour spheroids subjected to different treatment regimens. Through preprocessing and analysis, growth characteristics were extracted and utilized as input features for the model. A feature selection and optimization technique was applied to refine the software model and improve its predictive accuracy. The model is based on a handful of comprehensive criteria, calibrated by employing a grid search mechanism for hyperparameter tuning to optimize accuracy. The validation process, conducted via independent test sets, confirmed the model’s capability to predict treatment outcomes with a high degree of reliability and an accuracy of about 99%. The findings reveal that algorithmic classification models can make a significant contribution to the standardization and automation of treatment efficacy assessment in tumour spheroid experiments. Not only does this approach reduce the potential for human error and variability, but it also provides a scalable and objective means of evaluating treatment outcomes.:1 Introduction 1.1 Background and Motivation 1.2 Biological Background 1.3 Iteration Methodology 1.4 Objective of the Thesis 2 Definition of basic Notation and Concepts 2.1 Time Series Analysis 2.2 Linear Interpolation 2.3 Simple Exponential Smoothing 2.4 Volume of a Spheroid 2.5 Heavyside Function 2.6 Least Squares Method 2.7 Linear Regression 2.8 Exponential Approximation 2.9 Grid Search 2.10 Binary Regression 2.11 Pearson Correlation Coefficient 3 Observation Data 3.1 General Overview 3.1.1 Structure of the Data 3.1.2 Procedure of Data Processing using 3D-Analysis 3.2 Data Engineering 3.2.1 Data Consolidation and Sanitization 3.2.2 Extension and Interpolation 3.2.3 Variance Reduction 4 Model Development 4.1 Modeling of Various Classification-Relevant Aspects 4.1.1 Primary Criteria 4.1.2 Secondary Criteria 4.1.3 Statistical Learning Approaches 4.2 Day of Relapse Estimation 4.3 Model Implementation 4.3.1 Combination of Approaches 4.3.2 Implementation in Python 4.4 Model Calibration 4.4.1 Consecutive Growth 4.4.2 Quintupling 4.4.3 Secondary Criteria 4.4.4 Combined Approach 5 Model Testing 5.1 Evaluation Methods 5.1.1 Applying the Model to New Data 5.1.2 Spheroid Control Probability 5.1.3 Kaplan-Meier Survival Analysis 5.1.4 Analysis of Classification Mismatches 5.2 Model Benchmark 5.2.1 Comparison to Human Raters 5.2.2 Comparison to Binary Regression Model 5.3 Robustness 5.3.1 Test using different Segmentation 5.3.2 Feature Reduction 5.3.3 Sensitivity 5.3.4 Calibration Templates 6 Discussion 6.1 Practical Application Opportunities 6.2 Evaluation of the Algorithmic Model 6.3 Limitations 7 Conclusion 7.1 Summary 7.2 Future Research Directions / Dreidimensionale Experimente zur Kontrolle von Tumorsphäroiden sind zentral für die Entwicklung und Evaluierung von Krebstherapien. Die Durchführung und Auswertung von In-vitro-Experimenten ist jedoch zeitaufwendig. Diese Arbeit beschreibt die Entwicklung, Implementierung und Validierung eines algorithmischen Modells zur Einstufung von Sphäroiden als kontrolliert oder rezidivierend. Das Modell bewertet den Behandlungserfolg anhand biologisch fundierter Kriterien. Diese Innovation ist entscheidend für die präzise und effiziente Vorhersage der Wirksamkeit von Behandlungen in 3D-In-vitro-Experimenten und zielt darauf ab, die Objektivität und Effizienz der Beurteilung von Behandlungsergebnissen zu verbessern, die traditionell von manuellen, subjektiven Einschätzungen der Biologen abhängen. Die Forschung umfasste die Erstellung eines umfassenden Datensatzes aus mehreren 60-tägigen In-vitro-Experimenten, bei denen die Wachstumsdynamik von Tumorsphäroiden unter verschiedenen Behandlungsschemata untersucht wurde. Durch Vorverarbeitung und Analyse wurden Wachstumscharakteristika extrahiert und als Eingangsmerkmale für das Modell verwendet. Das Modell basiert auf wenigen umfassenden Kriterien, die mithilfe eines Gittersuchmechanismus zur Abstimmung der Hyperparameter kalibriert wurden, um die Genauigkeit zu optimieren. Der Validierungsprozess bestätigte die Fähigkeit des Modells, Behandlungsergebnisse mit hoher Zuverlässigkeit und einer Genauigkeit von etwa 99 % vorherzusagen. Die Ergebnisse zeigen, dass algorithmische Klassifizierungsmodelle einen wesentlichen Beitrag zur Standardisierung und Automatisierung der Bewertung der Behandlungseffektivität in Tumorsphäroid-Experimenten leisten können. Dieser Ansatz verringert nicht nur das Potenzial für menschliche Fehler und Schwankungen, sondern bietet auch ein skalierbares und objektives Mittel zur Bewertung von Behandlungsergebnissen.:1 Introduction 1.1 Background and Motivation 1.2 Biological Background 1.3 Iteration Methodology 1.4 Objective of the Thesis 2 Definition of basic Notation and Concepts 2.1 Time Series Analysis 2.2 Linear Interpolation 2.3 Simple Exponential Smoothing 2.4 Volume of a Spheroid 2.5 Heavyside Function 2.6 Least Squares Method 2.7 Linear Regression 2.8 Exponential Approximation 2.9 Grid Search 2.10 Binary Regression 2.11 Pearson Correlation Coefficient 3 Observation Data 3.1 General Overview 3.1.1 Structure of the Data 3.1.2 Procedure of Data Processing using 3D-Analysis 3.2 Data Engineering 3.2.1 Data Consolidation and Sanitization 3.2.2 Extension and Interpolation 3.2.3 Variance Reduction 4 Model Development 4.1 Modeling of Various Classification-Relevant Aspects 4.1.1 Primary Criteria 4.1.2 Secondary Criteria 4.1.3 Statistical Learning Approaches 4.2 Day of Relapse Estimation 4.3 Model Implementation 4.3.1 Combination of Approaches 4.3.2 Implementation in Python 4.4 Model Calibration 4.4.1 Consecutive Growth 4.4.2 Quintupling 4.4.3 Secondary Criteria 4.4.4 Combined Approach 5 Model Testing 5.1 Evaluation Methods 5.1.1 Applying the Model to New Data 5.1.2 Spheroid Control Probability 5.1.3 Kaplan-Meier Survival Analysis 5.1.4 Analysis of Classification Mismatches 5.2 Model Benchmark 5.2.1 Comparison to Human Raters 5.2.2 Comparison to Binary Regression Model 5.3 Robustness 5.3.1 Test using different Segmentation 5.3.2 Feature Reduction 5.3.3 Sensitivity 5.3.4 Calibration Templates 6 Discussion 6.1 Practical Application Opportunities 6.2 Evaluation of the Algorithmic Model 6.3 Limitations 7 Conclusion 7.1 Summary 7.2 Future Research Directions

In dieser Arbeit werden statistische Lernprobleme betrachtet. Lernmaschinen extrahieren Informationen aus einer gegebenen Menge von Trainingsmustern, so daß sie in der Lage sind, Eigenschaften von bisher ungesehenen Mustern - z.B. eine Klassenzugehörigkeit - vorherzusagen. Wir betrachten den Fall, bei dem die resultierende Klassifikations- oder Regressionsregel aus einfachen Regeln - den Basishypothesen - zusammengesetzt ist. Die sogenannten Boosting Algorithmen erzeugen iterativ eine gewichtete Summe von Basishypothesen, die gut auf ungesehenen Mustern vorhersagen. <br /> Die Arbeit behandelt folgende Sachverhalte: <br /> <br /> o Die zur Analyse von Boosting-Methoden geeignete Statistische Lerntheorie. Wir studieren lerntheoretische Garantien zur Abschätzung der Vorhersagequalität auf ungesehenen Mustern. Kürzlich haben sich sogenannte Klassifikationstechniken mit großem Margin als ein praktisches Ergebnis dieser Theorie herausgestellt - insbesondere Boosting und Support-Vektor-Maschinen. Ein großer Margin impliziert eine hohe Vorhersagequalität der Entscheidungsregel. Deshalb wird analysiert, wie groß der Margin bei Boosting ist und ein verbesserter Algorithmus vorgeschlagen, der effizient Regeln mit maximalem Margin erzeugt.<br /> <br /> o Was ist der Zusammenhang von Boosting und Techniken der konvexen Optimierung? <br /> Um die Eigenschaften der entstehenden Klassifikations- oder Regressionsregeln zu analysieren, ist es sehr wichtig zu verstehen, ob und unter welchen Bedingungen iterative Algorithmen wie Boosting konvergieren. Wir zeigen, daß solche Algorithmen benutzt werden koennen, um sehr große Optimierungsprobleme mit Nebenbedingungen zu lösen, deren Lösung sich gut charakterisieren laesst. Dazu werden Verbindungen zum Wissenschaftsgebiet der konvexen Optimierung aufgezeigt und ausgenutzt, um Konvergenzgarantien für eine große Familie von Boosting-ähnlichen Algorithmen zu geben.<br /> <br /> o Kann man Boosting robust gegenüber Meßfehlern und Ausreissern in den Daten machen? <br /> Ein Problem bisheriger Boosting-Methoden ist die relativ hohe Sensitivität gegenüber Messungenauigkeiten und Meßfehlern in der Trainingsdatenmenge. Um dieses Problem zu beheben, wird die sogenannte 'Soft-Margin' Idee, die beim Support-Vector Lernen schon benutzt wird, auf Boosting übertragen. Das führt zu theoretisch gut motivierten, regularisierten Algorithmen, die ein hohes Maß an Robustheit aufweisen.<br /> <br /> o Wie kann man die Anwendbarkeit von Boosting auf Regressionsprobleme erweitern? <br /> Boosting-Methoden wurden ursprünglich für Klassifikationsprobleme entwickelt. Um die Anwendbarkeit auf Regressionsprobleme zu erweitern, werden die vorherigen Konvergenzresultate benutzt und neue Boosting-ähnliche Algorithmen zur Regression entwickelt. Wir zeigen, daß diese Algorithmen gute theoretische und praktische Eigenschaften haben.<br /> <br /> o Ist Boosting praktisch anwendbar? <br /> Die dargestellten theoretischen Ergebnisse werden begleitet von Simulationsergebnissen, entweder, um bestimmte Eigenschaften von Algorithmen zu illustrieren, oder um zu zeigen, daß sie in der Praxis tatsächlich gut funktionieren und direkt einsetzbar sind. Die praktische Relevanz der entwickelten Methoden wird in der Analyse chaotischer Zeitreihen und durch industrielle Anwendungen wie ein Stromverbrauch-Überwachungssystem und bei der Entwicklung neuer Medikamente illustriert. / In this work we consider statistical learning problems. A learning machine aims to extract information from a set of training examples such that it is able to predict the associated label on unseen examples. We consider the case where the resulting classification or regression rule is a combination of simple rules - also called base hypotheses. The so-called boosting algorithms iteratively find a weighted linear combination of base hypotheses that predict well on unseen data. We address the following issues:<br /> <br /> o The statistical learning theory framework for analyzing boosting methods.<br /> We study learning theoretic guarantees on the prediction performance on unseen examples. Recently, large margin classification techniques emerged as a practical result of the theory of generalization, in particular Boosting and Support Vector Machines. A large margin implies a good generalization performance. Hence, we analyze how large the margins in boosting are and find an improved algorithm that is able to generate the maximum margin solution.<br /> <br /> o How can boosting methods be related to mathematical optimization techniques?<br /> To analyze the properties of the resulting classification or regression rule, it is of high importance to understand whether and under which conditions boosting converges. We show that boosting can be used to solve large scale constrained optimization problems, whose solutions are well characterizable. To show this, we relate boosting methods to methods known from mathematical optimization, and derive convergence guarantees for a quite general family of boosting algorithms.<br /> <br /> o How to make Boosting noise robust?<br /> One of the problems of current boosting techniques is that they are sensitive to noise in the training sample. In order to make boosting robust, we transfer the soft margin idea from support vector learning to boosting. We develop theoretically motivated regularized algorithms that exhibit a high noise robustness.<br /> <br /> o How to adapt boosting to regression problems?<br /> Boosting methods are originally designed for classification problems. To extend the boosting idea to regression problems, we use the previous convergence results and relations to semi-infinite programming to design boosting-like algorithms for regression problems. We show that these leveraging algorithms have desirable theoretical and practical properties.<br /> <br /> o Can boosting techniques be useful in practice?<br /> The presented theoretical results are guided by simulation results either to illustrate properties of the proposed algorithms or to show that they work well in practice. We report on successful applications in a non-intrusive power monitoring system, chaotic time series analysis and a drug discovery process. <br><br> ---<br> Anmerkung:<br> Der Autor ist Träger des von der Mathematisch-Naturwissenschaftlichen Fakultät der Universität Potsdam vergebenen Michelson-Preises für die beste Promotion des Jahres 2001/2002.

We analyze the asymptotic behavior in the limit epsilon to zero for a wide class of difference operators H_epsilon = T_epsilon + V_epsilon with underlying multi-well potential. They act on the square summable functions on the lattice (epsilon Z)^d.<br> We start showing the validity of an harmonic approximation and construct WKB-solutions at the wells. Then we construct a Finslerian distance d induced by H and show that short integral curves are geodesics and d gives the rate for the exponential decay of Dirichlet eigenfunctions. In terms of this distance, we give sharp estimates for the interaction between the wells and construct the interaction matrix. / Wir analysieren das asymptotische Verhalten im Grenzwert epsilon gegen null von einer weiten Klasse von Differenzen operatoren H_epsilon = T_epsilon + V_epsilon mit unterliegendem Potential. Sie wirken auf die quadrat-summierbaren Funktionen auf dem Gitter (epsilon Z)^d.<br> Zunächst zeigen wir die Gültigkeit einer harmonischen Approximation und konstruieren WKB-Lösungen an den Töpfen. Dann konstruieren wir eine Finslersche Abstandsfunktion d, die durch H induziert wird und zeigen, daß kurze Integralkurven Geodäten sind und daß d die Rate des exponentiellen Abfallverhaltens von Dirichlet-Eigenfunktionen beschreibt. Bezügliche dieses Abstands geben wir scharfe Abschätzungen für die Wechselwirkung zwischen den Töpfen und konstruieren die Wechselwirkungs-Matrix.

Cancer cells display characteristic traits acquired in a step-wise manner during carcinogenesis. Some of these traits are autonomous growth, induction of angiogenesis, invasion and metastasis. In this thesis, the focus is on one of the latest stages of tumor progression, tumor invasion. Tumor invasion emerges from the combined effect of tumor cell-cell and cell-microenvironment interactions, which can be studied with the help of mathematical analysis. Cellular automata (CA) can be viewed as simple models of self-organizing complex systems in which collective behavior can emerge out of an ensemble of many interacting &amp;quot;simple&amp;quot; components. In particular, we focus on an important class of CA, the so-called lattice-gas cellular automata (LGCA). In contrast to traditional CA, LGCA provide a straightforward and intuitive implementation of particle transport and interactions. Additionally, the structure of LGCA facilitates the mathematical analysis of their behavior. Here, the principal tools of mathematical analysis of LGCA are the mean-field approximation and the corresponding Lattice Boltzmann equation. The main objective of this thesis is to investigate important aspects of tumor invasion, under the microscope of mathematical modeling and analysis: Impact of the tumor environment: We introduce a LGCA as a microscopic model of tumor cell migration together with a mathematical description of different tumor environments. We study the impact of the various tumor environments (such as extracellular matrix) on tumor cell migration by estimating the tumor cell dispersion speed for a given environment. Effect of tumor cell proliferation and migration: We study the effect of tumor cell proliferation and migration on the tumor’s invasive behavior by developing a simplified LGCA model of tumor growth. In particular, we derive the corresponding macroscopic dynamics and we calculate the tumor’s invasion speed in terms of tumor cell proliferation and migration rates. Moreover, we calculate the width of the invasive zone, where the majority of mitotic activity is concentrated, and it is found to be proportional to the invasion speed. Mechanisms of tumor invasion emergence: We investigate the mechanisms for the emergence of tumor invasion in the course of cancer progression. We conclude that the response of a microscopic intracellular mechanism (migration/proliferation dichotomy) to oxygen shortage, i.e. hypoxia, maybe responsible for the transition from a benign (proliferative) to a malignant (invasive) tumor. Computing in vivo tumor invasion: Finally, we propose an evolutionary algorithm that estimates the parameters of a tumor growth LGCA model based on time-series of patient medical data (in particular Magnetic Resonance and Diffusion Tensor Imaging data). These parameters may allow to reproduce clinically relevant tumor growth scenarios for a specific patient, providing a prediction of the tumor growth at a later time stage. / Krebszellen zeigen charakteristische Merkmale, die sie in einem schrittweisen Vorgang während der Karzinogenese erworben haben. Einige dieser Merkmale sind autonomes Wachstum, die Induktion von Angiogenese, Invasion und Metastasis. Der Schwerpunkt dieser Arbeit liegt auf der Tumorinvasion, einer der letzten Phasen der Tumorprogression. Die Tumorinvasion ensteht aus der kombinierten Wirkung von den Wechselwirkungen Tumorzelle-Zelle und Zelle-Mikroumgebung, die mit die Hilfe von mathematischer Analyse untersucht werden können. Zelluläre Automaten (CA) können als einfache Modelle von selbst-organisierenden komplexen Systemen betrachtet werden, in denen kollektives Verhalten aus einer Kombination von vielen interagierenden &amp;quot;einfachen&amp;quot; Komponenten entstehen kann. Insbesondere konzentrieren wir uns auf eine wichtige CA-Klasse, die sogenannten Zelluläre Gitter-Gas Automaten (LGCA). Im Gegensatz zu traditionellen CA bieten LGCA eine einfache und intuitive Umsetzung der Teilchen und Wechselwirkungen. Zusätzlich erleichtert die Struktur der LGCA die mathematische Analyse ihres Verhaltens. Die wichtigsten Werkzeuge der mathematischen Analyse der LGCA sind hier die Mean-field Approximation und die entsprechende Lattice - Boltzmann - Gleichung. Das wichtigste Ziel dieser Arbeit ist es, wichtige Aspekte der Tumorinvasion unter dem Mikroskop der mathematischen Modellierung und Analyse zu erforschen: Auswirkungen der Tumorumgebung: Wir stellen einen LGCA als mikroskopisches Modell der Tumorzellen-Migration in Verbindung mit einer mathematischen Beschreibung der verschiedenen Tumorumgebungen vor. Wir untersuchen die Auswirkungen der verschiedenen Tumorumgebungen (z. B. extrazellulären Matrix) auf die Migration von Tumorzellen dürch Schätzung der Tumorzellen-Dispersionsgeschwindigkeit in einem gegebenen Umfeld. Wirkung von Tumor-Zellenproliferation und Migration: Wir untersuchen die Wirkung von Tumorzellenproliferation und Migration auf das invasive Verhalten der Tumorzellen durch die Entwicklung eines vereinfachten LGCA Tumorwachstumsmodells. Wir leiten die entsprechende makroskopische Dynamik und berechnen die Tumorinvasionsgeschwindigkeit im Hinblick auf die Tumorzellenproliferation- und Migrationswerte. Darüber hinaus berechnen wir die Breite der invasiven Zone, wo die Mehrheit der mitotischer Aktivität konzentriert ist, und es wird festgestellt, dass diese proportional zu den Invasionsgeschwindigkeit ist. Mechanismen der Tumorinvasion Entstehung: Wir untersuchen Mechanismen, die für die Entstehung von Tumorinvasion im Verlauf des Krebs zuständig sind. Wir kommen zu dem Schluss, dass die Reaktion eines mikroskopischen intrazellulären Mechanismus (Migration/Proliferation Dichotomie) zu Sauerstoffmangel, d.h. Hypoxie, möglicheweise für den Übergang von einem gutartigen (proliferative) zu einer bösartigen (invasive) Tumor verantwortlich ist. Berechnung der in-vivo Tumorinvasion: Schließlich schlagen wir einen evolutionären Algorithmus vor, der die Parameter eines LGCA Modells von Tumorwachstum auf der Grundlage von medizinischen Daten des Patienten für mehrere Zeitpunkte (insbesondere die Magnet-Resonanz-und Diffusion Tensor Imaging Daten) ermöglicht. Diese Parameter erlauben Szenarien für einen klinisch relevanten Tumorwachstum für einen bestimmten Patienten zu reproduzieren, die eine Vorhersage des Tumorwachstums zu einem späteren Zeitpunkt möglich machen.

Die Arbeit behandelt Methoden zur Analyse bzw. Synthese elektromechanischer Systeme mit endlichem Freiheitsgrad (EMS). Dabei wird von einer einheitlichen mathematischen Modellierung solcher Systeme basierend auf dem Prinzip der virtuellen Arbeit in Lagrange'scher Fassung ausgegangen. Als Analysemethoden für strukturfeste EMS werden neben der numerischen Integration die Bestimmung von Gleichgewichtszuständen und die Herleitung der linearisierten Gleichungen zur Schwingungsanalyse dargelegt. Auf die Analyse von strukturvariablen EMS wird ausführlich eingegangen. Dazu werden Phänomene der Strukturvariabilität domänenunabhängig als unilaterale Bindungen aufgefasst und mittels komplementärer Variablen beschrieben. Die kombinatorische Aufgabe der Strukturfindung wird mittels eines linearen Komplementaritätsproblems gelöst. Die Synthese eines EMS wird als inverses Problem der Dynamik aufgefasst. Bei fester Gesamtkonfiguration führt das auf die nichtlineare dynamische Steuerung solcher Systeme. Dazu wird ein so genannter erweiterter PD-Regler - bestehend aus einer nichtlinearen Vorsteuerung auf Basis der inversen Dynamik des EMS und einer linearen Rückführung des Lage- und Geschwindigkeitsfehlers - entworfen. Die globale asymptotische Stabilität dieses Regelgesetzes wird durch explizite Konstruktion einer Lyapunov-Funktion nachgewiesen. Einige Beispiele zur Anwendung der aufgeführten Analyse- und Synthesemethoden runden die Arbeit ab. The thesis deals with methods for analysis and synthesis of electromechanical systems with finite degrees of freedom (EMS). Starting point is a unified mathematical approach to modelling such systems based on the principle of virtual work in Lagrange's formulation. Numerical integration, determination of equilibrium states and derivation of linearized equations are used as analytical methods for EMS with fixed structure. Electromechanical systems with variable structure are regarded explicitly. Phenomena of structural variability are comprehended as unilateral constraints and described using complementary variables. The combinatorial task of finding a valid structure is solved using a linear complementarity problem. The synthesis of EMS is understood as an inverse task of dynamics. Using a fixed configuration, this approach leads to non-linear dynamic control of such systems. A so-called augmented PD-controller - consisting, on the one hand, of a non-linear feedforward based on inverse dynamics of the EMS and, on the other hand, of a linear feedback using position and velocity errors - is designed. Global asymptotic stability is proven by explicit construction of a Lyapunov-function. Some examples showing the usage of the corresponding analytical and synthetic methods are given.

In dieser Dissertation wird erstmalig ein theoretisches Fundament zur Beschneiung virtueller Szenen entwickelt. Das theoretische Fundament wird als analytisches Modell in Form einer Diffusionsgleichung formuliert. Aus dem analytischen Modell lässt sich eine Gruppe von Algorithmen zur Beschneiung virtueller Szenen ableiten. Eingehende Voruntersuchungen zur allgemeinen Modellierung natürlicher Phänomene in der Computergraphik sowie eine Klassifikation der bestehenden Literatur über mathematische Schneemodellierung bilden den Anfang der Arbeit. Aus der umfassenden Darstellung der Eigenschaften von Schnee, wie er in der Natur vorkommt, ergeben sich die Grundlagen für die Modellbildung. Die Modellbildung fußt auf den grundlegenden Ansätzen der klassischen Mechanik und der statistischen Physik. Für die Beschneiung auf visueller Skala erweist sich der Diffusionsprozess als geeignete Beschreibung. Mit der Beschreibung lassen sich diffusiv Schneeoberflächen erzeugen. Der konkrete computergraphische Wert des theoretischen Fundaments wird anhand zweier Implementierungen exemplarisch dargestellt, und zwar in der Distanzfeldmethode und der Diffusionskernmethode. Die Ergebnisse werden mithilfe dreidimensionaler Rauschtexturen und Alpha-Masken an den Rändern fotorealistisch visualisiert. / In this dissertation for the first time a theoretical foundation is developed for snow accumulation in virtual scenes. The theoretical foundation is formulated in an analytical model as diffusion equation. The analytical model leads to a group of algorithms for virtual snow accumulation. Comprehensive investigations for the modelling of natural phenomena in computer graphics in general are used to develop a method classification scheme. Another classification is given for an overview over the aspects of snow in the real world. This allows an efficient presentation of related literature on snow modelling. A new approach of snow modelling is then drawn from first principles of classical mechanics and statistical physics. Diffusion processes provide an efficient theoretical framework for snow accumulation. The mathematical structure of diffusion equations is discussed and demonstrated to be adequate to snow modelling in visual scales. The value of the theoretical foundation for computer graphics is demonstrated with two exemplary implementations, a distance field method and the diffusion kernel method. Results are visualized with 3D noise textures and alpha masks near borders delivering photorealistic snow pictures.

No description available.

No description available.