Sökning: "Exploration"
Visar resultat 6 - 10 av 1344 avhandlingar innehållade ordet Exploration.
6. Guided Interaction and Collaborative Exploration in Heterogeneous Network Visualizations
Sammanfattning : 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. LÄS MER
7. Seismic Exploration Solutions for Deep-Targeting Metallic Mineral Deposits : From high-fold 2D to sparse 3D, and deep-learning workflows
Sammanfattning : 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. LÄS MER
8. Theory Exploration for Programs and Proofs
Sammanfattning : 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. LÄS MER
9. Mineral Rights : Legal Systems Governing Exploration and Exploitation
Sammanfattning : 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. LÄS MER
10. Exploration of polygonal environments
Sammanfattning : 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. LÄS MER