Three large scale field tests on dikes have been carried out at the IJkdijk test site in the Netherlands. Two tests involved piping, micro-instability of the sand core and erosion from overtopping. Both dikes failed on micro-instability. The third test involved slope stability with a deep sliding plane. All tests were done to validate monitoring systems and dike safety information systems. Seve...

Storage of CO2 in deep geological formations has been identified as the most likely near-future option to significantly reduce industrial greenhouse gas emissions in Alberta. In order to assess the risks associated with potential leakage of the injected CO2 the factors influencing the potential loss of containment need to be evaluated. Currently, there is a lack of publicly available, high qual...

This paper first improves Chen and Hsieh’s definition of generalized fuzzy numbers, which makes it the generalization of definition of fuzzy numbers. Secondly, in terms of the generalized fuzzy numbers set, we introduce two different kinds of orders and arithmetic operations and metrics based on the λ-cutting sets or generalized λ-cutting sets, so that the generalized fuzzy numbers are integrat...

Recent evidence suggests that yeast genes encoding proteins that are present in the same protein complex tend to be linked and to be co-expressed. More generally, we found that genes that are close to each other in the protein interaction network tend to be linked more often than expected and are often co-expressed. Unexpectedly, we found that linked genes in network proximity have unusually hi...

We propose a new condition to test for the impossibility of jamming in three-dimensional, quasistatic multi-rigid-body systems. Our condition can be written as a feasibility problem for a system of linear inequalities and therefore can be checked using linear programming techniques. To demonstrate the use of our jamming test, we apply it to a simple dexterous manipulation task and to the well-k...

Schmidt-SchaulL M. and G. Smolka, Attributive concept descriptions with complements, Artificial Intelligence 48 (1991) 1-26. We investigate the consequences of adding unions and complements to attributive concept descriptions employed in terminological knowledge representation languages. It is shown that deciding coherence and subsumption of such descriptions are PSPACE-complete problems that c...

Résumé – Étant donné un nombre réel ξ et un entier n ≥ 1, nous définissons quatre exposants d’approximation diophantienne, qui viennent s’ajouter aux exposants wn(ξ) et w∗ n(ξ) introduits par Mahler et Koksma. Nous calculons leurs six valeurs lorsque n = 2 et ξ est un nombre réel dont le développement en fraction continue cöıncide à partir d’un certain rang avec une suite sturmienne d’entiers p...