Sökning: "magnus ågren"

Visar resultat 1 - 5 av 9 avhandlingar innehållade orden magnus ågren.

1. 1. Dissertatio academica, de usu historiæ in praxi philosophiæ moralis, quam ... publico bonorum examini submittunt præses Magnus Malmstedt ... et respondens Johannes Ågren, Wermelandi. In audit. Carol. maj. die VIII Nov. anno MDCCXLIX. Horis, ante meridiem, solitis

   Författare :Magnus Brynolph Malmstedt; Johan Ågren; Magnus Brynolph Malmstedt; Uppsala universitet; []
   Nyckelord :HUMANIORA; HUMANITIES;

   Sammanfattning : .... LÄS MER

3. 2. High-level modelling and local search

   Författare :Magnus Ågren; Pierre Flener; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Computer Science;

   Sammanfattning : Combinatorial optimisation problems are ubiquitous in our society and appear in such varied guises as DNA sequencing, scheduling, configuration, airline-crew and nurse rostering, combinatorial auctions, vehicle routing, and financial portfolio design. Their efficient solution is crucial to many people and has been the target for much research during the last decades. LÄS MER

4. 3. Set Constraints for Local Search

   Författare :Magnus Ågren; RISE; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : .... LÄS MER

5. 4. Set Constraints for Local Search

   Författare :Magnus Ågren; Pierre Flener; Justin Pearson; Gilles Pesant; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; combinatorial problems; constraint-based local search; constraint-directed search; constraint programming; incremental algorithms; monadic existential second-order logic; neighbourhoods; penalty; set variables; set constraints; variable conflicts; Computer science; Datavetenskap; Datavetenskap; Computer Science;

   Sammanfattning : Combinatorial problems are ubiquitous in our society and solving such problems efficiently is often crucial. One technique for solving combinatorial problems is constraint-based local search. Its compositional nature together with its efficiency on large problem instances have made this technique particularly attractive. LÄS MER

7. 5. System Capability Feedback-Cycles in Automotive Software Development

   Författare :Magnus Ågren; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Continuous Software Engineering; Automotive Systems Engineering; Requirements Engineering; Software Architecture;

   Sammanfattning : Context: The automotive industry is currently going through rapid change, driven by new technology; for example, electrification, autonomous driving, and connected cars. This new technology is largely based on electronics and software, and vehicles are increasingly becoming software-intensive systems. LÄS MER