Search for dissertations about: "dependent data"

Showing result 6 - 10 of 2290 swedish dissertations containing the words dependent data.

  2. 6. Numerical modelling of time-dependent metamaterials with the FDTD method

    Author : Sergey Novozhilov; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; FDTD; time-dependent media; numerical modelling; computational electrodynamics; metamaterials;

    Abstract : Metamaterials are artificial materials, usually composed of so-called meta-atoms, with electromagnetic properties which cannot be found in naturally occurring materials. In this work we study the properties of time-dependent metamaterials (meaning that their electromagnetic properties are varying with time), as well as their potential applications. READ MORE

  4. 7. Non-parametric methods for functional data

    Author : Johan Strandberg; Sara Sjöstedt de Luna; Konrad Abramowicz; Lina Schelin; Charlotte Häger; Pedro Delicado; Umeå universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; functional data analysis; testing; clustering; prediction; inference; bagging Voronoi strategy; kriging; dependency; matematisk statistik; Mathematical Statistics;

    Abstract : In this thesis we develop and study non-parametric methods within three major areas of functional data analysis: testing, clustering and prediction. The thesis consists of an introduction to the field, a presentation and discussion of the three areas, and six papers. READ MORE

  5. 8. Relations in Dependent Type Theory

    Author : Carlos Gonzalía; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; formalized mathematics; relational systems; category theory; programming logics; constructive type theory; logical frameworks; relational database model;

    Abstract : This thesis investigates how to express and reason about relational concepts and methods inside the constructive logical framework of Martin-Löf's monomorphic type theory. We cover several areas where the notion of relation is central, and show how to formalize the basic concepts of each area. READ MORE

  6. 9. Practical Unification for Dependent Type Checking

    Author : Víctor López Juan; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; unification; type checking; dependent types; Functional Programming;

    Abstract : When using popular dependently-typed languages such as Agda, Idris or Coq to write a proof or a program, some function arguments can be omitted, both to decrease code size and to improve readability.  Type checking such a program involves inferring a combination of these implicit arguments that makes the program type-correct. READ MORE

  7. 10. Hedging shareholder value in an IT dependent business society : the framework BRITS

    Author : Christer Magnusson; Detmar W Straub; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; data- och systemvetenskap; Computer and Systems Sciences;

    Abstract : Business Requirements on IT Security (BRITS) is a framework that can assist IT dependent companies to hedge losses due to IT-perils financially. Using BRITS can help these companies to hedge IT perils in the same professional way as consequences of traditional perils like fire, flood, robbery are hedged and thereby secure shareholders' investments. READ MORE