Collaborative Computation in Self-Organizing Particle Systems

Many forms of programmable matter have been proposed for various tasks. We use an abstract model of self-organizing particle systems for programmable matter which could be used for a variety of applications, including smart paint and coating materials for engineering or programmable cells for medical uses. Previous research using this model has focused on shape formation and other spatial configuration problems (e.g., coating and compression). In this work we study foundational computational tasks that exceed the capabilities of the individual constant size memory of a particle, such as implementing a counter and matrix-vector multiplication. These tasks represent new ways to use these self-organizing systems, which, in conjunction with previous shape and configuration work, make the systems useful for a wider variety of tasks. They can also leverage the distributed and dynamic nature of the self-organizing system to be more efficient and adaptable than on traditional linear computing hardware. Finally, we demonstrate applications of similar types of computations with self-organizing systems to image processing, with implementations of image color transformation and edge detection algorithms

Migrations and habitat use of the smooth hammerhead shark (Sphyrna zygaena) in the Atlantic Ocean

The smooth hammerhead shark, Sphyrna zygaena, is a cosmopolitan semipelagic shark captured as bycatch in pelagic oceanic fisheries, especially pelagic longlines targeting swordfish and/or tunas. From 2012 to 2016, eight smooth hammerheads were tagged with Pop-up Satellite Archival Tags in the inter-tropical region of the Northeast Atlantic Ocean, with successful transmissions received from seven tags (total of 319 tracking days). Results confirmed the smooth hammerhead is a highly mobile species, as the longest migration ever documented for this species (> 6600 km) was recorded. An absence of a diel vertical movement behavior was noted, with the sharks spending most of their time at surface waters (0-50 m) above 23 degrees C. The operating depth of the pelagic long-line gear was measured with Minilog Temperature and Depth Recorders, and the overlap with the species vertical distribution was calculated. The overlap is taking place mainly during the night and is higher for juveniles (similar to 40% of overlap time). The novel information presented can now be used to contribute to the provision of sustainable management tools and serve as input for Ecological Risk Assessments for smooth hammerheads caught in Atlantic pelagic longline fisheries.Oceanario de Lisboa through Project "SHARK-TAG: Migrations and habitat use of the smooth hammerhead shark in the Atlantic Ocean"; Investigador-FCT from the Portuguese Foundation for Science and Technology (FCT, Fundacao para a Ciencia e Tecnologia) [Ref: IF/00253/2014]; EU European Social Fund; Programa Operacional Potencial Human

Detection of the pairwise kinematic Sunyaev-Zel'dovich effect with BOSS DR11 and the Atacama Cosmology Telescope

We present a new measurement of the kinematic Sunyaev-Zeldovich effect using data from the Atacama Cosmology Telescope (ACT) and the Baryon Oscillation Spectroscopic Survey (BOSS). Using 600 square degrees of overlapping sky area, we evaluate the mean pairwise baryon momentum associated with the positions of 50,000 bright galaxies in the BOSS DR11 Large Scale Structure catalog. A non-zero signal arises from the large-scale motions of halos containing the sample galaxies. The data fits an analytical signal model well, with the optical depth to microwave photon scattering as a free parameter determining the overall signal amplitude. We estimate the covariance matrix of the mean pairwise momentum as a function of galaxy separation, using microwave sky simulations, jackknife evaluation, and bootstrap estimates. The most conservative simulation-based errors give signal-to-noise estimates between 3.6 and 4.1 for varying galaxy luminosity cuts. We discuss how the other error determinations can lead to higher signal-to-noise values, and consider the impact of several possible systematic errors. Estimates of the optical depth from the average thermal Sunyaev-Zeldovich signal at the sample galaxy positions are broadly consistent with those obtained from the mean pairwise momentum signal.Comment: 15 pages, 8 figures, 2 table

A formally verified compiler back-end

This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its correctness. Such a verified compiler is useful in the context of formal methods applied to the certification of critical software: the verification of the compiler guarantees that the safety properties proved on the source code hold for the executable compiled code as well

International trends in clinical characteristics and oral anticoagulation treatment for patients with atrial fibrillation: Results from the GARFIELD-AF, ORBIT-AF I, and ORBIT-AF II registries.

Atrial fibrillation (AF) is the most common cardiac arrhythmia in the world. We aimed to provide comprehensive data on international patterns of AF stroke prevention treatment. METHODS: Demographics, comorbidities, and stroke risk of the patients in the GARFIELD-AF (n=51,270), ORBIT-AF I (n=10,132), and ORBIT-AF II (n=11,602) registries were compared (overall N=73,004 from 35 countries). Stroke prevention therapies were assessed among patients with new-onset AF (≤6 weeks). RESULTS: Patients from GARFIELD-AF were less likely to be white (63% vs 89% for ORBIT-AF I and 86% for ORBIT-AF II) or have coronary artery disease (19% vs 36% and 27%), but had similar stroke risk (85% CHA2DS2-VASc ≥2 vs 91% and 85%) and lower bleeding risk (11% with HAS-BLED ≥3 vs 24% and 15%). Oral anticoagulant use was 46% and 57% for patients with a CHA2DS2-VASc=0 and 69% and 87% for CHA2DS2-VASc ≥2 in GARFIELD-AF and ORBIT-AF II, respectively, but with substantial geographic heterogeneity in use of oral anticoagulant (range: 31%-93% [GARFIELD-AF] and 66%-100% [ORBIT-AF II]). Among patients with new-onset AF, non-vitamin K antagonist oral anticoagulant use increased over time to 43% in 2016 for GARFIELD-AF and 71% for ORBIT-AF II, whereas use of antiplatelet monotherapy decreased from 36% to 17% (GARFIELD-AF) and 18% to 8% (ORBIT-AF I and II). CONCLUSIONS: Among new-onset AF patients, non-vitamin K antagonist oral anticoagulant use has increased and antiplatelet monotherapy has decreased. However, anticoagulation is used frequently in low-risk patients and inconsistently in those at high risk of stroke. Significant geographic variability in anticoagulation persists and represents an opportunity for improvement

Revisions to the derivation of the Australian and New Zealand guidelines for toxicants in fresh and marine waters

The Australian and New Zealand Guidelines for Fresh and Marine Water Quality are a key document in the Australian National Water Quality Management Strategy. These guidelines released in 2000 are currently being reviewed and updated. The revision is being co-ordinated by the Australian Department of Sustainability, Environment, Water, Population and Communities, while technical matters are dealt with by a series of Working Groups. The revision will be evolutionary in nature reflecting the latest scientific developments and a range of stakeholder desires. Key changes will be: increasing the types and sources of data that can be used; working collaboratively with industry to permit the use of commercial-in-confidence data; increasing the minimum data requirements; including a measure of the uncertainty of the trigger value; improving the software used to calculate trigger values; increasing the rigour of site-specific trigger values; improving the method for assessing the reliability of the trigger values; and providing guidance of measures of toxicity and toxicological endpoints that may, in the near future, be appropriate for trigger value derivation. These changes will markedly improve the number and quality of the trigger values that can be derived and will increase end-users’ ability to understand and implement the guidelines in a scientifically rigorous manner

Widespread range expansions shape latitudinal variation in insect thermal limits

I thank the authors of previous studies on global variation in insect thermal tolerances who have generously provided open access use of their data sets.Peer reviewedPostprin

Deuteron and antideuteron production in Au+Au collisions at sqrt(s_NN)=200 GeV

The production of deuterons and antideuterons in the transverse momentum range 1.1 < p_T < 4.3 GeV/c at mid-rapidity in Au + Au collisions at sqrt(s_NN)=200 GeV has been studied by the PHENIX experiment at RHIC. A coalescence analysis comparing the deuteron and antideuteron spectra with those of protons and antiprotons, has been performed. The coalescence probability is equal for both deuterons and antideuterons and increases as a function of p_T, which is consistent with an expanding collision zone. Comparing (anti)proton yields p_bar/p = 0.73 +/- 0.01, with (anti)deuteron yields: d_bar/d = 0.47 +/- 0.03, we estimate that n_bar/n = 0.64 +/- 0.04.Comment: 326 authors, 6 pages text, 5 figures, 1 Table. Submitted to PRL. Plain text data tables for the points plotted in figures for this and previous PHENIX publications are (or will be) publicly available at http://www.phenix.bnl.gov/papers.htm

Single Electrons from Heavy Flavor Decays in p+p Collisions at sqrt(s) = 200 GeV

The invariant differential cross section for inclusive electron production in p+p collisions at sqrt(s) = 200 GeV has been measured by the PHENIX experiment at the Relativistic Heavy Ion Collider over the transverse momentum range $0.4 <= p_T <= 5.0 GeV/c at midrapidity (eta <= 0.35). The contribution to the inclusive electron spectrum from semileptonic decays of hadrons carrying heavy flavor, i.e. charm quarks or, at high p_T, bottom quarks, is determined via three independent methods. The resulting electron spectrum from heavy flavor decays is compared to recent leading and next-to-leading order perturbative QCD calculations. The total cross section of charm quark-antiquark pair production is determined as sigma_(c c^bar) = 0.92 +/- 0.15 (stat.) +- 0.54 (sys.) mb.Comment: 329 authors, 6 pages text, 3 figures. Submitted to Phys. Rev. Lett. Plain text data tables for the points plotted in figures for this and previous PHENIX publications are (or will be) publicly available at http://www.phenix.bnl.gov/papers.htm

Molecular identification of adenoviruses associated with respiratory infection in Egypt from 2003 to 2010.

BACKGROUND: Human adenoviruses of species B, C, and E (HAdV-B, -C, -E) are frequent causative agents of acute respiratory infections worldwide. As part of a surveillance program aimed at identifying the etiology of influenza-like illness (ILI) in Egypt, we characterized 105 adenovirus isolates from clinical samples collected between 2003 and 2010. METHODS: Identification of the isolates as HAdV was accomplished by an immunofluorescence assay (IFA) and confirmed by a set of species and type specific polymerase chain reactions (PCR). RESULTS: Of the 105 isolates, 42% were identified as belonging to HAdV-B, 60% as HAdV-C, and 1% as HAdV-E. We identified a total of six co-infections by PCR, of which five were HAdV-B/HAdV-C co-infections, and one was a co-infection of two HAdV-C types: HAdV-5/HAdV-6. Molecular typing by PCR enabled the identification of eight genotypes of human adenoviruses; HAdV-3 (n = 22), HAdV-7 (n = 14), HAdV-11 (n = 8), HAdV-1 (n = 22), HAdV-2 (20), HAdV-5 (n = 15), HAdV-6 (n = 3) and HAdV-4 (n = 1). The most abundant species in the characterized collection of isolates was HAdV-C, which is concordant with existing data for worldwide epidemiology of HAdV respiratory infections. CONCLUSIONS: We identified three species, HAdV-B, -C and -E, among patients with ILI over the course of 7 years in Egypt, with at least eight diverse types circulating