Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 5 of 5 for “"spatial graph"”.
-
MECHANIZED VERIFICATION OF GRAPH-MANIPULATING PROGRAMS
… programs which manipulate heap-represented graphs. We construct a reusable library of formalized graph theory. It is a modular and general library for reasoning about abstract mathematical graphs. We use separation logic to define how such abstract graphs are represented concretely in the …
-
Simulation modelling of spatial problems
… presents a simulation modelling strategy for spatial problems which uses a data structure based on spatial relationships. Using this network based approach, two domain specific data-driven models are developed in which the movement of people is modelled as a quasi-continuous process. The …
-
Cohesive Subgraph Computation in Graphs
For many years, graph model has been an important vehicle to many real-world applications. Significant research efforts have been devoted towards efficiently and effectively managing and analysing graph data. Among them, mining and querying cohesive subgraph structure in massive networks is of …
-
A two-stage design framework for optimal spatial packaging of interconnected fluid-thermal systems
Optimal spatial packaging of interconnected subsystems and components with coupled physical (thermal, hydraulic, or electromagnetic) interactions, or SPI2, plays a vital role in the functionality, operation, energy usage, and life cycle of practically all engineered systems, from chips to ships to …