pinecone/core-2020-05-10-deduplication huggingface dataset:
Analytic curves in algebraic varieties over number fields

We establish algebraicity criteria for formal germs of curves in algebraic
varieties over number fields and apply them to derive a rationality criterion
for formal germs of functions, which extends the classical rationality theorems
of Borel-Dwork and P\'olya-Bertrandias valid over the projective line to
arbitrary algebraic curves over a number field.
  The formulation and the proof of these criteria involve some basic notions in
Arakelov geometry, combined with complex and rigid analytic geometry (notably,
potential theory over complex and $p$-adic curves). We also discuss geometric
analogues, pertaining to the algebraic geometry of projective surfaces, of
these arithmetic criteria.Comment: 55 pages. To appear in "Algebra, Arithmetic, and Geometry: In Honor
  of Y.i. Manin", Y. Tschinkel & Yu. Manin editors, Birkh\"auser, 200
Derived Categories of Coherent Sheaves and Triangulated Categories of
  Singularities

In this paper we establish an equivalence between the category of graded
D-branes of type B in Landau-Ginzburg models with homogeneous superpotential W
and the triangulated category of singularities of the fiber of W over zero. The
main result is a theorem that shows that the graded triangulated category of
singularities of the cone over a projective variety is connected via a fully
faithful functor to the bounded derived category of coherent sheaves on the
base of the cone. This implies that the category of graded D-branes of type B
in Landau-Ginzburg models with homogeneous superpotential W is connected via a
fully faithful functor to the derived category of coherent sheaves on the
projective variety defined by the equation W=0.Comment: 26 pp., LaTe
Efficiency of navigation in indexed networks

We investigate efficient methods for packets to navigate in complex networks.
The packets are assumed to have memory, but no previous knowledge of the graph.
We assume the graph to be indexed, i.e. every vertex is associated with a
number (accessible to the packets) between one and the size of the graph. We
test different schemes to assign indices and utilize them in packet navigation.
Four different network models with very different topological characteristics
are used for testing the schemes. We find that one scheme outperform the
others, and has an efficiency close to the theoretical optimum. We discuss the
use of indexed-graph navigation in peer-to-peer networking and other
distributed information systems
A process very similar to multifractional Brownian motion

18 pagesIn Ayache and Taqqu (2005), the multifractional Brownian (mBm) motion is obtained by replacing the constant parameter $H$ of the fractional Brownian motion (fBm) by a smooth enough functional parameter $H(.)$ depending on the time $t$. Here, we consider the process $Z$ obtained by replacing in the wavelet expansion of the fBm the index $H$ by a function $H(.)$ depending on the dyadic point $k/2^j$. This process was introduced in Benassi et al (2000) to model fBm with piece-wise constant Hurst index and continuous paths. In this work, we investigate the case where the functional parameter satisfies an uniform Hölder condition of order $\beta>\sup_{t\in \rit} H(t)$ and ones shows that, in this case, the process $Z$ is very similar to the mBm in the following senses: i) the difference between $Z$ and a mBm satisfies an uniform Hölder condition of order $d>\sup_{t\in \R} H(t)$; ii) as a by product, one deduces that at each point $t\in \R$ the pointwise Hölder exponent of $Z$ is $H(t)$ and that $Z$ is tangent to a fBm with Hurst parameter $H(t)$
Modeling self-organization in pedestrians and animal groups from
  macroscopic and microscopic viewpoints

This paper is concerned with mathematical modeling of intelligent systems,
such as human crowds and animal groups. In particular, the focus is on the
emergence of different self-organized patterns from non-locality and anisotropy
of the interactions among individuals. A mathematical technique by
time-evolving measures is introduced to deal with both macroscopic and
microscopic scales within a unified modeling framework. Then self-organization
issues are investigated and numerically reproduced at the proper scale,
according to the kind of agents under consideration.Comment: 24 pages, 13 figure
Tolstoy\u27s dream and the quest for statistical equilibrium in economics and the social sciences

The meaning of the notion of statistical equilibrium in economics is discussed as well as its relevance for economic theory. A simple agent-based model of taxation and redistribution is presented. Its invariant equilibrium distribution is the generalized P?lya sampling distribution. It turns out that the expected wealth distribution is the dichotomous P?lya whose continuous limit is the Beta distribution and whose appropriate thermodynamic limit is the Gamma distribution, often found in describing empirical data. The shape parameter of the Gamma distribution is the inverse of the wealth preferential attachment &#945;&#8722;1
Analysis of some localized boundary-domain integral equations for transmission problems with variable coefficients

This is the post-print version of the Article. The official published version can be found at the links below - Copyright @ 2011 Birkhäuser Boston.Some segregated systems of direct localized boundary-domain integral equations (LBDIEs) associated with several transmission problems for scalar PDEs with variable coefficients are formulated and analyzed for a bounded domain composed of two subdomains with a coefficient jump over the interface. The main results established in the paper are the LBDIE equivalence to the original transmission problems and the invertibility of the corresponding localized boundary-domain integral operators in corresponding Sobolev spaces function spaces.This research was supported by the EPSRC grant EP/H020497/1: ”Mathematical analysis of Localized Boundary-Domain Integral\ud
Equations for Variable-Coefficient Boundary Value Problems” and partly by the Georgian Technical University grant in the case of the third author
Analysis of segregated boundary-domain integral equations for mixed variable-coefficient BVPs in exterior domains

This is the post-print version of the Article. The official published version can be accessed from the link below - Copyright @ 2011 Birkhäuser Boston.Some direct segregated systems of boundary–domain integral equations (LBDIEs) associated with the mixed boundary value problems for scalar PDEs with variable coefficients in exterior domains are formulated and analyzed in the paper. The LBDIE equivalence to the original boundary value problems and the invertibility of the corresponding boundary–domain integral operators are proved in weighted Sobolev spaces suitable for exterior domains. This extends the results obtained by the authors for interior domains in non-weighted Sobolev spaces.The work was supported by the grant EP/H020497/1 ”Mathematical analysis of localised boundary-domain integral equations for BVPs with variable coefficients” of the EPSRC, UK
On Witten multiple zeta-functions associated with semisimple Lie
  algebras III

We prove certain general forms of functional relations among Witten multiple
zeta-functions in several variables (or zeta-functions of root systems). The
structural background of those functional relations is given by the symmetry
with respect to Weyl groups. From those relations we can deduce explicit
expressions of values of Witten zeta-functions at positive even integers, which
is written in terms of generalized Bernoulli numbers of root systems.
Furthermore we introduce generating functions of those Bernoulli numbers of
root systems, by which we can give an algorithm of calculating Bernoulli
numbers of root systems.Comment: 49 page
Anglers’ Fishing Problem

The model considered here will be formulated in relation to the “fishing problem,” even if other applications of it are much more obvious. The angler goes fishing, using various techniques, and has at most two fishing rods. He buys a fishing pass for a fixed time. The fish are caught using different methods according to renewal processes. The fish’s value and the interarrival times are given by the sequences of independent, identically distributed random variables with known distribution functions. This forms the marked renewal–reward process. The angler’s measure of satisfaction is given by the difference between the utility function, depending on the value of the fish caught, and the cost function connected with the time of fishing. In this way, the angler’s relative opinion about the methods of fishing is modeled. The angler’s aim is to derive as much satisfaction as possible, and additionally he must leave the lake by a fixed time. Therefore, his goal is to find two optimal stopping times to maximize his satisfaction. At the first moment, he changes his technique, e.g., by discarding one rod and using the other one exclusively. Next, he decides when he should end his outing. These stopping times must be shorter than the fixed time of fishing. Dynamic programming methods are used to find these two optimal stopping times and to specify the expected satisfaction of the angler at these times.
On the group-theoretic structure of lifted filter banks

The polyphase-with-advance matrix representations of whole-sample symmetric
(WS) unimodular filter banks form a multiplicative matrix Laurent polynomial
group. Elements of this group can always be factored into lifting matrices with
half-sample symmetric (HS) off-diagonal lifting filters; such linear phase
lifting factorizations are specified in the ISO/IEC JPEG 2000 image coding
standard. Half-sample symmetric unimodular filter banks do not form a group,
but such filter banks can be partially factored into a cascade of whole-sample
antisymmetric (WA) lifting matrices starting from a concentric, equal-length HS
base filter bank. An algebraic framework called a group lifting structure has
been introduced to formalize the group-theoretic aspects of matrix lifting
factorizations. Despite their pronounced differences, it has been shown that
the group lifting structures for both the WS and HS classes satisfy a polyphase
order-increasing property that implies uniqueness ("modulo rescaling") of
irreducible group lifting factorizations in both group lifting structures.
These unique factorization results can in turn be used to characterize the
group-theoretic structure of the groups generated by the WS and HS group
lifting structures.Comment: Book chapter: 22 pages, 6 figures. Expository overview of recent
  research, including arXiv:1309.7665. Version 2: added BibTeX citation
  (BibTeX_citation.txt) and conference presentation slides
  (Brislawn_AMS_ABQ_2014_slides.pdf, 328 KB) as ancillary file
The Conceptual LeanPPD Model

This paper is presenting the conceptual Lean Product and Process Development
(LeanPPD) model which is a project funded by the EU-PF7. The project is
addressing the needs of European manufacturing companies of a new model that
goes beyond lean manufacturing, to ensure the transformation of the enterprise
into lean environment. This is a respond to the market demand of value creation,
incorporating sustainability and customisation as well as ensuring business
growth through the development of high quality products in a cost effective
manner at the shortest time. The authors believe that significant change in
enterprise performance can be achieved through the adoption of lean thinking
throughout the product life cycle. The paper presents the LeanPPD enablers which
represent the building block of the model
Modelling Social Structures and Hierarchies in Language Evolution

Language evolution might have preferred certain prior social configurations
over others. Experiments conducted with models of different social structures
(varying subgroup interactions and the role of a dominant interlocutor) suggest
that having isolated agent groups rather than an interconnected agent is more
advantageous for the emergence of a social communication system. Distinctive
groups that are closely connected by communication yield systems less like
natural language than fully isolated groups inhabiting the same world.
Furthermore, the addition of a dominant male who is asymmetrically favoured as
a hearer, and equally likely to be a speaker has no positive influence on the
disjoint groups.Comment: 14 pages, 3 figures, 1 table. In proceedings of AI-2010, The
  Thirtieth SGAI International Conference on Innovative Techniques and
  Applications of Artificial Intelligence, Cambridge, England, UK, 14-16
  December 201
Dynamic graph drawing with a hybridized genetic algorithm

Print ISBN 978-1-85233-829-9 Online ISBN 978-0-85729-338-1International audienceAutomatic graph drawing algorithms, especially those for hierarchical digraphs, have an important place in computer-aided design software or more generally in software programs where an efficient visualization tool for complex structure is required. In these cases, aesthetics plays a major role for generating readable and understandable layouts. Besides, in an interactive approach, the program must preserve the mental map of the user between time t-1 and t. In this paper we introduce a dynamic drawing procedure for hierarchical digraph drawing. It tends to minimize arc-crossing thanks to a hybridized genetic algorithm. The hybridization consists of a local optimization step based on averaging heuristics and two problem-based crossover operators. A stability constraint based on a similarity measure is used to preserve the likeness between the layouts at time t-1 and t. Computational experiments have been done with an adapted random graph generator to simulate the construction process of 90 graphs. They confirm that, because of the actual algorithm, the arc crossing number of the selected layout is close to the best layout found. We show that computation of the similarity measure tends to preserve the likeness between the two layouts
Full Elite Sets for Multi-Objective Optimisation

Copyright © 2002 Springer. The final publication is available at link.springer.com5th International Conference on Adaptive Computing in Design and Manufacture (ACDM 2002), Exeter, UK, 16-18 April, 2002Multi-objective evolutionary algorithms frequently use an archive of non-dominated solutions to approximate the Pareto front. We show that the truncation of this archive to a limited number of solutions can lead to oscillating and shrinking estimates of the Pareto front. New data structures to permit efficient query and update of the full archive are proposed, and the superior quality of frontal estimates found using the full archive is illustrated on test problems
Targeted advertising on the handset: Privacy and security challenges

Online advertising is currently a rich source of revenue for many Internet giants. With the ever-increasing number of smart phones, there is a fertile market for personalised and localised advertising. A key benefit of using mobile phones is to take advantage of the significant amount of information on phones — such as locations of interest to the user — in order to provide personalised advertisements. Preservation of user privacy, however, is essential for successful deployment of such a system. In this chapter we provide an overview of existing advertising systems and privacy concerns on mobile phones, in addition to a system, MobiAd, which includes protocols for scalable local advertisement download and privacy-aware click report dissemination. In the final section of this chapter we describe some of the security mechanisms used in detecting click-through fraud, and techniques that can be used to ensure that the extra privacy protections of MobiAd are not abused to defraud advertisers.Preprin
A comparison of data-driven and model-based approaches to quantifying railway risk

This paper presents some of the results of a project sponsored by the UK Railway Safety and Standards Board (RSSB). An earlier statistical evaluation of a previous version of the RSSB Safety Risk Model (SRM), a combined Fault/Event Tree, conducted by Prof Andrew Evans had concluded that the model was unduly pessimistic. We have constructed a hypothesis test based on the relative likelihood techniques using the most recent version of the SRM as the null hypothesis. The results support the SRM being consistent with the historical data. Two significant differences between these two studies are the statistical methods employed to support the analysis and the removal of certain significant conservative assumptions from updating the versions of the SRM. The paper discusses the demands that different model purposes place on these models, and explores the question of whether or not it is meaningful to compare their outputs. The use of expected fatalities as a metric for expressing risk in both models is questioned because of the heavy-tailed form of the distribution for fatality numbers given a fatal accident
Whole body interaction in abstract domains

Whole Body Interaction appears to be a good fit of interaction style for some categories of application domain, such as the motion capture of gestures for computer games and virtual physical sports. However, the suitability of whole body interaction for more abstract application domains is less apparent, and the creation of appropriate whole body interaction designs for complex abstract areas such as mathematics, programming and musical harmony remains challenging. We argue, illustrated by a detailed case study, that conceptual metaphor theory and sensory motor contingency theory offer analytic and synthetic tools whereby whole body interaction can in principle be applied usefully to arbitrary abstract application domains. We present the case study of a whole body interaction system for a highly abstract application area, tonal harmony in music. We demonstrate ways in which whole body interaction offers strong affordances for action and insight in this domain when appropriate conceptual metaphors are harnessed in the design. We outline how this approach can be applied to abstract domains in general, and discuss its limitations.Published versio
The exemplification of governance principles within state asset management laws and policies : the case of Indonesia

Efficient state asset management is crucial for governments as they facilitate the fulfillment of their public functions, which include the provision of essential services and other public administration support. In recent times economies internationally and particularly in South east Asia, have displayed increased recognition of the importance of efficiencies across state asset management law, policies and practice. This has been exemplified by a surge in notable instances of reform in state asset management. A prominent theme in this phenomenon is the consideration of governance principles within the re-conceptualization of state asset management law and related policy, with many countries recognizing variability in the quality of asset governance and opportunities for profit as being critical factors. This issue is very current in Indonesia where a major reform process in this area has been confirmed by the establishment of a new Directorate of State Asset Management. The incumbent Director-General of State Asset Management has confirmed a re-emphasis on adherence to governance principles within applicable state asset management law and policy reform. This paper reviews aspects of the challenge of reviewing and reforming Indonesian practice within state asset management law and policy specifically related to public housing, public buildings, parklands, and vacant land. A critical issue in beginning this review is how Indonesia currently conceptualizes the notion of asset governance and how this meaning is embodied in recent changes in law and policy and importantly in options for future change. This paper discusses the potential complexities uniquely Indonesian characteristics such as decentralisation and regional autonomy regime, political history, and bureaucratic culture
Strategic infrastructure asset management: the way forward

Organisations owning and managing infrastructure asset are constantly striving to obtain the greatest lifetime value from their infrastructure assets. Many such organisations have adopted the concept of 'asset management' with the aim of improving the performance of their infrastructure assets. This paper evaluates the adoption of asset management to improve performance in the context of organisations managing infrastructure assets. Relevant previous research studies on main barriers to the adoption of asset management are reviewed. Analysis of these findings, together with deductive reasoning, leads to the development of the proposed improvement strategies. Three issues were identified as barrier to the advancement of the concept of asset management. They are (1) lack of recognition, (2) fragmentation; and (3) growing complexity. To overcome these issues, this paper suggests that the organisations manage infrastructure assets must (1) adopt a more strategic approach in the management of infrastructure assets, (2) develop a framework of strategic infrastructure asset management processes, and (3) identify the core capabilities needed in the management of infrastructure assets. This paper presents the direction for further research to advance the concept of asset management in the management of infrastructure asset.
Risk-Driven Design Processes: Balancing Efficiency with Resilience in Product Design

Current design methods and approaches focus on increasing the efficiency of the product design system by, for example, eliminating waste and focusing on value creation. However, continuing failures in the development of complex, large scale products and systems point towards weaknesses in the existing approaches. We argue that product development organizations are hindered by the many uncertainties that are inherent in the process. Common management heuristics ignore uncertainty and thus overly simplify the decision making process. Creating transparency regarding uncertainties and the associated risks (i.e. effect of uncertainties on design objectives) is not seen as an explicit priority. Consequently organizations are unable to balance risk and return in their development choices. Product development processes do not emphasize reduction of risks, particularly those risks that are apparent early in the process. In addition, the resilience of the PD system, i.e. its ability to deliver on-target results under uncertainty, is not deliberately designed to match the level of residual uncertainty. This chapter introduces the notion of Risk-Driven Design and its four principles of 1. Creating transparency regarding design risks; 2. Risk-driven decision making; 3. Minimizing uncertainty; and 4. Creating resilience.Massachusetts Institute of Technology. Lean Advancement InitiativeCenter for Clean Water and Clean Energy at MIT and KFUP
Ontologies in the Geographic Information Sector

Geographical information (GI) or geoinformation describes phenomena associated directly or indirectly with a location (coordinates systems, address systems…) with respect to the Earth’s surface. Such phenomena can be either spatially discrete (represented by geometric primitives like points, lines, regions, etc.) such as a municipality, a road axis, etc. or spatially continuous (represented by interpolation on an image grid for example) such as terrain’s elevation, pollution diffusion, etc. GI is created by manipulating geographic data (or geospatial data) in a computerized system. Geospatial data can be acquired by different means: topographic survey, remote sensing, aerial photographs, GPS, laserscan, and all other types of sensors or survey techniques. Traditionally, these data are the core component of Geographic Information Systems (GIS), which is the term commonly used to refer to the software packages that allow to capture, store, check, integrate, manipulate, analyze and display them