Formal analysis and functional analysis of verbal behavior: Notes on the debate between Chomsky and SkinnerRichelle, Marc ![]() in Behaviorism (1976), 4(2), 209-221 Detailed reference viewed: 7 (0 ULg) Formal analysis of the interaction between the specific immune response of cattle and Bovine herpesvirus 1Thiry, Etienne ; Pastoret, Paul-Pierre ; in Pastoret, Paul-Pierre; Thiry, Etienne; Saliki, J. (Eds.) Immunity to herpesvirus infections of domestic animals (1985) Detailed reference viewed: 1 (0 ULg) A formal definition of time in LOTOS (Full version); Leduc, Guy ![]() in Formal Aspects of Computing (1998), 10E Enhanced Timed-LOTOS, denoted ET-LOTOS, is an extension of LOTOS that allows the modelling of real-time behaviours. It covers all the aspects of full LOTOS, including data types, it supports both a dense ... [more ▼] Enhanced Timed-LOTOS, denoted ET-LOTOS, is an extension of LOTOS that allows the modelling of real-time behaviours. It covers all the aspects of full LOTOS, including data types, it supports both a dense and a discrete time domain and can manipulate time values as any other data values. A tutorial on ET-LOTOS, showing many application examples, has already been published elsewhere. The present paper adds to it by providing an in-depth presentation of its theoretical aspects. The complete semantics is given and explained, and its properties are studied. In particular, we prove that the semantics is consistent and that strong bisimulation is a congruence. This requires to deal carefully with the presence of negative premises in the operational semantics, which are necessary to express urgency. ET-LOTOS is also shown to be a conservative extension of LOTOS for guarded processes, and is the basis of the timed extension of LOTOS currently developed by ISO. To our knowledge, this is the first in-depth study of a language that combines data types and real-time behaviours. [less ▲] Detailed reference viewed: 16 (3 ULg) A formal definition of time in LOTOS; Leduc, Guy ![]() in Formal Aspects of Computing (1998), 10(3), 248-266 Enhanced Timed-LOTOS, denoted ET-LOTOS, is an extension of LOTOS that allows the modelling of real-time behaviours. It covers all the aspects of full LOTOS, including data types, it supports both a dense ... [more ▼] Enhanced Timed-LOTOS, denoted ET-LOTOS, is an extension of LOTOS that allows the modelling of real-time behaviours. It covers all the aspects of full LOTOS, including data types, it supports both a dense and a discrete time domain and can manipulate time values as any other data values. A tutorial on ET-LOTOS, showing many application examples, has already been published elsewhere. The present paper adds to it by providing an in-depth presentation of its theoretical aspects. The complete semantics is given and explained, and its proper-ties are studied. In particular, we prove that the semantics is consistent and that strong bisimulation is a congruence. This requires to deal carefully with the presence of negative premises in the operational semantics, which are necessary to express urgency. ET-LOTOS is also shown to be a conservative extension of LOTOS for guarded processes, and is the basis of the timed extension of LOTOS currently developed by ISO. To our knowledge, this is the first in-depth study of a language that combines data types and real-time behaviours. [less ▲] Detailed reference viewed: 16 (7 ULg) Formal tools for argumentationLeclercq, Bruno ![]() Conference (2011, March 25) Detailed reference viewed: 6 (2 ULg) Formaldehyde in cultivated mushrooms: a negligible risk for the consumer; ; et al in Food Additives & Contaminants (2009), 26(9), 1265-1272 Detailed reference viewed: 40 (2 ULg) La formalisation de la GRH dans une PME comme enjeu d’un processus de certification RSE. Le Cas d’un Call CenterCornet, Annie ; El Abboubi, Manal ![]() Conference (2010) Detailed reference viewed: 25 (1 ULg) La formalisation de la GRH dans une PME comme enjeu d’une certification RSE; Cornet, Annie ![]() Conference (2011) Detailed reference viewed: 9 (1 ULg) La formalisation de la GRH dans une PME comme enjeu d’une certification RSEEl Abboubi, Manal ; Cornet, Annie ![]() in Revue de Gestion des Ressources Humaines (2012) La présente recherche vise à montrer comment le souhait d’obtenir une certification sociale (ici, SA8000) peut avoir des impacts sur les politiques de gestion des ressources humaines d’une PME (un centre ... [more ▼] La présente recherche vise à montrer comment le souhait d’obtenir une certification sociale (ici, SA8000) peut avoir des impacts sur les politiques de gestion des ressources humaines d’une PME (un centre d’appel). Nous allons décrire et analyser le positionnement des employés, considérés par les certificateurs comme une des parties prenantes du processus de certification. Nous montrerons ainsi que, si au début, la mobilisation du personnel était assez faible autour de ce projet, ce dernier a progressivement été perçu comme une opportunité d’obtenir des gains au niveau de la GRH, en l’occurrence une plus grande formalisation et transparence dans les pratiques et politiques de GRH. Nous mobiliserons la théorie de l’acteur réseau qui permet d’analyser les modalités de l’action collective des employés et les négociations qui ont été menées avec la direction générale autour d’intérêts divergents. Très peu d’études académiques se sont intéressées au croisement entre GRH, responsabilité sociale de l’entreprise (RSE) et processus de certification. [less ▲] Detailed reference viewed: 165 (21 ULg) Formalisation des informations géographiques en mode mailléDonnay, Jean-Paul ![]() in Revue Internationale de Géomatique (2005), 15(4), 415-438 Nowadays a real effort is devoted to the formalization of raster – image – geographic information. From conceptual design to relational modelling, norms and standards are proposed by agencies as well as ... [more ▼] Nowadays a real effort is devoted to the formalization of raster – image – geographic information. From conceptual design to relational modelling, norms and standards are proposed by agencies as well as commercial companies, for implementing raster data in spatial databases and GIS. At the same time, query languages are enhanced in order to promote the use of raster data in relational spatial algebra. Besides, normalized schemes make raster interoperability possible between distributed GIS, and encourage the emergence of Web services dedicated to raster processing. Hence, it can be expected that raster geographic data will play a major role in the coming spatial data infrastructures. [less ▲] Detailed reference viewed: 47 (21 ULg) Formalisation et partage d'une praxis docimologique dans l'enseignement supérieur : l'apport de l'enquête internationale PraDESGilles, Jean-Luc ; Detroz, Pascal ![]() in Paquay, Léopold (Ed.) Evaluation et développement professionnel - Résumés (2009, January) Detailed reference viewed: 42 (9 ULg) Le formalisme contractuel. Mécanisme de protection de la partie faibleKohl, Benoît ![]() in Journal des Tribunaux (2011) Detailed reference viewed: 21 (0 ULg) Le formalisme du travail à temps partiel : entre protection et proportionKefer, Fabienne ![]() in Liber Amicorum Othmar Vanachter. Arbeidsrecht tussen wel-zijn en niet-zijn (2009) Detailed reference viewed: 35 (6 ULg) Un formalisme unique peut-il décrire les phénomènes acoustiques et lumineux ?Embrechts, Jean-Jacques ![]() in Bulletin d'Acoustique (1994), 16 Detailed reference viewed: 8 (3 ULg) Formasup - La professionnalisation de nos enseignants en question(s)Poumay, Marianne ; Georges, François ![]() Conference (2009, September 09) L'article souhaite stimuler les échanges entre professionnels de la formation continuée des enseignants du supérieur. Il décrit brièvement le contexte du Master Complémentaire "Formasup" de l'Université ... [more ▼] L'article souhaite stimuler les échanges entre professionnels de la formation continuée des enseignants du supérieur. Il décrit brièvement le contexte du Master Complémentaire "Formasup" de l'Université de Liège et les courants qui influencent sa mise en oeuvre. Il se centre ensuite sur la régulation constante de ce programme, tout d'abord en soulignant quelques questions qui restent problématiques pour l'équipe encadrante, puis en énumérant des aires de questionnement ainsi que des solutions, toujours provisoires, apportées au fil du temps. Il ouvre enfin sur les perspectives quelques nouveaux défis qui ne manqueront pas de bousculer ce programme dans les années qui viennent. [less ▲] Detailed reference viewed: 116 (29 ULg) Formasup : un 3e cycle en pédagogie universitaire qui met en oeuvre sept clés méthodologiques au service du déploiement de pratiques de qualité en EADPoumay, Marianne ![]() in L'université au service de l'apprentissage : A quelles conditions ? (2003) L'article présente le curriculum "Formasup" (Master Complémentaire depuis 2007) et les sept principes méthodologiques qui présidaient à son organisation en 2003. Detailed reference viewed: 24 (9 ULg) Formasup : un troisième cycle en pédagogie universitaire qui met en oeuvre 7 clés méthodologiques au service du déploiement de pratiques de qualités en EADPoumay, Marianne ![]() in Comité d'Edition des Actes de l'Université de Sherbrooke (Ed.) Actes du 20e Congrès de l'Association Internationale de Pédagogie Universitaire (AIPU) - L'Université au service de l'apprentissage : à quelles conditions ? (2003, May) Bien qu’elles aient à affronter plusieurs défis (regroupement en pôles, nécessité de collaborer de façon interinstitutionnelle et d’adapter contenus et méthodes aux besoins changeants de la société), les ... [more ▼] Bien qu’elles aient à affronter plusieurs défis (regroupement en pôles, nécessité de collaborer de façon interinstitutionnelle et d’adapter contenus et méthodes aux besoins changeants de la société), les universités offrent peu de formation continuée à leurs enseignants. À l’Université de Liège, cette formation continuée était jusqu’à l’année dernière surtout centrée sur des maîtrises d’outils techniques ou encore de la gestion. Une seconde motivation, tout aussi importante que la première, était le déploiement d’une masse critique de cours en ligne de qualité dans nos instituts d’enseignement supérieur. Pour ces principales raisons, le LabSET a souhaité insuffler à la formation pédagogique des professeurs un renouveau en contenus et méthodes, sous forme d’un curriculum respectant sept principes actifs (sélection des candidats au travers d’appels à projets ; enseignement isomorphe; approche par projets ; accompagnement étroit ; place centrale au concept d’activité des participants ; variété des méthodes et des ressources ; adaptation de l’évaluation aux groupes d’adultes). Ces 7 clés sont illustrées par des exemples pratiques issus du curriculum et des activités vécues, la difficulté résidant dans l’application et le respect de ces principes au quotidien. [less ▲] Detailed reference viewed: 26 (3 ULg) Formasup masters degree: an experience intertwining valorization and virtual mobility across europePoumay, Marianne ![]() in Gard, Ellen (Ed.) Emdel: a Model for Valorization of eLearning in a Knowledge Society (2005) Detailed reference viewed: 14 (2 ULg) The Formasup specialized MasterPoumay, Marianne ![]() Scientific conference (2008, June 30) Detailed reference viewed: 6 (4 ULg) |
||