Certainty Closure: Reliable Constraint Reasoning with Incomplete or Erroneous Data

Constraint Programming (CP) has proved an effective paradigm to model and solve difficult combinatorial satisfaction and optimisation problems from disparate domains. Many such problems arising from the commercial world are permeated by data uncertainty. Existing CP approaches that accommodate uncertainty are less suited to uncertainty arising due to incomplete and erroneous data, because they do not build reliable models and solutions guaranteed to address the user's genuine problem as she perceives it. Other fields such as reliable computation offer combinations of models and associated methods to handle these types of uncertain data, but lack an expressive framework characterising the resolution methodology independently of the model. We present a unifying framework that extends the CP formalism in both model and solutions, to tackle ill-defined combinatorial problems with incomplete or erroneous data. The certainty closure framework brings together modelling and solving methodologies from different fields into the CP paradigm to provide reliable and efficient approches for uncertain constraint problems. We demonstrate the applicability of the framework on a case study in network diagnosis. We define resolution forms that give generic templates, and their associated operational semantics, to derive practical solution methods for reliable solutions.Comment: Revised versio

Grasp It Loudly! Supporting Actions with Semantically Congruent Spoken Action Words

Evidence for cross-talk between motor and language brain structures has accumulated over the past several years. However, while a significant amount of research has focused on the interaction between language perception and action, little attention has been paid to the potential impact of language production on overt motor behaviour

Pushing the high count rate limits of scintillation detectors for challenging neutron-capture experiments

One of the critical aspects for the accurate determination of neutron capture cross sections when combining time-of-flight and total energy detector techniques is the characterization and control of systematic uncertainties associated to the measuring devices. In this work we explore the most conspicuous effects associated to harsh count rate conditions: dead-time and pile-up effects. Both effects, when not properly treated, can lead to large systematic uncertainties and bias in the determination of neutron cross sections. In the majority of neutron capture measurements carried out at the CERN n\_TOF facility, the detectors of choice are the C$_{6}$D$_{6}$ liquid-based either in form of large-volume cells or recently commissioned sTED detector array, consisting of much smaller-volume modules. To account for the aforementioned effects, we introduce a Monte Carlo model for these detectors mimicking harsh count rate conditions similar to those happening at the CERN n\_TOF 20~m fligth path vertical measuring station. The model parameters are extracted by comparison with the experimental data taken at the same facility during 2022 experimental campaign. We propose a novel methodology to consider both, dead-time and pile-up effects simultaneously for these fast detectors and check the applicability to experimental data from $^{197}$Au($n$,$\gamma$), including the saturated 4.9~eV resonance which is an important component of normalization for neutron cross section measurements

Advances and new ideas for neutron-capture astrophysics experiments at CERN n_TOF

This article presents a few selected developments and future ideas related to the measurement of (n,γ) data of astrophysical interest at CERN n_TOF. The MC-aided analysis methodology for the use of low-efficiency radiation detectors in time-of-flight neutron-capture measurements is discussed, with particular emphasis on the systematic accuracy. Several recent instrumental advances are also presented, such as the development of total-energy detectors with γ-ray imaging capability for background suppression, and the development of an array of small-volume organic scintillators aimed at exploiting the high instantaneous neutron-flux of EAR2. Finally, astrophysics prospects related to the intermediate i neutron-capture process of nucleosynthesis are discussed in the context of the new NEAR activation area

Advances and new ideas for neutron-capture astrophysics experiments at CERN n_TOF

This article presents a few selected developments and future ideas related to the measurement of (n,γ) data of astrophysical interest at CERN n_TOF. The MC-aided analysis methodology for the use of low-efficiency radiation detectors in time-of-flight neutron-capture measurements is discussed, with particular emphasis on the systematic accuracy. Several recent instrumental advances are also presented, such as the development of total-energy detectors with γ-ray imaging capability for background suppression, and the development of an array of small-volume organic scintillators aimed at exploiting the high instantaneous neutron-flux of EAR2. Finally, astrophysics prospects related to the intermediate i neutron-capture process of nucleosynthesis are discussed in the context of the new NEAR activation area

Apport de la fibre optique pour l’étude des ancrages passifs scellés au rocher en milieu fracturé

International audienceLa fracturation des massifs rocheux impacte le comportement des ancrages passifs scellés au rocher utilisés pour la gestion du risque rocheux. Nous présentons les résultats d’essais d’arrachement instrumentés par fibre optique réalisés sur trois sites présentant des niveaux de fracturation variables. Ces résultats couplés avec de l’endoscopie permettent de mieux comprendre les sollicitations en profondeur