The article explores the relation between i) the attitudes of students towards digital pedagogical characters and ii) their learning style as separate versus connected thinkers, a learning style dimension which regards individual’s approach towards the social dimensions of knowledge. Ninety 12-15 year old students participated in the study in which they were presented with a scenario-based mult...

Intersection types discipline allows to define a wide variety of models for the type free lambda-calculus, but the Curry-Howard isomorphism breaks down for this kind of type systems. In this paper we show that the correspondence between types and suitable logical formulas can still be recovered appealing to the fact that there is a strict connection between the semantics for lambda-calculus ind...

This paper is devoted to a comprehensive study of polymorphic subtypes with products. We first present a sound and complete Hilbert style axiomatization of the relation of being a subtype in presence of !; type constructors and the 8 quantifier, and we show that such axiomatization is not encodable in the system with !;8 only. In order to give a logical semantics to such a subtyping relation, w...

We present a derivation of a regular language recognizing circuit originally developed by Foster and Kung [4]. We make use of pointfree relation algebra, in a style combining elements from earlier work in the Eindhoven Mathematics of Program Construction group [0], and from Ruby [6]. First we derive non-systolic recognizers, much in the same way as functional programs are derived. Then we make ...

Professional programmers need common coding conventions to assure co-operation and a degree of quality of the software. Novice programmers, however, easily forget issues of programming style in their programming coursework. In particular with large classes, students may pass several courses without learning elements of programming style. This is often due to shortage of tutor work to give stude...

This study aimed to assess organizational health and its relationship with the leadership style of young managers of Industrial Estates in Mazandaran Province. This is a descriptive study. The study sample consisted of managers and employees of Industrial Estates of Mazandaran province. The total amount of population was 170 persons (150 employees and 20 managers). The sample of this study was ...

This article outlines the ongoing work in relation to personality and programming ability. Previous work by the author focussed on code review and personality, discovering that certain personality factors were correlated with performance on a code review task. The current work is more concerned with code comprehension ability. In addition to the personality factors mentioned above, experience, ...

Relation extraction in documents allows the detection of how entities being discussed in a document are related to one another (e.g. partof). This paper presents an analysis of a relation extraction system based on prior work but applied to the J.D. Power and Associates Sentiment Corpus to examine how the system works on documents from a range of social media. The results are examined on three ...

We consider Markov decision processes (MDPs) which are a standard model for probabilistic systems. We focus on qualitative properties for MDPs that can express that desired behaviors of the system arise almost-surely (with probability 1) or with positive probability. We introduce a new simulation relation to capture the refinement relation of MDPs with respect to qualitative properties, and pre...