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
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: 11 (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: 51 (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: 61 (34 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)
Full Text
Peer Reviewed
See detailFormasup : 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 EAD
Poumay, Marianne ULg

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: 27 (9 ULg)
Full Text
Peer Reviewed
See detailFormasup : 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 EAD
Poumay, Marianne ULg

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: 33 (4 ULg)
Full Text
See detailFormasup masters degree: an experience intertwining valorization and virtual mobility across europe
Poumay, Marianne ULg

in Gard, Ellen (Ed.) Emdel: a Model for Valorization of eLearning in a Knowledge Society (2005)

Detailed reference viewed: 14 (2 ULg)