This conceptual paper reviews a large number of literatures in terms of packaged enterprise system adoption and implementation in China. Three types of misalignments between packaged ES and Chinese context are identified, including (1) package-context misalignment in terms of software application, (2) package-context misalignment in terms of organizational management model, and (3) package-cont...

When one develops, implements, and studies type theories based on linear logic, for example, in the context of theorem proving, logic programming, and formal reasoning, one is immediately confronted with questions about their equational theory and how to deal with logic variables. In this paper, we propose linear contextual modal type theory that gives a mathematical account of the nature of lo...

We present a complete reasoning principle for contextual equivalence in an untyped probabilistic programming language. The language includes continuous random variables, conditionals, and scoring. The language also includes recursion, since in an untyped language the standard call-by-value fixpoint combinator is expressible. The language is similar to that of Borgström et al. [5]. To demonstrat...

Using a multi-camera computerised tracking system the present study aimed to provide a detailed analysis of the work-rate profile of a team of elite soccer players during official matches of the Spanish Premier League. Observation-based performance measures were obtained from 434 individual samples. 6 physical parameters involving the distance covered by players were analysed: standing intensit...

Our extensive literature review in the fields of educational, social, and cognitive psychology has led us to identify about a dozen variables that demonstrate direct empirical links to academic achievement at the K–12 level. Those variables are grouped into four major categories: student engagement, learning strategies, school climate, and social-familial influences. We then categorize the firs...