Sökning: "Patrik Eklund"

Visar resultat 1 - 5 av 8 avhandlingar innehållade orden Patrik Eklund.

  1. 1. Mining data streams to increase ‎industrial product availability

    Författare :Ahmad Alzghoul; Patrik Eklund; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Datorstödd maskinkonstruktion; Computer Aided Design;

    Sammanfattning : Improving product quality is always of industrial interest. Product availability, a function of product maintainability and reliability, is an example of a measurement that can be used to evaluate product quality. LÄS MER

  3. 2. When processes collide : leadership, legitimacy and liberation in Palestine

    Författare :Philippa Barnes; Patrik Johansson; Malin Eklund Wimelius; Anna Karin Jarstad; Lisa Strömbom; Umeå universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Leadership; legitimacy; legitimisation; relational; Palestine; liberation; national movement; peace process; state building; statskunskap; political science;

    Sammanfattning : Palestinian national movement leadership has long been intertwined with thecontext of the national movement processes – liberation, peace and statebuilding. Over time, as these processes have not come to fruition, the numerousleadership groups have had to negotiate their relationships with these processesas both the groups and processes increasingly overlap, creating significantobservable points of tension within Palestinian politics. LÄS MER

  4. 3. Categorical Unification

    Författare :María Ángeles Galán García; Patrik Eklund; José Meseguer; Umeå universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Monad compositions; generalised terms; many-valued logic; Datalogi; Computer science; Datalogi; business data processing; administrativ databehandling;

    Sammanfattning : This thesis deals with different aspects towards many-valued unification which have been studied in the scope of category theory. The main motivation of this investigation comes from the fact that in logic programming, classical unification has been identified as the provision of coequalizers in Kleisli categories of term monads. LÄS MER

  5. 4. Generalized General Logics

    Författare :Robert Helgesson; Patrik Eklund; Andrzej Tarlecki; Umeå universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datalogi;

    Sammanfattning : Logic as a vehicle for sound reason has a long and lustrous history and while most developments follow the traditional notions of binary truth and crisp sentences, great efforts have been placed into the problem of reasoning with uncertainties. To this end the field of "fuzzy logic" is now of great importance both theoretically and practically. LÄS MER

  7. 5. Preprocessing perceptrons

    Författare :Lena Kallin Westin; Patrik Eklund; Lothar Gierl; Umeå universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Preprocessing perceptron; Production line; Neural networks; Backpropagation; Fuzzy logic; ROC and QROC curves; Multivariate decision limits; Datalogi; Computer science; Datalogi; business data processing; administrativ databehandling;

    Sammanfattning : Reliable results are crucial when working with medical decision support systems. A decision support system should be reliable but also be interpretable, i.e. able to show how it has inferred its conclusions. LÄS MER