Search for dissertations about: "fulltext databases"

Showing result 6 - 10 of 323 swedish dissertations containing the words fulltext databases.

  2. 6. Univalent Types, Sets and Multisets : Investigations in dependent type theory

    Author : Håkon Robbestad Gylterud; Erik Palmgren; Nicola Gambino; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; type theory; homotopy type theory; dependent types; constructive set theory; databases; formalisation; agda; Mathematics; matematik;

    Abstract : This thesis consists of four papers on type theory and a formalisation of certain results from the two first papers in the Agda language. We cover topics such as models of multisets and sets in Homotopy Type Theory, and explore ideas of using type theory as a language for databases and different ways of expressing dependencies between terms. READ MORE

  4. 7. Algorithms for aggregate information extraction from sequences

    Author : Fredrik Bengtsson; Luleå tekniska universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Dependable Communication and Computation Systems; Kommunikations- och beräkningssystem;

    Abstract : In this thesis, we propose efficient algorithms for aggregate information extraction from sequences and multidimensional arrays. The algorithms proposed are applicable in several important areas, including large databases and DNA sequence segmentation. READ MORE

  5. 8. Towards a Sustainable Resource Management : A Broader Systems Approach to Product Design and Waste Management

    Author : Jagdeep Singh; Björn Frostell; William Hogland; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Resource Management; Product Design; Waste Management Challenges; Systems Thinking; Sustainability Science; Industrial Ecology; Industriell ekologi; Resource Management; Product Design; Waste Management Challenges; Systems Thinking; Sustainability Science;

    Abstract : Rapid economic growth, urbanisation and increasing population have caused (materially intensive) resource consumption to increase, and consequently the release of large amounts of waste to the environment. Numerous technological and operational approaches to resource management have been introduced throughout the system of production, consumption and waste management. READ MORE

  6. 9. Databases for antibody-based proteomics

    Author : Erik Björling; Mathias Uhlén; Alvis Brazma; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; proteomics; antibodies; database; biomarker; website; Bioengineering; Bioteknik;

    Abstract : Humans are believed to have ~20,500 protein-coding genes andmuch effort has over the last years been put into the characterizationand localization of the encoded proteins in order to understand theirfunctions. One such effort is the Human Proteome Resource (HPR)project, started in Sweden 2003 with the aim to generate specificantibodies to each human protein and to use those antibodies toanalyze the human proteome by screening human tissues and cells. READ MORE

  7. 10. Surgery and stomas in Crohn's disease

    Author : Thordis Disa Kalman; Pär Myrelid; Johan D Söderholm; Bjørn Moum; Linköpings universitet; []
    Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES;

    Abstract : This study investigates the evolution of abdominal surgery in treatment of Crohn´s disease (CD) in the era of immunomodulatory drugs and biologicals. It concerns risk of abdominal surgery overall and sub-categories of abdominal surgery, risk of repeat surgery and factors that affect this risk, and risk of getting a stoma. READ MORE