pinecone/core-2020-05-10-deduplication huggingface dataset:
A genetic algorithm approach for the TV self-promotion assignment problem

We report on the development of a Genetic Algorithm (GA), which has been integrated into a Decision Support
System to plan the best assignment of the weekly self-promotion space for a TV station. The problem addressed consists on
deciding which shows to advertise and when such that the number of viewers, of an intended group or target, is maximized.
The GA proposed incorporates a greedy heuristic to find good initial solutions. These solutions, as well as the solutions later
obtained through the use of the GA, go then through a repair procedure. This is used with two objectives, which are addressed
in turn. Firstly, it checks the solution feasibility and if unfeasible it is fixed by removing some shows. Secondly, it tries to
improve the solution by adding some extra shows. Since the problem faced by the commercial TV station is too big and has
too many features it cannot be solved exactly. Therefore, in order to test the quality of the solutions provided by the proposed
GA we have randomly generated some smaller problem instances. For these problems we have obtained solutions on average
within 1% of the optimal solution value
Automated verification of the FreeRTOS scheduler in HIP/SLEEK

Automated verification of operating system kernels is a challenging problem, partly due to the use of shared mutable data structures. In this paper, we show how we can automatically verify memory safety and functional correctness properties of the task scheduler component of the FreeRTOS kernel using the verification system Hip/Sleek. We show how some of Hip/Sleek features like user-defined predicates and lemmas make the specifications highly expressive and
the verification process viable. To the best of our knowledge, this is the first code-level verification of memory safety and functional correctness properties of the FreeRTOS scheduler. The outcome of our experiment confirms that Hip/Sleek can indeed be used to verify code that is used in production. Moreover, since the properties that we verify are quite general, we envisage that the same approach can be adopted to verify components of other operating systems
An exact extended formulation for the unrelated parallel machine total weighted completion time problem

The plethora of research on NP-hard parallel machine scheduling problems is focused on heuristics due to the theoretically and practically challenging nature of these problems. Only a handful of exact approaches are available\ud
in the literature, and most of these suffer from scalability issues. Moreover, the majority of the papers on the subject are restricted to the identical parallel machine scheduling environment. In this context, the main contribution of this work is to recognize and prove that a particular preemptive relaxation for the problem of minimizing the total weighted completion time (TWCT) on a set of unrelated parallel machines naturally admits a non-preemptive optimal solution and gives rise to an exact mixed integer linear programming formulation of the problem. Furthermore, we exploit the structural properties of TWCT and attain a very fast and scalable exact Benders decomposition-based algorithm for solving this formulation. Computationally, our approach holds great promise and may even be embedded into iterative algorithms for more complex shop scheduling problems as instances with up to 1000 jobs and 8 machines are solved to optimality within a few seconds
The Speed of Light and the Hubble Parameter: The Mass-Boom Effect

We prove here that Newton’s universal gravitation and momentum conservation laws together reproduce Weinberg’s relation. It is shown that the Hubble parameter H must be built in this relation, or equivalently the age of the Universe t . Using a wave-to-particle interaction technique we then prove that the speed of light c decreases with cosmological time, and that c is proportional to the Hubble parameter H. We see the expansion of the Universe as a local effect due to the LAB value of the speed of light c0 taken as constant. We present a generalized red shift law and find a predicted acceleration for photons that agrees well with the result from Pioneer 10/11 anomalous acceleration. We finally present a cosmological model coherent with the above results that we call the Mass-Boom. It has a linear increase of mass m with time as a result of the speed of light c linear decrease with time, and the conservation of momentum mc. We obtain the baryonic mass parameter equal to the curvature parameter, Ωm = Ωk, so that the model is of the type of the Einstein static, closed, finite, spherical, unlimited, with zero cosmological constant. This model is the cosmological view as seen by photons, neutrinos, tachyons etc. in contrast with the local view, the LAB reference. Neither dark matter nor dark energy is required by this model. With an initial constant speed of light during a short time we get inflation (an exponential expansion). This converts, during the inflation time, the Planck’s fluctuation length of 10−33 cm to the present size of the Universe (about 1028 cm, constant from then on). Thereafter the Mass-Boom takes care to bring the initial values of the Universe (about 1015 gr) to the value at the present time of about 1055 gr
The Nakamura numbers for computable simple games

The Nakamura number of a simple game plays a critical role in preference aggregation (or multi-criterion ranking): the number of alternatives that the players can always deal with rationally is less than this number. We comprehensively study the restrictions that various properties for a simple game impose on its Nakamura number. We find that a computable game has a finite Nakamura number greater than three only if it is proper, nonstrong, and nonweak, regardless of whether it is monotonic or whether it has a finite carrier. The lack of strongness often results in alternatives that cannot be strictly ranked.
Numerical integration of an advanced Gurson model for shear loading: Application to the blanking process

A new extension of the Gurson damage model has been proposed recently to predict ductile fracture under shear dominated loads. The aim of this work is to verify the ability of this approach to simulate, in an accurate way, the damage evolution in shearing processes. An implicit stress integration algorithm is then developed to implement the new model in a finite element code. The numerical procedure is checked through simulations of shear and uniaxial tension tests on a single elements. The extended Gurson damage model is tested and applied to the punching process to compare its predictive ability with the original approach. The obtained numerical results are in good agreement with experimental results of the punching process, showing better ductile fracture predictions compared to the original Gurson model
Differential equations with general highly oscillatory\ud
forcing terms

The concern of this paper is in expanding and computing initial-value problems of the form y' = f(y) + hw(t) where the function hw oscillates rapidly for w >> 1. Asymptotic expansions for such equations are well understood in the case of modulated Fourier oscillators hw(t) = Σm am(t)eim!t and they can be used as an organising principle for very accurate and aordable numerical solvers. However, there is no similar theory for more general oscillators and there are\ud
sound reasons to believe that approximations of this kind are unsuitable in that setting. We follow in this paper an alternative route, demonstrating that, for a much more general family of oscillators, e.g. linear combinations of functions of the form ei!gk(t), it is possible to expand y(t) in a different manner. Each rth term in the expansion is for some & > 0 and it can be represented as an r-dimensional highly oscillatory integral. Since computation of multivariate highly oscillatory integrals is fairly well understood, this provides a powerful method for an effective discretisation of a numerical solution for a large family of highly oscillatory ordinary differential equations
A new multi-modal dataset for human affect analysis

In this paper we present a new multi-modal dataset of spontaneous three way human interactions. Participants were recorded in an unconstrained environment at various locations during a sequence of debates in a video conference, Skype style arrangement. An additional depth modality was introduced, which permitted the capture of 3D information in addition to the video and audio signals. The dataset consists of 16 participants and is subdivided into 6 unique sections. The dataset was manually annotated on a continuously scale across 5 different affective dimensions including arousal, valence, agreement, content and interest.\ud
The annotation was performed by three human annotators with the ensemble average calculated for use in the dataset. The corpus enables the analysis of human affect during conversations in a real life scenario. We first briefly reviewed the existing affect dataset and the methodologies\ud
related to affect dataset construction, then we detailed how our unique dataset was constructed
Re-thinking water policy priorities in the Mediterranean region inview of climate change

Water is scarce in Mediterranean countries: cities are crowded with increasing demand; food is produced with large amounts of water; ecosystems demand more water that is often available; drought affects all. As climate change impacts become more noticeable and costlier, some current water management strategies will not be useful. According to the findings of CIRCE, the areas with limited water resources will increase in the coming decades with major consequences for the way we produce food and we protect ecosystems. Based on these projections this paper discusses water policy priorities for climate change adaptation in the Mediterranean. We first summarise the main challenges to water resources in Mediterranean countries and outline the risks and opportunities for water under climate change based on previous studies. Recognising the difficulty to go from precipitation to water policy, we then present a framework to evaluate water availability in response to natural and management conditions, with an example of application in the Ebro basin that exemplifies other Mediterranean areas. Then we evaluate adaptive capacity to understand the ability of Mediterranean countries to face, respond and recover from climate change impacts on water resources. Social and economic factors are key drivers of inequality in the adaptive capacity across the region. Based on the assessment of impacts and adaptive capacity we suggest thresholds for water policy to respond to climate change and link water scarcity indicators to relevant potential adaptation strategies. Our results suggest the need to further prioritise socially and economically sensitive policie
Deuteron cross section evaluation for safety and radioprotection calculations of IFMIF/EVEDA accelerator prototype

under construction in Japan. Interaction of these deuterons with matter will generate high levels of\ud
 neutrons and induced activation, whose predicted yields depend strongly on the models used to calculate\ud
 the different cross sections. A benchmark test was performed to validate these data for deuteron energies\ud
 up to 20 MeV and to define a reasonable methodology for calculating the cross sections needed for\ud
 EVEDA. Calculations were performed using the nuclear models included in MCNPX and PHITS, and the\ud
 dedicated nuclear model code TALYS. Although the results obtained using TALYS (global parameters)\ud
 or Monte Carlo codes disagree with experimental values, a solution is proposed to compute cross sections\ud
 that are a good fit to experimental data. A consistent computational procedure is also suggested to\ud
 improve both transport simulations/prompt dose and activation/residual dose calculations required for\ud
 EVEDA
Decentralized multi-tasks distribution in heterogeneous robot teams by means of ant colony optimization and learning automata

This paper focuses on the general problem of coordinating\ud
multiple robots. More specifically, it addresses the self-election of heterogeneous specialized tasks by autonomous robots. In this paper we focus on a specifically distributed or decentralized approach as we are particularly\ud
interested on decentralized solution where the robots themselves autonomously and in an individual manner, are responsible of selecting a particular task so that all the existing tasks are optimally distributed and executed. In this regard, we have established an experimental scenario to solve the corresponding multi-tasks distribution problem and we propose a solution using two different approaches by applying Ant Colony Optimization-based deterministic algorithms as well as Learning Automata-based probabilistic algorithms. We have evaluated the robustness of the algorithm, perturbing the number of pending loads to simulate the robot’s error in estimating the real number of pending tasks and also the dynamic generation of loads through time. The paper ends with a critical discussion of experimental results
Nonlinear Dynamics in experimental devices with compressed/expanded surfactant monolayers

A theory is provided for a common experimental set up that is used to measure surface properties in surfactant monolayers. The set up consists of a surfactant monolayer (over a shallow liquid layer) that is compressed/expanded in a periodic fashion by moving in counter-phase two parallel, slightly immersed solid barriers, which vary the free surface area and thus the surfactant concentration. The simplest theory ignores the fluid dynamics in the bulk\ud
fluid, assuming spatially uniform surfactant concentration, which requires quite small forcing frequencies and provides reversible dynamics in the compression/expansion cycles. In this paper, we present a long-wave theory for not so slow oscillations that assumes local equilibrium but takes the fluid dynamics into account. This simple theory uncovers the physical mechanisms involved in the surfactant behavior and allows for extracting more information from each experimental run. The conclusion is that the fluid dynamics cannot be ignored, and that some irreversible dynamics could well have a fluid dynamic origi
Smart homes and the control of indoor air quality

Global climate change, demographic change and advancing mechanization of everyday life will go along with new ways of living. Temperature extremes, an ageing society and higher demands on a comfortable life will lead to the implementation of sensor based networks in order to create acceptable and improved living conditions. Originally, the idea of the smart home served primarily the efficient use of energy and the optimization of ventilation technology connected with new ways of constructing buildings (low-energy and passive houses, respectively). Today the term 'smart home' is also linked with the networking of home automation systems, home appliances and communications and entertainment electronics. Living in a smart home often makes also significant demands on the occupants who are required to drastically change some of their living habits. This review summarizes current findings on the effect of measured environmental parameters on indoor air quality, individual thermal comfort and living behavior in smart homes with focus on central Europe. A critical evaluation of available sensor technologies, their application in homes and data security aspects as well as limits and possibilities of current technologies to control particles and gaseous pollutants indoors is included. The review also considers the acceptance of smart technologies by occupants in terms of living habits, perceived indoor air quality and data security
Overview of the techniques used for the study of non-terrestrial bodies: Proposition of novel non-destructive methodology

Meteorites and impact glasses have been largely analysed using different techniques, but most studies
have been focused on their geologicalemineralogical characterization and isotopic ratios, mainly of a
destructive nature. However, much more information can be gained by applying novel non-destructive
analytical procedures and techniques that have been scarcely used to analyse these materials. This
overview presents some new methodologies to study these materials and compares these new approaches
with the commonly used ones. Techniques such as X-Ray Fluorescence (XRF) and Laser Induced
Breakdown Spectroscopy (LIBS), for elemental characterization, the hyphenated Raman spectroscopy-
SEM/EDS and the combination of them, allow extracting simultaneous information from elemental,
molecular and structural data of the studied sample; furthermore, the spectroscopic image capabilities of
such techniques allow a better understanding of the mineralogical distribution.
© 2017 Elsevier B.V. All rights reserved.Proyecto MINECO Retos de la Sociedad. Ref. ESP2014-56138-C3-2-
Discrete Black-Hole Radiation and the Information Loss Paradox

Hawking's black hole information puzzle highlights the incompatibility
between our present understanding of gravity and quantum physics. However,
Hawking's prediction of black-hole evaporation is at a semiclassical level. One
therefore suspects some modifications of the character of the radiation when
quantum properties of the {\it black hole itself} are properly taken into
account. In fact, during the last three decades evidence has been mounting
that, in a quantum theory of gravity black holes may have a discrete mass
spectrum, with concomitant {\it discrete} line emission. A direct consequence
of this intriguing prediction is that, compared with blackbody radiation,
black-hole radiance is {\it less} entropic, and may therefore carry a
significant amount of {\it information}. Using standard ideas from quantum
information theory, we calculate the rate at which information can be recovered
from the black-hole spectral lines. We conclude that the information that was
suspected to be lost may gradually leak back, encoded into the black-hole
spectral lines.Comment: 12 page
Geometric Scaling above the Saturation Scale

We show that the evolution equations in QCD predict geometric scaling for
quark and gluon distribution functions in a large kinematical window, which
extends above the saturation scale up to momenta $Q^2$ of order $100 {\rm
GeV}^2$. For $Q^2 < Q^2_s$, with $Q_s$ the saturation momentum, this is the
scaling predicted by the Colour Glass Condensate and by phenomenological
saturation models. For $1 \simle \ln(Q^2/Q_s^2) \ll \ln(Q_s^2/\Lambda^2_{\rm
QCD})$, we show that the solution to the BFKL equation shows approximate
scaling, with the scale set by $Q_s$. At larger $Q^2$, this solution does not
scale any longer. We argue that for the intermediate values of $Q^2$ where we
find scaling, the BFKL rather than the double logarithmic approximation to the
DGLAP equation properly describes the dynamics. We consider both fixed and
running couplings, with the scale for running set by the saturation momentum.
The anomalous dimension which characterizes the approach of the gluon
distribution function towards saturation is found to be close to, but lower
than, one half.Comment: 24 page
Generalised Space-time and Gauge Transformations

We consider the generalised space-time introduced by the author in 2003 in
the context of the non-linear realisation of the semi-direct product of E11 and
its first fundamental representation. For all the fields we propose gauge
transformations which are compatible with the underlying E11 structure. A
crucial role is played by the generalised vielbein that the generalised
space-time possess. We work out the explicit form of the gauge transformations,
at low levels, in four, five and eleven dimensions.Comment: 33 page
Fgd5 identifies hematopoietic stem cells in the murine bone marrow

Hematopoietic stem cells (HSCs) are the best-characterized tissue-specific stem cells, yet experimental study of HSCs remains challenging, as they are exceedingly rare and methods to purify them are cumbersome. Moreover, genetic tools for specifically investigating HSC biology are lacking. To address this we sought to identify genes uniquely expressed in HSCs within the hematopoietic system and to develop a reporter strain that specifically labels them. Using microarray profiling we identified several genes with HSC-restricted expression. Generation of mice with targeted reporter knock-in/knock-out alleles of one such gene, Fgd5, revealed that though Fgd5 was required for embryonic development, it was not required for definitive hematopoiesis or HSC function. Fgd5 reporter expression near exclusively labeled cells that expressed markers consistent with HSCs. Bone marrow cells isolated based solely on Fgd5 reporter signal showed potent HSC activity that was comparable to stringently purified HSCs. The labeled fraction of the Fgd5 reporter mice contained all HSC activity, and HSC-specific labeling was retained after transplantation. Derivation of next generation mice bearing an Fgd5-CreERT2 allele allowed tamoxifen-inducible deletion of a conditional allele specifically in HSCs. In summary, reporter expression from the Fgd5 locus permits identification and purification of HSCs based on single-color fluorescence
Space–time proper generalized decompositions for the resolution of transient elastodynamic models

In this paper, we investigate ability of proper generalized decomposition (PGD) to solve transient elastodynamic models in space–time domain. Classical methods use time integration schemes and an incremental resolution process. We propose here to use standard time integration methods in a non-incremental strategy. As a result, PGD gives a separated representation of the space–time solution as a sum of tensorial products of space and time vectors, that we interpret as space–time modes. Recent time integration schemes are based on multi-field formulations. In this case, separated representation can be constructed using state vectors in space and same vectors in time. However, we have experienced bad convergence order using this decomposition. Furthermore, temporal approximation must be the same for all fields. Thus, we propose an extension of classical separated representation for multi-field problems. This multi-field PGD (MF-PGD) uses space and time vectors that are different for each field. Calculation of decomposition is done using a monolithic approach in space and time, potentially allowing the use of different approximations in space and time. Finally, several simulations are performed with the transient elastodynamic problem with one dimension in space. Different approximations in time are investigated: Newmark scheme, single field time discontinuous Galerkin method and two fields time continuous and discontinuous Galerkin methods.Agence Nationale de la Recherche Française (SIMDREAM-2010
Authorship analysis based on data compression

This paper proposes to perform authorship analysis using the Fast Compression Distance (FCD), a similarity measure based on compression with dictionaries directly extracted from the written texts. The FCD computes a similarity between two documents through an effective binary search on the intersection set between the two related dictionaries. In the reported experiments the proposed method is applied to documents which are heterogeneous in style, written in five different languages and coming from different historical periods. Results are comparable to the state of the art and outperform traditional compression-based methods