In this paper we solve the following open problem: we prove that equivalence in the logic of Temporal Here-and-There (THT) is not only a sufficient, but also a necessary condition for strong equivalence of two Temporal Equilibrium Logic (TEL) theories. This result has allowed constructing a tool, ABSTEM, that can be used to check different types of equivalence between two arbitrary temporal the...

Blet is a puzzle. One starts with an even number of coins, laid out in a circle. At first, the coins are laid out with heads and tails alternating (HTHTHT. . .HT). Each turn, you are allowed to take three consecutive coins that show tails-heads-tails and flip them over, getting heads-tails-heads. This increases the total number of heads by one. You may do the opposite, flipping a heads-tails-he...

A principal acquires information about a shock and then discloses it to an agent. After the disclosure, the principal and agent each decide whether to take costly preparatory actions that yield mutual benefits but only when the shock strikes. The principal maximizes his expected payoff by controlling the quality of his information, and the disclosure rule. We show that even when the acquisition...

Smartwatches collect a broad range of physical activity data during usage. We postulate that Perceived Privacy Risk has a direct negative influence on the Behavioral Intention to Use smartwatches and an indirect negative influence on the Behavioral Intention to Use them through Perceived Usefulness and Perceived Enjoyment. After collecting 229 online questionnaires and applying a SEM approach, ...

With rising trading volumes in domestic and cross-border security transactions, risks faced by global financial firms and markets are increasing. To manage settlement risks and maintain competitiveness in global financial markets, the U.S. Security and Exchange Commission (SEC) has decided to shorten the settlement cycle of security transactions from the current T+3 to T+1. As a result, key pla...

This paper asserts that economists of the mid twentieth century developed two methods of analyzing institutions. Austrian and Coasean economists developed complementary approaches to institutional analysis. Coase developed a research program of Comparative Institutional Analysis, whereby economists compare alternative institutions according to their most similar features. Ludwig von Mises and F...

Education and training interventions can be evaluated through the success of learning outcomes. Kirkpatrick's four-level model is a widely accepted and highly popular evaluation tool. However, some criticise the model's shortcomings. This article will examine the extent to which the four-level model can evaluate design and technology students' learning about aesthetics after an intervention by ...

Introduction 1 1. Preliminaries 6 2. Generic stabilisers (centralisers) for the adjoint representation 9 3. Generic stabilisers for the coadjoint representation 10 4. Semi-direct products of Lie algebras and modules of covariants 12 5. Generic stabilisers and rational invariants for semi-direct products 14 6. Reductive semi-direct products and their polynomial invariants 21 7. Takiff Lie algebr...

We give an alternative proof of the fact that a planar function cannot exist on groups of even order. The argument involved leads us to define a class of functions which we call semi-planar. Through the introduction of an incidence structure we construct semi-biplanes using semi-planar functions. The method involved represents a new approach to constructing semi-biplanes and provides infinite c...

Photon buildup factors for soft tissue, water, and dosimetric materials have been computed in the energy range of 0.2 to 2 MeV using geometric progression (GP) fitting approximation. The results for soft tissue and water have been compared with the values obtained through Monte Carlo code MCNP4C. Data obtained from GP fitting method quite well obey a semi empirical relation which is a function ...