A Characterization of First-Order Definable Subsets on Classes of Finite Total Orders

We give an explicit and easy-to-verify characterization for subsets in finite total orders (infinitely many of them in general) to be uniformly definable by a first-order formula. From this characterization we derive immediately that Beth's definability theorem does not hold in any class of finite total orders, as well as that McColm's first conjecture is true for all classes of finite total orders. Another consequence is a natural 0-1 law for definable subsets on finite total orders expressed as a statement about the possible densities of first-order definable subsets.

OS Support for Portable Bulk Synchronous Parallel Programs

Predictability -- the ability to foretell that an implementation will not violate a set of specified reliability and timeliness requirements -- is a crucial, highly desirable property of responsive embedded systems. This paper overviews a development methodology for responsive systems, which enhances predictability by eliminating potential hazards resulting from physically-unsound specifications. The backbone of our methodology is the Time-constrained Reactive Automaton (TRA) formalism, which adopts a fundamental notion of space and time that restricts expressiveness in a way that allows the specification of only reactive, spontaneous, and causal computation. Using the TRA model, unrealistic systems – possessing properties such as clairvoyance, caprice, infinite capacity, or perfect timing -- cannot even be specified. We argue that this "ounce of prevention" at the specification level is likely to spare a lot of time and energy in the development cycle of responsive systems -- not to mention the elimination of potential hazards that would have gone, otherwise, unnoticed. The TRA model is presented to system developers through the Cleopatra programming language. Cleopatra features a C-like imperative syntax for the description of computation, which makes it easier to incorporate in applications already using C. It is event-driven, and thus appropriate for embedded process control applications. It is object-oriented and compositional, thus advocating modularity and reusability. Cleopatra is semantically sound; its objects can be transformed, mechanically and unambiguously, into formal TRA automata for verification purposes, which can be pursued using model-checking or theorem proving techniques. Since 1989, an ancestor of Cleopatra has been in use as a specification and simulation language for embedded time-critical robotic processes.

An Infinite Pebble Game and Applications

We generalize the well-known pebble game to infinite dag's, and we use this generalization to give new and shorter proofs of results in different areas of computer science (as diverse as "logic of programs" and "formal language theory"). Our applications here include a proof of a theorem due to Salomaa, asserting the existence of a context-free language with infinite index, and a proof of a theorem due to Tiuryn and Erimbetov, asserting that unbounded memory increases the power of logics of programs. The original proofs by Salomaa, Tiuryn, and Erimbetov, are fairly technical. The proofs by Tiuryn and Erimbetov also involve advanced techniques of model theory, namely, back-and-forth constructions based on a variant of Ehrenfeucht-Fraisse games. By contrast, our proofs are not only shorter, but also elementary. All we need is essentially finite induction and, in the case of the Tiuryn-Erimbetov result, the compactness and completeness of first-order logic.

Analysing energy detector diversity receivers for spectrum sensing

The analysis of energy detector systems is a well studied topic in the literature: numerous models have been derived describing the behaviour of single and multiple antenna architectures operating in a variety of radio environments. However, in many cases of interest, these models are not in a closed form and so their evaluation requires the use of numerical methods. In general, these are computationally expensive, which can cause difficulties in certain scenarios, such as in the optimisation of device parameters on low cost hardware. The problem becomes acute in situations where the signal to noise ratio is small and reliable detection is to be ensured or where the number of samples of the received signal is large. Furthermore, due to the analytic complexity of the models, further insight into the behaviour of various system parameters of interest is not readily apparent. In this thesis, an approximation based approach is taken towards the analysis of such systems. By focusing on the situations where exact analyses become complicated, and making a small number of astute simplifications to the underlying mathematical models, it is possible to derive novel, accurate and compact descriptions of system behaviour. Approximations are derived for the analysis of energy detectors with single and multiple antennae operating on additive white Gaussian noise (AWGN) and independent and identically distributed Rayleigh, Nakagami-m and Rice channels; in the multiple antenna case, approximations are derived for systems with maximal ratio combiner (MRC), equal gain combiner (EGC) and square law combiner (SLC) diversity. In each case, error bounds are derived describing the maximum error resulting from the use of the approximations. In addition, it is demonstrated that the derived approximations require fewer computations of simple functions than any of the exact models available in the literature. Consequently, the regions of applicability of the approximations directly complement the regions of applicability of the available exact models. Further novel approximations for other system parameters of interest, such as sample complexity, minimum detectable signal to noise ratio and diversity gain, are also derived. In the course of the analysis, a novel theorem describing the convergence of the chi square, noncentral chi square and gamma distributions towards the normal distribution is derived. The theorem describes a tight upper bound on the error resulting from the application of the central limit theorem to random variables of the aforementioned distributions and gives a much better description of the resulting error than existing Berry-Esseen type bounds. A second novel theorem, providing an upper bound on the maximum error resulting from the use of the central limit theorem to approximate the noncentral chi square distribution where the noncentrality parameter is a multiple of the number of degrees of freedom, is also derived.

Nihilism and emptiness: Nishitani's encounter with Nietzsche

In this thesis, I examine the relationship between the Kyoto School philosopher, Nishitani Keiji, and the work of Friedrich Nietzsche, focusing on the two thinkers’ respective approaches to the problem of nihilism. The work begins by positioning Nishitani’s interpretation of Nietzsche’s account of nihilism with reference to diverse readings of Nietzsche in Western scholarship. I then consider the development of Nishitani’s reading of Nietzsche from his lecture series on nihilism, The Self- Overcoming of Nihilism, through to his magnum opus, Religion and Nothingness. I make two key contributions to recent scholarly debate on Nishitani’s relationship to Nietzsche. The first is to emphasise the importance of Nishitani’s response to the idea of eternal recurrence for understanding his critical approach to Nietzsche’s thinking. I argue against the view, offered by Bret Davis, that Nishitani’s criticisms of Nietzsche are primarily based on the former’s negative assessment of the idea of will to power. The second contribution is to situate Nishitani’s critical approach to eternal recurrence within his broader attempt to formulate a Zen-influenced conception of temporality and historicity. I then argue for the necessity of this conceptual background for coming to grips with his conception of the ‘transhistorical’ grounds of historicity in emptiness (śūnyatā), as outlined in the later chapters of Religion and Nothingness.

Endogenous interleukin-10 modulates fibrosis and regeneration in experimental chronic pancreatitis.

Interleukin (IL)-10, a potent anti-inflammatory cytokine, limits the severity of acute pancreatitis and downregulates transforming growth factor (TGF)-beta release by inflammatory cells on stimulation. Proinflammatory mediators, reactive oxygen species, and TGF-beta can activate pancreatic stellate cells and their synthesis of collagen I and III. This study evaluates the role of endogenous IL-10 in the modulation of the regeneration phase following acute pancreatitis and in the development of pancreatic fibrosis. IL-10 knockout (KO) mice and their C57BL/6 controls were submitted to repeated courses (3/wk, during 6 wk, followed by 1 wk of recovery) of cerulein-induced acute pancreatitis. TGF-beta(1) release was measured on plasma, and its pancreatic expression was assessed by quantitative RT-PCR and immunohistochemistry. Intrapancreatic IL-10 gene expression was assessed by semiquantitative RT-PCR, and intrapancreatic collagen content was assessed by picrosirius staining. Activated stellate cells were detected by immunohistochemistry. S phase intrapancreatic cells were marked using tritiated thymidine labeling. After repeated acute pancreatitis, IL-10 KO mice had more severe histological lesions and fibrosis (intrapancreatic collagen content) than controls. TGF-beta(1) plasma levels, intrapancreatic transcription, and expression by ductal and interstitial cells, as well as the number of activated stellate cells, were significantly higher. IL-10 KO mice disclosed significantly fewer acinar cells in S phase, whereas the opposite was observed for pseudotubular cells. Endogenous IL-10 controls the regeneration phase and limits the severity of fibrosis and glandular atrophy induced by repeated episodes of acute pancreatitis in mice.

Optimal assessment of the ability of children with recurrent respiratory tract infections to produce anti-polysaccharide antibodies.

Specific anti-polysaccharide antibody deficiency (SPAD) is an immune disorder. Diagnostic criteria have not yet been defined clearly. One hundred and seventy-six children evaluated for recurrent respiratory tract infections were analysed retrospectively. For each subject, specific anti-pneumococcal antibodies had been measured with two enzyme-linked immunosorbent assays (ELISAs), one overall assay (OA) using the 23-valent pneumococcal polysaccharide vaccine (23-PPSV) as detecting antigen and the other purified pneumococcal polysaccharide serotypes (serotype-specific assay, SSA) (serotypes 14, 19F and 23F). Antibody levels were measured before (n = 176) and after (n = 93) immunization with the 23-PPSV. Before immunization, low titres were found for 138 of 176 patients (78%) with OA, compared to 20 of 176 patients (11%) with the SSA. We found a significant correlation between OA and SSA results. After immunization, 88% (71 of 81) of the patients considered as responders in the OA test were also responders in the SSA; 93% (71 of 76) of the patients classified as responders according to the SSA were also responders in the OA. SPAD was diagnosed in 8% (seven of 93) of patients on the basis of the absence of response in both tests. Thus, we propose to use OA as a screening test for SPAD before 23-PPSV immunization. After immunization, SSA should be used only in case of a low response in OA. Only the absence of or a very low antibody response detected by both tests should be used as a diagnostic criterion for SPAD.

The effect of involuntary job loss on smoking intensity and relapse.

AIMS: To assess the impact of involuntary job loss due to plant closure or layoff on relapse to smoking and smoking intensity among older workers. DESIGN, PARTICIPANTS, SAMPLE: Data come from the Health and Retirement Study, a nationally representative survey of older Americans aged 51-61 in 1991 followed every 2 years beginning in 1992. The 3052 participants who were working at the initial wave and had any history of smoking comprise the main sample. METHODS: Primary outcomes are smoking relapse at wave 2 (1994) among baseline former smokers, and smoking quantity at wave 2 among baseline current smokers. As reported at the wave 2 follow-up, 6.8% of the sample experienced an involuntary job loss between waves 1 and 2. FINDINGS: Older workers have over two times greater odds of relapse subsequent to involuntary job loss than those who did not. Further, those who were current smokers prior to displacement that did not obtain new employment were found to be smoking more cigarettes, on average, post-job loss. CONCLUSIONS: The stress of job loss, along with other significant changes associated with leaving one's job, which would tend to increase cigarette consumption, must outweigh the financial hardship which would tend to reduce consumption. This highlights job loss as an important health risk factor for older smokers.

Prostate cancer: an evolving paradigm.

Since at least the early 1990s, stage and risk migration have been seen in patients with prostate cancer, likely corresponding to the institution of prostate specific antigen (PSA) screening in health systems. Preoperative risk factors, including PSA level and clinical stage, have decreased significantly. These improved prognostic variables have led to a larger portion of men being stratified with low-risk disease, as per the classification of D'Amico and associates. This, in turn, has corresponded with more favorable postoperative variables, including decreased extraprostatic tumor extension and prolonged biochemical-free recurrence rates. The advent of focal therapy is bolstered by findings of increased unilateral disease with decreased tumor volume. Increasingly, targeted or delayed therapies may be possible within the current era of lower risk disease.

Rationale and design of the Exercise Intensity Trial (EXCITE): A randomized trial comparing the effects of moderate versus moderate to high-intensity aerobic training in women with operable breast cancer.

BACKGROUND: The Exercise Intensity Trial (EXcITe) is a randomized trial to compare the efficacy of supervised moderate-intensity aerobic training to moderate to high-intensity aerobic training, relative to attention control, on aerobic capacity, physiologic mechanisms, patient-reported outcomes, and biomarkers in women with operable breast cancer following the completion of definitive adjuvant therapy. METHODS/DESIGN: Using a single-center, randomized design, 174 postmenopausal women (58 patients/study arm) with histologically confirmed, operable breast cancer presenting to Duke University Medical Center (DUMC) will be enrolled in this trial following completion of primary therapy (including surgery, radiation therapy, and chemotherapy). After baseline assessments, eligible participants will be randomized to one of two supervised aerobic training interventions (moderate-intensity or moderate/high-intensity aerobic training) or an attention-control group (progressive stretching). The aerobic training interventions will include 150 mins.wk⁻¹ of supervised treadmill walking per week at an intensity of 60%-70% (moderate-intensity) or 60% to 100% (moderate to high-intensity) of the individually determined peak oxygen consumption (VO₂peak) between 20-45 minutes/session for 16 weeks. The progressive stretching program will be consistent with the exercise interventions in terms of program length (16 weeks), social interaction (participants will receive one-on-one instruction), and duration (20-45 mins/session). The primary study endpoint is VO₂peak, as measured by an incremental cardiopulmonary exercise test. Secondary endpoints include physiologic determinants that govern VO₂peak, patient-reported outcomes, and biomarkers associated with breast cancer recurrence/mortality. All endpoints will be assessed at baseline and after the intervention (16 weeks). DISCUSSION: EXCITE is designed to investigate the intensity of aerobic training required to induce optimal improvements in VO₂peak and other pertinent outcomes in women who have completed definitive adjuvant therapy for operable breast cancer. Overall, this trial will inform and refine exercise guidelines to optimize recovery in breast and other cancer survivors following the completion of primary cytotoxic therapy. TRIAL REGISTRATION: NCT01186367.

Bayes and empirical-Bayes multiplicity adjustment in the variable-selection problem

This paper studies the multiplicity-correction effect of standard Bayesian variable-selection priors in linear regression. Our first goal is to clarify when, and how, multiplicity correction happens automatically in Bayesian analysis, and to distinguish this correction from the Bayesian Ockham's-razor effect. Our second goal is to contrast empirical-Bayes and fully Bayesian approaches to variable selection through examples, theoretical results and simulations. Considerable differences between the two approaches are found. In particular, we prove a theorem that characterizes a surprising aymptotic discrepancy between fully Bayes and empirical Bayes. This discrepancy arises from a different source than the failure to account for hyperparameter uncertainty in the empirical-Bayes estimate. Indeed, even at the extreme, when the empirical-Bayes estimate converges asymptotically to the true variable-inclusion probability, the potential for a serious difference remains. © Institute of Mathematical Statistics, 2010.

Risk of ovarian cancer and inherited variants in relapse-associated genes.

BACKGROUND: We previously identified a panel of genes associated with outcome of ovarian cancer. The purpose of the current study was to assess whether variants in these genes correlated with ovarian cancer risk. METHODS AND FINDINGS: Women with and without invasive ovarian cancer (749 cases, 1,041 controls) were genotyped at 136 single nucleotide polymorphisms (SNPs) within 13 candidate genes. Risk was estimated for each SNP and for overall variation within each gene. At the gene-level, variation within MSL1 (male-specific lethal-1 homolog) was associated with risk of serous cancer (p = 0.03); haplotypes within PRPF31 (PRP31 pre-mRNA processing factor 31 homolog) were associated with risk of invasive disease (p = 0.03). MSL1 rs7211770 was associated with decreased risk of serous disease (OR 0.81, 95% CI 0.66-0.98; p = 0.03). SNPs in MFSD7, BTN3A3, ZNF200, PTPRS, and CCND1A were inversely associated with risk (p<0.05), and there was increased risk at HEXIM1 rs1053578 (p = 0.04, OR 1.40, 95% CI 1.02-1.91). CONCLUSIONS: Tumor studies can reveal novel genes worthy of follow-up for cancer susceptibility. Here, we found that inherited markers in the gene encoding MSL1, part of a complex that modifies the histone H4, may decrease risk of invasive serous ovarian cancer.

Delimiting species without nuclear monophyly in Madagascar's mouse lemurs.

BACKGROUND: Speciation begins when populations become genetically separated through a substantial reduction in gene flow, and it is at this point that a genetically cohesive set of populations attain the sole property of species: the independent evolution of a population-level lineage. The comprehensive delimitation of species within biodiversity hotspots, regardless of their level of divergence, is important for understanding the factors that drive the diversification of biota and for identifying them as targets for conservation. However, delimiting recently diverged species is challenging due to insufficient time for the differential evolution of characters--including morphological differences, reproductive isolation, and gene tree monophyly--that are typically used as evidence for separately evolving lineages. METHODOLOGY: In this study, we assembled multiple lines of evidence from the analysis of mtDNA and nDNA sequence data for the delimitation of a high diversity of cryptically diverged population-level mouse lemur lineages across the island of Madagascar. Our study uses a multi-faceted approach that applies phylogenetic, population genetic, and genealogical analysis for recognizing lineage diversity and presents the most thoroughly sampled species delimitation of mouse lemur ever performed. CONCLUSIONS: The resolution of a large number of geographically defined clades in the mtDNA gene tree provides strong initial evidence for recognizing a high diversity of population-level lineages in mouse lemurs. We find additional support for lineage recognition in the striking concordance between mtDNA clades and patterns of nuclear population structure. Lineages identified using these two sources of evidence also exhibit patterns of population divergence according to genealogical exclusivity estimates. Mouse lemur lineage diversity is reflected in both a geographically fine-scaled pattern of population divergence within established and geographically widespread taxa, as well as newly resolved patterns of micro-endemism revealed through expanded field sampling into previously poorly and well-sampled regions.

The evolutionary origin of Indian Ocean tortoises (Dipsochelys).

Today, the only surviving wild population of giant tortoises in the Indian Ocean occurs on the island of Aldabra. However, giant tortoises once inhabited islands throughout the western Indian Ocean. Madagascar, Africa, and India have all been suggested as possible sources of colonization for these islands. To address the origin of Indian Ocean tortoises (Dipsochelys, formerly Geochelone gigantea), we sequenced the 12S, 16S, and cyt b genes of the mitochondrial DNA. Our phylogenetic analysis shows Dipsochelys to be embedded within the Malagasy lineage, providing evidence that Indian Ocean giant tortoises are derived from a common Malagasy ancestor. This result points to Madagascar as the source of colonization for western Indian Ocean islands by giant tortoises. Tortoises are known to survive long oceanic voyages by floating with ocean currents, and thus, currents flowing northward towards the Aldabra archipelago from the east coast of Madagascar would have provided means for the colonization of western Indian Ocean islands. Additionally, we found an accelerated rate of sequence evolution in the two Malagasy Pyxis species examined. This finding supports previous theories that shorter generation time and smaller body size are related to an increase in mitochondrial DNA substitution rate in vertebrates.

Working at the interface of phylogenetics and population genetics: a biogeographical analysis of Triaenops spp. (Chiroptera: Hipposideridae).

New applications of genetic data to questions of historical biogeography have revolutionized our understanding of how organisms have come to occupy their present distributions. Phylogenetic methods in combination with divergence time estimation can reveal biogeographical centres of origin, differentiate between hypotheses of vicariance and dispersal, and reveal the directionality of dispersal events. Despite their power, however, phylogenetic methods can sometimes yield patterns that are compatible with multiple, equally well-supported biogeographical hypotheses. In such cases, additional approaches must be integrated to differentiate among conflicting dispersal hypotheses. Here, we use a synthetic approach that draws upon the analytical strengths of coalescent and population genetic methods to augment phylogenetic analyses in order to assess the biogeographical history of Madagascar's Triaenops bats (Chiroptera: Hipposideridae). Phylogenetic analyses of mitochondrial DNA sequence data for Malagasy and east African Triaenops reveal a pattern that equally supports two competing hypotheses. While the phylogeny cannot determine whether Africa or Madagascar was the centre of origin for the species investigated, it serves as the essential backbone for the application of coalescent and population genetic methods. From the application of these methods, we conclude that a hypothesis of two independent but unidirectional dispersal events from Africa to Madagascar is best supported by the data.