Affine convex body semigroups

In this paper we present a new kind of semigroups called convex body semigroups which are generated by convex bodies of R^k. They generalize to arbitrary dimension the concept of proportionally modular numerical semigroup of [7]. Several properties of these semigroups are proven. Affine convex body semigroups obtained from circles and polygons of R^2 are characterized. The algorithms for computing minimal system of generators of these semigroups are given. We provide the implementation of some of them

Internal convection in thermoelectric generator models

Coupling between heat and electrical currents is at the heart of thermoelectric processes. From a thermal viewpoint this may be seen as an additional thermal flux linked to the appearance of electrical current in a given thermoelectric system. Since this additional flux is associated to the global displacement of charge carriers in the system, it can be qualified as convective in opposition to the conductive part associated with both phonons transport and heat transport by electrons under open circuit condition, as, e.g., in the Wiedemann-Franz relation. In this article we demonstrate that considering the convective part of the thermal flux allows both new insight into the thermoelectric energy conversion and the derivation of the maximum power condition for generators with realistic thermal coupling.Comment: 8 pages, 3 figure

Nominal Logic Programming

Nominal logic is an extension of first-order logic which provides a simple foundation for formalizing and reasoning about abstract syntax modulo consistent renaming of bound names (that is, alpha-equivalence). This article investigates logic programming based on nominal logic. We describe some typical nominal logic programs, and develop the model-theoretic, proof-theoretic, and operational semantics of such programs. Besides being of interest for ensuring the correct behavior of implementations, these results provide a rigorous foundation for techniques for analysis and reasoning about nominal logic programs, as we illustrate via examples.Comment: 46 pages; 19 page appendix; 13 figures. Revised journal submission as of July 23, 200

Chirality Change in String Theory

It is known that string theory compactifications leading to low energy effective theories with different chiral matter content ({\it e.g.} different numbers of standard model generations) are connected through phase transitions, described by non-trivial quantum fixed point theories. We point out that such compactifications are also connected on a purely classical level, through transitions that can be described using standard effective field theory. We illustrate this with examples, including some in which the transition proceeds entirely through supersymmetric configurations.Comment: 50 pages, 2 figure

The use of indigenous knowledge in development: problems and challenges

The use of indigenous knowledge has been seen by many as an alternative way of promoting development in poor rural communities in many parts of the world. By reviewing much of the recent work on indigenous knowledge, the paper suggests that a number of problems and tensions has resulted in indigenous knowledge not being as useful as hoped for or supposed. These include problems emanating from a focus on the (arte)factual; binary tensions between western science and indigenous knowledge systems; the problem of differentiation and power relations; the romanticization of indigenous knowledge; and the all too frequent decontextualization of indigenous knowledge

A linear nonequilibrium thermodynamics approach to optimization of thermoelectric devices

Improvement of thermoelectric systems in terms of performance and range of applications relies on progress in materials science and optimization of device operation. In this chapter, we focuse on optimization by taking into account the interaction of the system with its environment. For this purpose, we consider the illustrative case of a thermoelectric generator coupled to two temperature baths via heat exchangers characterized by a thermal resistance, and we analyze its working conditions. Our main message is that both electrical and thermal impedance matching conditions must be met for optimal device performance. Our analysis is fundamentally based on linear nonequilibrium thermodynamics using the force-flux formalism. An outlook on mesoscopic systems is also given.Comment: Chapter 14 in "Thermoelectric Nanomaterials", Editors Kunihito Koumoto and Takao Mori, Springer Series in Materials Science Volume 182 (2013

Cancer-selective, single agent chemoradiosensitising gold nanoparticles

Two nanometre gold nanoparticles (AuNPs), bearing sugar moieties and/or thiol-polyethylene glycol-amine (PEG-amine), were synthesised and evaluated for their in vitro toxicity and ability to radiosensitise cells with 220 kV and 6 MV X-rays, using four cell lines representing normal and cancerous skin and breast tissues. Acute 3 h exposure of cells to AuNPs, bearing PEG-amine only or a 50:50 ratio of alpha-galactose derivative and PEG-amine resulted in selective uptake and toxicity towards cancer cells at unprecedentedly low nanomolar concentrations. Chemotoxicity was prevented by co-administration of N-acetyl cysteine antioxidant, or partially prevented by the caspase inhibitor Z-VAD-FMK. In addition to their intrinsic cancer-selective chemotoxicity, these AuNPs acted as radiosensitisers in combination with 220 kV or 6 MV X-rays. The ability of AuNPs bearing simple ligands to act as cancer-selective chemoradiosensitisers at low concentrations is a novel discovery that holds great promise in developing low-cost cancer nanotherapeutics

Treatment of hypertension in rural Cambodia: results of a 6-year programme

This study was aimed to describe the outcomes of a hypertension treatment programme in two outpatient clinics in Cambodia. We determined proportions of patients who met the optimal targets for blood pressure (BP) control and assessed the evolution of mean systolic and diastolic BP (SBP/DBP) over time. Multivariate analyses were used to identify predictors of BP decrease and risk factors for LTFU. A total of 2858 patients were enrolled between March 2002 and June 2008 of whom 69.2% were female, 30.5% were aged >/=64years and 32.6% were diabetic. The median follow-up time was 600 days. By the end of 2008, 1642 (57.4%) were alive-in-care, 8 (0.3%) had died and 1208 (42.3%) were lost to follow-up. On admission, mean SBP and DBP were 162 and 94 mm Hg, respectively. Among the patients treated, a significant SBP reduction of 26.8 mm Hg (95% CI: 28.4-25.3) was observed at 6 months. Overall, 36.5% of patients reached the BP targets at 24 months. The number of young adults, non-overweight patients and non-diabetics reaching the BP targets was more. Older age (>64 years), uncontrolled DBP (>/=90 mm Hg) on last consultation and coming late for the last consultation were associated with LTFU, whereas non-diabetic patients were 1.5 times more likely to default than diabetics (95% CI: 1.3-1.7). Although the definite magnitude of the BP decrease due to antihypertension medication over time cannot be assessed definitely without a control group, our results suggest that BP reduction can be obtained with essential hypertension treatment in a large-scale programme in a resource-limited setting

Long-Time Tails and Anomalous Slowing Down in the Relaxation of Spatially Inhomogeneous Excitations in Quantum Spin Chains

Exact analytic calculations in spin-1/2 XY chains, show the presence of long-time tails in the asymptotic dynamics of spatially inhomogeneous excitations. The decay of inhomogeneities, for $t\to \infty$, is given in the form of a power law $$(t/\tau_{Q}) ^{-\nu_{Q}}$$ where the relaxation time $\tau_{Q}$ and the exponent $\nu_{Q}$ depend on the wave vector $Q$, characterizing the spatial modulation of the initial excitation. We consider several variants of the XY model (dimerized, with staggered magnetic field, with bond alternation, and with isotropic and uniform interactions), that are grouped into two families, whether the energy spectrum has a gap or not. Once the initial condition is given, the non-equilibrium problem for the magnetization is solved in closed form, without any other assumption. The long-time behavior for $t\to \infty$ can be obtained systematically in a form of an asymptotic series through the stationary phase method. We found that gapped models show critical behavior with respect to $Q$, in the sense that there exist critical values $Q_{c}$, where the relaxation time $\tau_{Q}$ diverges and the exponent $\nu_{Q}$ changes discontinuously. At those points, a slowing down of the relaxation process is induced, similarly to phenomena occurring near phase transitions. Long-lived excitations are identified as incommensurate spin density waves that emerge in systems undergoing the Peierls transition. In contrast, gapless models do not present the above anomalies as a function of the wave vector $Q$.Comment: 25 pages, 2 postscript figures. Manuscript submitted to Physical Review

The role of biotic interactions in shaping distributions and realised assemblages of species: implications for species distribution modelling.

Predicting which species will occur together in the future, and where, remains one of the greatest challenges in ecology, and requires a sound understanding of how the abiotic and biotic environments interact with dispersal processes and history across scales. Biotic interactions and their dynamics influence species' relationships to climate, and this also has important implications for predicting future distributions of species. It is already well accepted that biotic interactions shape species' spatial distributions at local spatial extents, but the role of these interactions beyond local extents (e.g. 10 km(2) to global extents) are usually dismissed as unimportant. In this review we consolidate evidence for how biotic interactions shape species distributions beyond local extents and review methods for integrating biotic interactions into species distribution modelling tools. Drawing upon evidence from contemporary and palaeoecological studies of individual species ranges, functional groups, and species richness patterns, we show that biotic interactions have clearly left their mark on species distributions and realised assemblages of species across all spatial extents. We demonstrate this with examples from within and across trophic groups. A range of species distribution modelling tools is available to quantify species environmental relationships and predict species occurrence, such as: (i) integrating pairwise dependencies, (ii) using integrative predictors, and (iii) hybridising species distribution models (SDMs) with dynamic models. These methods have typically only been applied to interacting pairs of species at a single time, require a priori ecological knowledge about which species interact, and due to data paucity must assume that biotic interactions are constant in space and time. To better inform the future development of these models across spatial scales, we call for accelerated collection of spatially and temporally explicit species data. Ideally, these data should be sampled to reflect variation in the underlying environment across large spatial extents, and at fine spatial resolution. Simplified ecosystems where there are relatively few interacting species and sometimes a wealth of existing ecosystem monitoring data (e.g. arctic, alpine or island habitats) offer settings where the development of modelling tools that account for biotic interactions may be less difficult than elsewhere