Teaching fundamentals of computing theory: a constructivist approach

A Fundamentals of Computing Theory course involves different topics that are core to the Computer Science curricula and whose level of abstraction makes them difficult both to teach and to learn. Such difficulty stems from the complexity of the abstract notions involved and the required mathematical background. Surveys conducted among our students showed that many of them were applying some theoretical concepts mechanically rather than developing significant learning. This paper shows a number of didactic strategies that we introduced in the Fundamentals of Computing Theory curricula to cope with the above problem. The proposed strategies were based on a stronger use of technology and a constructivist approach. The final goal was to promote more significant learning of the course topics.

La fonction publique en Suisse : analyse géopolitique d'un fédéralisme à géométrie variable

Bien que présenté comme un modèle de stabilité, le fédéralisme est constamment remis en question. Le but de l'article est de présenter quelques-unes de ses caractéristiques lues à travers les effectifs de la fonction publique en Suisse. Pour ce faire, nous distinguerons quatre types d'employeurs : Confédération, cantons, communes et corporations de droit public, lesquels représentent 10,5 % du total des actifs en Suisse. Nous analyserons la densité administrative, la variation des emplois et le degré de décentralisation selon la culture, le territoire et la religion. Il ressort que la fonction publique intermédiaire, c'est-à-dire les cantons, joue le premier rôle avec ses 140'000 emplois en équivalents plein temps (EPT) sur un total de 328'000, en hausse de 10,3 % par rapport à 2001. Les communes comptent 38 % des agents publics (+3,6 % par rapport à 2001), loin devant la Confédération, 11 % du total (en perte de vitesse : -1,2 %) et les corporations de droit public, 9 % du total (+14,5 %). Le taux d'administration est plus élevé dans la partie francophone que dans la partie germanophone, ainsi que dans les centres économiques et les zones frontières. Les écarts entre les cantons peuvent varier du simple au triple. En fait, deux modèles politico-administratifs transparaissent : le premier « cantonaliste » et davantage étatiste dans la partie latine, l'autre « communaliste » et décentralisé, dominant dans la partie germanophone. Le quotient de décentralisation administrative montre de grandes différences entre l'est et l'ouest, qui s'estompent toutefois avec la modernisation des institutions et le repositionnement de la Suisse face à l'Europe.

Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification

Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at the object-language level. In spite of its expressive power, an important limitation in P-DeLP is that imprecise, fuzzy information cannot be expressed in the object language. One interesting alternative for solving this limitation is the use of PGL+, a possibilistic logic over Gödel logic extended with fuzzy constants. Fuzzy constants in PGL+ allow expressing disjunctive information about the unknown value of a variable, in the sense of a magnitude, modelled as a (unary) predicate. The aim of this article is twofold: firstly, we formalize DePGL+, a possibilistic defeasible logic programming language that extends P-DeLP through the use of PGL+ in order to incorporate fuzzy constants and a fuzzy unification mechanism for them. Secondly, we propose a way to handle conflicting arguments in the context of the extended framework.

String theory dualities and supergravity divergences

We demonstrate how duality invariance of the low energy expansion of the four-supergraviton amplitude in type II string theory determines the precise coefficients of multiloop logarithmic ultraviolet divergences of maximal supergravity in various dimensions. This is illustrated by the explicit moduli-dependence of terms of the form ¿2k R4, with k ¿ 3, in the effective action. Furthermore, we show that in the supergravity limit the perturbative contributions are swamped by an accumulation of non-perturbative effects of zero-action instantons.

Application of Information Statistical Theory to the Description of the Effect of Heat Conduction on the Chemical Reaction Rate in Gases

The effect of the heat flux on the rate of chemical reaction in dilute gases is shown to be important for reactions characterized by high activation energies and in the presence of very large temperature gradients. This effect, obtained from the second-order terms in the distribution function (similar to those obtained in the Burnett approximation to the solution of the Boltzmann equation), is derived on the basis of information theory. It is shown that the analytical results describing the effect are simpler if the kinetic definition for the nonequilibrium temperature is introduced than if the thermodynamic definition is introduced. The numerical results are nearly the same for both definitions