pinecone/core-2020-05-10-deduplication huggingface dataset:
Application of branching cells to QoS aware service orchestrations

International audienceBy allowing service calls to be guarded by contexts, Asymmetric Event Structures (AES for short) and contextual nets are a convenient framework to model composite Web services or service orchestrations. We equip AES with QoS domains as a framework to capture a number of QoS metrics and their combination. We use the resulting model to formalize QoS-based late service binding in composite services. When subject to QoS-based late service binding, composite services may be non-monotonic with respect to QoS, meaning that strictly improving the QoS of a service may strictly decrease the end-to-end QoS of the composite service, an embarrassing feature for QoS-aware management; we study this issue. Branching cells of AES play a central role in this study
Modulation of the Physicochemical Properties of Donor–Spiro–Acceptor Derivatives through Donor Unit Planarisation: Phenylacridine versus Indoloacridine. New Hosts for Green and Blue Phosphorescent Organic Light-Emitting Diodes (PhOLEDs)

International audienceThis work reports a detailed structure–property relationship study of a series of efficient host materials based on the donor–spiro–acceptor (D-spiro-A) design for green and sky-blue phosphorescent organic light-emitting diodes (PhOLEDs). The electronic and physical effects of the indoloacridine (IA) fragment connected through a spiro bridge to different acceptor units, namely, fluorene, dioxothioxanthene or diazafluorene moiety, have been investigated in depth. The resulting host materials have been easily synthesised through short, efficient, low-cost, and highly adaptable synthetic routes by using common intermediates. The dyes possess a very high triplet energy (ET) and tuneable HOMO/LUMO levels, depending on the strength of the donor/acceptor combination. The peculiar electrochemical and optical properties of the IA moiety have been investigated though a fine comparison with their phenylacridine counterparts to study the influence of planarisation. Finally, these molecules have been incorporated as hosts in green and sky-blue PhOLEDs. For the derivative SIA-TXO2 as a host, external quantum efficiencies as high as 23 and 14 % have been obtained for green and sky-blue PhOLEDs, respectively
Embedded Multi-Core Systems Dedicated to Dynamic Dataflow Programs

International audienceMultimedia applications and embedded plat-forms are both becoming very complex in order to im-prove user experience. Thus, multimedia developers need high-level methods to automate time-consuming and error-prone tasks. Dynamic dataflow modeling is at-tractive to describe complex applications, such as video codecs, at a high level of abstraction. This paper presents a dataflow-based design approach to implement video codecs on embedded multi-core platforms. First, we in-troduce a custom architecture model to design low-power multi-core chips based on distributed memory and Transport-Triggered Architecture processor cores. Then, we describe software synthesis techniques to im-prove dynamic dataflow implementations. This method-ology has been implemented into open-source tools and demonstrated on video decoders based on the MPEG-4 Visual standard and the new High Efficiency Video Coding standard. The simulations achieve real-time de-coding (40FPS) of high definition (720P) MPEG-4 Vi-sual video sequences on a custom multi-core platform clocked at 1Ghz, which is an improvement of more than 100% over previously proposed implementations
Major role of shear heating in intracontinental inverted metamorphism: Inference from a thermo-kinematic parametric study

International audienceInverted metamorphism corresponds to the stacking of high-temperature metamorphic units structurally on top of lower-temperature units and is commonly observed along main thrusts in major orogens. Yet, in spite of many existing models, the origin and preservation of the metamorphic inversion in intracontinental collision belts are still debated. In this study, we use a crustal-scale 2D thermo-kinematic model in order to investigate the key parameters controlling the inversion of the geothermal gradient at crustal scale. Our results confirm that the kinematic framework strongly impacts the thermal evolution around the thrust. Erosion velocity and thermal conductivity of rocks are two parameters that control the spatial location of the thermal perturbation and the intensity of inversion, respectively. However, even in extreme kinematic configurations, i.e., convergence velocities > 3 cm ∙ yr− 1 and relatively high thrust dip angles ~ 30°, the thermal inversion is fleeting and thrust temperatures cannot reach the high temperature peak values characteristic of natural occurrences (> 600 °C) if shear heating is not taken into account. Conversion of mechanical energy into heat represents a main contribution to the thermal budget along main crustal shear zones. It leads to high temperature conditions in the thrust zone and our results attest that it is the only process that allows the preservation through time of an intense thermal inversion. Our quantification shows that shear heating is much more efficient than other processes such as accretion and surface denudation and is compatible with the observations of inverted metamorphism in the Himalayan or Variscan belts, for example. This comparison with natural occurrences suggests that the formation and preservation of intracontinental inverted metamorphism require shear zone viscosity values of the order of 1020-1021 Pa ∙ s for convergence velocities between 1 and 3 cm ∙ yr− 1
Automatic Hierarchical Discovery of Quasi-Static Schedules of RVC-CAL Dataflow Programs

International audienceRVC-CAL is an actor-based dataflow language that enables concurrent, modular and portable description of signal processing algorithms. RVC-CAL programs can be compiled to implementation languages such as C/C++ and VHDL for producing software or hardware implementations. This paper presents a methodology for automatic discovery of piecewise-deterministic (quasi-static) execution schedules for RVC-CAL program software implementations. Quasi-static scheduling moves computational burden from the implementable run-time system to design-time compilation and thus enables making signal processing systems more efficient. The presented methodology divides the RVC-CAL program into segments and hierarchically detects quasi-static behavior from each segment: first at the level of actors and later at the level of the whole segment. Finally, a code generator creates a quasi-statically scheduled version of the program. The impact of segment based quasi-static scheduling is demonstrated by applying the methodology to several RVC-CAL programs that execute up to 58 % faster after applying the presented methodology
Bike sharing system: solving the static rebalancing problem

International audienceThis paper deals with a new problem that is a generalization of the many to many pickup and delivery problem and which is motivated by operating self-service bike sharing systems. There is only one commodity, initially distributed among the vertices of a graph, and a capacitated single vehicle aims to redistribute the commodity in order to reach a target distribution. Each vertex can be visited several times and also can be used as a buffer in which the commodity is stored for a later visit. This problem is NP-hard, since it contains several NP-hard problems as special case (the TSP being maybe the most obvious one). Even finding a tractable exact formulation remains problematic. This paper presents efficient algorithms for solving instances of reasonable size, and contains several theoretical results related to these algorithms. A branch-and-cut algorithm is proposed for solving a relaxation of the problem. An upper bound of the optimal solution of the problem is obtained by a tabu search, which is based on some theoretical properties of the solution, once fixed the sequence of the visited vertices. The possibility of using the information provided by the relaxation receives a special attention, both from a theoretical and practical point of view. It is proved that to build a feasible solution of the problem by using the one obtained by the relaxation is an NP-hard problem. Nevertheless, a tabu search initialized with the optimal solution of the relaxation often shows that it is the optimal one. The algorithms have been tested on a set of instances coming from the literature, proving their effectiveness
Cyclic volume changes in rubber

International audienceThe present paper deals with the volume variation in filled crystallizable natural (F-NR) and uncrystallizable styrene-butadiene (F-SBR) rubbers subjected to cyclic loadings. During their deformation, such materials exhibit volume variation induced by the cavitation phenomenon and the decohesion between particles and the rubber matrix. In this study, we propose to measure this volume variation over the first mechanical cycles by an original full-field measurement technique. First, results show that in both filled compounds no residual volume change is observed. Moreover, after the first cycle, the response of both compounds is stabilized in terms of volume variation. However, a hysteresis loop is observed only for the first cycle in F-SBR whereas it is observed for each cycle in F-NR. Finally, the measurement method allow us to highlight the influence of stress-induced crystallization on the volume variation
A Global Constraint for a Tractable Class of Temporal Optimization Problems

International audienceThis paper is originally motivated by an application where the objective is to generate a video summary, built using intervals extracted from a video source. In this application, the constraints used to select the relevant pieces of intervals are based on Allen's algebra. The best state-of-the-art results are obtained with a small set of ad hoc solution techniques, each specific to one combination of the 13 Allen's relations. Such techniques require some expertise in Constraint Programming. This is a critical issue for video specialists. In this paper, we design a generic constraint, dedicated to a class of temporal problems that covers this case study, among others. ExistAllen takes as arguments a vector of tasks, a set of disjoint intervals and any of the 2 13 combinations of Allen's relations. ExistAllen holds if and only if the tasks are ordered according to their indexes and for any task at least one relation is satisfied , between the task and at least one interval. We design a propagator that achieves bound-consistency in O(n + m), where n is the number of tasks and m the number of intervals. This propagator is suited to any combination of Allen's relations, without any specific tuning. Therefore, using our framework does not require a strong expertise in Constraint Programming. The experiments, performed on real data, confirm the relevance of our approach
The paradoxical effect of controlling context on intrinsic motivation in another activity

International audienceControlling instructions typically undermine intrinsic motivation. However, in line with an autonomy restoration process, we hypothesized that prior exposure to a controlling context could increase intrinsic motivation displayed in a subsequent task if this second task is devoid of autonomy threats. A correlational study in educational context provided support for this effect by showing that students reported more interest in their music class when it was preceded by a class that was controlling. This effect was replicated in an experiment wherein participants who learned to play a game in a controlling context reported more interest in a second game than those who learned the first game in a neutral context. However, this effect disappears when the two tasks were done in a similar environment. Overall, this suggests that autonomy deprived students would display more intrinsic motivation in a subsequent task if this task gives a glimpse of autonomy satisfaction
Novel function of cytoplasmic p53 at the interface between mitochondria and the endoplasmic reticulum

International audienceGermline mutations in the gene coding for tumor protein p53 (TP53, best known as p53) are associated with the Li-Fraumeni syndrome, a dominant hereditary disorder characterized by an increased predisposition of patients to the development of various tumors relatively early in life. In addition, TP53 is affected by somatic loss-of-function mutations in a large fraction (>50%, according to current estimates) of human cancers all confounded.1 Finally, several other molecular defects causally associated with malignant transformation or tumor progression result in the functional inactivation of the p53 system. As a notable example, multiple neoplasms express increased levels of MDM2 proto-oncogene, E3 ubiquitin protein ligase (MDM2), resulting in an accrued degradation of p53 by the proteasome.2 These observations indicate that the loss of p53 functions favors the establishment and/or progression of various malignancies
A PolyTime Functional Language from Light Linear Logic

30 pagesInternational audienceWe introduce a typed functional programming language LPL (acronym for Light linear Programming Language) in which all valid programs run in polynomial time, and which is complete for polynomial time functions. LPL is based on lambda-calculus, with constructors for algebraic data-types, pattern matching and recursive definitions, and thus allows for a natural programming style. The validity of LPL programs is checked through typing and a syntactic criterion on recursive definitions. The higher order type system is designed from the ideas of Light linear logic: stratification, to control recursive calls, and weak exponential connectives §, !, to control duplication of arguments
VLTI/VINCI diameter constraints on the evolutionary status of delta Eri, xi Hya, eta Boo.

other location: http://www.obs-nice.fr/pichon/science.html ; Accepted for publication in Astron. Astrophys.International audienceUsing VLTI/VINCI angular diameter measurements, we constrain the evolutionary status of three asteroseismic targets: the stars $\delta$ Eri, $\xi$ Hya, $\eta$ Boo. Our predictions of the mean large frequency spacing of these stars are in agreement with published observational estimations. Looking without success for a companion of $\delta$ Eri we doubt on its classification as an RS CVn star
Computation of seismograms and atmospheric oscillations by normal-mode summation for a spherical earth model with realistic atmosphere

International audienceWe describe a theory to compute seismograms and atmospheric disturbances such as ionospheric oscillations or pressure variations in a realistic spherical earth model with atmosphere. This theory is valid for a source located either in the solid earth or in the atmosphere. Solid earth and atmospheric normal modes are computed for a radiation boundary condition that models the dissipation of acoustic signals in the high atmosphere of the Earth. We show that the coupling between ground and atmosphere occurs at a set of frequencies related to fundamentals and harmonics of atmospheric modes. Spheroidal modes near these frequencies have up to 0.04 per cent of their energy in the atmosphere, and thus may be strongly excited by atmospheric sources. This theory can be used for more accurate modelling of the seismic data from meteoritic events or volcanic eruptions as well as for the analysis of barograms or ionograms recorded after large earthquakes
Temporal and spatial scaling of hydraulic response to recharge in fractured aquifers: Insights from a frequency domain analysis

International audienceQuantification of the recharge in fractured aquifers is particularly challenging because of the multiscale heterogeneity and the range of temporal scales involved. Here we investigate the hydraulic response to recharge of a fractured aquifer, using a frequency domain approach. Transfer functions are calculated in a range of temporal scales from 1 day up to a few years, for a fractured crystalline-rock aquifer located in Ploemeur (S Brittany, France), using recharge and groundwater level fluctuations as input and output respectively. The spatial variability of the response to recharge (characteristic response time, amplitude, temporal scaling) is analyzed for 10 wells sampling the different compartments of the aquifer. Some of the transfer functions follow the linear reservoir model behavior. On the contrary, others display a temporal scaling at high frequency that cannot be represented by classic models. Large-scale hydraulic parameters, estimated from the low-frequency response, are compared with those estimated from hydraulic tests at different scales. The variability of transmissivity and storage coefficient tends to decrease with scale, and the average estimates converge toward the highest values at large scale. The small-scale variability of diffusivities, which implies the existence of a range of characteristic temporal scales associated with different pathways, is suggested to be at the origin of the unconventional temporal scaling of the hydraulic response to recharge at high frequenc
Pb(II) and Zn(II) adsorption onto Na- and Ca-montmorillonites in acetic acid/acetate medium: Experimental approach and geochemical modelling

International audienceSmectites are usually used as a clay barrier at the bottom of subsurface waste landfills due to their low permeability and their capacity to retain pollutants. The Na- and Ca-saturated SWy2 montmorillonites were interacted with initial Zn(NO3)2 or Pb(NO3)2 concentrations ranging from 10-6 to 10-2 M with a solid/liquid ratio of 10 g L-1, and using acetic acid/acetate as buffer at pH 5 in order to reproduce a biodegradable leachate of a young landfill. These experiments revealed that Zn and Pb sorption onto Na-SWy2 is higher than onto Ca-SWy2 in the whole range of concentrations. Metal retention into both montmorillonites increases with the decrease in acetic acid/acetate concentration. The two site protolysis model with no electrostatic term (2SPNE model) was used to model these experiments. As the experimental data of Zn sorption were well fitted, this model was validated and has been improved by taking into account the metal-acetate complexation in solution. In order to validate the model for Pb sorption, new selectivity coefficients have been determined, namely log Kc(Pb-Na) = 0.5 for Na-montmorillonite and log Kc(Pb-Ca) = 0.3 for Ca-montmorillonite
Experimental results and first 22Na source image reconstruction by two prototype modules in coincidence of a liquid xenon positron emission tomograph for small animal imaging

International audienceA detector with a very specific design using liquid Xenon (LXe) in the scintillation mode is studied for Positron Emission Tomography (PET) of small animals. Two prototype modules equipped with Position Sensitive Photo Multiplier Tubes (PSPMTs) operating in the VUV range (178 nm) and at 165 K were built and studied in coincidence. This paper reports on energy, time and spatial resolution capabilities of this experimental test bench. Furthermore, these experimental results were used to perform the first image reconstruction of a 22Na source placed in the experimental setup
Homogenization of transport problems and semigroups

10 pages, 1 figureInternational audienceIn some cases, the homogenization of evolution differential equations whose solution is given by the action of a semigroup on their initial data may lead to evolution problems with a completely different structure, usually integro-differential equations whose dynamics is not defined by a semigroup, but involves memory effects. A typical example is the homogenization --- or discretization --- of opacities in radiative transfer. In this paper, we propose a formulation of homogenized equations in terms of a semigroup acting on an enlarged phase space (i.e. on functions involving more variables than in the original problem.
Triassic alkaline magmatism of the Hawasina Nappes: Post-breakup melting of the Oman lithospheric mantle modified by the Permian Neotethyan Plume

International audienceMiddle to Late Triassic lavas were sampled within three tectonostratigraphic groups of the Hawasina Nappes in the Oman Mountains. They are predominantly alkali basalts and trachybasalts, associated with minor sub-alkaline basalts, trachyandesites, trachytes and rhyolites. Their major, trace elements and Nd-Pb isotopic compositions are very similar to those of the Permian plume-related high-Ti basalts which also occur in the Hawasina Nappes. The Triassic lavas derive from low-degree melting of an enriched OIB-type mantle source, characterized by εNdi = 0.3-5.3 and (206Pb/204Pb)i = 16.96-19.31 (for t = 230 My). With time, melting depths decreased from the garnet + spinel to the spinel lherzolite facies and the degree of melting increased. The oldest are distinguished from the others by unradiogenic Nd and Pb signatures, with εNdi = − 4.5 to − 1.2 and (206Pb/204Pb)i = 16.35-17.08, which we attribute to their contamination by Arabo-Nubian lower crust. The lavas likely derived from the Oman lithospheric mantle, the original DMM-HIMU signature of which was overprinted during its pervasive metasomatism by the Permian plume-related melts. We suggest that these lavas were emplaced during post-breakup decompression-triggered melting in the Middle Triassic during global kinematic reorganization of the Tethyan realm
French Alpine Foreland Holocene Paleoseismicity Revealed by Coeval Mass Wasting Deposits in Glacial Lakes

International audienceThe French alpine foreland area has been struck by several earthquakes with magnitudes above 5 on Richter scale in recent history. In this paper we document the regional impact of historical and Holocene earthquakes based on the identification of mass wasting deposits in glacial lakes at different settings. Lake Le Bourget and Lake Paladru are situated at low elevations (respectively 231 m–492 m) and Lake Blanc Huez is located at 2500 m altitude. Through the integration of high-resolution acoustic profiles and accurately dated sediment samples from cores, recent coeval mass wasting deposits in each lake were correlated with nearby historical earthquakes, whereas coeval mass wasting deposits around 5200 cal BP and 9550 cal BP in these three lakes were correlated to regional earthquakes events
Ensemble of Single‐Layered Complex‐Valued Neural Networks for Classification Tasks

This paper presents ensemble approaches in single-layered complex-valued
neural network (CVNN) to solve real-valued classification problems. Each
component CVNN of an ensemble uses a recently proposed activation function
for its complex-valued neurons (CVNs). A gradient-descent based learning
algorithm was used to train the component CVNNs. We applied two ensemble
methods, negative correlation learning and bagging, to create the ensembles.
Experimental results on a number of real-world benchmark problems showed a
substantial performance improvement of the ensembles over the individual
single-layered CVNN classifiers. Furthermore, the generalization performances
were nearly equivalent to those obtained by the ensembles of real-valued
multilayer neural networks