Search for dissertations about: "Magnus Björk"
Showing result 1 - 5 of 11 swedish dissertations containing the words Magnus Björk.
-
1. Mesoporous Building Blocks : Synthesis and Characterization of Mesoporous Silica Particles and Films
Abstract : Catalyst supports, drug delivery systems, hosts for nanoparticles, and solar cells are just some examples of the wide range of exciting applications for mesoporous silica. In order to optimize the performance of a specific application, controlling the material’s morphology and pore size is crucial. READ MORE
-
2. A First Order Extension of Stålmarck's Method
Abstract : Stålmarck's method is an algorithm that decides validity of formulae in propositional logic. It resembles many tableaux method, but uses a special branch-and-merge-rule, called the dilemma rule. The dilemma rule creates two branches, where a formula (called the dilemma formula) is assumed to be false in one branch and true in the other one. READ MORE
-
3. Stålmarck's Method for Automated Theorem Proving in First Order Logic
Abstract : We present an extension of Stålmarck's method to classical first order predicate logic. Stålmarck's method is a satisfiability checking method for propositional logic, and it resembles tableaux and KE. Its most distinctive feature is the dilemma rule, which is an extended branching rule, that allows branches to be recombined. READ MORE
-
4. Collaboration and competition in firm-internal ideation management : Two alternatives – and a third way out
Abstract : The passive reliance on ideas to spontaneously emerge within companies is today replaced with more active and continuous ideation management that embraces employees from different functions and knowledge-domains within the company to create and develop ideas. A frequently observed feature in the active management of ideation is the reliance on collaboration and competition mechanisms. READ MORE
-
5. Gold Electrodeposition in Semiconductor Nanowire Technology
Abstract : Semiconductor nanowires are widely considered as promising candidates for next generations of electronics and optoelectronics. Gold seed particles have so far been recognized as the most important catalyst for growth of nanowires. READ MORE