A transportable strontium optical lattice clock

We report on a transportable optical clock, based on laser-cooled strontium atoms trapped in an optical lattice. The experimental apparatus is composed of a compact source of ultra-cold strontium atoms including a compact cooling laser set-up and a transportable ultra-stable laser for interrogating the optical clock transition. The whole setup (excluding electronics) fits within a volume of less than 2 m$^3$. The high degree of operation reliability of both systems allowed the spectroscopy of the clock transition to be performed with 10 Hz resolution. We estimate an uncertainty of the clock of $7\times10^{-15}$.Comment: 12 pages, 9 figures, to be published in Appl. Phys.

The 87-Sr optical frequency standard at PTB

With 87-Sr atoms confined in a one dimensional optical lattice, the frequency of the optical clock transition 5s^2 ^1S_0 - 5s5p ^3P_0 has been determined to be 429 228 004 229 872.9(5) Hz. The transition frequency was measured with the help of a fs-frequency comb against one of PTB's H-masers whose frequency was measured simultaneously by the PTB Cs fountain clock CSF1. The Sr optical frequency standard contributes with a fractional uncertainty of 1.5 10^-16 to the total uncertainty. The agreement of the measured transition frequency with previous measurements at other institutes supports the status of this transition as secondary representation of the second with the currently smallest uncertainty.Comment: 9 pages, 6 figure

Two cases of feline pyothorax : medical versus surgical treatment and associated challenges

Pyothorax is a rare disease in cats. Underlying causes and treatment recommendations vary greatly between cases. In this case series, the management of two challenging cases of feline pyothorax is discussed. In the first case, a nine-year-old female spayed European shorthair cat with pyothorax caused by Bacteroides fragilis is described. At the time of presentation, she was diagnosed with feline immunodeficiency virus as well. The pyothorax was succesfully managed medically. Unfortunately, the cat relapsed after three months and the owner elected euthanasia. The second case involved a ten-year-old male castrated British shorthair cat with identification of filamentous bacteria on pleural fluid cytology. This cat underwent surgical intervention because thoracic drainage was very difficult. Eventually, he recovered well and did not relapse up to two months postoperatively. The challenges in the decision process and treatment complications are discussed

Analyzing runtime and size complexity of integer programs

We present a modular approach to automatic complexity analysis of integer programs. Based on a novel alternation between finding symbolic time bounds for program parts and using these to infer bounds on the absolute values of program variables, we can restrict each analysis step to a small part of the program while maintaining a high level of precision. The bounds computed by our method are polynomial or exponential expressions that depend on the absolute values of input parameters. We show how to extend our approach to arbitrary cost measures, allowing to use our technique to find upper bounds for other expended resources, such as network requests or memory consumption. Our contributions are implemented in the open source tool KoAT, and extensive experiments show the performance and power of our implementation in comparison with other tools

Pyothorax in cats and dogs

Pyothorax, or thoracic empyema, is an infection of the pleural space, characterized by the accumulation of purulent exudate. It is a life-threatening emergency in dogs as well as in cats, with a guarded prognosis. Dyspnea and/or tachypnea, anorexia and lethargy are the most typical clinical signs. Diagnosis is usually straightforward, based on the clinical symptoms combined with pleural fluid analysis, including cytology and bacterial culture. Most commonly, oropharyngeal flora is isolated in the pleural fluid. Treatment can be medical or surgical, but needs to be immediate and aggressive. In this article, an overview of the various causes of both feline and canine pyothorax with its similarities and differences is provided. Epidemiology, symptoms, diagnosis, treatment and prognosis are discussed

NEOTωIST: A relatively Inexpensive Kinetic Impactor Demonstration Mission Concept

Mission concept: NEOTωIST stands for Near-Earth Object Transfer of angular momentum (ω∙I) Spin Test, and is a concept for a kinetic impactor demonstration mission, which aims to change the spin rate of an asteroid by impacting it off-center (Drube et al. 2016, Engel et al. 2016). The change would be measured by means of lightcurve measurements with Earth-based telescopes. In contrast to most other kinetic impactor demonstration mission concepts, NEOTωIST does not require a reconnaissance spacecraft to rendezvous with the target asteroid for orbit change and impact-effect measurements, and is therefore a relatively inexpensive alternative. The NEOTωIST mission would determine the efficiency of momentum transfer (the β-factor) during an impact, and help mature the technology required for a kinetic impactor mission, both of which are important precursor measures for a future space mission to deflect an asteroid by collisional means in an emergency impact hazard situation

The Space Optical Clocks Project: Development of high-performance transportable and breadboard optical clocks and advanced subsystems

The use of ultra-precise optical clocks in space ("master clocks") will allow for a range of new applications in the fields of fundamental physics (tests of Einstein's theory of General Relativity, time and frequency metrology by means of the comparison of distant terrestrial clocks), geophysics (mapping of the gravitational potential of Earth), and astronomy (providing local oscillators for radio ranging and interferometry in space). Within the ELIPS-3 program of ESA, the "Space Optical Clocks" (SOC) project aims to install and to operate an optical lattice clock on the ISS towards the end of this decade, as a natural follow-on to the ACES mission, improving its performance by at least one order of magnitude. The payload is planned to include an optical lattice clock, as well as a frequency comb, a microwave link, and an optical link for comparisons of the ISS clock with ground clocks located in several countries and continents. Undertaking a necessary step towards optical clocks in space, the EU-FP7-SPACE-2010-1 project no. 263500 (SOC2) (2011-2015) aims at two "engineering confidence", accurate transportable lattice optical clock demonstrators having relative frequency instability below 1\times10^-15 at 1 s integration time and relative inaccuracy below 5\times10^-17. This goal performance is about 2 and 1 orders better in instability and inaccuracy, respectively, than today's best transportable clocks. The devices will be based on trapped neutral ytterbium and strontium atoms. One device will be a breadboard. The two systems will be validated in laboratory environments and their performance will be established by comparison with laboratory optical clocks and primary frequency standards. In this paper we present the project and the results achieved during the first year.Comment: Contribution to European Frequency and Time Forum 2012, Gothenburg, Swede

Effects of thermal fluctuation and the receptor-receptor interaction in bacterial chemotactic signalling and adaptation

Bacterial chemotaxis is controlled by the conformational changes of the receptors, in response to the change of the ambient chemical concentration. In a statistical mechanical approach, the signalling due to the conformational changes is a thermodynamic average quantity, dependent on the temperature and the total energy of the system, including both ligand-receptor interaction and receptor-receptor interaction. This physical theory suggests to biology a new understanding of cooperation in ligand binding and receptor signalling problems. How much experimental support of this approach can be obtained from the currently available data? What are the parameter values? What is the practical information for experiments? Here we make comparisons between the theory and recent experimental results. Although currently comparisons can only be semi-quantitative or qualitative, consistency is clearly shown. The theory also helps to sort a variety of data.Comment: 26 pages, revtex. Journal version. Analysis on another set of data on adaptation time is adde