Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...

In this short technical note we show how PADL – the process algebraic architectural description language of Bernardo, Ciancarini and Donatiello – can be used to specify AFrames. AFrames exist to structure the machine in a Problem Frames development, and are important in that framework as they allow architectural expertise to be captured and reused therein. Because of the close proximity of PADL...

The dynamic window approach is a well known navigation scheme developed in Fox et al. (1997) and extended in Brock and Khatib (1999). It is safe by construction and has been shown to perform very efficiently in experimental setups. However, one can construct examples where the proposed scheme fails to attain the goal configuration. What has been lacking is a theoretical treatment of the algorit...

Do People Seek to Maximize Their Subjective Well‐Being?* In a new survey we ask respondents, after a standard Subjective Well‐Being (SWB) question, if they can think of changes in their lives that would improve their SWB score. If the SWB score is just one argument among others in the respondents’ goals in life, they should easily find ways to improve it, at the expense of other dimensions they...

In order to train distance learning students the discernment abilio, teachers often suggest to them web courseware on some specific topics, such as a controversial social issues, with different view points. Traditional discriminating strategies based on simple keyword matching often lead to low accuracy of discrimination. This paper proposes a method called DRSA (Discriminating via Representati...

This paper is part of an ongoing research program to understand the cognitive and functional bases for the origins and evolution of spatial language. Following a cognitive-functional approach, we first investigate the cross-linguistic variety in spatial language, with special attention for spatial perspective. Based on this language-typological data, we hypothesize which cognitive mechanisms ar...

In order to adjust personality measurements to children's developmental level, we constructed the Pictorial Personality Traits Questionnaire for Children (PPTQ-C). To validate the measure, we conducted a study with a total group of 1028 children aged between 7 and 13 years old. Structural validity was established through Exploratory Structural Equation Model (ESEM). Criterion validity was confi...

In this paper, we present various functional means in the sense of convex analysis. In particular, a logarithmic mean involving convex functionals, extending the scalar one, is introduced. In the quadratic case, our functional approach implies immediately that of positive operators. Some examples, illustrating theoretical results and showing the interest of our functional approach, are discussed.

We show how software architectures (including interface descriptions) can be derived from artifacts set up in the analysis phase of the software lifecycle. The analysis phase consists of six steps, where various models are constructed. Especially, the software development problem is decomposed into simple subproblems. The models set up in the analysis phase form the basis for (i) defining softw...

We document music programming in Gibber, a creative coding environment for the browser. We describe affordances for a sample-accurate and functional approach to scheduling, pattern creation and manipulation, audio synthesis, using rhythm and harmony, and score definition and playback.