Sökning: "STL"

Visar resultat 6 - 10 av 17 avhandlingar innehållade ordet STL.

  1. 6. Cooperative Manipulation and Motion Planning Under Signal Temporal Logic Specifications

    Författare :Mayank Sewlia; Dimos V. Dimarogonas; Christos Verginis; Jana Tumova; Cristian-Ioan Vasile; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : As robots become increasingly prevalent in society, it is essential to prescribe complex high-level tasks to them. Tasks prescribed over temporal logics present two main challenges: generating trajectories that satisfy the logical formula and tracking those trajectories that depend on the logical formula. LÄS MER

  3. 7. Phylogenies and Secondary Chemistry in Arnica (Asteraceae)

    Författare :Catarina Ekenäs; Katarina Andreasen; Anders Backlund; Lynn Bohs; Uppsala universitet; []
    Nyckelord :Biology; phylogeny; ITS; ETS; RPB2; sesquiterpene lactones; PCA; bioassay; NF-κB; neutrophil; chloroplast; Biologi; Arnica; Asteraceae;

    Sammanfattning : The genus Arnica (Asteraceae) was investigated for phylogenetic relationships and sesquiterpene lactone (STL) content with the aims to trace the evolutionary history of the genus and to investigate possible congruencies between DNA sequence data, secondary chemistry, and biological activity. Complex evolutionary patterns in Arnica are evident from phylogenetic analyses of chloroplast regions (the rpl16 and rps16 introns and the psbA–trnH, ycf4–cemA, and trnT–L spacers), nuclear ribosomal regions (the internal and external transcribed spacers) and the nuclear low-copy DNA region coding for the second largest subunit of RNA polymerase II (RPB2) between exons 17 and 23. LÄS MER

  4. 8. Path integral control endowed robot planning under spatiotemporal logic specifications

    Författare :Péter Várnai; Dimos Dimarogonas; Theodorou Evangelos; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : The increasing level of autonomy and intelligence of robotic systems in carrying out complex tasks can be expected to revolutionize both the industry and our everyday lives. This thesis takes a step towards automation by leveraging the power of path integral control (PIC) methods for solving control problems under such task satisfaction constraints in both a stochastic control and a reinforcement learning setting. LÄS MER

  5. 9. Integration of silicide nanowires as Schottky barrier source/drain in FinFETs

    Författare :Zhen Zhang; Shi-Li Zhang; Tsu-Jae King Liu; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; CMOS technology; MOSFET; FinFET; Schottky diode; Schottky barrier soure drain; silicide; SALICIDE; SOI; multiple-gate; nanowire; sidewall transfer lithography; Electronics; Elektronik;

    Sammanfattning : The steady and aggressive downscaling of the physical dimensions of the conventional metal-oxide-semiconductor field-effect-transistor (MOSFET) has been the main driving force for the IC industry and information technology over the past decades. As the device dimensions approach the fundamental limits, novel double/trigate device architecture such as FinFET is needed to guarantee the ultimate downscaling. LÄS MER

  7. 10. Support for Development and Maintenance of Generic Libraries

    Författare :Marcin Zalewski; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Change Impact Analysis; Analyses; Software Libraries;

    Sammanfattning : Software libraries have emerged as one of the most common ways of providingreusable, organized collections of software. Practically every softwareproject nowadays uses a number of software libraries for the most basic tasksas well as for domain-specific programming tasks. LÄS MER