pinecone/core-2020-05-10-deduplication huggingface dataset:
High Reynolds Channel Flows: Variable curvature

Two-dimensional laminar flow, at high Reynolds number Re, of an incompressible Newtonian fluid in a curved channel \ud
 connected to 2 fitting tangent straight channels at\ud
its upstream and downstream extremities is considered. The Successive Complementary Expansion Method (SCEM) is adopted.\ud
This method leads to an asymptotic reduced model called Global Interactive Boundary Layer (GIBL) which gives a uniformly valid approximate solution of the\ud
flow field in the whole domain. To explore the effect of the variable curvature on the flow field, the bend has an elliptical median line. The validity of the proposed\ud
GIBL model is confronted to the numerical solution of complete Navier- Stokes equations. This comparison includes the wall shear stress which is a very sensitive measure of the flow field. The GIBL results match very well the complete Navier-stokes results for curvatures $K_{max}$ up to 0.4, curvature variations $\vert K'_{max}\vert $ up to 0.7 and  eccentricities $e$ up to $\simeq 0.943$ in the whole geometrical domain. The upstream and downstream effects  as well as the impact of the curvature discontinuities  and the  behaviour in the entire bend are well captured by the GIBL model
High Reynolds Channel Flows: Upstream interaction\ud
of various wall deformations

The flow at high Reynolds number in the entrance of distorted channel is considered. We analyse the anticipated fluid responds to a downstream wall distortion, and we find that\ud
the non linear upstream length $\Delta={\mbox{O}}(R_e^{1/7})$, using either a new asymptotic approach called \ud
Successive Complementary Expansions Method (SCEM) with generalized asymptotic expansions and a modal analysis of the perturbed flow. Comparisons with Navier-Stokes solutions show that the mathematical model is well founded
A manufacturing core concepts ontology for product lifecycle interoperability

The final authenticated version is\ud
available online at https://doi.org/10.1007/978-3-642-19680-5_3.This paper proposes a manufacturing core concepts ontology\ud
(MCCO) aimed at providing support for product life cycle interoperability. The potential focus of the work is interoperability across the production and design domains of product lifecycle. A core set of manufacturing concepts and their key relationships are identified in MCCO. Semantics are captured formally through heavyweight logic using rigorous rules and axioms. Three different levels of specialization have been identified according to the degree of specialization required. Each level provides an immediate route to interoperability for the concepts specialized from that level. MCCO enable knowledge sharing across design and production domains through core\ud
concepts. A successful initial experimental implementation has been done to demonstrate the working of MCC
Eco-design tool to support the use of renewable polymers within packaging applications

This is a conference paper. The definitive version is available at: http://link.springer.com/chapter/10.1007/978-3-642-19692-8_28Bioplastics derived from renewable polymers such as sugars, starches and cellulose, have attracted significant interest from companies looking to reduce their environmental footprint. New production capacity and improved materials have resulted in their increasing adoption for mainstream consumer products packaging. However questions remain regarding their overall environmental benefits and how the maximum environmental gain can be achieved. These uncertainties highlight the need for a decision support tool to aid the packaging design process. This paper examines the issues surrounding bio-derived polymer use and discusses the development of an eco-design tool to assist in their rapid and efficient adoption
Type-based access control in data-centric systems

Data-centric multi-user systems, such as web applications, require flexible yet fine-grained data security mechanisms. Such mechanisms are usually enforced by a specially crafted security layer, which adds extra complexity and often leads to error prone coding, easily causing severe security breaches. In this paper, we introduce a programming language approach for enforcing access control policies to data in data-centric programs by static typing. Our development is based on the general concept of refinement type, but extended so as to address realistic and challenging scenarios of permission-based data security, in which policies dynamically depend on the database state, and flexible combinations of column- and row-level protection of data are necessary. We state and prove soundness and safety of our type system, stating that well-typed programs never break the declared data access control policies
A framework of map comparison methods to evaluate geosimulation models from a geospatial perspective

Geosimulation is a form of microsimulation that seeks to understand geographical patterns and dynamics as the outcome of micro level geographical processes. Geosimulation has been applied to understand such diverse systems as lake ecology, traffic congestion and urban growth. A crucial task common to these applications is to express the agreement between model and reality and hence the confidence one can have in the model results. Such evaluation requires a geospatial perspective; it is not sufficient if the micro-level interactions are realistic. Importantly the interactions should be such that the meso and macro level patterns that emerge from the model are realistic. In recent years, a host of map comparison methods have been developed that address different aspects of the agreement between model and reality. This paper places such methods in a framework to systematically assess the breadth and width of model performance. The framework expresses agreement at the continuum of spatial scales ranging from local to the whole landscape and separately addresses agreement in structure and presence. A common reference level makes different performance metrics mutually comparable and guides the interpretation of results. The framework is applied for the evaluation of a constrained cellular automata model of the Netherlands. The case demonstrates that a performance assessment lacking either a multi-criteria and multi-scale perspective or a reference level would result in an unbalanced account and ultimately false conclusions
Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework

International audienceIn this paper, we introduce a framework allowing to model and analyse efficiently Gene Regulatory Networks in their temporal and stochastic aspects. The analysis of stable states and inference of René Thomas' discrete parameters derives from this logical formalism. We offer a compositional approach which comes with a natural translation to the Stochastic π-Calculus. The method we propose consists in successive refinements of generalized dynamics of Gene Regulatory Networks. We apply this method to the control of the differentiation in a Gene Regulatory Network generalizing metazoan segmentation processes
Quantifying and qualifying trust: Spectral decomposition of trust
  networks

In a previous FAST paper, I presented a quantitative model of the process of
trust building, and showed that trust is accumulated like wealth: the rich get
richer. This explained the pervasive phenomenon of adverse selection of trust
certificates, as well as the fragility of trust networks in general. But a
simple explanation does not always suggest a simple solution. It turns out that
it is impossible to alter the fragile distribution of trust without sacrificing
some of its fundamental functions. A solution for the vulnerability of trust
must thus be sought elsewhere, without tampering with its distribution. This
observation was the starting point of the present paper. It explores a
different method for securing trust: not by redistributing it, but by mining
for its sources. The method used to break privacy is thus also used to secure
trust. A high level view of the mining methods that connect the two is provided
in terms of *similarity networks*, and *spectral decomposition* of similarity
preserving maps. This view may be of independent interest, as it uncovers a
common conceptual and structural foundation of mathematical classification
theory on one hand, and of the spectral methods of graph clustering and data
mining on the other hand.Comment: 18 pages, 4 figures; FAST 2010. Version 2: corrected several typos,
  added a missing arrow in Fig 1, added 2 sentences to the Abstrac
On Wireless Scheduling Using the Mean Power Assignment

In this paper the problem of scheduling with power control in wireless
networks is studied: given a set of communication requests, one needs to assign
the powers of the network nodes, and schedule the transmissions so that they
can be done in a minimum time, taking into account the signal interference of
concurrently transmitting nodes. The signal interference is modeled by SINR
constraints. Approximation algorithms are given for this problem, which use the
mean power assignment. The problem of schduling with fixed mean power
assignment is also considered, and approximation guarantees are proven
Speed Scaling to Manage Temperature.

International audienceWe consider the speed scaling problem where the quality of service objective is deadline feasibility and the power objective is temperature. In the case of batched jobs, we give a simple algorithm to compute the optimal schedule. For general instances, we give a new online algorithm, and obtain an upper bound on the competitive ratio of this algorithm that is an order of magnitude better than the best previously known bound upper bound on the competitive ratio for this problem
Gravitational Waves Astronomy: a cornerstone for gravitational theories

Realizing a gravitational wave (GW) astronomy in next years is a great
challenge for the scientific community. By giving a significant amount of new
information, GWs will be a cornerstone for a better understanding of
gravitational physics. In this paper we re-discuss that the GW astronomy will
permit to solve a captivating issue of gravitation. In fact, it will be the
definitive test for Einstein's general relativity (GR), or, alternatively, a
strong endorsement for extended theories of gravity (ETG).Comment: To appear in Proceedings of the Workshop "Cosmology, the Quantum
  Vacuum and Zeta Functions" for the celebration of Emilio Elizalde's sixtieth
  birthday, Barcelona, March 8-10, 201
Hamilton-Jacobi Method and Gravitation

Studying the behaviour of a quantum field in a classical, curved, spacetime
is an extraordinary task which nobody is able to take on at present time.
Independently by the fact that such problem is not likely to be solved soon,
still we possess the instruments to perform exact predictions in special,
highly symmetric, conditions. Aim of the present contribution is to show how it
is possible to extract quantitative information about a variety of physical
phenomena in very general situations by virtue of the so-called Hamilton-Jacobi
method. In particular, we shall prove the agreement of such semi-classical
method with exact results of quantum field theoretic calculations.Comment: To appear in the proceedings of "Cosmology, the Quantum Vacuum, and
  Zeta Functions": A workshop with a celebration of Emilio Elizalde's Sixtieth
  birthday, Bellaterra, Barcelona, Spain, 8-10 Mar 201
Horizons and singularity in Clifton's spherical solution of f(R) vacuum

Due to the failure of Birkhoff's theorem, black holes in f(R) gravity
theories in which an effective time-varying cosmological "constant" is present
are, in general, dynamical. Clifton's exact spherical solution of R^(1+\delta)
gravity, which is dynamical and describes a central object embedded in a
spatially flat universe, is studied. It is shown that apparent black hole
horizons disappear and a naked singularity emerges at late times.Comment: 12 pages, LaTeX, 1 figure. Written for the proceedings of the
  workshop "Cosmology, Quantum Vacuum and Zeta Functions" in honour of
  Professor Emilio Elizalde's 60th birthday, Barcelona, March 8-10, 2010
Gravitational Zero Point Energy and the Induced Cosmological Constant

We discuss how to extract information about the cosmological constant from
the Wheeler-DeWitt equation, considered as an eigenvalue of a Sturm-Liouville
problem in a generic spherically symmetric background. The equation is
approximated to one loop with the help of a variational approach with Gaussian
trial wave functionals. A canonical decomposition of modes is used to separate
transverse-traceless tensors (graviton) from ghosts and scalar. We show that no
ghosts appear in the final evaluation of the cosmological constant. A zeta
function regularization and a ultra violet cutoff are used to handle with
divergences. A renormalization procedure is introduced to remove the
infinities. We compare the result with the one obtained in the context of
noncommutative geometriesComment: LaTeX 10 Pages. Submitted to the volume "Cosmology, Quantum Vacuum,
  and Zeta Functions", in honour of Professor Emilio Elizalde on the occasion
  of his 60th birthda
Colliding Hadrons as Cosmic Membranes and Possible Signatures of Lost
  Momentum

We argue that in the TeV-gravity scenario high energy hadrons colliding on
the 3-brane embedded in D=4+n-dimensional spacetime, with n dimensions smaller
than the hadron size, can be considered as cosmic membranes. In the
5-dimensional case these cosmic membranes produce effects similar to cosmic
strings in the 4-dimensional world. We calculate the corrections to the eikonal
approximation for the gravitational scattering of partons due to the presence
of effective hadron cosmic membranes. Cosmic membranes dominate the momentum
lost in the longitudinal direction for colliding particles that opens new
channels for particle decays.Comment: 15 pages, Late
On the Viability of a Non-Analytical f(R)-Theory

In this paper, we show how a power-law correction to the Einstein-Hilbert
action provides a viable modified theory of gravity, passing the Solar-System
tests, when the exponent is between the values 2 and 3. Then, we implement this
paradigm on a cosmological setting outlining how the main phases of the
Universe thermal history are properly reproduced. As a result, we find two
distinct constraints on the characteristic length scale of the model, i.e., a
lower bound from the Solar-System test and an upper one by guaranteeing the
matter dominated Universe evolution.Comment: 9 pages, 2 figure
Towards the unification of late-time acceleration and inflation by k-essence model

10 páginas.-- El Pdf del artículo es la versión pre-print: arXiv:1006.5201Based on the formulation of the reconstruction for the k-essence model, which was recently proposed in [1], we explicitly construct cosmological model to unifying the late-time acceleration and the inflation in the early universe.This work has been supported by Global COE Program of Nagoya University (G07)\ud
provided by the Ministry of Education,Culture, Sports, Science & Technology of\ud
Japan, and by the JSPS Grant-in-Aid for Scientific Research (S) # 22224003.Peer reviewe
Conformal equivalence in classical gravity: the example of "veiled"
  General Relativity

In the theory of General Relativity, gravity is described by a metric which
couples minimally to the fields representing matter. We consider here its
"veiled" versions where the metric is conformally related to the original one
and hence is no longer minimally coupled to the matter variables. We show on
simple examples that observational predictions are nonetheless exactly the same
as in General Relativity, with the interpretation of this "Weyl" rescaling "\`a
la Dicke", that is, as a spacetime dependence of the inertial mass of the
matter constituents.Comment: 10 pages, no figure, to appear in the Proceedings: Cosmology, Quantum
  Vacuum and Zeta Functions, 8-10 March, 201
Testing Modified Gravity with Gravitational Wave Astronomy

The emergent area of gravitational wave astronomy promises to provide
revolutionary discoveries in the areas of astrophysics, cosmology, and
fundamental physics. One of the most exciting possibilities is to use
gravitational-wave observations to test alternative theories of gravity. In
this contribution we describe how to use observations of extreme-mass-ratio
inspirals by the future Laser Interferometer Space Antenna to test a particular
class of theories: Chern-Simons modified gravity.Comment: 10 pages, 2 figures, Springer Verlag LaTeX style. To appear in the
  proceedings of Cosmology, the Quantum Vacuum, and Zeta Functions: A workshop
  with a celebration of Emilio Elizalde's sixtieth birthday, Bellaterra,
  Barcelona, Spain, 8-10 Mar 2010. Eds. S. D. Odintsov, D. Saez-Gomez, and S.
  Xamb
Generalized Zeta Function Regularization and the Multiplicative Anomaly

A brief survey of the zeta function regularization and multiplicative anomaly
issues when the associated zeta function of fluctuation operator is the regular
at the origin (regular case) as well as when it is singular at the origin
(singular case) is presented. In the singular case, new results for the
multiplicative anomaly are presentedComment: 10 pages, submitted to the volume "Cosmology, Quantum Vacuum, and
  Zeta Functions", in honour of Professor Emilio Elizalde on the occasion of
  his 60th birthda
The low temperature corrections to the Casimir force between a sphere
  and a plane

We calculate the low temperature corrections to the free energy for a sphere
in front of a plane. First, the scalar field obeying Dirichet or Neumann
boundary conditions is considered. Second, the electromagnetic field is
studied, the sphere being perfectly conducting and being a dielectric ball with
both, constant permittivity and permittivity of the plasma model.Comment: Submitted to the proceedings of the Workshop "Cosmology, Quantum
  Vacuum and Zeta Functions", Universitat Aut\`onoma de Barcelona, 8-10th
  March, 2010; 12 pages, 5 figure
Casimir Effect for the Piecewise Uniform String

The Casimir energy for the transverse oscillations of a piecewise uniform
closed string is calculated. In its simplest version the string consists of two
parts I and II having in general different tension and mass density, but is
always obeying the condition that the velocity of sound is equal to the
velocity of light. The model, first introduced by Brevik and Nielsen in 1990,
possesses attractive formal properties implying that it becomes easily
regularizable by several methods, the most powerful one being the contour
integration method. We also consider the case where the string is divided into
2N pieces, of alternating type-I and type-II material. The free energy at
finite temperature, as well as the Hagedorn temperature, are found. Finally, we
make some remarks on the relationship between this kind of theory and the
theory of quantum star graphs, recently considered by Fulling et al.Comment: 10 pages, 1 figure, Submitted to the volume "Cosmology, Quantum
  Vacuum, and Zeta Functions", in honour of Professor Emilio Elizalde on the
  occasion of his 60th birthda
An experimental study of multi-radio platform coexistence in the 5 GHz band for railway applications

This paper studies the practical challenges that arise due to the coexistence of two wireless technologies, both operating in the license-exempt 5 GHz band. In particular, WiFi and WiMAX equipment have been used in the experiments. The mutual interference caused by the two technologies operating\ud
in different but narrowly separated frequency channels has a negative impact on\ud
the performance of both systems. Further challenges are introduced when the two systems are in close physical proximity of each other or, in a more extreme scenario, share the same antenna as could be required in railway applications.\ud
This paper investigates these issues through a series of experimental tests based on a multi-radio platform testbed. The conclusions drawn from this study will be used as a base for the implementation of a multi-radio platform to provide communications between train and land in both directions in the context of the\ud
Spanish high-speed railway system.Peer ReviewedPostprint (published version
An advice system for consumer’s law disputes

The development of electronic commerce in the last years results in a 
new type of trade which the traditional legal systems are not ready to deal with. 
Moreover, the number of consumer claims increased mainly due to the increase 
in B2C relations and many of these are not getting a satisfactory response. Hav-
ing this in mind, together with the slowness of the judicial system and the 
cost/beneficial relation in legal procedures, there is the need for new suited and 
effective approaches. In this paper we use Information Technologies and Artifi-
cial Intelligence to point out to an alternative way of solving these conflicts on-
line. The work described in this paper results in a consumer advice system 
aimed at fastening and making easier the conflict resolution process, both for 
consumers and for legal experts.Fundação para a Ciência e a Tecnologia (FCT) "TIARAC - Telematics and Artificial Intelligence in Alternative Conflict Resolution Project"
(PTDC/JUR/71354/2006
Regularity and Context-Freeness over Word Rewriting Systems

International audienceWe describe a general decomposition mechanism to express the derivation relation of a word rewriting system R as the composition of a (regular) substitution followed by the derivation relation of a system R′ ∪ D, where R′ is a strict sub-system of R and D is the Dyck rewriting system. From this decomposition, we deduce that the system R (resp. R − 1) preserves regular (resp. context-free) languages whenever R′ ∪ D (resp. its inverse) does. From this we can deduce regularity and context-freeness preservation properties for a generalization of tagged bifix systems
Estimation of the length of interactions in arena game semantics

International audienceWe estimate the maximal length of interactions between strategies in HO/N game semantics, in the spirit of the work by Schwichtenberg and Beckmann for the length of reduction in simply typed lambdacalculus. Because of the operational content of game semantics, the bounds presented here also apply to head linear reduction on lambda-terms and to the execution of programs by abstract machines (PAM/KAM), including in presence of computational effects such as non-determinism or ground type references. The proof proceeds by extracting from the games model a combinatorial rewriting rule on trees of natural numbers, which can then be analyzed independently of game semantics or lambda-calculus
Asymptotic information leakage under one-try attacks

We study the asymptotic behaviour of (a) information leakage and (b) adversary’s error probability in information hiding systems modelled as noisy channels. Specifically, we assume the attacker can make a single guess after observing n independent executions of the system, throughout which the secret information is kept fixed. We show that the asymptotic behaviour of quantities (a) and (b) can be determined in a simple way from the channel matrix. Moreover, simple and tight bounds on them as functions of n show that the convergence is exponential. We also discuss feasible methods to evaluate the rate of convergence. Our results cover both the Bayesian case, where a prior probability distribution on the secrets is assumed known to the attacker, and the maximum-likelihood case, where the attacker does not know such distribution. In the Bayesian case, we identify the distributions that maximize the leakage. We consider both the min-entropy setting studied by Smith and the additive form recently proposed by Braun et al., and show the two forms do agree asymptotically. Next, we extend these results to a more sophisticated eavesdropping scenario, where the attacker can perform a (noisy) observation at each state of the computation and the systems are modelled as hidden Markov models