3,472 research outputs found

    The Crow Creek Indian Family

    Get PDF
    This is the first in a series of publications concerned with the economic and social problems of the Indian people who live on South Dakota Indian Reservations. The study deals especially with the people on_ the Crow Creek Indian Reservation, while the second study will be concerned with the people of the Pine Ridge Indian Reservation. In each study the primary concern will be that of providing data which may be used to evaluate alternative opportunities for increasing the social and economic level of the Indian people through more efficient use of the resources at their disposal

    Statistics and Quantum Chaos

    Full text link
    We use multi-time correlation functions of quantum systems to construct random variables with statistical properties that reflect the degree of complexity of the underlying quantum dynamics.Comment: 12 pages, LateX, no figures, restructured versio

    Recent advances in the management and understanding of diabetic retinopathy

    Get PDF
    Despite recent advances in the diagnosis and treatment of diabetic retinopathy, this complication remains a steadfast challenge to patients and physicians. This review summarizes recent progress in the diagnosis and management of diabetic retinopathy, including automated screening, optical coherence tomography, control of systemic risk factors, surgical techniques, laser treatment, and pharmaceutical treatment, including vascular endothelial growth factor inhibitors. Recent advances in pharmaceutical treatments, in particular, hold strong promise of halting and sometimes reversing the disease process. Clinicians nevertheless must remain vigilant in their efforts to diagnose and treat this disease early in its course

    Using Representation Theorems for Proving Polynomials Non-negative

    Full text link
    Proving polynomials non-negative when variables range on a subset of numbers (e.g., [0, +∞)) is often required in many applications (e.g., in the analysis of program termination). Several representations for univariate polynomials P that are non-negative on [0, +∞) have been investigated. They can often be used to characterize the property, thus providing a method for checking it by trying a match of P against the representation. We introduce a new characterization based on viewing polynomials P as vectors, and find the appropriate polynomial basis B in which the non-negativeness of the coordinates [P]B representing P in B witnesses that P is non-negative on [0, +∞). Matching a polynomial against a representation provides a way to transform universal sentences ∀x ∈ [0, +∞) P(x) ≥ 0 into a constraint solving problem which can be solved by using efficient methods. We consider different approaches to solve both kind of problems and provide a quantitative evaluation of performance that points to an early result by P´olya and Szeg¨o’s as an appropriate basis for implementations in most cases.Lucas Alba, S. (2014). Using Representation Theorems for Proving Polynomials Non-negative. En Artificial Intelligence and Symbolic Computation: 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings. Springer Verlag (Germany). 21-33. doi:10.1007/978-3-319-13770-4_4S2133Alarcón, B., Gutiérrez, R., Lucas, S., Navarro-Marset, R.: Proving Termination Properties with mu-term. In: Johnson, M., Pavlovic, D. (eds.) AMAST 2010. LNCS, vol. 6486, pp. 201–208. Springer, Heidelberg (2011)Basu, S., Pollack, R., Roy, M.-F.: Algorithms in Real Algebraic Geometry. Springer, Berlin (2006)Bernstein, S.: Démonstration du théorème de Weierstrass fondée sur le calcul des probabilités. Communic. Soc. Math. de Kharkow 13(2), 1–2 (1912)Bernstein, S.: Sur la répresentation des polynômes positifs. Communic. Soc. Math. de Kharkow 14(2), 227–228 (1915)Borralleras, C., Lucas, S., Oliveras, A., Rodríguez, E., Rubio, A.: SAT Modulo Linear Arithmetic for Solving Polynomial Constraints. Journal of Automated Reasoning 48, 107–131 (2012)Boudaoud, F., Caruso, F., Roy, M.-F.: Certificates of Positivity in the Bernstein Basis. Discrete Computational Geometry 39, 639–655 (2008)Choi, M.D., Lam, T.Y., Reznick, B.: Sums of squares of real polynomials. In: Proc. of the Symposium on Pure Mathematics, vol. 4, pp. 103–126. American Mathematical Society (1995)Contejean, E., Marché, C., Tomás, A.-P., Urbain, X.: Mechanically proving termination using polynomial interpretations. Journal of Automated Reasoning 32(4), 315–355 (2006)Hilbert, D.: Über die Darstellung definiter Formen als Summe von Formenquadraten. Mathematische Annalen 32, 342–350 (1888)Hong, H., Jakuš, D.: Testing Positiveness of Polynomials. Journal of Automated Reasoning 21, 23–38 (1998)Karlin, S., Studden, W.J.: Tchebycheff systems: with applications in analysis and statistics. Interscience, New York (1966)Lucas, S.: Polynomials over the reals in proofs of termination: from theory to practice. RAIRO Theoretical Informatics and Applications 39(3), 547–586 (2005)Polya, G., Szegö, G.: Problems and Theorems in Analysis II. Springer (1976)Powers, V., Reznick, B.: Polynomials that are positive on an interval. Transactions of the AMS 352(10), 4677–4692 (2000)Powers, V., Wörmann, T.: An algorithm for sums of squares of real polynomials. Journal of Pure and Applied Algebra 127, 99–104 (1998

    Reconstruction and thermal stability of the cubic SiC(001) surfaces

    Full text link
    The (001) surfaces of cubic SiC were investigated with ab-initio molecular dynamics simulations. We show that C-terminated surfaces can have different c(2x2) and p(2x1) reconstructions, depending on preparation conditions and thermal treatment, and we suggest experimental probes to identify the various reconstructed geometries. Furthermore we show that Si-terminated surfaces exhibit a p(2x1) reconstruction at T=0, whereas above room temperature they oscillate between a dimer row and an ideal geometry below 500 K, and sample several patterns including a c(4x2) above 500 K.Comment: 12 pages, RevTeX, figures 1 and 2 available in gif form at http://irrmawww.epfl.ch/fg/sic/fig1.gif and http://irrmawww.epfl.ch/fg/sic/fig2.gi

    The Index of (White) Noises and their Product Systems

    Full text link
    (See detailed abstract in the article.) We single out the correct class of spatial product systems (and the spatial endomorphism semigroups with which the product systems are associated) that allows the most far reaching analogy in their classifiaction when compared with Arveson systems. The main differences are that mere existence of a unit is not it sufficient: The unit must be CENTRAL. And the tensor product under which the index is additive is not available for product systems of Hilbert modules. It must be replaced by a new product that even for Arveson systems need not coincide with the tensor product

    Nematic Films and Radially Anisotropic Delaunay Surfaces

    Full text link
    We develop a theory of axisymmetric surfaces minimizing a combination of surface tension and nematic elastic energies which may be suitable for describing simple film and bubble shapes. As a function of the elastic constant and the applied tension on the bubbles, we find the analogues of the unduloid, sphere, and nodoid in addition to other new surfaces.Comment: 15 pages, 18 figure

    The existence problem for dynamics of dissipative systems in quantum probability

    Full text link
    Motivated by existence problems for dissipative systems arising naturally in lattice models from quantum statistical mechanics, we consider the following C∗C^{\ast}-algebraic setting: A given hermitian dissipative mapping δ\delta is densely defined in a unital C∗C^{\ast}-algebra A\mathfrak{A}. The identity element in A{\frak A} is also in the domain of δ\delta. Completely dissipative maps δ\delta are defined by the requirement that the induced maps, (aij)→(δ(aij))(a_{ij})\to (\delta (a_{ij})), are dissipative on the nn by nn complex matrices over A{\frak A} for all nn. We establish the existence of different types of maximal extensions of completely dissipative maps. If the enveloping von Neumann algebra of A{\frak A} is injective, we show the existence of an extension of δ\delta which is the infinitesimal generator of a quantum dynamical semigroup of completely positive maps in the von Neumann algebra. If δ\delta is a given well-behaved *-derivation, then we show that each of the maps δ\delta and −δ-\delta is completely dissipative.Comment: 24 pages, LaTeX/REVTeX v. 4.0, submitted to J. Math. Phys.; PACS 02., 02.10.Hh, 02.30.Tb, 03.65.-w, 05.30.-

    Tunable monoenergetic electron beams from independently controllable laser-wakefield acceleration and injection

    Get PDF
    We report the results of experiments on laser-wakefield acceleration in a novel two-stage gas target with independently adjustable density and atomic-composition profiles.We were able to tailor these profiles in a way that led to the separation of the processes of electron injection and acceleration and permitted independent control of both. This resulted in the generation of stable, quasimonoenergetic electron beams with central energy tunable in 50–300 MeV range. For the first time, we are able to independently control the beam charge and energy spread over the entire tunability range
    • …
    corecore