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
Peer Reviewed
See detailCounting the solutions of Presburger equations without enumerating them
Boigelot, Bernard ULg; Latour, Louis

in Theoretical Computer Science (2004), 313(1), 17-29

The Number Decision Diagram (NDD) has recently been introduced as a powerful representation system for sets of integer vectors. NDDs can notably be used for handling sets defined by arbitrary Presburger ... [more ▼]

The Number Decision Diagram (NDD) has recently been introduced as a powerful representation system for sets of integer vectors. NDDs can notably be used for handling sets defined by arbitrary Presburger formulas, which makes them well suited for representing the set of reachable states of finite-state systems extended with unbounded integer variables. In this paper, we address the problem of counting the number of distinct elements in a set of numbers or, more generally, of vectors, represented by an NDD. We give an algorithm that is able to produce an exact count without enumerating explicitly the vectors, which makes it capable of handling very large sets. As an auxiliary result, we also develop an efficient projection method that allows to construct efficiently NDDs from quantified formulas, and thus makes it possible to apply our counting technique to sets specified by formulas. Our algorithms have been implemented in the verification tool LASH, and applied successfully to various counting problems. [less ▲]

Detailed reference viewed: 13 (4 ULg)
Full Text
See detailCountry analysis : Belgium
Pirotte, Gautier ULg

in ANHEIER, Helmut; DALY, Siobhan (Eds.) The Politics of Foundations. A comparative analysis (2007)

Foundations in Belgium make up a very small part of the belgian nonprofit sector. This chapter develops a general overview of the Foundation in Belgium trying to show some general figures, tracing the ... [more ▼]

Foundations in Belgium make up a very small part of the belgian nonprofit sector. This chapter develops a general overview of the Foundation in Belgium trying to show some general figures, tracing the evolution of Belgian Foundations, etc. [less ▲]

Detailed reference viewed: 51 (11 ULg)
See detailA Country Made for Disasters: Environmental Vulnerability and Forced Migration in Bangladesh
Poncelet, Alice ULg; Gemenne, François ULg; Martiniello, Marco ULg et al

in Afifi, T.; Jäger, J. (Eds.) Environment, Forced Migration and Social Vulnerability (2010)

Detailed reference viewed: 47 (6 ULg)
Peer Reviewed
See detailThe country of residence and migrant transnationalism: how do opportunity structures in countries of residence affect transnational attitudes and behavior of migrant organizations from the African Great Lakes region
Van Houte, Marieke; Perrin, Nathalie ULg; Orrnert, Anna

in Halm, Dirk; Sezgin, Zeynep (Eds.) Migration and Organized Civil Society: Rethinking national policy (2013)

Detailed reference viewed: 13 (1 ULg)
Peer Reviewed
See detailCoup d'oeil sur l'attraction vocalique liégeoise dans la littérature wallonne de 1600 à 1850
Droixhe, Daniel ULg

in Knecht, P.; Marzys, Z. (Eds.) Écriture, langues communes et normes. Formation spontanée de koinès et standardisation dans la Galloromania et son voisinage (1993)

Detailed reference viewed: 15 (1 ULg)
Peer Reviewed
See detailLe coup de la fourchette
Boxho, Philippe ULg

in Journal de Médecine Légale, Droit Médical (2000), 43(2), 121-125

Detailed reference viewed: 56 (15 ULg)
See detailCoup du lapin et cou douloureux
Henrotin, Yves ULg

Article for general public (2007)

Detailed reference viewed: 8 (0 ULg)
Peer Reviewed
See detailCoupes sombres (Martin Arnold et Walt Disney)
Belloi, Livio ULg

Conference (2013, November 09)

À partir de 2010, l'œuvre du cinéaste expérimental autrichien Martin Arnold a connu une mutation profonde. Alors que ses œuvres précédentes s'employaient à détourner des films de fiction hollywoodiens, le ... [more ▼]

À partir de 2010, l'œuvre du cinéaste expérimental autrichien Martin Arnold a connu une mutation profonde. Alors que ses œuvres précédentes s'employaient à détourner des films de fiction hollywoodiens, le travail contemporain d'Arnold vise, quant à lui, à retravailler des fragments de dessins animés issus de la production Disney. La présente communication se propose d'examiner ce corpus contemporain et d'en dégager les enjeux. Une attention toute particulière est réservée à "Shadow Cuts" (2010), film à l'occasion duquel Arnold renoue avec ses premières amours (le scratching visuel et sonore). [less ▲]

Detailed reference viewed: 36 (1 ULg)
Full Text
Peer Reviewed
See detailCouplage des modèles numériques SWAT et FeFlow pour l'étude des flux de nitrate à l'échelle d'un bassin versant agricole posé sur un aquifère sableux. Calibrage, validation et test de scénarios pour l'évaluation de pratiques agricoles plus durables en terme de gestion de l'azote
Vandenberghe, Christophe ULg; Deneufbourg, Mathieu ULg; Gaule, David et al

in Bulletin du groupe francophone Humidimétrie et Transferts en milieux poreux (2012, November), 58

Quatre prises d’eau exploitées à Arquennes (Belgique) sont contaminées par le nitrate. Leurs bassins d’alimentation sont situés en zone agricole caractérisée par un sol limoneux sur un aquifère sableux ... [more ▼]

Quatre prises d’eau exploitées à Arquennes (Belgique) sont contaminées par le nitrate. Leurs bassins d’alimentation sont situés en zone agricole caractérisée par un sol limoneux sur un aquifère sableux. Depuis 2004, ces bassins servent de site pilote dans le cadre de l’évaluation du Programme de Gestion Durable de l’Azote (PGDA), transposition de la Directive « Nitrates » en droit wallon. Les modèles numériques SWAT et FEFLOW ont permis de simuler les flux d’eau et de nitrate depuis la surface jusqu’aux galeries. Après calibrage et validation des modèles (sur la base d’une caractérisation du sol et du sous-sol et de traçages en milieux saturé et non saturé), plusieurs scénarios de pratiques agricoles ont été simulés afin de prédire l’évolution qualitative des eaux. L’expérience d’Arquennes a démontré que le recours au couplage SWAT / FEFLOW permet de proposer des solutions environnementales réalistes pour atteindre les objectifs fixés par la DCE. [less ▲]

Detailed reference viewed: 63 (6 ULg)
Full Text
Peer Reviewed
See detailLe couplage ventriculoartériel : du concept aux applications cliniques
Morimont, Philippe ULg; Lambermont, Bernard ULg; Ghuysen, Alexandre ULg et al

in Réanimation (2009), 18(3), 201-206

L’interaction entre le ventricule et le réseau vasculaire est un déterminant majeur de la performance cardiaque globale, particulièrement en présence d’une insuffisance ventriculaire préalable ... [more ▼]

L’interaction entre le ventricule et le réseau vasculaire est un déterminant majeur de la performance cardiaque globale, particulièrement en présence d’une insuffisance ventriculaire préalable. L’évaluation du couplage ventriculoartériel grâce à la mesure de l’élastance ventriculaire, comme reflet de la contractilité et de l’élastance artérielle, en tant qu’indice de post-charge, permet de quantifier cette interaction. Des travaux récents illustrent l’intérêt clinique de ce concept. Jusqu’à présent, son utilisation restait toutefois marginale en raison de la nécessité de recourir à des mesures invasives et complexes. Le développement des techniques d’imagerie non invasive et de traitement des signaux permet actuellement d’envisager l’utilisation de ce concept en pratique clinique courante. [less ▲]

Detailed reference viewed: 61 (12 ULg)
Full Text
See detail"Couple mal assorti en joyeuse compagnie". Un tableau anversois autrefois attribué à Léonard de Vinci
Fagnart, Laure ULg

in Dacos, Nicole (Ed.) Italia Belgica. La Fondation nationale Princesse Marie-José et les relations artistiques entre la Belgique et l'Italie (2005)

Dans cet article, nous proposons d’associer le "Couple mal assorti en joyeuse compagnie" conservé au Museu de Arte à São Paulo au tableau qui, dans la collection de Louis XIV, était attribué à Léonard de ... [more ▼]

Dans cet article, nous proposons d’associer le "Couple mal assorti en joyeuse compagnie" conservé au Museu de Arte à São Paulo au tableau qui, dans la collection de Louis XIV, était attribué à Léonard de Vinci. Emblématique de la richesse des échanges artistiques entre l’Italie et les anciens Pays-Bas à la Renaissance, cette œuvre, dont nous retraçons également l’histoire, relève en fait de la production de Quentin Metsys, qui, lui-même, s’est inspiré de dessins du maître italien. [less ▲]

Detailed reference viewed: 130 (19 ULg)
See detailCouple, famille, relations éducatives
Guillaume, Jean-François ULg

in Germain, Marc; Potelle, Jean-François (Eds.) La Wallonie à l'aube du XXIe siècle, Portrait d'un pays et de ses habitants (2005)

Données statistiques et systèmes de valeurs en matière de conjugalité et d'éducation. Exploitation d'enquêtes menées dans les années 1990, afin d'esquisser les spécificités des pratiques et des ... [more ▼]

Données statistiques et systèmes de valeurs en matière de conjugalité et d'éducation. Exploitation d'enquêtes menées dans les années 1990, afin d'esquisser les spécificités des pratiques et des représentations conjugales et familiales en Région wallonne. [less ▲]

Detailed reference viewed: 14 (2 ULg)
Full Text
See detailCoupled 3D eddy-resolving general circulation model and ecosystem model applied to the Black sea.
Grégoire, Marilaure ULg; Beckers, Jean-Marie ULg; Nihoul, Jacques ULg et al

in Ostrovskii, S.; Zatsepin, A. (Eds.) Oceanic Fronts and Related Phenomena (Konstantin Federov International Memorial Symposium) (1999)

Detailed reference viewed: 18 (3 ULg)
Full Text
Peer Reviewed
See detailCoupled buoyancy and thermocapillary convection in a viscoelastic Maxwell fluid
Dauby, Pierre ULg; Parmentier, P.; Lebon, Georgy ULg et al

in Journal of Physics : Condensed Matter (1993), 5

Detailed reference viewed: 7 (1 ULg)
Peer Reviewed
See detailCoupled capillary and gravity-driven instabilities in a bilayer porous liquid system
Desaive, Thomas ULg; Bragard, J.; Lebon, Georgy ULg et al

in 52nd annual meeting of the division of fluid dynamics of the American physical society (1999)

Detailed reference viewed: 2 (0 ULg)
Full Text
Peer Reviewed
See detailCoupled capillary and gravity-driven instability in a liquid film overlying a porous layer
Desaive, Thomas ULg; Lebon, Georgy ULg; Hennenberg, M.

in Physical Review E (2001), 64(6, Pt 2), 66304

In this work, we study the problem of onset of thermal convection in a fluid layer overlying a porous layer, the whole system being heated from below. We use Brinkman's model to describe the porous medium ... [more ▼]

In this work, we study the problem of onset of thermal convection in a fluid layer overlying a porous layer, the whole system being heated from below. We use Brinkman's model to describe the porous medium and determine the corresponding linear stability equations. The eigenvalue problem is solved by means of a modified Galerkin method. The behavior of the critical wave number and temperature gradient is discussed in terms of the various parameters of the system. We also emphasize the influence of the boundary conditions at the upper surface of the fluid layer; in particular, we examine the role of a free surface whose surface tension is temperature dependent (Marangoni effect). Comparison with earlier works is also made. [less ▲]

Detailed reference viewed: 23 (4 ULg)
Peer Reviewed
See detailCoupled computations of highly erosive flows with WOLF software
Dewals, Benjamin ULg

Conference (2002, September 20)

Detailed reference viewed: 18 (5 ULg)