pinecone/core-2020-05-10-deduplication huggingface dataset:
Phase Transformation of Anisotropic Shape Memory Alloys: Theory and Validation in Superelasticity

In the present study, a new transformation criterion that includes the effect of tension–compression asymmetry and texture-induced anisotropy is proposed and combined with a thermodynamical model to describe the thermomechanical behavior of polycrystalline shape memory alloys. An altered Prager criterion has been developed, introducing a general transformation of the axes in the stress space. A convexity analysis of such criterion is included along with an identification strategy aimed at
extracting the model parameters related to tension–compression asymmetry and anisotropy. These are identified from a numerical simulation of an SMA polycrystal, using a self-consistent micromechanical model previously developed by Patoor et al. (J Phys IV 6(C1):277–292, 1996) for several loading cases on isotropic, rolled, and drawn textures. Transformation surfaces in the stress and transformation strain spaces are obtained and compared with those predicted by the micromechanical model. The
good agreement obtained between the macroscopic and the microscopic polycrystalline simulations states that the proposed criterion and transformation strain evolution equation can capture phenomenologically the effects of texture on anisotropy and asymmetry in SMAs
New insigths on the metabolic diversity among the epibiotic microbial community of the hydrothermal shrimp Rimicaris exoculata

En libre-accès sur Archimer : http://archimer.ifremer.fr/doc/2008/publication-4563.pdfInternational audienceThe Rimicaris exoculata dominates the megafauna of some of the Mid Atlantic ridge hydrothermal vent sites. This species harbors a rich community of bacterial epibionts inside its gill chamber. Literature data indicate that a single 16S rRNA phylotype dominates this epibiotic community, and is assumed to be a sulfide-oxidizing bacteria. However attempts of cultivation were not successful and did not allow to confirm it. The aim of our study was to test the hypothesis of sulfide oxidation in the gill chamber, by a multidisciplinary approach, using in vivo experiments at in situ pressure in the presence of sulfide, microscopic observations and a molecular survey. Morphology of microorganisms, before and after treatment, was analyzed to test the effect of sulfide depletion and re-exposure. Our observations, as well as molecular data indicate a wider diversity than previously described for this shrimp's epibiotic community. We observed occurrence of bacterial intracellular sulfur- and iron-enriched granules and some methanotrophic-like bacteria cells for the first time. Genes that are characteristic of methane- oxidizing (pmoA) and sulfide-oxidizing (APS) bacteria were identified. These results suggest that three metabolic types (iron, sulfide and methane oxidation) may co-occur within the epibiont community associated with Rimicaris exoculata. As this shrimp colonizes chemically contrasted environments, the relative abundance of each metabolic type could vary according to the local availability of reduced compounds
Why /r/ is not a special, empty consonant in Japanese

International audienceIn recent work on Japanese phonology, /r/ has been argued to be a unique consonant in the Japanese phonological system, characterized by its default, unmarked and featureless nature. These peculiar features have been claimed to derive from the original epenthetic status and the late historical phonologization of /r/ in Japanese. However, a review of all the relevant evidence shows that there is actually no solid basis for that hypothesis, which proves to be not only inadequate, but also directly falsified by the data. No r-epenthesis process can be reconstructed in earlier Japanese, and /r/ cannot be analyzed as a unique, default, empty consonant
A Semiotics Approach to Semantic Mismatches

Part 1: Organizational Semiotics: Theory and ConceptsInternational audienceThis paper deals with modeling issues that are common to semiotics and software engineering. A major problem is that vague notions of modeling lead to difficulties in building real-world representations for use in the software development life cycle. Specifically, this paper focuses on building a consistent representation that eliminates semantic mismatches through analysis of semiotics. Semantic mismatches occur when the same term is associated with multiple concepts. Semiotics provides a good theoretical foundation for UML research, since a UML diagram can be considered a sign made up of signs. This paper introduces a new approach based on the so-called Flowthing Model (FM) to represent semiotics notions of sign, interpretant, and object, for use in studying the problem of semantic mismatches. The conclusion is that diagrammatic UML representation can lead to the appearance of such problems and that FM description provides separate streams such that no mixing can occur among terms as things that flow
A new Evaluation and Decision Making Framework Investigating the Elimination-by-Aspects Model in the Context of Transportation Projects' Investment Choices

The Transportation Elimination-by-Aspects (TEBA) framework, a new evaluation and decision makingframework (and methodology) for large transportation projects, is proposed to elicit, structure andquantify the preferences of stakeholder groups across project alternatives. The decision rule used forgroup decision making within TEBA is the individual non-compensatory model of choice elimination byaspects (EBA). TEBA is designed to bring out the decision rule employed by decision makers whenranking the options presented, incorporate various criteria types and ease communication of relevantinformation related to options and criteria for multiple stakeholder groups. It is a platform fordemocratizing the decision making process. The TEBA framework was tested using a case studyinvestigating alternative land connections between Beirut and Damascus. Key results showed that (1)stakeholders have employed EBA in making decisions, (2) a defined group of decision makers will rankoptions differently when provided with modified sets of criteria, (3) the public sector and general publicgroups ranked Impact on Employment among the top criteria, (4) the most important criterion per groupfrom EBA was as expected; (5) the EBA analysis suggested that only 3 to 4 criteria are significant inreaching a decision; (6) aggregation of user assigned weights masked relative importance of criteria insome cases; and (7) analysis of user assigned weights and Minimum Threshold (MT) values suggesthigher risk perception with increased criterion importance. Policy implications include recommendationto reach out to stakeholders for input on decisions, including the “people” but refrain from relying oncriteria weights assigned by “experts” and reduce the “experts”’ role in decision making. Also, it isrecommended to model the decision making in a probabilistic framework rather than a deterministic “onescore” approach, seek to identify a consensus ranking, place particular attention on determining the valuesof the criteria that emerged as “top” at the evaluation stage and continue to emphasize risk measures.Keywords: Transportation Investment, Collective Decision Making, Cost Benefit Analysis, Elimination by Aspects,Consensus Model / Joint Decision Making, Index of Dispersion, Behavioral Choic
Virtual Process Modelling Informed by Organisational Semiotics: A Case of Higher Education Admission

Part 2: Organizational Semiotics and ApplicationsInternational audienceThe purpose of this study is to explore virtual process modelling based on organisational semiotics and WebML. The Internet and the Web afford opportunities to virtualize physical processes. Research on process virtualization has so far focused on theorizing or testing which activities can or cannot be virtualized. However, studies on virtual process modelling remains limited. This study therefore uses a university’s admission process as a case to explore virtual process modelling in a higher education environment
Information provision in financial markets

International audienceWe set up a rational expectations model in which investors trade a risky asset based on a private signal they receive about the quality of the asset, and a public signal that represents a noisy aggregation of the private signals of all investors. Our model allows us to examine what happens to market performance (market depth, price efficiency, volume of trade, and expected welfare) when regulators can induce improved information provision in one of two ways. Regulations can be designed that either provide investors with more accurate information by improving the quality of prior information, or that enhance the transparency of the market by improving the quality of the public signal. In our rational expectations equilibrium, improving the quality of the public signal can be interpreted as a way of providing information about the anticipations and trading motives of all market participants. We find that both alternatives improve market depth. However, in the limit, we show that improving the precision of prior information is a more efficient way to do so. More accurate prior information decreases asymmetric information problems and consequently reduces the informativeness of prices, while a more accurate public signal increases price informativeness. The volume of trade is independent of the quality of prior information and is increasing in the quality of the public signal. Finally, expected welfare can sometimes fall as prior information or the public signal become more precise
A Longitudinal Analysis of Trajectory Changes in the Software Industry: The Case of the Content Management Application Segment

This is a pre-print, the definitive publisher authenticated version is available at http://www.palgrave-journals.com/ejis/journal/v18/n3/full/ejis200913a.htmlInternational audienceThe software industry is changing as a result of the rising influence both of packaged and of Free/Libre/Open Source Software (FLOSS), but the change trajectory of the industry is still not well understood. This article aims to contribute to clarifying software industry evolution through a longitudinal study, using Industry Change Trajectory Theory to explain and predict the evolution of the Content Management Systems (CMS) segment and the extent to which its results can be generalized to the overall software industry. Our data analysis shows that CMS players are experiencing a modification of their segments' change trajectory. While McGahan in 2004 recognized that the software industry was in a creative change trajectory, it has subsequently faced strong competition on its core assets, (i.e. applications) and the empirical results of our longitudinal study from 2002 to 2007 show the CMS segment is now in a radical change trajectory, due to the rapid obsolescence of its core activities. The paper discusses the changes affecting the segment, and proposes extending the outcome of the study to other segments of the software industr
Optimal household energy management and participation in ancillary services with PV production

Cahier de recherche du LEPII ; 10v2.International audienceThe work presented in this paper deals with a project aiming to increase the value of photovoltaic (PV) solar production for residential application. To contribute to the development of the new functionalities for such system and the efficient control system to optimize its operation, this paper defines the possibility for the proposed system to participate to the ancillary services, particularly in active power service provider. This service of PV-based system for housing application, as it does not exist today, has led to a market design proposition in the distribution system. The mathematical model for calculating the optimal operation of system (sources, load, and the exchange power with the grid) results in a linear mix integer optimization problem where the objective is to maximize the profit obtained by participating to electricity market. The approach is illustrated in an example study case. The PV producer could benefit from its intervention on balancing market or ancillary services market despite of the impact on the profit of several kinds of uncertainty, as the intermittence of PV source
Deformation mechanisms in a continental rift up to mantle exhumation. Field evidence from the western Betics, Spain

International audienceThe identification of the structures and deformation patterns in magma-poor continental rifted margins is essential to characterize the processes of continental lithosphere necking. Brittle faults, often termed mantle detachments, are believed to play an essential role in the rifting processes that lead to mantle exhumation. However, ductile shear zones in the deep crust and mantle are rarely identified and their mechanical role remains to be established. The western Betics (Southern Spain) provides an exceptional exposure of a strongly thinned continental lithosphere, formed in a supra-subduction setting during Oligocene-Lower Miocene. A full section of the entire crust and the upper part of the mantle is investigated. Variations in crustal thickness are used to quantify crustal stretching that may reach values larger than 2000% where the ductile crust almost disappear, defining a stage of hyper-stretching. Opposite senses of shear top-to-W and top-to-E are observed in two extensional shear zones located close to the crust-mantle boundary and along the brittle-ductile transition in the crust, respectively. At locations where the ductile crust almost disappears, concordant top-to-E-NE senses of shear are observed in both upper crust and serpentinized mantle. Late high-angle normal faults with ages of ca. 21 Ma or older (40Ar/39Ar on white mica) crosscut the previously hyper-stretched domain, involving both crust and mantle in tilted blocks. The western Betics exemplifies, probably better than any previous field example, the changes in deformation processes that accommodate the progressive necking of a continental lithosphere. Three successive steps can be identified: i/a mid-crustal shear zone and a crust-mantle shear zone, acting synchronously but with opposite senses of shear, accommodate ductile crust thinning and ascent of subcontinental mantle; ii/hyper-stretching localizes in the neck, leading to an almost disappearance of the ductile crust and bringing the upper crust in contact with the subcontinental mantle, each of them with their already acquired opposite senses of shear; and iii/high-angle normal faulting, cutting through the Moho, with related block tilting, ends the full exhumation of the mantle in the zone of localized stretching. The presence of a high strength sub-Moho mantle is responsible for the change in sense of shear with depth. Whereas mantle exhumation in the western Betics occurred in a backarc setting, this deformation pattern controlled by a high-strength layer at the top of the lithosphere mantle makes it directly comparable to most passive margins whose formation lead to mantle exhumation. This unique field analogue has therefore a strong potential for the seismic interpretation of the so-called “hyper-extended margins”
How does the electronic continuum model perform in the prediction of the surface tension of salt solutions?

International audienceThe electronic continuum (EC) model uses a scaling of the charges of the ions in order to model implicitly the polarization into nonpolarizable models. This scaling procedure is applied here to two standard nonpolarizable force fields to investigate the salt concentration dependence of the surface tension and density of NaCl aqueous solutions. The composition of the interface and the orientation of the water molecules at the water surface are reported for different combinations of force fields
Absence of triadin, a protein of the calcium release complex, is responsible for cardiac arrhythmia with sudden death in human.

International audienceCatecholaminergic polymorphic ventricular tachycardia (CPVT) is an inherited arrhythmogenic disease so far related to mutations in the cardiac ryanodine receptor (RYR2) or the cardiac calsequestrin (CASQ2) genes. Because mutations in RYR2 or in CASQ2 are not retrieved in all CPVT cases, we searched for mutations in the physiological protein partners of RyR2 and CSQ2 in a large cohort of CPVT patients with no detected mutation in these two genes. Based on a candidate gene approach, we focused our investigations on triadin and junctin, two proteins that link RyR2 and CSQ2. Mutations in the triadin (TRDN) and in the junctin (ASPH) genes were searched in a cohort of 97 CPVT patients. We identified three mutations in triadin which cosegregated with the disease on a recessive mode of transmission in two families, but no mutation was found in junctin. Two TRDN mutations, a 4 bp deletion and a nonsense mutation, resulted in premature stop codons; the third mutation, a p.T59R missense mutation, was further studied. Expression of the p.T59R mutant in COS-7 cells resulted in intracellular retention and degradation of the mutant protein. This was confirmed after in vivo expression of the mutant triadin in triadin knock-out mice by viral transduction. In this work, we identified TRDN as a new gene responsible for an autosomal recessive form of CPVT. The mutations identified in the two families lead to the absence of the protein, thereby demonstrating the importance of triadin for the normal function of the cardiac calcium release complex in humans
NMR structure of the A. aeolicus tmRNA pseudoknot PK1: new insights into the recoding event of the ribosomal trans-translation.

International audienceThe tmRNA pseudoknot PK1 is essential for bacterial trans-translation, a ribosomal rescue mechanism. We report the solution structure of PK1 from Aquifex aeolicus which, despite an unprecedented small number of nulcleotides and thus an unprecented compact size, displays a very high thermal stability. Several unusual structural features account for these properties and indicate that PK1 belongs to the class of ribosomal frameshift pseudoknots. This suggests a similarity between the mechanism of programmed ribosomal frameshifting and trans-translation
Maximum Motif Problem in Vertex-Colored Graphs

International audienceSearching for motifs in graphs has become a crucial problem in the analysis of biological networks. In this context, different graph motif problems have been considered [12, 6, 4]. Pursuing a line of research pioneered by Lacroix et al. [12], we introduce in this paper a new graph motif problem: given a vertex colored graph G and a motif M, where a motif is a multiset of colors, find a maximum cardinality submotif M' included in M that occurs as a connected motif in G. We prove that the problem is APX-hard even in the case where the target graph is a tree of maximum degree 3, the motif is actually a set and each color occurs at most twice in the tree. We complement these results by presenting two fixed-parameter algorithms for the problem, where the parameter is the size of the solution. Finally, we give exact efficient exponential-time algorithms for the problem
On the coefficients of the liquid drop model mass formulae and nuclear radii

19 pages, 1 figure, accepted for publication in Nuclear Physics AThe coefficients of different mass formulae derived from the liquid drop model and including or not the curvature energy, the diffuseness correction to the Coulomb energy, the charge exchange correction term, different forms of the Wigner term and different powers of the relative neutron excess $I=(N-Z)/A$ have been determined by a least square fitting procedure to 2027 experimental atomic masses. The Coulomb diffuseness correction $Z^2/A$ term or the charge exchange correction $Z^{4/3}/A^{1/3}$ term plays the main role to improve the accuracy of the mass formula. The Wigner term and the curvature energy can also be used separately for the same purpose. The introduction of an $|I|$ dependence in the surface and volume energies improves slightly the efficiency of the expansion and is more effective than an $I^4$ dependence. Different expressions reproducing the experimental nuclear charge radius are provided. The different fits lead to a surface energy coefficient of around 17-18~MeV and a relative equivalent rms charge radius r$_0$ of 1.22-1.23~fm
A global approach to reactive transport: application to the MoMas benchmark

International audienceWater resource management involves numerical simulations in order to study contamination of groundwater by chemical species. Not only do the aqueous components move due to physical advection and dispersion processes, but they also react together and with fixed components. Therefore the mass balance couples transport and chemistry, and reactive transport models are PDEs coupled with nonlinear algebraic equations. In this paper, we present a global method based on the method of lines and DAE solvers. At each time step, nonlinear systems are solved by a Newton- LU method. We use this method to carry out numerical simulations for the reactive transport benchmark proposed by the MoMas research group. Although we study only 1D computations with a specific geochemical system, several difficulties arise. Numerical experiments show that our method can solve quite difficult problems, get accurate results and capture sharp fronts
Runtime enforcement of timed properties revisited

International audienceRuntime enforcement is a powerful technique to ensure that a running system satisfies some desired properties. Using an enforcement monitor, an (untrustworthy) input execution (in the form of a sequence of events) is modified into an output sequence that complies with a property. Over the last decade, runtime enforcement has been mainly studied in the context of untimed properties. This paper deals with runtime enforcement of timed properties by revisiting the founda-tions of runtime enforcement when time between events matters. We propose a new enforce-ment paradigm where enforcement mechanisms are time retardants: to produce a correct output sequence, additional delays are introduced between the events of the input sequence. We consider runtime enforcement of any regular timed property defined by a timed automa-ton. We prove the correctness of enforcement mechanisms and prove that they enjoy two usually expected features, revisited here in the context of timed properties. The first one is soundness meaning that the output sequences (eventually) satisfy the required property. The second one is transparency, meaning that input sequences are modified in a minimal way. We also introduce two new features, i) physical constraints that describe how a time retar-dant is physically constrained when delaying a sequence of timed events, and ii) optimality, meaning that output sequences are produced as soon as possible. To facilitate the adoption and implementation of enforcement mechanisms, we describe them at several complemen-tary abstraction levels. Our enforcement mechanisms have been implemented and our ex- perimental results demonstrate the feasibility of runtime enforcement in a timed context and the effectiveness of the mechanisms