Search for dissertations about: "exploration"

Showing result 6 - 10 of 1256 swedish dissertations containing the word exploration.

  2. 6. Guided Interaction and Collaborative Exploration in Heterogeneous Network Visualizations

    Author : Björn Zimmer; Andreas Kerren; Hans-Jörg Schulz; Linnéuniversitetet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Information Visualization; Multivariate Networks; Visual Analytics; Exploration; Interaction; Collaboration; Provenance; Guidance; Informations- och programvisualisering; Information and software visualization;

    Abstract : The visual exploration of large and complex network structures remains a challenge for many application fields, such as systems biology or social sciences. Often, various domain experts would like to work together to improve the analysis time or the quality of the analysis results. READ MORE

  4. 7. Seismic Exploration Solutions for Deep-Targeting Metallic Mineral Deposits : From high-fold 2D to sparse 3D, and deep-learning workflows

    Author : Magdalena Markovic; Alireza Malehmir; Gilles Bellefleur; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Exploration; Seismic; Mineral Deposits; Diffraction; Deep learning;

    Abstract : Mineral exploration has in recent years moved its focus to greater depths than ever before, particularly in brown fields. Exploring new deposits at depth, if economical, would not only expand the life of mine but also provide minimal environmental impacts. It allows the existing mining infrastructures to be used for a longer period. READ MORE

  5. 8. Theory Exploration for Programs and Proofs

    Author : Sólrún Einarsdóttir; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Theorem Proving; Automated Reasoning; Theory Exploration; Property-Based Testing; Functional Programming; Conjecture Generation; Artificial Intelligence; Coinduction;

    Abstract : We have built two theory exploration systems, Cohipster and RoughSpec . Theory exploration is a method of automatically conjecturing properties about the functions and structures that appear in a computer program or a formalization of a mathematical theory. READ MORE

  6. 9. Mineral Rights : Legal Systems Governing Exploration and Exploitation

    Author : Eva Liedholm Johnson; Hans Mattsson; Barbro Julstad Julstad; Kauko Viitanen; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Mineral Rights; mineral legislation; exploration permit; claim; exploitation- mining concession; lease; Civil engineering and architecture; Samhällsbyggnadsteknik och arkitektur;

    Abstract : The objective of this thesis is to examine the legal procedures and systems concerning granting or possessing mineral rights, and how such rights may be exercised, particularly given the diametric interests of land use, ownership and land tenure. The study, comparative in its nature, aims at highlighting the similarities and differences between the countries and states of comparison, and thereby identify interesting solutions of issues relating to the granting and exercising of mineral rights. READ MORE

  7. 10. Exploration of polygonal environments

    Author : Anders Ekman; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Databehandling;

    Abstract : Several robotic problems involve the systematic traversal of environments, commonly called exploration. This thesis presents a strategy for exploration of finite polygonal environments, assuming a point robot that has 1) no positional uncertainty and 2) an ideal range sensor that measures range in N uniformly distributed directions in the plane. READ MORE