(No) Security in Automation!?

Modern Information Technologies like Ethernet, TCP/IP, web server or FTP are nowadays increas-ingly used in distributed control and automation systems. Thus, information from the factory floor is now directly available at the management level (From Shop-Floor to Top-Floor) and can be ma-nipulated from there. Despite the benefits coming with this (r)evolution, new vulnerabilities are in-herited, too: worms and viruses spread within seconds via Ethernet and attackers are becoming interested in control systems. Unfortunately, control systems lack the standard security features that usual office PCs have. This contribution will elaborate on these problems, discuss the vulnerabilities of modern control systems and present international initiatives for mitigation

Direct evaluation of the isotope effect within the framework of density functional theory for superconductors

Within recent developments of density functional theory, its numerical implementation and of the superconducting density functional theory is nowadays possible to predict the superconducting critical temperature, Tc, with sufficient accuracy to anticipate the experimental verification. In this paper we present an analytical derivation of the isotope coefficient within the superconducting density functional theory. We calculate the partial derivative of Tc with respect to atomic masses. We verified the final expression by means of numerical calculations of isotope coefficient in monatomic superconductors (Pb) as well as polyatomic superconductors (CaC6). The results confirm the validity of the analytical derivation with respect to the finite difference methods, with considerable improvement in terms of computational time and calculation accuracy. Once the critical temperature is calculated (at the reference mass(es)), various isotope exponents can be simply obtained in the same run. In addition, we provide the expression of interesting quantities like partial derivatives of the deformation potential, phonon frequencies and eigenvectors with respect to atomic masses, which can be useful for other derivations and applications

On the Teleportation of Continuous Variable

The measurement procedures used in quantum teleportation are analyzed from the viewpoint of the general theory of quantum-mechanical measurements. It is shown that to find the teleported state one should only know the identity resolution (positive operator-valued measure) generated by the corresponding instrument (quantum operation describing the system state change caused by the measurement) rather than the instrument itself. A quantum teleportation protocol based on a measurement associated with a non-orthogonal identity resolution is proposed for a system with non-degenerate continuous spectrum.Comment: 13 pages, no figures. To be published in JET

The EPR experiment in the energy-based stochastic reduction framework

We consider the EPR experiment in the energy-based stochastic reduction framework. A gedanken set up is constructed to model the interaction of the particles with the measurement devices. The evolution of particles' density matrix is analytically derived. We compute the dependence of the disentanglement rate on the parameters of the model, and study the dependence of the outcome probabilities on the noise trajectories. Finally, we argue that these trajectories can be regarded as non-local hidden variables.Comment: 11 pages, 5 figure

The first composite score predicting Digital Ulcers in systemic sclerosis patients using Clinical data, Imaging and Patient history-CIP-DUS

Background: Digital ulcers (DU) present a challenging complication in systemic sclerosis (SSc). The aim of this study was to combine clinical characteristics and imaging methods to a composite score for the prediction of DU in SSc patients. Methods: Seventy-nine SSc patients received clinical examination, their patient history was taken and nailfold capillaroscopy (NC), colour Doppler ultrasonography (CDUS) and fluorescence optical imaging (FOI) of the hands were performed at baseline. Newly developed DU over a period of approximately 12 months were registered. We used criteria with area under the curve (AUC) of at least 0.6 in regard to the development of these new DU to create the score (CIP-DUS, clinical features, imaging, patient history-digital ulcer score). Results: Twenty-nine percent of all SSc patients developed new DU during follow-up (48.1% diffuse, 18.4% limited SSc). Based on the cross-validated (cv) AUC, a weight (cvAUC > 0.6 and ≤ 0.65: 1; cvAUC > 0.65 and ≤ 0.7: 2; cvAUC > 0.7: 3) was assigned to each selected parameter. The performance of the final CIP-DUS was assessed with and without the CDUS/FOI component. For the scleroderma patterns in NC, three points were appointed to late, two to active and one point to early capillaroscopy pattern according to Cutolo et al. The CIP-DUS including the CDUS and FOI parameters resulted in a good diagnostic performance (AUC after cross-validation: 0.83, 95%CI 0.74 to 0.92) and was well calibrated (chi-square = 12.3, p = 0.58). The cut-off associated with the maximum of sensitivity and specificity was estimated at ≥ 10 points resulting in a sensitivity of 100% and specificity of 74% for new DU during follow-up. Excluding CDUS and FOI parameters leads to a non-statistically significant lower performance (AUC after cross-validation: 0.81, 95%CI 0.72 to 0.91). However, including CDUS and FOI resulted in a better classification of patients in respect to the outcome new DU in follow-up due to significantly better reclassification performance (NRI = 62.1, p = 0.001) and discrimination improvement (IDI = 9.7, p = 0.01). Conclusion: A new score was introduced with the aim to predict digital ulcers. If applied correctly and with the new imaging techniques proposed, all patients at risk of digital ulcers throughout 12 months could be identified

Algorithmic Reduction of Biological Networks With Multiple Time Scales

We present a symbolic algorithmic approach that allows to compute invariant manifolds and corresponding reduced systems for differential equations modeling biological networks which comprise chemical reaction networks for cellular biochemistry, and compartmental models for pharmacology, epidemiology and ecology. Multiple time scales of a given network are obtained by scaling, based on tropical geometry. Our reduction is mathematically justified within a singular perturbation setting using a recent result by Cardin and Teixeira. The existence of invariant manifolds is subject to hyperbolicity conditions, which we test algorithmically using Hurwitz criteria. We finally obtain a sequence of nested invariant manifolds and respective reduced systems on those manifolds. Our theoretical results are generally accompanied by rigorous algorithmic descriptions suitable for direct implementation based on existing off-the-shelf software systems, specifically symbolic computation libraries and Satisfiability Modulo Theories solvers. We present computational examples taken from the well-known BioModels database using our own prototypical implementations

Hadamard States and Adiabatic Vacua

Reversing a slight detrimental effect of the mailer related to TeXabilityComment: 10pages, LaTeX (RevTeX-preprint style

Passage-time distributions from a spin-boson detector model

The passage-time distribution for a spread-out quantum particle to traverse a specific region is calculated using a detailed quantum model for the detector involved. That model, developed and investigated in earlier works, is based on the detected particle's enhancement of the coupling between a collection of spins (in a metastable state) and their environment. We treat the continuum limit of the model, under the assumption of the Markov property, and calculate the particle state immediately after the first detection. An explicit example with 15 boson modes shows excellent agreement between the discrete model and the continuum limit. Analytical expressions for the passage-time distribution as well as numerical examples are presented. The precision of the measurement scheme is estimated and its optimization discussed. For slow particles, the precision goes like $E^{-3/4}$, which improves previous $E^{-1}$ estimates, obtained with a quantum clock model.Comment: 11 pages, 6 figures; minor changes, references corrected; accepted for publication in Phys. Rev.