title: Nonlinear Laplacian spectral analysis: Capturing intermittent and low-frequency spatiotemporal patterns in high-dimensional data

abstract: We present a technique for spatiotemporal data analysis called nonlinear Laplacian spectral analysis (NLSA), which generalizes singular spectrum analysis (SSA) to take into account the nonlinear manifold structure of complex data sets. The key principle underlying NLSA is that the functions used to represent temporal patterns should exhibit a degree of smoothness on the nonlinear data manifold M; a constraint absent from classical SSA. NLSA enforces such a notion of smoothness by requiring that temporal patterns belong in low-dimensional Hilbert spaces V_l spanned by the leading l Laplace-Beltrami eigenfunctions on M. These eigenfunctions can be evaluated efficiently in high ambient-space dimensions using sparse graph-theoretic algorithms. Moreover, they provide orthonormal bases to expand a family of linear maps, whose singular value decomposition leads to sets of spatiotemporal patterns at progressively finer resolution on the data manifold. The Riemannian measure of M and an adaptive graph kernel width enhances the capability of NLSA to detect important nonlinear processes, including intermittency and rare events. The minimum dimension of V_l required to capture these features while avoiding overfitting is estimated here using spectral entropy criteria.


title: On the Convergence of Collaboration and Knowledge Management

abstract: Collaboration technology typically focuses on collaboration and group processes (cooperation, communication, coordination and coproduction). Knowledge Management (KM) technology typically focuses on content (creation, storage, sharing and use of data, information and knowledge). Yet, to achieve their common goals, teams and organizations need both KM and collaboration technology to make that more effective and efficient. This paper is interested in knowledge management and collaboration regarding their convergence and their integration. First, it contributes to a better understanding of the knowledge management and collaboration concepts. Second, it focuses on KM and collaboration convergence by presenting the different interpretation of this convergence. Third, this paper proposes a generic framework of collaborative knowledge management.


title: Search for the exotic states at Belle

abstract: We review recent results on charmonium-like exotic states from the Belle experiment. The two-photon process $\gamma \gamma \to \phi \jpsi$ is measured to search for Y(4140). No signal for the $Y(4140) \to \phi \jpsi$ is observed. But a narrow peak with a significance of 3.2$\sigma$ deviations including systematic uncertainty is observed at 4350.6 MeV/$c^2$ that we named X(4350). We also search for charmonium-like states, including X(3872), Y(4140), X(3915) and X(4350), in $\Upsilon(1S)$ and $\Upsilon(2S)$ radiative decays. No significant signal of any charmonium-like state is observed. The processes $\gamma \gamma \to VV$ ($V=\omega$ or $\phi$) are also measured to search for the possible exotic states in low mass region. There are clear resonant structures in all the decay modes.


title: SpeechJammer: A System Utilizing Artificial Speech Disturbance with Delayed Auditory Feedback

abstract: In this paper we report on a system, "SpeechJammer", which can be used to disturb people's speech. In general, human speech is jammed by giving back to the speakers their own utterances at a delay of a few hundred milliseconds. This effect can disturb people without any physical discomfort, and disappears immediately by stop speaking. Furthermore, this effect does not involve anyone but the speaker. We utilize this phenomenon and implemented two prototype versions by combining a direction-sensitive microphone and a direction-sensitive speaker, enabling the speech of a specific person to be disturbed. We discuss practical application scenarios of the system, such as facilitating and controlling discussions. Finally, we argue what system parameters should be examined in detail in future formal studies based on the lessons learned from our preliminary study.


title: Classification of Ising vectors in the vertex operator algebra $V_L^+$

abstract: Let $L$ be an even lattice without roots. In this article, we classify all Ising vectors in the vertex operator algebra $V_L^+$ associated with $L$.


title: Avian magnetoreception model realized by coupling magnetite-based mechanism with radical-pair-based mechanism

abstract: Many animal species were verified to use geomagnetic field for their navigation, but the biophysical mechanism of magnetoreception has remained enigmatic. This paper presents a special biophysical model that consists of magnetite-based and radical-pair-based mechanisms for avian magnetoreception. The amplitude of the resultant magnetic field around the magnetic particles corresponds to the geomagnetic field direction and affects the yield of singlet/triplet state products in the radical-pair reactions. Therefore, in the proposed model, the singlet/triplet state product yields are related to the geomagnetic field information for orientational detection. The resultant magnetic fields corresponding to two materials with different magnetic properties were analyzed under different geomagnetic field directions. The results showed that ferromagnetic particles in organisms can provide more significant changes in singlet state products than superparamagnetic particles, and the period of variation for the singlet state products with an included angle in the geomagnetic field is approximately 180{\deg} when the magnetic particles are ferromagnetic materials, consistent with the experimental results obtained from avian magnetic compass. Further, the calculated results of the singlet state products in a reception plane showed that the proposed model can explain the avian magnetoreception mechanism with an inclination compass.


title: Local Routing in Graphs Embedded on Surfaces of Arbitrary Genus

abstract: We present a local routing algorithm which guarantees delivery in all connected graphs embedded on a known surface of genus $g$. The algorithm transports $O(g\log n)$ memory and finishes in time $O(g^2n^2)$, where $n$ is the size of the graph. It requires access to a homology basis for the surface. This algorithm, GFR, may be viewed as a suitable generalization of Face Routing (FR), the well-known algorithm for plane graphs, which we previously showed does {\it not} guarantee delivery in graphs embedded on positive genus surfaces. The problem for such surfaces is the potential presence of homologically non-trivial closed walks which may be traversed by the right-hand rule. We use an interesting mathematical property of homology bases (proven in Lemma \ref{lem:connectFaceBdr}) to show that such walks will not impede GFR. FR is at the base of most routing algorithms used in modern (2D) ad hoc networks: these algorithms all involve additional local techniques to deal with edge-crossings so FR may be applied. GFR should be viewed in the same light, as a base algorithm which could for example be tailored to sensor networks on surfaces in 3D. Currently there are no known efficient local, logarithmic memory algorithms for 3D ad hoc networks. From a theoretical point of view our work suggests that the efficiency advantages from which FR benefits are related to the codimension one nature of an embedded graph in a surface rather than the flatness of that surface (planarity).


title: An Optimal Control Approach to the Persistent Monitoring Problem

abstract: We propose an optimal control framework for persistent monitoring problems where the objective is to control the movement of mobile nodes to minimize an uncertainty metric in a given mission space. For multi agent in a one-dimensional mission space, we show that the optimal solution is obtained in terms of a sequence of switching locations and waiting time on these switching points, thus reducing it to a parametric optimization problem. Using Infinitesimal Perturbation Analysis (IPA) we obtain a complete solution through a gradient-based algorithm. We also discuss a receding horizon controller which is capable of obtaining a near-optimal solution on-the-fly.


title: Topological code Autotune

abstract: Many quantum systems are being investigated in the hope of building a large-scale quantum computer. All of these systems suffer from decoherence, resulting in errors during the execution of quantum gates. Quantum error correction enables reliable quantum computation given unreliable hardware. Unoptimized topological quantum error correction (TQEC), while still effective, performs very suboptimally, especially at low error rates. Hand optimizing the classical processing associated with a TQEC scheme for a specific system to achieve better error tolerance can be extremely laborious. We describe a tool Autotune capable of performing this optimization automatically, and give two highly distinct examples of its use and extreme outperformance of unoptimized TQEC. Autotune is designed to facilitate the precise study of real hardware running TQEC with every quantum gate having a realistic, physics-based error model.


title: Anatomy of the giant component: The strictly supercritical regime

abstract: In a recent work of the authors and Kim, we derived a complete description of the largest component of the Erd\H{o}s-R\'enyi random graph $G(n,p)$ as it emerges from the critical window, i.e. for $p = (1+\epsilon)/n$ where $\epsilon^3 n \to\infty$ and $\epsilon=o(1)$, in terms of a tractable contiguous model. Here we provide the analogous description for the supercritical giant component, i.e., the largest component of $G(n,p)$ for $p = \lambda/n$ where $\lambda>1$ is fixed. The contiguous model is roughly as follows: Take a random degree sequence and sample a random multigraph with these degrees to arrive at the kernel; Replace the edges by paths whose lengths are i.i.d. geometric variables to arrive at the 2-core; Attach i.i.d. Poisson Galton-Watson trees to the vertices for the final giant component. As in the case of the emerging giant, we obtain this result via a sequence of contiguity arguments at the heart of which are Kim's Poisson-cloning method and the Pittel-Wormald local limit theorems.


title: Finite density QCD phase transition in the heavy quark region

abstract: We extend our previous study of the QCD phase structure in the heavy quark region to non-zero chemical potentials. To identify the critical point where the first order deconfining transition terminates, we study an effective potential defined by the probability distribution function of the plaquette and the Polyakov loop. The reweighting technique is shown to be powerful in evaluating the effective potential in a wide range of the plaquette and Polyakov loop expectation values. We adopt the cumulant expansion to overcome the sign problem in the calculation of complex phase of the quark determinant. We find that the method provides us with an intuitive and powerful way to study the phase structure. We estimate the location of the critical point at finite chemical potential in the heavy quark region.


title: Generalized Second Law of Thermodynamics in $f(T)$ Gravity with Entropy Corrections

abstract: We study the generalized second law (GSL) of thermodynamics in $f(T)$ cosmology. We consider the universe as a closed bounded system filled with $n$ component fluids in the thermal equilibrium with the cosmological boundary. We use two different cosmic horizons: the future event horizon and the apparent horizon. We show the conditions under which the GSL will be valid in specific scenarios of the quintessence and the phantom energy dominated eras. Further we associate two different entropies with the cosmological horizons: with a logarithmic correction term and a power-law correction term. We also find the conditions for the GSL to be satisfied or violated by imposing constraints on model parameters.


title: U(1) Slave-spin theory and its application to Mott transition in a multi-orbital model for iron pnictides

abstract: A U(1) slave-spin representation is introduced for multi-orbital Hubbard models. As with the $Z_2$ form of L. de'Medici et al. (Phys. Rev. B 72, 205124 (2005)), this approach represents a physical electron operator as the product of a slave spin and an auxiliary fermion operator. For non-degenerate multi-orbital models, our U(1) approach is advantageous in that it captures the non-interacting limit at the mean-field level. For systems with either a single orbital or degenerate multiple orbitals, the U(1) and $Z_2$ slave-spin approachs yield the same results in the slave-spin-condensed phase. In general, the U(1) slave-spin approach contains a U(1) gauge redundancy, and properly describes a Mott insulating phase. We apply the U(1) slave-spin approach to study the metal-to-insulator transition in a five-orbital model for parent iron pnictides. We demonstrate a Mott transition as a function of the interactions in this model. The nature of the Mott insulating state is influenced by the interplay between the Hund's rule coupling and crystal field splittings. In the metallic phase, when the Hund's rule coupling is beyond a threshold, there is a crossover from a weakly correlated metal to a strongly correlated one, through which the quasiparticle speactral weight rapidly drops. The existence of such a strongly correlated metallic phase supports the incipient Mott picture of the parent iron pnictides. In the parameter regime for this phase and in the vicinity of the Mott transition, we find that an orbital selective Mott state has nearly as competitive a ground state energy.


title: A Massively Parallel Time Domain Phase Field Model for Multi-domain Ferroelectric Device Simulation

abstract: In this work, we report a massively parallel and time domain implementation of the 3D phase field model that can reach beyond micron scale and consider for arbitrary electrical and mechanical boundary conditions. The first part of the paper describes the theory and the numerical implementation of the model. A mixed-mode approach of finite difference and finite element grid has been used for calculating the nonlocal electrostatic and elastic interactions respectively. All the local and non-local interactions are shown to scale linearly up to thousands of processors. This massive parallelization allows us to directly compare our results with multiple experiments at the same size scale. The second part of the paper presents results of ferroelectric switching in devices based on the multi-ferroic BiFeO$_{3}$. We have particularly emphasized the importance of charge driven domain growth and the effect of electrical boundary conditions that explain the temporal evolution of ferroelectric domains observed in recent experiments. We also predict a mechanism of controlling domain size in the multi-domain ferroelectric switching that could be useful for practical applications.


title: Normal cyclic polytopes and cyclic polytopes that are not very ample

abstract: Let $d$ and $n$ be positive integers with $n \geq d + 1$ and $\tau_{1}, ..., \tau_{n}$ integers with $\tau_{1} < ... < \tau_{n}$. Let $C_{d}(\tau_{1}, ..., \tau_{n}) \subset \RR^{d}$ denote the cyclic polytope of dimension $d$ with $n$ vertices $(\tau_{1},\tau_{1}^{2},...,\tau_{1}^{d}), ..., (\tau_{n},\tau_{n}^{2},...,\tau_{n}^{d})$. We are interested in finding the smallest integer $\gamma_{d}$ such that if $\tau_{i+1} - \tau_{i} \geq \gamma_{d}$ for $1 \leq i < n$, then $C_{d}(\tau_{1}, ..., \tau_{n})$ is normal. One of the known results is $\gamma_{d} \leq d (d + 1)$. In the present paper a new inequality $\gamma_{d} \leq d^{2} - 1$ is proved. Moreover, it is shown that if $d \geq 4$ with $\tau_{3} - \tau_{2} = 1$, then $C_{d}(\tau_{1}, ..., \tau_{n})$ is not very ample.


title: Model-Based Security Testing

abstract: Security testing aims at validating software system requirements related to security properties like confidentiality, integrity, authentication, authorization, availability, and non-repudiation. Although security testing techniques are available for many years, there has been little approaches that allow for specification of test cases at a higher level of abstraction, for enabling guidance on test identification and specification as well as for automated test generation. Model-based security testing (MBST) is a relatively new field and especially dedicated to the systematic and efficient specification and documentation of security test objectives, security test cases and test suites, as well as to their automated or semi-automated generation. In particular, the combination of security modelling and test generation approaches is still a challenge in research and of high interest for industrial applications. MBST includes e.g. security functional testing, model-based fuzzing, risk- and threat-oriented testing, and the usage of security test patterns. This paper provides a survey on MBST techniques and the related models as well as samples of new methods and tools that are under development in the European ITEA2-project DIAMONDS.


title: Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool

abstract: Seamless model based development aims to use models during all phases of the development process of a system. During the development process in a component-based approach, components of a system are described at qualitatively differing abstraction levels: during requirements engineering component models are rather abstract high-level and underspecified, while during implementation the component models are rather concrete and fully specified in order to enable code generation. An important issue that arises is assuring that the concrete models correspond to abstract models. In this paper, we propose a method to assure that concrete models for system components refine more abstract models for the same components. In particular we advocate a framework for reusing testcases at different abstraction levels. Our approach, even if it cannot completely prove the refinement, can be used to ensure confidence in the development process. In particular we are targeting the refinement of requirements which are represented as very abstract models. Besides a formal model of our approach, we discuss our experiences with the development of an Adaptive Cruise Control (ACC) system in a model driven development process. This uses extensions which we implemented for our model-based development tool and which are briefly presented in this paper.


title: Applying SMT Solvers to the Test Template Framework

abstract: The Test Template Framework (TTF) is a model-based testing method for the Z notation. In the TTF, test cases are generated from test specifications, which are predicates written in Z. In turn, the Z notation is based on first-order logic with equality and Zermelo-Fraenkel set theory. In this way, a test case is a witness satisfying a formula in that theory. Satisfiability Modulo Theory (SMT) solvers are software tools that decide the satisfiability of arbitrary formulas in a large number of built-in logical theories and their combination. In this paper, we present the first results of applying two SMT solvers, Yices and CVC3, as the engines to find test cases from TTF's test specifications. In doing so, shallow embeddings of a significant portion of the Z notation into the input languages of Yices and CVC3 are provided, given that they do not directly support Zermelo-Fraenkel set theory as defined in Z. Finally, the results of applying these embeddings to a number of test specifications of eight cases studies are analysed.


title: Exact Gap Computation for Code Coverage Metrics in ISO-C

abstract: Test generation and test data selection are difficult tasks for model based testing. Tests for a program can be meld to a test suite. A lot of research is done to quantify the quality and improve a test suite. Code coverage metrics estimate the quality of a test suite. This quality is fine, if the code coverage value is high or 100%. Unfortunately it might be impossible to achieve 100% code coverage because of dead code for example. There is a gap between the feasible and theoretical maximal possible code coverage value. Our review of the research indicates, none of current research is concerned with exact gap computation. This paper presents a framework to compute such gaps exactly in an ISO-C compatible semantic and similar languages. We describe an efficient approximation of the gap in all the other cases. Thus, a tester can decide if more tests might be able or necessary to achieve better coverage.


title: Using Built-In Domain-Specific Modeling Support to Guide Model-Based Test Generation

abstract: We present a model-based testing approach to support automated test generation with domain-specific concepts. This includes a language expert who is an expert at building test models and domain experts who are experts in the domain of the system under test. First, we provide a framework to support the language expert in building test models using a full (Java) programming language with the help of simple but powerful modeling elements of the framework. Second, based on the model built with this framework, the toolset automatically forms a domain-specific modeling language that can be used to further constrain and guide test generation from these models by a domain expert. This makes it possible to generate a large set of test cases covering the full model, chosen (constrained) parts of the model, or manually define specific test cases on top of the model while using concepts familiar to the domain experts.


title: Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking

abstract: Model-based mutation testing uses altered test models to derive test cases that are able to reveal whether a modelled fault has been implemented. This requires conformance checking between the original and the mutated model. This paper presents an approach for symbolic conformance checking of action systems, which are well-suited to specify reactive systems. We also consider nondeterminism in our models. Hence, we do not check for equivalence, but for refinement. We encode the transition relation as well as the conformance relation as a constraint satisfaction problem and use a constraint solver in our reachability and refinement checking algorithms. Explicit conformance checking techniques often face state space explosion. First experimental evaluations show that our approach has potential to outperform explicit conformance checkers.


title: Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation

abstract: The notion of quiescence - the absence of outputs - is vital in both behavioural modelling and testing theory. Although the need for quiescence was already recognised in the 90s, it has only been treated as a second-class citizen thus far. This paper moves quiescence into the foreground and introduces the notion of quiescent transition systems (QTSs): an extension of regular input-output transition systems (IOTSs) in which quiescence is represented explicitly, via quiescent transitions. Four carefully crafted rules on the use of quiescent transitions ensure that our QTSs naturally capture quiescent behaviour. We present the building blocks for a comprehensive theory on QTSs supporting parallel composition, action hiding and determinisation. In particular, we prove that these operations preserve all the aforementioned rules. Additionally, we provide a way to transform existing IOTSs into QTSs, allowing even IOTSs as input that already contain some quiescent transitions. As an important application, we show how our QTS framework simplifies the fundamental model-based testing theory formalised around ioco.


title: Rule-based Test Generation with Mind Maps

abstract: This paper introduces basic concepts of rule based test generation with mind maps, and reports experiences learned from industrial application of this technique in the domain of smart card testing by Giesecke & Devrient GmbH over the last years. It describes the formalization of test selection criteria used by our test generator, our test generation architecture and test generation framework.


title: Constraint-Based Heuristic On-line Test Generation from Non-deterministic I/O EFSMs

abstract: We are investigating on-line model-based test generation from non-deterministic output-observable Input/Output Extended Finite State Machine (I/O EFSM) models of Systems Under Test (SUTs). We propose a novel constraint-based heuristic approach (Heuristic Reactive Planning Tester (xRPT)) for on-line conformance testing non-deterministic SUTs. An indicative feature of xRPT is the capability of making reasonable decisions for achieving the test goals in the on-line testing process by using the results of off-line bounded static reachability analysis based on the SUT model and test goal specification. We present xRPT in detail and make performance comparison with other existing search strategies and approaches on examples with varying complexity.


title: Model-Based Testing of Safety Critical Real-Time Control Logic Software

abstract: The paper presents the experience of the authors in model based testing of safety critical real-time control logic software. It describes specifics of the corresponding industrial settings and discusses technical details of usage of UniTESK model based testing technology in these settings. Finally, we discuss possible future directions of safety critical software development processes and a place of model based testing techniques in it.


title: The current best estimate of the Galactocentric distance of the Sun based on comparison of different statistical techniques

abstract: In this paper, the current best estimate of a fundamental Galactic parameter Galactocentric distance of the Sun $R_0$ has been evaluated using all the available estimates published during the last 20 years. Unlike some other studies, our analysis of these results showed no statistically significant trend in $R_0$ during this period. However we revealed a statistically valuable improvement in the $R_0$ uncertainties with time of about 0.2 kpc for 20 years. Several statistical techniques have been used and compared to obtain the most reliable common mean of 52 determinations made in 1992--2011 and its realistic uncertainty. The statistical methods used include unweighted mean, seven variants of the weighted mean, and two variants of median technique. The $R_0$ estimates obtained with these methods range from 7.91 to 8.06 kpc with uncertainties varying from 0.05 to 0.08 kpc. The final value derived in this analysis is $R_0 = 7.98 \pm 0.15\,|_{stat} \pm 0.20\,|_{syst}$ kpc, which can be recommended as the current best estimate of the Galactocentric distance of the Sun. For most of the practical applications the value of $R_0 = 8.0 \pm 0.25$ kpc can be used.


title: Acyclic edge coloring of sparse graphs

abstract: A proper edge coloring of a graph $G$ is called acyclic if there is no bichromatic cycle in $G$. The acyclic chromatic index of $G$, denoted by $\chi'_a(G)$, is the least number of colors $k$ such that $G$ has an acyclic edge $k$-coloring. The maximum average degree of a graph $G$, denoted by $\mad(G)$, is the maximum of the average degree of all subgraphs of $G$. In this paper, it is proved that if $\mad(G)<4$, then $\chi'_a(G)\leq{\Delta(G)+2}$; if $\mad(G)<3$, then $\chi'_a(G)\leq{\Delta(G)+1}$. This implies that every triangle-free planar graph $G$ is acyclically edge $(\Delta(G)+2)$-colorable.


title: A mesoscopic model for microscale hydrodynamics and interfacial phenomena: Slip, films, and contact angle hysteresis

abstract: We present a model based on the lattice Boltzmann equation that is suitable for the simulation of dynamic wetting. The model is capable of exhibiting fundamental interfacial phenomena such as weak adsorption of fluid on the solid substrate and the presence of a thin surface film within which a disjoining pressure acts. Dynamics in this surface film, tightly coupled with hydrodynamics in the fluid bulk, determine macroscopic properties of primary interest: the hydrodynamic slip; the equilibrium contact angle; and the static and dynamic hysteresis of the contact angles. The pseudo- potentials employed for fluid-solid interactions are composed of a repulsive core and an attractive tail that can be independently adjusted. This enables effective modification of the functional form of the disjoining pressure so that one can vary the static and dynamic hysteresis on surfaces that exhibit the same equilibrium contact angle. The modeled solid-fluid interface is diffuse, represented by a wall probability function which ultimately controls the momentum exchange between solid and fluid phases. This approach allows us to effectively vary the slip length for a given wettability (i.e. the static contact angle) of the solid substrate.


title: Homogenization and asymptotics for small transaction costs

abstract: We consider the classical Merton problem of lifetime consumption-portfolio optimization problem with small proportional transaction costs. The first order term in the asymptotic expansion is explicitly calculated through a singular ergodic control problem which can be solved in closed form in the one-dimensional case. Unlike the existing literature, we consider a general utility function and general dynamics for the underlying assets. Our arguments are based on ideas from the homogenization theory and use the convergence tools from the theory of viscosity solutions. The multidimensional case is studied in our accompanying paper using the same approach.


title: Persistent Homology of Filtered Covers

abstract: We prove an extension to the simplicial Nerve Lemma which establishes isomorphism of persistent homology groups, in the case where the covering spaces are filtered. While persistent homology is now widely used in topological data analysis, the usual Nerve Lemma does not provide isomorphism of persistent homology groups. Our argument involves some homological algebra: the key point being that although the maps produced in the standard proof of the Nerve Lemma do not commute as maps of chain complexes, the maps they induce on homology do.


title: A method for exploratory repeated-measures analysis applied to a breast-cancer screening study

abstract: When a model may be fitted separately to each individual statistical unit, inspection of the point estimates may help the statistician to understand between-individual variability and to identify possible relationships. However, some information will be lost in such an approach because estimation uncertainty is disregarded. We present a comparative method for exploratory repeated-measures analysis to complement the point estimates that was motivated by and is demonstrated by analysis of data from the CADET II breast-cancer screening study. The approach helped to flag up some unusual reader behavior, to assess differences in performance, and to identify potential random-effects models for further analysis.


title: High Volume Computing: Identifying and Characterizing Throughput Oriented Workloads in Data Centers

abstract: For the first time, this paper systematically identifies three categories of throughput oriented workloads in data centers: services, data processing applications, and interactive real-time applications, whose targets are to increase the volume of throughput in terms of processed requests or data, or supported maximum number of simultaneous subscribers, respectively, and we coin a new term high volume computing (in short HVC) to describe those workloads and data center computer systems designed for them. We characterize and compare HVC with other computing paradigms, e.g., high throughput computing, warehouse-scale computing, and cloud computing, in terms of levels, workloads, metrics, coupling degree, data scales, and number of jobs or service instances. We also preliminarily report our ongoing work on the metrics and benchmarks for HVC systems, which is the foundation of designing innovative data center computer systems for HVC workloads.


title: Sub-Riemannian structures corresponding to K\"ahlerian metrics on the universal Teichmueller space and curve

abstract: We consider the group of sense-preserving diffeomorphisms $\Diff S^1$ of the unit circle and its central extension, the Virasoro-Bott group, with their respective horizontal distributions chosen to be Ehresmann connections with respect to a projection to the smooth universal Teichm\"uller space and the universal Teichm\"uller curve associated to the space of normalized univalent functions. We find formulas for the normal geodesics with respect to the pullback of the invariant K\"ahlerian metrics, namely, the Velling-Kirillov metric on the class of normalized univalent functions and the Weil-Petersson metric on the universal Teichm\"uller space. The geodesic equations are sub-Riemannian analogues of the Euler-Arnold equation and lead to the CLM, KdV, and other known non-linear PDE.


title: D-iteration: evaluation of the update algorithm

abstract: The aim of this paper is to analyse the gain of the update algorithm associated to the recently proposed D-iteration: the D-iteration is a fluid diffusion based new iterative method. It exploits a simple intuitive decomposition of the product matrix-vector as elementary operations of fluid diffusion (forward scheme) associated to a new algebraic representation. We show through experimentations on real datasets how much this approach can improve the computation efficiency in presence of the graph evolution.


title: Magnetization study to probe the effect of N2+ irradiation on Fe/Co bilayers

abstract: Fe/Co bilayers were made using ion beam sputtering and then were subjected to nitrogen-ion irradiation to explore the influence of irradiation on their magnetic properties. Magnetization studies of Fe/Co bilayers along with their irradiated counterparts were then performed. The magnetization and coercivity of the as-deposited sample exhibited a two-fold uniaxial symmetry while the behavior for high temperature irradiated sample depicts a small shift in the two fold behavior. The magnetization data measured with the magnetic field perpendicular to the plane of the film exhibited a hysteresis in both the case of the irradiated sample as well as as-deposited sample. A small increase in coercivity for the irradiated sample was observed which is due to various reasons including formation of FeCo solid solution due to ion irradiation at the interface.


title: On $(N(k),\xi)$-semi-Riemannian manifolds: Semisymmetries

abstract: $(N(k),\xi)$-semi-Riemannian manifolds are defined. Examples and properties of $(N(k),\xi)$-semi-Riemannian manifolds are given. Some relations involving ${\cal T}_{a}$-curvature tensor in $(N(k),\xi)$-semi-Riemannian manifolds are proved. $\xi $-${\cal T}_{a}$-flat $(N(k),\xi)$-semi-Riemannian manifolds are defined. It is proved that if $M$ is an $n$-dimensional $\xi $-${\cal T}_{a}$-flat $(N(k),\xi)$-semi-Riemannian manifold, then it is $\eta $-Einstein under an algebraic condition. We prove that a semi-Riemannian manifold, which is $T$-recurrent or $T$-symmetric, is always $T$-semisymmetric, where $T$ is any tensor of type $(1,3)$. $({\cal T}_{a}, {\cal T}_{b}) $-semisymmetric semi-Riemannian manifold is defined and studied. The results for ${\cal T}_{a}$-semisymmetric, ${\cal T}_{a}$-symmetric, ${\cal T}_{a}$-recurrent $(N(k),\xi)$-semi-Riemannian manifolds are obtained. The definition of $({\cal T}_{a},S_{{\cal T}_{b}})$-semisymmetric semi-Riemannian manifold is given. $({\cal T}_{a},S_{{\cal T}_{b}})$-semisymmetric $(N(k),\xi)$-semi-Riemannian manifolds are classified. Some results for ${\cal T}_{a}$-Ricci-semisymmetric $(N(k),\xi)$-semi-Riemannian manifolds are obtained.


title: Discovery of Small-Scale Spiral Structures in the Disk of SAO 206462 (HD 135344B): Implications for the Physical State of the Disk from Spiral Density Wave Theory

abstract: We present high-resolution, H-band, imaging observations, collected with Subaru/HiCIAO, of the scattered light from the transitional disk around SAO 206462 (HD 135344B). Although previous sub-mm imagery suggested the existence of the dust-depleted cavity at r~46AU, our observations reveal the presence of scattered light components as close as 0.2" (~28AU) from the star. Moreover, we have discovered two small-scale spiral structures lying within 0.5" (~70AU). We present models for the spiral structures using the spiral density wave theory, and derive a disk aspect ratio of h~0.1, which is consistent with previous sub-mm observations. This model can potentially give estimates of the temperature and rotation profiles of the disk based on dynamical processes, independently from sub-mm observations. It also predicts the evolution of the spiral structures, which can be observable on timescales of 10-20 years, providing conclusive tests of the model. While we cannot uniquely identify the origin of these spirals, planets embedded in the disk may be capable of exciting the observed morphology. Assuming that this is the case, we can make predictions on the locations and, possibly, the masses of the unseen planets. Such planets may be detected by future multi-wavelengths observations.


title: Index of quasi-conformally symmetric semi-Riemannian manifolds

abstract: We find the index of $\widetilde{\nabla}$-quasi-conformally symmetric and $\widetilde{\nabla}$-concircularly symmetric semi-Riemannian manifolds, where $\widetilde{\nabla}$ is metric connection.


title: Monobit Digital Receivers for QPSK: Design, Analysis and Performance

abstract: Future communication system requires large bandwidth to achieve high data rate up to multigigabit/ sec, which makes analog-to-digital (ADC) become a key bottleneck for the implementation of digital receivers due to its high complexity and large power consumption. Therefore, monobit receivers for BPSK have been proposed to address this problem. In this work, QPSK modulation is considered for higher data rate. First, the optimal receiver based on monobit ADC with Nyquist sampling is derived, and its corresponding performance in the form of deflection ratio is calculated. Then a suboptimal but more practical monobit receiver is obtained, along with iterative demodulation and small sample removal. The effect of the imbalances between the In-phase (I) and Quadrature-phase (Q) branches, including the amplitude and phase imbalances, is carefully investigated too. To combat the performance loss caused by IQ imbalances, monobit receivers based on double training sequences are proposed. Numerical simulations show that the low-complexity suboptimal receiver suffers only 3dB signal to noise ratio (SNR) loss in AWGN channels and 1dB SNR loss in multipath static channels compared with the matched filter based monobit receiver with full channel state information (CSI). The impact of the phase difference between the transmitter and receiver is presented. It is observed that the performance degradation caused by the amplitude imbalance is negligible. Receivers based on double training sequences can efficiently compensate the performance loss in AWGN channel. Thanks to the diversity offered by the multipath, the effect of imbalances on monobit receivers in fading channels is slight. I


title: More on the Normality of the Unbounded Product of Two Normal Operators

abstract: Let $A$ and $B$ be two -non necessarily bounded- normal operators. We give new conditions making their product normal. We also generalize a result by Deutsch et al on normal products of matrices.


title: Products of Unbounded Normal Operators

abstract: The present paper partly constitutes an "unbounded" follow-up of a paper by I. Kaplansky dealing with bounded products of normal operators. Results on the normality of unbounded products are also included.


title: Attack Detection and Identification in Cyber-Physical Systems -- Part I: Models and Fundamental Limitations

abstract: Cyber-physical systems integrate computation, communication, and physical capabilities to interact with the physical world and humans. Besides failures of components, cyber-physical systems are prone to malignant attacks, and specific analysis tools as well as monitoring mechanisms need to be developed to enforce system security and reliability. This paper proposes a unified framework to analyze the resilience of cyber-physical systems against attacks cast by an omniscient adversary. We model cyber-physical systems as linear descriptor systems, and attacks as exogenous unknown inputs. Despite its simplicity, our model captures various real-world cyber-physical systems, and it includes and generalizes many prototypical attacks, including stealth, (dynamic) false-data injection and replay attacks. First, we characterize fundamental limitations of static, dynamic, and active monitors for attack detection and identification. Second, we provide constructive algebraic conditions to cast undetectable and unidentifiable attacks. Third, by using the system interconnection structure, we describe graph-theoretic conditions for the existence of undetectable and unidentifiable attacks. Finally, we validate our findings through some illustrative examples with different cyber-physical systems, such as a municipal water supply network and two electrical power grids.


title: Quantum correlations in continuos-time quantum walks of two indistinguishable particles

abstract: We evaluate the degree of quantum correlation between two fermions (bosons) subject to continuous time quantum walks in a one-dimensional ring lattice with periodic boundary conditions. In our approach, no particle-particle interaction is considered. We show that the interference effects due to exchange symmetry can result into the appearance of non-classical correlations. The role played onto the appearance of quantum correlations by the quantum statistics of the particles, the boundary conditions, and the partition of the system is widely investigated. Quantum correlations also been investigated in a model mimicking the ballistic evolution of two indistinguishable particles in a 1D continuous space structure. Our results are consistent with recent quantum optics and electron quantum optics experiments where the showing up of two-particle non-classical correlations has been observed even in the absence of mutual interaction between the particles.


title: Linear systems associated to unicuspidal rational plane curves

abstract: A curve C in the projective plane is called non-negative if the self-intersection number of C after the minimal resolution of singularities of C is non-negative. Given a unicuspidal rational plane curve C with singular point P, we study the unique pencil Lambda_C on the projective plane satisfying C is in Lambda_C and P is its unique base point. We show that the general member of Lambda_C is a rational curve if and only if the curve C is non-negative. We also show that in such a case then Lambda_C has a dicritical of degree 1. Note that all currently known unicuspidal rational curves C in the projective plane are non-negative.


title: Non-local correlations in the Haldane phase for an XXZ spin-1 chain: A perspective from infinite matrix product state representation

abstract: String correlations are investigated in an infinite-size XXZ spin-1 chain. By using the infinite matrix product state representation, we calculate a long-range string order. In the XY phase, the string correlations decay within a relatively very large lattice distance, which makes a finite-size study difficult to verify the non-existence of the string order. Thus, in the Haldane phase, the non-vanishing string correlations in the limit of a very large distance allow to characterize the phase boundaries to the XY phase and the Neel phase, which implies that the transverse long-range string order is the order parameter for the Haldane phase. In addition, the singular behaviors of the von Neumann entropy and the fidelity per lattice site are shown to capture clearly the phase transition points that are consistent with the results from the string order. The estimated critical points including a BKT transition from the XY phase to the Haldane phase agree well with the previous results: $\Delta_{c2} = 0$ for the XY-Haldane phase transition and $\Delta_{c3} = 1.185$ for the Haldane-N'eel phase transition from the density renormalization group. From a finite-entanglement scaling of the von Neumann entropy with respect to the truncation dimension, the central charges are found to be $c \simeq 1.0$ at $\Delta_{c2} = 0$ and $c \simeq 0.5$ at $\Delta_{c3} = 1.185$, respectively, which shows that the XY-Haldane phase transition at $\Delta_{c2} = 0$ belongs to the Heisenberg universality class, while the Haldane-Neel phase transition at $\Delta_{c2} = 1.185$ belongs to the two-dimensional classical Ising universality class. It is also shown that, the long-range order parameters and the von Neumann entropy, as well as the fidelity per site approach, can be applied to characterize quantum phase transitions as a universal phase transition indicator for one-dimensional lattice many-body systems.


title: Instance Based Methods --- A Brief Overview

abstract: Instance-based methods are a specific class of methods for automated proof search in first-order logic. This article provides an overview of the major methods in the area and discusses their properties and relations to the more established resolution methods. It also discusses some recent trends on refinements and applications. This overview is rather brief and informal, but we provide a comprehensive literature list to follow-up on the details.


title: On the role of vortex stretching in energy optimal growth of three dimensional perturbations on plane parallel shear flows

abstract: The three dimensional optimal energy growth mechanism, in plane parallel shear flows, is reexamined in terms of the role of vortex stretching and the interplay between the span-wise vorticity and the planar divergent components. For high Reynolds numbers the structure of the optimal perturbations in Couette, Poiseuille, and mixing layer shear profiles is robust and resembles localized plane-waves in regions where the background shear is large. The waves are tilted with the shear when the span-wise vorticity and the planar divergence fields are in (out of) phase when the background shear is positive (negative). A minimal model is derived to explain how this configuration enables simultaneous growth of the two fields, and how this mutual amplification reflects on the optimal energy growth. This perspective provides an understanding of the three dimensional growth solely from the two dimensional dynamics on the shear plane.


title: Transverse spin effects in hadron-pair production from semi-inclusive deep inelastic scattering

abstract: First measurements of azimuthal asymmetries in hadron-pair production in deep-inelastic scattering of muons on transversely polarised ^6LiD (deuteron) and NH_3 (proton) targets are presented. The data were taken in the years 2002-2004 and 2007 with the COMPASS spectrometer using a muon beam of 160 GeV/c at the CERN SPS. The asymmetries provide access to the transversity distribution functions, without involving the Collins effect as in single hadron production. The sizeable asymmetries measured on the NH_ target indicate non-vanishing u-quark transversity and two-hadron interference fragmentation functions. The small asymmetries measured on the ^6LiD target can be interpreted as indication for a cancellation of u- and d-quark transversities.


title: On quantum Huygens principle and Rayleigh scattering

abstract: We prove several minimal photon velocity estimates below the ionization threshold for a particle system coupled to the quantized electromagnetic or phonon field. Using some of these results, we prove the asymptotic completeness (for the Rayleigh scattering) on the states for which the expectation of the photon number is uniformly bounded.


title: A Numerical Study of Turbulent Flame Speeds of Curvature and Strain G-equations in Cellular Flows

abstract: We study front speeds of curvature and strain G-equations arising in turbulent combustion. These G-equations are Hamilton-Jacobi type level set partial differential equations (PDEs) with non-coercive Hamiltonians and degenerate nonlinear second order diffusion. The Hamiltonian of strain G-equation is also non-convex. Numerical computation is performed based on monotone discretization and weighted essentially nonoscillatory (WENO) approximation of transformed G-equations on a fixed periodic domain. The advection field in the computation is a two dimensional Hamiltonian flow consisting of a periodic array of counter-rotating vortices, or cellular flows. Depending on whether the evolution is predominantly in the hyperbolic or parabolic regimes, suitable explicit and semi-implicit time stepping methods are chosen. The turbulent flame speeds are computed as the linear growth rates of large time solutions. A new nonlinear parabolic PDE is proposed for the reinitialization of level set functions to prevent piling up of multiple bundles of level sets on the periodic domain. We found that the turbulent flame speed $s_T$ of the curvature G-equation is enhanced as the intensity $A$ of cellular flows increases, at a rate between those of the inviscid and viscous G-equations. The $s_T$ of the strain G-equation increases in small $A$, decreases in larger $A$, then drops down to zero at a large enough but finite value $A_{*}$. The flame front ceases to propagate at this critical intensity $A_*$, and is quenched by the cellular flow.


title: One Decade of Universal Artificial Intelligence

abstract: The first decade of this century has seen the nascency of the first mathematical theory of general artificial intelligence. This theory of Universal Artificial Intelligence (UAI) has made significant contributions to many theoretical, philosophical, and practical AI questions. In a series of papers culminating in book (Hutter, 2005), an exciting sound and complete mathematical model for a super intelligent agent (AIXI) has been developed and rigorously analyzed. While nowadays most AI researchers avoid discussing intelligence, the award-winning PhD thesis (Legg, 2008) provided the philosophical embedding and investigated the UAI-based universal measure of rational intelligence, which is formal, objective and non-anthropocentric. Recently, effective approximations of AIXI have been derived and experimentally investigated in JAIR paper (Veness et al. 2011). This practical breakthrough has resulted in some impressive applications, finally muting earlier critique that UAI is only a theory. For the first time, without providing any domain knowledge, the same agent is able to self-adapt to a diverse range of interactive environments. For instance, AIXI is able to learn from scratch to play TicTacToe, Pacman, Kuhn Poker, and other games by trial and error, without even providing the rules of the games. These achievements give new hope that the grand goal of Artificial General Intelligence is not elusive. This article provides an informal overview of UAI in context. It attempts to gently introduce a very theoretical, formal, and mathematical subject, and discusses philosophical and technical ingredients, traits of intelligence, some social questions, and the past and future of UAI.


title: Discovery of a new isomeric state in $^{68}$Ni: Evidence for a highly-deformed proton intruder state

abstract: We report on the observation of a new isomeric state in $^{68}$Ni. We suggest that the newly observed state at 168(1) keV above the first 2$^+$ state is a $\pi(2p-2h)$ 0$^{+}$ state across the major Z=28 shell gap. Comparison with theoretical calculations indicates a pure proton intruder configuration and the deduced low-lying structure of this key nucleus suggests a possible shape coexistence scenario involving a highly deformed state.


title: Bottom-trapped currents as statistical equilibrium states above topographic anomalies

abstract: Oceanic geostrophic turbulence is mostly forced at the surface, yet strong bottom-trapped flows are commonly observed along topographic anomalies. Here we consider the case of a freely evolving, initially surface-intensified velocity field above a topographic bump, and show that the self-organization into a bottom-trapped current can result from its turbulent dynamics. Using equilibrium statistical mechanics, we explain this phenomenon as the most probable outcome of turbulent stirring. We compute explicitly a class of solutions characterized by a linear relation between potential vorticity and streamfunction, and predict when the bottom intensification is expected. Using direct numerical simulations, we provide an illustration of this phenomenon that agrees qualitatively with theory, although the ergodicity hypothesis is not strictly fulfilled.


title: Douglis--Nirenberg elliptic systems in H\"ormander spaces

abstract: We investigate Douglis--Nirenberg uniformly elliptic systems in $\mathbb{R}^{n}$ on a class of H\"ormander inner product spaces. They are parametrized with a radial function parameter which is RO-varying at $+\infty$, considered as a function of $(1+|\xi|^{2})^{1/2}$ with $\xi\in\mathbb{R}^{n}$. An a'priori estimate for solutions is proved, and their interior regularity is studied. A sufficient condition for the systems to have the Fredholm property is given.


title: Distributed Power Allocation with SINR Constraints Using Trial and Error Learning

abstract: In this paper, we address the problem of global transmit power minimization in a self-congiguring network where radio devices are subject to operate at a minimum signal to interference plus noise ratio (SINR) level. We model the network as a parallel Gaussian interference channel and we introduce a fully decentralized algorithm (based on trial and error) able to statistically achieve a congiguration where the performance demands are met. Contrary to existing solutions, our algorithm requires only local information and can learn stable and efficient working points by using only one bit feedback. We model the network under two different game theoretical frameworks: normal form and satisfaction form. We show that the converging points correspond to equilibrium points, namely Nash and satisfaction equilibrium. Similarly, we provide sufficient conditions for the algorithm to converge in both formulations. Moreover, we provide analytical results to estimate the algorithm's performance, as a function of the network parameters. Finally, numerical results are provided to validate our theoretical conclusions. Keywords: Learning, power control, trial and error, Nash equilibrium, spectrum sharing.


title: Optimized on-line computation of PageRank algorithm

abstract: In this paper we present new ideas to accelerate the computation of the eigenvector of the transition matrix associated to the PageRank algorithm. New ideas are based on the decomposition of the matrix-vector product that can be seen as a fluid diffusion model, associated to new algebraic equations. We show through experiments on synthetic data and on real data-sets how much this approach can improve the computation efficiency.


title: On Disturbance State-Space Models and the Particle Marginal Metropolis-Hastings Sampler

abstract: We investigate nonlinear state-space models without a closed-form transition density, and propose reformulating such models over their latent noise variables rather than their latent state variables. In doing so the tractable noise density emerges in place of the intractable transition density. For importance sampling methods such as the auxiliary particle filter, this enables importance weights to be computed where they could not be otherwise. As case studies we take two multivariate marine biogeochemical models and perform state and parameter estimation using the particle marginal Metropolis-Hastings sampler. For the particle filter within this sampler, we compare several proposal strategies over noise variables, all based on lookaheads with the unscented Kalman filter. These strategies are compared using conventional means for assessing Metropolis-Hastings efficiency, as well as with a novel metric called the conditional acceptance rate for assessing the consequences of using an estimated, and not exact, likelihood. Results indicate the utility of reformulating the model over noise variables, particularly for fast-mixing process models.


title: Locality properties of the free energy fluxes in gyrokinetic turbulence

abstract: The nature of the nonlinear interactions in gyrokinetic (GK) turbulence, driven by an ion-temperature gradient instability, is investigated using numerical simulations of single ion species plasma in three-dimensional flux tube geometry. To account for the level of separation existing between scales involved in an energetic interaction, the degree of locality of the free energy scale flux is analyzed employing Kraichnan's infrared (IR) and ultraviolet locality functions. Due to the nontrivial dissipative nature of GK turbulence, an asymptotic level for the locality exponents, indicative of a universal dynamical regime for GK's, is not recovered and an accentuated non-local behavior of the IR interactions is found instead, in spite of the local energy cascade observed.


title: The historical light curve of the symbiotic star AG Draconis: intense, magnetically induced cyclic activity

abstract: We analyze an optical light curve of the symbiotic system AG Draconis covering the last 120 years of its history. During the first 32 years the system was in a quiescence state. Around the year 1922 the star's quiescence luminosity brightened by 0.29 mag. The last 82 years of the light curve (LC) are characterized by a series of outbursts of 1-2 magnitude in brightness and about 100 days in duration. The outbursts are distributed along the time axis in 6 clusters with a quasi-periodic cycle of some 5300 days. The time intervals among the outbursts themselves are integral numbers of the period 373.5 days. During quiescence states the LC oscillates with the binary period of the system of 550 d. The LC contains also a weak periodic signal with a period of 350 d, attributed to pulsations of the giant star. Another period of 1160 d is also present in the light curve, being the sidereal rotation period of the giant star. We suggest that the outbursts are events of intense mass transfer from the giant onto the hot component. These are modulated by an interplay between a solar-like magnetic dynamo cycle operating in the outer layers of the giant, and a tidal deformation of these layers that circulates the surface of the giant with the synodic diurnal period of 373.5 Earth days. AG Dra is the 5th symbiotic system with a light curve that reflects such an intense magnetic and magnetically modulated activity. (Abridged)


title: Theory of magnetic domains in uniaxial thin films

abstract: For uniaxial easy axis films, properties of magnetic domains are usually described within the Kittel model, which assumes that domain walls are much thinner than the domains. In this work we present a simple model that includes a proper description of the magnetostatic energy of domains and domain walls and also takes into account the interaction between both surfaces of the film. Our model describes the behavior of domain and wall widths as a function of film thickness, and is especially well suited for the strong stripe phase. We prove the existence of a critical value of magneto-crystalline anisotropy above which stripe domains exist for any film thickness and justify our model by comparison with exact results. The model is in good agreement with experimental data for hcp cobalt.


title: GPU acceleration of the particle filter: the Metropolis resampler

abstract: We consider deployment of the particle filter on modern massively parallel hardware architectures, such as Graphics Processing Units (GPUs), with a focus on the resampling stage. While standard multinomial and stratified resamplers require a sum of importance weights computed collectively between threads, a Metropolis resampler favourably requires only pair-wise ratios between weights, computed independently by threads, and can be further tuned for performance by adjusting its number of iterations. While achieving respectable results for the stratified and multinomial resamplers, we demonstrate that a Metropolis resampler can be faster where the variance in importance weights is modest, and so is worth considering in a performance-critical context, such as particle Markov chain Monte Carlo and real-time applications.


title: E-learning and use of computer in forensic field

abstract: In the Romanian penitentiary establishments and those of other European countries one talks about the formal and informal education. Since the correspondence education system, important steps have been made towards the e-learning didactics which are reflected by the modern teaching methods (through ICT) used even by the penitentiary system. The Moodle platform, the web site with certain specific, and the forum represent the means used as an interface between the educator and the student, their benefits being clearly demonstrated.


title: Precoder Design for Multi-antenna Partial Decode-and-Forward (PDF) Cooperative Systems with Statistical CSIT and MMSE-SIC Receivers

abstract: Cooperative communication is an important technology in next generation wireless networks. Aside from conventional amplify-and-forward (AF) and decode-and-forward (DF) protocols, the partial decode-and-forward (PDF) protocol is an alternative relaying scheme that is especially promising for scenarios in which the relay node cannot reliably decode the complete source message. However, there are several important issues to be addressed regarding the application of PDF protocols. In this paper, we propose a PDF protocol and MIMO precoder designs at the source and relay nodes. The precoder designs are adapted based on statistical channel state information for correlated MIMO channels, and matched to practical minimum mean-square-error successive interference cancelation (MMSE-SIC) receivers at the relay and destination nodes. We show that under similar system settings, the proposed MIMO precoder design with PDF protocol and MMSE-SIC receivers achieves substantial performance enhancement compared with conventional baselines.


title: Gallium Substituted "114" YBaFe4O7: From a ferrimagnetic cluster glass to a cationic disordered spin glass

abstract: The study of the ferrites YBaFe4-xGaxO7 shows that the substitution of Ga for Fe in YBaFe4O7 stabilizes the hexagonal symmetry for 0.40 < x < 0.70, at the expense of the cubic one. Using combined measurements of a. c. and d. c. magnetization, we establish that Ga substitution for Fe in YBaFe4O7 leads to an evolution from a geometrically frustrated spin glass (for x = 0) to a cationic disorder induced spin glass (x = 0.70). We also find an intermediate narrow range of doping where the samples are clearly phase separated having small ferrimagnetic clusters embedded in a spin glass matrix. The origin of the ferrimagnetic clusters lies in the change in symmetry of the samples from cubic to hexagonal (and a consequent lifting of the geometrical frustration) as a result of Ga doping. We also show the presence of exchange bias and domain wall pinning in these samples. The cause of both these effects can be traced back to the inherent phase separation present in the samples.


title: Evaporation limited loading of an atom trap

abstract: Recently, we have experimentally demonstrated a continuous loading mechanism for an optical dipole trap from a guided atomic beam [1]. The observed evolution of the number of atoms and temperature in the trap are consequences of the unusual trap geometry. In the present paper, we develop a model based on a set of rate equations to describe the loading dynamics of such a mechanism. We consider the collision statistics in the non-uniform trap potential that leads to twodimensional evaporation. The comparison between the resulting computations and experimental data allows to identify the dominant loss process and suggests ways to enhance the achievable steady-state atom number. Concerning subsequent evaporative cooling, we find that the possibility of controlling axial and radial confinement independently allows faster evaporation ramps compared to single beam optical dipole traps.


title: D-iteration: Evaluation of the Asynchronous Distributed Computation

abstract: The aim of this paper is to present a first evaluation of the potential of an asynchronous distributed computation associated to the recently proposed approach, D-iteration: the D-iteration is a fluid diffusion based iterative method, which has the advantage of being natively distributive. It exploits a simple intuitive decomposition of the matrix-vector product as elementary operations of fluid diffusion associated to a new algebraic representation. We show through experiments on real datasets how much this approach can improve the computation efficiency when the parallelism is applied: with the proposed solution, when the computation is distributed over $K$ virtual machines (PIDs), the memory size to be handled by each virtual machine decreases linearly with $K$ and the computation speed increases almost linearly with $K$ with a slope becoming closer to one when the number $N$ of linear equations to be solved increases.


title: Existence of Heavy Fermions in the Antiferromagnetic Phase of CeIn3

abstract: We report the pressure-dependent optical conductivity spectra of a heavy fermion (HF) compound CeIn3 below the Neel temperature of 10 K to investigate the existence of the HF state in the antiferromagnetic (AFM) phase. The peak due to the interband transition in the hybridization gap between the conduction band and nearly localized 4f states (c-f hybridization) appears at the photon energy of about 20 meV not only in the HF regime but also in the AFM regime. Both the energy and intensity of the c-f hybridization peak continuously increase with the application of pressure from the AFM to the HF regime. This result suggests that the c-f hybridization, as well as the heavy fermions, exists even in the AFM phase of CeIn3.


title: Flavour Tagging at CLIC

abstract: We present the performance of the LCFI flavour tagging package in a realistic CLIC environment. The application is demonstrated on the examples of the measurement of the cross section times branching ratio of light Higgs decays to b and c quarks at 3 TeV, a study of heavy Higgs decays at 3 TeV and of top pair production at 500 GeV. All studies are based on full detector simulation with a realistic account of the machine- induced background at CLIC.


title: Evolution of the Symbiotic Nova PU Vul -- Outbursting White Dwarf, Nebulae, and Pulsating Red Giant Companion

abstract: We present a composite light-curve model of the symbiotic nova PU Vul (Nova Vulpeculae 1979) that shows a long-lasted flat optical peak followed by a slow decline. Our model light-curve consists of three components of emission, i.e., an outbursting white dwarf (WD), its M-giant companion, and nebulae. The WD component dominates in the flat peak while the nebulae dominate after the photospheric temperature of the WD rises to log T (K) >~ 4.5, suggesting its WD origin. We analyze the 1980 and 1994 eclipses to be total eclipses of the WD occulted by the pulsating M-giant companion with two sources of the nebular emission; one is an unocculted nebula of the M-giant's cool-wind origin and the other is a partially occulted nebula associated to the WD. We confirmed our theoretical outburst model of PU Vul by new observational estimates, that spanned 32 yr, of the temperature and radius. Also our eclipse analysis confirmed that the WD photosphere decreased by two orders of magnitude between the 1980 and 1994 eclipses. We obtain the reddening E(B-V) ~ 0.3 and distance to PU Vul d ~ 4.7 kpc. We interpret the recent recovery of brightness in terms of eclipse of the hot nebula surrounding the WD, suggesting that hydrogen burning is still going on. To detect supersoft X-rays, we recommend X-ray observations around June 2014 when absorption by neutral hydrogen is minimum.


title: A class of covariate-dependent spatiotemporal covariance functions for the analysis of daily ozone concentration

abstract: In geostatistics, it is common to model spatially distributed phenomena through an underlying stationary and isotropic spatial process. However, these assumptions are often untenable in practice because of the influence of local effects in the correlation structure. Therefore, it has been of prolonged interest in the literature to provide flexible and effective ways to model nonstationarity in the spatial effects. Arguably, due to the local nature of the problem, we might envision that the correlation structure would be highly dependent on local characteristics of the domain of study, namely, the latitude, longitude and altitude of the observation sites, as well as other locally defined covariate information. In this work, we provide a flexible and computationally feasible way for allowing the correlation structure of the underlying processes to depend on local covariate information. We discuss the properties of the induced covariance functions and methods to assess its dependence on local covariate information. The proposed method is used to analyze daily ozone in the southeast United States.


title: Conductance of non-ballistic point contacts in hybrid systems "normal metal/superconductor" Cu/Mo-C and Cu/LaOFFeAs

abstract: We consider the shape of the curves of "Andreev" conductance of non-ballistic point contact NS heterosystems depending on the bias voltage at the contact. The obtained shape of those curves is caused by the contribution from the mechanism of coherent scattering by impurities which doubles the scattering cross section. The behavior of generalized and differential conductance is compared for ballistic and non-ballistic transport regimes. The criteria are considered allowing one to discriminate between those regimes with the corresponding conduction curves similar in appearance. The analysis is extended to the case of non-ballistic transport in NS point contacts with exotic superconductors, molybdenum carbide Mo-C and oxypnictide La[O$_{1-x}$F$_{x}$]FeAs from a group of iron-based superconductors.


title: k-Color Multi-Robot Motion Planning

abstract: We present a simple and natural extension of the multi-robot motion planning problem where the robots are partitioned into groups (colors), such that in each group the robots are interchangeable. Every robot is no longer required to move to a specific target, but rather to some target placement that is assigned to its group. We call this problem k-color multi-robot motion planning and provide a sampling-based algorithm specifically designed for solving it. At the heart of the algorithm is a novel technique where the k-color problem is reduced to several discrete multi-robot motion planning problems. These reductions amplify basic samples into massive collections of free placements and paths for the robots. We demonstrate the performance of the algorithm by an implementation for the case of disc robots and polygonal robots translating in the plane. We show that the algorithm successfully and efficiently copes with a variety of challenging scenarios, involving many robots, while a simplified version of this algorithm, that can be viewed as an extension of a prevalent sampling-based algorithm for the k-color case, fails even on simple scenarios. Interestingly, our algorithm outperforms a well established implementation of PRM for the standard multi-robot problem, in which each robot has a distinct color.


title: Delay-limited Source and Channel Coding of Quasi-Stationary Sources over Block Fading Channels: Design and Scaling Laws

abstract: In this paper, delay-limited transmission of quasi-stationary sources over block fading channels are considered. Considering distortion outage probability as the performance measure, two source and channel coding schemes with power adaptive transmission are presented. The first one is optimized for fixed rate transmission, and hence enjoys simplicity of implementation. The second one is a high performance scheme, which also benefits from optimized rate adaptation with respect to source and channel states. In high SNR regime, the performance scaling laws in terms of outage distortion exponent and asymptotic outage distortion gain are derived, where two schemes with fixed transmission power and adaptive or optimized fixed rates are considered as benchmarks for comparisons. Various analytical and numerical results are provided which demonstrate a superior performance for source and channel optimized rate and power adaptive scheme. It is also observed that from a distortion outage perspective, the fixed rate adaptive power scheme substantially outperforms an adaptive rate fixed power scheme for delay-limited transmission of quasi-stationary sources over wireless block fading channels. The effect of the characteristics of the quasi-stationary source on performance, and the implication of the results for transmission of stationary sources are also investigated.


title: C and N abundances of MS and SGB stars in NGC 1851

abstract: We present the first chemical analysis of stars on the double subgiant branch (SGB) of the globular cluster NGC 1851. We obtained 48 Magellan IMACS spectra of subgiants and fainter stars covering the spectral region between 3650-6750\AA, to derive C and N abundances from the spectral features at 4300\AA (G-band) and at ~ 3883\AA (CN). We added to our sample ~ 45 unvevolved stars previously observed with FORS2 at the VLT. These two datasets were homogeneously reduced and analyzed. We derived abundances of C and N for a total of 64 stars and found considerable star-to-star variations in both [C/H] and [N/H] at all luminosities extending to the red giant branch (RGB) base (V~18.9). These abundances appear to be strongly anticorrelated, as would be expected from the CN-cycle enrichment, but we did not detect any bimodality in the C or N content. We used HST and ground-based photometry to select two groups of faint- and bright-SGB stars from the visual and Str\"omgren color-magnitude diagrams. Significant variations in the carbon and nitrogen abundances are present among stars of each group, which indicates that each SGB hosts multiple subgenerations of stars. Bright- and faint-SGB stars differ in the total C+N content, where the fainter SGB have about 2.5 times the C+N content of the brighter ones. Coupling our results with literature photometric data and abundance determinations from high-resolution studies, we identify the fainter SGB with the red-RGB population, which also should be richer on average in Ba and other s-process elements, as well as in Na and N, when compared to brighter SGB and the blue-RGB population.


title: Can Intelligence Explode?

abstract: The technological singularity refers to a hypothetical scenario in which technological advances virtually explode. The most popular scenario is the creation of super-intelligent algorithms that recursively create ever higher intelligences. It took many decades for these ideas to spread from science fiction to popular science magazines and finally to attract the attention of serious philosophers. David Chalmers' (JCS 2010) article is the first comprehensive philosophical analysis of the singularity in a respected philosophy journal. The motivation of my article is to augment Chalmers' and to discuss some issues not addressed by him, in particular what it could mean for intelligence to explode. In this course, I will (have to) provide a more careful treatment of what intelligence actually is, separate speed from intelligence explosion, compare what super-intelligent participants and classical human observers might experience and do, discuss immediate implications for the diversity and value of life, consider possible bounds on intelligence, and contemplate intelligences right at the singularity.


title: Cyclic groups of automorphisms of complex K3 surfaces

abstract: We determine all possible orders of automorphisms of complex K3 surfaces. A positive integer N is the order of an automorphism of a complex K3 surface if and only if $\phi(N) \leq 20$ where $\phi$ is the Euler function.


title: Human sperm cells swimming in micro-channels

abstract: The migratory abilities of motile human spermatozoa in vivo are essential for natural fertility, but it remains a mystery what properties distinguish the tens of cells which find an egg from the millions of cells ejaculated. To reach the site of fertilization, sperm must traverse narrow and convoluted channels, filled with viscous fluids. To elucidate individual and group behaviors that may occur in the complex three-dimensional female tract environment, we examine the behavior of migrating sperm in assorted micro-channel geometries. Cells rarely swim in the central part of the channel cross-section, instead traveling along the intersection of the channel walls (`channel corners'). When the channel turns sharply, cells leave the corner, continuing ahead until hitting the opposite wall of the channel, with a distribution of departure angles, the latter being modulated by fluid viscosity. If the channel bend is smooth, cells depart from the inner wall when the curvature radius is less than a threshold value close to 150 micron. Specific wall shapes are able to preferentially direct motile cells. As a consequence of swimming along the corners, the domain occupied by cells becomes essentially 1-dimensional. This leads to frequent collisions and needs to be accounted for when modeling the behavior of populations of migratory cells and considering how sperm populate and navigate the female tract. The combined effect of viscosity and three-dimensional architecture should be accounted for in future in vitro studies of sperm chemoattraction.


title: $Top(X)$ within $\px$ ]{When lattices meet topology: $Top(X)$ within $\px$.}

abstract: For a non-empty set $X$, the collection $Top(X)$ of all topologies on $X$ sits inside the Boolean lattice $\PP(\PP(X))$ (when ordered by set-theoretic inclusion) which in turn can be naturally identified with the Stone space $\px$. Via this identification then, $Top(X)$ naturally inherits the subspace topology from $\px$ (see \cite{TopX1}). Extending ideas of Frink \cite{MR0006496}, we establish an equivalence between the topological closures of sublattices of $\px$ and their (completely distributive) completions. We exploit this equivalence when searching for countably infinite compact subsets within $Top(X)$ and in crystalizing the Borel complexity of $Top(X)$. We exhibit infinite compact subsets of $Top(X)$ including, in particular, copies of the Stone-\v{C}ech and one-point compactifications of discrete spaces.


title: A side-by-side comparison of Daya Bay antineutrino detectors

abstract: The Daya Bay Reactor Neutrino Experiment is designed to determine precisely the neutrino mixing angle $\theta_{13}$ with a sensitivity better than 0.01 in the parameter sin$^22\theta_{13}$ at the 90% confidence level. To achieve this goal, the collaboration will build eight functionally identical antineutrino detectors. The first two detectors have been constructed, installed and commissioned in Experimental Hall 1, with steady data-taking beginning September 23, 2011. A comparison of the data collected over the subsequent three months indicates that the detectors are functionally identical, and that detector-related systematic uncertainties exceed requirements.


title: A canonical form for Gaussian periodic processes

abstract: This article provides a representation theorem for a set of Gaussian processes; this theorem allows to build Gaussian processes with arbitrary regularity and to write them as limit of random trigonometric series. We show via Karhunen-Love theorem that this set is isometrically equivalent to l2. We then prove that regularity of trajectory path of anyone of such processes can be detected just by looking at decrease rate of l2 sequence associated to him via isometry.


title: A Gauge Theoretic Approach to Gravity

abstract: Einstein's General Relativity (GR) is a dynamical theory of the spacetime metric. We describe an approach in which GR becomes an SU(2) gauge theory. We start at the linearised level and show how a gauge theoretic Lagrangian for non-interacting massless spin two particles (gravitons) takes a much more simple and compact form than in the standard metric description. Moreover, in contrast to the GR situation, the gauge theory Lagrangian is convex. We then proceed with a formulation of the full non-linear theory. The equivalence to the metric-based GR holds only at the level of solutions of the field equations, that is, on-shell. The gauge-theoretic approach also makes it clear that GR is not the only interacting theory of massless spin two particles, in spite of the GR uniqueness theorems available in the metric description. Thus, there is an inifnite-parameter class of gravity theories all describing just two propagating polarisations of the graviton. We describe how matter can be coupled to gravity in this formulation and, in particular, how both the gravity and Yang-Mills arise as sectors of a general diffeomorphism invariant gauge theory. We finish by outlining a possible scenario of the UV completion of quantum gravity within this approach.


title: Hadron Energy Resolution of the CALICE AHCAL and Software Compensation Approaches

abstract: The hadron energy resolution of a highly granular CALICE analogue scintillator-steel hadronic calorimeter was studied using pion test beam data. The stochastic term contribution to the energy resolution was estimated to be 58%/sqrt(E/GeV). To improve an energy resolution, local and global software compensation techniques were developed which exploit an unprecedented granularity of the calorimeter and are based on event-by-event analysis of the energy density spectra. The application of either local or global software compensation technique results in reducing of stochastic term contribution down to 45%/sqrt(E/GeV). The achieved improvement of single particle energy resolution for pions is about 20% in the energy range from 10 to 80 GeV.


title: Simulations of Prominence Formation in the Magnetized Solar Corona by Chromospheric Heating

abstract: Starting from a realistically sheared magnetic arcade connecting chromospheric, transition region to coronal plasma, we simulate the in-situ formation and sustained growth of a quiescent prominence in the solar corona. Contrary to previous works, our model captures all phases of the prominence formation, including the loss of thermal equilibrium, its successive growth in height and width to macroscopic dimensions, and the gradual bending of the arched loops into dipped loops, as a result of the mass accumulation. Our 2.5-dimensional, fully thermodynamically and magnetohydrodynamically consistent model mimics the magnetic topology of normal-polarity prominences above a photospheric neutral line, and results in a curtain-like prominence above the neutral line through which the ultimately dipped magnetic field lines protrude at a finite angle. The formation results from concentrated heating in the chromosphere, followed by plasma evaporation and later rapid condensation in the corona due to thermal instability, as verified by linear instability criteria. Concentrated heating in the lower atmosphere evaporates plasma from below to accumulate at the top of coronal loops and supply mass to the later prominence constantly. This is the first evaporation-condensation model study where we can demonstrate how the formed prominence stays in a force balanced state, which can be compared to the Kippenhahn-Schluter type magnetohydrostatic model, all in a finite low-beta corona.


title: The peculiar 2011 outburst of the black hole candidate IGR J17091-3624, a GRS 1915+105 like source?

abstract: We report on the long-term monitoring campaign of the black hole candidate IGR J17091-3624 performed with INTEGRAL and Swift during the peculiar outburst started on January 2011. We have studied the two month spectral evolution of the source in detail. Unlike the previous outbursts, the initial transition from the hard to the soft state in 2011 was not followed by the standard spectral evolution expected for a transient black hole binary. IGR J17091-3624 showed pseudo periodic flare-like events in the light curve, closely resembling those observed from GRS 1915+105. We find evidence that these phenomena are due to the same physical instability process ascribed to GRS 1915+105. Finally we speculate that the faintness of IGR J17091-3624 could be not only due to the high distance of the source but to the high inclination angle of the system as well.


title: Why are quadratic normal volatility models analytically tractable?

abstract: We discuss the class of "Quadratic Normal Volatility" models, which have drawn much attention in the financial industry due to their analytic tractability and flexibility. We characterize these models as the ones that can be obtained from stopped Brownian motion by a simple transformation and a change of measure that only depends on the terminal value of the stopped Brownian motion. This explains the existence of explicit analytic formulas for option prices within Quadratic Normal Volatility models in the academic literature.


title: On the Hedging of Options On Exploding Exchange Rates

abstract: We study a novel pricing operator for complete, local martingale models. The new pricing operator guarantees put-call parity to hold for model prices and the value of a forward contract to match the buy-and-hold strategy, even if the underlying follows strict local martingale dynamics. More precisely, we discuss a change of num\'eraire (change of currency) technique when the underlying is only a local martingale modelling for example an exchange rate. The new pricing operator assigns prices to contingent claims according to the minimal cost for superreplication strategies that succeed with probability one for both currencies as num\'eraire. Within this context, we interpret the lack of the martingale property of an exchange-rate as a reflection of the possibility that the num\'eraire currency may devalue completely against the asset currency (hyperinflation).


title: Constraining an Expanding Locally Anisotropic metric from the Pioneer anomaly

abstract: It is discussed the possibility of a fine-tuneable contribution to the two way Doppler acceleration either towards, either outwards the Sun for heliocentric distances above 20 AU by considering a background described by an Expanding Locally Anisotropic (ELA) metric. This metric encodes both the standard local Schwarzschild gravitational effects and the cosmological Universe expansion effects allowing simultaneously to fine-tune other gravitational effects at intermediate scales, which may be tentatively interpreted as a covariant parameterization of either cold dark matter either gravitational interaction corrections. Are derived bounds for the ELA metric functional parameter by considering the bounds on the deviation from standard General Relativity imposed by the current updated limits for the Pioneer anomaly, taking in consideration both the natural outgassing and on-board radiation pressure, resulting in an average Doppler acceleration outwards the Sun of a_p = +0.4^{+2.1}_{-2.0} x 10^{-10} (m/s^2). It is also computed the mass-energy density for the ELA metric within the bounds obtained and are discussed the respective contributions to the cosmological mass-energy density which, for compatibility with the Lambda-CDM model, are included in Omega_{CDM}.


title: Quantization makes Relativity Compatible with Superluminal Phenomena

abstract: By relativity we show that, although the superluminal motion of classical particles is forbidden, the superluminal transportation of quanta of any massive matter field is possible. Exact theoretical derivation and precise numerical computation are presented. To search the superluminal phenomena is therefore still meaningful.


title: Reconciling the emission mechanism discrepancy in Mira's tail, and its evolution in an interface with shear

abstract: GALEX observations of the Mira AB binary system revealed a surrounding structure that has been successfully hydrodynamically interpreted as a bow shock and tail of ram-pressure-stripped material. Even the narrow tail, initially difficult to model, has been understood as the effect of the passage of Mira from a warm neutral medium into a hot, low-density medium, postulated to be the Local Bubble. However, no model to date has explained the observed kink and associated general curvature of the tail. We test the hypothesis that before entering the Local Bubble, Mira was travelling through a shear flow with approximately 1/3 Mira's own velocity at an angle of ~30degrees to Mira's proper motion. The hypothesis reproduces the kinked nature of Mira's tail and predicts recompression and reheating of the tail material to the same or greater levels of density and temperature predicted in the shock. This provides a heat source for the FUV emission, allowing for an extended lifetime of the FUV emission in line with other estimates of the age of the tail. The uniqueness of Mira's situation implies that the chances of observing other FUV tails behind AGB stars is highly unlikely.


title: Extension of Ashby's performance indexes in mixed tension-bending solicitation

abstract: Ashby's performance indexes are a fundamental tool for material selection especially for structures lightening. Unfortunately the indexes are available only for simple mechanical solicitation as pure bending or pure tension. For real applications, it is required to have a performance index for combined solicitations. This publication proposes an approach to develop this kind of extended performance index and shows the exploitation in order to compare materials performance in more realistic situations.


title: Using the SED to locate the Gamma-ray emission site of powerful blazars

abstract: The location of the Gamma-ray emission of powerful blazars is a matter of active debate. Is the location within the UV emitting sub-pc scale broad line region, or farther out at pc scales where the molecular torus IR emission dominates? We present a diagnostic that connects three observables, the synchrotron and external Compton peak frequencies and the Compton dominance (the ratio of Compton to synchrotron luminosity) to the seed photon energy and energy density. We discuss encouraging preliminary results and discuss how to use our diagnostic to understand the location of the Gamma-ray emission as a function of source power through the use of multiwavelength observations.


title: An original unified approach for the description of phase tranformations in steel during cooling : first application to binary Fe-C

abstract: Exploiting Landau's theory of phase transformations, defining an original order parameter and using the phenomenological transformation temperatures, it is reported that it is possible to describe in a global approach the conditions for the formation of each phase (ferrite, bainite, martensite) from austenite during cooling in steel. It allowed to propose a new rigorous classification of the different thermodynamic conditions controlling each phase tranformation. In a second step, the approach predicts naturally the effect of cooling rate on the bainite start temperature. Finally perspectives are assessed to extend the approach in order to take into account the effect of an external field such as applied stress.


title: Controlling the quantum state of a single photon emitted from a single polariton

abstract: We investigate in detail the optimal conditions for a high fidelity transfer from a single-polariton state to a single-photon state and subsequent homodyne detection of the single photon. We assume that, using various possible techniques, the single polariton has initially been stored as a spin-wave grating in a cloud of cold atoms inside a low-finesse cavity. This state is then transferred to a single-photon optical pulse using an auxiliary beam. We optimize the retrieval efficiency and determine the mode of the local oscillator that maximizes the homodyne efficiency of such a photon. We find that both efficiencies can have values close to one in a large region of experimental parameters.


title: Tevatron Legacy

abstract: Several major milestones and discoveries were attained during the lifetime of the Tevatron proton-antiproton collider at Fermilab, from 1987 to 2011. One of the most important was the discovery of the top quark in 1995, followed by an intense program to study that particle in greater detail. In this article, I give an overview of the history of the top quark, its current status as well as the still to be completed legacy measurements at the Tevatron.


title: Spin-precession-assisted supercurrent in a superconducting quantum point contact coupled to a single-molecule magnet

abstract: The supercurrent of a quantum point contact coupled to a nanomagnet strongly depends on the dynamics of the nanomagnet's spin. We employ a fully microscopic model to calculate the transport properties of a junction coupled to a spin whose dynamics is modeled as Larmor precession brought about by an external magnetic field and find that the dynamics affects the charge and spin currents by inducing transitions between the continuum states below the superconducting gap edge and the Andreev levels. This redistribution of the quasiparticles leads to a non-equilibrium population of the Andreev levels and an enhancement of the supercurrent which is visible as a modified current-phase relation as well as a non-monotonous critical current as function of temperature. The non-monotonous behavior is accompanied by a corresponding change in spin-transfer torques acting on the precessing spin and leads to the possibility of using temperature as a means to tune the back-action on the spin.


title: An observation of a new class of afterpulses with delay time in the range of 70-200 microseconds in classical vacuum photomultipliers

abstract: We present results of the first observation of afterpulses with extremely long (~120 microseconds) delay time from the main pulse in 8 inch classical vacuum photomultipliers.


title: Factors Affecting the Radii of Close-in Transiting Exoplanets

abstract: The radius of an exoplanet may be affected by various factors, including irradiation, planet mass and heavy element content. A significant number of transiting exoplanets have now been discovered for which the mass, radius, semi-major axis, host star metallicity and stellar effective temperature are known. We use multivariate regression models to determine the dependence of planetary radius on planetary equilibrium temperature T_eq, planetary mass M_p, stellar metallicity [Fe/H], orbital semi-major axis a, and tidal heating rate H_tidal, for 119 transiting planets in three distinct mass regimes. We determine that heating leads to larger planet radii, as expected, increasing mass leads to increased or decreased radii of low-mass (<0.5R_J) and high-mass (>2.0R_J) planets, respectively (with no mass effect on Jupiter-mass planets), and increased host-star metallicity leads to smaller planetary radii, indicating a relationship between host-star metallicity and planet heavy element content. For Saturn-mass planets, a good fit to the radii may be obtained from log(R_p/R_J)=-0.077+0.450 log(M_p/M_J)-0.314[Fe/H]+0.671 log(a/AU)+0.398 log(T_eq/K). The radii of Jupiter-mass planets may be fit by log(R_p/R_J)=-2.217+0.856 log(T_eq/K)+0.291 log(a/AU). High-mass planets' radii are best fit by log(R_p/R_J)=-1.067+0.380 log(T_eq/K)-0.093 log(M_p/M_J)-0.057[Fe/H]+0.019 log(H_tidal/1x10^{20}). These equations produce a very good fit to the observed radii, with a mean absolute difference between fitted and observed radius of 0.11R_J. A clear distinction is seen between the core-dominated Saturn-mass (0.1-0.5M_J) planets, whose radii are determined almost exclusively by their mass and heavy element content, and the gaseous envelope-dominated Jupiter-mass (0.5-2.0M_J) planets, whose radii increase strongly with irradiating flux, partially offset by a power-law dependence on orbital separation.


title: On fields of totally $S$-adic numbers

abstract: Given a finite set $S$ of places of a number field, we prove that the field of totally $S$-adic algebraic numbers is not Hilbertian.


title: Classification and clustering of sequencing data using a Poisson model

abstract: In recent years, advances in high throughput sequencing technology have led to a need for specialized methods for the analysis of digital gene expression data. While gene expression data measured on a microarray take on continuous values and can be modeled using the normal distribution, RNA sequencing data involve nonnegative counts and are more appropriately modeled using a discrete count distribution, such as the Poisson or the negative binomial. Consequently, analytic tools that assume a Gaussian distribution (such as classification methods based on linear discriminant analysis and clustering methods that use Euclidean distance) may not perform as well for sequencing data as methods that are based upon a more appropriate distribution. Here, we propose new approaches for performing classification and clustering of observations on the basis of sequencing data. Using a Poisson log linear model, we develop an analog of diagonal linear discriminant analysis that is appropriate for sequencing data. We also propose an approach for clustering sequencing data using a new dissimilarity measure that is based upon the Poisson model. We demonstrate the performances of these approaches in a simulation study, on three publicly available RNA sequencing data sets, and on a publicly available chromatin immunoprecipitation sequencing data set.


title: Selected papers

abstract: Before retiring, looking back to forty years of writing and publishing scientific papers, I decided to present to the scientific community a selection of my scientific works. I chose mostly articles published in prestigious journals or Proceedings that made a certain impact in the scientific world. I have selected thirty two out of some ninety papers, on the following subjects :Geometry of conformal and spin structures on Hilbert manifolds,Geometry of tangent bundle of a Finsler or a Lagrange manifold,Applications of techniques from Finsler geometry to Mechanics and Physics, Geometry of total space of a vector bundle, Applications of Lie algebroids to Mechanics