pinecone/core-2020-05-10-deduplication huggingface dataset:
Domain Globalization: Using Languages to Support Technical and Social Coordination

International audienceWhen a project is realized in a globalized environment, multiple stakeholders from different organizations work on the same system. Depending on the stakeholders and their organizations, various (possibly overlapping) concerns are raised in the development of the system. In this context a Domain Specific Language (DSL) supports the work of a group of stakeholders who are responsible for addressing a specific set of concerns. This chapter identifies the open challenges arising from the coordination of globalized domain-specific languages. We identify two types of coordination: technical coordination and social coordination. After presenting an overview of the current state of the art, we discuss first the open challenges arising from the composition of multiple DSLs, and then the open challenges associated to the collaboration in a globalized environment
Getting the most out of it: optimal experiments for parameter estimation of microalgae growth models

International audienceMathematical models are expected to play a pivotal role for driving microalgal production towards a profitable process of renewable energy generation. To render models of microalgae growth useful tools for prediction and process optimization, reliable parameters need to be provided. This reliability implies a careful design of experiments that can be exploited for parameter estimation. In this paper, we provide guidelines for the design of experiments with high informative content based on optimal experiment techniques to attain an accurate parameter estimation. We study a real experimental device devoted to evaluate the effect of temperature and light on microalgae growth. On the basis of a mathematical model of the experimental system, the optimal experiment design problem was formulated and solved with both static (constant light and temperature) and dynamic (time varying light and temperature) approaches. Simulation results indicated that the optimal experiment design allows for a  more accurate parameter estimation than that provided by the existing experimental protocol. For its efficacy in terms of the maximum likelihood properties and its practical aspects of implementation, the dynamic approach is recommended over the static approach
Singular value decomposition as a denoising tool for airborne time domain electromagnetic data

International audienceAirborne Time Domain Electromagnetic (TDEM) surveys are increasingly carried out in anthropized areas as part of environmental studies. In such areas, noise arises mainly from either natural sources, such as spherics, or cultural sources, such as couplings with man-made installations. This results in various distortions on the measured decays, which make the EM noise spectrum complex and may lead to erroneous inversion and subsequent misinterpretations. Thresholding and stacking standard techniques, commonly used to filter TDEM data, are less efficient in such environment, requiring a time-consuming and subjective manual editing. The aim of this study was therefore to propose an alternative fast and efficient user-assisted filtering approach. This was achieved using the Singular Value Decomposition (SVD). The SVD method uses the principal component analysis to extract into components the dominant shapes from a series of raw input curves. EM decays can then be reconstructed with particular components only. To do so, we had to adapt and implement the SVD, firstly, to separate clearly and so identify easily the components containing the geological signal, and then to denoise properly TDEM data. The reconstructed decays were used to detect noisy gates on their corresponding measured decays. This denoising step allowed rejecting efficiently mainly spikes and oscillations. Then, we focused on couplings with man-made installations, which may result in artifacts on the inverted models. An analysis of the map of weights of the selected "noisy components" highlighted high correlations with man-made installations localized by the flight video. We had therefore a tool to cull most likely decays biased by capacitive coupling noises. Finally, rejection of decays affected by galvanic coupling noises was also possible locating them through the analysis of specific SVD components. This SVD procedure was applied on airborne TDEM data surveyed by SkyTEM Aps. over an anthropized area, on behalf of the French geological survey (BRGM), near Courtenay in Région Centre, France. The established denoising procedure provides accurate denoising tools and makes, at least, the manual cleaning less time consuming and less subjective
Formal Security Analysis of Traditional and Electronic Exams

International audienceNowadays, students can be assessed not only by means of pencil-and-paper tests, but also by electronic exams which they take in examination centers or even from home. Electronic exams are appealing as they can reach larger audiences , but they are exposed to new threats that can potentially ruin the whole exam business. These threats are amplified by two issues: the lack of understanding of what security means for electronic exams (except the old concern about students cheating), and the absence of tools to verify whether an exam process is secure. This paper addresses both issues by introducing a formal description of several fundamental authentication and privacy properties, and by establishing the first theoretical framework for an automatic analysis of exam security. It uses the applied π-calculus as a framework and ProVerif as a tool. Three exam protocols are checked in depth: two Internet exam protocols of recent design, and the pencil-and-paper exam used by the University of Grenoble. The analysis highlights several weaknesses. Some invalidate authentication and privacy even when all parties are honest; others show that security depends on the honesty of parties, an often unjustified assumption in modern exams
Comparison of Near Threshold Fatigue Crack Growth Data by Kmax-constant Method with the Post-Construction Codes

In this paper we obtain near threshold fatigue crack growth (FCG) data for several carbon steels and
type 304 stainless steel by the Kmax-constant method. Since the FCG rate obtained by the
Kmax-constant method is considered to give the upper limit of the FCG data obtained by the stress
ratio-constant method, this data was compared with the FCG evaluation diagrams given in the
ASME and JSME pressure vessel post-construction codes to ensure their validity. Though the FCG
rate for carbon steel S55C was somewhat affected by the Kmax value, the results show that the
obtained near threshold FCG data is close to the upper bound of the JSME code diagram, which is an
extrapolation of the ASME FCG diagram to the near threshold region
Thermoelectric properties of delafossite-type layered oxides AgIn1–xSnxO2

The thermoelectric properties of delafossite-type layered oxides AgIn1–xSnxO2 that consist of alternating layers of Ag and In1–xSnxO2 were investigated to elucidate their potential as a thermoelectric material. Polycrystalline materials of the AgIn1–xSnxO2 were prepared by a cation exchange reaction between NaIn1–xSnxO2 and AgCl. The solubility limit of the Sn atoms on the In sites was approximately x=0.05. The electrical conductivity and Seebeck coefficient were measured between 373 and 673  K in air. Undoped AgInO2 was an n-type semiconductor with conductivities of 10–4–10–2  –1  cm–1, and the electron carriers were generated via the formation of oxygen vacancies. AgIn0.95Sn0.05O2 was an n-type degenerate semiconductor with conductivities of 100–101  –1  cm–1 where the Sn atoms acted as electron donors. This drastic increase in the electrical conductivity increased the thermoelectric power factor by approximately two orders of magnitude to 10–6–10–5  W  m–1  K–2
Tumor uptake of radiolabeled acetate reflects the expression of cytosolic acetyl-CoA synthetase: implications for the mechanism of acetate PET

Introduction: [1-^<11>C]acetate positron emission tomography (PET) is used for myocardial
	studies. In the myocardium, mitochondrial acetyl-CoA synthetase (ACSS1) mainly
	contributes to the radiopharmaceutical uptake. [1-^<11>C]acetate PET is also used for tumor
	diagnosis; however, the uptake mechanism of radiolabeled acetate in tumors remains unclear.
	Our previous study reported that cytosolic acetyl-CoA synthetase (ACSS2) was expressed in
	tumor cells and up-regulated under hypoxia; whereas, expression of ACSS1 was negligible
	regardless of the oxygen conditions. We also indicated that ACSS2 is a bi-directional enzyme
	that controls acetyl-CoA / acetate metabolism in tumor cells. In this study, to elucidate the
	basic mechanism of tumor acetate uptake, we focused on ACSS2 and investigated the role of
	ACSS2 in the uptake of radiolabeled acetate in tumor cells. Methods: [1-^<14>C]acetate uptake and ACSS2 expression were examined in four tumor cell
	lines under normoxia or hypoxia. An ACSS2 knockdown study was also performed.
	Results: [1-^<14>C]acetate uptake was increased in the tumor cells under hypoxia. This pattern
	followed that of ACSS2 expression. The incorporated ^<14>C was mostly distributed in the
	lipid-soluble fractions, and this tendency increased under hypoxia. ACSS2 knock down led to
	a corresponding reduction in [1-^<14>C]acetate uptake in all tumor cell lines examined under
	normoxia and hypoxia. Conclusions: ACSS2 plays an important role in the uptake of radiolabeled acetate in tumor
	cells, which is different from that in the myocardium, which mainly involves ACSS1. The
	uptake of radiolabeled acetate in tumors increased under hypoxia along with up-regulation of
	ACSS2 expression. This suggests a possible mechanism for acetate PET for tumors
Region-specific induction of hypoxic tolerance by expression of stress proteins and antioxidant enzymes

We examined the induction of hypoxic tolerance after hypoxic preconditioning in the frontal cortex, caudate putamen and thalamus using the dynamic positron autoradiography technique and [18F]2-fluoro-2-deoxy-D-glucose with rat brain slices. Hypoxic tolerance induction was confirmed in the frontal cortex, but not in the caudate putamen and thalamus. Next, we compared the gene expression in the frontal cortex and caudate putamen using the ATLAS Rat Stress Array, and found that the expression of 150-kDa oxygen-regulated protein and mitochondrial heat shock protein 70 as stress proteins, and copper-zinc-containing superoxide dismutase and manganese-containing superoxide dismutase as antioxidant enzymes was elevated only in the frontal cortex. These results suggest that the induction of hypoxic tolerance after hypoxic preconditioning is region-specific, and stress proteins and antioxidant enzymes participate in this phenomenon
Collective modes in two-dimensional one-component-plasma with logarithmic interaction

The collective modes of a familiar two-dimensional one-component-plasma with the repulsive logarithmic interaction between the particles are analysed using the quasi-crystalline Approximation (QCA) combined with the molecular dynamic simulation of the equilibrium structural properties. It is found that the dispersion curves in the strongly coupled regime are virtually independent of the\ud
coupling strength. Arguments based on the excluded volume consideration for the radial Distribution function allow us to derive very simple expressions for the dispersion relations, which Show excellent agreement with the exact QCA dispersion over the entire domain of wavelengths. Comparison with the results of the conventional fluid analysis is performed, and the difference is explained
Morphological and taxonomic studies of Gracilaria and Gracilariopsis species (Gracilariales, Rhodophyta) from South Africa

Southern Africa has an extremely rich and diverse seaweed flora with a wide variety of marine habitats. Increased commercial interest in these seaweed resources has been the stimulus for biodiversity studies. The Gracilariaceae (Rhodophyta) has emerged as one of the families that possess economic potential as a source of agar and as a potential feed for abalone. A lack of knowledge concerning the taxonomic status of many members of this family is a concern. Gross morphological characters have been the main means of identification and incorrect applications have led to a number of misidentifications. Consequently, a comprehensive reappraisal and revision of these species was carried out. The species count for the South African Gracilariaceae is now two Gracilariopsis species, and nine Gracilaria species. Gracilaria crassa has been reduced to a synonym of G. canaliculata. It is believed that G. foliifera was erroneously identified and specimens in South Africa referred to as G. millardetii and G. protea are assigned to G. corticata. South African Gracilariopsis, previously referred to as Gs. lemaneiformis, is confirmed to be conspecific with European Gs. longissima. This species occurs along the west and south coasts of South Africa, co-existing in a few habitats with G. gracilis. The taxonomic identity of G. vieillardii specimens from South Africa and the differentiation of G. canaliculata and G. salicornia has been confirmed based on morphology. Three species of Gracilaria (G. aculeata, G. beckeri and G. capensis) are endemic or near endemic to the South African coast, and a fourth species, G. denticulata is localised in southeast Africa
Gluonic transversity from lattice QCD

We present an exploratory study of the gluonic structure of the ϕ meson using lattice QCD (LQCD). This includes the first investigation of gluonic transversity via the leading moment of the twist-2 double-helicity-flip gluonic structure function Δ(x,Q²). This structure function only exists for targets of spin J≥1 and does not mix with quark distributions at leading twist, thereby providing a particularly clean probe of gluonic degrees of freedom. We also explore the gluonic analogue of the Soffer bound which relates the helicity flip and nonflip gluonic distributions, finding it to be saturated at the level of 80%. This work sets the stage for more complex LQCD studies of gluonic structure in the nucleon and in light nuclei where Δ(x,Q²) is an “exotic glue” observable probing gluons in a nucleus not associated with individual nucleons.United States. Department of Energy (DE- SC0010495)United States. Department of Energy (DE-SC0011090
Development of imidazolium-type alkaline anion exchange membranes for fuel cell application

This study reports the development of imidazolium-type alkaline anion exchange membranes (Im-AAEMs) based on the functionalization of bromomethylated poly(2,6-dimethyl-1,4-phenylene oxide) (BPPO) using 1-methylimdazole. Aromatic polymers bearing bromomethyl, instead of chloromethyl, functional groups were employed as base materials to avoid complicated chloromethylation which require toxic reagents. H NMR and FT-IR spectroscopic data indicated the synthesis of a series of membranes with controlled IECs (achieved by varying the amount of 1-methylimdazole). Due to the conjugated structures of imidazolium cations, the novel Im-AAEMs display enhanced short-term thermal and chemical stabilities compared with classical quaternary ammonium-type AAEMs. In addition, the imidazolium salts exhibit excellent solubility in polar solvents, such as NMP and DMSO, which allowed the exploitation of a pre-functionalized strategy for the synthesis of the AAEMs. Accordingly, the Im-AAEMs displayed conductivities up to >100mScm at 80°C, which derived from the establishment of a nano-scale phase-separated morphology as directed by the solvent casting process. A H /O fuel cell test yielded a peak power density of 30mWcm at a current density of 76mAcm ; this will be improved on development of a chemical compatible imidazolium-based alkaline ionomer for use as ionic polymer binder in the electrodes' catalyst layers. © 2012 Elsevier B.V
A reassessment of energy and GDP relationship: a case of Australia

This paper investigates the long-run and short-run relationships between energy consumption and economic
growth in Australia using the bound testing and the ARDL approach. For the first time in the literature we employ both production and demand side models and a unified model comprising both production and demand side variables for a single set of data. The relationships are investigated at aggregate as well as several disaggregated energy categories, such as coal, oil, gas and electricity. The possibilities of one or more structural break(s) in the data series are examined by applying the recent advances in techniques. We find that the results of the cointegration tests could be affected by the structural break(s) in the data. It is, therefore, crucial to incorporate the information on structural break(s) in the subsequent modelling and inferences. Moreover, neither the production side nor the demand side framework alone can provide sufficient information to draw an ultimate conclusion on the cointegration and causal direction between energy and output. When alternative frameworks and structural break(s) in time-series are explored properly, strong evidence of a
bidirectional relationship between energy and output can be observed. The finding is true both at aggregate and
disaggregate levels of energy consumption.
Changes in hemodynamics and tissue oxygenation saturation in the brain and skeletal muscle induced by speech therapy - a near-infrared spectroscopy study

Arts speech therapy (AST) is a therapeutic method within complementary medicine and has been practiced for decades for various medical conditions. It comprises listening and the recitation of different forms of speech exercises under the guidance of a licensed speech therapist. The aim of our study was to noninvasively investigate whether different types of recitation influence hemodynamics and oxygenation in the brain and skeletal leg muscle using near-infrared spectroscopy (NIRS). Seventeen healthy volunteers (eight men and nine women, mean age ± standard deviation 35.6 ± 12.7 years) were enrolled in the study. Each subject was measured three times on different days with the different types of recitation: hexameter, alliteration, and prose verse. Before, during, and after recitation, relative concentration changes of oxyhemoglobin (Δ[O2Hb]), deoxyhemoglobin (Δ[HHb]), total hemoglobin (Δ[tHb]), and tissue oxygenation saturation (StO2) were measured in the brain and skeletal leg muscle using a NIRS device. The study was performed with a randomized crossover design. Significant concentration changes were found during recitation of all verses, with mainly a decrease in Δ[O2Hb] and ΔStO2 in the brain, and an increase in Δ[O2Hb] and Δ[tHb] in the leg muscle during recitation. After the recitations, significant changes were mainly increases of Δ[HHb] and Δ[tHb] in the calf muscle. The Mayer wave spectral power (MWP) was also significantly affected, i.e., mainly the MWP of the Δ[O2Hb] and Δ[tHb] increased in the brain during recitation of hexameter and prose verse. The changes in MWP were also significantly different between hexameter and alliteration, and hexameter and prose. Possible physiological explanations for these changes are discussed. A probable reason is a different effect of recitations on the sympathetic nervous system. In conclusion, these changes show that AST has relevant effects on the hemodynamics and oxygenation of the brain and muscle
Large scale evaluations of multimedia information retrieval: the TRECVid experience

Information Retrieval is a supporting technique which underpins a broad range of content-based applications including retrieval, filtering, summarisation, browsing, classification, clustering, automatic linking, and others. Multimedia information retrieval (MMIR) represents those applications when applied to multimedia information such as image, video, music, etc. In this presentation and extended abstract we are primarily concerned with MMIR as applied to information in digital video format. We begin with a brief overview of large scale evaluations of IR tasks in areas such as text, image and music, just to illustrate that this phenomenon is not just restricted to MMIR on video. The main contribution, however, is a set of pointers and a summarisation of the work done as part of TRECVid, the annual benchmarking exercise for video retrieval tasks
Constraints on micro-Raman strain metrology for highly doped strained Si materials

Ultra-violet (UV), low penetration depth, micro-Raman spectroscopy and high resolution X-ray diffraction (HRXRD) are utilised as complementary, independent stress characterisation tools for a range of strained Si samples doped by low energy (2 keV) Sb ion implantation. Following dopant implantation good agreement is found between the magnitudes of strain measured by the two techniques. However, following dopant activation by annealing, strain relaxation is detected by HRXRD but not by micro-Raman. This discrepancy mainly arises from an anomalous red shift in the Si Raman peak position originating from the high levels of doping achieved in the samples. This has serious implications for the use of micro-Raman spectroscopy for strain characterisation of highly doped strained Si complementary metal-oxide semiconductor devices and structures therein. We find a direct correlation between the Si Raman shift and peak carrier concentration measured by the differential Hall technique, which indicates that UV micro-Raman may become a useful tool for non-destructive dopant characterisation for ultra-shallow junctions in these Si-based materials
Investigating software process in practice: A grounded theory perspective

This paper presents the results of a study of how software process and software process improvement (SPI) is applied in actual practice in the software industry using the indigenous Irish software product industry as a test-bed. The study used the grounded theory methodology to produce a theory, grounded in the field data, that explains how software processes are formed and evolve and when and why SPI is undertaken. Our research found that SPI programmes are implemented reactively and many software managers are reluctant to implement SPI best practice models because of the associated costs
HySafe SBEP-V20: Numerical studies of release experiments inside a naturally ventilated residential garage.

This work presents the results of the Standard Benchmark Exercise Problem (SBEP) V20 of Work Package 6 (WP6) of HySafe Network of Excellence (NoE), co-funded by the European Commission, in the frame of evaluating the quality and suitability of codes, models and user practices by comparative assessments of code results. The benchmark problem SBEP-V20 covers release scenarios that were experimentally investigated in the past using helium as a substitute to hydrogen. The aim of the experimental investigations was to determine the ventilation requirements for parking hydrogen fuelled vehicles in residential garages. Helium was released under the vehicle for 2 h with 7.200 l/h flow rate. The leak rate corresponded to a 20% drop of the peak power of a 50 kW fuel cell vehicle. Three double vent garage door geometries are considered in this numerical investigation. In each case the vents are located at the top and bottom of the garage door. The vents vary only in height. In the first case, the height of the vents is 0.063 m, in the second 0.241 m and in the third 0.495 m. Four HySafe partners participated in this benchmark. The following CFD packages with the respective models were applied to simulate the experiments: ADREA-HF using k–model by partner NCSRD, FLACS using k– model by partner DNV, FLUENT using k– model by partner UPM and CFX using laminar and the low-Re number SST model by partner JRC. This study compares the results predicted by the partners to the experimental measurements at four sensor locations inside the garage with an attempt to assess and validate the performance of the different numerical approaches