A (1,-1)-matrix will be called a bent type matrix if each row and each column are bent sequences. A similar description can be found in Carlisle M. in which the authors use the properties of bent type matrices to construct a class of bent functions. In this paper we give a general method to construct bent type matrices and show that the bent sequence obtained from a bent type matrix is a genera...

In the current Modelica specification, the only admitted external entities are memory-less functions. We propose an extension to allow parts of the model containing internal states, conditioning and discrete dynamics, to be definable as external functions. This opens the door to separate compilation of Modelica code. For this purpose, we introduce the language construct switchwhen and the type ...

In universal personal telecommunication (UPT) environments, UPT networks retain information related to incall/outcall registration in UPT user service profiles in order to provide incoming UPT calls for UPT users in any location who have registered at a terminal. As UPT networks support incall registration, terminal users can be different from terminal owners, and several UPT users can register...

This article presents findings from five repertory grid interviews conducted in early 2001 to identify attributes of information as an asset. Repertory grid is a technique developed by George Kelly based on his theory of personal constructs. Personal construct theory (PCT) assumes that individuals are their own ‘personal scientists’ who mentally represent the world around them. The method was u...

Work is currently in progress on the following projects: What do experts/novices know about programming. T1 The objective here is to develop a plan-based theory of programming knowledge and to test it empirically with novice and expert programmers. We are also using this theory to study the bugs and misconceptions of novice programmers. Cognitively appropriate programming language constructs.’ ...

Like other constructivist approaches, Personal Construct Theory (PCT) views human activity as a meaning creating process. What human organisms do, is informed by the way they construe events, and in turn assign meaning to those events. Symptoms are a rare, but legitimate part of their activity. They challenge our everyday conceptions regarding human behaviour. From a personal construct perspect...

It is known that every class-regular symmetric μ,m -net is tactical. Also it is known that all μ,m nets with m 2 or μ 1 are tactical. In the work of Al-Kenani and Mavron 2003 , it is proved that every symmetric net with m 3 is tactical if and only if it is class regular. In this paper, we construct 2, 4 -net and show that it is class regular and therefore tactical. New necessary and sufficient ...

Various extensions of public announcement logic have been proposed with quantification over announcements. The best-known extension is called arbitrary public announcement logic, APAL. It contains a primitive language construct ✷φ intuitively expressing that “after every public announcement of a formula, formula φ is true.” The logic APAL is undecidable and it has an infinitary axiomatization. ...