A solution concept for network games: The role of multilateral interactions

We propose an allocation rule that takes into account the importance of both players and their links and characterize it for a fixed network. Our characterization is along the lines of the characterization of the Position value for Network games by van den Nouweland and Slikker (2012). The allocation rule so defined admits multilateral interactions among the players through their links which distinguishes it from the other existing rules. Next, we extend our allocation rule to flexible networks à la Jackson (2005).

From ideal reactor concepts to reality:The novel drum reactor for photocatalytic wastewater treatment

This article reports the development of a novel drum photocatalytic reactor for treating dye effluent streams. The parameters for operation including drum rotation speed, light source distance, catalyst loading and H2O2 doping have been investigated using methylene blue as a model pollutant. Effluent can be generated by a number of domestic and industrial sources, including pharmaceutical, oil and gas, agricultural, food and chemical sectors. The work reported here proposes the application of semiconductor photocatalysis as a final polishing step for the removal of hydrocarbons from effluents sources, initial studies have proved effective in removing residual hydrocarbons from the effluent.

Virtual Reality: immersed in the structural world

Virtual reality is a rapidly emerging technology, driven by the computer gaming industry. The maturity of the concept, combined with modern hardware, is delivering an experience which offers a useful commercial tool for industry and educators. This article discusses the uses of virtual reality within structural engineering and provides an understanding of how it can be incorporated easily and efficiently for design purposes and beyond.

Maintaining a grasp on reality – Is our validation and design effort focused in the same direction?

This article examines the influence on the engineering design process of the primary objective of validation, whether it is proving a model, a technology or a product. Through the examination of a number of stiffened panel case studies, the relationships between simulation, validation, design and the final product are established and discussed. The work demonstrates the complex interactions between the original (or anticipated) design model, the analysis model, the validation activities and the product in service. The outcome shows clearly some unintended consequences. High fidelity validation test simulations require a different set of detailed parameters to accurately capture behaviour. By doing so, there is a divergence from the original computer-aided design model, intrinsically limiting the value of the validation with respect to the product. This work represents a shift from the traditional perspective of encapsulating and controlling errors between simulation and experimental test to consideration of the wider design-test process. Specifically, it is a reflection on the implications of how models are built and validated, and the effect on results and understanding of structural behaviour. This article then identifies key checkpoints in the design process and how these should be used to update the computer-aided design system parameters for a design. This work strikes at a fundamental challenge in understanding the interaction between design, certification and operation of any complex system.

Designing games for older adults: an affordance based approach

The main purpose of this study is to determine the game principles that need to be adopted in order to create an enjoyable and engaging game experience for older adults, whilst ensuring that the purpose of the game, encouraging upper limb mobility, is respected. The study reported in this paper involved a group of older adults who played and gave feedback on an early game prototype which feed into the design modification process. Each player's action capabilities were measured and taken into account in the design process. This helped ensure that opportunities for action that the game afforded were adapted to players' need.

Understanding perception and action in sport:How can virtual reality technology help?

Although technology can facilitate improvements in performance by allowing us to understand, monitor and evaluate performance, improvements must ultimately come from within the athlete. The first part of this article will focus on understanding how perception and action relate to performance from two different theoretical viewpoints. The first will be predominantly a cognitive or indirect approach that suggests that expertise and decision-making processes are mediated by athletes accruing large knowledge bases that are built up through practice and experience. The second, and alternative approach, will advocate a more 'direct' solution, where the athlete learns to 'tune' into the relevant information that is embedded in their relationship with the surrounding environment and unfolding action. The second part of the article will attempt to show how emerging virtual reality technology is revealing new evidence that helps us understand elite performance. Possibilities of how new types of training could be developed from this technology will also be discussed. © 2014 Crown Copyright.

Exact and heuristic methods for solving Boolean games

Boolean games are a framework for reasoning about the rational behavior of agents whose goals are formalized using propositional formulas. Compared to normal form games, a well-studied and related game framework, Boolean games allow for an intuitive and more compact representation of the agents’ goals. So far, Boolean games have been mainly studied in the literature from the Knowledge Representation perspective, and less attention has been paid on the algorithmic issues underlying the computation of solution concepts. Although some suggestions for solving specific classes of Boolean games have been made in the literature, there is currently no work available on the practical performance. In this paper, we propose the first technique to solve general Boolean games that does not require an exponential translation to normal-form games. Our method is based on disjunctive answer set programming and computes solutions (equilibria) of arbitrary Boolean games. It can be applied to a wide variety of solution concepts, and can naturally deal with extensions of Boolean games such as constraints and costs. We present detailed experimental results in which we compare the proposed method against a number of existing methods for solving specific classes of Boolean games, as well as adaptations of methods that were initially designed for normal-form games. We found that the heuristic methods that do not require all payoff matrix entries performed well for smaller Boolean games, while our ASP based technique is faster when the problem instances have a higher number of agents or action variables.

Using Answer Set Programming for Solving Boolean Games

Boolean games are a framework for reasoning about the rational behaviour of agents, whose goals are formalized using propositional formulas. They offer an attractive alternative to normal-form games, because they allow for a more intuitive and more compact encoding. Unfortunately, however, there is currently no general, tailor-made method available to compute the equilibria of Boolean games. In this paper, we introduce a method for finding the pure Nash equilibria based on disjunctive answer set programming. Our method is furthermore capable of finding the core elements and the Pareto optimal equilibria, and can easily be modified to support other forms of optimality, thanks to the declarative nature of disjunctive answer set programming. Experimental results clearly demonstrate the effectiveness of the proposed method.

Decentralized Computation of Pareto Optimal Pure Nash Equilibria of Boolean Games with Privacy Concerns

In Boolean games, agents try to reach a goal formulated as a Boolean formula. These games are attractive because of their compact representations. However, few methods are available to compute the solutions and they are either limited or do not take privacy or communication concerns into account. In this paper we propose the use of an algorithm related to reinforcement learning to address this problem. Our method is decentralized in the sense that agents try to achieve their goals without knowledge of the other agents’ goals. We prove that this is a sound method to compute a Pareto optimal pure Nash equilibrium for an interesting class of Boolean games. Experimental results are used to investigate the performance of the algorithm.

Movement of Capital and Trade in Services:Distinguishing Myth from Reality Regarding the GATS and the Liberalization of the Capital Account

This article will analyze the interplay between capital movements and trade
in services as structured in World Trade Organization (WTO) law, and it will
assess the implications of the capital account liberalization for the freedom of
WTO Members to pursue their economic policies. Although the movement
of capital is largely confined to the domain of international financial or monetary
policy, it is regulated by WTO law due to its role in the process of
financial services liberalization, which generally requires liberalized capital
flows. From a legal perspective, the interplay between capital movements
and trade in services requires striking a delicate balance between the right
of market access and the parallel right of economic stability. Indeed, a liberalized
regime for capital movements could pose serious stability problems
during times of crisis. For this reason, it is necessary that Members are able
to derogate from their obligations and adopt emergency measures.
Regulating the movement of capital in the General Agreement on Trade in
Services (GATS) requires stretching the regulatory oversight of WTO law
over different aspects of international economic policy. Indeed, capital movements are a fundamental component of the balance of payments and have a
major role in shaping monetary, fiscal, and financial policies. This article will
analyze how the discipline provided by the GATS on capital movements will
affect not only trade in services, but also the Members’ policy space on
monetary and fiscal policy. The article will conclude that while the GATS offers enough policy space for the maintenance of financial stability, it does
not fully take into consideration the need of Members to control capital
movements in order to conduct monetary policies.