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 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: 37 (2 ULg)
Full Text
Peer Reviewed
See detailOn the use of the transmission disequilibrium test to detect pseudo-autosomal variants affecting traits with sex-limited expression
Elansary, Mahmoud ULg; Stinckens, Anneleen; Ahariz, Naïma ULg et al

in Animal Genetics (2015)

We herein describe the realization of a genome-wide association study for scrotal hernia and cryptorchidism in Norwegian and Belgian commercial pig populations. We have used the transmission ... [more ▼]

We herein describe the realization of a genome-wide association study for scrotal hernia and cryptorchidism in Norwegian and Belgian commercial pig populations. We have used the transmission disequilibrium test to avoid spurious associations due to population stratification. By doing so, we obtained genome-wide significant signals for both diseases with SNPs located in the pseudo-autosomal region in the vicinity of the pseudo-autosomal boundary. By further analyzing these signals, we demonstrate that the observed transmission disequilibria are artifactual. We determine that transmission bias at pseudo-autosomal markers will occur (i) when analyzing traits with sex-limited expression and (ii) when the allelic frequencies at the marker locus differ between X and Y chromosomes. We show that the bias is due to the fact that (i) sires will preferentially transmit the allele enriched on the Y (respectively X) chromosome to affected sons (respectively daughters) and (ii) dams will appear to preferentially transmit the allele enriched on the Y (respectively X) to affected sons (respectively daughters), as offspring inheriting the other allele are more likely to be non-informative. We define the conditions to mitigate these issues, namely by (i) extracting information from maternal meiosis only and (ii) ignoring trios for which sire and dam have the same heterozygous genotype. We show that by applying these rules to scrotal hernia and cryptorchidism, the pseudo-autosomal signals disappear, confirming their spurious nature. [less ▲]

Detailed reference viewed: 20 (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: 32 (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: 140 (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)
Full Text
Peer Reviewed
See detailOn the Vedic Yajamâna-
Swennen, Philippe ULg

in Acts of the 6th Vedic Workshop (in press)

Detailed reference viewed: 20 (0 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: 17 (3 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: 109 (19 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)
Full Text
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: 7 (1 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: 54 (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: 59 (4 ULg)
Full Text
Peer Reviewed
See detailOn transvaginal endoscopy for elucidating pathogenesis and treatment of ovarian endometrioma
Nisolle, Michelle ULg

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

Detailed reference viewed: 17 (6 ULg)
Full Text
Peer Reviewed
See detailOn uncertainty measures used for decision tree induction
Wehenkel, Louis ULg

in Bouchon-Meunier, Bernadette (Ed.) Information Processing and Management of Uncertainty in Knowledge-Based Systems (1996)

This paper provides a further look at uncertainty or information criteria used in the context of deci- sion tree induction, and more generally of learn- ing conditional class probability models. We show ... [more ▼]

This paper provides a further look at uncertainty or information criteria used in the context of deci- sion tree induction, and more generally of learn- ing conditional class probability models. We show the high degree of similarity among two main families of criteria based respectively on the logarithmic SHANNON entropy function and the quadratic GINI index. We start by introduc- ing a general family of entropy functions and then discuss the latter particular cases, and end up with a short review of the Kolmogorov-Smirnov dis- tance,anotherrelatedmeasure. [less ▲]

Detailed reference viewed: 102 (5 ULg)
Full Text
Peer Reviewed
See detailOn variation in gender agreement: the neutralization of pronominal gender in Dutch
De Vos, Lien ULg

in Giacalone Ramat, Anna; Mauri, Caterina; Molinelli, Piera (Eds.) Synchrony and diachrony: a dynamic interface (2013)

Studies on developments in pronominal gender agreement often focus on the semantic guidelines that are used to replace grammatical agreement with. However, pragmatic factors contribute to the competition ... [more ▼]

Studies on developments in pronominal gender agreement often focus on the semantic guidelines that are used to replace grammatical agreement with. However, pragmatic factors contribute to the competition between syntactic and semantic agreement as well. This paper analyzes two prominence factors contributing to the overall discourse salience of the antecedent noun and their impact on grammatical agreement in personal pronouns. First, the results will reveal that the antecedent’s referential status i.e. the assumed cognitive status the antecedent has in the mind of the addressee (cf. the Givenness Hierarchy) exerts influence on the use of gender-marked pronouns. Secondly, this study will indicate that antecedents in subject position trigger more syntactic agreement than antecedents with other grammatical functions. [less ▲]

Detailed reference viewed: 69 (6 ULg)
Full Text
Peer Reviewed
See detailOn Vershikian and I-cosy random variables and filtrations
Laurent, Stéphane ULg

in Teoriya Veroyatnostei i ee Primeneniya (2010), 55

We prove that the equivalence between Vershik’s standardness criterion and the I-cosiness criterion for a filtration in discrete, negative time, holds separately for each random variable. This gives a ... [more ▼]

We prove that the equivalence between Vershik’s standardness criterion and the I-cosiness criterion for a filtration in discrete, negative time, holds separately for each random variable. This gives a strengthening and a more direct proof of the global equivalence between these two criteria. We also provide more elementary original propositions on Vershik’s standardness criterion, while emphasizing that similar statements for I-cosiness are sometimes not so obvious. [less ▲]

Detailed reference viewed: 33 (8 ULg)