Search for dissertations about: "global constraints"

Showing result 1 - 5 of 212 swedish dissertations containing the words global constraints.

2. 1. Symmetry Breaking Ordering Constraints

   Author : Zeynep Kiziltan; Andreas Hamfelt; Toby Walsh; Pedro Meseguer; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Constraint satisfaction; constraint programming; modelling; symmetry breaking; global constraints; Datavetenskap; Computer science; Datavetenskap;

   Abstract : Many problems in business, industry, and academia can be modelled as constraint programs consisting of matrices of decision variables. Such “matrix models” often have symmetry. In particular, they often have row and column symmetry as the rows and columns can freely be permuted without affecting the satisfiability of assignments. READ MORE

4. 2. On material constraints for new energy technologies

   Author : Björn A. Andersson; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; energy; electric vehicles; global; sustainability; solar cells; material constraints; technology choice; batteries;

   Abstract : .... READ MORE

5. 3. Analysis, synthesis and application of automaton-based constraint descriptions

   Author : María Andreína Francisco Rodríguez; Justin Pearson; Pierre Flener; Christopher Jefferson; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; constraint programming; constraint predicates; global constraints; automata; automaton-described constraint predicates; automaton-induced constraint decompositions; implied constraints; time-series constraints; transducers; automaton invariants; Computer Science; Datavetenskap;

   Abstract : Constraint programming (CP) is a technology in which a combinatorial problem is modelled as a conjunction of constraints on variables ranging over given initial domains, and optionally an objective function on the variables. Such a model is given to a general-purpose solver performing systematic search to find constraint-satisfying domain values for the variables, giving an optimal value to the objective function. READ MORE

6. 4. Water Realities and Development Trajectories : Global and Local Agricultural Production Dynamics

   Author : Mats Lannerstad; Jan Lundqvist; Malin Falkenmark; David Molden; Paul Appasamy; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Agriculture development; food production; per capita food supply; consumptive water use; evaporation; transpiration; hydro-climatic variability; blue water resource; green water resource; irrigation; river depletion; river basin closure; adaptive water management; vegetal and animal foods; Jordbruksutveckling; matproduktion; per capita mattillgång; konsumerande vattenanvändning; evaporation; transpiration; hydroklimatisk variabilitet; blåvattenresurs; grönvattenresurs; bevattning; uttorkning av vattendrag; överintecknade avrinningsområden; anpassad vattenhantering; vegetarisk och animalisk föda.; Water in nature and society; Vatten i natur och samhälle;

   Abstract : Water constraints for humans and nature are gaining more and more public attention as a critical environmental dilemma that needs to be addressed. When aquifers and rivers are running dry, the debate refers to an ongoing “world water crisis”. READ MORE

7. 5. Global energy transitions : Renewable energy technology and non-renewable resources

   Author : Simon Davidsson; Mikael Höök; Kjell Aleklett; Björn Sandén; Uppsala universitet; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; energy transitions; natural resources; renewable energy; sustainable development; growth curves; Natural Resources and Sustainable Development; Naturresurser och hållbar utveckling;

   Abstract : The global energy system is dominated by the use of fossil fuels. This system suffers from several problems, such as different environmental issues, while the long-term energy security is sometimes questioned. READ MORE