A geometric mass-preserving redistancing scheme for the level set function

In this paper we describe and evaluate a geometric mass-preserving redistancing procedure for the level set function on general structured grids. The proposed algorithm is adapted from a recent finite element-based method and preserves the mass by means of a localized mass correction. A salient feature of the scheme is the absence of adjustable parameters. The algorithm is tested in two and three spatial dimensions and compared with the widely used partial differential equation (PDE)-based redistancing method using structured Cartesian grids. Through the use of quantitative error measures of interest in level set methods, we show that the overall performance of the proposed geometric procedure is better than PDE-based reinitialization schemes, since it is more robust with comparable accuracy. We also show that the algorithm is well-suited for the highly stretched curvilinear grids used in CFD simulations. Copyright (C) 2010 John Wiley & Sons, Ltd.

Global minimization using an Augmented Lagrangian method with variable lower-level constraints

A novel global optimization method based on an Augmented Lagrangian framework is introduced for continuous constrained nonlinear optimization problems. At each outer iteration k the method requires the epsilon(k)-global minimization of the Augmented Lagrangian with simple constraints, where epsilon(k) -> epsilon. Global convergence to an epsilon-global minimizer of the original problem is proved. The subproblems are solved using the alpha BB method. Numerical experiments are presented.

VOICES FROM THE SOUTH: DIALOGICAL RELATIONSHIPS AND COLLABORATION IN MATHEMATICS EDUCATION

This chapter presents a collaborative experience between two neighbouring countries from South America: Argentina and Brazil. Our purpose is to share a model of international collaboration that we consider to be an alternative to the classical movement of early mathematical and scientific knowledge between East and West and between North and South. We start our chapter with a general discussion about the phenomenon of globalization considering some local examples. We characterize our collaboration exploring the tensions and difficulties we faced along our own professional development at the local as well as the international level. We describe the development of our prior collaborative work that established the foundation for our international collaboration portraying the local mathematics education communities. We refer to some balances that were created among our relationships, the expansion of our collaborative network, and how this particular collaboration allows us to contribute to the regional field and inform the international one. We discuss the way that the search for balance and symmetry, or at least a complementary asymmetry in our collaborative relationships, has led us to generate a genuine and equitable collaboration.

Dynamics of change of mathematics education in Brazil and a scenario of current research

Mathematics education in Brazil, if we consider what one may call the scientific phase, is about 30 years old. The papers for this special issue focus mainly on this period. During these years, many trends have emerged in mathematics education to address the complex problems facing Brazilian society. However, most Brazilian mathematics educators feel that the separation of research into trends is a theoretical idealization that does not respond to the dynamics of the problems we face. We raise the conjecture that the complexity of Brazilian society, where pockets of wealth coexist with the most shocking poverty, has contributed to the adoption and generation of different strands in mathematics education, crossing the boundaries between trends. At a more micro level, we also raise the conjecture that Brazilian trends in research are interwoven because of the way that Brazilian mathematics educators have experienced the process of globalization over these 30 years. This tapestry of trends is a predominant characteristic of mathematics education in Brazil. © FIZ Karlsruhe 2009.

Creating Meaningful Homework and Implementing Homework Presentations to Aid in Mathematics Instruction

In this action research study of sixth grade mathematics, I investigated the use of meaningful homework and the implementation of presentations and its effect on students’ comprehension of mathematical concepts. I collected data to determine whether the creating of meaningful homework and the implementation of homework presentations would have a positive impact on the students’ understanding of the concepts being taught in class and the reasoning behind assigning homework. The homework was based on the lesson taught during class time. It was grade-level appropriate and contained problems similar to those students completed in class. A pre-research and post-research survey based on homework perceptions and my teaching practices was given, student interviews were conducted throughout the research period, weekly teacher journals were kept that pertained to my teaching practices and the involvement of the students that particular week, and homework assignments were collected to gauge the students’ understanding of the mathematics lessons. Most students’ perceptions on homework were positive and most understood the reasoning for homework assignments.

Writing in the Mathematics Classroom: Does It Have an Effect on Students’ Mathematical Reasoning?

In this action research study of my classroom of 5th grade mathematics, I investigate how to improve students’ written explanations to and reasoning of math problems. For this, I look at journal writing, dialogue, and collaborative grouping and its effects on students’ conceptual understanding of the mathematics. In particular, I look at its effects on students’ written explanations to various math problems throughout the semester. Throughout the study students worked on math problems in cooperative groups and then shared their solutions with classmates. Along with this I focus on the dialogue that occurred during these interactions and whether and how it moved students to a deeper level of conceptual understanding. Students also wrote responses about their learning in a weekly math journal. The purpose of this journal is two-fold. One is to have students write out their ideas. Second, is for me to provide the students with feedback on their responses. My research reveals that the integration of collaborative grouping, journaling, and active dialogue between students and teacher helps students develop a deeper understanding of mathematics concepts as well as an increase in their confidence as problem solvers. The use of journaling, dialogue, and collaborative grouping reveals themselves as promising learning tasks that can be integrated in a mathematics curriculum that seeks to cultivate students’ thinking and reasoning.

Oral and Written Communication in Classroom Mathematics

In this action research study of my classroom of sixth grade mathematics, I investigated the impact of an increase in student oral and written communication on student level of understanding and student self-confidence. I also investigated the changes in my teaching as I increased opportunities for student oral and written communication of mathematics. While I discovered that student level of understanding was not necessarily increased if written communications were increased, I did find that there seemed to be a rise in student level of self-confidence and understanding throughout the course of the research project due to an increase in oral communication. Additionally, my intentions as a teacher were to become less dominating as communication was increased, but the opposite occurred. As a result of this research, I plan to continue to allow oral discourse to take place in my classroom much like it has in the past.

Continuity of Lyapunov functions and of energy level for generalized gradient semigroup

The global attractor of a gradient-like semigroup has a Morse decomposition. Associated to this Morse decomposition there is a Lyapunov function (differentiable along solutions)-defined on the whole phase space- which proves relevant information on the structure of the attractor. In this paper we prove the continuity of these Lyapunov functions under perturbation. On the other hand, the attractor of a gradient-like semigroup also has an energy level decomposition which is again a Morse decomposition but with a total order between any two components. We claim that, from a dynamical point of view, this is the optimal decomposition of a global attractor; that is, if we start from the finest Morse decomposition, the energy level decomposition is the coarsest Morse decomposition that still produces a Lyapunov function which gives the same information about the structure of the attractor. We also establish sufficient conditions which ensure the stability of this kind of decomposition under perturbation. In particular, if connections between different isolated invariant sets inside the attractor remain under perturbation, we show the continuity of the energy level Morse decomposition. The class of Morse-Smale systems illustrates our results.

An infinite level atom coupled to a heat bath

Wir untersuchen die Mathematik endlicher, an ein Wärmebad gekoppelter Teilchensysteme. Das Standard-Modell der Quantenelektrodynamik für Temperatur Null liefert einen Hamilton-Operator H, der die Energie von Teilchen beschreibt, welche mit Photonen wechselwirken. Im Heisenbergbild ist die Zeitevolution des physikalischen Systems durch die Wirkung einer Ein-Parameter-Gruppe auf eine Menge von Observablen A gegeben: Diese steht im Zusammenhang mit der Lösung der Schrödinger-Gleichung für H. Um Zustände von A, welche das physikalische System in der Nähe des thermischen Gleichgewichts zur Temperatur T darstellen, zu beschreiben, folgen wir dem Ansatz von Jaksic und Pillet, eine Darstellung von A zu konstruieren. Die Vektoren in dieser Darstellung definieren die Zustände, die Zeitentwicklung wird mit Hilfe des Standard Liouville-Operators L beschrieben. In dieser Doktorarbeit werden folgende Resultate bewiesen bzw. hergeleitet: - die Konstuktion einer Darstellung - die Selbstadjungiertheit des Standard Liouville-Operators - die Existenz eines Gleichgewichtszustandes in dieser Darstellung - der Limes des physikalischen Systems für große Zeiten.

Response of nutrient cycles of an old-growth montane forest in Ecuador to experimental low-level nutrient amendments

Atmospheric nitrogen (N) and phosphorus (P) depositions are expected to increase in the tropicsrnas a consequence of increasing human activities in the next decades. Furthermore, a possiblernshortened El Niño Southern Oscillation cycle might come along with more frequent calcium (Ca)rndepositions on the eastern slope of the Ecuadorian Andes originating from Saharan dust. It isrncrucial to understand the response of the old-growth montane forest in Ecuador to increasedrnnutrient deposition to predict the further development of this megadiverse ecosystem.rnI studied experimental additions of N, P, N+P and Ca to the forest and an untreatedrncontrol, all in a fourfold replicated randomized block design. These experiments were conductedrnin the framework of a collaborative research effort, the NUtrient Manipulation EXperimentrn(NUMEX). I collected litter leachate, mineral soil solution (0.15 and 0.30 m depths), throughfallrnand fine litterfall samples and determined N, P and Ca concentrations and fluxes. This approachrnalso allowed me to assess whether N, P and/or Ca are limiting nutrients for forest growth.rnFurthermore, I evaluated the response of fine root biomass, leaf area index, leaf area and specificrnleaf area, tree diameter growth and basal area increment contributed from a cooperating group inrnthe Ca applied and control treatments.rnDuring the observation period of 16 months after the first fertilizer application, less thanrn10, 1 and 5% of the applied N, P and Ca, respectively, leached below the organic layer whichrncontained almost all roots but no significant leaching losses occurred to the deeper mineral soil.rnDeposited N, P and Ca from the atmosphere in dry and wet form were, on balance, retained in therncanopy in the control treatment. Retention of N, P and Ca in the canopy in their respectiverntreatments was reduced resulting in higher concentrations and fluxes of N, P and Ca inrnthroughfall and litterfall. Up to 2.5% of the applied N and 2% of the applied P and Ca werernrecycled to the soil with throughfall. Fluxes of N, P and Ca in throughfall+litterfall were higher inrnthe fertilized treatments than in the control; up to 20, 5 and 25% of the applied N, P and Ca,rnrespectively, were recycled to the soil with throughfall+litterfall.rnIn the Ca-applied plots, fine root biomass decreased significantly. Also the leaf area of thernfour most common tree species tended to decrease and the specific leaf area increasedrnsignificantly in Graffenrieda emarginata Triana, the most common tree species in the study area.rnThese changes are known plant responses to reduced nutrient stress. Reduced aluminium (Al)rntoxicity as an explanation of the Ca effect was unlikely, because of almost complete organocomplexationrnof Al and molar Ca:Al concentration ratios in solution above the toxicity threshold.rnThe results suggest that N, P and Ca co-limit the forest ecosystem functioning in thernnorthern Andean montane forests in line with recent assumptions in which different ecosystemrncompartments and even different phenological stages may show different nutrient limitationsrn(Kaspari et al. 2008). I conclude that (1) the expected elevated N and P deposition will bernretained in the ecosystem, at least in the short term and hence, quality of river water will not bernendangered and (2) increased Ca input will reduce nutrient stress of the forest.

Estimating and quantifying uncertainties on level sets using the Vorob'ev expectation and deviation with Gaussian process models

Several methods based on Kriging have recently been proposed for calculating a probability of failure involving costly-to-evaluate functions. A closely related problem is to estimate the set of inputs leading to a response exceeding a given threshold. Now, estimating such a level set—and not solely its volume—and quantifying uncertainties on it are not straightforward. Here we use notions from random set theory to obtain an estimate of the level set, together with a quantification of estimation uncertainty. We give explicit formulae in the Gaussian process set-up and provide a consistency result. We then illustrate how space-filling versus adaptive design strategies may sequentially reduce level set estimation uncertainty.

Service Level Agreements-Driven Management of Distributed Applications in Cloud Computing Environments

Cloud Computing enables provisioning and distribution of highly scalable services in a reliable, on-demand and sustainable manner. However, objectives of managing enterprise distributed applications in cloud environments under Service Level Agreement (SLA) constraints lead to challenges for maintaining optimal resource control. Furthermore, conflicting objectives in management of cloud infrastructure and distributed applications might lead to violations of SLAs and inefficient use of hardware and software resources. This dissertation focusses on how SLAs can be used as an input to the cloud management system, increasing the efficiency of allocating resources, as well as that of infrastructure scaling. First, we present an extended SLA semantic model for modelling complex service-dependencies in distributed applications, and for enabling automated cloud infrastructure management operations. Second, we describe a multi-objective VM allocation algorithm for optimised resource allocation in infrastructure clouds. Third, we describe a method of discovering relations between the performance indicators of services belonging to distributed applications and then using these relations for building scaling rules that a CMS can use for automated management of VMs. Fourth, we introduce two novel VM-scaling algorithms, which optimally scale systems composed of VMs, based on given SLA performance constraints. All presented research works were implemented and tested using enterprise distributed applications.

Service level agreements-driven management of distributed applications in cloud computing environments

Advancements in cloud computing have enabled the proliferation of distributed applications, which require management and control of multiple services. However, without an efficient mechanism for scaling services in response to changing workload conditions, such as number of connected users, application performance might suffer, leading to violations of Service Level Agreements (SLA) and possible inefficient use of hardware resources. Combining dynamic application requirements with the increased use of virtualised computing resources creates a challenging resource Management context for application and cloud-infrastructure owners. In such complex environments, business entities use SLAs as a means for specifying quantitative and qualitative requirements of services. There are several challenges in running distributed enterprise applications in cloud environments, ranging from the instantiation of service VMs in the correct order using an adequate quantity of computing resources, to adapting the number of running services in response to varying external loads, such as number of users. The application owner is interested in finding the optimum amount of computing and network resources to use for ensuring that the performance requirements of all her/his applications are met. She/he is also interested in appropriately scaling the distributed services so that application performance guarantees are maintained even under dynamic workload conditions. Similarly, the infrastructure Providers are interested in optimally provisioning the virtual resources onto the available physical infrastructure so that her/his operational costs are minimized, while maximizing the performance of tenants’ applications. Motivated by the complexities associated with the management and scaling of distributed applications, while satisfying multiple objectives (related to both consumers and providers of cloud resources), this thesis proposes a cloud resource management platform able to dynamically provision and coordinate the various lifecycle actions on both virtual and physical cloud resources using semantically enriched SLAs. The system focuses on dynamic sizing (scaling) of virtual infrastructures composed of virtual machines (VM) bounded application services. We describe several algorithms for adapting the number of VMs allocated to the distributed application in response to changing workload conditions, based on SLA-defined performance guarantees. We also present a framework for dynamic composition of scaling rules for distributed service, which used benchmark-generated application Monitoring traces. We show how these scaling rules can be combined and included into semantic SLAs for controlling allocation of services. We also provide a detailed description of the multi-objective infrastructure resource allocation problem and various approaches to satisfying this problem. We present a resource management system based on a genetic algorithm, which performs allocation of virtual resources, while considering the optimization of multiple criteria. We prove that our approach significantly outperforms reactive VM-scaling algorithms as well as heuristic-based VM-allocation approaches.

How Plankton Swim: An Interdisciplinary Approach for Using Mathematics & Physics to Understand the Biology of the Natural World

The authors have developed and field-tested high school-level curricular materials that guide students to use biology, mathematics, and physics to understand plankton and how these tiny organisms move in a world where their intuition does not apply. The authors chose plankton as the focus of their materials primarily because the challenges faced by plankton are novel problems to most students, forcing adoption of new perspectives and making the study of plankton exciting. Additional reasons that they chose plankton to focus on include their ecological importance, their availability to most teachers and students, the ease with which they can be collected and observed, and the current focus of some scientific researchers on their movement and behavior. These curricular materials include a series of inquiry-based, hands-on exercises designed to be accessible to students with a range of backgrounds. Many of these materials could be adapted for use by middle-school, and/or college-level students. In this article, the authors describe sample lessons, summarize what worked well, and flag obstacles they encountered while integrating mathematics and physics into the biology classroom.