The interactive game theoretical approach to tactics and behavioral self-organization is developed. Though it uses the interactive game theoretical formalization of dialogues as psycholinguistic phenomena, the crucial role is played by the essentially new concept of a tactical game. Applications to the perception processes and related subjects (memory, recollection, image understanding, imagina...

Opportunism a behavior can be found in any relational exchange in many forms. In this respect, opportunistic behavior has been recognized one of the historical factors that have tremendous effects on the relationship development between buyer and seller. A conceptual framework of the research’s main variables is presented, the antecedents which are dependence, formalization, relational norms an...

We address the problem of time optimal software pipelining of loops with control ows, one of the most di cult open problems in the area of parallelizing compilers. We present a necessary condition for loops with control ows to have equivalent time optimal programs, generalizing the result by Schwiegelshohn et al., which has been the most signi cant theoretical result on the problem. As part of ...

This paper is aimed at investigating background subtraction based on second-order polynomial models. Recently, preliminary results suggested that quadratic models hold the potential to yield superior performance in handling common disturbance factors, such as noise, sudden illumination changes and variations of camera parameters, with respect to state-of-the-art background subtraction methods. ...

In this paper we present an integrated theoretical approach for student modelling based on an Adaptive Bayesian Network. A mathematical formalization of the Adaptive Bayesian Network is provided, and new question selection criteria presented. Using this theoretical framework, a tool to assist in the diagnosis process has been implemented. This tool allows the definition of Bayesian Adaptive Tes...

We study a novel graph path planning problem for multiple agents that may crash at runtime, and block part of the workspace. In our setting, can detect neighboring crashed agents, change followed paths runtime. The objective is then to prepare set switching rules each agent, ensuring all correct reach their destinations without collisions or deadlocks, despite unforeseen crashes other agents. S...

The issue of determining methodological approaches to assessing the level athletes' implementation safe behavior measures prevent negative impact factors visual pollution space on their health is important and urgent, which needs be resolved. purpose study: determination performance safety (safe behavior) by athletes possible body athletes. Research methods: used methods theoretical analysis li...

We have finished a constructive formalization in the theorem prover Coq of the Fundamental Theorem of Calculus, which states that differentiation and integration are inverse processes. In this formalization, we have closely followed Bishop’s work ([4]). In this paper, we describe the formalization in some detail, focusing on how some of Bishop’s original proofs had to be refined, adapted or red...

The objective of the research considered in this paper is to develop a theoretical foundation for the representation of large-scale hierarchical complex systems, so-called Linguistic Geometry. The research relies on the formalization of heuristics of high-skilled human experts which have resulted in the development of successful decision support systems. This approach is based on a broad applic...

Based on a model of human capital accumulation, we study convergence in academic achievement of native-born and immigrant students. The model captures the idea that human capital accumulation is a dynamic process depending on cognitive achievement accumulated at previous stages of a student’s academic life. This theoretical formalization provides a framework for the empirical analysis of dynami...