Sökning: "Magnus Björk"

Visar resultat 1 - 5 av 11 avhandlingar innehållade orden Magnus Björk.

  1. 1. Mesoporous Building Blocks : Synthesis and Characterization of Mesoporous Silica Particles and Films

    Författare :Emma M. Björk; Magnus Odén; Fredik Söderlind; José Córdoba; Mika Lindén; Linköpings universitet; []
    Nyckelord :;

    Sammanfattning : 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. LÄS MER

  3. 2. A First Order Extension of Stålmarck's Method

    Författare :Magnus Björk; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Tableaux; Automated Theorem Proving; Stålmarck s Method;

    Sammanfattning : 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. LÄS MER

  4. 3. Stålmarck's Method for Automated Theorem Proving in First Order Logic

    Författare :Magnus Björk; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; automated theorem proving; Stålmarck s method; tableaux; first order logic;

    Sammanfattning : 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. LÄS MER

  5. 4. Collaboration and competition in firm-internal ideation management : Two alternatives – and a third way out

    Författare :Magnus Bergendahl; Mats Magnusson; Jennie Björk; Katharina Hölzle; KTH; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; innovation; ideation; collaboration; competition; ideas; idea generation; performance; firm-internal; ideation management; management; efficiency; employee.; Machine Design; Maskinkonstruktion;

    Sammanfattning : 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. LÄS MER

  7. 5. Gold Electrodeposition in Semiconductor Nanowire Technology

    Författare :Reza Jafari Jam; Håkan Pettersson; Lars Samuelson; Magnus T. Borgström; Mikael Björk; Sweden Lund Lund University; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : 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. LÄS MER