pinecone/core-2020-05-10-deduplication huggingface dataset:
An assertion language for constraint logic programs

In an advanced program development environment, such as that discussed in the introduction of this book, several tools may coexist which handle both the program and information on the program in different ways. Also, these tools may interact among themselves and with the user. Thus, the different tools and the user need some way to communicate. It is our design principie that such communication be performed in terms of assertions. Assertions are syntactic objects which allow expressing properties of programs. Several assertion languages have been used in the past in different contexts, mainly related to program debugging. In this chapter we propose a general language of assertions which is used in different tools for validation and debugging of constraint logic programs in the context of the DiSCiPl project. The assertion language proposed is parametric w.r.t. the particular constraint domain and properties of interest being used in each different tool. The language proposed is quite general in that it poses few restrictions on the kind of properties which may be expressed. We believe the assertion language we propose is of practical relevance and appropriate for the different uses required in the tools considered
Flow and fracture behaviour of FV535 steel at different triaxialities, strain rates and temperatures

The new generation jet engines operate at highly demanding working conditions. Such conditions need very precise design which implies an exhaustive study of the engine materials and behaviour in their extreme working conditions. With this purpose, this work intends to describe a numerically-based calibration of the widely-used Johnson–Cook fracture model, as well as its validation through high temperature ballistic impact tests. To do so, a widely-used turbine casing material is studied. This material is the Firth Vickers 535 martensitic stainless steel. Quasi-static tensile tests at various temperatures in a universal testing machine, as well as dynamic tests in a Split Hopkinson Pressure Bar, are carried out at different triaxialities. Using ABAQUS/Standard and LS-DYNA numerical codes, experimental data are matched. This method allows the researcher to obtain critical data of equivalent plastic strain and triaxility, which allows for more precise calibration of the Johnson–Cook fracture model. Such enhancement allows study of the fracture behaviour of the material across its usage temperature range
Study of the temperature distribution in Si nanowires under microscopic laser beam excitation

The use of laser beams as excitation sources for the characterization of semiconductor nanowires (NWs) is largely extended. Raman spectroscopy and photoluminescence (PL) are currently applied to the study of NWs. However, NWs are systems with poor thermal conductivity and poor heat dissipation, which result in unintentional heating under the excitation with a focused laser beam with microscopic size, as those usually used in microRaman and microPL experiments. On the other hand, the NWs have subwavelength diameter, which changes the optical absorption with respect to the absorption in bulk materials. Furthermore, the NW diameter is smaller than the laser beam spot, which means that the optical power absorbed by the NW depends on its position inside the laser beam spot. A detailed analysis of the interaction between a microscopic focused laser beam and semiconductor NWs is necessary for the understanding of the experiments involving laser beam excitation of NWs. We present in this work a numerical analysis of the thermal transport in Si NWs, where the heat source is the laser energy locally absorbed by the NW. This analysis takes account of the optical absorption, the thermal conductivity, the dimensions, diameter and length of the NWs, and the immersion medium. Both free standing and heat-sunk NWs are considered. Also, the temperature distribution in ensembles of NWs is discussed. This analysis intends to constitute a tool for the understanding of the thermal phenomena induced by laser beams in semiconductor NWs
Temporal task allocation in periodic environments. An approach based on synchronization

In this paper, we study a robot swarm that has to perform task allocation in an environment that features periodic properties. In this environment, tasks appear in different areas following periodic temporal patterns. The swarm has to reallocate its workforce periodically, performing a temporal task allocation that must be synchronized with the environment to be effective.\ud
We tackle temporal task allocation using methods and concepts that we borrow from the signal processing literature. In particular, we propose a distributed temporal task allocation algorithm that synchronizes robots of the swarm with the environment and with each other. In this algorithm, robots use only local information and a simple visual communication protocol based on light blinking. Our results show that a robot swarm that uses the proposed temporal task allocation algorithm performs considerably more tasks than a swarm that uses a greedy algorithm
Use of Schizosaccharomyces strains for wine fermentation? Effect on the wine composition and food safety

Schizosaccharomyceswas initially considered as a spoilage yeast because of the production of undesirable metabolites such as acetic acid, hydrogen sulfide, or acetaldehyde, but it currently seems to be of great value in enology.o ced Nevertheless, Schizosaccharomyces can reduce all of the malic acid in must, leading to malolactic fermentation. Malolactic fermentation is a highly complicated process in enology and leads to a higher concentration of biogenic amines, so the use of Schizosaccharomyces pombe can be an excellent tool for assuring wine safety. Schizosaccharomyces also has much more potential than only reducing the malic acid content, such as increasing the level of pyruvic acid and thus the vinylphenolic pyranoanthocyanin content. Until now, few commercial strains have been available and little research on the selection of appropriate yeast strains with such potential has been conducted. In this study, selected and wild Sc. pombe strains were used along with a Saccharomyces cerevisiae strain to ferment red grape must. The results showed significant differences in several parameters including non-volatile and volatile compounds, anthocyanins, biogenic amines and sensory parameters
The diatomic dication SiC2+ in the gas phase

Producción CientíficaThe diatomic dication SiC2+ in the gas phase is studied using the state- averaged version of the CASSCF method and the state-specific MRMP per- turbation theory to recover dynamical correlation effects. Thirteen different electronic states of the dication were found and characterized, ten of them being metastable electronic states. The ground state is characterized by a 3_ electronic state. The leading configuration state functions are provided for each electronic state. For completeness, a similar study is presented both for SiC and for SiC+. The present results are in excellent agreement with results obtained by other authors. The adiabatic ionization energies of SiC+ to form SiC2+  are within a range from about 16 eV to about 19.5 eV. This finding indicates that a projectile, whose ionization energy lies within that range could be eventually used to produce the dication. Lifetimes and radiative transition dipole moments are also calculated and reported.Junta de Castilla y León (programa de apoyo a proyectos de investigación – Ref. VA050U14
Synergistic effect of V and Mn oxyanions for the corrosion protection of anodized aerospace aluminum alloy

In the present study sulphuric acid anodized oxide layer was sealed with permanganate (MnO) and permanganate–vanadate (MnVO) ions. The effect of the incorporation of these oxyanions on the corrosion performance of plain oxide layer (PO) was investigated by various characterization techniques such as field emission scanning electron microscopy (FESEM), energy dispersive X-ray analysis (EDAX), atomic force microscopy (AFM), X-ray photoelectron spectroscopy (XPS) and Raman spectroscopy. The barrier layer resistance value of plain oxide layer was increased about 13 times due to the incorporation of mixed Mn–V oxyanions. The damage function (D) calculations revealed the self-healing mechanism of MnVO. The potentiodynamic polarization results showed higher corrosion inhibition performance of MnVO compared to that of MnO even after 336 h of immersion in 3.5% (0.6 M) NaCl solution. No sign of visible corrosion products were observed on MnVO surface even after 2000 h of continuous salt spray exposure
Building 'cowshed cultures': A cultural perspective on the promotion of stockmanship and animal welfare on dairy farms

-Improving animal welfare is an important part of the development of the agricultural industry, particularly
at a time when intensification and the encroachment of factory-style production systems is
making the maintenance of human-animal relations increasingly difficult. Animal science deals with the
issue of improving stockmanship by focusing on the relationships between attitudes and behaviour,
under the premise that improved attitudes will lead to improved behaviour. From an analysis of 42
interviews with owners, sharemilkers and workers on dairy farms in New Zealand we present a different
view, seeing behaviour instead as part of a self-reinforcing culture in which animals, humans and the
physical structure all contribute to the development of farm specific ways of doing and being.We further
suggest that changing one stockperson’s attitude alone is insufficient to ensure a change in the culture as
other actors e including animals and non-human actors e reinforce any existing culture that has
developed, making both attitudinal and behavioural change difficult. We conclude by discussing the key
importance of designing farm systems and structures that promote positive interactions between
animals and humans and suggest that this, rather than simply promoting knowledge and attitudinal
change, is likely to be the most effective way of maintaining stockmanship in the face of an industrialising
agriculture
Multi-scale coarse-graining for the study of assembly pathways in DNA-brick self assembly

Inspired by recent successes using single-stranded DNA tiles to produce complex structures, we develop a two-step coarse-graining approach that uses detailed thermodynamic calculations with oxDNA, a nucleotide-based model of DNA, to parametrize a coarser kinetic model that can reach the time and length scales needed to study the assembly mechanisms of these structures. We test the model by performing a detailed study of the assembly pathways for a two-dimensional target structure made up of 334 unique strands each of which are 42 nucleotides long. Without adjustable parameters, the model reproduces a critical temperature for the formation of the assembly that is close to the temperature at which assembly first occurs in experiments. Furthermore, the model allows us to investigate in detail the nucleation barriers and the distribution of critical nucleus shapes for the assembly of a single target structure. The assembly intermediates are compact and highly connected (although not maximally so) and classical nucleation theory provides a good fit to the height and shape of the nucleation barrier at temperatures close to where assembly first occurs
A new approach to formulating and appraising drug policy: a multi-criterion decision analysis applied to alcohol and cannabis regulation

BACKGROUND: Drug policy, whether for legal or illegal substances, is a controversial field that encompasses many complex issues. Policies can have effects on a myriad of outcomes and stakeholders differ in the outcomes they consider and value, while relevant knowledge on policy effects is dispersed across multiple research disciplines making integrated judgements difficult. METHODS: Experts on drug harms, addiction, criminology and drug policy were invited to a decision conference to develop a multi-criterion decision analysis (MCDA) model for appraising alternative regulatory regimes. Participants collectively defined regulatory regimes and identified outcome criteria reflecting ethical and normative concerns. For cannabis and alcohol separately, participants evaluated each regulatory regime on each criterion and weighted the criteria to provide summary scores for comparing different regimes. RESULTS: Four generic regulatory regimes were defined: absolute prohibition, decriminalisation, state control and free market. Participants also identified 27 relevant criteria which were organised into seven thematically related clusters. State control was the preferred regime for both alcohol and cannabis. The ranking of the regimes was robust to variations in the criterion-specific weights. CONCLUSION: The MCDA process allowed the participants to deconstruct complex drug policy issues into a set of simpler judgements that led to consensus about the results
Be careful where you smile : culture shapes judgments of intelligence and honesty of smiling individuals

Smiling individuals are usually perceived more favorably than non-smiling ones—they are judged as happier, more attractive, competent, and friendly. These seemingly clear and obvious consequences of smiling are assumed to be culturally universal, however most of the psychological research is carried out in WEIRD societies (Western, Educated, Industrialized, Rich, and Democratic) and the influence of culture on social perception of nonverbal behavior is still understudied. Here we show that a smiling individual may be judged as less intelligent than the same non-smiling individual in cultures low on the GLOBE’s uncertainty avoidance dimension. Furthermore, we show that corruption at the societal level may undermine the prosocial perception of smiling—in societies with high corruption indicators, trust toward smiling individuals is reduced. This research fosters understanding of the cultural framework surrounding nonverbal communication processes and reveals that in some cultures smiling may lead to negative attributions
Voltage-gated sodium channels as targets for pyrethroid insecticides

The pyrethroid insecticides are a very successful group of compounds that have been used extensively for the
control of arthropod pests of agricultural crops and vectors of animal and human disease. Unfortunately, this has led to the development of resistance to the compounds in many species. The mode of action of pyrethroids is known to be via interactions with the voltage-gated sodium channel. Understanding how binding to the channel is affected by amino acid substitutions
that give rise to resistance has helped to elucidate the
mode of action of the compounds and the molecular basis of their selectivity for insects vs mammals and between insects and other arthropods. Modelling of the channel/pyrethroid interactions, coupled with the ability to express mutant channels in oocytes and study function, has led to knowledge of both how the channels function and potentially how to design novel insecticides with greater species selectivity
A video-rate range sensor based on depth from defocus

Recovering the depth information derived from dynamic scenes implies real-time range estimation. This paper addresses the implementation of a bifocal range sensor which estimates the depth by measuring the relative blurring between two images captured with different focal settings. To recover the depth accurately even in cases when the scene is textureless, one possible solution is to project a structured light on the scene. As a consequence, in the scene's spectrum a spatial frequency derived from illumination pattern is evident. The resulting algorithm involves only simple local operations, this assures the possibility of computing the depth at a rate of 10 frames per second. The experimental results indicate that the accuracy of this proposed sensor compares well with that offered by other methods such as stereo and motion parallax, while avoiding the problems caused by occlusion and missing parts
Brain and liver mitochondria isolated from diabeticGoto-Kakizaki rats show different susceptibility to induced oxidative stress

Increased oxidative stress and changes in antioxidant capacity observed in both clinical and experimental diabetes mellitus have been implicated in the etiology of chronic diabetic complications. Many authors have shown that hyperglycemia leads to an increase in lipid peroxidation in diabetic patients and animals reflecting a rise in reactive oxygen species production. The aim of the study was to compare the susceptibility of mitochondria from brain and liver of Goto-Kakizaki (12-month-old diabetic) rats (GK rats), a model of non-insulin dependent diabetes mellitus, to oxidative stress and antioxidant defenses.Brain and liver mitochondrial preparations were obtained by differential centrifugation. Oxidative damage injury was induced in vitro by the oxidant pair ADP/Fe2+ and the extent of membrane oxidation was assessed by oxygen consumption, malondialdehyde (MDA) and thiobarbituric acid reactive substances (TBARS) formation. Coenzyme Q and alpha-tocopherol contents were measured by high-performance liquid chromatography (HPLC).Brain mitochondria isolated from 12-month-old control rats displayed a higher susceptibility to lipid peroxidation, as assessed by oxygen consumption and formation of MDA and TBARS, compared to liver mitochondria. In GK rats, mitochondria isolated from brain were more susceptible to invitro oxidative damage than brain mitochondria from normal rats. In contrast, liver mitochondria from diabetic rats were less susceptible to oxidative damage than mitochondria from normal rats. This decreased susceptibility was inversely related to their alpha-tocopherol and coenzyme Q (CoQ) content.The present results indicate that the diabetic state can result in an elevation of both alpha-tocopherol and CoQ content in liver, which may be involved in the elimination of mitochondrially generated reactive oxygen species. The difference in the antioxidant defense mechanisms in the brain and liver mitochondrial preparations of moderately hyperglycemic diabetic GK rats may correspond to a different adaptive response of the cells to the increased oxidative damage in diabetes. Copyright © 2001 John Wiley & Sons, Ltd.http://dx.doi.org/10.1002/dmrr.20
Robustness and autonomy in biological systems: how regulatory mechanisms enable functional integration, complexity and minimal cognition through the action of second-order control constraints

Living systems employ several mechanisms and behaviors to achieve robustness and maintain themselves under changing internal and external conditions. Regulation stands out from them as a specific form of higher-order control, exerted over the basic regime responsible for the production and maintenance of the organism, and provides the system with the capacity to act on its own constitutive dynamics. It consists in the capability to selectively shift between different available regimes of self-production and self-maintenance in response to specific signals and perturbations, due to the action of a dedicated subsystem which is operationally distinct from the regulated ones. The role of regulation, however, is not exhausted by its contribution to maintain a living system’s viability. While enhancing robustness, regulatory mechanisms play a fundamental role in the realization of an autonomous biological organization. Specifically, they are at the basis of the remarkable integration of biological systems, insofar as they coordinate and modulate the activity of distinct functional subsystems. Moreover, by implementing complex and hierarchically organized control architectures, they allow for an increase in structural and organizational complexity while minimizing fragility. Finally, they endow living systems, from their most basic unicellular instances, with the capability to control their own internal dynamics to adaptively respond to specific features of their interaction with the environment, thus providing the basis for the emergence of minimal forms of cognition
A knowledge based framework to support active aging at home based environments

Information and Communication Technologies can support Active Aging strategies in a scenario like the Smart Home. This paper details a person centered distributed framework, called TALISMAN+, whose aim is to promote\ud
 personal autonomy by taking advantage of knowledge based technologies, sensors networks, mobile devices and internet. The proposed solution can support an elderly person to keep living alone at his house without being obliged to move to a residential center. The framework is composed by five subsystems: a reasoning module that is able to take local decisions at home in order to support active aging, a biomedical variables telemonitorisation platform running on a mobile device, a hybrid reasoning middleware aimed to assess cardiovascular risk in a remote way, a private vision based sensor subsystem, and a secure telematics solution that guarantees confidentiality for personal information. TALISMAN+ framework deployment is being evaluated at a real environment like the Accessible Digital Home
Finite Gauge Transformations and Geometry in Double Field Theory

Recently proposed forms for gauge transformations with finite parameters in
double field theory are discussed and problematic issues are identified. A new
form for finite gauge transformations is derived that reveals the underlying
gerbe structure and the close relationship with generalised geometry. The
nature of generalised tensors is elucidated, and in particular it is seen that
the presence of a constant metric with split signature does not restrict the
doubled geometry, provided it is a generalised tensor rather than a
conventional tensor.Comment: 28 page
Does seasonality drive spatial patterns in demography? Variation in survival in African reed warblers Acrocephalus baeticatus across southern Africa does not reflect global patterns

Among birds, northern temperate species generally have larger clutches, shorter development periods and lower adult survival than similarly-sized southern and tropical species. Even though this global pattern is well accepted, the driving mechanism is still not fully understood. The main theories are founded on the differing environmental seasonality of these zones (higher seasonality in the North). These patterns arise in cross-species comparisons, but we hypothesized that the same patterns should arise among populations within a species if different types of seasonality select for different life histories. Few studies have examined this. We estimated survival of an azonal habitat specialist, the African reed warbler, across the environmentally diverse African subcontinent, and related survival to latitude and to the seasonality of the different environments of their breeding habitats. Data (1998–2010) collected through a public ringing scheme were analyzed with hierarchical capture-mark-recapture models to determine resident adult survival and its spatial variance across sixteen vegetation units spread across four biomes. The models were defined as state-space multi-state models to account for transience and implemented in a Bayesian framework. We did not find a latitudinal trend in survival or a clear link between seasonality and survival. Spatial variation in survival was substantial across the sixteen sites (spatial standard deviation of the logit mean survival: 0.70, 95% credible interval (CRI): 0.33–1.27). Mean site survival ranged from 0.49 (95% CRI: 0.18–0.80) to 0.83 (95% CRI: 0.62–0.97) with an overall mean of 0.67 (95% CRI: 0.47–0.85). A hierarchical modeling approach enabled us to estimate spatial variation in survival of the African reed warbler across the African subcontinent from sparse data. Although we could not confirm the global pattern of higher survival in less seasonal environments, our findings from a poorly studied region contribute to the study of life-history strategies