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 detailAutomated text categorization in a dead language. The detection of genres in Late Egyptian
Gohy, Stéphanie ULg; Martin Leon, Benjamin ULg; Polis, Stéphane ULg

in Polis, Stéphane; Winand, Jean (Eds.) Texts, Languages & Information Technology in Egyptology. Selected papers from the meeting of the Computer Working Group of the International Association of Egyptologists (Informatique & Égyptologie), Liège, 6-8 July 2010 (2013)

This paper is a first step in applying machine learning methods typical of Automated Text Catego-rization (ATC) for Automatic Genre Identification (AGI) in Late Egyptian, a language written in either ... [more ▼]

This paper is a first step in applying machine learning methods typical of Automated Text Catego-rization (ATC) for Automatic Genre Identification (AGI) in Late Egyptian, a language written in either hieroglyphic or hieratic scripts that is found in documents from Ancient Egypt dating from ca. 1350-700 BCE. The study is divided into three parts. After a general intro¬duction on AGI (§1), we introduce the levels of annotation that are integrated in the Ramses corpus and can be used when performing AGI on Late Egyptian (§2). In the following section (§3) we offer a brief survey of the types of features that have been discussed in the literature on AGI, before proceeding with three case studies where we apply supervised machine learning methods — namely the naïve Bayes classifier (§4.1), the Support Vector Machine (§4.2), and the Segment and Combine approach (§4.3) — to a selection of texts in the corpus. Their respective performances are tested using lexical, part-of-speech and inflectional features. [less ▲]

Detailed reference viewed: 109 (17 ULg)
Full Text
Peer Reviewed
See detailAutomated, High-Throughput, Multi-scale Assessment of Bone Morphology and Bone Competence
Mader, K.; Schneider, P.; Ruffoni, Davide ULg et al

in IFMBE Proceedings (2010), 31

Osteoporosis, the most prevalent degenerative disease in western societies, is characterized by a reduction in bone mass and altered architectural arrangement of bone tissue; however, how bone morphology ... [more ▼]

Osteoporosis, the most prevalent degenerative disease in western societies, is characterized by a reduction in bone mass and altered architectural arrangement of bone tissue; however, how bone morphology on different length scales contributes to overall bone strength and how mechanical stresses are translated into biochemical signals is still poorly understood. This study aims to establish a framework for the automated high-throughput assessment of bone morphology and bone competence on length scales ranging from cellular to organ. We developed automation tools to enable measurement, quantitative morphological analysis, and finite element (FE) modeling for murine femora that will be used on two inbred strains of mice and their respective crossings (> 2000 samples). Two separate 3D x-ray tomography measurements are made, one at low (mu CT) and one at high resolution (Syncrotron Radiation CT). From the low-resolution scans organ-scale characteristics are extracted and from the high-resolution, ultrastructural morphology. The former provides information on macroscopic bone structures and is used for FE modeling. The later provides the canal network and osteocyte lacunae phenotypes. We devised and implemented new morphometric measures to quantify individual shape parameters for these phenotypes, such as orientation, radial distribution, anisotropy, and point density. To integrate the results, we developed a set of software tools to register the different resolutions to each other and a database infrastructure to enable easy management and analysis of such a large volume of data. This database and web-based interface provides a platform for sharing results greatly simplifying the creation of future studies. The presented automated high-throughput assessment of bone morphology at different length scales (whole bone and cell level) provides the prerequisites for direct comparisons between the ultrastructure, whole bone geometry, and mechanical bone competence. In future studies, this will allow investigating how individual ultrastructural bone properties relate to the local stress/strain environment computed by FE. We aim to establish a true phenomics approach, by linking back these phenotypes to the different genotypes of the distinct mouse strains to isolate the genetic contribution for these phenotypes, which are relevant for skeletal integrity. In conclusion, we established a multi-scale framework for quantitative, genetic, high-throughput studies to explore 3D structure-function relationships from cell to organ using computed tomography and computational modeling. The database comprising these results will provide the complete picture of natural differences in healthy bone and provide a starting point for analyzing structurally caused variations in bone strength. At the same time, it will serve as a frame of reference for quantitatively investigating changes that occur in conditions of bone diseases such as osteoporosis. [less ▲]

Detailed reference viewed: 7 (0 ULg)
See detailAutomates et systèmes de numération
Charlier, Emilie ULg

Conference (2012, August)

Ce cours d'1h30 est accessible à un grand public de mathématiciens, y compris les enseignants du secondaire. Je commencerai par définir ce que sont les automates finis. J'introduirai les systèmes de ... [more ▼]

Ce cours d'1h30 est accessible à un grand public de mathématiciens, y compris les enseignants du secondaire. Je commencerai par définir ce que sont les automates finis. J'introduirai les systèmes de numération en général. Je m'attarderai sur le cas des bases entières, et montrerai les propriétés remarquables de calculs dans ces bases, notamment le calcul de l'addition et de la multiplication par une constante par automate fini. Ensuite, j'étendrai ces considérations à des numérations dites non-standard et aux systèmes de Pisot. Enfin, je définirai les numérations abstraites. [less ▲]

Detailed reference viewed: 20 (5 ULg)
Full Text
Peer Reviewed
See detailAutomates et systèmes de numération
Rigo, Michel ULg

in Bulletin de la Société Royale des Sciences de Liège (2005), 73

Ce survol introductif est basé sur une mini-conférence réalisée à la Société Royale des Sciences de Liège en avril 2004 et sur un exposé réalisé à l’IUFM de Reims en juin 2003 (Integrating Technologies ... [more ▼]

Ce survol introductif est basé sur une mini-conférence réalisée à la Société Royale des Sciences de Liège en avril 2004 et sur un exposé réalisé à l’IUFM de Reims en juin 2003 (Integrating Technologies into Mathematics Education). Nous y présentons divers systèmes de numération du point de vue de la théorie des langages formels. On s’attache dès lors à mettre en lumière les liens éventuels entre propriétés arithmétiques des nombres et propriétés syntaxiques de leurs représentations. La première partie de ce texte introduit en particulier la notion d’automate et quelques unes de ses applications. [less ▲]

Detailed reference viewed: 24 (2 ULg)
Full Text
See detailAutomates et vérification
Wolper, Pierre ULg

in Encyclopédie de l'informatique et des systèmes d'information (2006)

La vérification de programmes consiste à analyser les comportements possibles de programmes en vue de déterminer s’ils seront toujours conformes à ce qui est attendu. Pour ce faire, les caractéristiques ... [more ▼]

La vérification de programmes consiste à analyser les comportements possibles de programmes en vue de déterminer s’ils seront toujours conformes à ce qui est attendu. Pour ce faire, les caractéristiques souhaitées des comportements sont exprimées formellement et confrontées, par des techniques mathématiques rigoureuses, à l’ensemble des comportements du programme à analyser. Dans ce contexte, les automates jouent un triple rôle. Tout d’abord, ils sont fréquemment utilisés en tant que langage de programmation simplifié pour décrire les programmes à analyser. Ensuite, ils servent de formalisme de description de propriétés de comportements, soit directement, soit par traduction à partir d’un langage logique. Finalement, ils s’avèrent très utiles en tant que formalisme de description d’ensembles infinis de valeurs. [less ▲]

Detailed reference viewed: 79 (20 ULg)
Full Text
Peer Reviewed
See detailAutomatic 1958-2007 daily weather pattern classification applied to an analysis of climatic conditions of wildfires in eastern Belgium
Erpicum, Michel ULg; Fettweis, Xavier ULg; Mabille, Georges ULg et al

Poster (2008, April)

The daily atmospheric circulation patterns classification is founded on a 100 km regular grid centred on Belgium. The geopotential heights of 500, 850 and 1000 hPa levels were extracted <br />from the ERA ... [more ▼]

The daily atmospheric circulation patterns classification is founded on a 100 km regular grid centred on Belgium. The geopotential heights of 500, 850 and 1000 hPa levels were extracted <br />from the ERA-40 database on the period 1958-2002 and from ECMWF operational analysis until the end of year 2007. The classification was based on a similarity index calculated on the orientation of exaggerated slopes of different daily geopotential fields. Wildfire occurrences were analyzed in April and September (which are the two months with the most frequent wildfire-days in Belgium) together with monthly frequencies and persistences of daily atmospheric circulation pattern classes as well as with yearly variability of weather climate conditions. [less ▲]

Detailed reference viewed: 36 (5 ULg)
Full Text
Peer Reviewed
See detailAn automatic adaptative remeshing for modelling of shear band
Bille, Jean Philippe; Charlier, Robert ULg; Dyduch, Marek

in Proc. of the 3rd European Conf. on Num. Meth. in Geotechnical Eng., ECONMIG'94 (1994, September)

Detailed reference viewed: 13 (4 ULg)
Peer Reviewed
See detailAutomatic adaptive remeshing for numerical simulation of forging
Dyduch, M.; Habraken, Anne ULg

in Actes de la Conférence européenne sur les nouvelles avancées en calcul des structures (1991)

Detailed reference viewed: 11 (3 ULg)
Peer Reviewed
See detailAutomatic adaptive remeshing for numerical simulations of metalforming
Dyduch, M.; Habraken, Anne ULg; Cescotto, Serge ULg

in Computer Methods in Applied Mechanics & Engineering (1992), 101

Detailed reference viewed: 10 (3 ULg)
Full Text
Peer Reviewed
See detailAutomatic Aircraft Cargo Load Planning with Pick-up and Delivery
Lurkin, Virginie ULg; Schyns, Michael ULg

Conference (2013, March 15)

This research aims to develop a new mixed integer linear program to solve the containers assignment problem when pickup and deliveries are considered. Given a pool of ULDs and an aircraft with multiple ... [more ▼]

This research aims to develop a new mixed integer linear program to solve the containers assignment problem when pickup and deliveries are considered. Given a pool of ULDs and an aircraft with multiple destinations, we want to obtain a loading plan determining at which positions the ULDs must be assigned in order to minimize simultaneous the quantity of fuel consumed and the number of re-handles. The loading plan should also ensure a number of structural, safety and manoeuvrability constraints. The model has been tested on real instances and provides encouraging results. [less ▲]

Detailed reference viewed: 74 (24 ULg)
See detailAutomatic Aircraft Cargo Load Planning with Pick-up and Delivery
Lurkin, Virginie ULg; Schyns, Michael ULg

Conference (2013, February 07)

This research aims to develop a new mixed integer linear program to solve the containers assignment problem when pickup and deliveries are considered. Given a pool of ULDs and an aircraft with multiple ... [more ▼]

This research aims to develop a new mixed integer linear program to solve the containers assignment problem when pickup and deliveries are considered. Given a pool of ULDs and an aircraft with multiple destinations, we want to obtain a loading plan determining at which positions the ULDs must be assigned in order to minimize simultaneous the quantity of fuel consumed and the number of re-handles. The loading plan should also ensure a number of structural, safety and manoeuvrability constraints. The model has been tested on real instances and provides encouraging results. [less ▲]

Detailed reference viewed: 85 (19 ULg)
Full Text
Peer Reviewed
See detailAutomatic Aircraft Load Planning
Limbourg, Sabine ULg; Schyns, Michael ULg; Laporte, Gilbert

in Journal of the Operational Research Society (2012), 63

The goal of this paper is the development of a new mixed integer linear program designed for optimally loading a set of containers and pallets into a compartmentalised cargo aircraft. It is based on real ... [more ▼]

The goal of this paper is the development of a new mixed integer linear program designed for optimally loading a set of containers and pallets into a compartmentalised cargo aircraft. It is based on real-world problems submitted by a professional partner. This model takes into account strict technical and safety constraints. In addition to the standard goal of optimally positioning the centre of gravity, we also propose a new approach based on the moment of inertia. This double goal implies an increase in aircraft efficiency and a decrease in fuel consumption. Cargo loading generally remains a manual, or at best a computer assisted, and time consuming task. A fully automatic software was developed to quickly compute optimal solutions. Experimental results show that our approach achieves better solutions than manual planning, within only a few seconds. [less ▲]

Detailed reference viewed: 368 (76 ULg)
Full Text
Peer Reviewed
See detailAutomatic artifact detection for whole-night polysomnographic sleep recordings
Coppieters't Wallant, Dorothée ULg; Chellappa, Sarah Laxhmi ULg; Gaggioni, Giulia ULg et al

Poster (2014, September 17)

Detecting of bad channels and artifacts for whole-night polysomnographic recordings is very time consuming and tedious. We therefore developed an automatic procedure to automatize this job.

Detailed reference viewed: 14 (8 ULg)
Full Text
Peer Reviewed
See detailAutomatic biorythms description from actigraphic data
González y Viagas, Miguel ULg; Ly, Julien ULg; Gaggioni, Giulia ULg et al

Poster (2014, September)

Detailed reference viewed: 8 (0 ULg)
Full Text
Peer Reviewed
See detailAutomatic brain image reading for the differential diagnosis between atypical parkinsonian syndromes & Parkinson's disease
Garraux, Gaëtan ULg; Phillips, Christophe ULg; Lemaire, Christian ULg et al

in Movement Disorders : Official Journal of the Movement Disorder Society (2010), 25(7), 379-379

Detailed reference viewed: 65 (5 ULg)
Peer Reviewed
See detailAutomatic Building and Supervised Discrimination Learning of Appearance Models of 3-D Object
Delanoy, Richard L.; Verly, Jacques ULg; Dudgeon, Dan E.

Conference (1992, April)

Detailed reference viewed: 3 (0 ULg)
See detailAUTOMATIC CARGO LOAD PLANNING
Limbourg, Sabine ULg

Conference (2010, December 14)

The aircraft loading problem is a real-world combinatorial optimisation problem highly constrained. Indeed, loading the aircraft so the gross weight is less than the maximum allowable is not enough. This ... [more ▼]

The aircraft loading problem is a real-world combinatorial optimisation problem highly constrained. Indeed, loading the aircraft so the gross weight is less than the maximum allowable is not enough. This weight must be distributed to keep the centre of gravity (CG) within specified limits. Balance control refers to the location of the CG. Both lateral and longitudinal balances are important in order to minimize fuel consumption and to satisfy stability and safety requirements. Moreover, an aircraft has usually several cargo compartments with specific contours and structural limitations such as floor loading, combined load limits and cumulative load limitations. The topic of this talk is the description of a mixed integer linear program for the problem of loading a set of Unit Loading Devices (ULDs) and bulk into an aircraft. An ULD can be a container or a pallet and is characterised by the type, contour, weight and height. Experimental results for real data sets show that the model achieves better balanced solutions in only a few seconds compared to the solution obtained by load masters. [less ▲]

Detailed reference viewed: 42 (1 ULg)
Full Text
Peer Reviewed
See detailAutomatic Cargo Load Planning
Limbourg, Sabine ULg; Schyns, Michael ULg; Laporte, Gilbert

in Proceedings (2011, March 02)

The goal of this paper is the development of a new mixed integer linear pro- gram designed for optimally loading a set of containers and pallets into a compartmentalised cargo aircraft. It is based on ... [more ▼]

The goal of this paper is the development of a new mixed integer linear pro- gram designed for optimally loading a set of containers and pallets into a compartmentalised cargo aircraft. It is based on real-world problems submitted by a professional partner. This model takes into account strict technical and safety constraints. In addition to the standard goal of optimally positioning the centre of gravity, we also propose a new approach based on the moment of inertia. This double goal implies an increase in aircraft efficiency and a decrease in fuel consumption. Cargo loading generally remains a manual, or at best a computer assisted, and time consuming task. A fully automatic software was developed to quickly compute optimal solutions. Experimental results show that our approach achieves better solutions than manual planning, within only a few seconds. [less ▲]

Detailed reference viewed: 69 (12 ULg)
Full Text
Peer Reviewed
See detailAutomatic Cargo Load Planning: Special shipments
Kleyntssens, Thomas ULg; Limbourg, Sabine ULg; Schyns, Michael ULg

in ILS 2012 Proceedings (2012, August 28)

The aircraft loading problem is a real-world combinatorial optimisation problem highly constrained. Indeed, loading the aircraft so the gross weight is less than the maximum allowable is not enough. This ... [more ▼]

The aircraft loading problem is a real-world combinatorial optimisation problem highly constrained. Indeed, loading the aircraft so the gross weight is less than the maximum allowable is not enough. This weight must be distributed to keep the centre of gravity within specified limits. Moreover, an aircraft has usually several cargo compartments with specific contours and structural limitations such as floor loading, combined load limits and cumulative load limitations. Finally, some shipments are particularly restrictive to transport, like dangerous goods, live animals and perishable goods. This paper is concerned with the incorporation of these latter constraints in a mixed integer linear program for the problem of loading a set of Unit Loading Devices and bulk into an aircraft. Experimental results show that our method achieves optimal solutions within only few seconds. [less ▲]

Detailed reference viewed: 76 (8 ULg)