Search for dissertations about: "integration mathematics and computer"

Showing result 1 - 5 of 19 swedish dissertations containing the words integration mathematics and computer.

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

   Author : Tomas Johnson; Warwick Tucker; Lars-Erik Persson; John H. Hubbard; Uppsala universitet; []
   Keywords : 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;

   Abstract : 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. READ MORE

4. 2. How can data science contribute to a greener world? : an exploration featuring machine learning and data mining for environmental facilities and energy end users

   Author : Dong Wang; Mats Tysklind; Johan Trygg; Lili Jiang; Venkat Venkatasubramanian; Umeå universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Wastewater treatment; Process analytics; Big data; Machine learning; Interpretable AI; Power plants; Failure analysis; Data mining; Buildings; Energy consumption; Anomaly detection;

   Abstract : Human society has taken many measures to address environmental issues. For example, deploying wastewater treatment plants (WWTPs) to alleviate water pollution and the shortage of usable water; using waste-to-energy (WtE) plants to recover energy from the waste and reduce its environmental impact. READ MORE

5. 3. On Induction, Coinduction and Equality in Martin-Löf and Homotopy Type Theory

   Author : Andrea Vezzosi; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Conversion; Parametricity; Higher Inductive Types; Sized Types; Dependent Types; Type Theory; Guarded Types;

   Abstract : Martin Löf Type Theory, having put computation at the center of logical reasoning, has been shown to be an effective foundation for proof assistants, with applications both in computer science and constructive mathematics. One ambition though is for MLTT to also double as a practical general purpose programming language. READ MORE

6. 4. Parallel Numerical Procedures for the Solution of Contact-Impact Problems

   Author : Per Persson; Karl Schweizerhof; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : Finite element (FE) simulations of complex problems tend to yield very large models if detailed knowledge of the problem is required. As the model becomes larger, the time needed for solving the problem increases. The solution time is even longer if contact is present in the model. READ MORE

7. 5. A Design Toolkit for Emerging Learning Landscapes Supported by Ubiquitous Computing

   Author : Daniel Spikol; Marcelo Milrad; Simon Winter; Yvonne Rogers; Linnéuniversitetet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Technology-enhanced learning; mobile and ubiquitous computing; design-based research; interaction design; Informatics; computer and systems science; Informatik; data- och systemvetenskap; Computer science; Datavetenskap; Computer Science; Datavetenskap;

   Abstract : The widespread use of mobile devices and their integration in our everyday ac- tivities is changing the way we communicate, share information, and learn. The rapid adoption of powerful mobile devices also offers new opportunities to sup- port teaching and learning. READ MORE