Sökning: "Formal Concept Analysis"
Visar resultat 1 - 5 av 100 avhandlingar innehållade orden Formal Concept Analysis.
1. Handling severe uncertainty in strategic project appraisal : Methods and applications of context analysis
Sammanfattning : 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. LÄS MER
2. Digitalization, sustainability, and ecosystems : An application of social network analysis to the real estate sector
Sammanfattning : 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. LÄS MER
3. Enabling Tool Support for Formal Analysis of ECA Rules
Sammanfattning : 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. LÄS MER
4. Components, Safety Interfaces, and Compositional Analysis
Sammanfattning : 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). LÄS MER
5. Formal Languages and Automata in Computational Algebra
Sammanfattning : 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. LÄS MER