Sökning: "high-level modelling"

Visar resultat 1 - 5 av 61 avhandlingar innehållade orden high-level modelling.

  1. 1. 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

  3. 2. High-level synthesis under local-timing constraints

    Författare :Jonas Hallberg; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : High-level synthesis deals with the problem of transforming a behavioral description of a design into a register transfer level implementation. This enables the specification of designs at a high level of abstraction. LÄS MER

  4. 3. Of Mice and MYC : Modelling Medulloblastoma

    Författare :Oliver Mainwaring; Fredrik J. Swartling; Charles Eberhart; Uppsala universitet; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Medulloblastoma; MYC; Group 3; Cdkn2a; ARF; HSP90; Chromosome 17q; Medicinsk vetenskap; Medical Science; Oncology; Onkologi;

    Sammanfattning : Brain tumours are the leading cause of cancer-related paediatric deaths, with medulloblastoma (MB) being the most common malignant paediatric brain tumour. MB is stratified into four major subgroups – WNT, SHH, Group 3, and Group 4, nomenclature defined by key pathways and drivers involved within each subgroup. LÄS MER

  5. 4. Railway track dynamic modelling

    Författare :Blas Blanco; Leif Kari; Stefano Bruni; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Track modelling; Timoshenko element; local deformation; response discontinuity; distributed supports; Engineering Mechanics; Teknisk mekanik;

    Sammanfattning : The railway vehicles are an increasing mean of transportation due to, its reduced impact on environment and high level of comfort provided. These reasons have contributed to settle a positive perception of railway traffic into the European society. LÄS MER

  7. 5. Function Variables for Constraint Programming

    Författare :Brahim Hnich; Edward Tsang; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Constraint saisfaction; constraint programming; high-level modelling; abstraction; reformulation; function variables.; Datalogi; Computer science; Datalogi; Computer Science; data- och systemvetenskap;

    Sammanfattning : Quite often modelers with constraint programming (CP) use the same modelling patterns for different problems, possibly from different domains. This results in recurring idioms in constraint programs. Our approach can be seen as a three-step approach. First, we identify some of these recurring patterns in constraint programs. LÄS MER