Action languages: Dimensions, effects

Dimensions of action languages are discussed for communication between humans and machines, and the message handling capabilities of object oriented programming systems are examined. Design of action languages is seen to be very contextual. Economical and effective design will depend on features of situations, the tasks intended to be accomplished, and the nature of the devices themselves. Current object oriented systems turn out to have fairly simple and straightforward message handling facilities, which in themselves do little to buffer action or even in some cases to handle competing messages. Even so, it is possible to program a certain amount of discretion about how they react to messages. Such thoughtfulness and perhaps relative autonomy of program modules seems prerequisite to future systems to handle complex interactions in changing situations

Sampling Random Colorings of Sparse Random Graphs

We study the mixing properties of the single-site Markov chain known as the Glauber dynamics for sampling $k$-colorings of a sparse random graph $G(n,d/n)$ for constant $d$. The best known rapid mixing results for general graphs are in terms of the maximum degree $\Delta$ of the input graph $G$ and hold when $k>11\Delta/6$ for all $G$. Improved results hold when $k>\alpha\Delta$ for graphs with girth $\geq 5$ and $\Delta$ sufficiently large where $\alpha\approx 1.7632\ldots$ is the root of $\alpha=\exp(1/\alpha)$; further improvements on the constant $\alpha$ hold with stronger girth and maximum degree assumptions. For sparse random graphs the maximum degree is a function of $n$ and the goal is to obtain results in terms of the expected degree $d$. The following rapid mixing results for $G(n,d/n)$ hold with high probability over the choice of the random graph for sufficiently large constant~$d$. Mossel and Sly (2009) proved rapid mixing for constant $k$, and Efthymiou (2014) improved this to $k$ linear in~$d$. The condition was improved to $k>3d$ by Yin and Zhang (2016) using non-MCMC methods. Here we prove rapid mixing when $k>\alpha d$ where $\alpha\approx 1.7632\ldots$ is the same constant as above. Moreover we obtain $O(n^{3})$ mixing time of the Glauber dynamics, while in previous rapid mixing results the exponent was an increasing function in $d$. As in previous results for random graphs our proof analyzes an appropriately defined block dynamics to "hide" high-degree vertices. One new aspect in our improved approach is utilizing so-called local uniformity properties for the analysis of block dynamics. To analyze the "burn-in" phase we prove a concentration inequality for the number of disagreements propagating in large blocks

Legislative Districting

America never knew the rotten boroughs that John Locke called "gross absurdities" and condemned as being incompatible with the right of equal representation (Locke, 1812, at 433). Rotten boroughs were towns "of which there remain[ed] not so much as the ruins, where scarce so much housing as a sheepcote, or more inhabitants than a shepherd [were] to be found, [but that sent] as many representatives to the grand assembly of law-makers, as a whole county numerous in people, and powerful in riches" (id., at 432). The United States did inherit from Britain the so-called Westminster system, in which legislators are elected, usually one apiece, from geographically defined districts, with the candidate receiving the most votes declared the winner. Perhaps the system was inevitable in a time with neither full-fledged political parties nor modem devices of transportation and communication. In any event, the system has been permanently embedded in American political thought and practice

Sensitivity of Lake Sturgeon population dynamics and genetics to demographic parameters [Powerpoint Slide]

Lake sturgeon Acipenser fulvescens restoration is a priority throughout the Great Lakes basin, where sturgeon have been reduced to less than 1% of historic levels due to habitat degradation, overharvest, and fragmentation of spawning populations. The population parameters most important to long-term lake sturgeon persistence are unknown

Empirical Estimate of Lyman-alpha Escape Fraction in a Statistical Sample of Lyman-alpha Emitters

The Lyman-alpha (Lya) recombination line is a fundamental tool for galaxy evolution studies and modern observational cosmology. However, subsequent interpretations are still prone to a number of uncertainties. Besides numerical efforts, empirical data are urgently needed for a better understanding of Lya escape process. We empirically estimate the Lyman-alpha escape fraction fesc(Lya) in a statistically significant sample of z ~ 0 - 0.3 galaxies in order to calibrate high-redshift Lyman-alpha observations. An optical spectroscopic follow-up of a sub-sample of 24 Lyman-alpha emitters (LAEs) detected by GALEX at z ~ 0.2-0.3, combined with a UV-optical sample of local starbursts, both with matched apertures, allow us to quantify the dust extinction through Balmer lines, and to estimate the Lyman-alpha escape fraction from the Halpha flux corrected for extinction in the framework of the recombination theory. The global escape fraction of Lyman-alpha radiation spans nearly the entire range of values, from 0.5 to 100 %, and fesc(Lya) clearly decreases with increasing nebular dust extinction E(B-V). Several objects show fesc(Lya) greater than fesc(continuum) which may be an observational evidence for clumpy ISM geometry or for an aspherical ISM. Selection biases and aperture size effects may still prevail between z ~ 0.2-0.3 LAEs and local starbursts, which may explain the difference observed for fesc(Lya).Comment: 4 pages, 2 figures, accepted for publication in Astronomy and Astrophysic

Hydrogen bonded supramolecular elastomers : correlating hydrogen bonding strength with morphology and rheology

A series of six low molecular weight elastomers with hydrogen bonding end-groups have been designed, synthesised and studied. The poly(urethane) based elastomers all contained essentially the same hard block content (ca. 11%) and differ only in the nature of their end-groups. Solution state 1H NMR spectroscopic analysis of model compounds featuring the end-groups demonstrate that they all exhibit very low binding constants, in the range 1.4 to 45.0 M-1 in CDCl3, yet the corresponding elastomers each possess a markedly different nanoscale morphology and rheology in the bulk. We are able to correlate small variations of the binding constant of the end-groups with dramatic changes in the bulk properties of the elastomers. These results provide an important insight into the way in which weak non-covalent interactions can be utilized to afford a range of self-assembled polyurethane based materials that feature different morphologies

Quasi-Periodic Pulsations during the Impulsive and Decay phases of an X-class Flare

Quasi-periodic pulsations (QPP) are often observed in X-ray emission from solar flares. To date, it is unclear what their physical origins are. Here, we present a multi-instrument investigation of the nature of QPP during the impulsive and decay phases of the X1.0 flare of 28 October 2013. We focus on the character of the fine structure pulsations evident in the soft X-ray time derivatives and compare this variability with structure across multiple wavelengths including hard X-ray and microwave emission. We find that during the impulsive phase of the flare, high correlations between pulsations in the thermal and non-thermal emissions are seen. A characteristic timescale of ~20s is observed in all channels and a second timescale of ~55s is observed in the non-thermal emissions. Soft X-ray pulsations are seen to persist into the decay phase of this flare, up to 20 minutes after the non-thermal emission has ceased. We find that these decay phase thermal pulsations have very small amplitude and show an increase in characteristic timescale from ~40s up to ~70s. We interpret the bursty nature of the co-existing multi-wavelength QPP during the impulsive phase in terms of episodic particle acceleration and plasma heating. The persistent thermal decay phase QPP are most likely connected with compressive MHD processes in the post-flare loops such as the fast sausage mode or the vertical kink mode.Comment: 7 pages, 4 figures, 1 tabl

OMICS-based personalized oncology: if it is worth doing, it is worth doing well!

The era of Personalized Medicine implies getting the right treatment to the right patient at the right schedule and dose at the right time. Tumor biomarker tests are keys to accomplishing this goal successfully. However, much of the translational research regarding tumor biomarker tests has been haphazard, often using data and specimen sets of convenience and ignoring many of the principles of the scientific method. In papers published simultaneously in BMC Medicine and Nature, McShane and colleagues have proposed a checklist of criteria that should be followed by investigators planning to conduct prospective clinical trials directed towards generating high levels of evidence to demonstrate whether a tumor biomarker test has clinical utility for a specific context. These criteria were generated in response to a roadmap reported by a committee convened by the U.S. Institute of Medicine for generation of omics-based biomarker tests. Taken together with several other initiatives to increase the rigor of tumor biomarker research, these criteria will increase the perception of value for tumor biomarker test research and application in the clinic. Please see related article: http://www.biomedcentral.com/1741-7015/11/220