pinecone/core-2020-05-10-deduplication huggingface dataset:
Die-out Probability in SIS Epidemic Processes on Networks

An accurate approximate formula of the die-out probability in a SIS epidemic
process on a network is proposed. The formula contains only three essential
parameters: the largest eigenvalue of the adjacency matrix of the network, the
effective infection rate of the virus, and the initial number of infected nodes
in the network. The die-out probability formula is compared with the exact
die-out probability in complete graphs, Erd\H{o}s-R\'enyi graphs, and a
power-law graph. Furthermore, as an example, the formula is applied to the
$N$-Intertwined Mean-Field Approximation, to explicitly incorporate the
die-out.Comment: Version2: 10 figures, 11 pagers. Corrected typos; simulation results
  of ER graphs and a power-law graph are added. Accepted by the 5th
  International Workshop on Complex Networks and their Applications, November
  30 - December 02, 2016, Milan, Ital
A Class Grammar for General Games

While there exist a variety of game description languages (GDLs) for modelling various classes of games, these are aimed at game playing rather than the more particular needs of game design. This paper describes a new approach to general game modelling that arose from this need. A class grammar is automatically generated from a given library of source code, from the constructors and associated parameters found along its class hierarchy, to give a context-free grammar that provides access to the underlying code while hiding its implementation details
Measuring Stakeholders’ Perceptions of Cybersecurity for Renewable Energy Systems

Renewable energy systems need to be able to make frequent and rapid adjustments to address shifting solar and wind production. This requires increasingly sophisticated industrial control systems (ICS). But, that also increases the potential risks from cyber-attacks. Despite increasing attention to technical aspects (i.e., software and hardware) of cybersecurity, many professionals and scholars pay little or no attention to its organizational aspects, particularly to stakeholders’ perceptions of the status of cybersecurity within organizations. Given that cybersecurity decisions and policies are mainly made based on stakeholders’ perceived needs and security views, it is critical to measure such perceptions. In this paper, we introduce a methodology for analyzing differences in perceptions of cybersecurity among organizational stakeholders. To measure these perceptions, we first designed House of Security (HoS) as a framework that includes eight constructs of security: confidentiality, integrity, availability, technology resources, financial resources, business strategy, policy and procedures, and culture. We then developed a survey instrument to analyze stakeholders’ perceptions based on these eight constructs. In a pilot study, we used the survey with people in various functional areas and levels of management in two energy and ICS organizations, and conducted a gap analysis to uncover differences in cybersecurity perceptions. This paper introduces the HoS and describes the survey instrument, as well as some of the preliminary findings. Keywords: Smart Grid; Functional Area; Operational Technology; Organizational Aspect; Renewable Energy Resourc
An OpenSHMEM Implementation for the Adapteva Epiphany Coprocessor

This paper reports the implementation and performance evaluation of the
OpenSHMEM 1.3 specification for the Adapteva Epiphany architecture within the
Parallella single-board computer. The Epiphany architecture exhibits massive
many-core scalability with a physically compact 2D array of RISC CPU cores and
a fast network-on-chip (NoC). While fully capable of MPMD execution, the
physical topology and memory-mapped capabilities of the core and network
translate well to Partitioned Global Address Space (PGAS) programming models
and SPMD execution with SHMEM.Comment: 14 pages, 9 figures, OpenSHMEM 2016: Third workshop on OpenSHMEM and
  Related Technologie
OpenCL + OpenSHMEM Hybrid Programming Model for the Adapteva Epiphany
  Architecture

There is interest in exploring hybrid OpenSHMEM + X programming models to
extend the applicability of the OpenSHMEM interface to more hardware
architectures. We present a hybrid OpenCL + OpenSHMEM programming model for
device-level programming for architectures like the Adapteva Epiphany many-core
RISC array processor. The Epiphany architecture comprises a 2D array of
low-power RISC cores with minimal uncore functionality connected by a 2D mesh
Network-on-Chip (NoC). The Epiphany architecture offers high computational
energy efficiency for integer and floating point calculations as well as
parallel scalability. The Epiphany-III is available as a coprocessor in
platforms that also utilize an ARM CPU host. OpenCL provides good functionality
for supporting a co-design programming model in which the host CPU offloads
parallel work to a coprocessor. However, the OpenCL memory model is
inconsistent with the Epiphany memory architecture and lacks support for
inter-core communication. We propose a hybrid programming model in which
OpenSHMEM provides a better solution by replacing the non-standard OpenCL
extensions introduced to achieve high performance with the Epiphany
architecture. We demonstrate the proposed programming model for matrix-matrix
multiplication based on Cannon's algorithm showing that the hybrid model
addresses the deficiencies of using OpenCL alone to achieve good benchmark
performance.Comment: 12 pages, 5 figures, OpenSHMEM 2016: Third workshop on OpenSHMEM and
  Related Technologie
England’s electronic prescription service

We describe the development of the Electronic Prescription Service (EPS), the solution for the electronic transmission of prescriptions adopted by the English NHS for primary care. The chapter is based on both an analysis of data collected as part of a nationally commissioned evaluation of EPS, and on reports of contemporary developments in the service. Drawing on the notion of an installed infrastructural base, we illustrate how EPS has been assembled within a rich institutional and organizational context including causal pasts, contemporary practices and policy visions. This process of assembly is traced using three perspectives; as the realization and negotiation of constraints found in the wider NHS context, as a response to inertia arising from limited resources and weak incentive structures, and as a purposive fidelity to the existing institutional cultures of the NHS. The chapter concludes by reflecting on the significance of this analysis for notions of an installed bas
A Branching Time Model of CSP

I present a branching time model of CSP that is finer than all other models
of CSP proposed thus far. It is obtained by taking a semantic equivalence from
the linear time - branching time spectrum, namely divergence-preserving coupled
similarity, and showing that it is a congruence for the operators of CSP. This
equivalence belongs to the bisimulation family of semantic equivalences, in the
sense that on transition systems without internal actions it coincides with
strong bisimilarity. Nevertheless, enough of the equational laws of CSP remain
to obtain a complete axiomatisation for closed, recursion-free terms.Comment: Dedicated to Bill Roscoe, on the occasion of his 60th birthda
Digital transformation in service and computing oriented manufacturing

This volume gathers the peer reviewed papers which were presented at the sixth
edition of the International Workshop “Service Orientation in Holonic and
Multi-agent Manufacturing—SOHOMA’16” organized on October 6–7, 2016 by
the New University of Lisbon, Portugal in collaboration with the CIMR Research
Centre in Computer Integrated Manufacturing and Robotics of the University
Politehnica of Bucharest, Romania, the LAMIH Laboratory of Industrial and
Human Automation Control, Mechanical Engineering and Computer Science of the
University of Valenciennes and Hainaut-Cambrésis, France and the CRAN
Research Centre for Automatic Control, Nancy of the University of Lorraine,
France.info:eu-repo/semantics/publishedVersio
Formal specification of a self-sustainable holonic system for smart electrical micro-grids

Stand-alone micro-grids have emerged within the smart grids field, facing important challenges related to their proper and efficient operation. An example is the self-sustainability when the micro-grid is disconnected from the main utility, e.g., due to a failure in the main utility or due to geographical situations, which requires the efficient control of energy demand and production. This paper describes the formal specification of a holonic system architecture that is able to perform the automation control functions in electrical stand-alone micro-grids, particularly aiming to improve their self-sustainability. The system aims at optimizing the power flow among the different electrical players, both producers and consumers, to keep the micro-grid operating even under adverse situations. The behaviour of each individual holon and their coordination patterns were modelled, analysed and validated using the Petri net formalism, allowing the complete verification of the system correctness during the design phase.info:eu-repo/semantics/publishedVersio
Analysing the impact of rescheduling time in hybrid manufacturing control

Hybrid manufacturing control architectures merge the benefits of hierarchical and heterarchical approaches. Disturbances can be handled at upper or lower decision levels, depending on the type of disturbance, its impact and the time the control system has to react. This paper focuses particularly on a disturbance handling mechanism at upper decision levels using a rescheduling manufacturing method. Such rescheduling is more complex that the offline scheduling since the control system must take into account the current system status, obtain a satisfactory performance under the new conditions, and also come up with a new schedule in a restricted amount of time. Then, this paper proposes a simple and generic rescheduling method which, based on the satisfying principle, analyses the trade-off between the rescheduling time and the performance achieved after a perturbation. The proposed approach is validated on a simulation model of a realistic assembly cell and results demonstrate that adaptation of the rescheduling time might be beneficial in terms of overall performance and reactivity.info:eu-repo/semantics/publishedVersio
Dynamic service reconfiguration with multi-agent systems

Most modern manufacturing systems rely on constantly seeking new solutions to better fulfil their manufacturing objectives. As reported in today’s manufacturing literature, dynamic service reconfiguration is one solution that permits to endorse continuous service reconfiguration, flexibility and evolvable systems. In spite of the current research efforts, real reconfiguration solutions are still lacking automated tools that support dynamic and runtime reconfigurations by discovering new adaptation needs and opportunities and, thus, explore possible actions leading to new system configurations. To overcome these issues, it is essential to provide solutions that answer to the “when” and “what” to reconfigure questions. Most of the service changes triggers rely on reactive events, where decisions come from a centralized decision-maker and are performed manually. Based on these facts a service-oriented multi-agent systems architecture is described aiming at actively promoting service reconfiguration (e.g., improvement of the service’s properties and/or update the services’ catalogue) to cope with the unexpected and unpredictable condition changes. This paper describes the processes that decide which service reconfiguration should be applied to each circumstance. The developed prototype for a flexible manufacturing system case study allowed verifying the feasibility of the proposed dynamic service reconfiguration solution in different scenarios.info:eu-repo/semantics/publishedVersio
Instantiating the PERFORM system architecture for industrial case studies

The PERFoRM project, an innovation action promoted within the scope of the EU Horizon 2020 program, advocates the use of an Industrie 4.0 compliant system architecture for the seamless reconfiguration of robots and machinery. The system architecture re-uses the innovative results from previous successful R & D projects on distributed control systems domain, such as SOCRADES, IMC-AESOP, GRACE and IDEAS. This paper, after describing the main pillars of the PERFoRM system architecture, focuses on mapping the system architecture into four industrial use cases aiming to validate the system architecture design before its deployment in the real environments.info:eu-repo/semantics/publishedVersio
Industrial cyber physical systems supported by distributed advanced data analytics

The industry digitization is transforming its business models, organizational structures and operations, mainly promoted by the advances and the mass utilization of smart methods, devices and products, being leveraged by initiatives like Industrie 4.0. In this context, the data is a valuable asset that can support the smart factory features through the use of Big Data and advanced analytics approaches. In order to address such requirements and related challenges, Cyber Physical Systems (CPS) promote the development of more intelligent, adaptable and responsiveness supervisory and control systems capable to overcome the inherent complexity and dynamics of industrial environments. In this context, this work presents an agent-based industrial CPS, where agents are endowed with data analysis capabilities for distributed, collaborative and adaptive process supervision and control. Additionally, to address the different industrial levels’ requirements, this work combines two main data analysis scopes: at operational level, applying distributed data stream analysis for rapid response monitoring and control, and at supervisory level, applying big data analysis for decision-making, planning and optimization. Some experiments have been performed in the context of an electric micro grid where agents were able to perform distributed data analysis to predict the renewable energy production.info:eu-repo/semantics/publishedVersio
Toward a Matching Approach to Support CBM (Collaborative Business Model) Processes between Regional Entrepreneurs within the RIS3 Policy

Part 10: Collaborative SystemsInternational audienceOne of the objectives of the European Commission for 2014-2020 is to establish " Research and Innovation Strategies for the Smart Specialization " (RIS3). The originality of RIS3 is the " bottom-up " identification of regional priorities especially through the " Entrepreneurial Discovery " (ED) process. The Collaborative Business Models (CBM) approach has probably a role to play within this process as a suitable strategic tool to set up regional " value networks ". However, the preparatory stage of CBM and especially the identification and the matching processes among potential RE partners is often not addressed. This work is based on the need to support the discovering and the matching processes between " regional entrepreneurs " (companies, research , consulting, association, public authorities…) in order to improve the efficacy of CBM and RIS3. In this paper, we propose a review of the state of the art concerning the different dimensions linked to the matching processes
The EU-Project "TROPOS"

The global population is growing and the demand for food and energy is steadily increasing. Coastal space all over the world becomes increasingly limited and near-shore resources are often already heavily exploited. The use of offshore regions may provide new opportunities, but also involves major challenges such as the development of designs and technologies suitable for offshore condition. The floating TROPOS ‘Green & Blue’ modular multi-use platform concept introduced in this chapter is especially designed for offshore conditions and provides solutions for the problems and obstacles involved in “moving offshore”. The Green & Blue platform concept integrates fish and algae aquaculture with a wind farm. The floating multi-use approach allows for platform operation in deep waters and the promotion of synergies such as joint logistics, shared infrastructure and services, thereby making the use of offshore resources viable and profitable
3D digital image correlation applied to birdstrike tests

The development of new bird strike shielding materials for commercial aircrafts requires test campaigns. During these tests, measurement of the high speed deformation is needed to characterize and compare the mechanical response of the shielding samples and to correlate numerical simulations with experiments. In this work, 3D digital image correlation method is used with high speed (HSP) cameras to compute the displacement and strain fields on a large area (approximately 400mm wide) of the back side of impacted samples. Compromise on spatial resolution, frame rate of HSP camera and measurement error is discussed
Quantum spin systems on infinite lattices

This is an extended and corrected version of lecture notes originally written
for a one semester course at Leibniz University Hannover. The main aim of the
notes is to give an introduction to the mathematical methods used in describing
discrete quantum systems consisting of infinitely many sites. Such systems can
be used, for example, to model the materials in condensed matter physics. The
notes provide the necessary background material to access recent literature in
the field. Some of these recent results are also discussed.
  The contents are roughly as follows: (1) quick recap of essentials from
functional analysis, (2) introduction to operator algebra, (3) algebraic
quantum mechanics, (4) infinite systems (quasilocal algebra), (5) KMS and
ground states, (6) Lieb-Robinson bounds, (7) algebraic quantum field theory,
(8) superselection sectors of the toric code, (9) Haag-Ruelle scattering theory
in spin systems, (10) applications to gapped phases.
  The level is aimed at students who have at least had some exposure to
(functional) analysis and have a certain mathematical "maturity".Comment: To be published in Lecture Notes in Physics (Springer). v2: extended
  and corrected. 157 page
Exploiting photometric information for planning under uncertainty

Vision-based localization systems rely on highly-textured areas for achieving an accurate pose estimation. However, most previous path planning strategies propose to select trajectories with minimum pose uncertainty by leveraging only the geometric structure of the scene, neglecting the photometric information (i.e, texture). Our planner exploits the scene’s visual appearance (i.e, the photometric information) in combination with its 3D geometry. Furthermore, we assume that we have no prior knowledge about the environment given, meaning that there is no pre-computed map or 3D geometry available. We introduce a novel approach to update the optimal plan on-the-fly, as new visual information is gathered. We demonstrate our approach with real and simulated Micro Aerial Vehicles (MAVs) that perform perception-aware path planning in real-time during exploration. We show significantly reduced pose uncertainty over trajectories planned without considering the perception of the robot
A note on local H\"older continuity of weighted Tauberian functions

Let $\mathsf M$ and $\mathsf M _{\mathsf S}$ respectively denote the
Hardy-Littlewood maximal operator with respect to cubes and the strong maximal
operator on $\mathbb{R}^n$, and let $w$ be a nonnegative locally integrable
function on $\mathbb{R}^n$. We define the associated Tauberian functions
$\mathsf{C}_{\mathsf{HL},w}(\alpha)$ and $\mathsf{C}_{\mathsf{S},w}(\alpha)$ on
$(0,1)$ by \[
  \mathsf{C}_{\mathsf{HL},w}(\alpha) :=\sup_{\substack{E \subset \mathbb{R}^n
\\ 0 < w(E) < \infty}} \frac{1}{w(E)}w(\{x \in \mathbb{R}^n : \mathsf M
\chi_E(x) > \alpha\}) \] and \[ \mathsf{C}_{\mathsf{S},w}(\alpha) :=
\sup_{\substack{E \subset \mathbb{R}^n \\ 0 < w(E) < \infty}}
\frac{1}{w(E)}w(\{x \in \mathbb{R}^n : \mathsf M _{\mathsf S}\chi_E(x) >
\alpha\}). \] Utilizing weighted Solyanik estimates for $\mathsf M$ and
$\mathsf M_{\mathsf S}$, we show that the function $\mathsf{C}_{\mathsf{HL},w}
$ lies in the local H\"older class $C^{(c_n[w]_{A_{\infty}})^{-1}}(0,1)$ and
$\mathsf{C}_{\mathsf{S},w} $ lies in the local H\"older class
$C^{(c_n[w]_{A_{\infty}^\ast})^{-1}}(0,1)$, where the constant $c_n>1$ depends
only on the dimension $n$.Comment: 8 pages, submitted for publicatio
Three observations on commutators of Singular Integral Operators with
  BMO functions

This paper contains three observations on commutators of Singular Integral
Operators with BMO functions:
  1) The subgaussian local decay for the commutator, namely
\[\frac{1}{|Q|}\left|\left\{x\in Q\, : \,
|[b,T](f\chi_Q)(x)|>M^2f(x)t\right\}\right|\leq c e^{-\sqrt{ct\|b\|_{BMO}}} \]
is sharp, that is, it is subgaussian and not better.
  2) It is not possible to obtain a pointwise control of the commutator by a
finite sum of sparse operators defined with $L\log L$ averages.
  3) If $w\in A_p\setminus A_1$ then $\left\|
wM\left(\frac{f}{w}\right)\right\|_{L^1(\mathbb{R}^n)\rightarrow
L^{1,\infty}(\mathbb{R}^n)}=\infty$.Comment: Proof of (12) and Proof 2 of observation 2 have been corrected. To
  appear in AWM-Springer Series, Harmonic Analysis, Partial Differential
  Equations, Complex Analysis, Banach Spaces, and Operator Theory. Celebrating
  Cora Sadosky's Life. Vol.2. Editors: S. Marcantognini, C. Pereyra, A.
  Stokolos y W. Urbin
Neurocognitive improvement through plant food bioactives: A particular approach to Alzheimer's disease

Alzheimer’s disease (AD) is currently one of the most prevalent neurodegenerative
disorders, directly related to increasing rates of morbidity and autonomy impairment
between worldwide citizens. Social and demographical changes are direct
contributors; notwithstanding, modern lifestyle, oxidative stress and its related
diseases, and, consequently, premature aging are also important triggering factors
(Sun et al. 2008; Ngo and Li 2013).
Numerous drugs have been developed mainly to act as symptomatic agents,
despite the serious side effects and increasing evidences of lack of effectiveness.
Most of them were derived from plant-mimetic synthesis, but tenuous differences
on their chemical structure and also the occurrence of synergisms in the pool of the
whole plant phytochemicals are sufficient to provide considerable influences on the
final biological potential (Ngo and Li 2013; Katalini et al. 2014; Ahmed et al.
2015). The use of medicinal plants, mainly through botanical preparations, is a
millenary practice, which has been effectively used for a multitude of health conditions
(Vanaclocha and Cañigueral 2003; Murray 2004; Murray and Pizzorno
2012). The interest for natural matrices is still increasing, not only to confirm its
bioactive potential, but also to deepen knowledge on the modes of action, metabolism,
bioavailability, bioefficacy, and active concentrations, aiming to develop
upcoming and safer alternatives to the current ones. Among them, plant phytochemicals
have shown to have promissory neurocognitive properties. In this sense,
the present chapter aims to provide systematic information about the use of
plant-food-derived bioactive molecules with evident in vitro and in vivo neuroprotective
and neuroregenerative effects.info:eu-repo/semantics/publishedVersio