Using The-Math-You-Need modules in a general education, oceanography course

The Math You Need (TMYN) is a series of on-line tutorials designed for students to increase their mathematical abilities while taking geology and other science courses. The aim of the program is to increase the quantitative abilities of students while demonstrating mathematical applications in an effort to make students more comfortable with and aware of the utility of mathematics. Over two semesters, we implemented targeted-TMYN modules into a general-education oceanography course that is typically populated by non-science majors with a wide variety of mathematical skills before calculus. Students participate voluntarily in TMYN modules with extra credit given for their successful completion. Every class day in the course involves exercises and/or a laboratory that applies oceanographic concepts into which we frequently weave elementary mathematics; also, quantitative questions appear on course exams. For example, understanding rates is particularly fundamental, so exercises frequently concentrate on rate calculations and re-arrangement of simple rate equations and this in-class instruction is complemented by appropriate TMYN modules. To reinforce the importance and utility of mathematics, the instructor continually makes connections between course material and TMYN tutorials. Pedagogical results are mostly positive. Because participation in TMYN modules is voluntary, two-thirds of students participate partially or wholly in the modules; the complementary fraction do not access a single module. We use pre- and post-tests to recognize gains in student mathematical competence. About one third of students either have lower or no change in performance whereas the balance exhibit varying gains. Some students’ scores saltate markedly by doubling, whereas other students achieve more modest gains. Not surprisingly, larger gains tend to be seen by students that have completed more modules with better scores, but this tendency is not absolute. TMYN modules are looked upon favorably by students. The preponderance of students think that TMYN modules improved their mathematical abilities and helped with the class. We plan continued use of TMYN modules with the goal of augmenting student participation, in anticipation of associated improvement in quantitative skills

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

Denaturation transition of stretched DNA

We generalize the Poland-Scheraga model to consider DNA denaturation in the presence of an external stretching force. We demonstrate the existence of a force-induced DNA denaturation transition and obtain the temperature-force phase diagram. The transition is determined by the loop exponent $c$ for which we find the new value $c=4\nu-1/2$ such that the transition is second order with $c=1.85<2$ in $d=3$. We show that a finite stretching force $F$ destabilizes DNA, corresponding to a lower melting temperature $T(F)$, in agreement with single-molecule DNA stretching experiments.Comment: 5 pages, 3 figure

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