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: 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: 31 (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: 129 (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: 81 (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: 41 (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: 51 (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: 16 (5 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: 88 (3 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 (in press)

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: 55 (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: 29 (8 ULg)
Full Text
Peer Reviewed
See detailOn ways of being on the way: from complex preposition to aspect marker
Petré, Peter ULg; Davidse, Kristin

in International Journal of Corpus Linguistics (2012), 17(2),

This article presents a case study of a set of constructions involving the related way-nouns way, road, track and route, exemplified by (i) on the road to Morocco, (ii) (be) on way to an outstanding ... [more ▼]

This article presents a case study of a set of constructions involving the related way-nouns way, road, track and route, exemplified by (i) on the road to Morocco, (ii) (be) on way to an outstanding English summer with county side Surrey, (iii) (be) on the way to becoming Britain’s No 1 sprinter / on her way to see her boyfriend. These distinct constructions are the synchronically co-existing layers of processes of semantic generalization and grammaticalization, the most important stages of which can be parsed as follows: (i) preposition + complement (way-noun head + of + noun2/postmodifier); (ii) aspectual marker incorporating complex preposition with way-noun + nominal complement; (iii) aspectual marker incorporating complex preposition with way-noun + verbal complement. We will show that the decategorialization approach that has typically been applied to emergent complex prepositions, which are viewed as progressively losing their nominal features such as determiners, makes wrong predictions about degrees of grammaticalization in this case. For this reason, and also to arrive at a more elucidating analysis of the reanalysed layers, we will investigate in what ways their lexicogrammatical features express their constituent functions. We also argue that the emergent layer of aspectual marker + verbal predicate adds complex and fine-grained meanings to the paradigm of English aspectual markers (cf. Diewald 2010), thus enriching the aspectual system. Finally, we show on the basis of the qualitative and quantitative findings of our usage-based study that the variants of the ‘on the way’ expressions display an interesting case of specialization in relation to the four way-nouns. [less ▲]

Detailed reference viewed: 34 (5 ULg)