Browsing
     by title


0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:   
OK
See detailFORMADIS (rapport intermédiaire d’activités)
Dupont, Chantal ULg; Baldewyns, Laurence; Delfosse, Catherine ULg et al

Report (2002)

Detailed reference viewed: 16 (4 ULg)
Full Text
Peer Reviewed
See detailFormadis : soutien au déploiement de formations ouvertes et à distance, en Wallonie et à Bruxelles
Dupont, Chantal ULg; Poumay, Marianne ULg; Georges, François ULg et al

(2002)

This paper presents an initiative, FORMADIS, aiming at producing a critical mass of quality courses and thus, contributing to the dissemination of good practices in ODL. A competitive call has been ... [more ▼]

This paper presents an initiative, FORMADIS, aiming at producing a critical mass of quality courses and thus, contributing to the dissemination of good practices in ODL. A competitive call has been launched in 2001 and 2002 to select 23 projects to be closely coached and turned into on-line active courses. The teachers, by working on their own course with the support of instructional, technical and graphic specialists move from a traditional way of considering their course to a more open view of what it could be. Applying the principles of isomorphism and transfer, the teacher training program in pedagogy, partly on line and partly face to face, helps in the different stages of development of the course. As anticipated, this setting appears to be an effective way to provide continuing education to teachers. The produced courses illustrate the diversity of implemented strategies and the added-value due to ODL. Over 40 activities have been described and analysed, according to the “7 teaching/learning paradigms” model. [less ▲]

Detailed reference viewed: 38 (4 ULg)
Full Text
See detailFormal analysis of the interaction between the specific immune response of cattle and Bovine herpesvirus 1
Thiry, Etienne ULg; Pastoret, Paul-Pierre ULg; Thomas, R.

in Pastoret, Paul-Pierre; Thiry, Etienne; Saliki, J. (Eds.) Immunity to herpesvirus infections of domestic animals (1985)

Detailed reference viewed: 2 (0 ULg)
Peer Reviewed
See detailFormal and semantic-discursive properties of mirative exprecctions (it's) no wonder: a synchronic-diachronic approach
Gentens, Caroline; Brems, Lieselotte ULg; Davidse, Kristin et al

Conference (2014, July)

Detailed reference viewed: 15 (1 ULg)
Full Text
Peer Reviewed
See detailA formal definition of time in LOTOS (Full version)
Léonard, Luc; Leduc, Guy ULg

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: 17 (3 ULg)
See detailA formal definition of time in LOTOS
Leduc, Guy ULg; Léonard, Luc

Report (1994)

Detailed reference viewed: 24 (3 ULg)
Full Text
Peer Reviewed
See detailA formal definition of time in LOTOS
Léonard, Luc; Leduc, Guy ULg

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: 22 (8 ULg)
Peer Reviewed
See detailFormal Incident Reporting System: Putting Solidarity on Trial
Rossignol, Nicolas ULg; Claisse, Frédéric ULg

Conference (2014, September)

The practice of “incident reporting” is commonly recognized as an effective mean to reduce the vulnerability of “at risk” socio-technical systems (e.g. nuclear plants, large industrial facilities or ... [more ▼]

The practice of “incident reporting” is commonly recognized as an effective mean to reduce the vulnerability of “at risk” socio-technical systems (e.g. nuclear plants, large industrial facilities or hospitals), as it allow the concerned community to learn from past incidents. Indeed, it is assumed that collective resilience will be upgraded via the use of institutionalized Incident Reporting System (IRS), enabling the organization to improve the quality of the actions and reactions in case of deviation from normality, or to prevent such deviation. Yet, inductive analysis of what happens with those IRS in practice are not numerous. In this paper, we address this gap and display the results of semi-structured interviews conducted in a nuclear facility. During those interviews, participants were also requested to produce a mind map of the IRS they are concerned with. As a result, we show that safety is a matter of solidarities that are situated in specific contexts. To that regard, incident reporting is a practice of decomposition and recomposition of trusts and thus of solidarities. Reporting incidents consists in putting solidarity on trial, as the collective safety was threatened. We show that such open trial is often avoided because questioning solidarities is not always desirable in order to allow the group to continue functioning. Overall, we argue that informal reporting behaviors can also contribute to upgrade collective resilience without putting solidarities on trial. [less ▲]

Detailed reference viewed: 9 (1 ULg)
Peer Reviewed
See detailFormal Methods: State of the Art and Future Directions
Clarke, Edmund M; Wing, Jeannette M; Alur, Rajeev et al

in ACM Computing Surveys (1996), 28(4), 626--643

Detailed reference viewed: 9 (0 ULg)
Full Text
Peer Reviewed
See detailFormal tools for argumentation
Leclercq, Bruno ULg

Conference (2011, March 25)

Detailed reference viewed: 9 (2 ULg)
Full Text
Peer Reviewed
See detailFormaldehyde in cultivated mushrooms: a negligible risk for the consumer
Claeys, W.; Vleminckx, C.; Dubois, A. et al

in Food Additives & Contaminants (2009), 26(9), 1265-1272

Detailed reference viewed: 49 (8 ULg)
Full Text
Peer Reviewed
See detailLa formalisation de la GRH dans une PME comme enjeu d’une certification RSE
El Abboubi, Manal; Cornet, Annie ULg

Conference (2011)

Detailed reference viewed: 14 (3 ULg)
Full Text
Peer Reviewed
See detailLa formalisation de la GRH dans une PME comme enjeu d’une certification RSE
El Abboubi, Manal ULg; Cornet, Annie ULg

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: 228 (36 ULg)
Full Text
Peer Reviewed
See detailFormalisation des informations géographiques en mode maillé
Donnay, Jean-Paul ULg

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: 60 (33 ULg)
Full Text
Peer Reviewed
See detailFormalisation et partage d'une praxis docimologique dans l'enseignement supérieur : l'apport de l'enquête internationale PraDES
Gilles, Jean-Luc ULg; Detroz, Pascal ULg

in Paquay, Léopold (Ed.) Evaluation et développement professionnel - Résumés (2009, January)

Detailed reference viewed: 51 (11 ULg)
Full Text
Peer Reviewed
See detailLe formalisme du travail à temps partiel : entre protection et proportion
Kefer, Fabienne ULg

in Liber Amicorum Othmar Vanachter. Arbeidsrecht tussen wel-zijn en niet-zijn (2009)

Detailed reference viewed: 43 (6 ULg)
Full Text
See detailUn formalisme unique peut-il décrire les phénomènes acoustiques et lumineux ?
Embrechts, Jean-Jacques ULg

in Bulletin d'Acoustique (1994), 16

Detailed reference viewed: 15 (5 ULg)
Full Text
Peer Reviewed
See detailFormasup - La professionnalisation de nos enseignants en question(s)
Poumay, Marianne ULg; Georges, François ULg

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: 133 (31 ULg)