• Publicationsclose
• Other research productsclose
• Conference object close
• AT close
• Hal-Diderot close
• Mémoires en Sciences de l'Information et de la Communication close

Abstract We resolve the long-standing mysterious discrepancy between the experimental magic angle in EELS— ∼ 2 ϑ E —and the quantum mechanical prediction of ∼ 4 ϑ E . A relativistic approach surpassing the usually applied kinematic correction yields a magic angle close to the experimental value. The reason is that the relativistic correction of the inelastic scattering cross section in anisotropic systems is significantly higher than in isotropic ones.

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.

The martensitic hcp→dhcp transformation was studied in single crystals of Co-0.85 at.%Fe by transmission electron microscopy (TEM) methods. During in-situ heating dhcp lamellae emerge into the hcp areas of the TEM specimens. The minimum thickness of the lamellae is about 15 close packed planes. Frequently lamellae are observed that grow in thickness by the movement of superledges that are up to about 100 close packed planes in height. The partials at the fronts of the transformation were analysed on an atomic level in TEM images with atomic resolution. The analysis shows that the transformation fronts consists of a sequence of very narrow dipoles compensating their long range strain fields. Since dipoles of a common Burgers vector are observed it is proposed that their short range interactions might promote their correlated nucleation.

International audience; Electric or hybrid vehicles are very silent, which represents a major advantage for the reduction of noise annoyance in urban areas. But this makes them dangerous for pedestrians, especially vulnerable ones as visually-impaired people. Current solutions consist in using warning sound so that the exterior noise of an electric vehicle is as high as for a conventional one. This may cancel the benefit of electric vehicles for the reduction of sound annoyance. The eVADER project (funded by the European Commission) aims at proposing a prototype car which combines a high safety and a low noise level. A part of the the work program consisted in perceptual studies. The goal of these studies was to evaluate the influence of various timbre parameters on the detectability and the unpleasantness of a warning sound. Results show that it is possible to make an electric vehicle easily detected while keeping its sound level much lower than the one of a conventional car.

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; We consider the 3-stage two-dimensional bin packing problem , which occurs in real-world problems such as glass cutting. For it, we present a new integer linear programming formulation and a branch and price algorithm. Column generation is performed by applying either a greedy heuristic or an Evolutionary Algorithm (EA). Computational experiments show the benefits of the EA-based approach. The higher computational effort of the EA pays off in terms of better final solutions; furthermore more instances can be solved to provable optimality.

Part 1: Long and Short Papers; International audience; Graphical user interfaces (UIs) for PCs will most likely not fit relatively small screens of devices like today’s Smartphones. Providing dedicated UIs for several devices manually, however, is costly and takes time. Therefore, we have developed an approach to (semi-)automatic generation of UIs for various devices. A designer defines classes of dialogues in a device-independent discourse model. Such a discourse model can be also viewed as specifying classes of scenarios, i.e., use cases. It refers to a domain model that specifies the domain-of-discourse of the dialogues between user and application. From such models, we can generate UIs (semi-)automatically. Recently, we included in this generation process automatic optimization based on heuristic search. In effect, this tutorial shows that and how user interfaces can be automatically optimized for your Smartphone.

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.