Search for dissertations about: "rigorous computations"
Showing result 1 - 5 of 8 swedish dissertations containing the words rigorous computations.
-
1. Computational dynamics – real and complex
Abstract : The PhD thesis considers four topics in dynamical systems and is based on one paper and three manuscripts.In Paper I we apply methods of interval analysis in order to compute the rigorous enclosure of rotation number. READ MORE
-
2. The Lorenz attractor exists
Abstract : We prove that the Lorenz equations support a strange attractor, as conjectured by Edward Lorenz in 1963. We also prove that the attractor is robust, i.e., it persists under small perturbations of the coefficients in the underlying differential equations. READ MORE
-
3. Mining for Meaning : using computational text analysis for social inquiry
Abstract : People interpret their surroundings through associations, determining what they perceive as belonging or not belonging together. For instance, one individual may view immigrants as a beneficial addition to the domestic labor market, while another may perceive them as a threat to job opportunities for native citizens. READ MORE
-
4. A proof of a resolvent estimate for plane flow by new analytical and numerical techniques
Abstract : This thesis concerns stability of plane Couette flow in three space dimensions for the incompressible Navier-Stokes equations. We present new results for the resolvent corresponding to this flow. Previously, analytical bounds of the resolvent have been derived in parts of the unstable half-plane. READ MORE
-
5. A Numerical Study of the Lorenz and Lorenz-Stenflo Systems
Abstract : In 1998 the Swedish mathematician Warwick Tucker used rigorous interval arithmetic and normal form theory to prove the existence of a strange attractor in the Lorenz system. In large parts, that proof consists of computations implemented and performed on a computer. READ MORE