pinecone/core-2020-05-10-deduplication huggingface dataset:
Optimizing Decisions in Web Services Orchestrations

International audienceWeb services orchestrations conventionally employ exhaustive comparison of runtime quality of service (QoS) metrics for decision making. The ability to incorporate more complex mathematical packages are needed, especially in case of workflows for resource allocation and queuing systems. By modeling such optimization routines as service calls within orchestration specifications, techniques such as linear programming can be conveniently invoked by non-specialist workflow designers. Leveraging on previously developed QoS theory, we propose the use of a high-level flexible query procedure for embedding optimizations in languages such as Orc. The Optima site provides an extension to the sorting and pruning operations currently employed in Orc. Further, the lack of an objective technique for consolidating QoS metrics is a problem in identifying suitable cost functions. We employ the \emph{analytical hierarchy process (AHP)} to generate a total ordering of QoS metrics across various domains. With constructs for ensuring consistency over subjective judgements, the AHP provides a suitable technique for producing objective cost functions. Using the Dell Supply Chain example, we demonstrate the feasibility of decision making through optimization routines, specially when the control flow is QoS dependent
Robust Gaussian process-based global optimization using a fully Bayesian expected improvement criterion

International audienceWe consider the problem of optimizing a real-valued continuous function f, which is supposed to be expensive to evaluate and, consequently, can only be evaluated a limited number of times. This article focuses on the Bayesian approach to this problem, which consists in combining evaluation results and prior information about f in order to efficiently select new evaluation points, as long as the budget for evaluations is not exhausted. The algorithm called efficient global optimization (EGO), proposed by Jones, Schonlau and Welch (J. Global Optim., 13(4):455-492, 1998), is one of the most popular Bayesian optimization algorithms. It is based on a sampling criterion called the expected improvement (EI), which assumes a Gaussian process prior about f. In the EGO algorithm, the parameters of the covariance of the Gaussian process are estimated from the evaluation results by maximum likelihood, and these parameters are then plugged in the EI sampling criterion. However, it is well-known that this plug-in strategy can lead to very disappointing results when the evaluation results do not carry enough information about f to estimate the parameters in a satisfactory manner. We advocate a fully Bayesian approach to this problem, and derive an analytical expression for the EI criterion in the case of Student predictive distributions. Numerical experiments show that the fully Bayesian approach makes EI-based optimization more robust while maintaining an average loss similar to that of the EGO algorithm
Multi-Objective Optimization with an Adaptive Resonance Theory-Based Estimation of Distribution Algorithm: A Comparative Study

Proceedings of: 5th International Conference, LION 5, Rome, Italy, January 17-21, 2011.The introduction of learning to the search mechanisms of optimization algorithms has been nominated as one of the viable approaches when dealing with complex optimization problems, in particular with multi-objective ones. One of the forms of carrying out this hybridization process is by using multi-objective optimization estimation of distribution algorithms (MOEDAs). However, it has been pointed out that current MOEDAs have a intrinsic shortcoming in their model-building algorithms that hamper their performance. In this work we argue that error-based learning, the class of learning most commonly used in MOEDAs is responsible for current MOEDA underachievement. We present adaptive resonance theory (ART) as a
suitable learning paradigm alternative and present a novel algorithm called multi-objective ART-based EDA (MARTEDA) that uses a Gaussian ART neural network for model-building and an hypervolume-based selector as described for the HypE algorithm. In order to assert the improvement obtained by combining two cutting-edge approaches to optimization an extensive set of experiments are carried out. These experiments also test the scalability of MARTEDA as the number of objective functions increases.This work was supported by projects CICYT TIN2008-06742-C02-02/TSI, CICYT TEC2008-06732-C02-02/TEC, CAM CONTEXTS (S2009/TIC-1485) and DPS2008-07029-C02-02.Publicad
Attractive subfamilies of BLS curves for implementing high-security pairings

Barreto-Lynn-Scott (BLS) curves are a stand-out candidate for implementing high-security pairings. This paper shows that particular choices of the pairing-friendly search parameter give rise to four subfami- lies of BLS curves, all of which offer highly efficient and implementation- friendly pairing instantiations.\ud
Curves from these particular subfamilies are defined over prime fields that support very efficient towering options for the full extension field. The coefficients for a specific curve and its correct twist are automat-ically determined without any computational effort. The choice of an extremely sparse search parameter is immediately reflected by a highly efficient optimal ate Miller loop and final exponentiation. As a resource for implementors, we give a list with examples of implementation-friendly BLS curves through several high-security levels
Towards a provably secure DoS-Resilient key exchange protocol with perfect forward secrecy

Just Fast Keying (JFK) is a simple, efficient and secure key exchange protocol proposed by Aiello et al. (ACM TISSEC, 2004). JFK is well known for its novel design features, notably its resistance to denial-of-service (DoS) attacks. Using Meadows’ cost-based framework, we identify a new DoS vulnerability in JFK. The JFK protocol is claimed secure in the Canetti-Krawczyk model under the Decisional Diffie-Hellman (DDH) assumption. We show that security of the JFK protocol, when reusing ephemeral Diffie-Hellman keys, appears to require the Gap Diffie-Hellman (GDH) assumption in the random oracle model. We propose a new variant of JFK that avoids the identified DoS vulnerability and provides perfect forward secrecy even under the DDH assumption, achieving the full security promised by the JFK protocol
Square Always Exponentiation

International audienceEmbedded exponentiation techniques have become a key concern for security and eﬃciency in hardware devices using public key cryptography. An exponentiation is basically a sequence of multiplications and squarings, but this sequence may reveal exponent bits to an attacker on an unprotected implementation. Although this subject has been covered for years, we present in this paper new exponentiation algorithms based on trading multiplications for squarings. Our method circumvents attacks aimed at distinguishing squarings from multiplications at a lower cost than previous techniques. Last but not least, we present new algorithms using two parallel squaring blocks which provide the fastest exponentiation to our knowledge
Edit distance to monotonicity in sliding windows

LNCS v. 7074 is proceedings of the 22nd International Symposium, ISAAC 2011Session 8A: Online and Streaming AlgorithmsGiven a stream of items each associated with a numerical value, its edit distance to monotonicity is the minimum number of items to remove so that the remaining items are non-decreasing with respect to the numerical value. The space complexity of estimating the edit distance to monotonicity of a data stream is becoming well-understood over the past few years. Motivated by applications on network quality monitoring, we extend the study to estimating the edit distance to monotonicity of a sliding window covering the w most recent items in the stream for any w ≥ 1. We give a deterministic algorithm which can return an estimate within a factor of (4 + ε) using O(1/ε 2 log 2 (εw)) space. We also extend the study in two directions. First, we consider a stream where each item is associated with a value from a partial ordered set. We give a randomized (4 + ε)-approximate algorithm using O(1/ε 2 log ε 2 w log w) space. Second, we consider an out-of-order stream where each item is associated with a creation time and a numerical value, and items may be out of order with respect to their creation times. The goal is to estimate the edit distance to monotonicity with respect to the numerical value of items arranged in the order of creation times. We show that any randomized constant-approximate algorithm requires linear space. © 2011 Springer-Verlag.postprintThe 22nd International Symposium on Algorithm and Computation (ISAAC 2011), Yokohama, Japan, 5-8 December 2011. In Lecture Notes in Computer Science, 2011, v. 7074, p. 564-57
Folding equilateral plane graphs

We consider two types of folding applied to equilateral plane graph linkages. First, under continuous folding motions, we show how to reconfigure any linear equilateral tree (lying on a line) into a canonical configuration. By contrast, such reconfiguration is known to be impossible for linear (nonequilateral) trees and for (nonlinear) equilateral trees. Second, under instantaneous folding motions, we show that an equilateral plane graph has a noncrossing linear folded state if and only if it is bipartite. Not only is the equilateral constraint necessary for this result, but we show that it is strongly NP-complete to decide whether a (nonequilateral) plane graph has a linear folded state. Equivalently, we show strong NP-completeness of deciding whether an abstract metric polyhedral complex with one central vertex has a noncrossing flat folded state with a specified “outside region”. By contrast, the analogous problem for a polyhedral manifold with one central vertex (single-vertex origami) is only weakly NP-complete.22nd International Symposium, ISAAC 2011, Yokohama, Japan, December 5-8, 2011. Proceeding
Chapter 5: Perspectives and Integration in SOLAS Science.

Why a chapter on Perspectives and Integration in SOLAS Science in this book? SOLAS science by its nature deals with interactions that occur: across a wide spectrum of time and space scales, involve gases and particles, between the ocean and the atmosphere, across many disciplines including chemistry, biology, optics, physics, mathematics, computing, socio-economics and consequently interactions between many different scientists and across scientific generations. This chapter provides a guide through the remarkable diversity of cross-cutting approaches and tools in the gigantic puzzle of the SOLAS realm.\ud
Here we overview the existing prime components of atmospheric and oceanic observing systems, with the acquisition of ocean–atmosphere observables either from in situ or from satellites, the rich hierarchy of models to test our knowledge of Earth System functioning, and the tremendous efforts accomplished over the last decade within the COST Action 735 and SOLAS Integration project frameworks to understand, as best we can, the current physical and biogeochemical state of the atmosphere and ocean commons. A few SOLAS integrative studies illustrate the full meaning of interactions, paving the way for even tighter connections between thematic fields. Ultimately, SOLAS research will also develop with an enhanced consideration of societal demand while preserving fundamental research coherency.\ud
The exchange of energy, gases and particles across the air-sea interface is controlled by a variety of biological, chemical and physical processes that operate across broad spatial and temporal scales. These processes influence the composition, biogeochemical and chemical properties of both the oceanic and atmospheric boundary layers and ultimately shape the Earth system response to climate and environmental change, as detailed in the previous four chapters. In this cross-cutting chapter we present some of the SOLAS achievements over the last decade in terms of integration, upscaling observational information from process-oriented studies and expeditionary research with key tools such as remote sensing and modelling.\ud
Here we do not pretend to encompass the entire legacy of SOLAS efforts but rather offer a selective view of some of the major integrative SOLAS studies that combined available pieces of the immense jigsaw puzzle. These include, for instance, COST efforts to build up global climatologies of SOLAS relevant parameters such as dimethyl sulphide, interconnection between volcanic ash and ecosystem response in the eastern subarctic North Pacific, optimal strategy to derive basin-scale CO2 uptake with good precision, or significant reduction of the uncertainties in sea-salt aerosol source functions. Predicting the future trajectory of Earth’s climate and habitability is the main task ahead. Some possible routes for the SOLAS scientific community to reach this overarching goal conclude the chapter
Short-Lived Trace Gases in the Surface Ocean and the Atmosphere

The two-way exchange of trace gases between the ocean and the atmosphere is important for both the chemistry and physics of the atmosphere and the biogeochemistry of the oceans, including the global cycling of elements. Here we review these exchanges and their importance for a range of gases whose lifetimes are generally short compared to the main greenhouse gases and which are, in most cases, more reactive than them. Gases considered include sulphur and related compounds, organohalogens, non-methane hydrocarbons, ozone, ammonia and related compounds, hydrogen and carbon monoxide. Finally, we stress the interactivity of the system, the importance of process understanding for modeling, the need for more extensive field measurements and their better seasonal coverage, the importance of inter-calibration exercises and finally the need to show the importance of air-sea exchanges for global cycling and how the field fits into the broader context of Earth System Science
Air-sea interactions of natural long-lived greenhouse gases (CO2, N2O, CH4) in a changing climate

Understanding and quantifying ocean–atmosphere exchanges of the long-lived greenhouse gases carbon dioxide (CO2), nitrous oxide (N2O) and methane (CH4) are important for understanding the global biogeochemical cycles of carbon and nitrogen in the context of ongoing global climate change. In this chapter we summarise our current state of knowledge regarding the oceanic distributions, formation and consumption pathways, and oceanic uptake and emissions of CO2, N2O and CH4, with a particular emphasis on the upper ocean. We specifically consider the role of the ocean in regulating the tropospheric content of these important radiative gases in a world in which their tropospheric content is rapidly increasing and estimate the impact of global change on their present and future oceanic uptake and/or emission. Finally, we evaluate the various uncertainties associated with the most commonly used methods for estimating uptake and emission and identify future research needs
Perspectives and Integration in SOLAS Science

Why a chapter on Perspectives and Integration in SOLAS Science in this book? SOLAS science by its nature deals with interactions that occur: across a wide spectrum of time and space scales, involve gases and particles, between the ocean and the atmosphere, across many disciplines including chemistry, biology, optics, physics, mathematics, computing, socio-economics and consequently interactions between many different scientists and across scientific generations. This chapter provides a guide through the remarkable diversity of cross-cutting approaches and tools in the gigantic puzzle of the SOLAS realm.\ud
\ud
Here we overview the existing prime components of atmospheric and oceanic observing systems, with the acquisition of ocean–atmosphere observables either from in situ or from satellites, the rich hierarchy of models to test our knowledge of Earth System functioning, and the tremendous efforts accomplished over the last decade within the COST Action 735 and SOLAS Integration project frameworks to understand, as best we can, the current physical and biogeochemical state of the atmosphere and ocean commons. A few SOLAS integrative studies illustrate the full meaning of interactions, paving the way for even tighter connections between thematic fields. Ultimately, SOLAS research will also develop with an enhanced consideration of societal demand while preserving fundamental research coherency.\ud
\ud
The exchange of energy, gases and particles across the air-sea interface is controlled by a variety of biological, chemical and physical processes that operate across broad spatial and temporal scales. These processes influence the composition, biogeochemical and chemical properties of both the oceanic and atmospheric boundary layers and ultimately shape the Earth system response to climate and environmental change, as detailed in the previous four chapters. In this cross-cutting chapter we present some of the SOLAS achievements over the last decade in terms of integration, upscaling observational information from process-oriented studies and expeditionary research with key tools such as remote sensing and modelling.\ud
\ud
Here we do not pretend to encompass the entire legacy of SOLAS efforts but rather offer a selective view of some of the major integrative SOLAS studies that combined available pieces of the immense jigsaw puzzle. These include, for instance, COST efforts to build up global climatologies of SOLAS relevant parameters such as dimethyl sulphide, interconnection between volcanic ash and ecosystem response in the eastern subarctic North Pacific, optimal strategy to derive basin-scale CO2 uptake with good precision, or significant reduction of the uncertainties in sea-salt aerosol source functions. Predicting the future trajectory of Earth’s climate and habitability is the main task ahead. Some possible routes for the SOLAS scientific community to reach this overarching goal conclude the chapter
Legal modelling and reasoning using institutions

To safeguard fairness for all parties involved and proper procedure, actions within a legal context are heavily constrained. Detailed laws determine when actions are permissible and admissible. However, these restrictions do not prevent participants from acting. In this paper we present a methodology to support legal reasoning using institutions-systems that specify the normative behaviour of participants-and a corresponding computational model. We show how it provides a useful separation between the identification of real world actions, if and how they affect the legal model and how consequences within the legal model can be specified and verified. Thus, it is possible to define a context, introduce a real-world event and examine how this changes the state of the legal model: hence, the modeller can explore both model adequacy and that of the legal framework from which it is derived, as well as offering a machine-usable legal 'oracle' for software components. We illustrate the use of our framework by modelling contract cancellation under Japanese contract law. 2011 Springer-Verlag
SDRT and Continuation Semantics

International audienceSegmented Discourse Representation Theory (SDRT) provides a dynamic semantics for discourse that exploits a rich notion of discourse structure. According to SDRT, a text is segmented into constituents related to each other by means of rhetorical relations; the resulting structure, known as a segmented discourse representation structure or SDRS has various semantic effects. This theory has shown how discourse structure makes contributions to the interpretation of a variety of linguistic phenomena, including tense, modality, presupposition, the interpretation of anaphoric pronouns and ellipsis. SDRT exploits dynamic semantics to interpret SDRSs. We investigate here the advantages of integrating SDRT within continuation style semantics
PIV investigation of the 3D instantaneous flow organization behind a micro-ramp in a supersonic boundary layer

The flow field resulting from a single micro-ramp in a Ma=2.0 supersonic boundary layer is investigated using tomographic particle image velocimetry (Tomo-PIV). The measurements were carried out within two volumes behind the micro-ramp. Mean flow characteristics are analyzed, evidence of the streamwise vortex pair is given. In the instantaneous flow, a Kelvin-Helmholtz (K-H) instability developing in the wake of the element is revealed, and the K-H vortices are further identified. A conceptual model is provided to describe the instantaneous flow organization generated by a single micro-ramp
Radiometric temperature analysis of the Hayabusa spacecraft re-entry

Hayabusa, an unmanned Japanese spacecraft, was launched to study and collect samples from the surface of the asteroid 25143 Itokawa. In June 2010, the Hayabusa spacecraft completed it's seven year voyage. The spacecraft and the sample return capsule (SRC) re-entered the Earth's atmosphere over the central Australian desert at speeds on the order of 12 km/s. This provided a rare opportunity to experimentally investigate the radiative heat transfer from the shock-compressed gases in front of the sample return capsule at true-flight conditions. At these conditions, the total heat transfer to the vehicle has a significant radiative component and this can be estimated by studying the radiation emitted from the shock layer and the hot surface. Such measurements can be compared with numerical simulations of the flow and with results from ground-based testing in shock tunnels and expansion tubes. This in turn leads to a better understanding of the complex thermochemistry occurring within the shock layer and aids in the design of more efficient thermal protection systems for future spacecraft.
MaxNet and TCP Reno/RED on Mice Trafﬁc

International audienceCongestion control is a distributed algorithm to share network bandwidth among competing users on the Internet. In the common case, quick response time for mice trafﬁc (HTTP trafﬁc) is desired when mixed with elephant trafﬁc (FTP trafﬁc). The current approach using loss-based with Additive Increase, Multiplicative Decrease (AIMD) is too greedy and eventually, most of the network bandwidth would be consumed by elephant trafﬁc. As a result, it causes longer response time for mice trafﬁc because there is no room left at the routers. MaxNet is a new TCP congestion control architecture using an explicit signal to control transmission rate at the source node. In this paper, we show that MaxNet can control well the queue length at routers and therefore the response time to HTTP trafﬁc is several times faster than with TCP Reno/RED
Establishing linguistic conventions in task-oriented primeval dialogue

In this paper, we claim that language is likely to have emerged as a
mechanism for coordinating the solution of complex tasks. To confirm this
thesis, computer simulations are performed based on the coordination task
presented by Garrod & Anderson (1987). The role of success in task-oriented
dialogue is analytically evaluated with the help of performance measurements
and a thorough lexical analysis of the emergent communication system.
Simulation results confirm a strong effect of success mattering on both
reliability and dispersion of linguistic conventions.Comment: 8 pages, 5 figures. In proceedings of the COST 2102 International
  Conference, Budapest, Hungary, September 7-10, 2010, Revised Selected Paper