Safe Compositional Specification of Networking Systems: TRAFFIC The Language and Its Type Checking

This paper formally defines the operational semantic for TRAFFIC, a specification language for flow composition applications proposed in BUCS-TR-2005-014, and presents a type system based on desired safety assurance. We provide proofs on reduction (weak-confluence, strong-normalization and unique normal form), on soundness and completeness of type system with respect to reduction, and on equivalence classes of flow specifications. Finally, we provide a pseudo-code listing of a syntax-directed type checking algorithm implementing rules of the type system capable of inferring the type of a closed flow specification.

Thomas Wolfe and the genre question: Beyond the "charge of autobiography"

The North Carolinian author Thomas Wolfe (1900‐1938) has long suffered under the “charge of autobiography,” which lingers to this day in critical assessments of his work. Criticism of Wolfe is frequently concerned with questions of generic classification, but since the 1950s, re‐assessments of Wolfe’s work have suggested that Wolfe’s “autobiographical fiction” exhibits a complexity that merits further investigation. Strides in autobiographical and narrative theory have prompted reconsiderations of texts that defy the artificial boundaries of autobiography and fiction. Wolfe has been somewhat neglected in the canon of American fiction of his era, but deserves to be reconsidered in terms of how he engages with the challenges and contradictions of writing about or around the self. This thesis investigates why Wolfe’s work has been the source of considerable critical discomfort and confusion with regard to the relationship between Wolfe’s life and his writing. It explores this issue through an examination of elements of Wolfe’s work that problematise categorisation. Firstly, it investigates the concept of Wolfe as “storyteller.” It explores the motivations and philosophies that underpin Wolfe’s work and his concept of himself as a teller of tales, and examines aspects of Wolfe’s writing process that have their roots in medieval traditions of the memorisation and recitation of tales. The thesis then conducts a detailed examination of how Wolfe describes the process of transforming his memory into narrative through writing. The latter half of the thesis examines narrative techniques used by Wolfe, firstly analysing his extensive use of the iterative and pseudo‐iterative modes, and then his unusual deployment of narrators and focalization. This project sheds light on elements of Wolfe’s approach to writing and narrative strategies that he employs that have previously been overlooked, and that have created considerable critical confusion with regard to the supposedly “autobiographical” genesis of his work.

Bayesian inference of the number of factors in gene-expression analysis: application to human virus challenge studies.

BACKGROUND: Nonparametric Bayesian techniques have been developed recently to extend the sophistication of factor models, allowing one to infer the number of appropriate factors from the observed data. We consider such techniques for sparse factor analysis, with application to gene-expression data from three virus challenge studies. Particular attention is placed on employing the Beta Process (BP), the Indian Buffet Process (IBP), and related sparseness-promoting techniques to infer a proper number of factors. The posterior density function on the model parameters is computed using Gibbs sampling and variational Bayesian (VB) analysis. RESULTS: Time-evolving gene-expression data are considered for respiratory syncytial virus (RSV), Rhino virus, and influenza, using blood samples from healthy human subjects. These data were acquired in three challenge studies, each executed after receiving institutional review board (IRB) approval from Duke University. Comparisons are made between several alternative means of per-forming nonparametric factor analysis on these data, with comparisons as well to sparse-PCA and Penalized Matrix Decomposition (PMD), closely related non-Bayesian approaches. CONCLUSIONS: Applying the Beta Process to the factor scores, or to the singular values of a pseudo-SVD construction, the proposed algorithms infer the number of factors in gene-expression data. For real data the "true" number of factors is unknown; in our simulations we consider a range of noise variances, and the proposed Bayesian models inferred the number of factors accurately relative to other methods in the literature, such as sparse-PCA and PMD. We have also identified a "pan-viral" factor of importance for each of the three viruses considered in this study. We have identified a set of genes associated with this pan-viral factor, of interest for early detection of such viruses based upon the host response, as quantified via gene-expression data.

Shifting ranges and conservation challenges for lemurs in the face of climate change.

Geospatial modeling is one of the most powerful tools available to conservation biologists for estimating current species ranges of Earth's biodiversity. Now, with the advantage of predictive climate models, these methods can be deployed for understanding future impacts on threatened biota. Here, we employ predictive modeling under a conservative estimate of future climate change to examine impacts on the future abundance and geographic distributions of Malagasy lemurs. Using distribution data from the primary literature, we employed ensemble species distribution models and geospatial analyses to predict future changes in species distributions. Current species distribution models (SDMs) were created within the BIOMOD2 framework that capitalizes on ten widely used modeling techniques. Future and current SDMs were then subtracted from each other, and areas of contraction, expansion, and stability were calculated. Model overprediction is a common issue associated Malagasy taxa. Accordingly, we introduce novel methods for incorporating biological data on dispersal potential to better inform the selection of pseudo-absence points. This study predicts that 60% of the 57 species examined will experience a considerable range of reductions in the next seventy years entirely due to future climate change. Of these species, range sizes are predicted to decrease by an average of 59.6%. Nine lemur species (16%) are predicted to expand their ranges, and 13 species (22.8%) distribution sizes were predicted to be stable through time. Species ranges will experience severe shifts, typically contractions, and for the majority of lemur species, geographic distributions will be considerably altered. We identify three areas in dire need of protection, concluding that strategically managed forest corridors must be a key component of lemur and other biodiversity conservation strategies. This recommendation is all the more urgent given that the results presented here do not take into account patterns of ongoing habitat destruction relating to human activities.

Hopf hypersurfaces in pseudo-Riemannian complex and para-complex space forms

The study of real hypersurfaces in pseudo-Riemannian complex space forms and para-complex space forms, which are the pseudo-Riemannian generalizations of the complex space forms, is addressed. It is proved that there are no umbilic hypersurfaces, nor real hypersurfaces with parallel shape operator in such spaces. Denoting by J be the complex or para-complex structure of a pseudo-complex or para-complex space form respectively, a non-degenerate hypersurface of such space with unit normal vector field N is said to be Hopf if the tangent vector field JN is a principal direction. It is proved that if a hypersurface is Hopf, then the corresponding principal curvature (the Hopf curvature) is constant. It is also observed that in some cases a Hopf hypersurface must be, locally, a tube over a complex (or para-complex) submanifold, thus generalizing previous results of Cecil, Ryan and Montiel.

Modeling the dynamics of electromagnetically agitated metallurgical flows: levitation, cold crucible, aluminium electrolysis, etc.

We present practical modelling techniques for electromagnetically agitated liquid metal flows involving dynamic change of the fluid volume and shape during melting and the free surface oscillation. Typically the electromagnetic field is strongly coupled to the free surface dynamics and the heat-mass transfer. Accurate pseudo-spectral code and the k-omega turbulence model modified for complex and transitional flows with free surfaces are used for these simulations. The considered examples include magnetic suspension melting, induction scull remelting (cold crucible), levitation and aluminium electrolysis cells. The process control and the energy savings issues are analysed.

Investigation of the cold crucible melting process: experimental and numerical study

The dynamic process of melting different materials in a cold crucible is being studied experimentally with parallel numerical modelling work. The numerical simulation uses a variety of complementing models: finite volume, integral equation and pseudo-spectral methods combined to achieve the accurate description of the dynamic melting process. Results show the temperature history of the melting process with a comparison of the experimental and computed heat losses in the various parts of the equipment. The free surface visual observations are compared to the numerically predicted surface shapes.

Pseudo-spectral solutions for fluid flow and heat transfer in electro-metallurgical applications

The pseudo-spectral solution method offers a flexible and fast alternative to the more usual finite element/volume/difference methods, particularly when the long-time transient behaviour of a system is of interest. Since the exact solution is obtained at the grid collocation points superior accuracy can be achieved on modest grid resolution. Furthermore, the grid can be freely adapted with time and in space, to particular flow conditions or geometric variations. This is especially advantageous where strongly coupled, time-dependent, multi-physics solutions are investigated. Examples include metallurgical applications involving the interaction of electromagnetic fields and conducting liquids with a free sutface. The electromagnetic field then determines the instantaneous liquid volume shape and the liquid shape affects in turn the electromagnetic field. In AC applications a thin "skin effect" region results on the free surface that dominates grid requirements. Infinitesimally thin boundary cells can be introduced using Chebyshev polynomial expansions without detriment to the numerical accuracy. This paper presents a general methodology of the pseudo-spectral approach and outlines the solution procedures used. Several instructive example applications are given: the aluminium electrolysis MHD problem, induction melting and stirring and the dynamics of magnetically levitated droplets in AC and DC fields. Comparisons to available analytical solutions and to experimental measurements will be discussed.

Pseudo-spectral solutions for fluid flow and heat transfer in electro-metallurgical applications

The pseudo-spectral solution method offers a flexible and fast alternative to the more usual finite element and volume methods, particularly when the long-time transient behaviour of a system is of interest. The exact solution is obtained at grid collocation points leading to superior accuracy on modest grids. Furthermore, the grid can be freely adapted in time and space to particular flow conditions or geometric variations, especially useful where strongly coupled, time-dependent, multi-physics solutions are investigated. Examples include metallurgical applications involving the interaction of electromagnetic fields and conducting liquids with a free surface. The electromagnetic field determines the instantaneous liquid volume shape, which then affects the electromagnetic field. A general methodology of the pseudo-spectral approach is presented, with several instructive example applications: the aluminium electrolysis MHD problem, induction melting in a cold crucible and the dynamics of AC/DC magnetically levitated droplets. Finally, comparisons with available analytical solutions and to experimental measurements are discussed.

The study of flow and temperature fields in conducting droplets suspended in a DC/AC combination field

Electromagnetic Levitation (EML) is a valuable method for measuring the thermo-physical properties of metals - surface tensions, viscosity, thermal/electrical conductivity, specific heat, hemispherical emissivity, etc. – beyond their melting temperature. In EML, a small amount of the test specimen is melted by Joule heating in a suspended AC coil. Once in liquid state, a small perturbation causes the liquid envelope to oscillate and the frequency of oscillation is then used to compute its surface tension by the well know Rayleigh formula. Similarly, the rate at which the oscillation is dampened relates to the viscosity. To measure thermal conductivity, a sinusoidally varying laser source may be used to heat the polar axis of the droplet and the temperature response measured at the polar opposite – the resulting phase shift yields thermal conductivity. All these theoretical methods assume that convective effects due to flow within the droplet are negligible compared to conduction, and similarly that the flow conditions are laminar; a situation that can only be realised under microgravity conditions. Hence the EML experiment is the method favoured for Spacelab experiments (viz. TEMPUS). Under terrestrial conditions, the full gravity force has to be countered by a much larger induced magnetic field. The magnetic field generates strong flow within the droplet, which for droplets of practical size becomes irrotational and turbulent. At the same time the droplet oscillation envelope is no longer ellipsoidal. Both these conditions invalidate simple theoretical models and prevent widespread EML use in terrestrial laboratories. The authors have shown in earlier publications that it is possible to suppress most of the turbulent convection generated in the droplet skin layer, through use of a static magnetic field. Using a pseudo-spectral discretisation method it is possible compute very accurately the dynamic variation in the suspended fluid envelope and simultaneously compute the time-varying electromagnetic, flow and thermal fields. The use of a DC field as a dampening agent was also demonstrated in cold crucible melting, where suppression of turbulence was achieved in a much larger liquid metal volume and led to increased superheat in the melt and reduction of heat losses to the water-cooled walls. In this paper, the authors describe the pseudo-spectral technique as applied to EML to compute the combined effects of AC and DC fields, accounting for all the flow-induced forces acting on the liquid volume (Lorentz, Maragoni, surface tension, gravity) and show example simulations.

Aspects of the in vitro bioactivity of hydraulic calcium (alumino)silicate cement

In response to a burgeoning interest in the prospective clinical applications of hydraulic calcium (alumino)silicate cements, the in vitro bioactivity and dissolution characteristics of a white Portland cement have been investigated. The formation of an apatite layer within 6 h of contact with simulated body fluid was attributed to the rapid dissolution of calcium hydroxide from the cement matrix and to the abundance of pre-existing Si-OH nucleation sites presented by the calcium silicate hydrate phase. A simple kinetic model has been used to describe the rate of apatite formation and an apparent pseudo-second-order rate constant for the removal of HPO42- ions frorn solultion has been calculated (k(2) = 5.8 x 10(-4) g mg(-1)). Aspects of the chemistry of hydraulic cements are also discussed with respect to their potential use in the remedial treatment of living tissue. (C) 2008 Wiley Periodicals, Inc. J Biomed Mater Res 90A: 166-174, 2009

Variation of phytoplankton assemblages along the Mozambique coast as revealed by HPLC and microscopy

This study is an integrated overview of pigment and microscopic analysis of phytoplankton communities throughout the Mozambican coast. Collected samples revealed notable patterns of phytoplankton occurrence and distribution, with community structure changing between regions and sample depth. Pigment data showed Delagoa Bight, Sofala Bank and Angoche as the most productive regions throughout the sampled area. In general, micro-sized phytoplankton, particularly diatoms, were important contributors to biomass both at surface and sub-surface maximum (SSM) samples, although were almost absent in the northern stations. In contrast, nano- and pico-sized phytoplankton revealed opposing patterns. Picophytoplankton were most abundant at surface, as opposed to nanophytoplankton, which were more abundant at the SSM. Microphytoplankton were associated with cooler southern water masses, while picophytoplankton were related to warmer northern water masses. Nanophytoplankton were found to increase their contribution to biomass with increasing SSM. Microscopy information on the genera and species level revealed the diatoms Chaetoceros spp., Proboscia alata, Pseudo-nitzschia spp., Cylindrotheca closterium and Hemiaulus haukii as the most abundant taxa of the micro-sized phytoplankton. Discosphaera tubifera and Emiliania huxleyi were the most abundant coccolithophores, nano-sized phytoplankton.

Ocean acidification impacts on nitrogen fixation in the coastal western Mediterranean Sea

The effects of ocean acidification on nitrogen (N2) fixation rates and on the community composition of N2-fixing microbes (diazotrophs) were examined in coastal waters of the North-Western Mediterranean Sea. Nine experimental mesocosm enclosures of ∼50 m3 each were deployed for 20 days during June-July 2012 in the Bay of Calvi, Corsica, France. Three control mesocosms were maintained under ambient conditions of carbonate chemistry. The remainder were manipulated with CO2 saturated seawater to attain target amendments of pCO2 of 550, 650, 750, 850, 1000 and 1250 μatm. Rates of N2 fixation were elevated up to 10 times relative to control rates (2.00 ± 1.21 nmol L-1d-1) when pCO2 concentrations were >1000 μatm and pHT (total scale) < 7.74. Diazotrophic phylotypes commonly found in oligotrophic marine waters, including the Mediterranean, were not present at the onset of the experiment and therefore, the diazotroph community composition was characterised by amplifying partial nifH genes from the mesocosms. The diazotroph community was comprised primarily of cluster III nifH sequences (which include possible anaerobes), and proteobacterial (α and γ) sequences, in addition to small numbers of filamentous (or pseudo-filamentous) cyanobacterial phylotypes. The implication from this study is that there is some potential for elevated N2 fixation rates in the coastal western Mediterranean before the end of this century as a result of increasing ocean acidification. Observations made of variability in the diazotroph community composition could not be correlated with changes in carbon chemistry, which highlights the complexity of the relationship between ocean acidification and these keystone organisms.

The musculature and associated innervation of adult and intramolluscan stages of Echinostoma caproni (Trematoda) visualised by confocal microscopy

Gross anatomy of muscle and sensory/motor innervation of adult and intramolluscan developmental stages of Echinostoma caproni have been investigated to ascertain the organisation and the functional correlates of any stage-specific patterns of staining. Using indirect immunocytochemistry to demonstrate neuroactive substances and the phalloidin-fluorescence technique for staining myofibril F-actin, the muscle systems and aminergic and peptidergic innervation of daughter rediae, cercariae, metacercariae, and pre- and post-ovigerous adults were examined and compared using confocal scanning laser microscopy. A complex arrangement of specific muscle fibre systems occurs within the body wall (composed of circular, longitudinal and diagonal fibres), suckers (radial, equatorial, meridional), pharynx (radial, circular), gut caeca (mainly circular), cercarial tail (circular, pseudo-striated longitudinal), and ducts of the reproductive system (circular, longitudinal), presumed to serve locomotor, adhesive, alimentary and reproductive functions. Immunostaining for serotonin (5-HT) and FMRFamide-related peptides (FaRPs) was evident throughout the central (CNS) and peripheral (PNS) nervous systems of all stages, and use of dual-labelling techniques demonstrated separate neuronal pathways for 5-HT and FaRP in both CNS and PNS. FaRP expression in the innervation of the ootype wall was demonstrated only in post-ovigerous worms and not in pre-ovigerous worms, suggesting an involvement of FaRP neuropeptides in the process of egg assembly. Comparison of the present findings with those recorded for other digeneans suggests that muscle organisation and innervation patterns in trematodes are highly conserved.

Alien gosd in the new epics: Noah remythologised through the ancient astronaut hypothesis in Abel's Montagut's "La gesta d'Utnoa"

Modern scientific world-view has undermined traditional myths, the functional survival of which seems to depend today in the West on a positivist justification. This would place them in the field of real History, through their study and revitalization by pseudoscientific disciplines such as the Atlantis and the ancient astronaut hypotheses. These have inspired new epic poems in (regular) verse that combine classic and/or biblical myths with a (pseudo)scientific modern world-view. For example, the critical rewriting of Noah’s myth by using the ancient astronaut hypothesis as a fictional device to produce a contemporary kind of plausibility allowed Abel Montagut to renew epic poetry, updating it also by adopting science fiction chronotopes in order to structure his fictional construction and to generate a high ethical sense for our time. Thus, his Poemo de Utnoa (1993) / La gesta d’Utnoa (1996), which has become a major classic of the literature in Esperanto thanks to its original version in this language, is a landmark of both science fiction and neo-biblical epics. This poem is written from a secular and purely literary perspective.