Providing Self-Aware Systems with Reflexivity

We propose a new type of self-aware systems inspired by ideas from higher-order theories of consciousness. First, we discussed the crucial distinction between introspection and reflexion. Then, we focus on computational reflexion as a mechanism by which a computer program can inspect its own code at every stage of the computation. Finally, we provide a formal definition and a proof-of-concept implementation of computational reflexion, viewed as an enriched form of program interpretation and a way to dynamically "augment" a computational process.Comment: 12 pages plus bibliography, appendices with code description, code of the proof-of-concept implementation, and examples of executio

Who bullies whom at a garden feeder? Interspecific agonistic interactions of small passerines during a cold winter

Interspecific agonistic interactions are important selective factors for maintaining ecological niches of different species, but their outcome is difficult to predict a priori. Here, we examined the direction and intensity of interspecific interactions in an assemblage of small passerines at a garden feeder, focussing on three finch species of various body sizes. We found that large and mediumsized birds usually initiated and won agonistic interactions with smaller species. Also, the frequency of fights increased with decreasing differences in body size between the participants. Finally, the probability of engaging in a fight increased with the number of birds at the feeder

Delineation of individual human chromosomes in metaphase and interphase cells by in situ suppression hybridization using recombinant DNA libraries

A method of in situ hybridization for visualizing individual human chromosomes from pter to qter, both in metaphase spreads and interphase nuclei, is reported. DNA inserts from a single chromosomal library are labeled with biotin and partially preannealed with a titrated amount of total human genomic DNA prior to hybridization with cellular or chromosomal preparations. The cross-hybridization of repetitive sequences to nontargeted chromosomes can be markedly suppressed under appropriate preannealing conditions. The remaining single-stranded DNA is hybridized to specimens of interest and detected with fluorescent or enzymelabeled avidin conjugates following post-hybridization washes. DNA inserts from recombinant libraries for chromosomes 1, 4, 7, 8, 13, 14, 18, 20, 21, 22, and X were assessed for their ability to decorate specifically their cognate chromosome; most libraries proved to be highly specific. Quantitative densitometric analyses indicated that the ratio of specific to nonspecific hybridization signal under optimal preannealing conditions was at least 8:1. Interphase nuclei showed a cohesive territorial organization of chromosomal domains, and laserscanning confocal fluorescence microscopy was used to aid the 3-D visualization of these domains. This method should be useful for both karyotypic studies and for the analysis of chromosome topography in interphase cells

The Winter Worries of Bats : Past and Present Perspectives on Winter Habitat and Management of Cave Hibernating Bats

Winter is a time of fascinating changes in biology for cave-hibernating bats, but it is also a time of vulnerability. Unsurprisingly, assessments of winter habitat for these mammals and how it can be managed have been a focus of many researchers involved with the North American Society for Bat Research over the last 50 years. Over this time, a paradigm shift has occurred in the way scientists think about factors driving selection of winter habitat, especially temperature. To illustrate this change, we review three hypotheses seeking to explain microclimate selection in cavernicolous bats. The first, which we call the “Colder is Better Hypothesis,” posits that bats should select cold microclimates that minimize energy expenditure. The “Hibernation Optimization Hypothesis” suggests that bats should select microclimates that reduce expression of torpor to balance energy conservation against non-energetic costs of hibernation. Finally, the “Thrifty Female Hypothesis” asserts that females should select colder microclimates than males to conserve energy for reproduction. We discuss these hypotheses and the shift from viewing hibernation as a phenomenon driven solely by the need to conserve energy in the context of hibernacula management in North America. We focus on both historical and recent conservation threats, most notably alteration of thermal regimes and the disease white-nose syndrome. We urge against returning to an over-simplified view of winter habitat selection in response to our current conservation challenges.Peer reviewe

Kestenbaum procedure with posterior fixation suture for anomalous head posture in infantile nystagmus

The purpose of this study was to report the effect of combining the Kestenbaum procedure with posterior fixation suture for infantile horizontal nystagmus with anomalous head posture (AHP) in children. Nine consecutive patients who underwent combined Kestenbaum procedure plus posterior fixation suture to the recessed muscles at the same time were retrospectively studied. All patients were orthotropic before surgery and were followed for at least 6 months. Pre- and postoperative AHP and binocular corrected visual acuity (BCVA), and ocular alignment were assessed. Mean age at surgery was 4.8 ± 1.5 years. The average follow-up was 29.7 months. The average head turn preoperatively was 27.4° and postoperatively 7.2°. The average net change in AHP was 24.8° (P = 0.008). Seven of 9 patients (78%) achieved a residual head turn of 10° or less. The average Log Mar BCVA was 0.33 preoperatively and 0.31 postoperatively (P = 0.68). Only 1 patient needed additional surgery for residual horizontal AHP. No patient developed strabismus. Combined Kestenbaum procedure with posterior fixation suture was an effective and stable procedure in reducing AHP of the range of 20° to 35° in children with infantile nystagmus

Stochastic Gravity: Theory and Applications

Whereas semiclassical gravity is based on the semiclassical Einstein equation with sources given by the expectation value of the stress-energy tensor of quantum fields, stochastic semiclassical gravity is based on the Einstein-Langevin equation, which has in addition sources due to the noise kernel.In the first part, we describe the fundamentals of this new theory via two approaches: the axiomatic and the functional. In the second part, we describe three applications of stochastic gravity theory. First, we consider metric perturbations in a Minkowski spacetime: we compute the two-point correlation functions for the linearized Einstein tensor and for the metric perturbations. Second, we discuss structure formation from the stochastic gravity viewpoint. Third, we discuss the backreaction of Hawking radiation in the gravitational background of a quasi-static black hole.Comment: 75 pages, no figures, submitted to Living Reviews in Relativit

Stochastic Gravity: Theory and Applications

Whereas semiclassical gravity is based on the semiclassical Einstein equation with sources given by the expectation value of the stress-energy tensor of quantum fields, stochastic semiclassical gravity is based on the Einstein-Langevin equation, which has in addition sources due to the noise kernel. In the first part, we describe the fundamentals of this new theory via two approaches: the axiomatic and the functional. In the second part, we describe three applications of stochastic gravity theory. First, we consider metric perturbations in a Minkowski spacetime, compute the two-point correlation functions of these perturbations and prove that Minkowski spacetime is a stable solution of semiclassical gravity. Second, we discuss structure formation from the stochastic gravity viewpoint. Third, we discuss the backreaction of Hawking radiation in the gravitational background of a black hole and describe the metric fluctuations near the event horizon of an evaporating black holeComment: 100 pages, no figures; an update of the 2003 review in Living Reviews in Relativity gr-qc/0307032 ; it includes new sections on the Validity of Semiclassical Gravity, the Stability of Minkowski Spacetime, and the Metric Fluctuations of an Evaporating Black Hol

CMB Telescopes and Optical Systems

The cosmic microwave background radiation (CMB) is now firmly established as a fundamental and essential probe of the geometry, constituents, and birth of the Universe. The CMB is a potent observable because it can be measured with precision and accuracy. Just as importantly, theoretical models of the Universe can predict the characteristics of the CMB to high accuracy, and those predictions can be directly compared to observations. There are multiple aspects associated with making a precise measurement. In this review, we focus on optical components for the instrumentation used to measure the CMB polarization and temperature anisotropy. We begin with an overview of general considerations for CMB observations and discuss common concepts used in the community. We next consider a variety of alternatives available for a designer of a CMB telescope. Our discussion is guided by the ground and balloon-based instruments that have been implemented over the years. In the same vein, we compare the arc-minute resolution Atacama Cosmology Telescope (ACT) and the South Pole Telescope (SPT). CMB interferometers are presented briefly. We conclude with a comparison of the four CMB satellites, Relikt, COBE, WMAP, and Planck, to demonstrate a remarkable evolution in design, sensitivity, resolution, and complexity over the past thirty years.Comment: To appear in: Planets, Stars and Stellar Systems (PSSS), Volume 1: Telescopes and Instrumentatio