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 15 of 15 for “"global constraints"”.
-
Constraint programming for optimization under uncertainty in inventory control
… between variables can be stated in the form of constraints. CP features discrete domains and global constraints. Global constraints capture interesting substructures of a problem, encapsulate dedicated inference algorithms based on feasibility and/or optimality reasoning, and provide information …
-
Doing time : inducing temporal graphs
… optimize pairwise ordering preferences and global constraints on the graph topology. Our learning method achieves 83% F-measure in temporal segmentation and 84% accuracy in inferring temporal relations between two segments.
-
Models and Algorithms for School Timetabling
… problems are specified declaratively in terms of constraints. Constraints are relations over problem variables that define the space of solutions by specifying restrictions on the values that variables may take simultaneously. To solve problems stated in terms of constraints, the constraint …
-
Clock Synchronization for Multihop Wireless Sensor Networks
… has been designed to exploit the large number of global constraints that have to be satisfied by a common notion of time in a multihop network. For example, the sum of the clock offsets along any cycle in the network must be zero at any instant. This leads to the concept of ``spatial smoothing.'' …
-
A Design-by-Contract based Approach for Architectural Modelling and Analysis
… in their connector structure that imposes a global ordering of actions on the interacting components. Such global constraints are not always realisable in a decentralised manner by the components that participate in these protocols. In this PhD thesis, I introduce a new architecture …
-
River network scaling: optimality and anisotropy
… river networks. I distinguish between local and global optimality constraints. Under local constraints, optimality of an overall network is a byproduct of local optimality. Local optimality can be produced by dynamics, and is not controversial when this is the case. Under global constraints, …
-
Decoding algorithms for complex natural language tasks
… and is capable of accounting for a wide range of global constraints. As an alternative, we also present a novel randomized algorithm which can guarantee an arbitrarily high probability of finding the optimal solution. We apply these methods to the task of constructing temporal graphs and to the …
-
Circuit design for logic automata
… (ASIC) designs, which are currently limited by global constraints such as the clock and long interconnects. The potential of the ALA circuit design flow is tested with example applications for mathematical operations. The same Logic Automata model can also be augmented by relaxing the digital …
-
On gravity-driven flow
… and a shape factor φ. These solutions lead to global constraints on the entrainment flux and energy dissipation of transitioning currents. In the third problem we present a series of new numerical simulations on two- dimensional gravity currents propagating down a rigid inclined boundary. From …
-
Mining constraints for Testing and Verification
… method employs a mining algorithm to discover global constraints among several nodes efficiently in a sequential circuit. In a Boolean satisfiability (SAT) based framework for the bounded sequential equivalence checking, by taking advantage of the repeated search space, our mining algorithm is …
-
Sustainability and the ecological footprint : comparing human demand with nature's supply.
… physical limits of the planet. In the face of global constraints, humanity continues to deplete nature, through resource harvesting and waste generation, faster than nature can regenerate itself. The UN World Commission on Environment and Development (WCED) introduced the idea of sustainable …
-
Connecting models and observations of disc evolution and planet formation
… star-formation region, my analysis provided global constraints on dust properties and the impact of dust self-scattering on continuum emission. Finally, in the case of HD 163296, one of the closest and best studied discs, I combined literature estimates of dust properties and the amount of …
-
Constraint-basierte Generierung realitätsnaher Eisenbahnnetze
… wird u.a. durch die Nachnutzung so genannter globaler Constraints erreicht. Aus diesem Grund wird insbesondere auf den Einsatz der Constraint-Programmierung bei der Modellierung und Implementierung der Applikation eingegangen.
-
Investigation of matching problems using constraint programming and optimisation methods
… in the context of constraint programming using global constraints. We discuss the possibility to find a popular matching even for the instances that does not admit one. The second part of the thesis focuses on non-bipartite graphs, i.e. the kidney exchange problem, a recent innovation that …
-
Representing and reasoning about concrete domains with inference fusion.
… with expressive and deductive powers of concrete constraints and, in the meantime, leaving the original systems intact—without modifying their underlying inference algorithms. This idea is presented as a generic schema, the inference fusion framework, which dynamically fuses homogeneous reasoners …