Search for dissertations about: "Björn Borgström"
Showing result 1 - 5 of 7 swedish dissertations containing the words Björn Borgström.
-
1. Salinomycin analogs : Mechanistic probes and structure–activity relationships against cancer stem cells
Abstract : Cancer stem cells are a subpopulation of cells that possess an increased tumorigenic potential. Such cells are connected to drug resistance, metastasis, and cancer recurrence. In 2009, the polyether ionophore salinomycin was shown to exhibit selective activity against cancer stem cells. READ MORE
-
2. The un/selfish leader : Changing notions in a Tamil Nadu village
Abstract : 'The un/selfish' leader explores notions of selfishness, as they were perceived by people in the village of Ekkaraiyur, Tamil Nadu, India, at a time they associated with thorough changes in their lives.Discussing locally held notions about agrarian change, seen as causing the erosion of earlier village loyalties and leading to the emergence of a new type of leaders, the study focus on the censure of the alleged corruption of these leaders. READ MORE
-
3. Equivalences and Calculi for Formal Verification of Cryptographic Protocols
Abstract : Security protocols are essential to the proper functioning of any distributed system running over an insecure network but often have flaws that can be exploited even without breaking the cryptography. Formal cryptography, the assumption that the cryptographic primitives are flawless, facilitates the construction of formal models and verification tools. READ MORE
-
4. Advancing concurrent system verification : Type based approach and tools
Abstract : Concurrent systems, i.e., systems of parallel processes, are nearly ubiquitous and verifying the correctness of such systems is becoming an important subject. Many formalisms were invented for such purpose, however, new types of systems are introduced and there is a need for handling larger systems. READ MORE
-
5. Languages, Logics, Types and Tools for Concurrent System Modelling
Abstract : A concurrent system is a computer system with components that run in parallel and interact with each other. Such systems are ubiquitous and are notably responsible for supporting the infrastructure for transport, commerce and entertainment. READ MORE