Search for dissertations about: "reactive synthesis"

Showing result 1 - 5 of 187 swedish dissertations containing the words reactive synthesis.

  2. 1. Approaches to soft drug analogues of dihydrofolate reductase inhibitors : Design and synthesis

    Author : Malin Graffner Nordberg; Uppsala universitet; []
    Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Pharmaceutical chemistry; soft drug; dihydrofolate reductase; synthesis; Farmaceutisk kemi; Pharmaceutical chemistry; Farmaceutisk kemi; Organic Pharmaceutical Chemistry; Organisk farmaceutisk kemi;

    Abstract : The main objective of the research described in this thesis has been the design and synthesis of inhibitors of the enzyme dihydrofolate reductase (DHFR) intended for local administration and devoid of systemic side-effects. The blocking of the enzymatic activity of DHFR is a key element in the treatment of many diseases, including cancer, bacterial and protozoal infections, and also opportunistic infections associated with AIDS (Pneumocystis carinii pneumonia, PCP). READ MORE

  4. 2. Formal Methods and Safety for Automated Vehicles: Modeling, Abstractions, and Synthesis of Tactical Planners

    Author : Jonas Krook; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automated vehicles; Formal methods; formal synthesis; tactical planning; supervisory control theory; automatic abstraction.; safety case; model checking; formal verification; reactive synthesis;

    Abstract : One goal of developing automated road vehicles is to completely free people from driving tasks. Automated vehicles with no human driver must handle all traffic situations that human drivers are expected to handle, possibly more. READ MORE

  5. 3. Analysis and synthesis of reactive systems : a generic layered architecture perspective

    Author : Man Lin; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Abstract : This thesis studies methods and tools for the development of reactive real-time control systems. The development framework is called Generic Layered Architecture (GLA). The work focuses on the analysis and synthesis of software residing in the lowest two layers of GLA, namely, the Process Layer and the Rule Layer. READ MORE

  6. 4. Plasma Synthesis and Self-Assembly of Magnetic Nanoparticles

    Author : Sebastian Ekeroth; Ulf Helmersson; Nils Brenning; Franz Faupel; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Plasma; Synthesis; Self-Assembly; Magnetic; Nanoparticles;

    Abstract : Nanomaterials are important tools for enabling technological progress as they can provide dramatically different properties as compared to the bulk counterparts. The field of nanoparticles is one of the most investigated within nanomaterials, thanks to the existing, relatively simple, means of manufacturing. READ MORE

  7. 5. Synthesis of Transition Metal Aluminides from Elemental Powder Mixtures

    Author : Hossein Sina; Materialteknik; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Aluminides; Intermetallics; Powder Metallurgy; Reactive Sintering; Combustion Synthesis; Thermal Analysis; DSC; Onset temperature; Phase evolution; SEM; EDS; XRD;

    Abstract : Structural components such as those used in gas turbines for energy conversion applications, are subjected to high loads at elevated temperatures. In order to ensure that the components survive under these conditions for a sufficiently long time, it is imperative to select materials with good high temperature properties like strength and corrosion resistance. READ MORE