Avancerad sökning
Visar resultat 1 - 5 av 907 avhandlingar som matchar ovanstående sökkriterier.
1. Commuting time choice and the value of travel time
Sammanfattning : In the modern industrialized society, a long commuting time is becoming more and more common. However, commuting results in a number of different costs, for example, external costs such as congestion and pollution as well as internal costs such as individual time consumption. LÄS MER
2. Real-Time Workload Models : Expressiveness vs. Analysis Efficiency
Sammanfattning : The requirements for real-time systems in safety-critical applications typically contain strict timing constraints. The design of such a system must be subject to extensive validation to guarantee that critical timing constraints will never be violated while the system operates. LÄS MER
3. Servicescapes seen by visually impaired travellers : Time-geography approach to servicescape research
Sammanfattning : Knowledge gaps remain in the study of servicescapes, since existing research on servicescapes tends to ignore major advances in the understanding of space and time as social phenomena. One aspect that particularly requires further study is how emerging constraints influence customers’ interactions with organized service places. LÄS MER
4. Symmetry Breaking Ordering Constraints
Sammanfattning : 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. LÄS MER
5. Analysis, synthesis and application of automaton-based constraint descriptions
Sammanfattning : 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. LÄS MER