In this thesis improved upper bounds for several important combinatorial problems are provided. Below is a list of the main results showed in the thesis. The problem of determining whether a k-connected partial k-tree is isomorphic to subgraph of another partial k-tree is shown to be solvable in time O(nk+2). The problem of determining the maximum number of node-disjoint subgraphs of a partial k-t

Föreliggande rapport är en oberoende utvärdering av projektet Creating Competitive Jobs (CCJobs). Rapporten summerar resultat och lärdomar från projektet samt lyfter fram om aspekter av CCJobs som bör vidareutvecklas. Projektets övergripande syfte var att skapa nya arbetstillfällen genom att möjliggöra ett ömsesidigt utbyte mellan företag och lärosäten inom högre utbildning. En grundläggande princ

The predicament in which we find ourselves today is that many professionals lack a sufficient grounding in formal methods, tools and techniques to enable them to make an appropriate selection for different kinds of problem. This can mean that complexity remains unrecognized and ambiguous problem situations are addressed as if they were clear and straightforward, resulting in inadequate solutions t

One of the exciting emerging uses of DSRC/WAVE technology is the ability to monitor real-time road traffic conditions with high resolution, using beacons transmitted by individual vehicles, and make informed traffic control decisions such as traffic light timing or route advice. However, previous studies have shown that achieving a high level of accuracy in traffic density estimation requires very

Populärvetenskaplig sammanfattningAvhandlingen tog sin utgångspunkt i nödvändigheten att organisationer ständigt måste vara flexibla för att kunna bemästra krav på variation och oväntade händelser. En organisations förmåga att snabbt anpassa såväl antalet anställda som de anställdas arbetsinsats på ett smidigt sätt kan vara en förutsättning för flexibilitet. Förutom kapacitet till förändring är deThis thesis assumed the necessity of organizations having to be flexible in respect to mastering variation and unexpected circumstances. Organizations’ ability to alter the number of workers, or to vary the intensity of workers’ workload in a smooth way, is generally a prerequisite for flexibility. In addition to being able to change, organizations must also have the capacity to obtain development

The increasingcost for System-on-Chip (SOC) testing is mainly due to the hugetest data volumes that lead to long test application time andrequire large automatic test equipment (ATE) memory. Testcompression and test sharing have been proposed to reduce the testdata volume, while test infrastructure and concurrent testscheduling have been developed to reduce the test application time.In this work w