We present a principle for introducing new types in type theory which generalises strictly positive indexed inductive data types. In this new principle a set A is defined inductively simultaneously with an A-indexed set B, which is also defined inductively. Compared to indexed inductive definitions, the novelty is that the index set A is generated inductively simultaneously with B. In other wor...

Induction-induction is a principle for mutually defining data types A ∶ Set and B ∶ A→ Set. Both A and B are defined inductively, and the constructors for A can refer to B and vice versa. In addition, the constructor for B can refer to the constructor for A. Induction-induction occurs in a natural way when formalising dependent type theory in type theory. We give some examples of inductive-indu...

The problem of getting children to follow a treatment regimen is widespread and is frustrating for physicians. The extent to which any patient adheres to a medical regimen is an essential determinant of clinical success. Strategies to improve adherence in children include using simplified drug regimens (e.g., once-daily dosing), pleasant-tasting medicines, liquid or other nonpill formulations, ...

As we will see during this talk, the Bayesian and information-theoretic views of variational inference provide complementary and mutually beneficial perspectives to the same problems with two different languages. More specifically, based on the paper by Honkela and Valpola [4], we will provide an interpretation of variational inference based on the MDL principle as a theoretical framework for m...

Abstract This study examines the relationship between e-commerce development and intensity of commodity tax competition under two principles for goods purchased online: destination principle origin principle. The main findings are as follows: Given that origin-based is applied to purchases made in brick-and-mortar stores, (i) destination-based taxation on more intense than taxation; (ii) expans...

A review of standard quantum mechanics, including the Pauli Exclusion Principle, as it is applied to atomic species shows that the standard theory is not consistent with energy conservation. Particular focus is given to helium in which it is shown that energy conservation is only possible if the ‘ground state’ has electrons at two distinct energies. If the two electrons in the ground state, per...

A consensually-agreed position among scholars of communication and aging is that while psychological and physical health mutually impact each other, the quality of language to and from older adult individuals shape each of these—and are shaped by them. Encounters with others inside and outside of one’s age ingroup involve stereotyped expectations with regard to language and other speec...

This paper covers topics related to privacy and trust negotiation applied in pervasive information systems. We consider the turbulent nature of pervasive environments and highlight special privacy and trust issues that arise from it. The current state of trust negotiation is summarized. We propose an extended negotiation model that not only enables parties’ access control but produces a privacy...

Received: Oct 4, 2016; Accepted: Oct 5, 2016; Published: Nov 1, 2016 different agents in different contexts will not produce the same outcomes. Agents navigate toward mutually agreed outcomes by constantly adapting to evolving changes within the context of local constraints [2]. A complex adaptive system approach overcomes many of the dysfunctions in the current health systems, in particular th...