• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 10
  • 5
  • 1
  • Tagged with
  • 16
  • 10
  • 8
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

La prudence de l'écriture dans l'Ethique de Spinoza : approche formelle des scolies /

Delord, Jean. January 1900 (has links)
Thèse Univ. Montpellier III - Paul Valéry, 2003.
2

Formalisierung kartographischen Wissens zur Schriftplazierung in topographischen Karten

Ellsiepen, Matthias. Unknown Date (has links) (PDF)
Universiẗat, Diss., 2002--Bonn.
3

Neither chaos nor rigidity : an empirical study on the role of partial formalization in organizational innovativeness = Chaos noch rigiditeit /

Bodewes, Wynand Evert Jan. January 1900 (has links)
Univ., Diss.--Rotterdam, 2000.
4

Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich

Fleischmann, Andreas January 2008 (has links)
Zugl.: München, Techn. Univ., Diss., 2008 / Hergestellt on demand
5

Formalizations for geooperators-geoprocessing in Spatial Data Infrastructures

Brauner, Johannes 21 October 2015 (has links) (PDF)
Nowadays, geoprocessing has moved in large parts from isolated desktop usage into the Web. Thereby, the overall availability of geoprocessing functionality has theoretically improved. Nevertheless, web-based geoprocessing functionality is still not readily available and usable as means to find and subsequently compare functionality are yet missing. Discoverability and exchangeability of geoprocessing functionality are limited, and the fundamental benefits of online usage are not fully exploited. To close this gap, this thesis defines a conceptualization with geooperators representing well-defined geoprocessing functionality, and categories representing distinct geooperator attributes as a starting point. Geooperators and categories are connected by associative and hierarchical links forming an interlinked network. The conceptualization serves as basis for two purposes: On the one hand, discovery of geooperators has to be improved. There is a multitude of different GIS users from varying backgrounds, all having a slightly different view on geoprocessing functionality. To embrace these varying views, several actually existing and established categorizations for geooperators are integrated into the conceptualization and structured hierarchically. Thus, multiple different perspectives on geooperators are enabled. The perspectives and the underlying categorizations are integrated into a geooperator browser serving as client that users can employ for discovery. The geooperator browser offers a faceted browsing interface based on the derived perspectives and categories. Several different search modes are offered and can be used simultaneously, thereby facilitating an improved discovery. On the other hand, to establish comparability and subsequently semantically interoperable exchangeability of geooperators, respective geooperator attributes are defined. Thereby, backend and provider independence of geoprocessing services is achieved. The conceptualization is formalized to allow for machine readability and processing which is required for usage in Spatial Data Infrastructures and the Semantic Web. The formalized conceptualization is labeled geooperator thesaurus. It is encoded by Semantic Web standards and offered in a Semantic Web compliant manner. The integration into geoprocessing service metadata is enabled by injecting semantic annotations that link to the respective concepts in the geooperator thesaurus. The thesaurus serves as the underlying data model for the geooperator browser. The thesis concludes with an outlook and discussions of future work. Foremost, the content of the geooperator thesaurus needs to be extended as it currently only comprises a representative subset of geooperators. An approach is suggested to involve the geoprocessing community as an important source of geoprocessing expertise in the maintenance and further development of the thesaurus. On a conceptual level, the thesaurus needs to be extended to a fully-fledged ontology including a formal geoprocessing algebra to support the creation of geooperator workflows. From a discovery point of view, the concept of geoprocessing patterns is outlined. Geoprocessing patterns list geooperators that are commonly used for certain geoprocessing tasks, and provide best practices about applying them in a meaningful manner and sequence. / An Stelle von isolierter Desktop-basierter Nutzung von Geoprozessierung werden heutzutage mehr und mehr webbasierte Angebote zur Verfügung gestellt. Dadurch hat sich die generelle Verfügbarkeit von Geoprozessierungsfunktionalität theoretisch verbessert. Da jedoch das Auffinden und anschließend oft notwendige Vergleichen von Funktionalität nur eingeschränkt möglich ist, können die Vorteile einer webbasierten Verfügbarkeit nicht vollständig genutzt werden. Um dieser Problematik zu begegnen, wird im Rahmen der vorliegenden Arbeit eine Konzeptualisierung entwickelt, die wohldefinierte Geoprozessierungsfunktionalität als Geooperatoren und Kategorien als Unterscheidungsmerkmale für Geooperatoren zur Verfügung stellt. Geooperatoren und Kategorien sind über assoziative und hierarchische Links zu einem Netzwerk verknüpft. Diese Konzeptualisierung erfüllt zwei grundlegende Aufgaben: Einerseits muss das Auffinden von Geooperatoren für Nutzer mit unterschiedlichsten Anwendungshintergründen möglich sein. Diese Nutzer haben unterschiedlichste Sichten auf Geooperatoren, die berücksichtigt und unterstützt werden sollen. Dazu werden etablierte Kategorisierungen aus Literatur und Praxis in die Konzeptualisierung integriert, entsprechend hierarchisch strukturiert und als Perspektiven auf Geooperatoren für den Zugriff nach Außen zur Verfügung gestellt. Diese Perspektiven und die darunterliegenden Kategorien werden als Facetten in einen Geooperatorbrowser integriert, der als webbasierter Client von den Nutzern für das Auffinden von Geooperatoren verwendet werden kann. Die explorative Suche über Facetten nach Geoprozessierungsfunktionalität wird durch eine Schlüsselwortsuche und einen geführten Suchmodus ergänzt und damit insgesamt die Auffindbarkeit von Geooperatoren verbessert. Andererseits sollen die Vergleichbarkeit und der anschließend semantisch interoperable Austausch von Geooperatoren ermöglicht werden. Dazu werden durch einen Vergleich von Geooperatorattributen Ähnlichkeiten von Geooperatoren definiert und zusammen mit der Konzeptualisierung als Geooperatorthesaurus formalisiert. Durch die Formalisierung wird eine Maschinenlesbarkeit und -prozessierbarkeit erreicht. Nur so kann ein anbieter- und backendunabhängiger Austausch von Geoprozessierungsdiensten in Geodateninfrastrukturen ermöglicht werden. Der Thesaurus nutzt Semantic-Web-Standards und wird in einer Semantic-Web-kompatiblen Art und Weise im Web publiziert. Die Integration in Metadaten von Geoprozessierungsdiensten wird durch semantische Annotationen erreicht, die auf die entsprechenden Konzepte im Thesaurus verlinken. Der Thesaurus dient als Datenbasis für den Geooperatorenbrowser. Die Arbeit schließt mit einem Ausblick auf und einer Diskussion von zukünftigen Forschungsarbeiten ab. Da der Thesaurus zurzeit nur eine repräsentative Menge an Beispieldaten enthält, muss als erster wichtiger Schritt der Inhalt des Thesaurus erweitert werden. Für die mittel- und langfristige Instandhaltung und Weiterentwicklung des Thesaurus wird ein Konzept zur Einbindung der GIS-Community vorgeschlagen, da hier gebündelte Geoprozessierungsexpertise vorhanden ist. Auf einer konzeptuellen Ebene muss der Thesaurus für eine semantisch und technisch verbesserte Verkettung von Geooperatoren zu einer vollständigen Ontologie mit einer formalen Geoprozessierungsalgebra weiterentwickelt werden. Für eine weitere Verbesserung der Auffindbarkeit von Geooperatoren wird das Konzept von Geoprozessierungspatterns skizziert, die Geooperatoren zusammenfassen, die oft im Kontext einer bestimmten Aufgabe zusammen genutzt werden. Zusätzlich werden über die Patterns Best Practices zur sinnvollen Anwendung und Verkettung der enthaltenen Geooperatoren zur Verfügung gestellt.
6

An agent control perspective on qualitative spatial reasoning : towards more intuitive spatial agent development /

Dylla, Frank. January 2008 (has links)
Zugl.: Bremen, University, Diss., 2008.
7

Computersimulation und Intervention eine Methode der Technikentwicklung als Vermittlungsinstrument soziotechnischer Umordnungen /

Warnke, Philine. Unknown Date (has links)
Techn. Universiẗat, Diss., 2002--Darmstadt.
8

Formalizations for geooperators-geoprocessing in Spatial Data Infrastructures

Brauner, Johannes 22 May 2015 (has links)
Nowadays, geoprocessing has moved in large parts from isolated desktop usage into the Web. Thereby, the overall availability of geoprocessing functionality has theoretically improved. Nevertheless, web-based geoprocessing functionality is still not readily available and usable as means to find and subsequently compare functionality are yet missing. Discoverability and exchangeability of geoprocessing functionality are limited, and the fundamental benefits of online usage are not fully exploited. To close this gap, this thesis defines a conceptualization with geooperators representing well-defined geoprocessing functionality, and categories representing distinct geooperator attributes as a starting point. Geooperators and categories are connected by associative and hierarchical links forming an interlinked network. The conceptualization serves as basis for two purposes: On the one hand, discovery of geooperators has to be improved. There is a multitude of different GIS users from varying backgrounds, all having a slightly different view on geoprocessing functionality. To embrace these varying views, several actually existing and established categorizations for geooperators are integrated into the conceptualization and structured hierarchically. Thus, multiple different perspectives on geooperators are enabled. The perspectives and the underlying categorizations are integrated into a geooperator browser serving as client that users can employ for discovery. The geooperator browser offers a faceted browsing interface based on the derived perspectives and categories. Several different search modes are offered and can be used simultaneously, thereby facilitating an improved discovery. On the other hand, to establish comparability and subsequently semantically interoperable exchangeability of geooperators, respective geooperator attributes are defined. Thereby, backend and provider independence of geoprocessing services is achieved. The conceptualization is formalized to allow for machine readability and processing which is required for usage in Spatial Data Infrastructures and the Semantic Web. The formalized conceptualization is labeled geooperator thesaurus. It is encoded by Semantic Web standards and offered in a Semantic Web compliant manner. The integration into geoprocessing service metadata is enabled by injecting semantic annotations that link to the respective concepts in the geooperator thesaurus. The thesaurus serves as the underlying data model for the geooperator browser. The thesis concludes with an outlook and discussions of future work. Foremost, the content of the geooperator thesaurus needs to be extended as it currently only comprises a representative subset of geooperators. An approach is suggested to involve the geoprocessing community as an important source of geoprocessing expertise in the maintenance and further development of the thesaurus. On a conceptual level, the thesaurus needs to be extended to a fully-fledged ontology including a formal geoprocessing algebra to support the creation of geooperator workflows. From a discovery point of view, the concept of geoprocessing patterns is outlined. Geoprocessing patterns list geooperators that are commonly used for certain geoprocessing tasks, and provide best practices about applying them in a meaningful manner and sequence. / An Stelle von isolierter Desktop-basierter Nutzung von Geoprozessierung werden heutzutage mehr und mehr webbasierte Angebote zur Verfügung gestellt. Dadurch hat sich die generelle Verfügbarkeit von Geoprozessierungsfunktionalität theoretisch verbessert. Da jedoch das Auffinden und anschließend oft notwendige Vergleichen von Funktionalität nur eingeschränkt möglich ist, können die Vorteile einer webbasierten Verfügbarkeit nicht vollständig genutzt werden. Um dieser Problematik zu begegnen, wird im Rahmen der vorliegenden Arbeit eine Konzeptualisierung entwickelt, die wohldefinierte Geoprozessierungsfunktionalität als Geooperatoren und Kategorien als Unterscheidungsmerkmale für Geooperatoren zur Verfügung stellt. Geooperatoren und Kategorien sind über assoziative und hierarchische Links zu einem Netzwerk verknüpft. Diese Konzeptualisierung erfüllt zwei grundlegende Aufgaben: Einerseits muss das Auffinden von Geooperatoren für Nutzer mit unterschiedlichsten Anwendungshintergründen möglich sein. Diese Nutzer haben unterschiedlichste Sichten auf Geooperatoren, die berücksichtigt und unterstützt werden sollen. Dazu werden etablierte Kategorisierungen aus Literatur und Praxis in die Konzeptualisierung integriert, entsprechend hierarchisch strukturiert und als Perspektiven auf Geooperatoren für den Zugriff nach Außen zur Verfügung gestellt. Diese Perspektiven und die darunterliegenden Kategorien werden als Facetten in einen Geooperatorbrowser integriert, der als webbasierter Client von den Nutzern für das Auffinden von Geooperatoren verwendet werden kann. Die explorative Suche über Facetten nach Geoprozessierungsfunktionalität wird durch eine Schlüsselwortsuche und einen geführten Suchmodus ergänzt und damit insgesamt die Auffindbarkeit von Geooperatoren verbessert. Andererseits sollen die Vergleichbarkeit und der anschließend semantisch interoperable Austausch von Geooperatoren ermöglicht werden. Dazu werden durch einen Vergleich von Geooperatorattributen Ähnlichkeiten von Geooperatoren definiert und zusammen mit der Konzeptualisierung als Geooperatorthesaurus formalisiert. Durch die Formalisierung wird eine Maschinenlesbarkeit und -prozessierbarkeit erreicht. Nur so kann ein anbieter- und backendunabhängiger Austausch von Geoprozessierungsdiensten in Geodateninfrastrukturen ermöglicht werden. Der Thesaurus nutzt Semantic-Web-Standards und wird in einer Semantic-Web-kompatiblen Art und Weise im Web publiziert. Die Integration in Metadaten von Geoprozessierungsdiensten wird durch semantische Annotationen erreicht, die auf die entsprechenden Konzepte im Thesaurus verlinken. Der Thesaurus dient als Datenbasis für den Geooperatorenbrowser. Die Arbeit schließt mit einem Ausblick auf und einer Diskussion von zukünftigen Forschungsarbeiten ab. Da der Thesaurus zurzeit nur eine repräsentative Menge an Beispieldaten enthält, muss als erster wichtiger Schritt der Inhalt des Thesaurus erweitert werden. Für die mittel- und langfristige Instandhaltung und Weiterentwicklung des Thesaurus wird ein Konzept zur Einbindung der GIS-Community vorgeschlagen, da hier gebündelte Geoprozessierungsexpertise vorhanden ist. Auf einer konzeptuellen Ebene muss der Thesaurus für eine semantisch und technisch verbesserte Verkettung von Geooperatoren zu einer vollständigen Ontologie mit einer formalen Geoprozessierungsalgebra weiterentwickelt werden. Für eine weitere Verbesserung der Auffindbarkeit von Geooperatoren wird das Konzept von Geoprozessierungspatterns skizziert, die Geooperatoren zusammenfassen, die oft im Kontext einer bestimmten Aufgabe zusammen genutzt werden. Zusätzlich werden über die Patterns Best Practices zur sinnvollen Anwendung und Verkettung der enthaltenen Geooperatoren zur Verfügung gestellt.
9

Towards a Unifying Visualization Ontology

Voigt, Martin, Polowinski, Jan 13 April 2011 (has links) (PDF)
Although many terminologies, taxonomies and also first ontologies for visualization have been suggested, there is still no unified and formal knowledge representation including the various fields of this interdisciplinary domain. We moved a step towards such an ontology by systematically reviewing existing models and classifications, identifying important fields and discussing inconsistently used terms. Finally, we specified an initial visualization ontology which can be used for both classification and synthesis of graphical representations. Our ontology can also serve the visualization community as a foundation to further formalize, align and unify its existing and future knowledge.
10

Mixing Description Logics in Privacy-Preserving Ontology Publishing

Baader, Franz, Nuradiansyah, Adrian 30 July 2021 (has links)
In previous work, we have investigated privacy-preserving publishing of Description Logic (DL) ontologies in a setting where the knowledge about individuals to be published is an EL instance store, and both the privacy policy and the possible background knowledge of an attacker are represented by concepts of the DL EL. We have introduced the notions of compliance of a concept with a policy and of safety of a concept for a policy, and have shown how, in the context mentioned above, optimal compliant (safe) generalizations of a given EL concept can be computed. In the present paper, we consider a modified setting where we assume that the background knowledge of the attacker is given by a DL different from the one in which the knowledge to be published and the safety policies are formulated. In particular, we investigate the situations where the attacker’s knowledge is given by an FL0 or an FLE concept. In both cases, we show how optimal safe generalizations can be computed. Whereas the complexity of this computation is the same (ExpTime) as in our previous results for the case of FL0, it turns out to be actually lower (polynomial) for the more expressive DL FLE.

Page generated in 0.0697 seconds