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 detailHandling Liveness Properties in (ω-)Regular Model Checking
Bouajjani, Ahmed; Legay, Axel; Wolper, Pierre ULiege

in Electronic Notes in Theoretical Computer Science (2005, December 28), 138(3), 101-115

Since the topic emerged several years ago, work on regular model checking has mostly been devoted to the verification of state reachability and safety properties. Though it was known that liveness ... [more ▼]

Since the topic emerged several years ago, work on regular model checking has mostly been devoted to the verification of state reachability and safety properties. Though it was known that liveness properties could also be checked within this framework, little has been done about working out the corresponding details, and experimentally evaluating the approach. This paper addresses these issues in the context of regular model checking based on the encoding of states by finite or infinite words. It works out the exact constructions to be used in both cases, and solves the problem resulting from the fact that infinite computations of unbounded configurations might never contain the same configuration twice, thus making cycle detection problematic. Several experiments showing the applicability of the approach were successfully conducted. [less ▲]

Detailed reference viewed: 79 (3 ULiège)
Peer Reviewed
See detailHandling of the 3D Behaviour of the Unsaturated Layer using a Vertical 1D Model for the Richards Equation along with Diffusive Horizontal Fluxes
Paulus, Raphaël ULiege; Archambeau, Pierre ULiege; Erpicum, Sébastien ULiege et al

in Chanson, Hubert (Ed.) Balance and Uncertainty: Water in a Changing World (2011)

Detailed reference viewed: 46 (12 ULiège)
Peer Reviewed
See detailHandling range ambiguities in registration-based range-dependence compensation for conformal array STAP
Ries, Philippe; Verly, Jacques ULiege; Lapierre, Fabian D.

Conference (2009)

Detailed reference viewed: 8 (0 ULiège)
Full Text
Peer Reviewed
See detailHandling very different time scales in numerical modelling of sediment transport and morphodynamics
Dewals, Benjamin ULiege; Archambeau, Pierre ULiege; Erpicum, Sébastien ULiege et al

in Proceedings of the 4th International Conference on Advanced Computational Methods in Engineering (2008)

Detailed reference viewed: 23 (2 ULiège)
Peer Reviewed
See detailThe hands of Papyrus Turin 1879: Individualizing handwritings in 20th dynasty hieratic sources
Polis, Stéphane ULiege

Conference (2016, April 08)

Papyrus Turin 1879 (and other fragments) — the so-called ‘Map of the gold mines’ or ‘Turin map’ — is among the most famous papyri of the Turin collection, but it was neither systematically published, nor ... [more ▼]

Papyrus Turin 1879 (and other fragments) — the so-called ‘Map of the gold mines’ or ‘Turin map’ — is among the most famous papyri of the Turin collection, but it was neither systematically published, nor studied up until today. Most of the egyptological attention was indeed captured by the ‘map’ side (e.g., Goyon 1949; Harrell & Brown 1992, with previous references), but the other side, which contains many hieratic texts belonging to different genres, has never been examined thoroughly (exceptions are Janssen 1994 and Hovestreydt 1997 for col. 1-2 of frag. A, vo). The goal of this talk is twofold. First, I will provide an overview of the texts found on this papyrus, focusing on the types of hieratic hands. A special attention will be devoted to the repertoire of hieratic signs as well as to the amount of variation in terms of signs formation for a single hand. Second, I will explore the possibility of ‘individualizing’ the hands of this papyrus by connecting their features to other hieratic sources of the 20th dynasty. Harrel & Brown’s (1992) suggestions regarding the attribution of these texts to specific scribes will be challenged and an alternative methodology will be suggested. [less ▲]

Detailed reference viewed: 60 (1 ULiège)
Full Text
See detailThe Hangenberg Event (uppermost Famennian) in southern Belgium (Namur-Dinant Basin)
Mottequin, Bernard ULiege; Poty, Edouard

in Cerdena, Esperanza (Ed.) 4th International Palaeontological Congress, Abstract Volume (2014)

Detailed reference viewed: 42 (2 ULiège)
Full Text
See detailHanging in there by a fall – The Oncocyclus of Lebanon
Saad, Layla ULiege; Khuri, Sawsan

in British Iris Society Yearbook (2003)

Detailed reference viewed: 24 (2 ULiège)
See detailHans de Winiwarter (1875-1949) : homme de science et collectionneur d’art (catalogue d'exposition)
Bawin, Julie ULiege

Book published by Co-édition Collections artistiques de l'Université de Liège et Fonds Léon Fredericq (2009)

Detailed reference viewed: 62 (5 ULiège)
See detail"Hans de Winiwarter (1875-1949) : homme de science et collectionneur d’art"
Bawin, Julie ULiege

Scientific conference (2009)

Detailed reference viewed: 17 (0 ULiège)
Peer Reviewed
See detailHans de Winiwarter (1875-1949) : un collectionneur d’art japonais en Belgique
Bawin, Julie ULiege

in 7e congrès de l’Association des cercles francophones d’histoire et d’archéologie de Belgique, LIVe congrès de la fédération des cercles d’archéologie et d’histoire de Belgique (2007)

Detailed reference viewed: 62 (6 ULiège)
Full Text
Peer Reviewed
See detailHans de Winiwarter’s Collection
Bawin, Julie ULiege

in The History of Artistic Creation in Japan (anglais et japonais) (2012)

Detailed reference viewed: 31 (1 ULiège)
Full Text
Peer Reviewed
See detailHans Faverey, Hinderlijke goden
Spinoy, Erik ULiege

in Lexicon van literaire werken (2008), (80), 1-11-

The present article discusses the important poetry book Hinderlijke goden (1985), by Hans Faverey, one of the most prominent poets in postwar Dutch poetry.

Detailed reference viewed: 86 (11 ULiège)
Full Text
Peer Reviewed
See detailHans Faverey, Zijden kettingen
Spinoy, Erik ULiege

in Lexicon van literaire werken (2005), (65), 1-14-

The present article offers an in-depth analysis of the poetry volume Zijden kettingen (1983) by the prominent Dutch postwar poet Hans Faverey. It also discusses the ways in which this book has been ... [more ▼]

The present article offers an in-depth analysis of the poetry volume Zijden kettingen (1983) by the prominent Dutch postwar poet Hans Faverey. It also discusses the ways in which this book has been received and framed since it was first published. [less ▲]

Detailed reference viewed: 126 (18 ULiège)
See detailHans le cheval qui savait compter
Despret, Vinciane ULiege

Book published by seuil (2004)

En septembre 1904, à Berlin, un cheval dénommé Hans suscite une des controverses les plus vives qui aient agité l'Allemagne à cette époque. Selon son maître, Hans peut résoudre des problèmes arithmétiques ... [more ▼]

En septembre 1904, à Berlin, un cheval dénommé Hans suscite une des controverses les plus vives qui aient agité l'Allemagne à cette époque. Selon son maître, Hans peut résoudre des problèmes arithmétiques, reconnaître des couleurs ou des cartes à jouer, épeler les lettres d'un mot, donner la date du jour ou désigner une personne d'après sa photo. S'agit-il d'une fraude ? d'une "révolution " quant à l'intelligence des animaux ? ou Hans est-il télépathe ? Une commission est mandatée pour évaluer les compétences du fameux cheval. Surprise: Hans répond aux questions qui lui sont posées, même en l'absence de son maître. Aurait-il appris à lire des signaux que les humains lui enverraient inconsciemment ? Ou, les humains, toujours inconsciemment, l'auraient-ils influencé ? Une aventure passionnante, qui nous fait revivre les premiers moments de la psychologie expérimentale, ses questions, ses enjeux, l'originalité et l'inventivité de ses acteurs, le talent de ses sujets et l'engagement de ses scientifiques. [less ▲]

Detailed reference viewed: 30 (1 ULiège)
Peer Reviewed
See detailHans Mommsen (1930-2015)
Brüll, Christoph ULiege

in Enyclopaedia Universalis [en ligne] (2016)

Detailed reference viewed: 14 (0 ULiège)
See detailHans von Reutlingen. Lambertus-Büstenreliquiar 1508-1512
George, Philippe ULiege

in Renaissance am Rhein (2010)

Detailed reference viewed: 47 (4 ULiège)
See detailHans Werner Richters Antikriegsroman Sie fielen aus Gottes Hand. Vom Dokument zum Roman
Letawe, Céline ULiege

Conference given outside the academic context (2011)

Detailed reference viewed: 41 (1 ULiège)
Full Text
Peer Reviewed
See detailL'Hantavirose fait encore parler d'elle
Bourhaba, Maryam ULiege; GIOT, Jean-Baptiste ULiege; Tshialala, D. M. et al

in Revue Médicale de Liège (2006), 61(5-6, May-Jun), 322-8

We propose a review of history, aetiology, physiopathology, clinical features, treatment and prevention of nephropathia epidemica (NE) which represents the only form of Hantavirus infection in Belgium.

Detailed reference viewed: 72 (4 ULiège)