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 detailLa formación del lector literario
Delbrassine, Daniel ULg; Colomer, Teresa

Conference given outside the academic context (2014)

Dialogue en espagnol sur les leviers qui permettent l'amélioration des performances dans la lecture des textes littéraires. Présentation des cas belge (CFWB) et espagnol (Catalogne) et interaction avec la ... [more ▼]

Dialogue en espagnol sur les leviers qui permettent l'amélioration des performances dans la lecture des textes littéraires. Présentation des cas belge (CFWB) et espagnol (Catalogne) et interaction avec la salle (300 personnes, enseignants et bibliothécaires) [less ▲]

Detailed reference viewed: 42 (1 ULg)
See detailLa formación des los enseñantes mañana
de Landsheere, Gilbert ULg; de Coster, S.; de Coster, W. et al

Book published by Narcea (1977)

Detailed reference viewed: 25 (2 ULg)
Full Text
See detailFormación e investigación en lenguas extranjeras y traducción. Actas de las Segundas Jornadas Internacionales, 2-4 de junio de 2010, Buenos Aires
Ardissone, Diana; Miñones, Laura; Willson, Patricia ULg

Book published by Instituto de Enseñanza Superior en Lenguas Vivas «Juan Ramón Fernández» (2010)

The present volume collects the vast majority of the lectures and papers presented in the Second International Conference on Education and Research in Translation and Foreign Languages, which took place ... [more ▼]

The present volume collects the vast majority of the lectures and papers presented in the Second International Conference on Education and Research in Translation and Foreign Languages, which took place June 2nd to 4th in Buenos Aires, in the context of the Bicentennial Celebration of the May Revolution. The plenary lectures were led by Elvira Narvaja de Arnoux (University of Buenos Aires), Michael Dobstadt (University of Leipzig), Andrea Pagni (Erlangen-Nuremberg University), Gertudis Payás (Catholic University of Temuco), Daniel Fernández (National University of the Litoral), and Oliver Bertrand (University of Lorraine / CNRS). Along with the invited lecturers, there were more than 170 presenters from twelve countries (Argentina, Brazil, Canada, Chile, France, Germany, Mexico, Poland, Portugal, Spain, The United States, and Uruguay), grouped according to the following thematic areas: linguistic policies; teaching Spanish as a second language; rules and their exceptions in the teaching and learning of foreign and second languages; ICT and the acquisition of foreign and second languages; teaching foreign languages for specific objectives; production of didactic material and cultural industries; intercultural studies; teaching interculturality; translation and interculturality; translation and linguistic borders; contrastive grammar and translation; translation pedagogy; translation history; literary translation; audiovisual translation; and interpretation studies. [less ▲]

Detailed reference viewed: 65 (16 ULg)
See detailLa formación literaria de Manuel Sacristán
Ceballos Viro, Alvaro ULg

in López Arnal; Juncosa, Xavier; Benach, Joan (Eds.) Del pensar, del vivir, del hacer (2006)

Detailed reference viewed: 27 (3 ULg)
See detailFORMADIS (rapport intermédiaire d’activités)
Dupont, Chantal ULg; Baldewyns, Laurence; Delfosse, Catherine ULg et al

Report (2002)

Detailed reference viewed: 20 (5 ULg)
Full Text
See detailFormadis - L’eLearning en milieu associatif. Retour d’expérience
Lesire, Catherine ULg; Georges, François ULg

Report (2014)

Depuis plusieurs années, Formadis propose un accompagnement pédagogique et technique aux organismes et formateurs désireux d’intégrer l’eLearning à leur offre de formation. En 2012 et 2013, des ... [more ▼]

Depuis plusieurs années, Formadis propose un accompagnement pédagogique et technique aux organismes et formateurs désireux d’intégrer l’eLearning à leur offre de formation. En 2012 et 2013, des accompagnements à la mise en ligne de cours ont été proposés aux Organismes d’Insertion Socio-Professionnelle (OISP) et Entreprises de Formation par le Travail (EFT) en Région wallonne. Durant ces deux années, 13 organismes ont été accompagnés (5 en 2012 et 8 en 2013). Même si tous les organismes n’ont pas encore terminé la mise en ligne, la plupart envisagent d’utiliser prochainement leur cours avec leurs participants. [less ▲]

Detailed reference viewed: 51 (6 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: 45 (5 ULg)
Full Text
See detailFormadis: Evaluation de la satisfaction des participants à suivre un dispositif de sensibilisation à l'eLearning
Michiels, Laurence ULg; Dupont, Chantal ULg

Report (2014)

L’objectif de ce rapport est de réaliser un état de lieu de la satisfaction qu’ont eu les participants à suivre nos ateliers dans le cadre du projet FORMADIS durant les années 2012 et 2013. Notre ... [more ▼]

L’objectif de ce rapport est de réaliser un état de lieu de la satisfaction qu’ont eu les participants à suivre nos ateliers dans le cadre du projet FORMADIS durant les années 2012 et 2013. Notre intention de départ était de questionner les participants en plusieurs temps clés, au démarrage d’une session d’ateliers, lors de chaque atelier, lors de chaque activité pédagogique proposée en ligne et lors de la clôture d’une session d’ateliers. En réalité, nous n’avons pu collecter un nombre suffisant de données qu’au démarrage des sessions d’ateliers et en fin de chaque atelier. Nous ne disposons que d’un très faible nombre de données concernant les activités pédagogiques en ligne et la clôture des ateliers. Sur base des données collectées, nous tenterons d’être critiques par rapport au dispositif mis en place, d’émettre des hypothèses par rapport aux difficultés rencontrées et enfin de proposer des pistes de régulation pour une éventuelle mise en place d’un nouveau dispositif. [less ▲]

Detailed reference viewed: 14 (1 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: 35 (4 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: 18 (3 ULg)
Full Text
See detailA formal definition of time in LOTOS
Leduc, Guy ULg; Léonard, Luc

Report (1994)

Detailed reference viewed: 42 (4 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: 23 (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: 34 (1 ULg)
See detailFormal languages, automata and numeration systems, volume 1: Introduction to combinatorics on words
Rigo, Michel ULg

Book published by ISTE-Wiley (2014)

The goal is not to have an encyclopedic presentation of the subject, but to familiarize the reader with a series of selected selected topics on words (words, morphisms, factor complexity, Sturmian words ... [more ▼]

The goal is not to have an encyclopedic presentation of the subject, but to familiarize the reader with a series of selected selected topics on words (words, morphisms, factor complexity, Sturmian words, ...). The philosophy is to rigorously present the concepts being illustrated with many examples (particularly in relations to numeration systems or symbolic dynamics). The reader should be able to quickly gain access to current research problems or attend a conference on the subject. Interactions between combinatorics, arithmetic and automata theory are also highlighted. The book requires little (or no) prerequisites and thus should be accessible to a wide audience (computer scientists/mathematicians, at Master/graduate level). The first volume can be used for a course in one semester in combinatorics of words (e.g. I give regularly the first two chapters to read to my students, the last one serving as complement for the 'advanced' students). [less ▲]

Detailed reference viewed: 30 (2 ULg)
See detailFormal languages, automata and numeration systems, volume 2: Applications to recognizability and decidability
Rigo, Michel ULg

Book published by ISTE-Wiley (2014)

The interplay between words, computability, algebra and arithmetic has now proved its relevance and fruitfulness. Indeed, the cross-fertilization between formal logic and finite automata (such as that ... [more ▼]

The interplay between words, computability, algebra and arithmetic has now proved its relevance and fruitfulness. Indeed, the cross-fertilization between formal logic and finite automata (such as that initiated by J.R. Büchi) or between combinatorics on words and number theory has paved the way to recent dramatic developments, for example, the transcendence results for the real numbers having a “simple” binary expansion, by B. Adamczewski and Y. Bugeaud. This book is at the heart of this interplay through a unified exposition. Objects are considered with a perspective that comes both from theoretical computer science and mathematics. Theoretical computer science offers here topics such as decision problems and recognizability issues, whereas mathematics offers concepts such as discrete dynamical systems. The main goal is to give a quick access, for students and researchers in mathematics or computer science, to actual research topics at the intersection between automata and formal language theory, number theory and combinatorics on words. The second of two volumes on this subject, this book covers regular languages, numeration systems, formal methods applied to decidability issues about infinite words and sets of numbers. [less ▲]

Detailed reference viewed: 50 (0 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: 12 (0 ULg)
Full Text
Peer Reviewed
See detailFormal tools for argumentation
Leclercq, Bruno ULg

Conference (2011, March 25)

Detailed reference viewed: 15 (2 ULg)