Search for dissertations about: "Thesis on the scientific method of solving problems"
Showing result 1 - 5 of 269 swedish dissertations containing the words Thesis on the scientific method of solving problems.
-
1. Numerical ice sheet modeling : Forward and inverse problems
Abstract : Ice sheets have strong influence on the climate system. Numerical simulation provides a mathematical tool to study the ice dynamics in the past and to predict their contribution to climate change in the future. Large scale ice sheets behave as incompressible non-Newtonian fluid. READ MORE
-
2. The use and suitability of design methods in practice : considerations of problem-solving characteristics and the context of design
Abstract : Design by teams involves a variety of activities, such as prioritisation of projects, ideas generation, problem resolution, and concept selection. These activities are often practised in an intuitive manner. Companies generally feel insecure about the efficiency of their intuitive team design procedures, especially at the early stages of design. READ MORE
-
3. On Methods for Solving Symmetric Systems of Linear Equations Arising in Optimization
Abstract : In this thesis we present research on mathematical properties of methods for solv- ing symmetric systems of linear equations that arise in various optimization problem formulations and in methods for solving such problems.In the first and third paper (Paper A and Paper C), we consider the connection be- tween the method of conjugate gradients and quasi-Newton methods on strictly convex quadratic optimization problems or equivalently on a symmetric system of linear equa- tions with a positive definite matrix. READ MORE
-
4. The Wicked Problem of Privacy : Design Challenge for Crypto-based Solutions
Abstract : Data privacy has been growing in importance in recent years, especially with the continuous increase of online activity. Researchers study, design, and develop solutions aimed at enhancing users’ data privacy. The wicked problem of data privacy is a continuous challenge that defies straightforward solutions. READ MORE
-
5. Applications of SAT solving
Abstract : In the area of formal verification it is well known that there can be no single logic that suits all needs. This insight motivates the diversity of this dissertation: it contains contributions to SAT solving, First Order theorem proving and Model Finding, and Symbolic Model Checking. READ MORE