pinecone/core-2020-05-10-deduplication huggingface dataset:
Improving the efficiency of nondeterministic indepemndent and-parallel systems

We present the design and implementation of the and-parallel component of ACE. ACE is a computational model for the full Prolog language that simultaneously exploits both or-parallelism and independent and-parallelism. A high performance implementation of the ACE model has been realized and its performance reported in this paper. We discuss how some of the standard problems which appear when implementing and-parallel systems are solved in ACE. We then propose a number of optimizations aimed at reducing the overheads and the increased memory consumption which occur in such systems when using previously proposed solutions. Finally, we present results from an implementation of ACE which includes the optimizations proposed. The results show that ACE exploits and-parallelism\ud
with high efficiency and high speedups. Furthermore, they also show that the proposed optimizations, which are applicable to many other and-parallel systems, significantly decrease memory consumption and increase speedups and absolute performance both in forwards\ud
execution and during backtracking
An architectural model for software testing lesson learned systems

Software testing is a key aspect of software reliability and quality assurance in a context where software development constantly has to overcome mammoth challenges in a continuously changing environment. One of the characteristics of software testing is that it has a large intellectual capital component and can thus benefit from the use of the experience gained from past projects. Software testing can, then, potentially benefit from solutions provided by the knowledge management discipline. There are in fact a number of proposals concerning effective knowledge management related to several software engineering processes. Objective: We defend the use of a lesson learned system for software testing. The reason is that such a system is an effective knowledge management resource enabling testers and managers to take advantage of the experience locked away in the brains of the testers. To do this, the experience has to be gathered, disseminated and reused. Method: After analyzing the proposals for managing software testing experience, significant weaknesses have been detected in the current systems of this type. The architectural model proposed here for lesson learned systems is designed to try to avoid these weaknesses. This model (i) defines the structure of the software testing lessons learned; (ii) sets up procedures for lesson learned management; and (iii) supports the design of software tools to manage the lessons learned. Results: A different approach, based on the management of the lessons learned that software testing engineers gather from everyday experience, with two basic goals: usefulness and applicability. Conclusion: The architectural model proposed here lays the groundwork to overcome the obstacles to sharing and reusing experience gained in the software testing and test management. As such, it provides guidance for developing software testing lesson learned systems
Extended description of tunnel junctions for distributed modeling of concentrator multi-junction solar cells

One of the key components of highly efficient multi-junction concentrator solar cells is the tunnel junction interconnection. In this paper, an improved 3D distributed model is presented that considers real operation regimes in a tunnel junction. This advanced model is able to accurately simulate the operation of the solar cell at high concentraions at which the photogenerated current surpasses the peak current of the tunnel junctionl Simulations of dual-junction solar cells were carried out with the improved model to illustrate its capabilities and the results have been correlated with experimental data reported in the literature. These simulations show that under certain circumstances, the solar cells short circuit current may be slightly higher than the tunnel junction peak current without showing the characteristic dip in the J-V curve. This behavior is caused by the lateral current spreading toward dark regions, which occurs through the anode/p-barrier of the tunnel junction
An extension of Mohring’s model for land rent distribution

In an early paper Herbert Mohring (J. Poi Et on , 49 (1961)) presented a model for land rent distribution yielding the well-known result that the price of land must fall with the distance from the city center to offset transportation costs. Our paper is an extension of Mohring's model in which we relax some of his drastic simplifying assumptions. This extended model has been incorporated in a method for economic evaluation of city master plans which has been applied to a Swedish city. In this method the interdependence among housing, heating, and transportation, the dura-bility of urban structures, and the uncertainty of future demand are explicitly considered within a cost-benefit approach. Some empirical results from this pilot study concerning land rent distributions are also presented here
Numerical issues in Lagrangian tracking and topological evolution of fluid particles in wallbounded turbulent flows

The determination of the local Lagrangian evolution of the flow topology in wall-bounded turbulence, and of the Lagrangian evolution associated with entrainment across the turbulent / non-turbulent interface into a turbulent boundary layer, require accurate tracking of a fluid particle and its local velocity gradients. This paper addresses the implementation of fluid-particle tracking in both a turbulent boundary layer direct numerical simulation and in a fully developed channel flow simulation. Determination of the sub-grid particle velocity is performed using both cubic B-spline, four-point Hermite spline and higher-order Hermite spline interpolation. Both wall-bounded flows show similar oscillations in the Lagrangian tracers of both velocity and velocity gradients, corresponding to the movement of particles across the boundaries of computational cells. While these oscillation in the particle velocity are relatively small and have negligible effect on the particle trajectories for time-steps of the order of CFL = 0.1, they appear to be the cause of significant oscillations in the evolution of the invariants of the velocity gradient tensor
Direct and adjoint global stability analysis of turbulent transonic flows over a NACA0012 profile

In this work, various turbulent solutions of the two-dimensional (2D) and three-dimensional compressible Reynolds averaged Navier?Stokes equations are analyzed using global stability theory. This analysis is motivated by the onset of flow unsteadiness (Hopf bifurcation) for transonic buffet conditions where moderately high Reynolds numbers and compressible effects must be considered. The buffet phenomenon involves a complex interaction between the separated flow and a shock wave. The efficient numerical methodology presented in this paper predicts the critical parameters, namely, the angle of attack and Mach and Reynolds numbers beyond which the onset of flow unsteadiness appears. The geometry, a NACA0012 profile, and flow parameters selected reproduce situations of practical interest for aeronautical applications.\ud
 The numerical computation is performed in three steps. First, a steady baseflow solution is obtained; second, the Jacobian matrix for the RANS equations based on a finite volume discretization is computed; and finally, the generalized eigenvalue problem is derived when the baseflow is linearly perturbed. The methodology is validated predicting the 2D Hopf bifurcation for a circular cylinder under laminar flow condition. This benchmark shows good agreement with the previous published computations and experimental data.\ud
 In the transonic buffet case, the baseflow is computed using the Spalart?Allmaras turbulence model and represents a mean flow where the high frequency content and length scales of the order of the shear-layer thickness have been averaged. The lower frequency content is assumed to be decoupled from the high frequencies, thus allowing a stability analysis to be performed on the low frequency range. In addition, results of the corresponding adjoint problem and the sensitivity map are provided for the first time for the buffet problem. Finally, an extruded three-dimensional geometry of the NACA0012 airfoil, where all velocity components are considered, was also analyzed as a Triglobal stability case, and the outcoming results were compared to the previous 2D limited model, confirming that the buffet onset is well detected
Simulation model of a variable-speed pumped-storage power plant in unstable operating conditions in pumping mode

This paper presents a dynamic simulation model of a laboratory-scale pumped-storage power plant (PSPP) operating in pumping mode with variable speed. The model considers the dynamic behavior of the conduits by means of an elastic water column approach, and synthetically generates both pressure and torque pulsations that reproduce the operation of the hydraulic machine in its instability region. The pressure and torque pulsations are generated each from a different set of sinusoidal functions. These functions were calibrated from the results of a CFD model, which was in turn validated from experimental data. Simulation model results match the numerical results of the CFD model with reasonable accuracy. The pump-turbine model (the functions used to generate pressure and torque pulsations inclusive) was up-scaled by hydraulic similarity according to the design parameters of a real PSPP and included in a dynamic simulation model of the said PSPP. Preliminary conclusions on the impact of unstable operation conditions on the penstock fatigue were obtained by means of a Monte Carlo simulation-based fatigue analysis
Intergranular pore space evolution in MX80 bentonite during a long-term experiment

Focused ion beam nanotomography (FIB-nt) was applied to MX80 bentonite samples from the long-term Alternative Buffer Material (ABM) experiment in order to study the evolution of the intergranular pore space under similar condition that is supposed to prevail in repositories of nuclear waste. The applied high-resolution imaging method revealed the presence of two different types of pore filler. The first type is related to corrosion of iron and is represented by newly formed heavy minerals. Extensive formation of heavy minerals occurred only near the iron parts of the experimental set up. Based on comparison with other studies, the second filler type was interpreted as clay-gel that was likely formed during water uptake and swelling. A large fraction of the initial pore space was filled with such a clay gel. By attributing filled pores to the present open porosity, the initial intergranular porosity (radii > 10 nm) of the starting material was in the range of 4.3–4.6 vol.%, which was reduced to < 1 vol.% during the experiment. A finite scaling approach was applied to the initial pore space (i.e. pores with radii > 10 nm), which yielded percolation thresholds with critical porosities ϕ in the range of 3–19 vol.%. Thus, the residual open porosity was far below the percolation threshold.
The initial porosity of one sample was above the percolation threshold, but also in this material percolation was restricted to one spatial direction. This indicated anisotropy with respect to percolation. The formation of a clay-gel and heavy minerals led to a decrease in intergranular porosity, which in turn affected connectivity of the pore network. Using results from pore-network modelling in combination with percolation theory illustrates that a minor reduction of porosity led to a substantial decrease in pore connectivity. Depending on water saturation within the observed intergranular pore space, air permeability decreases exponentially over three to four orders of magnitude within a narrow porosity range of about 1 vol.%.
Based on observations and calculations, gas transport along the intergranular pore space of MX80 bentonite from the ABM experiment is not considered as a possible scenario and can reasonably be excluded
Photosynthetic biogas upgrading to bio-methane: Boosting nutrient recovery via biomass productivity control

Producción CientíficaA pilot high rate algal pond (HRAP) interconnected to an external CO2–H2S absorption column via settled broth recirculation was used to simultaneously treat a synthetic digestate and to upgrade biogas to a bio-methane with sufficient quality to be injected into natural gas grids. An innovative HRAP operational strategy with biomass recirculation based on the control of algal-bacterial biomass productivity (2.2, 4.4 and 7.5 g m− 2 d− 1) via settled biomass wastage was evaluated in order to enhance nutrient recovery from digestate at a constant hydraulic retention time. The influence of the recycling liquid to biogas (L/G) ratio on the quality of the upgraded biogas was assessed. The bio-methane composition under a L/G ratio of 1 (0.4 ± 0.1% CO2, 0.03 ± 0.04% O2, 2.4 ± 0.2% N2 and 97.2 ± 0.2% CH4) complied with the technical specifications of most European bio-methane legislations regardless of the biomass productivity established. The HRAP operational strategy applied allowed increasing the N and P recovery from 19 and 22% to 83 and 100%, respectively, when the biomass productivity was increased from 2.2 to 7.5 g m− 2 d− 1. Finally, the dynamics of microalgae and bacteria population structure were characterized by morphological identification and Denaturing Gradient Gel Electrophoresis analysis.Ministerio de Economía, Industria y Competitividad (Proyect CTM2015-70442-R
Excitation energy and deformation of the 1/2+[431] intruder band in $^{107}Tc$

The already detailed study of $^{107}Tc$ nucleus was complemented by a search for microsecond isomers at very low energy. For this purpose, this neutron-rich nucleus was produced by thermal-neutron-induced fission of $^{241}Pu$. We have found a new 30.1 keV microsecond isomeric state which deexcites to the ground state by a strongly-hindered E1 transition. This isomer was identified as the 3/2+ level of the 1/2+[431] intruder band in $^{107}Tc$ and is also the lowest-lying member of the band. The very low energy of the band head suggests a large quadrupole deformation. From a comparison with $^{105}Tc$,where more information is known about the intruder band, it is deduced that the 1/2+[431] band has a quadrupole deformation, $\epsilon_{2} \geq$ 0.35 and a possible triaxial shape, $\gamma \approx$ 20°
Generalized Gibbs ensembles for time dependent processes

An information theory description of finite systems explicitly evolving in time is presented for classical as well as quantum mechanics. We impose a variational principle on the Shannon entropy at a given time while the constraints are set at a former time. The resulting density matrix deviates from the Boltzmann kernel and contains explicit time odd components which can be interpreted as collective flows. Applications include quantum brownian motion, linear response theory, out of equilibrium situations for which the relevant information is collected within different time scales before entropy saturation, and the dynamics of the expansion
Validation of the exercise and eating disorders questionnaire

Objective: 


Compulsive exercise is a well-known feature in eating disorders. The Exercise and Eating Disorder (EED) self-report questionnaire was developed to assess aspects of compulsive exercise not adequately captured by existing instruments. This study aimed to test psychometric properties and the factor structure of the EED among women with eating disorders and a control group.


Method: 


The study included 449 female participants, including 244 eating disorders patients and 205 healthy controls. The patient group consisted of 32.4% (n = 79) AN patients, 23.4% (n = 57) BN, 34.4% (n = 84) EDNOS and 9.8% (n = 24) with BED diagnosis.


Results: 


The analyses confirmed adequate psychometric properties of the EED, with a four-factor solution: (1) compulsive exercise, (2) positive and healthy exercise, (3) awareness of bodily signals, and (4) weight and shape exercise. The EED discriminated significantly (p < .001) between patients and controls on the global score, subscales, and individual items. Test-retest reliability was satisfactory (r = 0.86). Convergent validity was demonstrated by high correlations between the EED and the Eating Disorder Examination Questionnaire (EDE-Q; r = 0.79).


Discussion: 


The EED is the first clinically derived, self-report questionnaire to assess compulsive exercise among ED patients. The EED offers assessment that has broader clinical utility than existing instruments because it identifies treatment targets and treatment priorities. © 2015 Wiley Periodicals, Inc. (Int J Eat Disord 2015; 48:983–993).This is an open access article under the terms of the Creative Commons Attribution-NonCommercial-NoDerivs License, which permits use and distribution in any medium, provided the original work is properly cited, the use is non-commercial and no modifications or adaptations are made
Sex-specific effects of intranasal oxytocin on autonomic nervous system and emotional responses to couple conflict

Erworben im Rahmen der Schweizer Nationallizenzen (http://www.nationallizenzen.ch)Unhappy couple relationships are associated with impaired individual health, an effect thought to be mediated through ongoing couple conflicts. Little is known, however, about the underlying mechanisms regulating psychobiological stress, and particularly autonomic nervous system (ANS) reactivity, during negative couple interaction. In this study, we tested the effects of the neuropeptide oxytocin on ANS reactivity during couple conflict in a standardized laboratory paradigm. In a double-blind, placebo-controlled design, 47 heterosexual couples (total n = 94) received oxytocin or placebo intranasally prior to instructed couple conflict. Participants’ behavior was videotaped and salivary alpha-amylase (sAA), a measure of sympathetic activity, and emotional arousal were repeatedly measured during the experiment. Oxytocin significantly reduced sAA during couple conflict in women, whereas men showed increases in sAA levels (sex × group interaction: B = −49.36, t = −2.68, P = 0.009). In men, these increases were related to augmented emotional arousal (r = 0.286, P = 0.028) and more positive behavior (r = 0.291, P = 0.026), whereas there was no such association in women. Our results imply sex-specific effects of oxytocin on sympathetic activity, to negative couple interaction, with the neuropeptide reducing sAA responses and emotional arousal in women while increasing them in men
RACE : remote analysis computation for gene expression data

The Remote Analysis Computation for gene Expression data (RACE) suite is a collection of bioinformatics web tools designed for the analysis of DNA microarray data. RACE performsprobe-level data preprocessing,extensive quality checks, data visualization anddatanormalization for AffymetrixGeneChips. In addition, it offers differential expression analysis on normalized expression levels from any array platform. RACE estimates the false discovery rates of lists of potentially regulated genes and provides a Gene Ontology-term analysis tool for GeneChip data to support the biological interpretation and annotation of results. The analysis is fully automated but can be customized by flexible parameter settings. To offer a convenient starting point for subsequent analyses, and to provide maximum transparency, the R scripts used to generate the results can be downloaded along with the output files. RACE is freely available for use at http://race.unil.ch
SH3 interactome conserves general function over specific form

Src homology 3 (SH3) domains bind peptides to mediate protein–protein interactions that assemble and regulate dynamic biological processes. We surveyed the repertoire of SH3 binding specificity using peptide phage display in a metazoan, the worm Caenorhabditis elegans, and discovered that it structurally mirrors that of the budding yeast Saccharomyces cerevisiae. We then mapped the worm SH3 interactome using stringent yeast two-hybrid and compared it with the equivalent map for yeast. We found that the worm SH3 interactome resembles the analogous yeast network because it is significantly enriched for proteins with roles in endocytosis. Nevertheless, orthologous SH3 domain-mediated interactions are highly rewired. Our results suggest a model of network evolution where general function of the SH3 domain network is conserved over its specific form
Dysfunctional and compensatory duality in mild cognitive impairment during a continuous recognition memory task

One of the current issues of debate in the study of mild cognitive impairment (MCI) is deviations of oscillatory brain responses from normal brain states and its dynamics. This work aims to characterize the differences of power in brain oscillations during the execution of a recognition memory task in MCI subjects in comparison with elderly controls. Magnetoencephalographic (MEG) signals were recorded during a continuous recognition memory task performance. Oscillatory brain activity during the recognition phase of the task was analyzed by wavelet transform in the source space by means of minimum norm algorithm. Both groups obtained a 77% hit ratio. In comparison with healthy controls, MCI subjects showed increased theta (p < 0.001), lower beta reduction (p < 0.001) and decreased alpha and gamma power (p < 0.002 and p < 0.001 respectively) in frontal, temporal and parietal areas during early and late latencies. Our results point towards a dual pattern of activity (increase and decrease) which is indicative of MCI and specific to certain time windows, frequency bands and brain regions. These results could represent two neurophysiological sides of MCI. Characterizing these opposing processes may contribute to the understanding of the disorder
Three-Dimensional Analysis of Spiny Dendrites Using Straightening and Unrolling Transforms

Current understanding of the synaptic organization of the brain depends to a large extent on knowledge about the synaptic inputs to the neurons. Indeed, the dendritic surfaces of pyramidal cells (the most common neuron in the cerebral cortex) are covered by thin protrusions named dendritic spines. These represent the targets of most excitatory synapses in the cerebral cortex and therefore, dendritic spines prove critical in learning, memory and cognition. This paper presents a new method that facilitates the analysis of the 3D structure of spine insertions in dendrites, providing insight on spine distribution patterns. This method is based both on the implementation of straightening and unrolling transformations to move the analysis process to a planar, unfolded arrangement, and on the design of DISPINE, an interactive environment that supports the visual analysis of 3D patterns
Comparison of several closure approximations for evaluating the thermoelastic properties of an injection molded short-fiber composite

The accurate prediction of both the elastic properties and the thermal expansion coefficients is very important for the precise simulation of such processes as injection molding of short-fiber polymer-matrix composites. In this work, a two-step homogenization procedure is applied and compared with experimental values obtained on a polyarylamide/glass fiber composite for a broad range of temperatures. It is observed that the stiffness averaging version of the model surpasses the compliance averaging variant, especially when it is combined with a precise evaluation of the fourth-order orientation tensor. It is also demonstrated that the orthotropic closure approximations are significantly better than previous ones (linear, quadratic, and hybrid) and than a very recent one. Among the orthotropic closure approximations, the fitted ones lead to acceptable results, which are very close to those obtained with the experimentally measured fourth-order orientation tensor