NOSS Altimeter Detailed Algorithm specifications

The details of the algorithms and data sets required for satellite radar altimeter data processing are documented in a form suitable for (1) development of the benchmark software and (2) coding the operational software. The algorithms reported in detail are those established for altimeter processing. The algorithms which required some additional development before documenting for production were only scoped. The algorithms are divided into two levels of processing. The first level converts the data to engineering units and applies corrections for instrument variations. The second level provides geophysical measurements derived from altimeter parameters for oceanographic users

Postcard: Spiker and McMillan Music Store, Columbus, Kansas

This monochrome photographic postcard features a music shop in Columbus, Kansas. The black and white photo is blue in hue. The shop contains pianos lined along the right wall. Display cases line the left wall. Violins hang on the right wall. Printed text is on the bottom of the card and handwriting is on the back of the card.https://scholars.fhsu.edu/tj_postcards/1553/thumbnail.jp

Experimental demonstration of a measurement-based realisation of a quantum channel

We introduce and experimentally demonstrate a method for realising a quantum channel using the measurement-based model. Using a photonic setup and modifying the bases of single-qubit measurements on a four-qubit entangled cluster state, representative channels are realised for the case of a single qubit in the form of amplitude and phase damping channels. The experimental results match the theoretical model well, demonstrating the successful performance of the channels. We also show how other types of quantum channels can be realised using our approach. This work highlights the potential of the measurement-based model for realising quantum channels which may serve as building blocks for simulations of realistic open quantum systems.Comment: 8 pages, 4 figure

NOSS altimeter algorithm specifications

A description of all algorithms required for altimeter processing is given. Each description includes title, description, inputs/outputs, general algebraic sequences and data volume. All required input/output data files are described and the computer resources required for the entire altimeter processing system were estimated. The majority of the data processing requirements for any radar altimeter of the Seasat-1 type are scoped. Additions and deletions could be made for the specific altimeter products required by other projects

The Gap Function Phi(k,w) for a Two-leg t-J Ladder and the Pairing Interaction

The gap function phi(k,omega), determined from a Lanczos calculation for a doped 2-leg t-J ladder, is used to provide insight into the spatial and temporal structure of the pairing interaction. It implies that this interaction is a local near-neighbor coupling which is retarded. The onset frequency of the interaction is set by the energy of an S=1 magnon-hole-pair and it is spread out over a frequency region of order the bandwith

Long-term health outcomes after exposure to repeated concussion in elite level: rugby union players

Background: There is continuing concern about effects of concussion in athletes, including risk of the neurodegenerative disease chronic traumatic encephalopathy. However, information on long-term health and wellbeing in former athletes is limited. Method: Outcome after exposure to repeated brain injury was investigated in 52 retired male Scottish international rugby players (RIRP) and 29 male controls who were similar in age and social deprivation. Assessment included history of playing rugby and traumatic brain injury, general and mental health, life stress, concussion symptoms, cognitive function, disability and markers of chronic stress (allostatic load). Results: The estimated number of concussions in RIRP averaged 14 (median=7; IQR 5-40). Performance was poorer in RIRP than controls on a test of verbal learning (p=0.022) and of fine co-ordination of the dominant hand (p=0.038) and not significantly different on other cognitive tests (p>0.05). There were no significant associations between number of concussions and performance on cognitive tests. Other than a higher incidence of cardiovascular disease in controls, no group differences were detected in general or mental health or estimates of allostatic load. In RIRP, persisting symptoms attributed to concussion were more common if reporting more than nine concussions (p=0.028), although these symptoms were not perceived to affect social or work functioning. Conclusions: Despite a high number of concussions in RIRP, differences in mental health, social or work functioning were not found late after injury. Subtle group differences were detected on two cognitive tests, the cause of which is uncertain. Prospective group comparison studies on representative cohorts are required

Splitting Proofs for Interpolation

We study interpolant extraction from local first-order refutations. We present a new theoretical perspective on interpolation based on clearly separating the condition on logical strength of the formula from the requirement on the com- mon signature. This allows us to highlight the space of all interpolants that can be extracted from a refutation as a space of simple choices on how to split the refuta- tion into two parts. We use this new insight to develop an algorithm for extracting interpolants which are linear in the size of the input refutation and can be further optimized using metrics such as number of non-logical symbols or quantifiers. We implemented the new algorithm in first-order theorem prover VAMPIRE and evaluated it on a large number of examples coming from the first-order proving community. Our experiments give practical evidence that our work improves the state-of-the-art in first-order interpolation.Comment: 26th Conference on Automated Deduction, 201

Non-Parametric Estimation of Copula Parameters: Testing for Time-Varying Correlation

The correlation structure of financial assets is a key input with regard to portfolio and risk management. In this paper, we propose a non-parametric estimation method for the time-varying copula parameter. This is achieved in two steps: first, displaying the marginal distributions of financial asset returns by applying the empirical distribution function; second, by implementing the local likelihood method to estimate the copula parameters. The method for obtaining the optimal bandwidth through a maximum pseudo likelihood function and a statistical test on whether the copula parameter is time-varying are also introduced. A simulation study is conducted to show that our method is superior to its contender. Finally, we verify the proposed estimation methodology and time-varying statistical test by analysing the dynamic linkages between the Shanghai, Shenzhen and Hong Kong stock markets

Finite-Size Scaling of the Domain Wall Entropy Distributions for the 2D ±J\pm J Ising Spin Glass

The statistics of domain walls for ground states of the 2D Ising spin glass with +1 and -1 bonds are studied for $L \times L$ square lattices with $L \le 48$, and $p$ = 0.5, where $p$ is the fraction of negative bonds, using periodic and/or antiperiodic boundary conditions. When $L$ is even, almost all domain walls have energy $E_{dw}$ = 0 or 4. When $L$ is odd, most domain walls have $E_{dw}$ = 2. The probability distribution of the entropy, $S_{dw}$, is found to depend strongly on $E_{dw}$. When $E_{dw} = 0$, the probability distribution of $|S_{dw}|$ is approximately exponential. The variance of this distribution is proportional to $L$, in agreement with the results of Saul and Kardar. For $E_{dw} = k > 0$ the distribution of $S_{dw}$ is not symmetric about zero. In these cases the variance still appears to be linear in $L$, but the average of $S_{dw}$ grows faster than $\sqrt{L}$. This suggests a one-parameter scaling form for the $L$-dependence of the distributions of $S_{dw}$ for $k > 0$.Comment: 13 page