pinecone/core-2020-05-10-deduplication huggingface dataset:
A Dynamic Authentication Scheme for Hierarchical Wireless Sensor Networks

Sensor networks offer economically viable solutions for a wide variety  of monitoring applications. In surveillance of critical infrastructure such as  airports by sensor networks, security becomes a major concern. To resist against  malicious attacks, secure communication between severely resource-constrained  sensor nodes is necessary while maintaining scalability and flexibility to topology  changes. A robust security solution for such networks must facilitate authentication  of sensor nodes and the establishment of secret keys among nodes In this  paper, we propose a decentralized authentication and key management framework  for hierarchical ad hoc sensor networks. This scheme is light weight and  energy aware and reduces the communication overhead.Full Tex
On the effect of land use change on the meteorological parameters above the greater Athens area

The rapid land use changes that took place in the Greater Athens Area (GAA) the past decades, due to the expansion of the urban grid, have changed the landscape of Attica significantly. Areas that were covered by low vegetation in the past are now replaced by roads (e.g. Attiki Odos) and new towns. On the other hand, accurate and updated data of land use are necessary for simulating the meteorological fields above urban areas, which in turn are given as input to photochemical models in order to study the dispersion of pollutants above urban areas. The purpose of the present work is to study the effects of land use changes on the meteorological parameters, such as wind speed profiles and temperature. For this reason, the meteorological mesoscale model MM5 was applied, using updated land use data. The model ran with the grid nesting method using two grids, the fine one covering the GAA with a spatial resolution of 5 × 5 km2. Results showed that the land use changes affected wind and temperature fields. Wind velocities decreased above areas covered by urban grid that were previously characterised as shrub land, while above the rapidly developing eastern suburbs of Attica an increase in velocities appeared
Evolutionary data selection for enhancing models of intraday forex time series

The hypothesis in this paper is that a significant amount of intraday market data is either noise or redundant, and that if it is eliminated, then predictive models built using the remaining intraday data will be more accurate. To test this hypothesis, we use an evolutionary method (called Evolutionary Data Selection, EDS) to selectively remove out portions of training data that is to be made available to an intraday market predictor. After performing experiments in which data-selected and non-data-selected versions of the same predictive models are compared, it is shown that EDS is effective and does indeed boost predictor accuracy. It is also shown in the paper that building multiple models using EDS and placing them into an ensemble further increases performance. The datasets for evaluation are large intraday forex time series, specifically series from the EUR/USD, the USD/JPY and the EUR/JPY markets, and predictive models for two primary tasks per market are built: intraday return prediction and intraday volatility prediction
Spicing up map generation

We describe a search-based map generator for the classic real-time strategy game Dune 2. The generator is capable of creating playable maps in seconds, which can be used with a partial recreation of Dune 2 that has been implemented using the Strategy Game Description Language. Map genotypes are represented as low-resolution matrices, which are then converted to higher-resolution maps through a stochastic process involving cellular automata. Map phenotypes are evaluated using a set of heuristics based on the gameplay requirements of Dune 2.peer-reviewe
Diversified virtual camera composition

The expressive use of virtual cameras and the automatic generation of\ud
cinematics within 3D environments shows potential to extend the communicative\ud
\ud
power of films into games and virtual worlds. In this paper we present a novel solution to the problem of virtual camera composition based on niching and restart\ud
\ud
evolutionary algorithms that addresses the problem of diversity in shot generation\ud
by simultaneously identifying multiple valid camera camera configurations. We\ud
asses the performance of the proposed solution against a set of state-of-the-art\ud
algorithms in virtual camera optimisation.peer-reviewe
Digging deeper into platform game level design : session size and sequential features

A recent trend within computational intelligence and games research is to investigate how to affect video game players’ in-game experience by designing and/or modifying aspects of game content. Analysing the relationship between game content, player behaviour and self-reported affective states constitutes an important step towards understanding game experience and constructing effective game adaptation mechanisms. This papers reports on further refinement of a method to understand this relationship by analysing data collected from players, building models that predict player experience and analysing what features of game and player data predict player affect best. We analyse data from players playing 780 pairs of short game sessions of the platform game Super Mario Bros, investigate the impact of the session size and what part of the level that has the major affect on player experience. Several types of features are explored, including item frequencies and patterns extracted through frequent sequence mining.peer-reviewe
Hyperparameter Tuning in Bandit-Based  Adaptive Operator Selection

We are using bandit-based adaptive operator selection while autotuning parallel computer programs. The autotuning, which uses evolutionary algorithm-based stochastic sampling, takes place over an extended duration and occurs in situ as programs execute. The environment or context during tuning is either largely static in one scenario or dynamic in another. We rely upon adaptive operator selection to dynamically generate worthy test configurations of the program. In this paper, we study how the choice of hyperparameters, which control the trade-off between exploration and exploitation, affects the effectiveness of adaptive operator selection which in turn affects the performance of the autotuner. We show that while the optimal assignment of hyperparameters varies greatly between different benchmarks, there exists a single assignment, for a context, of hyperparameters that performs well regardless of the program being tuned.EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Málaga, Spain, April 11-13, 2012, Proceeding
Towards Real Intelligent Web Exploration

A significant problem of the dominant web search model is the lack of a realistic way to acquire user search context. Search engines use implicit feedback, which is extremely sparse and does not allow users to properly define what they want to know, or what they think of search results. In our proposed "web exploration engine", which we implemented as a prototype, documents have been automatically pre-classified into a large number of categories representing a hierarchy of search contexts. Users can browse this structure or search within a particular category (context) by explicitly selecting it. Keyword relevance is not global but specific to a category. The main innovation we propose is the "floating" query resulting from this feature: the original search query is re-evaluated and the importance of its features re-calculated for every context the user explores. This allows users to search or browse in a truly local (context-dependent) way with a minimum of effort on their part.Griffith Sciences, School of Information and Communication TechnologyFull Tex
Type checking cryptography implementations

Proceedings da conferência Fundamentals of Software Engineering 2011Cryptographic software development is a challenging field:
high performance must be achieved, while ensuring correctness and
compliance with low-level security policies.
CAO is a domain specific language designed to assist development of
cryptographic software. An important feature of this language is the 
design of a novel type system introducing native types such as predefined 
sized vectors, matrices and bit strings, residue classes modulo an integer, finite fields
and finite field extensions, allowing for extensive static validation of source code. 
We present the formalisation, validation and implementation of 
this type system
Reoptimization of Some Maximum Weight Induced Hereditary Subgraph Problems

The reoptimization issue studied in this paper can be described as follows: given an instance I of some problem Π, an optimal solution OPT for Π in I and an instance I′ resulting from a local perturbation of I that consists of insertions or removals of a small number of data, we wish to use OPT in order to solve Π in I', either optimally or by guaranteeing an approximation ratio better than that guaranteed by an ex nihilo computation and with running time better than that needed for such a computation. We use this setting in order to study weighted versions of several representatives of a broad class of problems known in the literature as maximum induced hereditary subgraph problems. The main problems studied are max independent set, max k-colorable subgraph and max split subgraph under vertex insertions and deletion
Improving Performance of Self-Organising Maps with Distance Metric
  Learning Method

Self-Organising Maps (SOM) are Artificial Neural Networks used in Pattern
Recognition tasks. Their major advantage over other architectures is human
readability of a model. However, they often gain poorer accuracy. Mostly used
metric in SOM is the Euclidean distance, which is not the best approach to some
problems. In this paper, we study an impact of the metric change on the SOM's
performance in classification problems. In order to change the metric of the
SOM we applied a distance metric learning method, so-called 'Large Margin
Nearest Neighbour'. It computes the Mahalanobis matrix, which assures small
distance between nearest neighbour points from the same class and separation of
points belonging to different classes by large margin. Results are presented on
several real data sets, containing for example recognition of written digits,
spoken letters or faces.Comment: 9 pages, 2 figure
A Hybrid Artificial Bee Colony Algorithm for Graph 3-Coloring

The Artificial Bee Colony (ABC) is the name of an optimization algorithm that
was inspired by the intelligent behavior of a honey bee swarm. It is widely
recognized as a quick, reliable, and efficient methods for solving optimization
problems. This paper proposes a hybrid ABC (HABC) algorithm for graph
3-coloring, which is a well-known discrete optimization problem. The results of
HABC are compared with results of the well-known graph coloring algorithms of
today, i.e. the Tabucol and Hybrid Evolutionary algorithm (HEA) and results of
the traditional evolutionary algorithm with SAW method (EA-SAW). Extensive
experimentations has shown that the HABC matched the competitive results of the
best graph coloring algorithms, and did better than the traditional heuristics
EA-SAW when solving equi-partite, flat, and random generated medium-sized
graphs
On the pattern recognition and classification of stochastically episodic events

Published version of a chapter published in the book: Transactions on Compuational Collective Intelligence VI. Also available from the publisher at: http://dx.doi.org/10.1007/978-3-642-29356-6_1Researchers in the field of Pattern Recognition (PR) have traditionally presumed the availability of a representative set of data drawn from the classes of interest, say ω 1 and ω 2 in a 2-class problem. These samples are typically utilized in the development of the system’s discriminant function. It is, however, widely recognized that there exists a particularly challenging class of PR problems for which a representative set is not available for the second class, which has motivated a great deal of research into the so-called domain of One Class ( OC ) classification. In this paper, we extend the frontiers of novelty detection by the introduction of a new field of problems open for analysis. In particular, we note that this new realm deviates from the standard set of OC problems based on the presence of three characteristics, which ultimately amplify the classification challenge. They involve the temporal nature of the appearance of the data, the fact that the data from the classes are “interwoven”, and that a labelling procedure is not merely impractical - it is almost, by definition, impossible. As a first attempt to tackle these problems, we present two specialized classification strategies denoted by Scenarios S 1 and S 2 respectively. In Scenarios S 1, the data is such that standard binary and one-class classifiers can be applied. Alternatively, in Scenarios S 2, the labelling challenge prevents the application of binary classifiers, and instead dictates the novel application of one-class classifiers. The validity of these scenarios has been demonstrated for the exemplary domain involving the Comprehensive Nuclear Test-Ban-Treaty (CTBT), for which our research endeavour has also developed a simulation model. As far as we know, our research in this field is of a pioneering sort, and the results presented here are novel
Multi-script and multi-oriented text localization from scene images

This paper describes a new method of color text localization from generic scene images containing text of different scripts and with arbitrary orientations. A representative set of colors is first identified using the edge information to initiate an unsupervised clustering algorithm. Text components are identified from each color layer using a combination of a support vector machine and a neural network classifier trained on a set of low-level features derived from the geometric, boundary, stroke and gradient information. Experiments on camera-captured images that contain variable fonts, size, color, irregular layout, non-uniform illumination and multiple scripts illustrate the robustness of the method. The proposed method yields precision and recall of 0.8 and 0.86 respectively on a database of 100 images. The method is also compared with others in the literature using the ICDAR 2003 robust reading competition dataset
Complex Magnetic Evolution and Magnetic Helicity in the Solar Atmosphere

Solar atmosphere is a single system unified by the presence of large-scale
magnetic fields. Topological changes in magnetic fields that occur in one place
may have consequences for coronal heating and eruptions for other, even remote
locations. Coronal magnetic fields also play role in transport of magnetic
helicity from Sun's subphotosphere/upper convection zone to the interplanetary
space. We discuss observational evidence pertinent to some aspects of the solar
corona being a global interconnected system, i.e., large-scale coronal heating
due to new flux emergence, eruption of chromospheric filament resulting from
changes in magnetic topology triggered by new flux emergence, sunspots rotation
as manifestation of transport of helicity through the photosphere, and
potential consequences of re-distribution of energy from solar luminosity to
the dynamo for solar cycle variations of solar irradiance.Comment: 9 pages, 3 figure
Supporting Argumentation Systems by Graph Representation and Computation

International audienceArgumentation is a reasoning model based on arguments and on attacks between arguments. It consists in evaluating the acceptability of arguments, according to a given semantics. Due to its generality, Dung's framework for abstract argumentation systems, proposed in 1995, is a reference in the domain. Argumentation systems are commonly represented by graph structures, where nodes and edges respectively represent arguments and attacks between arguments. However beyond this graphical support, graph operations have not been considered as reasoning tools in argumentation systems. This paper proposes a conceptual graph representation of an argumentation system and a computation of argument acceptability relying on conceptual graph default rules
Combining Epistemic Logic and Hennessy-Milner Logic

International audienceWe define an epistemic logic for labelled transition systems by introducing equivalence relations for the agents on the states of the labelled transition system. The idea is that agents observe the dynamics of the system modulo their ability to distinguish states and in the process learn about the current state and past history of the execution. This is in the spirit of dynamic epistemic logic but is a direct combination of Hennessy-Milner logic and epistemic logic. We give an axiomatization for the for the logic and prove a completeness theorem with respect to the class of models obtained by unfolding labelled transition systems
Multi-Periodic Oscillations in Cepheids and RR Lyrae-Type Stars

Classical Cepheids and RR Lyrae-type stars are usually considered to be
textbook examples of purely radial, strictly periodic pulsators. Not all the
variables, however, conform to this simple picture. In this review I discuss
different forms of multi-periodicity observed in Cepheids and RR Lyrae stars,
including Blazhko effect and various types of radial and nonradial multi-mode
oscillations.Comment: Proceedings of the 20th Stellar Pulsation Conference Series: "Impact
  of new instrumentation & new insights in stellar pulsations", 5-9 September
  2011, Granada, Spai
Vibrational Instability of Metal-Poor Low-Mass Main-Sequence Stars

We find that low-degree low-order g-modes become unstable in metal-poor
low-mass stars due to the $\varepsilon$-mechanism of the pp-chain. Since the
outer convection zone of these stars is limited only to the very outer layers,
the uncertainty in the treatment of convection does not affect the result
significantly. The decrease in metallicity leads to decrease in opacity and
hence increase in luminosity of a star. This makes the star compact and results
in decrease in the density contrast, which is favorable to the
$\varepsilon$-mechanism instability. We find also instability for high order
g-modes of metal-poor low-mass stars by the convective blocking mechanism.
Since the effective temperature and the luminosity of metal-poor stars are
significantly higher than those of Pop I stars, the stars showing $\gamma$
Dor-type pulsation are substantially less massive than in the case of Pop I
stars. We demonstrate that those modes are unstable for about $1\,M_\odot$
stars in the metal-poor case.Comment: 4 pages, 4 figures, To be published in Astrophysics and Space Science
  Proceedings series (ASSP). Proceedings of the "20th Stellar Pulsation
  Conference Series: Impact of new instrumentation and new insights in stellar
  pulsations", 5-9 September 2011, Granada, Spai
Complex asteroseismology of the Slowly Pulsating B-type star HD74560

We present the results of complex seismic modelling of the Slowly Pulsating
B-type star HD74560. The star pulsates in five frequencies detected in
photometric observations. For all these frequencies, we identify the mode
degree, $\ell$. For two of them, found also in spectroscopic data, we are able
to derived the empirical values of the complex nonadiabatic parameter $f$. We
test effects of chemical composition and opacity data. Our results show that
the properties of seismic models of SPB stars differ significantly from those
of the more massive $\beta$ Cephei stars.Comment: 4 pages, 2 figures, conference proceedings, to appear in ASS
Towards precise asteroseismology of solar-like stars

Adiabatic modeling of solar-like oscillations cannot exceed a certain level
of precision for fitting individual frequencies. This is known as the problem
of near surface effects on the mode physics. We present a theoretical study
which addresses the problem of frequency precision in non-adiabatic models
using a time-dependent convection treatment. We find that the number of
acceptable model solutions is significantly reduced and more precise
constraints can be imposed on the models. Results obtained for a specific star
(beta Hydri) lead to very good agreement with both global and local seismic
observables. This indicates that the accuracy of model fitting to seismic data
is greatly improved when a more complete description of the interaction between
convection and pulsation is taken into account.Comment: 4 pages, 2 figures. To be published in Astrophysics and Space Science
  Proceedings series (ASSP). Proceedings of the "20th Stellar Pulsation
  Conference Series: Impact of new instrumentation and new insights in stellar
  pulsations", 5-9 September 2011, Granada, Spai
Current state of the modelling of photospheric activity

I briefly review the current state of the modelling of photospheric activity
based on the high-precision optical light curves obtained with MOST, CoRoT, and
Kepler. These models can be used to search for active longitudes where activity
is preferentially concentrated, estimate the amplitude of stellar differential
rotation, and look for short-term activity cycles as, e.g., in the case of
CoRoT-2. In the case of a late-type star accompanied by a transiting hot
Jupiter, the small light modulations observed during transits when a dark spot
is occulted by the disc of the planet are also briefly considered. They can be
used to derive information on individual active regions as well as on stellar
rotation and the spin-orbit alignment of the system.Comment: 6 pages, invited review at the 20th Stellar Pulsation Conference
  "Impact of new instrumentation and new insights in stellar pulsation" held in
  Granada, Spain, 5-9 September 2011 - L. A. Balona, J. Christensen-Dalsgaard,
  R. Garrido and J. C. Suarez (Eds.) to appear in Astrophysics and Space
  Science Proceeding
The spectroscopic observations of CoRoT asteroseismic targets with HARPS

CoRoT photometric measurements of asteroseismic targets need complementary
ground-based spectroscopic observations. We are using the planet-hunter HARPS
spectrograph attached to the 3.6m-ESO telescope in the framework of two
consecutive Large Programmes. We discuss its use to study line-profile
variations and we report on a specific result obtained for the Delta Sct star
HD 170699.Comment: Proceedings of the 20th Stellar Pulsation Conference Series: "Impact
  of new instrumentation & new insights in stellar pulsations", 5-9 September
  2011, Granada, Spai
Design and prototype of a train-to-wayside communication architecture

Telecommunication has become very important in modern society and seems to be almost omnipresent, making daily life easier, more pleasant and connecting people everywhere. It does not only connect people, but also machines, enhancing the efficiency of automated tasks and monitoring automated processes. In this context the IBBT (Interdisciplinary Institute for BroadBand Technology) project TRACK (TRain Applications over an advanced Communication networK), sets the definition and prototyping of an end-to-end train-to-wayside communication architecture as one of the main research goals. The architecture provides networking capabilities for train monitoring, personnel applications and passenger Internet services. In the context of the project a prototype framework was developed to give a complete functioning demonstrator. Every aspect: tunneling and mobility, performance enhancements, and priority and quality of service were taken into consideration. In contrast to other research in this area, which has given mostly high-level overviews, TRACK resulted in a detailed architecture with all different elements present