Search for dissertations about: "Formal Concept Analysis"

Showing result 1 - 5 of 60 swedish dissertations containing the words Formal Concept Analysis.

  2. 1. Handling severe uncertainty in strategic project appraisal : Methods and applications of context analysis

    Author : Anton Talantsev; Aron Larsson; David Sundgren; John Ward; Stockholms universitet; []
    Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Decision Intelligence; Deep Uncertainty; Scenario Analysis; Multiple Criteria Decision Analysis; Simulation; Context Analysis; Project Appraisal; Risk Assessment; Threat and Opportunity; Computer and Systems Sciences; data- och systemvetenskap;

    Abstract : The long-term success or failure of a strategic project is largely shaped by its context. Therefore, the assessment of the external factors influencing the fulfilment of project long-term goals is vital for the effective project appraisal and planning. READ MORE

  4. 2. Digitalization, sustainability, and ecosystems : An application of social network analysis to the real estate sector

    Author : Olli Vigren; Kent Eriksson; Paavo Ritala; KTH; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; absorptive capacity; built environment; business development; business ecosystem; dynamic capabilities; digitalization; entrepreneurial ecosystem; facility management; Formal Concept Analysis; innovation ecosystem; literature review; methodology; platform ecosystem; property technology; real estate; research methods; Social Network Analysis; sustainability; Business Studies; Företagsekonomi;

    Abstract : Societies today have increasing economic, social, and environmental needs for their built environments. The performance of the built environment depends largely on urban development, with the role of digital technologies therein being a long-standing research topic. READ MORE

  5. 3. Enabling Tool Support for Formal Analysis of ECA Rules

    Author : AnnMarie Ericsson; Sten F. Andler; José Júlio Alferes; Linköpings universitet; []
    Keywords : ECA rules; Timed automata; Formal veri¯cation; TECHNOLOGY; TEKNIKVETENSKAP; Teknik;

    Abstract : Rule-based systems implemented as event-condition-action (ECA) rules utilize a powerful and flexible paradigm when it comes to specifying systems that need to react to complex situation in their environment. Rules can be specified to react to combinations of events occurring at any time in any order. READ MORE

  6. 4. Components, Safety Interfaces, and Compositional Analysis

    Author : Jonas Elmquist; Simin Nadjm-Tehrani; Linköpings universitet; []
    Keywords : Component-based system development; safety-critical systems; safety interfaces; compositional analysis; modelbased development; TECHNOLOGY; TEKNIKVETENSKAP;

    Abstract : Component-based software development has emerged as a promising approach for developing complex software systems by composing smaller independently developed components into larger component assemblies. This approach offers means to increase software reuse, achieve higher flexibility and shorter time-to-market by the use of off-the-shelf components (COTS). READ MORE

  7. 5. Formal Languages and Automata in Computational Algebra

    Author : Jonas Månsson; Algebra; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; control; Datalogi; Talteori; algebraisk geometri; algebra; gruppteori; Computer science; numerical analysis; systems; group theory; field theory; algebraic geometry; finite automata; Number Theory; Gröbner bases; SAGBI bases; numerisk analys; system; kontroll; fältteori;

    Abstract : This thesis is a collection of six papers in computational algebra. In particular, we study noncommutative Gröb- ner bases, SAGBI bases and similar algebraic objects which can be represented as a graph or an automaton. READ MORE