• Publicationsclose
• Research softwareclose
• Other research productsclose
• 2013-2022close
• Conference object close
• AT close
• Hal-Diderot close
• Hyper Article en Ligne close

International audience; This paper reports on a qualitative case study about the use of dynamic worksheets addressing typical difficulties and misconceptions concerning functional thinking. The dynamic worksheets designed in this project visualize the transfer between iconic situational and graphical representations and were utilized during an intervention with students in a 7th grade Austrian middle school class. In addition to observational data, diagnostic tests and interviews regarding students’ conceptions in the field of functional thinking were conducted. The case study particularly pays attention to the intuitive conceptions of students, the influence of the dynamic worksheets on these conceptions, and whether or not these materials are able to support students in developing appropriate mathematical conceptions. In this paper, an overview of the study and the part of the results related to students’ use of dynamic worksheets are presented.

International audience; We present explicit worst case degree and height bounds for the rational univariate representation of the isolated roots of polynomial systems based on mixed volume. We base our estimations on height bounds of resultants and we consider the case of 0-dimensional, positive dimensional, and parametric polynomial systems.

The emergence of electronic health records has highlighted the need for semantic standards for representation of observations in laboratory medicine. Two such standards are LOINC, with a focus on detailed encoding of lab tests, and SNOMED CT, which is more general, including the representation of qualitative and ordinal test results. In this paper we will discuss how lab observation entries can be represented using SNOMED CT. We use resources provided by the Regenstrief Institute and SNOMED International collaboration, which formalize LOINC terms as SNOMED CT post-coordinated expressions. We demonstrate the benefits brought by SNOMED CT to classify lab tests. We then propose a SNOMED CT based model for lab observation entries aligned with the BioTopLite2 (BTL2) upper level ontology. We provide examples showing how a model designed with no ontological foundation can produce misleading interpretations of inferred observation results. Our solution based on a BTL2 conformant formal interpretation of SNOMED CT concepts allows representing lab test without creating unintended models. We argue in favour of an ontologically explicit bridge between compositional clinical terminologies, in order to safely use their formal representations in intelligent systems.

International audience; This one-day workshop aims to contribute to the goals of the IFIP 13.6 Human Work Interaction Design (HWID) working group, i.e., to establish relationships between empirical work-domain studies and recent developments in interaction design. This goal translates to the workshop by focusing on work environments that are challenging for research and design; from physically or spatially unusual workplaces (e.g., oil platforms), mentally demanding or specifically boring work (e.g., control rooms, academics) to challenging social situations at work (e.g., in hospitals). The workshop aims to discuss resulting constraints for research and design, e.g., restricted access for research, or difficulties in articulating the specifics of the workplaces to a wider audience that is not familiar with them. Some work environments may even impede forms of design research, e.g., critical or provocative design will be hard to carry out in safety- or efficiency-critical workplaces. Thus, ways to generate knowledge addressing the design of interactive artifacts for challenging workplaces will be discussed.

International audience; We analyse the flux density variation associated to low frequency (LF) broadcasting transmitters observed by the ICE electric field experiment onboard DEMETER micro-satellite, observed from 01st Jan. to 09th Dec. 2010. We select five stations localised around the Mediterranean and the Black seas: Tipaza (252 kHz, 02°28’E, 36°33’N, Algeria), Roumoules (216 kHz, 06°08’E, 43°47’N, Monte Carlo), Polatli (180 kHz, 32°25’E, 39°45’N, Turkey), Nadour (171 kHz, 02°55’W, 35°02’N, Morocco) and Brasov (153 kHz, 25°36’E,45°40’, Romania). The detection of the LF transmitter signals by DEMETER micro-satellite is found to depend on the radiated power, the emitted frequency, and the orbit paths with regard to the location of the stations. This leads us to characterise the reception condition of the LF signals and to define time intervals where the detection probability is high. We show that LF signal are regularly recorded, each 12 days, when the satellite is above the broadcasting station. The signal intensity levels are principally significant during the solar activity. Hence we find that the solar and the geomagnetic activities are slightly correlated to the maxima of LF signal as recorded by DEMETER. Also we note a drop of the intensity level several days before the occurrence of earthquakes in/around the Mediterranean and Black seas.

The beta decay of the free neutron provides several probes to test the Standard Model of particle physics as well as to search for extensions thereof. Hence, multiple experiments investigating the decay have already been performed, are under way or are being prepared. These measure the mean lifetime, angular correlation coefficients or various spectra of the charged decay products (proton and electron). NoMoS, the Neutron decay prOducts MOmentum Spectrometer, presents a novel method of momentum spectroscopy: it utilizes the $R \times B$ drift effect to disperse charged particles dependent on their momentum in an uniformly curved magnetic field. This spectrometer is designed to precisely measure momentum spectra and angular correlation coefficients in free neutron beta decay to test the Standard Model and to search for new physics beyond. With NoMoS, we aim to measure inter alia the electron-antineutrino correlation coefficient $a$ and the Fierz interference term $b$ with an ultimate precision of $\Delta a/a < 0.3\%$ and $\Delta b < 10^{-3}$ respectively. In this paper, we present the measurement principles, discuss measurement uncertainties and systematics, and give a status update. Comment: 7 pages, 4 figures, accepted to the Proceedings of the International Workshop on Particle Physics at Neutron Sources PPNS 2018, Grenoble, France, May 24-26, 2018

International audience; This paper describes a generalization of the LowerUnits algorithm for the compression of propositional resolution proofs. The generalized algorithm, here called LowerUnivalents, is able to lower not only units but also subproofs of non-unit clauses, provided that they satisfy some additional conditions. This new algorithm is particularly suited to be combined with the RecyclePivotsWithIntersection algorithm. A formal proof that LowerUnivalents always compresses more than LowerUnits is shown, and both algorithms are empirically compared on thousands of proofs produced by the SMT-Solver veriT.

In order to provide a high resilience and to react quickly to link failures, modern computer networks support fully decentralized flow rerouting, also known as local fast failover. In a nutshell, the task of a local fast failover algorithm is to pre-define fast failover rules for each node using locally available information only. Ideally, such a local fast failover algorithm provides a perfect resilience deterministically: a packet emitted from any source can reach any target, as long as the underlying network remains connected. Feigenbaum et al. showed [Feigenbaum and others, 2012] that it is not always possible to provide perfect resilience; on the positive side, the authors also presented an efficient algorithm which achieves at least 1-resilience, tolerating a single failure in any network. Interestingly, not much more is known currently about the feasibility of perfect resilience. This brief announcement revisits perfect resilience with local fast failover, both in a model where the source can and cannot be used for forwarding decisions. By establishing a connection between graph minors and resilience, we prove that it is impossible to achieve perfect resilience on any non-planar graph; On the positive side, we can derive perfect resilience for outerplanar and some planar graphs. LIPIcs, Vol. 179, 34th International Symposium on Distributed Computing (DISC 2020), pages 46:1-46:3

Abstract AE g ¯ IS (Antimatter Experiment: Gravity, Interferometry, Spectroscopy) is a CERN based experiment aiming to probe the Weak Equivalence Principle of General Relativity with antimatter by studying free fall of antihydrogen in the Earth’s gravitational field. A pulsed cold beam of antihydrogen produced by charge exchange between Rydberg positronium and cold antiprotons will be horizontally accelerated by an electric field gradient. The free fall of antihydrogen will then be measured by a classical moire deflectometer. An overview of the experimental setup, present status of the experiment along with current achievements and results is presented.