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 "simple" 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 "einfachen" 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.

Mathematics learning seems to be a demanding and time-consuming task for many learners. Information and communication technology (ICT) is an attractive tool of learning for students at any level and it can provide an effective atmosphere for understanding mathematics. The question is how to combine mathematics teaching contents, approaches, curricula, and syllabus with new media. The key issue in European educational policy (and other countries as well) is exchange and sharing digital learning resources (learning objects) among countries. In order to accumulate the practice of various countries and use the best digital resources created by different countries, it is necessary to localize learning objects (LO). The paper deals with some problems connected with localization of LO, developed for mathematics education, and presents some solution. Software localization is mainly referred to as language translation (e.g., translation of user interface texts and help documents). However, there are many other important elements depending on the country and people who will use the localized software. In this paper, the main attention is paid to localization of learning objects used for teaching and learning mathematics.

A study of students’ mathematical identity was carried out in February 2009 involving participants from two colleges of education, one in Dublin (Republic of Ireland) and one in Belfast (Northern Ireland). All participants were pre-service primary school teachers in the third year of their B.Ed. programme, having chosen to specialize in mathematics. Data was gathered using a questionnaire (with, mainly, open-ended questions) followed by focus groups, involving the same participants, on each campus. This paper considers how students’ exploration of their mathematical identity led them to deepen their insight into learning and teaching mathematics. Recommendations are made for how the methods used in this research might be beneficial on a larger scale, in different environments.

No description available.

No description available.

No description available.

The new concept of a superconducting magnetic bearing (SMB) system can be implemented as a twisting element instead of the existing one in a ring spinning machine, thus overcoming one of its main frictional limitations. In the SMB, a permanent magnet (PM) ring rotates freely above the superconducting ring due to the levitation forces. The revolution of the PM ring imparts twists similarly to the traveler in the existing twisting system. In this paper, the forces acting on the dynamic yarn path resulting from this new technology are investigated and described with a mathematical model. The equation of yarn movement between the delivery rollers and the PM ring is integrated with the Runge-Kutta method using MATLAB. Thus, the developed model can estimate the yarn tension and balloon form according to different spindle speeds considering the dynamic behavior of the permanent magnet of the SMB system. To validate the model, the important relevant process parameters, such as the yarn tension, are measured at different regions of the yarn path, and the balloon forms are recorded during spinning with the SMB system using a high speed camera.

The aluminothermic (AT) process utilises a self-propagating high-temperature synthesis (SHS) type reaction for producing primarily thermite steel and alumina slag at high temperatures during the welding of rails. In this work, an investigation on the early stages of the aluminothermic process, the separation of AT reaction products and mould filling has been carried out, using both experimental and computational methods to predict the time duration of a complete separation and to obtain a better understanding of the internal multiphase flow within the crucible and mould. The decomposition of AT reaction products after the combustion and the subsequent mould filling by thermite steel and alumina slag have been simulated numerically, using a diffusive phase field and volume-of-fluid model. However, to minimize numerical errors on the input parameters of the high- temperature multiphase flow, a careful review on transport properties has been made. Missing data, e.g. the contact angle of thermite steel on waterglass-bonded mould and crucible wall material has been investigated experimentally. Being further necessary for the prediction of the separation time of AT reaction products in compacted thermite, results on the propagation front velocity show a decreasing trend with increasing initial compact temperature. Further, the combustion front velocity is used for a subsequent analysis of the separation time, which is obtained from the phase distribution of thermite steel, alumina slag and intermetallic compounds, using a combustion front quenching (CFQ) methodology. Moreover, geometric modifications on the crucible and mould have been developed for a reduction in changeover time, as well as an optimized multiphase flow field. Their performance during crucible discharge and mould filling has been verified numerically. Furthermore, alumina slag inclusions have been tracked within the mould using a volume-of-fluid approach with their final positions being verified through an authentic welding. / Während des aluminothermischen (AT) Prozesses findet eine SHS-Reaktion Anwendung, um primär Thermitstahl und Aluminiumoxidschlacke bei hohen Temperaturen für das Verschweißen von Bahnschienen herzustellen. In dieser Arbeit wurden Anfangsstadien, welche die Separation der AT-Reaktionsprodukte sowie das Füllen der Gießform einbeziehen, unter Anwendung von sowohl experimentellen als auch numerischen Verfahren untersucht. Damit konnte die Zeitdauer einer kompletten Separation ermittelt und ein genaueres Verständnis der Mehrphasenströmung in Tiegel und Gießform erlangt werden. Die Separation der AT-Reaktionsprodukte nach der aluminothermischen Reaktion und die anschließende Formfüllung wurden mit einem diffusen Phasenfeld und einem Volume-of-Fluid-Modell numerisch berechnet. Für die Minimierung numerischer Fehler in den Eingangsgrößen dieser Hochtemperatur-Mehrphasenströmungen wurde eine intensive Literaturrecherche durchgeführt und fehlende Parameter, wie zum Beispiel die Kontaktwinkel von Thermitstahl auf Wasserglas gebundenem Form- und Tiegelmaterial, wurden experimentell ermittelt. Messungen der Reaktionsfrontgeschwindigkeit in gepresstem Thermit sind notwendig für eine Vorhersage der Separationszeit der AT-Reaktionsprodukte, und die Ergebnisse zeigen einen linear abfallenden Trend mit zunehmender Anfangstemperatur des verdichteten Materials. In dieser Arbeit wurde die Geschwindigkeit der Reaktionsfront verwendet, um aus der Phasenverteilung von Thermitstahl, Aluminiumoxidschlacke und intermetallischen Verbindungen als Ergebnis des CFQ-Experimentes die Separationszeit in verdichtetem Thermit zu approximieren. Es wurden Modifikationen an Tiegel und Gießform erprobt, die für eine Verbesserung der internen Strömungsführung sowie für die Reduzierung der Umrüstzeit sorgen sollen. Die Effizienz dieser Veränderungen wurde anschließend mit numerischen Methoden überprüft. Des Weiteren konnten durch eine Realschweißung die numerisch vorhergesagten finalen Positionen von Schlackeeinschlüssen innerhalb der Gießform verifiziert werden.

This thesis investigates time series analysis tools for prediction, as well as detection and characterization of dependencies, informed by dynamical systems theory. Emphasis is placed on the role of delays with respect to information processing in dynamical systems, as well as with respect to their effect in causal interactions between systems. The three main features that characterize this work are, first, the assumption that time series are measurements of complex deterministic systems. As a result, functional mappings for statistical models in all methods are justified by concepts from dynamical systems theory. To bridge the gap between dynamical systems theory and data, differential topology is employed in the analysis. Second, the Bayesian paradigm of statistical inference is used to formalize uncertainty by means of a consistent theoretical apparatus with axiomatic foundation. Third, the statistical models are strongly informed by modern nonlinear concepts from machine learning and nonparametric modeling approaches, such as Gaussian process theory. Consequently, unbiased approximations of the functional mappings implied by the prior system level analysis can be achieved. Applications are considered foremost with respect to computational neuroscience but extend to generic time series measurements.

We consider the problem of maximizing the second smallest eigenvalue of the weighted Laplacian of a (simple) graph over all nonnegative edge weightings with bounded total weight. We generalize this problem by introducing node significances and edge lengths. We give a formulation of this generalized problem as a semidefinite program. The dual program can be equivalently written as embedding problem. This is fifinding an embedding of the n nodes of the graph in n-space so that their barycenter is at the origin, the distance between adjacent nodes is bounded by the respective edge length, and the embedded nodes are spread as much as possible. (The sum of the squared norms is maximized.) We proof the following necessary condition for optimal embeddings. For any separator of the graph at least one of the components fulfills the following property: Each straight-line segment between the origin and an embedded node of the component intersects the convex hull of the embedded nodes of the separator. There exists always an optimal embedding of the graph whose dimension is bounded by the tree-width of the graph plus one. We defifine the rotational dimension of a graph. This is the minimal dimension k such that for all choices of the node significances and edge lengths an optimal embedding of the graph can be found in k-space. The rotational dimension of a graph is a minor monotone graph parameter. We characterize the graphs with rotational dimension up to two.:1 Introduction 1.1 Notations and Preliminaries 1.2 The Algebraic Connectivity 1.3 Two applications 1.4 Outline 2 The Embedding Problem 2.1 Semidefinite formulation 2.2 The dual as geometric embedding problem 2.3 Physical interpretation and examples 2.4 Formulation without fifixed barycenter 3 Geometrical Operations 3.1 Congruent transformations 3.2 Folding a flat halfspace 3.3 Folding and Collapsing 4 Structural properties of optimal embeddings 4.1 Separator-Shadow 4.2 Separators containing the origin 4.3 The tree-width bound 4.4 Application to trees 5 The Rotational Dimension of a graph 5.1 Defifinition and basic properties 5.2 Characterization of graphs with small rotational dimension 5.3 The Colin de Verdi ere graph parameter List of Figures Bibliography Theses