Sökning: "automated synthesis"

Visar resultat 11 - 15 av 56 avhandlingar innehållade orden automated synthesis.

  1. 11. Synthesis of Controllers from a Range of Controller Architectures

    Författare :Viktor Öwall; Institutionen för elektro- och informationsteknik; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : An algorithm specific digital signal processor is a powerful alternative to a general purpose signal processor for demanding specifications such as high throughput, low power, small size, etc. These properties are achieved as the processor architecture is tailored to the algorithm as opposed to the general purpose architecture which must suit a wide range of algorithms. LÄS MER

  3. 12. Amine transaminase: Process development aspects for chiral amine synthesis

    Författare :Tim Börner; Bioteknik; []
    Nyckelord :;

    Sammanfattning : Many modern drugs contain chiral amine moieties and the need for more efficient processes to synthesize these amines in high optical purity and concentration are greatly demanded by the fine chemical and pharma industry. Amine transaminases (ATA) allow for the direct asymmetric synthesis of optically pure amines from ketone substrates. LÄS MER

  4. 13. Analyzing the properties and biosynthesis of β-glucans from Gluconacetobacter and poplar

    Författare :Erik Malm; Vincent Bulone; Paul Dupree; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Cellulose synthesis; Bioinformatics; Proteomics; Cell wall;

    Sammanfattning : Glucans are polysaccharides integral to many materials and biological functions. Under the umbrella of Biomime, the Swedish Center for Biomimetic Fiber Engineering, this work has aimed to improve basic understanding of the biosynthesis of such glucans. LÄS MER

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

    Författare :Andreas Lööw; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; hardware synthesis; compilers; formal verification; interactive theorem proving;

    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. 15. Function via structure in vivo and in modeling

    Författare :Johan Unge; Biokemi och Strukturbiologi; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; medical informatics; Bioinformatics; L1.; protein synthesis; L22; crýstallography; structure core database; threading; Structural bioinformatics; homology recognition; biomatematik; medicinsk informatik; biomathematics biometrics; Bioinformatik;

    Sammanfattning : Knowledge of biomolecules three-dimensional structure has provided a detailed understanding of their function. In recent years the number of new protein sequences has far exceeded the number of protein experimental structure determinations. LÄS MER