Sökning: "Peter Jonsson"
Visar resultat 1 - 5 av 32 avhandlingar innehållade orden Peter Jonsson.
1. Combinatorial Considerations on Two Models from Statistical Mechanics
Sammanfattning : Interactions between combinatorics and statistical mechanics have provided many fruitful insights in both fields. A compelling example is Kuperberg’s solution to the alternating sign matrix conjecture, and its following generalisations. LÄS MER
2. Algorithms and Hardness Results for Some Valued CSPs
Sammanfattning : In the Constraint Satisfaction Problem (CSP) one is supposed to find an assignment to a set of variables so that a set of given constraints are satisfied. Many problems, both practical and theoretical, can be modelled as CSPs. LÄS MER
3. Design and implementation of a programmable, wideband sonar for sediment mapping
Sammanfattning : To be able to explore different signal types and processing techniques, apt for sediment mapping, programmable, fully digital profiling systems has been built and tested. The systema are designed to be deployed also at small water depths from small boats, without special handling equipment. LÄS MER
4. Positive supercompilation for a higher-order call-by-value language
Sammanfattning : Intermediate structures such as lists and higher-order functions are very common in most styles of functional programming. While allowing the programmer to write clear and concise programs, the creation and destruction of these structures impose a run time overhead which is not negligible. LÄS MER
5. Time- and size-efficient supercompilation
Sammanfattning : Intermediate structures such as lists and higher-order functions are very common in most styles of functional programming. While allowing the programmer to write clear and concise programs, the creation and destruction of these structures impose a run time overhead which is not negligible. LÄS MER