Sökning: "automated synthesis"

Visar resultat 26 - 30 av 56 avhandlingar innehållade orden automated synthesis.

  1. 26. On the Implementation of Discrete Event Supervisory Control with Focus on Flexible Manufacturing Systems

    Författare :Anders Hellgren; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : In modern day production, the ability to quickly implement a control system is of increasing importance. In order to meet demands on shorter development times and easier reconfigurability, the design and implementation of the control system should be automated and provably correct. LÄS MER

  3. 27. New Strategies for Transition Metal-mediated (Hetero)arene Functionalization

    Författare :Fredric Ingner; Lukasz Pilarski; Joanna Wencel-Delord; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This thesis describes new approaches to achieve efficient and selective (hetero)arene derivatization using transition metals. The main focus falls on the use of strategies based on C–H activation and organo-main group reactivity to render the synthesis of various (hetero)arene derivatives more direct, efficient, regioselective and sustainable. LÄS MER

  4. 28. Automatic Collection Selection using Machine Learning

    Författare :Noric Couderc; Programvaruteknik; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Software engineering; Machine Learning; Collection efficiency; Java;

    Sammanfattning : Most recent programming languages include a collection framework as part of their standard library (or runtime). Examples are Java, C#, Python and Ruby. The Java Collection Framework provides a number of collection classes, some of which implement the same abstract data type, which makes them interchangeable. LÄS MER

  5. 29. Building Verified Hardware and Verified Stacks in HOL

    Författare :Andreas Lööw; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This thesis explores building provably correct software and hardware inside the HOL4 interactive theorem prover. Interactive theorem provers such as HOL4 are proof environments where manual (human) and automated (machine) proofs can be composed in logically safe ways, and all proof steps (be it manual or automated) are mechanically checked. LÄS MER

  7. 30. On the performance of robotic parts-to-picker order picking systems

    Författare :Yasmeen Jaghbeer; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automation; materials handling; Order picking;

    Sammanfattning : Order picking is the activity in which a number of items are retrieved from a warehousing system to satisfy a number of customer orders. Automating order picking systems has become a common response to the wide variety of products and components stored in today’s warehouses and the short delivery lead times requested by today’s customers. LÄS MER