@article{6588,
abstract = {First we note that the best polynomial approximation to vertical bar x vertical bar on the set, which consists of an interval on the positive half-axis and a point on the negative half-axis, can be given by means of the classical Chebyshev polynomials. Then we explore the cases when a solution of the related problem on two intervals can be given in elementary functions.},
author = {Pausinger, Florian},
issn = {1812-9471},
journal = {Journal of Mathematical Physics, Analysis, Geometry},
number = {1},
pages = {63--78},
publisher = {B. Verkin Institute for Low Temperature Physics and Engineering},
title = {{Elementary solutions of the Bernstein problem on two intervals}},
volume = {8},
year = {2012},
}
@inproceedings{6746,
abstract = {This paper proposes a novel cooperative approach for two-hop amplify-and-forward (A&F) relaying that exploits both the signal forwarded by the relay and the one directly transmitted by the source in impulse-radio ultra-wideband (IR-UWB) systems. Specifically, we focus on a non-coherent setup employing a double-differential encoding scheme at the source node and a single differential demodulation at the relay and destination. The log-likelihood ratio based decision rule is derived at the destination node. A semi-analytical power allocation strategy is presented by evaluating a closed-form expression for the effective signal to noise ratio (SNR) at the destination, which is maximized by exhaustive search. Numerical simulations show that the proposed system outperforms both the direct transmission with single differential encoding and the non-cooperative multi-hop approach in different scenarios.},
author = {Mondelli, Marco and Zhou, Qi and Ma, Xiaoli and Lottici, Vincenzo},
booktitle = {2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)},
issn = {1520-6149},
location = {Kyoto, Japan},
pages = {2905--2908},
publisher = {IEEE},
title = {{A cooperative approach for amplify-and-forward differential transmitted reference IR-UWB relay systems}},
doi = {10.1109/icassp.2012.6288524},
year = {2012},
}
@article{7074,
abstract = {The Seebeck coefficients, electrical resistivities, total thermal conductivities, and magnetization are reported for temperatures between 5 and 350 K for n-type Bi0.88Sb0.12 nano-composite alloys made by Ho-doping at the 0, 1, and 3 % atomic levels. The alloys were prepared using a dc hot-pressing method, and are shown to be single phase for both Ho contents with grain sizes on the average of 900 nm. We find the parent compound has a maximum of ZT = 0.28 at 231 K, while doping 1 % Ho increases the maximum ZT to 0.31 at 221 K and the 3 % doped sample suppresses the maximum ZT = 0.24 at a temperature of 260 K.},
author = {Lukas, K. C. and Joshi, G. and Modic, Kimberly A and Ren, Z. F. and Opeil, C. P.},
issn = {1573-4803},
journal = {Journal of Materials Science},
number = {15},
pages = {5729--5734},
publisher = {Springer Nature},
title = {{Thermoelectric properties of Ho-doped Bi0.88Sb0.12}},
doi = {10.1007/s10853-012-6463-6},
volume = {47},
year = {2012},
}
@inproceedings{1384,
abstract = {Software model checking, as an undecidable problem, has three possible outcomes: (1) the program satisfies the specification, (2) the program does not satisfy the specification, and (3) the model checker fails. The third outcome usually manifests itself in a space-out, time-out, or one component of the verification tool giving up; in all of these failing cases, significant computation is performed by the verification tool before the failure, but no result is reported. We propose to reformulate the model-checking problem as follows, in order to have the verification tool report a summary of the performed work even in case of failure: given a program and a specification, the model checker returns a condition Ψ - usually a state predicate - such that the program satisfies the specification under the condition Ψ - that is, as long as the program does not leave the states in which Ψ is satisfied. In our experiments, we investigated as one major application of conditional model checking the sequential combination of model checkers with information passing. We give the condition that one model checker produces, as input to a second conditional model checker, such that the verification problem for the second is restricted to the part of the state space that is not covered by the condition, i.e., the second model checker works on the problems that the first model checker could not solve. Our experiments demonstrate that repeated application of conditional model checkers, passing information from one model checker to the next, can significantly improve the verification results and performance, i.e., we can now verify programs that we could not verify before.},
author = {Beyer, Dirk and Henzinger, Thomas A and Keremoglu, Mehmet and Wendler, Philipp},
booktitle = {Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering},
location = {Cary, NC, USA},
publisher = {ACM},
title = {{Conditional model checking: A technique to pass information between verifiers}},
doi = {10.1145/2393596.2393664},
year = {2012},
}
@article{1471,
abstract = {Given a possibly reducible and non-reduced spectral cover π: X → C over a smooth projective complex curve C we determine the group of connected components of the Prym variety Prym(X/C). As an immediate application we show that the finite group of n-torsion points of the Jacobian of C acts trivially on the cohomology of the twisted SL n-Higgs moduli space up to the degree which is predicted by topological mirror symmetry. In particular this yields a new proof of a result of Harder-Narasimhan, showing that this finite group acts trivially on the cohomology of the twisted SL n stable bundle moduli space.},
author = {Tamas Hausel and Pauly, Christian},
journal = {Geometry and Topology},
number = {3},
pages = {1609 -- 1638},
publisher = {University of Warwick},
title = {{Prym varieties of spectral covers}},
doi = {10.2140/gt.2012.16.1609},
volume = {16},
year = {2012},
}
@article{1472,
abstract = {For G = GL 2, PGL 2, SL 2 we prove that the perverse filtration associated with the Hitchin map on the rational cohomology of the moduli space of twisted G-Higgs bundles on a compact Riemann surface C agrees with the weight filtration on the rational cohomology of the twisted G character variety of C when the cohomologies are identified via non-Abelian Hodge theory. The proof is accomplished by means of a study of the topology of the Hitchin map over the locus of integral spectral curves.},
author = {De Cataldo, Mark A and Tamas Hausel and Migliorini, Luca},
journal = {Annals of Mathematics},
number = {3},
pages = {1329 -- 1407},
publisher = {Princeton University Press},
title = {{Topology of hitchin systems and Hodge theory of character varieties: The case A 1}},
doi = {10.4007/annals.2012.175.3.7},
volume = {175},
year = {2012},
}
@article{1055,
abstract = {In July, 2011, a 32-year-old man presented with thoracic pain radiating to the left arm and upper dorsum, shortness of breath, and palpitations. He had had upper back tension for 6 months. Medical history was unremarkable apart from moderate nicotine use (two pack-years). Echocardiography, electrocardiography, and laboratory tests were unremarkable, excluding a cardiac event. CT of the chest after chest radiography showed a large bulla of 16 cm diameter in the right hemithorax (figure A). We did not detect radiological evidence of underlying pulmonary disease. The bulla wall was unremarkable and no structures were seen within the bulla.},
author = {Erne, Barbara and Graff, Mareike and Klemm, Wolfram and Danzl, Johann G and Leschber, Gunda},
journal = {The Lancet},
number = {9849},
publisher = {Elsevier},
title = {{Bulla in the lung}},
doi = {10.1016/S0140-6736(12)60690-4},
volume = {380},
year = {2012},
}
@article{1056,
abstract = {We prepare and study a metastable attractive Mott-insulator state formed with bosonic atoms in a three-dimensional optical lattice. Starting from a Mott insulator with Cs atoms at weak repulsive interactions, we use a magnetic Feshbach resonance to tune the interactions to large attractive values and produce a metastable state pinned by attractive interactions with a lifetime on the order of 10 s. We probe the (de)excitation spectrum via lattice modulation spectroscopy, measuring the interaction dependence of two- and three-body bound-state energies. As a result of increased on-site three-body loss we observe resonance broadening and suppression of tunneling processes that produce three-body occupation.},
author = {Mark, Manfred and Haller, Elmar and Lauber, Katharina and Danzl, Johann G and Janisch, Alexander and Büchler, Hans and Daley, Andrew and Nägerl, Hanns},
journal = {Physical Review Letters},
number = {21},
publisher = {American Physical Society},
title = {{Preparation and spectroscopy of a metastable mott-insulator state with attractive interactions}},
doi = {10.1103/PhysRevLett.108.215302},
volume = {108},
year = {2012},
}
@article{113,
abstract = {Although liquids typically flow around intruding objects, a counterintuitive phenomenon occurs in dense suspensions of micrometre-sized particles: they become liquid-like when perturbed lightly, but harden when driven strongly. Rheological experiments have investigated how such thickening arises under shear, and linked it to hydrodynamic interactions or granular dilation. However, neither of these mechanisms alone can explain the ability of suspensions to generate very large, positive normal stresses under impact. To illustrate the phenomenon, such stresses can be large enough to allow a person to run across a suspension without sinking, and far exceed the upper limit observed under shear or extension. Here we show that these stresses originate from an impact-generated solidification front that transforms an initially compressible particle matrix into a rapidly growing jammed region, ultimately leading to extraordinary amounts of momentum absorption. Using high-speed videography, embedded force sensing and X-ray imaging, we capture the detailed dynamics of this process as it decelerates a metal rod hitting a suspension of cornflour (cornstarch) in water. We develop a model for the dynamic solidification and its effect on the surrounding suspension that reproduces the observed behaviour quantitatively. Our findings suggest that prior interpretations of the impact resistance as dominated by shear thickening need to be revisited.},
author = {Waitukaitis, Scott R and Jaeger, Heinrich},
journal = {Nature},
number = {7406},
pages = {205 -- 209},
publisher = {Nature Publishing Group},
title = {{Impact-activated solidification of dense suspensions via dynamic jamming fronts}},
doi = {10.1038/nature11187},
volume = {487},
year = {2012},
}
@article{114,
abstract = {We report on an investigation of the solidification of a cornstarch and water suspension during normal impact on its surface. We find that a finite time after impact, the suspension displays characteristics reminiscent of a solid, including localized stress transmission, the development of a yield stress, and some elastic energy storage. The time dependence of these characteristics depends on the thickness of the cornstarch layer, showing that the solidification is a dynamic process driven by the impacting object. These findings confirm previous speculations that rapidly applied normal stress transforms the normally fluid-like suspension into a temporarily jammed solid and draw a clear distinction between the effects of normal stress and shear stress in dense suspensions.},
author = {Waitukaitis, Scott R and Jaeger, Heinrich},
journal = {Revista Cubana de Fisica},
number = {1E},
pages = {1E31 -- 1E33},
publisher = {Universidad de La Habana},
title = {{Solidification of a cornstarch and water suspension}},
volume = {29},
year = {2012},
}