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 detailModule checking
Kupferman, Orna; Vardi, Moshe Y; Wolper, Pierre ULg

in Information & Computation (2001), 164(2), 322-344

In computer system design, we distinguish between closed and open systems. A closed system is a system whose behavior is completely determined by the state of the system. An open system is a system that ... [more ▼]

In computer system design, we distinguish between closed and open systems. A closed system is a system whose behavior is completely determined by the state of the system. An open system is a system that interacts with its environment and whose behavior depends on this interaction. The ability of temporal logics to describe an ongoing interaction of a reactive program with its environment makes them particularly appropriate for the specification of open systems. Nevertheless, model-checking algorithms used for the verification of closed systems are not appropriate for the verification of open systems. Correct model checking of open systems should check the system with respect to arbitrary environments and should take into account uncertainty regarding the environment. This is not the case with current model-checking algorithms and tools. In this paper we introduce and examine the problem of model checking of open systems (module checking, for short). We show that while module checking and model checking coincide for the linear-time paradigm, module checking is much harder than model checking for the branching-time paradigm. We prove that the problem of module checking is EXPTIME-complete for specifications in CTL and 2EXPTIME-complete for specifications in CTL*. This bad news is also carried over when we consider the program-complexity of module checking. As good news, we show that for the commonly-used fragment of CTL (universal, possibly, and always possibly properties), current model-checking tools do work correctly, or can be easily adjusted to work correctly, with respect to both closed and open systems. (C) 2001 Academic Press. [less ▲]

Detailed reference viewed: 45 (9 ULg)
See detailModule d'auto-évaluation en informatique
Denis, Brigitte ULg; Magis, Isabelle

Learning material (1988)

Detailed reference viewed: 27 (0 ULg)
See detailModule d'auto-évaluation en robotique
Denis, Brigitte ULg; Magis, Isabelle

Learning material (1988)

Detailed reference viewed: 16 (0 ULg)
Full Text
See detailModule de formation - Dynamique des peuplements forestiers d’Afrique Centrale
Doucet, Jean-Louis ULg; Dissaki, A.; Mengome, A. et al

Learning material (2007)

Detailed reference viewed: 181 (20 ULg)
See detailModule de formation : Botanique – Inventaire de Biodiversité
Doucet, Jean-Louis ULg

Learning material (2006)

Detailed reference viewed: 98 (10 ULg)
See detailModule de garantie de transmission
Reinbold, Pierre; Martin, Sylvain ULg; Bonaventure, Olivier et al

in ARTHUR - Manuel d'informatisation des urgences (2003)

Detailed reference viewed: 29 (5 ULg)
Full Text
Peer Reviewed
See detailA Module-Oriented Optimization Tool
Rigo, Philippe ULg

in PRADS’2001, 8th Int. Symposium on Practical Design of Ships and other Floating Structures,vol 1 (2001, September)

Detailed reference viewed: 31 (1 ULg)
Full Text
Peer Reviewed
See detailA Module-Oriented Tool for Optimum Design of Stiffened Structures
Rigo, Philippe ULg

in Marine Structures (2001)

Detailed reference viewed: 49 (1 ULg)
Full Text
See detailModuler l'âge d'abattage des poulets de chair: Quel impact sur la qualité organoleptique de la viande?
De Maeseneire, Coraline ULg; Sindic, Marianne ULg; Beckers, Yves ULg

Article for general public (2013)

Avec l’émergence des nouveaux modes de production alternatifs, pour la plupart associés à la production dite de « qualité différenciée », plusieurs souches de poulets de chair sont éligibles en pratique ... [more ▼]

Avec l’émergence des nouveaux modes de production alternatifs, pour la plupart associés à la production dite de « qualité différenciée », plusieurs souches de poulets de chair sont éligibles en pratique en Région wallonne. Ces souches se distinguent suivant de nombreux critères dont la durée du cycle nécessaire pour produire une carcasse commercialisable. Or l’âge à l’abattage influencerait fortement les qualités sensorielles de la viande de poulet. Une question essentielle se pose dès lors : quelle influence une modification de l’âge à l’abattage du poulet de chair peut-elle avoir sur la perception de la qualité de la viande par le consommateur ? [less ▲]

Detailed reference viewed: 71 (12 ULg)
Full Text
Peer Reviewed
See detailModuler l'exposition tissulaire au cortisol, nouvelle perspective pour reduire le risque metabolique associe a l'obesite.
Iovino, A.; Scheen, André ULg

in Revue Médicale de Liège (2010), 65(3), 140-6

Pharmaceutical research is looking for new alternatives to manage the metabolic disorders associated with obesity. In this context, 11beta hydroxysteroid dehydrogenase type 1 (11HSD1) represents an ... [more ▼]

Pharmaceutical research is looking for new alternatives to manage the metabolic disorders associated with obesity. In this context, 11beta hydroxysteroid dehydrogenase type 1 (11HSD1) represents an interesting target. Indeed, this enzyme activates the transformation of inactive cortisone into active cortisol in various tissues. Therefore, it may be responsible for a local hypercortisolism, in adipose tissue and/or liver, which may be implicated in the pathogenesis of abdominal obesity, metabolic syndrome and type 2 diabetes. Thus, the inhibition of 11HSD1 may represent a potential pharmacological target and an innovative therapeutic goal. Several studies in both animals and humans led to the development of specific 11HSD1 inhibitors, with promising preliminary results. Indeed, a reduction in insulin resistance and significant improvements in carbohydrate and lipid profiles have been reported. The present article describes the rationale that led to the development of specific 11HSD1 inhibitors and briefly reports the first results obtained with these molecules, which may become a new class of antidiabetic agents in the future. [less ▲]

Detailed reference viewed: 95 (2 ULg)
See detailModules - Unités capitalisables
de Landsheere, Gilbert ULg

Conference (1979, January 25)

Detailed reference viewed: 7 (1 ULg)
See detailModules d'auto-évaluation en chimie
Leclercq, Dieudonné ULg; Hardy, Jean-Luc; Denis, Brigitte ULg

Learning material (1982)

Detailed reference viewed: 40 (5 ULg)
See detailModules du DES en Technologie de l'Éducation et de la Formation
Denis, Brigitte ULg

Learning material (2001)

Detailed reference viewed: 8 (0 ULg)
Full Text
Peer Reviewed
See detailModulus of elasticity for service and accident conditions
Schneider, Ulrich; Schwesinger, P.; Debicki, Gérard et al

in Materials and Structures (2004), 37

Detailed reference viewed: 59 (2 ULg)
Full Text
See detailMoems Packaging for Harsh environments
Loicq, Jerôme ULg

Conference (2005, May 31)

Detailed reference viewed: 8 (0 ULg)
Full Text
Peer Reviewed
See detailThe Moesian Terrane during the Lochkovian - a new palaeogeographic and phytogeographic hypothesis based on miospore assemblages
Steemans, Philippe ULg; Lakova, I.

in Palaeogeography, Palaeoclimatology, Palaeoecology (2004), 208(3-4), 225-233

The relative position of terranes during the Palaeozoic can be indicated by a combination of palaeomagnetic and floral/faunal evaluation. Palaeomagnetic data are absent from the Moesian Terrane, South ... [more ▼]

The relative position of terranes during the Palaeozoic can be indicated by a combination of palaeomagnetic and floral/faunal evaluation. Palaeomagnetic data are absent from the Moesian Terrane, South-Eastern Europe, and its position is here estimated thanks to palaeophytogeographic considerations based on miospore assemblages. Miospore assemblages have been studied in two boreholes from northern Bulgaria. Preliminary analyses of chitinozoans, acritarchs and phytodebris have already been published. The oldest samples were considered to be of Pridoli age based on chitinozoan data, but here we provide new miospore evidence suggesting a Lochkovian age. This age determination is in accordance with the new interpretations based on previously published acritarch data. It is likely that the previous Pridoli age determination was influenced by Pridoli chitinozoans being reworked into the Lochkovian. The miospores are typical of assemblages only present in a small area of Avalonia and the western part of the Baltica Plate, and belong to the sinuosus-zavallatus (S-Z) Phytogeographic Province, defined here. On the contrary to the miospores, marine palynomorphs have affinity with Gondwanan assemblages. The different palaeogeographic affinities of the different palynomorph groups are not necessarily in contradiction, as it has recently been suggested that the Rheic Ocean did not act, around the Silurian-Devonian boundary, as a hermetic barrier for transoceanic chitinozoan and acritarch exchange. Therefore, the results are tentatively interpreted as indicating that the Moesian Terrane, belonging to the S-Z Province, was close to southern Laurussia during the Lower Devonian. This northern position of the Moesian Terrane during the Lower Devonian conflicts with most current palaeogeographic reconstructions, but partially supports the hypothesis of a migration of this terrane from Gondwana to Laurussia during the Palaeozoic. The possible presence of reworked palynomorphs in the Lochkovian may reflect early tectonic events associated with the close proximity of the Moesian Terrane and the Dobrudgea periphery of Palaeo-Europe. (C) 2004 Elsevier B.V. All rights reserved. [less ▲]

Detailed reference viewed: 27 (3 ULg)