Fast opening diaphragm Patent

Magnetically opened diaphragm design with camera shutter and expansion tube application

Quantum Circuits Architecture

We present a method for optimizing quantum circuits architecture. The method is based on the notion of "quantum comb", which describes a circuit board in which one can insert variable subcircuits. The method allows one to efficiently address novel kinds of quantum information processing tasks, such as storing-retrieving, and cloning of channels.Comment: 10 eps figures + Qcircuit.te

Atomic spectroscopy with the shock tube

Spectroscopy of light atoms and ions and transition probability determinations using gas-driven shock tub

Spatial and temporal variation in otolith chemistry for tautog (Tautoga onitis) in Narragansett Bay and Rhode Island coastal ponds

The elemental composition of otoliths may provide valuable information for establishing connectivity between fish nursery grounds and adult fish populations. Concentrations of Rb, Mg, Ca, Mn, Sr, Na, K, Sr, Pb, and Ba were determined by using solution-based inductively coupled plasma mass spectrometry in otoliths of young-of-the year tautog (Tautoga onitis) captured in nursery areas along the Rhode Island coast during two consecutive years. Stable oxygen (δ18O) and carbon (δ13C) isotopic ratios in young-of-the year otoliths were also analyzed with isotope ratio mass spectrometry. Chemical signatures differed significantly among the distinct nurseries within Narragansett Bay and the coastal ponds across years. Significant differences were also observed within nurseries from year to year. Classification accuracy to each of the five tautog nursery areas ranged from 85% to 92% across years. Because accurate classification of juvenile tautog nursery sites was achieved, otolith chemistry can potentially be used as a natural habitat tag

The SPICE carbon isotope excursion in Siberia: a combined study of the upper Middle Cambrian-lowermost Ordovician Kulyumbe River section, northwestern Siberian Platform

An integrated, high-resolution chemostratigraphic (C, O and Sr isotopes) and magnetostratigraphic study through the upper Middle Cambrian–lowermost Ordovician shallowmarine carbonates of the northwestern margin of the Siberian Platform is reported. The interval was analysed at the Kulyumbe section, which is exposed along the Kulyumbe River, an eastern tributary of the Enisej River. It comprises the upper Ust’-Brus, Labaz, Orakta, Kulyumbe, Ujgur and lower Iltyk formations and includes the Steptoean positive carbon isotopic excursion (SPICE) studied here in detail from upper Cambrian carbonates of the Siberian Platform for the first time. The peak of the excursion, showing δ13C positive values as high as+4.6‰and least-altered 87Sr/86Sr ratios of 0.70909, is reported herein from the Yurakhian Horizon of the Kulyumbe Formation. The stratigraphic position of the SPICE excursion does not support traditional correlation of the boundary between theOrakta and Labaz formations at the Kulyumbe River with its supposedly equivalent level in Australia, Laurentia, South China and Kazakhstan, where the Glyptagnostus stolidotus and G. reticulatus biozones are known to immediately precede the SPICE excursion and span the Middle–Upper Cambrian boundary. The Cambrian–Ordovician boundary is probably situated in the middle Nyajan Horizon of the Iltyk Formation, in which carbon isotope values show a local maximum below a decrease in the upper part of the Nyajan Horizon, attributed herein to the Tremadocian Stage. A refined magnetic polarity sequence confirms that the geomagnetic reversal frequency was very high during Middle Cambrian times at 7–10 reversals per Ma, assuming a total duration of about 10 Ma and up to 100 magnetic intervals in the Middle Cambrian. By contrast, the sequence attributed herein to the Upper Cambrian on chemostratigraphic grounds contains only 10–11 magnetic intervals

Sequent Calculus in the Topos of Trees

Nakano's "later" modality, inspired by G\"{o}del-L\"{o}b provability logic, has been applied in type systems and program logics to capture guarded recursion. Birkedal et al modelled this modality via the internal logic of the topos of trees. We show that the semantics of the propositional fragment of this logic can be given by linear converse-well-founded intuitionistic Kripke frames, so this logic is a marriage of the intuitionistic modal logic KM and the intermediate logic LC. We therefore call this logic $\mathrm{KM}_{\mathrm{lin}}$. We give a sound and cut-free complete sequent calculus for $\mathrm{KM}_{\mathrm{lin}}$ via a strategy that decomposes implication into its static and irreflexive components. Our calculus provides deterministic and terminating backward proof-search, yields decidability of the logic and the coNP-completeness of its validity problem. Our calculus and decision procedure can be restricted to drop linearity and hence capture KM.Comment: Extended version, with full proof details, of a paper accepted to FoSSaCS 2015 (this version edited to fix some minor typos

Safe abstractions of data encodings in formal security protocol models

When using formal methods, security protocols are usually modeled at a high level of abstraction. In particular, data encoding and decoding transformations are often abstracted away. However, if no assumptions at all are made on the behavior of such transformations, they could trivially lead to security faults, for example leaking secrets or breaking freshness by collapsing nonces into constants. In order to address this issue, this paper formally states sufficient conditions, checkable on sequential code, such that if an abstract protocol model is secure under a Dolev-Yao adversary, then a refined model, which takes into account a wide class of possible implementations of the encoding/decoding operations, is implied to be secure too under the same adversary model. The paper also indicates possible exploitations of this result in the context of methods based on formal model extraction from implementation code and of methods based on automated code generation from formally verified model

Spatial and temporal variation in otolith chemistry for tautog (\u3cem\u3eTautoga onitis\u3c/em\u3e) in Narragansett Bay and Rhode Island coastal ponds

The elemental composition of otoliths may provide valuable information for establishing connectivity between fish nursery grounds and adult fish populations. Concentrations of Rb, Mg, Ca, Mn, Sr, Na, K, Sr, Pb, and Ba were determined by using solution-based inductively coupled plasma mass spectrometry in otoliths of young-of-the year tautog (Tautoga onitis) captured in nursery areas along the Rhode Island coast during two consecutive years. Stable oxygen (δ18O) and carbon (δ13C) isotopic ratios in young-of-the year otoliths were also analyzed with isotope ratio mass spectrometry. Chemical signatures differed significantly among the distinct nurseries within Narragansett Bay and the coastal ponds across years. Significant differences were also observed within nurseries from year to year. Classification accuracy to each of the five tautog nursery areas ranged from 85% to 92% across years. Because accurate classification of juvenile tautog nursery sites was achieved, otolith chemistry can potentially be used as a natural habitat tag

Radiocarbon as a novel tracer of extra-Antarctic feeding in Southern Hemisphere Humpback Whales

Bulk stable isotope analysis provides information regarding food web interactions, and has been applied to several cetacean species for the study of migration ecology. One limitation in bulk stable isotope analysis arises when a species, such as Southern hemisphere humpback whales, utilises geographically distinct food webs with differing isotopic baselines. Migrations to areas with different baselines can result in isotopic changes that mimic changes in feeding relations, leading to ambiguous food web interpretations. Here, we demonstrate the novel application of radiocarbon measurement for the resolution of such ambiguities. Radiocarbon was measured in baleen plates from humpback whales stranded in Australia between 2007 and 2013, and in skin samples collected in Australia and Antarctica from stranded and free-ranging animals. Radiocarbon measurements showed lower values for Southern Ocean feeding than for extra-Antarctic feeding in Australian waters. While the whales mostly relied on Antarctic-derived energy stores during their annual migration, there was some evidence of feeding within temperate zone waters in some individuals. This work, to our knowledge, provides the first definitive biochemical evidence for supplementary feeding by southern hemisphere humpback whales within temperate waters during migration. Further, the work contributes a powerful new tool (radiocarbon) for tracing source regions and geographical feeding