Sökning: "constraint propagation"
Visar resultat 16 - 20 av 21 avhandlingar innehållade orden constraint propagation.
16. Energy efficient multi-robot coordination
Sammanfattning : When multiple systems work in the same physical environment, it is important to ensure that no collisions occur. This thesis is focused on the centralized offline coordination of such collaborating systems, with the condition that the spatial path each system travels along is known before hand. LÄS MER
17. Novel Applications of Space-Time Processing for Wireless Systems
Sammanfattning : Space-time processing techniques have emerged as one of the most promising areas of research and development in wireless communications. Space-time processing signifies the signal processing performed on a system consisting of several antenna elements, whose signals are processed adaptively in order to exploit both the spatial (space) and temporal (time) dimensions of the radio channel. LÄS MER
18. Influence of microstructure on debonding at the fiber/matrix interface in fiber-reinforced polymers under tensile loading
Sammanfattning : At the end of the second decade of the XXI century, the transportation industry at large faces several challenges that will shape its evolution in the next decade and beyond. The first such challenge is the increasing public awareness and governmental action on climate change, which are increasing the pressure on the industrial sectors responsible for the greatest share of emissions, the transportation industry being one of them, to reduce their environmental footprint. LÄS MER
19. Approximations and abstractions for reasoning about machine arithmetic
Sammanfattning : Safety-critical systems rely on various forms of machine arithmetic to perform their tasks: integer arithmetic, fixed-point arithmetic or floating-point arithmetic. The problem with machine arithmetic is that it can exhibit subtle differences in behavior compared to the ideal mathematical arithmetic, due to fixed-size representation in memory. LÄS MER
20. Atlantic Water in the Nordic Seas : A satellite altimetry perspective on ocean circulation
Sammanfattning : The Atlantic Water in the Nordic Seas contributes to the mild climate of Northern Europe and is the main oceanic source of heat for the Arctic. The northward bound transport of the warm and saline Atlantic Water is mediated by a topographically constrained cyclonic boundary current along the Norwegian continental slope. LÄS MER