Search for dissertations about: "CLP"
Showing result 6 - 10 of 47 swedish dissertations containing the word CLP.
-
6. Biochemical studies of the essential Clp protease in cyanobacteria and its associated adaptor proteins
Abstract : Proteins are an essential part of all organisms and are involved in many cellular processes. To regulate the function of proteins and facilitate their removal when damaged or otherwise compromised, sophisticated control systems have evolved that include molecular chaperones and proteases. READ MORE
-
7. Static incorrectness diagnosis of CLP(FD)
Abstract : .... READ MORE
-
8. Automatic Verification of Petri Netsin a CLP framework
Abstract : This thesis presents an approach to automatic verification of Petri Nets. The method is formulated in a CLP framework and the class of systems we consider is characterized syntactically as a special class of Constraint Logic Programs. The state space of the system in question coincides with the least fixpoint of the program. READ MORE
-
9. Ecotoxicological classification of ash materials
Abstract : Incineration of waste is increasing in the EU. However, in the incineration process, both fly and bottom ash materials are generated as waste that requires further action. A common goal throughout Europe is to find ways to utilize ash materials in an environmentally and economically efficient manner in accordance with the current legislation. READ MORE
-
10. Functional insights into the chloroplast Cip protease and molecular chaperones in ARABIDOPSIS THALIANA
Abstract : .... READ MORE