Avancerad sökning
Visar resultat 1 - 5 av 389 avhandlingar som matchar ovanstående sökkriterier.
1. A-type Potassium Channels in Dendritic Integration : Role in Epileptogenesis
Sammanfattning : During cognitive tasks, synchronicity of neural activity varies and is correlated with performance. However, there may be an upper limit to normal synchronised activity – specifically, epileptogenic activity is characterized byexcess spiking at high synchronicity. LÄS MER
2. A Type Theoretical Analysis of Some Aspects of Programming Languages
Sammanfattning : We present three papers on the application of Martin-Löf's type theory to the analysis of programming languages. In the first paper, we present formal proofs in type theory of the combinatorial completeness of two calculi of combinators. The statement formulates the ability of the calculi to describe functions. LÄS MER
3. A type-based framework for locating errors in constraint logic programs
Sammanfattning : .... LÄS MER
4. Anti-diabetic and anti-inflammatory effects of medicinal plants in a type 2 diabetic animal model
Sammanfattning : Medicinal plants have been suggested since ancient times to be a good source of drugs for treating diabetes. The aims of this thesis were to identify the anti-diabetic effects and to understand further the mechanisms involved for two traditional plants, borapetol B (C1) isolated from Tinospora crispa, and Gynostemma pentaphyllum (GP), in diabetic rats. LÄS MER
5. Pathogenesis of type 2 diabetes with emphasis on the mechanism of insulin resistance
Sammanfattning : Type 2 diabetes is characterized by chronic hyperglycemia and develops slowly through stages of early impairments of glucose metabolism. The disease is often associated with obesity, physical inactivity, decreased insulin sensitivity and impaired insulin responsiveness. LÄS MER