pinecone/core-2020-05-10-deduplication huggingface dataset:
Reifying Concurrency for Executable Metamodeling

International audienceCurrent metamodeling techniques can be used to specify the syntax and semantics of domain specific modeling languages (DSMLs). However, there is currently very little support for explicitly specifying concurrency semantics using metamodels. Often, such semantics are provided through implicit concurrency models embedded in the underlying execution environment supported by the language workbench used to implement the DSMLs. The lack of an explicit concurrency model has several drawbacks: it not only prevents from developing a complete understanding of the behavioral semantics, it also prevents development of effective concurrency-aware analysis techniques, and effective techniques for producing semantic variants in the cases where the semantic base has variation points. This work reifies concurrency as a metamodeling facility, leveraging formalization work from the concurrency theory and models of computation (MoC) community. The essential contribution of this paper is a proposed language workbench for binding domain-specific concepts and models of computation through an explicit event structure at the metamodel level. We illustrate these novel metamodeling facilities for designing two variants of a concurrent and timed final state machine, and provide other experiments to validate the scope of our approach
Crop and pasture response to climate change

We review recent research of importance to understanding crop and pasture plant species response to climate change. Topics include plant response to elevated CO2 concentration, interactions with climate change variables and air pollutants, impacts of increased climate variability and frequency of extreme events, the role of weeds and pests, disease and animal health, issues in biodiversity, and vulnerability of soil carbon pools. We critically analyze the links between fundamental knowledge at the plant and plot level and the additional socio-economic variables that determine actual production and trade of food at regional to global scales. We conclude by making recommendations for current and future research needs, with a focus on continued and improved integration of experimental and modeling efforts
Development of algebra algorithms for automated generation of grain-size distribution maps

The grain-size distribution of  sediments   is a fundamental   characteristic in understanding  the  earth’s  surface  environments  and  an  essential  tool  in  classifying sedimentary environments. Grain-size data provide important information on the energy and  dynamics  of  depositional  environments  and  aid  our  understanding  of  sediment transport.  Ternary  diagrams  (TD)  are  useful  and  conventional  tools  to  classify sediments on the basis of relative grain-size (i.e., gravel, sand, mud or sand, silt, clay). The development of spatial modelling in a Geographical Information System (GIS) can assist in treating, computing and displaying sedimentological data, such as grain-sizes.  The  grain-size   distribution   of   sediments   is   a   fundamental   characteristic   in understanding  the  earth’s  surface  environments  and  an  essential  tool  in  classifying sedimentary environments. Grain-size data provide important information on the energy and  dynamics  of  depositional  environments  and  aid  our  understanding  of  sediment transport.  Ternary  diagrams  (TD)  are  useful  and  conventional  tools  to  classify sediments on the basis of relative grain-size (i.e., gravel, sand, mud or sand, silt, clay). The development of spatial modelling in a Geographical Information System (GIS) can assist in treating, computing and displaying sedimentological data, such as grain-sizes
Integrating industrial and financial analysis into a rating methodology for corporate risk\ud
detection: the case of the Vicenza manufacturing\ud
firms.

Banks weakness derived from rating models that produce cyclical effects\ud
on credit availability and are not able to anticipate anti-cyclical firms’ trends. The\ud
aim of the paper is to develop a framework for an original rating methodology\ud
derived from integration of industrial and financial analysis able to identify best\ud
performers in crisis scenarios (anti-cyclically). Industrial analysis is based on firm\ud
heterogeneity approaches to measure three dimensions of analysis: innovation, internationalization\ud
and growth. Financial analysis focuses on operational return and\ud
risks measures and develops an integrated classification of firms using standardized\ud
XBRL financial data. Further integration of the two methodologies is used to create\ud
the effective set of information needed for rating system
Thermal-Induced Wear Mechanisms of Sheet Nacre in Dry Friction

International audienceSheet nacre is a natural biocomposite with a multiscale structure including a mineral phase of calcium carbonate (97 wt.%) and two organic matrices (3 wt.%). The mineral phase is constituted by an arrangement of CaCO3 biocrystal nanograins (ca 40 nm in size) drowned in an ‘‘intracrystalline'' organic matrix (4 nm thick) in order to form a microsized flat organomineral aragonite platelet. These platelets are themselves surrounded by an ‘‘intercrystalline'' organic matrix (40 nm thick) building up a very tough materials. This microarchitecture referred to as ‘‘bricks and mortar'' nacre structure, is mainly studied for the creation of new organic/inorganic hybrid materials. Currently, only little is known about the nacre mechanical behaviour under dynamical loading and more particularly under tribological conditions which involve shocks and thermal effects simultaneously. This paper brings out the thermal-induced damage mechanisms effect on the wear of sheet nacre by the assessment of the thermal component of the friction with a scanning thermal microscope. Results reveal that the mean contact pressure is the main driving force involved in the degradation of the organic constituents. For the lowest mean contact pressure (\0.4 MPa), wear is rather weak because the friction-induced thermal component is not sufficient for degrading the organic matrices. In contrast, beyond 0.4 MPa, the friction-induced contact temperature rises up over the melting point of the organic matrices, and may even reach the temperature of the aragonite– calcite phase transformation increasing dramatically the wear of sheet nacre
Effect of ageing heat treatments on the microstructure and intergranular corrosion of powder metallurgy duplex stainless steels

The influence of ageing heat treatments (675 and 875 °C for 1.5 to 48 h) on the microstructure and intergranular corrosion resistance of sintered in nitrogen duplex stainless steels was investigated. The materials were obtained by sintering mixtures of austenitic AISI 316L and ferritic AISI 430L powders. Corrosion behaviour was evaluated by using electrochemical techniques. The beneficial effect of nitrogen on corrosion behaviour of solution annealed samples was established. During ageing, secondary phases were precipitated and the intergranular and transgranular corrosion resistance significantly decreased though repassivation was observed in specimens aged at 875 °C for times up to 8 h.Ministerio de Ciencia e Innovación, Dirección General de Programas y Transferencia de Conocimiento, Proyectos I+D,  MAT2008-0278
Dynamical indicators for the prediction of bursting phenomena in high-dimensional systems

Drawing upon the bursting mechanism in slow-fast systems, we propose indicators for the prediction of such rare extreme events which do not require a priori known slow and fast coordinates. The indicators are associated with functionals defined in terms of optimally time-dependent (OTD) modes. One such functional has the form of the largest eigenvalue of the symmetric part of the linearized dynamics reduced to these modes. In contrast to other choices of subspaces, the proposed modes are flow invariant and therefore a projection onto them is dynamically meaningful. We illustrate the application of these indicators on three examples: a prototype low-dimensional model, a body-forced turbulent fluid flow, and a unidirectional model of nonlinear water waves. We use Bayesian statistics to quantify the predictive power of the proposed indicators
NEK1 mutations cause short-rib polydactyly syndrome type majewski

Defects of ciliogenesis have been implicated in a wide range of human phenotypes and play a crucial role in signal transduction and cell-cycle coordination. We used homozygosity mapping in two families with autosomal-recessive short-rib polydactyly syndrome Majewski type to identify mutations in NEK1 as an underlying cause of this lethal osteochondrodysplasia. NEK1 encodes a serine/threonine kinase with proposed function in DNA double-strand repair, neuronal development, and coordination of cell-cycle-associated ciliogenesis. We found that absence of functional full-length NEK1 severely reduces cilia number and alters ciliar morphology in vivo. We further substantiate a proposed digenic diallelic inheritance of ciliopathies by the identification of heterozygous mutations in NEK1 and DYNC2H1 in an additional family. Notably, these findings not only increase the broad spectrum of ciliar disorders, but suggest a correlation between the degree of defective microtubule or centriole elongation and organization and the severity of the resulting phenotype
Synchronous collaborative information retrieval: techniques and evaluation

Synchronous Collaborative Information Retrieval refers to\ud
systems that support multiple users searching together at the same time in order to satisfy a shared information need. To date most SCIR systems have focussed on providing various awareness tools in order to enable collaborating users to coordinate the search task. However, requiring users to both search and coordinate the group activity may prove too demanding. On the other hand without effective coordination policies the group search may not be effective. In this paper we propose and evaluate novel system-mediated techniques for coordinating a group search. These techniques allow for an effective division of labour across the group whereby each group member can explore a subset of the search space.We also propose and evaluate techniques to support automated sharing of knowledge across searchers in SCIR, through novel collaborative and complementary relevance feedback techniques. In order to evaluate these techniques, we propose a framework for SCIR evaluation based on simulations. To populate these simulations we extract data from TREC interactive search logs. This work represent the first simulations of SCIR to date and the first such use of this TREC data
Effects of fresh gas velocity and thermal expansion on the structure of a Bunsen flame tip

Numerical computations and order-of-magnitude estimates are used to describe the tip region of a Bunsen flame where the flame departs from a planar flame at an angle to the incoming fresh gas flow. A single irreversible Arrhenius reaction with high activation energy is assumed. The well-known linear relation between flame velocity and curvature is recovered in the thermodiffusive limit, when the thermal expansion of the gas is left out, for velocities of the fresh gas (U0) only slightly larger than the velocity of a planar flame (UL), provided this flame is stable. For large values of the velocity ratio U0/UL, the tip region becomes slender and the curvature of the reaction sheet at the tip increases proportionally to U0/UL. The thermal expansion of the gas across the flame reduces the aspect ratio of the tip region. A qualitative analysis of the structure of the tip region for very exothermic reactions shows that this region ceases to be slender when the burnt-to-fresh gas temperature ratio becomes of the order of the velocity ratio U0/UL. For even larger values of the temperature ratio, the tip region becomes a cap of characteristic size not very different from the thickness of a planar flam
Assessment of electrophoresis and electroosmosis in construction materials: effect of enhancing electrolytes and heavy metals contamination

Electrokinetic effects are those that take place by application of an electric field to porous materials, with the zeta potential as the key parameter. Specifically, in the case of contaminated construction materials, the generation of an electroosmotic flux, with the corresponding dragging due to water transport, is a crucial mechanism to succeed in the treatment of decontamination. Therefore, it is of great interest trying to optimize the treatment by the addition of specific electrolytes enhancing the electrokinetic phenomena. Most of the data of zeta potential found in literature for construction materials are based in micro-electrophoresis measurements, which are quite far of the real conditions of application of the remediation treatments. In this paper, electrophoretic and electroosmotic experiments, with monolithic and powdered material respectively, have been carried out for mortar, brick and granite clean and contaminated with Cs, Sr, Co, Cd, Cu and Pb. The electrolytes tested have been distilled water (DW), Na2–EDTA, oxalic acid, acetic acid and citric acid. The zeta potential values have been determined through the two different techniques and the results compared and critically analysed
PCDDB: the protein circular dichroism data bank, a repository for circular dichroism spectral and metadata

The Protein Circular Dichroism Data Bank (PCDDB) is a public repository that archives and freely distributes circular dichroism (CD) and synchrotron radiation CD (SRCD) spectral data and their associated experimental metadata. All entries undergo validation and curation procedures to ensure completeness, consistency and quality of the data included. A web-based interface enables users to browse and query sample types, sample conditions, experimental parameters and provides spectra in both graphical display format and as downloadable text files. The entries are linked, when appropriate, to primary sequence (UniProt) and structural (PDB) databases, as well as to secondary databases such as the Enzyme Commission functional classification database and the CATH fold classification database, as well as to literature citations. The PCDDB is available at: http://pcddb.cryst.bbk.ac.uk
Design of a magnetostrictive (MS) actuator

Several advanced technologies are introduced in automotive applications. Higher energy density and dynamic performance are demanding new and cost effective actuator structures. Magnetostriction (MS), change in shape of materials under the influence of an external magnetic field, is one of these advanced technologies. Good understanding of specific design constrains is required to define and optimized a magnetostrictive actuator. This paper presents parametrical analysis with magnetic simulation of a magnetostrictive actuator. Proposed actuator has been designed, and the performance has been evaluated on experimental rig. Strain, elongation of the shaft, of 1000ppm at 10Amp and a blocked force over 4500N has been achieved with shaft of 8mm diameter, made of Terfenol-D. Furthermore, the effect of pre-stress of the Terfenol-D shaft has been evaluated experimentally.  The study shows that excellent features can be obtained by magnetostrictive materials for many advanced applications
Anthracological evidence suggests naturalness of Pinus pinaster in inland southwestern Iberia

The study of well-preserved archaeological charcoals in the pre-Roman Iron Age settlement of Castillejos II (Badajoz, Spain) is used to reconstruct environmental conditions and land-use practices in vegetation landscapes in the southwest of the Iberian Peninsula before the arrival of Roman civilization. The results support that, while evergreen Quercus forests dominated during the Holocene, Pinus pinaster existed as a natural element of southwestern Iberian Peninsula vegetation. Although its presence could be linked to anthropogenic disturbance or fire history, it is suggested that P. pinaster populations survived during the Holocene in the region, mixed with oaks or in monospecific stands in mountain enclaves. This hypothesis contrasts with previous assumptions that P. pinaster was not autochthonous in the area
The stress corrosion cracking behaviour of heat-treated Al–Zn–Mg–Cu Alloy in Modified salt Spray Fog Testing

The stress corrosion cracking behaviour of 7075 (Al–Zn–Mg–Cu) alloy have been studied in a salt spray fog chamber with two vapourised aqueous solutions (0 and 5% NaCl). The paper analyses the stress corrosion resistance of 7075 aluminium alloy with several precipitation-ageing heat treatments. The results are compared with that obtained in 3.5% NaCl aqueous solution at 20 °C. The salt spray fog testing has permitted a good evaluation of SCC susceptibility in 7075 alloy. All temper conditions studied were susceptible to SCC in the different environments tested. 7075-T6 temper was the most susceptible, while in all the cases studied 7075-T73 temper was the least susceptible. Compared to 7075-T6, 7075-RRA temper improved the resistance against the SCC process, but the mechanical properties obtained were lower
An empirical mixed model to quantify climate influence on the growth of Pinus halepensis Mill. stands in South-Eastern Spain

The influence of climate on forest stand composition, development and growth is undeniable. Many studies have tried to quantify the effect of climatic variables on forest growth and yield. These works become especially important because there is a need to predict the effects of climate change on the development of forest ecosystems. One of the ways of facing this problem is the inclusion of climatic variables into the classic empirical growth models. The work has a double objective: (i) to identify the indicators which best describe the effect of climate on Pinus halepensis growth and (ii) to quantify such effect in several scenarios of rainfall decrease which are likely to occur in the Mediterranean area.  A growth mixed model for P. halepensis including climatic variables is presented in this work. Growth estimates are based on data from the Spanish National Forest Inventory (SNFI). The best results are obtained for the indices including rainfall, or rainfall and temperature together, with annual precipitation, precipitation effectiveness, Emberger?s index or free bioclimatic intensity standing out among them. The final model includes Emberger?s index, free bioclimatic intensity and interactions between competition and climate indices. The results obtained show that a rainfall decrease about 5% leads to a decrease in volume growth of 5.5?7.5% depending on site quality
The optical properties of CuPbSbS3-bournonite with photovoltaic applications

CuPbSbS3-bournonite is a quaternary semiconductor derived from the Cuâ?Sbâ?S semiconductors with numerous possibilities including optoelectronic and photovoltaic applications. An analysis focusing on the potential for solar cells is carried out starting from first-principles density functional theory with orbital-dependent one-electron potentials. In order to understand the fundamental factors responsible for the absorption, the absorption coefficients have been split into inter- and intra-species contributions. The absorption coefficients are used as a criterion for evaluating the efficiencies when this material is used to absorb sunlight at several concentrations. The results indicate their applicability in photovoltaic devices as absorbent of the solar spectrum with high energy conversion efficiency
Accuracy of a combined heart rate and motion sensor for assessing energy expenditure in free-living adults during a double-blind crossover caffeine trial using doubly labeled water as the reference method.

Dette er siste tekst-versjon av artikkelen, og den kan inneholde små forskjeller fra forlagets pdf-versjon. Forlagets pdf-versjon finner du på www.nature.com: http://dx.doi.org/10.1038/ejcn.2014.51 / This is the final text version of the article, and it may contain minor differences from the journal's pdf version. The original publication is available at www.nature.com: http://dx.doi.org/10.1038/ejcn.2014.51Background/Objectives:

A combined heart rate (HR) and motion sensor (Actiheart) has been proposed as an accurate method for assessing total energy expenditure (TEE) and physical activity energy expenditure (PAEE). However, the extent to which factors such as caffeine may affect the accuracy by which the estimated HR-related PAEE contribution will affect TEE and PAEE estimates is unknown. Therefore, we examined the validity of Actiheart in estimating TEE and PAEE in free-living adults under a caffeine trial compared with doubly labeled water (DLW) as reference criterion.


Subjects/Methods:

Using a double-blind crossover trial (Clinicaltrials.gov ID: #NCT01477294) with two conditions (4-day each with a 3-day-washout period), randomly ordered as caffeine (5 mg/kg per day) and placebo (malt-dextrine) intake, TEE was measured by DLW in 17 physically active men (20–38 years) who were non-caffeine users. In each condition, resting energy expenditure (REE) was assessed by indirect calorimetry and PAEE was calculated as (TEE−(REE+0.1 TEE)). Simultaneously, PAEE and TEE were estimated by Actiheart using an individual calibration (ACC+HRstep).


Results:

Under caffeine, ACC+HRstep explained 76 and 64% of TEE and PAEE from DLW, respectively; corresponding results for the placebo condition were 82 and 66%. No mean bias was found between ACC+HRstep and DLW for TEE (caffeine:-468 kJ per day; placebo:-407 kJ per day), although PAEE was slightly underestimated (caffeine:-856 kJ per day; placebo:-1147 kJ per day). Similar limits of agreement were observed in both conditions ranging from −2066 to 3002 and from −3488 to 1776 kJ per day for TEE and PAEE, respectively.


Conclusions:

Regardless of caffeine intake, the combined HR and motion sensor is valid for estimating free-living energy expenditure in a group of healthy men but is less accurate for an individual assessment.Seksjon for idrettsmedisinske fag / Department of Sports Medicin
Parametric CAPEX, OPEX, and LCOE expressions for offshore wind farms based on global deployment parameters

Installed wind energy capacity has been rapidly increasing over the last decade, with deployments in deeper waters and further offshore, with higher turbine ratings within new farms. Understanding the impact of different deployment factors on the overall cost of wind farms is pertinent toward benchmarking the potential of different investment decision alternatives. In this article, a set of parametric expressions for capital expenditure, operational expenditure, and levelized cost of energy are developed as a function of wind turbine capacity (P), water depth (WD), distance from port (D), and wind farm capacity (P). These expressions have been developed through a series of simulations based on a fully integrated, tested cost model which are then generalized through the application of appropriate nonlinear regression equations for a typical offshore wind farm investment and taking into account most current published cost figures. The effectiveness of the models are countersigned through a series of cases, estimating the predicted values with a maximum error of 3.3%. These expressions will be particularly useful for the preliminary assessment of available deployment sites, offering cost estimates based on global decision variables