Nilpotent polynomials approach to four-qubit entanglement

We apply the general formalism of nilpotent polynomials [Mandilara et al, Phys. Rev. A 74, 022331 (2006)] to the problem of pure-state multipartite entanglement classification in four qubits. In addition to establishing contact with existing results, we explicitly show how the nilpotent formalism naturally suggests constructions of entanglement measures invariant under the required unitary or invertible class of local operations. A candidate measure of fourpartite entanglement is also suggested, and its behavior numerically tested on random pure states.Comment: 11 pages, 1 figure. Finalised versio

Multi-line spectro-polarimetry on active region NOAA 9125

We present here some preliminary results of observations performed with the spectro-polarimetric mode of the THEMIS telescope onactiv e regionNO AA 9125 on August 2000. We show the presence of high-velocity downflows located at the edge of a filament and stress on the non-stationary character of these flows. Flaring activities were also observed: we just present here some spectro-polarimetric profiles of these regions, more accurate magnetic-field configuration determination being performed latter on

Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models

Matlab/Simulink is a development and simulation language that is widely used by the Cyber-Physical System (CPS) industry to model dynamical systems. There are two mainstream approaches to verify CPS Simulink models: model testing that attempts to identify failures in models by executing them for a number of sampled test inputs, and model checking that attempts to exhaustively check the correctness of models against some given formal properties. In this paper, we present an industrial Simulink model benchmark, provide a categorization of different model types in the benchmark, describe the recurring logical patterns in the model requirements, and discuss the results of applying model checking and model testing approaches to identify requirements violations in the benchmarked models. Based on the results, we discuss the strengths and weaknesses of model testing and model checking. Our results further suggest that model checking and model testing are complementary and by combining them, we can significantly enhance the capabilities of each of these approaches individually. We conclude by providing guidelines as to how the two approaches can be best applied together.Comment: 10 pages + 2 page reference

The cross-modal effects of packaging glossiness on haptic perception

International audienc

Inhibition of type III radio emissions due to the interaction between two electron beams: Observations and simulations

International audienceWe report the peculiar interaction of two type III bursts observed in the solar wind. As electronbeams propagating on the same magnetic field lines cross, a spectacular depletion of the type III radioemission is observed. We combine observations from the WAVES experiment on board the STEREO missiontogether with kinetic plasma simulations to study the extinction of type III radio emission resulting fromthe interaction between two electron beams. The remote observations enable to follow the electron beamsin the interplanetary medium and show that the level of radiated radio waves is recovered after the beamcrossing. The in situ observations of beam-driven Langmuir waves give evidence for Langmuir decay. Thedensity fluctuations are extracted from in situ observations. The velocity of the beams is independentlyevaluated from in situ observations of decaying Langmuir waves and remote radio observations. The kineticsimulations show that the level of beam-driven Langmuir waves is reduced as the two beams cross. Weshow that the slow beam induced a strong reduction of the quasilinear relaxation of the fast beam, limitingthe amplitude of the generated Langmuir waves. Moreover, in the case of two electron beams, the lack ofLangmuir wave coherence reduces the efficiency of the Langmuir parametric decay. We thus conclude thatthe observed depletion of the type III radio emission is independent of the radio emission mechanism, aslong as it depends on the Langmuir amplitude and coherence

THEMIS as particle detector: Spectropolarimetry of solar flares

The progressive phases of three solar flares have beenobserv ed with THEMIS in July 2000, using the multiline spectropolarimetric MTR mode. A preliminary analysis of the characteristics of the polarization of the Hα and Hβ lines observed at the beginning of the progressive phase of one of these flares is presented

ESTIMATING THE STOCK OF GLASS EELS IN AN ESTUARY BY MARK-RECAPTURE EXPERIMENTS USING VITAL DYES

Glass eels (Anguilla anguilla) arriving after the fishing season in the Vilaine estuary (France) were caught by boat and at a trapping ladder located at a blocking dam upstream in the estuary. They were marked with Bismarck brown, rhodamine B or neutral red, and released into the estuary. The effect of marking on behaviour, mortality and recapture differed according to the dye and concentration used. The glass eels also differed in response to marking according to their origin. Estuarine glass eels were clearly desynchronized in their selective tidal stream transport and left the release area after a few tidal cycles. Trapped glass eels were less sensitive to marking. They remained in the release area and were recaptured in larger number both in the trapping ladder and in the estuary. These results supported a model of two behavioral fractions in the estuary: flow-carried migrants and active glass eels with stronger rheotactic behaviour. The proportion of active glass eels in the estuary shifted from none for the two weeks after the fishery closure, to 10% value of the total stock. At the trapping ladder, the migration ended in June each year, while a large stock was still present in the estuary. These observations favour the interpretation of a short duration of the active phase at this site followed by the transition towards a more benthic behavior. The daily efficiency of the trapping ladder was calculated as 4% of the active stock from both stock estimations and average recapture rate. This value was consistent with the low annual efficiency of the trapping ladder, calculated as 30% of the estuarine stock of glass eels that arrived after the fishing season

Measuring and assessing maintainability at the end of high level design

Software architecture appears to be one of the main factors affecting software maintainability. Therefore, in order to be able to predict and assess maintainability early in the development process we need to be able to measure the high-level design characteristics that affect the change process. To this end, we propose a measurement approach, which is based on precise assumptions derived from the change process, which is based on Object-Oriented Design principles and is partially language independent. We define metrics for cohesion, coupling, and visibility in order to capture the difficulty of isolating, understanding, designing and validating changes