Biogeochemistry of mesocosm experiments in the tropical Pacific and Atlantic Ocean

Oxygen-deficient waters in the ocean, generally referred to as oxygen minimum zones (OMZ), are expected to expand as a consequence of global climate change. Poor oxygenation is promoting microbial loss of inorganic nitrogen (N) and increasing release of sediment-bound phosphate (P) into the water column. These intermediate water masses, nutrient-loaded but with an N deficit relative to the canonical N:P Redfield ratio of 16:1, are transported via coastal upwelling into the euphotic zone. To test the impact of nutrient supply and nutrient stoichiometry on production, partitioning and elemental composition of dissolved (DOC, DON, DOP) and particulate (POC, PON, POP) organic matter, three nutrient enrichment experiments were conducted with natural microbial communities in shipboard mesocosms, during research cruises in the tropical waters of the southeast Pacific and the northeast Atlantic. Maximum accumulation of POC and PON was observed under high N supply conditions, indicating that primary production was controlled by N availability. The stoichiometry of microbial biomass was unaffected by nutrient N:P supply during exponential growth under nutrient saturation, while it was highly variable under conditions of nutrient limitation and closely correlated to the N:P supply ratio, although PON:POP of accumulated biomass generally exceeded the supply ratio. Microbial N:P composition was constrained by a general lower limit of 5:1. Channelling of assimilated P into DOP appears to be the mechanism responsible for the consistent offset of cellular stoichiometry relative to inorganic nutrient supply and nutrient drawdown, as DOP build-up was observed to intensify under decreasing N:P supply. Low nutrient N:P conditions in coastal upwelling areas overlying O2-deficient waters seem to represent a net source for DOP, which may stimulate growth of diazotrophic phytoplankton. These results demonstrate that microbial nutrient assimilation and partitioning of organic matter between the particulate and the dissolved phase are controlled by the N:P ratio of upwelled nutrients, implying substantial consequences for nutrient cycling and organic matter pools in the course of decreasing nutrient N:P stoichiometry.

The multivariate L1-median and associated data depth

This paper gives three related results: (i) a new, simple, fast, monotonically converging algorithm for deriving the L1-median of a data cloud in ℝd, a problem that can be traced to Fermat and has fascinated applied mathematicians for over three centuries; (ii) a new general definition for depth functions, as functions of multivariate medians, so that different definitions of medians will, correspondingly, give rise to different dept functions; and (iii) a simple closed-form formula of the L1-depth function for a given data cloud in ℝd.

Interaction between like-charged colloidal spheres in electrolyte solutions

How colloidal particles interact with each other is one of the key issues that determines our ability to interpret experimental results for phase transitions in colloidal dispersions and our ability to apply colloid science to various industrial processes. The long-accepted theories for answering this question have been challenged by results from recent experiments. Herein we show from Monte-Carlo simulations that there is a short-range attractive force between identical macroions in electrolyte solutions containing divalent counterions. Complementing some recent and related results by others, we present strong evidence of attraction between a pair of spherical macroions in the presence of added salt ions for the conditions where the interacting macroion pair is not affected by any other macroions that may be in the solution. This attractive force follows from the internal-energy contribution of counterion mediation. Contrary to conventional expectations, for charged macroions in an electrolyte solution, the entropic force is repulsive at most solution conditions because of localization of small ions in the vicinity of macroions. Both Derjaguin–Landau–Verwey–Overbeek theory and Sogami–Ise theory fail to describe the attractive interactions found in our simulations; the former predicts only repulsive interaction and the latter predicts a long-range attraction that is too weak and occurs at macroion separations that are too large. Our simulations provide fundamental “data” toward an improved theory for the potential of mean force as required for optimum design of new materials including those containing nanoparticles.

On functionally-fitted Runge-Kutta methods

Functionally-fitted methods are generalizations of collocation techniques to integrate an equation exactly if its solution is a linear combination of a chosen set of basis functions. When these basis functions are chosen as the power functions, we recover classical algebraic collocation methods. This paper shows that functionally-fitted methods can be derived with less restrictive conditions than previously stated in the literature, and that other related results can be derived in a much more elegant way. The novelty in our approach is to fully retain the collocation framework without reverting back into derivations based on cumbersome Taylor series expansions.

Depth propagation and surface construction in 3-D vision

In stereo vision, regions with ambiguous or unspecified disparity can acquire perceived depth from unambiguous regions. This has been called stereo capture, depth interpolation or surface completion. We studied some striking induced depth effects suggesting that depth interpolation and surface completion are distinct stages of visual processing. An inducing texture (2-D Gaussian noise) had sinusoidal modulation of disparity, creating a smooth horizontal corrugation. The central region of this surface was replaced by various test patterns whose perceived corrugation was measured. When the test image was horizontal 1-D noise, shown to one eye or to both eyes without disparity, it appeared corrugated in much the same way as the disparity-modulated (DM) flanking regions. But when the test image was 2-D noise, or vertical 1-D noise, little or no depth was induced. This suggests that horizontal orientation was a key factor. For a horizontal sine-wave luminance grating, strong depth was induced, but for a square-wave grating, depth was induced only when its edges were aligned with the peaks and troughs of the DM flanking surface. These and related results suggest that disparity (or local depth) propagates along horizontal 1-D features, and then a 3-D surface is constructed from the depth samples acquired. The shape of the constructed surface can be different from the inducer, and so surface construction appears to operate on the results of a more local depth propagation process.

Problems and Theorems in the Theory of Multiplier Sequences

The purpose of this paper is (1) to highlight some recent and heretofore unpublished results in the theory of multiplier sequences and (2) to survey some open problems in this area of research. For the sake of clarity of exposition, we have grouped the problems in three subsections, although several of the problems are interrelated. For the reader’s convenience, we have included the pertinent definitions, cited references and related results, and in several instances, elucidated the problems by examples.

Methods for Solving Necessary Equivalences

Nonmonotonic Logics such as Autoepistemic Logic, Reflective Logic, and Default Logic, are usually defined in terms of set-theoretic fixed-point equations defined over deductively closed sets of sentences of First Order Logic. Such systems may also be represented as necessary equivalences in a Modal Logic stronger than S5 with the added advantage that such representations may be generalized to allow quantified variables crossing modal scopes resulting in a Quantified Autoepistemic Logic, a Quantified Autoepistemic Kernel, a Quantified Reflective Logic, and a Quantified Default Logic. Quantifiers in all these generalizations obey all the normal laws of logic including both the Barcan formula and its converse. Herein, we address the problem of solving some necessary equivalences containing universal quantifiers over modal scopes. Solutions obtained by these methods are then compared to related results obtained in the literature by Circumscription in Second Order Logic since the disjunction of all the solutions of a necessary equivalence containing just normal defaults in these Quantified Logics, is equivalent to that system.

On the Range and the Kernel of Derivations

2000 Mathematics Subject Classification: Primary 47B47, 47B10; Secondary 47A30.

Algorithm visualization in programming education

This paper introduces the theory of algorithm visualization and its education-related results obtained so far, then an algorithm visualization tool is going to be presented as an example, which we will finally evaluate. This article illustrates furthermore how algorithm visualization tools can be used by teachers and students during the teaching and learning process of programming, and equally evaluates teaching and learning methods. Two tools will be introduced: Jeliot and TRAKLA2.

Methods for modeling and analyzing concurrent software

Concurrent software executes multiple threads or processes to achieve high performance. However, concurrency results in a huge number of different system behaviors that are difficult to test and verify. The aim of this dissertation is to develop new methods and tools for modeling and analyzing concurrent software systems at design and code levels. This dissertation consists of several related results. First, a formal model of Mondex, an electronic purse system, is built using Petri nets from user requirements, which is formally verified using model checking. Second, Petri nets models are automatically mined from the event traces generated from scientific workflows. Third, partial order models are automatically extracted from some instrumented concurrent program execution, and potential atomicity violation bugs are automatically verified based on the partial order models using model checking. Our formal specification and verification of Mondex have contributed to the world wide effort in developing a verified software repository. Our method to mine Petri net models automatically from provenance offers a new approach to build scientific workflows. Our dynamic prediction tool, named McPatom, can predict several known bugs in real world systems including one that evades several other existing tools. McPatom is efficient and scalable as it takes advantage of the nature of atomicity violations and considers only a pair of threads and accesses to a single shared variable at one time. However, predictive tools need to consider the tradeoffs between precision and coverage. Based on McPatom, this dissertation presents two methods for improving the coverage and precision of atomicity violation predictions: 1) a post-prediction analysis method to increase coverage while ensuring precision; 2) a follow-up replaying method to further increase coverage. Both methods are implemented in a completely automatic tool.

Weighted nucleoli and dually essential coalitions

We consider linearly weighted versions of the least core and the (pre)nucleolus and investigate the reduction possibilities in their computation. We slightly extend some well-known related results and establish their counterparts by using the dual game. Our main results imply, for example, that if the core of the game is not empty, all dually inessential coalitions (which can be weakly minorized by a partition in the dual game) can be ignored when we compute the per-capita least core and the per-capita (pre)nucleolus from the dual game. This could lead to the design of polynomial time algorithms for the per-capita (and other monotone nondecreasingly weighted versions of the) least core and the (pre)nucleolus in specific classes of balanced games with polynomial many dually esential coalitions.

Impacts des dépositions atmosphériques de fer sur les assemblages phytoplanctoniques et la production de diméthylsulfure dans le Pacifique Nord-Est contemporain et dans le contexte de l’acidification des océans

La croissance du phytoplancton est limitée par les faibles concentrations de fer (Fe) dans près de 40% de l’océan mondial. Le Pacifique subarctique Nord-Est représente une de ces zones limitées en fer et désignées High Nutrient - Low Chlorophyll (HNLC). Cet écosystème, dominé par des cellules de petite taille telles les prymnésiophytes, est caractérisé par de très faibles concentrations estivales de chlorophylle a et de fortes concentrations de macronutriments. Il a été maintes fois démontré que les ajouts de fer, sous différentes formes chimiques (habituellement FeSO4), dans les zones HNLC, stimulent la croissance et modifient la structure des communautés planctoniques en favorisant la croissance des cellules de grande taille, notamment les diatomées. Ces effets sur la communauté planctonique ont le potentiel d’influencer les grands mécanismes régulateurs du climat, tels la pompe biologique de carbone et la production de diméthylsulfure (DMS). Les poussières provenant des déserts du nord de la Chine sont reconnues depuis longtemps comme une source sporadique importante de fer pour le Pacifique Nord-Est. Malgré leur importance potentielle, l’influence directe exercée par ces poussières sur l’écosystème planctonique de cette zone HNLC n’a jamais été étudiée. Il s’agit d’une lacune importante puisque le fer associé aux poussières est peu soluble dans l’eau de mer, que la proportion biodisponible n’est pas connue et que les poussières peuvent avoir un effet inhibiteur chez le phytoplancton. Cette thèse propose donc, dans un premier temps, de mesurer pour la première fois l’effet de la fertilisation de la communauté planctonique du Pacifique Nord-Est par un gradient de concentrations de poussières désertiques naturelles. Cette première expérimentation a démontré que le fer contenu dans les poussières asiatiques est biodisponible et qu’une déposition équivalente à celles prenant place au printemps dans le Pacifique Nord-Est peut résulter en une stimulation significative de la prise de nutriments et de la croissance du phytoplancton. Mes travaux ont également montré que l’ajout de 0,5 mg L-1 de poussières peut résulter en la production d’autant de biomasse algale que l’ajout de FeSO4, l’espèce chimique utilisée lors des expériences d’enrichissement en fer à grande échelle. Cependant, les ajouts de FeSO4 favorisent davantage les cellules de petite taille que les ajouts de poussières, observation démontrant que le FeSO4 n’est pas un proxy parfait des poussières asiatiques. Dans un deuxième temps, je me suis intéressée à une source alternative de fer atmosphérique, les cendres volcaniques. Mon intérêt pour cette source de fer a été attisé par les observations d’une floraison spectaculaire dans le Pacifique Nord-Est, ma région d’étude, associée à l’éruption de 2008 du volcan Kasatochi dans les îles Aléoutiennes. Forte de mon expérience sur les poussières, j’ai quantifié l’effet direct de ces cendres volcaniques sur la communauté planctonique du Pacifique Nord-Est. Mes résultats ont montré que le fer contenu dans les cendres volcaniques est également biodisponible pour le phytoplancton. Ils ont également montré que cette source de fer peut être aussi importante que les poussières désertiques dans la régulation de la croissance du phytoplancton dans cette partie de l’océan global à l’échelle millénaire. Dans un troisième temps, j’ai estimé comment l’acidification des océans modulera les réponses des communautés planctoniques aux dépositions naturelles de fer mises en évidence lors de mes expériences précédentes. Pour ce faire, j’ai effectué des enrichissements de poussière dans de l’eau de mer au pH actuel de 8.0 et dans l’eau de mer acidifiée à un pH de 7.8. Mes résultats ont montré une diminution du taux de croissance du phytoplancton dans le milieu acidifié mais pas de changement notable dans la structure de la communauté. Les ajouts de poussières et de cendres, de même que les variations de pH, n’ont pas eu d’effet significatif sur la production de DMS et de son précurseur le diméthylsulfoniopropionate (DMSP), probablement en raison de la courte durée (4 jours) des expériences. L’ensemble des résultats de cette thèse montre que le fer contenu dans diverses sources atmosphériques naturelles est biodisponible pour le phytoplancton du Pacifique Nord-Est et que des taux de déposition réalistes peuvent stimuler la croissance de manière notable dans les premiers jours suivant une tempête désertique ou une éruption volcanique. Finalement, les résultats de mes expériences à stresseurs multiples Fer/acidification suggèrent une certaine résistance des communautés phytoplanctoniques à la diminution du pH prédite d’ici la fin du siècle pour les eaux de surface des océans.

Valores hematológicos y bioquímicos, y su asociación con el estado nutricional, en escolares urbanos. Cuenca

Objetivo: Determinar los valores hematológicos y bioquímicos y su asociación con el estado nutricional, en escolares urbanos de Cuenca. Materiales y métodos: Estudio transversal analítico, muestra aleatorizada por conglomerados, de 585 escolares entre 5 y 12 años de las escuelas urbanas de Cuenca, periodo 2012-2013. Se determinó el estado nutricional usando curvas de crecimiento para niños yadolescentes (z-score), índice de masa corporal por edad y sexo, según las recomendaciones de la Organización Mundial de la Salud; con los valores de los análisis hematológicos y bioquímicos practicados, se relacionaron los resultados de laboratorio con el estado nutricional. Resultados: La media de edad en la población fue de 8.87±1.9 años; promedio en valores hematológicos: glóbulos rojos 4.82±0.31 x 106/ml; glóbulos blancos 7.15±1.86 x 103/ ml; hemoglobina 13.66±1.34 g/dL; hematocrito 40.59±3.92%; volumen corpuscular medio (VCM) 83.64±4.03fl; hemoglobina corpuscular media (HCM) 38.31±1.27pg. Promedio de valores bioquímicos: proteína total 6.92±1.04g/ dL, albúmina sérica 4.37±0.7g/dL, hierro sérico 87.40±35.31μg/dL. El 19.3% presentó malnutrición (desnutrición 1.2%, sobrepeso 12.8% y obesidad 5.3%), existiendo asociación estadísticamente significativa (p<0.05) con glóbulos rojos. Existieron diferencias estadísticamente significativas, entre niños y niñas, en valores de hierro, VCM y HCM; y respecto de malnutrición, en hierro sérico, glóbulos rojos, glóbulos blancos, hematocrito y VCM. Conclusiones: Se encontró asociación entre el estado nutricional y los valores hematológicos y bioquímicos. Se determinó prevalencia alta de sobrepeso y obesidad en población escolar urbana de Cuenca, similar a la reportada en otros estudios.

Methods for Modeling and Analyzing Concurrent Software

Concurrent software executes multiple threads or processes to achieve high performance. However, concurrency results in a huge number of different system behaviors that are difficult to test and verify. The aim of this dissertation is to develop new methods and tools for modeling and analyzing concurrent software systems at design and code levels. This dissertation consists of several related results. First, a formal model of Mondex, an electronic purse system, is built using Petri nets from user requirements, which is formally verified using model checking. Second, Petri nets models are automatically mined from the event traces generated from scientific workflows. Third, partial order models are automatically extracted from some instrumented concurrent program execution, and potential atomicity violation bugs are automatically verified based on the partial order models using model checking. Our formal specification and verification of Mondex have contributed to the world wide effort in developing a verified software repository. Our method to mine Petri net models automatically from provenance offers a new approach to build scientific workflows. Our dynamic prediction tool, named McPatom, can predict several known bugs in real world systems including one that evades several other existing tools. McPatom is efficient and scalable as it takes advantage of the nature of atomicity violations and considers only a pair of threads and accesses to a single shared variable at one time. However, predictive tools need to consider the tradeoffs between precision and coverage. Based on McPatom, this dissertation presents two methods for improving the coverage and precision of atomicity violation predictions: 1) a post-prediction analysis method to increase coverage while ensuring precision; 2) a follow-up replaying method to further increase coverage. Both methods are implemented in a completely automatic tool.