On the NP-Hardness of Approximating Ordering Constraint Satisfaction Problems

We show improved NP-hardness of approximating Ordering Constraint Satisfaction Problems (OCSPs). For the two most well-studied OCSPs, Maximum Acyclic Subgraph and Maximum Betweenness, we prove inapproximability of $14/15+\epsilon$ and $1/2+\epsilon$. An OCSP is said to be approximation resistant if it is hard to approximate better than taking a uniformly random ordering. We prove that the Maximum Non-Betweenness Problem is approximation resistant and that there are width-$m$ approximation-resistant OCSPs accepting only a fraction $1 / (m/2)!$ of assignments. These results provide the first examples of approximation-resistant OCSPs subject only to P $\neq$ \NP

CARET analysis of multithreaded programs

Dynamic Pushdown Networks (DPNs) are a natural model for multithreaded programs with (recursive) procedure calls and thread creation. On the other hand, CARET is a temporal logic that allows to write linear temporal formulas while taking into account the matching between calls and returns. We consider in this paper the model-checking problem of DPNs against CARET formulas. We show that this problem can be effectively solved by a reduction to the emptiness problem of B\"uchi Dynamic Pushdown Systems. We then show that CARET model checking is also decidable for DPNs communicating with locks. Our results can, in particular, be used for the detection of concurrent malware.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854

AN INDIVIDUALIZED MARKING SCHEME FOR SANDHILL CRANES AND ITS USE TO DETERMINE FALL MIGRATION INTERVAL

A color-band based marking scheme was used for individually marking sa ndhill cranes in Florida. The band-loss rate was 2.8% per year between 1977 and 1988. Band loss was greatest on bands placed below the ankle joint and occurred most frequently during years 2 to 5. Color-marked individuals monitored during fall migration averaged 6.2 days (r=5-13 days) between the Jasper-Pulaski Fish and Wildlife area in northwestern Indiana and winlering areas in northern Florida

Deterministic entanglement of photons in two superconducting microwave resonators

Quantum entanglement, one of the defining features of quantum mechanics, has been demonstrated in a variety of nonlinear spin-like systems. Quantum entanglement in linear systems has proven significantly more challenging, as the intrinsic energy level degeneracy associated with linearity makes quantum control more difficult. Here we demonstrate the quantum entanglement of photon states in two independent linear microwave resonators, creating N-photon NOON states as a benchmark demonstration. We use a superconducting quantum circuit that includes Josephson qubits to control and measure the two resonators, and we completely characterize the entangled states with bipartite Wigner tomography. These results demonstrate a significant advance in the quantum control of linear resonators in superconducting circuits.Comment: 11 pages, 11 figures, and 3 tables including supplementary materia

Unzipping Kinetics of Double-Stranded DNA in a Nanopore

We studied the unzipping kinetics of single molecules of double-stranded DNA by pulling one of their two strands through a narrow protein pore. PCR analysis yielded the first direct proof of DNA unzipping in such a system. The time to unzip each molecule was inferred from the ionic current signature of DNA traversal. The distribution of times to unzip under various experimental conditions fit a simple kinetic model. Using this model, we estimated the enthalpy barriers to unzipping and the effective charge of a nucleotide in the pore, which was considerably smaller than previously assumed.Comment: 10 pages, 5 figures, Accepted: Physics Review Letter

Deaf, Dumb, and Chatting Robots, Enabling Distributed Computation and Fault-Tolerance Among Stigmergic Robot

We investigate ways for the exchange of information (explicit communication) among deaf and dumb mobile robots scattered in the plane. We introduce the use of movement-signals (analogously to flight signals and bees waggle) as a mean to transfer messages, enabling the use of distributed algorithms among the robots. We propose one-to-one deterministic movement protocols that implement explicit communication. We first present protocols for synchronous robots. We begin with a very simple coding protocol for two robots. Based on on this protocol, we provide one-to-one communication for any system of n \geq 2 robots equipped with observable IDs that agree on a common direction (sense of direction). We then propose two solutions enabling one-to-one communication among anonymous robots. Since the robots are devoid of observable IDs, both protocols build recognition mechanisms using the (weak) capabilities offered to the robots. The first protocol assumes that the robots agree on a common direction and a common handedness (chirality), while the second protocol assumes chirality only. Next, we show how the movements of robots can provide implicit acknowledgments in asynchronous systems. We use this result to design asynchronous one-to-one communication with two robots only. Finally, we combine this solution with the schemes developed in synchronous settings to fit the general case of asynchronous one-to-one communication among any number of robots. Our protocols enable the use of distributing algorithms based on message exchanges among swarms of Stigmergic robots. Furthermore, they provides robots equipped with means of communication to overcome faults of their communication device

Egg development, hatching rhythm and moult patterns in Paralomos spinosissima (Decapoda: Anomura: Paguroidea: Lithodidae) from South Georgia waters (Southern Ocean)

Larval release, hatching rhythms and moult patterns were examined in a captive population of the subantarctic lithodid, Paralomis spinosissima from the South Georgia and Shag Rocks region. Larvae hatched throughout the year with the majority of females starting to release larvae at the end of the austral summer and beginning of autumn. Larval release continued over a period of up to 9 weeks with high variability in the numbers that hatched each day. A similar seasonal pattern to hatching was evident in the moulting of females. Intermoult period for two adult females (CL = 63 and 85 mm) ranged from 894 to 1,120 days while an intermoult period for males was estimated to be in excess of 832 days. The results are consistent with other species of Paralomis and are discussed in relation to physiological and environmental adaptations to the cold-water conditions south of the Antarctic Convergence

Inferring the effective thickness of polyelectrolytes from stretching measurements at various ionic strengths: applications to DNA and RNA

By resorting to the thick-chain model we discuss how the stretching response of a polymer is influenced by the self-avoidance entailed by its finite thickness. The characterization of the force versus extension curve for a thick chain is carried out through extensive stochastic simulations. The computational results are captured by an analytic expression that is used to fit experimental stretching measurements carried out on DNA and single-stranded RNA (poly-U) in various solutions. This strategy allows us to infer the apparent diameter of two biologically-relevant polyelectrolytes, namely DNA and poly-U, for different ionic strengths. Due to the very different degree of flexibility of the two molecules, the results provide insight into how the apparent diameter is influenced by the interplay between the (solution-dependent) Debye screening length and the polymers' ``bare'' thickness. For DNA, the electrostatic contribution to the effective radius, $\Delta$, is found to be about 5 times larger than the Debye screening length, consistently with previous theoretical predictions for highly-charged stiff rods. For the more flexible poly-U chains the electrostatic contribution to $\Delta$ is found to be significantly smaller than the Debye screening length.Comment: iopart, 14 pages, 13 figures, to appear in J. Phys.: Condens. Matte

Dallas with balls: televized sport, soap opera and male and female pleasures

Two of the most popular of television genres, soap opera and sports coverage have been very much differentiated along gender lines in terms of their audiences. Soap opera has been regarded very much as a 'gynocentric' genre with a large female viewing audience while the audiences for television sport have been predominantly male. Gender differentiation between the genres has had implications for the popular image of each. Soap opera has been perceived as inferior; as mere fantasy and escapism for women while television sports has been perceived as a legitimate, even edifying experience for men. In this article the authors challenge the view that soap opera and television sport are radically different and argue that they are, in fact, very similar in a number of significant ways. They suggest that both genres invoke similar structures of feeling and sensibility in their respective audiences and that television sport is a 'male soap opera'. They consider the ways in which the viewing context of each genre is related to domestic life and leisure, the ways in which the textual structure and conventions of each genre invoke emotional identification, and finally, the ways in which both genres re-affirm gender identities