Search for dissertations about: "composite actions"
Showing result 1 - 5 of 11 swedish dissertations containing the words composite actions.
-
1. Deductive Planning and Composite Actions in Temporal Action Logic
Abstract : Temporal Action Logic is a well established logical formalism for reasoning about action and change that has long been used as a formal specification language. Its first-order characterization and explicit time representation makes it a suitable target for automated theorem proving and the application of temporal constraint solvers. READ MORE
-
2. Blast and Impact Loaded Concrete Structures - Numerical and Experimental Methodologies for Reinforced Plain and Fibre Concrete Structures
Abstract : For decades the focus of civil protection has been on civil defence shelters to withstand the threat of warfare and protecting civilians. In latter years, the general focus has often shifted towards the protection of specific targets that host functions important to society. READ MORE
-
3. Tribology of self-lubricating polymer composites for hydropower applications
Abstract : The ongoing global climate crisis and its impacts calls for urgent actions, such as significant reduction of CO2 emissions by introducing more renewable energy. This has led to a rapid integration of variable power sources, such as wind and solar power, into the electricity systems. READ MORE
-
4. An intuitive and resource-efficient event detection algebra
Abstract : In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed to react to sophisticated situations involving a number of simpel events occurring in accordance with some pattern. READ MORE
-
5. Exploring and modeling response process data from PISA : inferences related to motivation and problem-solving
Abstract : This thesis explores and models response process data from large-scale assessments, focusing on test-taking motivation, problem-solving strategies, and questionnaire response validity. It consists of four studies, all using data from PISA (Programme for International Student Assessment) data. READ MORE