3,472 research outputs found
The Crow Creek Indian Family
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
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
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
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
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
(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
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
Motivated by existence problems for dissipative systems arising naturally in
lattice models from quantum statistical mechanics, we consider the following
-algebraic setting: A given hermitian dissipative mapping is
densely defined in a unital -algebra . The identity
element in is also in the domain of . Completely
dissipative maps are defined by the requirement that the induced maps,
, are dissipative on the by complex
matrices over for all . We establish the existence of different
types of maximal extensions of completely dissipative maps. If the enveloping
von Neumann algebra of is injective, we show the existence of an
extension of which is the infinitesimal generator of a quantum
dynamical semigroup of completely positive maps in the von Neumann algebra. If
is a given well-behaved *-derivation, then we show that each of the
maps and 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
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
Recommended from our members
Uba1 functions in Atg7- and Atg3-independent autophagy
Autophagy is a conserved process that delivers components of the cytoplasm to lysosomes for degradation. The E1 and E2 enzymes encoded by Atg7 and Atg3 are thought to be essential for autophagy involving the ubiquitin-like protein Atg8. Here, we describe an Atg7- and Atg3-independent autophagy pathway that facilitates programmed reduction of cell size during intestine cell death. Although multiple components of the core autophagy pathways, including Atg8, are required for autophagy and cells to shrink in the midgut of the intestine, loss of either Atg7 or Atg3 function does not influence these cellular processes. Rather, Uba1, the E1 used in ubiquitination, is required for autophagy and reduction of cell size. Our data reveal that distinct autophagy programs are used by different cells within an animal, and disclose an unappreciated role for ubiquitin activation in autophagy
- …