Sökning: "Tomas Johnson"

Hittade 3 avhandlingar innehållade orden Tomas Johnson.

1. 1. On some computer-aided proofs in analysis

   Författare :Tomas Johnson; Warwick Tucker; Piotr Zgliczynski; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; MATHEMATICS; MATEMATIK; Mathematics; Matematik; Mathematics; Matematik;

   Sammanfattning : .... LÄS MER

3. 2. Computer-aided Computation of Abelian integrals and Robust Normal Forms

   Författare :Tomas Johnson; Warwick Tucker; Lars-Erik Persson; John H. Hubbard; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Ordinary differential equations; parameter estimation; planar Hamiltonian systems; bifurcation theory; Abelian integrals; limit cycles; normal forms; hyperbolic fixed points; numerical integration; invariant manifolds; interval analysis. 2000 Mathematics Subject Classification. 34A60; 34C07; 34C20; 37D10; 37G15; 37M20; 37M99; 65G20; 65L09; 65L70.; MATHEMATICS; MATEMATIK; matematik; Mathematics;

   Sammanfattning : This PhD thesis consists of a summary and seven papers, where various applications of auto-validated computations are studied. In the first paper we describe a rigorous method to determine unknown parameters in a system of ordinary differential equations from measured data with known bounds on the noise of the measurements. LÄS MER

4. 3. The Cardiac State Diagram : A new method for assessing cardiac mechanics

   Författare :Jonas Johnson; Lars-Åke Brodin; Tomas Jansson; KTH; []
   Nyckelord :Cardiac State Diagram; Heart; Hydraulic; Mechanics; DAPP; DeltaV; Hydraulic forces; left ventricular; diastole; Applied Medical Technology; Tillämpad medicinsk teknik;

   Sammanfattning : .... LÄS MER