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 detailOn the use of posture verbs by French-speaking learners of Dutch : A corpus-based study
Lemmens, Maarten; Perrez, Julien ULg

in Cognitive Linguistics (2010)

Detailed reference viewed: 25 (4 ULg)
Peer Reviewed
See detailOn the use of posture verbs by French-speaking learners of Dutch : a corpus-based study.
Lemmens, Maarten; Perrez, Julien ULg

Conference (2009)

Detailed reference viewed: 4 (0 ULg)
Peer Reviewed
See detailOn the use of the Cowan's code for atomic structure calculations in singly ionized lanthanides
Quinet, Pascal ULg; Palmeri, P.; Biémont, Emile ULg

in Journal of Quantitative Spectroscopy & Radiative Transfer (1999), 62

Detailed reference viewed: 18 (2 ULg)
Full Text
Peer Reviewed
See detailOn the use of the sigma-coordinate system in regions of large bathymetric variations
Deleersnijder, Eric; Beckers, Jean-Marie ULg

in Journal of Marine Systems (1992), 3(4-5), 381-390

The sigma-transformation is a widely used coordinate change that maps the actual depth-varying sea onto a computational domain, the depth of which is constant. The advantages of this technique are ... [more ▼]

The sigma-transformation is a widely used coordinate change that maps the actual depth-varying sea onto a computational domain, the depth of which is constant. The advantages of this technique are numerous. It permits an efficient use of computer resources, a simple treatment of the surface and bottom boundary conditions, and an accurate representation of the bathymetry. However, if the range of the depth is too large, or when the depth varies too rapidly, as in the shelf break region, it may be shown that the sigma-transformation leads to severe numerical errors. In the application of GHER's three-dimensional model to the Western Mediterranean, the occurrence of those numerical errors is avoided by the introduction of a two-fold sigma-coordinate system in the deep sea. [less ▲]

Detailed reference viewed: 34 (1 ULg)
Peer Reviewed
See detailOn the use of variable complementarity for feature selection in cancer classification
Meyer, Patrick ULg; Bontempi, Gianluca

in Applications of Evolutionary Computing (2006)

Detailed reference viewed: 12 (1 ULg)
Full Text
Peer Reviewed
See detailOn the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables
Boigelot, Bernard ULg; Jodogne, Sébastien ULg; Wolper, Pierre ULg

in Lecture Notes in Computer Science (2001), 2083

This paper considers finite-automata based algorithms for handling linear arithmetic with both real and integer variables. Previous work has shown that this theory can be dealt with by using finite ... [more ▼]

This paper considers finite-automata based algorithms for handling linear arithmetic with both real and integer variables. Previous work has shown that this theory can be dealt with by using finite automata on in finite words, but this involves some difficult and delicate to implement algorithms. The contribution of this paper is to show, using topological arguments, that only a restricted class of automata on in finite words are necessary for handling real and integer linear arithmetic. This allows the use of substantially simpler algorithms and opens the path to the implementation of a usable system for handling this combined theory. [less ▲]

Detailed reference viewed: 29 (6 ULg)
Peer Reviewed
See detailOn the Uses and Abuses of Degenerate Art
Delville, Michel ULg

Conference (2002, May 11)

Detailed reference viewed: 4 (1 ULg)
Full Text
Peer Reviewed
See detailOn the value of conditioning data to reduce conceptual model uncertainty in groundwater modeling
Rojas, Rodrigo; Feyen, Luc; Batelaan, Okke et al

in Water Resources Research (2010), 46(8), 08520

Recent applications of multi-model methods have demonstrated their potential in quantifying conceptual model uncertainty in groundwater modeling applications. To date, however, little is known about the ... [more ▼]

Recent applications of multi-model methods have demonstrated their potential in quantifying conceptual model uncertainty in groundwater modeling applications. To date, however, little is known about the value of conditioning to constrain the ensemble of conceptualizations, to differentiate among retained alternative conceptualizations, and to reduce conceptual model uncertainty. We address these questions by conditioning multi-model simulations on measurements of hydraulic conductivity and observations of system-state variables and evaluating the e ffects on (i) the posterior multi-model statistics and (ii) the contribution of conceptual model uncertainty to the predictive uncertainty. Multi-model aggregation and conditioning is performed by combining the generalized likelihood uncertainty estimation (GLUE) method and Bayesian model averaging (BMA). As an illustrative example we employ a 3-dimensional hypothetical system under steady-state conditions, for which uncertainty about the conceptualization is expressed by an ensemble (M) of 7 models with varying complexity. Results show that conditioning on heads allowed for the exclusion of the two simplest models, but that their information content is limited to further diff erentiate among the retained conceptualizations. Conditioning on increasing numbers of conductivity measurements allowed for a further reffinement of the ensemble M and resulted in an increased precision and accuracy of the multi-model predictions. For some groundwater flow components not included as conditioning data, however, the gain in accuracy and precision was partially o ffset by strongly deviating predictions of a single conceptualization. Identifying the conceptualization producing the most deviating predictions may guide data collection campaigns aimed at acquiring data to further eliminate such conceptualizations. Including groundwater flow and river discharge observations further allowed for a better diff erentiation among alternative conceptualizations and drastic reductions of the predictive variances. Results strongly advocate the use of observations less commonly available than groundwater heads to reduce conceptual model uncertainty in groundwater modeling. [less ▲]

Detailed reference viewed: 126 (14 ULg)
Peer Reviewed
See detailOn the value of incorporating dominance effects in genetic evaluation of dairy cattle.
Druet, Tom ULg; Solkner, J.; Misztal, I. et al

in Proceedings of the 7th World Congress on Genetics Applied to LivestockProduction, Montpellier, France, August, 2002. Session 1 (2002)

Detailed reference viewed: 16 (2 ULg)
Peer Reviewed
See detailOn the Vedic Yajamâna-
Swennen, Philippe ULg

Conference (2014, January 07)

When he is consecrated, the Vedic Yajamâna symbolically becomes an embryo because he originally had the become a new Mârtânda in order to conquer the same divine status obtained by Vivasvant thanks to the ... [more ▼]

When he is consecrated, the Vedic Yajamâna symbolically becomes an embryo because he originally had the become a new Mârtânda in order to conquer the same divine status obtained by Vivasvant thanks to the realization of the first sacrifice. [less ▲]

Detailed reference viewed: 14 (1 ULg)
Full Text
See detailOn the Verification of Programs on Relaxed Memory Models
Linden, Alexander ULg

Doctoral thesis (2013)

Classical model-checking tools verify concurrent programs under the traditional "Sequential Consistency" (SC) memory model, in which all accesses to the shared memory are immediately visible globally, and ... [more ▼]

Classical model-checking tools verify concurrent programs under the traditional "Sequential Consistency" (SC) memory model, in which all accesses to the shared memory are immediately visible globally, and where model-checking consists in verifying a given property when exploring the state space of a program. However, modern multi-core processor architectures implement relaxed memory models, such as "Total Store Order" (TSO), "Partial Store Order" (PSO), or an extension with locks such as "x86-TSO", which allow stores to be delayed in various ways and thus introduce many more possible executions, and hence errors, than those present in SC. Of course, one can force a program executed in the context of a relaxed memory system to behave exactly as in SC by adding synchronization operations after every memory access. But this totally defeats the performance advantage that is precisely the motivation for implementing relaxed memory models instead of SC. Thus, when moving a program to an architecture implementing a relaxed memory model (which includes most current multi-core processors), it is essential to have tools to help the programmer check if correctness (e.g. a safety property) is preserved and, if not, to minimally introduce the necessary synchronization operations. The proposed verification approach uses an operational store-buffer-based semantics of the chosen relaxed memory models and proceeds by using finite automata for symbolically representing the possible contents of the buffers. Store, load, commit and other synchronization operations then correspond to operations on these finite automata. The advantage of this approach is that it operates on (potentially infinite) sets of buffer contents, rather than on individual buffer configurations, and that it is compatible with partial-order reduction techniques. This provides a way to tame the explosion of the number of possible buffer configurations, while preserving the full generality of the analysis. It is thus possible to even check designs that may contain cycles. This verification approach then serves as a basis to a memory fence insertion algorithm that finds how to preserve the correctness of a program when it is moved from SC to TSO or PSO. Its starting point is a program that is correct for the sequential consistency memory model (with respect to a given safety property), but that might be incorrect under TSO or PSO. This program is then analyzed for the chosen relaxed memory model and when errors are found (a violated safety property), memory fences are inserted in order to avoid these errors. The approach proceeds iteratively and heuristically, inserting memory fences until correctness is obtained, which is guaranteed to happen. [less ▲]

Detailed reference viewed: 76 (14 ULg)
See detailOn the way of understanding the adaptation to extreme pH of family 11 xylanases: Structural comparison and mutational analysis
De Lemos Esteves, Frédéric ULg; Ruelle, Virginie; Gouders, Thierry et al

Poster (2004, December)

Detailed reference viewed: 11 (2 ULg)
Peer Reviewed
See detailOn the way to a unified design approach for joints in structural systems
Jaspart, Jean-Pierre ULg

in Proceedings of the International Conference on Steel and Composite Structures (1999)

Detailed reference viewed: 6 (0 ULg)
Full Text
Peer Reviewed
See detailOn the way to hybrid organizations? When worlds collide through collective entrepreneurship
Dufays, Frédéric ULg; Huybrechts, Benjamin ULg

Conference (2013, September 02)

This communication presents a model of collective entrepreneurship process, drawing on institutional theory (institutional logics) and on the sociology of social networks (structural hole). It argues that ... [more ▼]

This communication presents a model of collective entrepreneurship process, drawing on institutional theory (institutional logics) and on the sociology of social networks (structural hole). It argues that entrepreneurship might result from the association of bridge-builders, both in terms of structural hole bridging and in terms of institutional logics bridging. Individual as well as structural factors will influence the entrepreneurial outcome, in particular in the way the new organisation deals with the distinct logics. [less ▲]

Detailed reference viewed: 38 (3 ULg)
Full Text
Peer Reviewed
See detailOn the way to the hybrid organization? When worlds collide through collective entrepreneurship
Dufays, Frédéric ULg; Huybrechts, Benjamin ULg

Conference (2013, July)

This communication presents a model of collective entrepreneurship process, drawing on institutional theory (institutional logics) and on the sociology of social networks (structural hole). It argues that ... [more ▼]

This communication presents a model of collective entrepreneurship process, drawing on institutional theory (institutional logics) and on the sociology of social networks (structural hole). It argues that entrepreneurship might result from the association of bridge-builders, both in terms of structural hole bridging and in terms of institutional logics bridging. Individual as well as structural factors will influence the entrepreneurial outcome, in particular in the way the new organisation deals with the distinct logics. [less ▲]

Detailed reference viewed: 50 (3 ULg)
Full Text
Peer Reviewed
See detailOn transvaginal endoscopy for elucidating pathogenesis and treatment of ovarian endometria
Nisolle, Michelle ULg

in Gynecological Surgery (2014), 11(1),

Detailed reference viewed: 13 (5 ULg)