Search results for "Information Systems"
showing 10 items of 1926 documents
Partial-order reduction for parity games and parameterised Boolean equation systems
2022
AbstractIn model checking, reduction techniques can be helpful tools to fight the state-space explosion problem. Partial-order reduction (POR) is a well-known example, and many POR variants have been developed over the years. However, none of these can be used in the context of model checking stutter-sensitive temporal properties. We propose POR techniques for parity games, a well-established formalism for solving a variety of decision problems, including model checking. As a result, we obtain the first POR method that is sound for the full modal $$\upmu $$ μ -calculus. We show how our technique can be applied to the fixed point logic called parameterised Boolean equation systems, which pro…
Exergaming usage : hedonic and utilitarian aspects
2017
There is a growing demand for information systems (IS) that could advance desirable health behaviours among people. While digital gaming has generally been perceived to increase individuals’ sedentary time, gaming can also act as a medium to promote health, for example, by increasing individuals’ levels of physical activity. Exergaming, a form of digital gaming that combines games with physical activity, has been mentioned as potential means of influencing physical activity levels. Previous research on exergaming has been dominated by a very device-centric perspective, focusing more on its technological and physical aspects, than a more user-centric perspective that focuses on the users and…
Teaching ICT infrastructure supported by cloud service Azure
2017
Interactively Learning the Preferences of a Decision Maker in Multi-objective Optimization Utilizing Belief-rules
2020
Many real life problems can be modelled as multiobjective optimization problems. Such problems often consist of multiple conflicting objectives to be optimized simultaneously. Multiple optimal solutions exist to these problems, and a single solution cannot be said to be the best without preferences given by a domain expert. Preferences can be used to find satisfying solutions: optimal solutions, which best match the expert’s preferences. To model the preferences of the expert, and aid him/her in finding satisfying solutions, a novel method is proposed. The method utilizes machine learning combined with belief-rule based systems to adaptively train a belief rule based system to learn a domai…
La valeur économique des paysages des villes périurbanisées
2007
La recherche présentée ici propose une méthode de description et d’évaluation des caractéristiques d’un paysage qui combine la géographie quantitative et l’économétrie des modèles hédoniques. Un modèle géographique produit des indices caractérisant les paysages à partir d’une reconstitution de la vue depuis le sol, en tenant compte des effets du relief et des masques que les objets hauts opposent à la vue. Il décrit la quantité de paysage vu par un observateur au niveau du sol en la répartissant entre 13 types d’occupations du sol. Les variables produites par le modèle géographique sont utilisées dans des régressions hédoniques qui permettent d’évaluer l’impact des attributs paysagers ain…
The Design Science Research Process : A Model for Producing and Presenting Information Systems Research
2006
The authors design and demonstrate a process for carrying out design science (DS) research in information systems and demonstrate use of the process to conduct research in two case studies. Several IS researchers have pioneered the acceptance of DS research in IS, but in the last 15 years little DS research has been done within the discipline. The lack of a generally accepted process for DS research in IS may have contributed to this problem. We sought to design a design science research process (DSRP) model that would meet three objectives: it would be consistent with prior literature, it would provide a nominal process model for doing DS research, and it would provide a mental model for p…