Using the singular value decomposition to extract 2D correlation functions from scattering patterns

in Acta Crystallographica. Section A, Foundations and Advances (2019), A75

Using the Vertical Land Movement estimates from the IGS TIGA combined solution to derive Global Mean Sea Level changes

Scientific Conference (2019, December 13)

Global mean sea level (GMSL) is now widely recognized to have risen between 1 to 2 mm/yr depending on location since the 20th century. Prior to the satellite altimetry era, GMSL was primarily estimated ... [more ▼]

Global mean sea level (GMSL) is now widely recognized to have risen between 1 to 2 mm/yr depending on location since the 20th century. Prior to the satellite altimetry era, GMSL was primarily estimated from a set of secular tide gauge records relative to coastal benchmarks. Recent measurements of GPS (Global Positioning System) have been demonstrated as a useful tool of a direct estimate of Vertical Land Motion (VLM) induced by both long and short-term geophysical and human-induced processes in a geocentric reference frame. This presentation will provide the results of a combination performed using the CATREF software of three independent GPS daily solutions provided by British Isles continuous GNSS Facility – University of Luxembourg consortium (BLT), German Research Centre for Geosciences (GFZ) and University of La Rochelle (ULR) under the auspices of the Tide Gauge Benchmark Monitoring (TIGA) Working Group (WG), that results in a spatially comprehensive map of VLM near or close to tide gauge benchmarks. The combination was performed in accordance with the second re-processing campaign (repro2) of the IGS (International GNSS Service). Long coastal tide gauge records from the archives maintained at the Permanent Service for Mean Sea Level (PSMSL) were extracted for relative sea level estimates. To cross-compare the sea level rates over the years, we employed observations between 1900-2016. Then, the time series were cut and analyzed separately, ceteris paribus, for the period 1960-2016. This analysis was aimed at a cross-comparison of relative sea level trends and their changes over the years. The stochastic part of the tide gauge records was analyzed with Maximum Likelihood Estimation (MLE) and assumed several different combinations of noise models with the Bayesian Information Criterion (BIC) providing a means to identify the preferred one. The relative sea level estimates were corrected by the inverted barometric effect to the tide-gauge records using data from the 20th century Reanalysis project version V2C, the effect of wind stress on the surface of the ocean in both, zonal and meridional components, as well as Pacific Decadal Oscillation (PDO) and the North Pacific Gyre Oscillation (NPGO) influencing Pacific tide gauge records. The GPS-based velocities were corrected by Glacial Isostatic Adjustment (GIA) effect using ICE-6G(VM5a) model with associated geoid rate and post seismic decays using ITRF2014 estimates. Also, environmental loading models were employed to account for present-day elastic loading in VLM. The Mean Sea Level (MSL) trends from tide gauges and VLM-corrected MSL trends using GIA model (TG+GIA) and the TIGA combination (TG+TIGA) were determined. Our final reconstruction of GMSL based on the MSL records from 1900 to 2016 where the VLM uncertainty is smaller than 0.7 mm/yr indicate a long-term trend of 1.75 +/- 0.2 mm/yr and is in good agreement with several similar determinations. [less ▲]

Using VCL as an Aspect-Oriented Approach to Requirements Modelling

in Transactions on Aspect-Oriented Software Development (2010), 7

Software systems are becoming larger and more complex. By tackling the modularisation of crosscutting concerns, aspect-orientation draws attention to modularity as a means to address the problems of ... [more ▼]

Software systems are becoming larger and more complex. By tackling the modularisation of crosscutting concerns, aspect-orientation draws attention to modularity as a means to address the problems of scalability, complexity and evolution in software systems development. Aspect-oriented modelling (AOM) applies aspect-orientation to the construction of models. Most existing AOM approaches are designed without a formal semantics, and use multi-view partial descriptions of behaviour. This paper presents an AOM approach based on the Visual Contract Language (VCL): a visual language for abstract and precise modelling, designed with a formal semantics, and comprising a novel approach to visual behavioural modelling based on design by contract where behavioural descriptions are total. By applying VCL to a large case study of a car-crash crisis management system, the paper demonstrates how modularity of VCL's constructs, at different levels of granularity, help to tackle complexity. In particular, it shows how VCL's package construct and its associated composition mechanisms are key in supporting separation of concerns, coarse-grained problem decomposition and aspect-orientation. The case study's modelling solution has a clear and well-defined modular structure; the backbone of this structure is a collection of packages encapsulating local solutions to concerns. [less ▲]

Using word embeddings to explore the Aboriginality discourse in a corpus of Australian Aboriginal autobiographies

Scientific Conference (2020, September 29)

This submission presents intermediate results of the PhD project analysing discourses in a corpus of Australian Aboriginal autobiographies with word embedding modelling.

Using XML Transformations for Enterprise Architectures

in Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers (2006)

In this paper we report on the use of XML transformations in the context of Enterprise Architectures. We show that XML transformation techniques can be applied to visualize and analyze enterprise ... [more ▼]

In this paper we report on the use of XML transformations in the context of Enterprise Architectures. We show that XML transformation techniques can be applied to visualize and analyze enterprise architectures in a formal way. We propose transformational techniques to extract views from an XML document containing architectural information and indicate how to perform a specific form of impact analysis on this information. The transformations are formally expressed with the language RML, a compact yet powerful transformation language developed at CWI, which obtains its power from regular expressions defined on XML documents. We discuss a tool that has been built on top of it to visualize the results of the transformations and illustrate the advantages of our approach: the genericity of XML, the application of a single technique (namely XML transformations) for various tasks, and the benefits of having a model viewer which is in complete ignorance of the architectural language used. [less ▲]

El uso del lenguaje e interacción multilingüe entre adolescentes de origen inmigrante en Luxemburgo

Scientific Conference (2008)

L'utilisabilité : entre l'utilisateur et le simple label de qualité

in Battistelli, Aldagisa; Depolo, Marco; Fraccaroli, Franco (Eds.) La qualité de vie au travail dans les années 2000 (2005)

Depuis les années 80, le concept d’utilisabilité ne cesse de gagner en intérêt et en popularité. Cette notion se définit (norme ISO 9241-11) comme la capacité d’un produit à être utilisé par ses ... [more ▼]

Depuis les années 80, le concept d’utilisabilité ne cesse de gagner en intérêt et en popularité. Cette notion se définit (norme ISO 9241-11) comme la capacité d’un produit à être utilisé par ses utilisateurs, cette évaluation tenant compte du produit, du contexte d’utilisation et des objectifs. Face aux changements que subit le monde du travail, le recours à des systèmes d’information devient quasi systématique. Parallèlement, la gestion du savoir prend un statut stratégique. En dehors d’une relative facilité d’utilisation de tels systèmes d’information, l’utilisateur est amené à « fournir » son savoir pour l’intégrer dans le système informatique, ceci requérant un savoir supplémentaire spécifique à l’utilisation de tels systèmes et interfaces. Cependant, une autre tendance dans la littérature (J. Nielsen notamment) tend à présenter l’utilisabilité de tels systèmes comme un problème de l’interface informatisée principalement. Cette communication résume nos recherches poursuivant une approche qui tente de concilier l’utilisateur et son produit informatique. En dehors de la situation expérimentale, les critères d’utilisabilité habituels ne semblent cependant pas suffire pour rendre compte de l’utilisation réelle que l’utilisateur fait du produit. L’interaction homme(s)-machine(s) s’avère plus difficile à cerner et dépasse la problématique de la pure évaluation « matérielle ». Cette idée se rapproche de la notion d’usage que propose Le Coadic (1998) et nous a motivés à compléter le concept d’utilisabilité par un apport plus direct de l’utilisateur permettant de rendre compte d’éventuels freins à l’utilisation. Ainsi nous distinguerons l’évaluation de l’utilisabilité à partir des différentes activités de l’utilisateur plutôt que de nous centrer sur les fonctionnalités des systèmes d’information uniquement. Un questionnaire spécifique a été construit. Les items sont inspirés sémantiquement par les critères d’efficacité, d’efficience, de satisfaction et d’utilisation réelle. La méthodologie repose sur une structuration en fonction des activités du travailleur (réception, partage et recherche spécifique d’informations) ainsi que sur des volets spécifiques s’intéressant entre autres à la perception que les travailleurs ont de la gestion du savoir et à leur expertise face au système d’information. Ce questionnaire a été proposé dans une version en ligne aux utilisateurs professionnels des systèmes d’information. Notre échantillon se qualifie par un degré d’expertise en informatique assez élevé mais semble disposer d’un savoir faible sur la stratégie de gestion du savoir de leur entreprise. Quant à leur maîtrise de l’outil de gestion de l’information, ils jugent l’expérience professionnelle de loin la plus importante tandis que le savoir d’appoint des experts voire même leur formation de base seraient les sources de savoir les moins importantes. Leur perception de la raison d’être d’une gestion du savoir s’avère pragmatique ; ils citent la rentabilité et l’efficience de l’entreprise comme les raisons qui priment et placent le bien-être du travailleur au dernier rang. Les participants s’accordent d’ailleurs sur le fait que c’est l’entreprise qui profite d’abord d’une gestion du savoir, les employés et les clients en profitant moins. Les résultats indiquent une tendance générale vers le recours systématique aux systèmes informatiques récents au détriment des moyens plus conventionnels tels que le fax ou la consultation d’une bibliothèque propre à l’entreprise. Les résultats renforcent l’idée que l’utilisabilité ne peut pas s’approcher comme un simple label de qualité du produit, indépendant du contexte (l’implémentation des systèmes d’information dans les stratégies de gestion du savoir) et des activités réelles de l’utilisateur. [less ▲]

L’utilisation de l’environnement numérique MathemaTIC pour développer les compétences dans le domaine de la résolution de problèmes arithmétiques

Scientific Conference (2016, November 21)

Dans le cadre du « Digital Lëtzebuerg » et suite à l’appel Horizon 2020 par la commission européenne, le gouvernement du Luxembourg a lancé des initiatives pour l'implémentation du numérique dans ses ... [more ▼]

Dans le cadre du « Digital Lëtzebuerg » et suite à l’appel Horizon 2020 par la commission européenne, le gouvernement du Luxembourg a lancé des initiatives pour l'implémentation du numérique dans ses différents ministères. Dans ce contexte, l’éducation nationale a initié le développement d’un environnement numérique pour l'apprentissage des mathématiques à l’écolefondamentale pour les élèves de cycle 4,Université du c'est-à-dire âgés de 10 à 12 ans. Suite au constat de faibles performances en mathématiques aux épreuves standardisées de début de cycle 3 (élèves de 8 à 10 ans), la question d'élargir l'implémentation de cet environnement numérique à ce cycle s'avère opportune. En effet, les résultats à ces épreuves indiquent que d’une part un quart de ces élèves n’arrive pas à atteindre le niveau socle et que d’autre part les résultats ne se sont que peu améliorés entre 2011 et2013. En d'autres termes, il y aurait donc un quart de la population scolaire de cycle 3 qui n’ aurait pas les compétences nécessaires pour suivre les apprentissages prévues en mathématiques. Les élèves concernés sont majoritairement d'un milieu socio-économique faible et issus de la migration.Ainsi, une étude est envisagée pour voir dans quelle mesure l’usage de l’environnement MathemaTIC favoriserait le développement des compétences en mathématiques, notamment dans le domaine de la résolution de problèmes arithmétiques. Cette étude se réalisera entre 2016 et 2018 avec un échantillon de 20 classes (400 élèves). Les items seront construits en partant des niveaux testés dans les Ep.Stan 3.1 et en se basant sur le plan d’études du cycle 3. Pour ce faire, l'approche adoptée est celle dite " centrée utilisateur ", issue du domaine des Interactions Hommes-Machines (IHM). Les compétences au début et à la fin de l’utilisation-même de l'environnement MathemaTIC par les élèves de cycle 3 seront mesurées par les épreuves standardisées Ep. Stan, sous le couvert du Lucet. [less ▲]

L'utilisation de l'intégrale de Sugeno comme opérateur d'agrégation

Presentation (2000, March 16)

L'utilisation de la photographie dans la 'Wehrmachtsaustellung' - Rendez-vous manqué entre l'histoire et la photographie

in Cahiers d'Histoire du Temps Présent = Bijdragen tot de Eigentijdse Geschiedenis (2001), 8