pinecone/core-2020-05-10-deduplication huggingface dataset:
Experimental study of a similarity metric for retrieving pieces from structured plan cases: its role in the originality of plan case solutions

This paper describes a quantitative similarity metric and its contribution to achieve original plan solutions. This similarity metric is used by an iterative process of piece retrieval from structured plan cases. Within our approach plan cases are tree-like networks of pieces (goals and actions). These case pieces are ill-related each other by links (explanations). These links may be classified as hierarchical or temporal, antecedent or consequent, and explicit or implicit. Besides links, each case piece has also information about its properties (the attributes-value pairs), its hierarchical and temporal position in the case (the address), and about its constraints in the relationship with others (the constraints). The similarity metric computes a similarity value between two case pieces taking into account similarities between these case piece's information types. Each time a problem is proposed, different weights are given to some of those similarities, with the aim of solving it with an original solution. This similarity metric is used by the system INSPIRER (ImagiNation taking as Source Past and Imperfectly REalated Reasonings). We illustrate the role of the similarity metric in the creativity of solutions, focusing specially their originality, with the presentation of the experimental results obtained in the musical composition domain, which is considered by us as a planning domain
Thermal monitoring on FPGAs using ring-oscillators

The final publication is available at Springer via http://dx.doi.org/10.1007/3-540-63465-7_212Proceedings of 7th International Workshop, FPL '97 London, UK, September 1–3, 1997In this paper, a temperature-to-frequency transducer suitable for thermal monitoring on FPGAs is presented. The dependence between delay and temperature is used to produce a frequency drift on a ring-oscillator. Different sensors have been constructed and characterized using XC4000 and XC3000 chips, obtaining typical sensibilities of 50 kHz per °C. In addition, the utility of the Xilinx OSC4 cell as thermal transducer has been demonstrated. Although a complete temperature verification system requires a control unit with a frequency counter, the use of ring-oscillators presents several advantages: minimum FPGA elements are required; no analog parts exists; the additional hardware needed (multiplexers, prescaler, etc.) can be constructed using the resources of an FPGA, the thermal-related signals can be routed employing the standard interconnection network of the board, and finally, the sensors can be dynamically inserted or eliminated.This work has been supported by the CICYT of Spain under contract TIC95-0159.
The authors wish to thank Javier Garrido for his valuable contribution during the setup
of the experiments
Analysis and prediction of piano performances using inductive logic programming

Starting from the work of Matthew Dovey on analysing Rachmaninoff's piano performances using inductive logic programming, we show how to apply the clausal discovery engine Claudien to induce theories for predicting MIDI files from the musical analysis of a score. This extends Dovey's work in several directions: MIDI-encodings are used instead of the older Ampico, a richer musical analysis within LaRue's SHMRG-model is applied, a much finer qualitative analysis of features is learned (making it nearly quantitative), and predictions are made. The application is not only relevant as yet another inductive logic programming benchmark, but also as a demonstration of the need for multiple predicate learning, sequence prediction and number handling in inductive logic programming. Furthermore, the results presented here can be considered the first original application of the clausal discovery engine Claudien.status: publishe
ZONING DESIGN FOR HAND­WRITTEN NUMERAL RECOGNITION

Microsoft, Motorola, Siemens, Hitachi, IAPR, NICI, IUF
In the field of Optical Character Recognition (OCR), zoning is used to extract topological information from patterns. In this paper zoning is considered as the result of an optimisation problem and a new technique is presented for automatic zoning. More precisely, local analysis of feature distribution based on Shannon's entropy estimation is performed to determine "core" zones of patterns. An iterative region­growing procedure is applied on the "core" zones to determine the final zoning
Planning, learning, and executing in autonomous systems

4th European Conference on Planning, ECP'97, Toulouse, France, September 24-26, 1997Systems that act autonomously in the environment have to be able to integrate three basic behaviors: planning, execution, and learning. Planning involves describing a set of actions that will allow the autonomous system to achieve high utility (a similar concept to goals in high-level classical planning) in an unknown world. Execution deals with the interaction with the environment by application of planned actions and observation of resulting perceptions. Learning is needed to predict the responses of the environment to the system actions, thus guiding the system to achieve its goals. In this context, most of the learning systems applied to problem solving have been used to learn control knowledge for guiding the search for a plan, but very few systems have focused on the acquisition of planning operator descriptions. In this paper, we present an integrated system that learns operator definitions, plans using those operators, and executes the plans for modifying the acquired operators. The results clearly show that the integrated planning, learning, and executing system outperforms the basic planner in a robot domain.Publicad
Design gallery browsers based on 2D and 3D graph drawing

Many problems in computer-aided design and graphics involve the process of setting and adjusting input parameters to obtain desirable output values. Exploring different parameter settings can be a difficult and tedious task in most such systems. In the Design GalleryTM (DG) approach, parameter setting is made easier by dividing the task more equitably between user and computer. DG interfaces present the user with the broadest selection, automatically generated and organized, of perceptually different designs that can be produced by varying a given set of input parameters. The DG approach has been applied to several difficult parameter-setting tasks from the field of computer graphics: light selection and placement for image rendering; opacity and color transfer-function specification for volume rendering; and motion control for articulated-figure and particle-system animation. The principal technical challenges posed by the DG approach are dispersion (finding a set of input-parameter vectors that optimally disperses the resulting output values) and arrangement (arranging the resulting designs for easy browsing by the user). We show how effective arrangement can be achieved with 2D and 3D graph drawing. While navigation is easier in the 2D interface, the 3D interface has proven to be surprisingly usable, and the 3D drawings sometimes provide insights that are not so obvious in the 2D drawings.Engineering and Applied Science
Using ABC² in the RoboCup domain

Proceeding of: Robot Soccer World Cup I, RoboCup-97, Nagoya, Japan, 1997This paper presents an architecture for the control of autonomus agents that allows explicit cooperation among them. The structure of the software agents controlling the robots is based on a general purpose multi-agent architecture based on a two level approach. One level is composed of reactive skills capable of achieving simple actions by their own. The other is based on an agenda used as an opportunistic planning mechanism to compound, activate and coordinate the basic skills. This agenda handles actions both from the internal goals of the robot or from other robots. This paper describes the work already accomplished, as well as the issues arising from the implementation of the architecture and its use in the RoboCup domain.Publicad
A combined probabilistic framework for learning gestures and actions

In this paper we introduce a probabilistic approach to support visual supervision and gesture recognition. Task knowledge is both of geometric and visual nature and it is encoded in parametric eigenspaces. Learning processes for compute modal subspaces (eigenspaces) are the core of tracking and recognition of gestures and tasks. We describe the overall architecture of the system and detail learning processes and gesture design. Finally we show experimental results of tracking and recognition in block-world like assembling tasks and in general human gestures
Relational concepts and the fourier transform: An empirical study

The final publication is available at Springer via http://dx.doi.org/10.1007/3-540-64575-6_67Proceedings of 12th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI'98 Vancouver, BC, Canada, June 18–20, 1998Lack of domain knowledge may impose primitive data representations. Then, complex (non-linear) relationships among attributes complicate learning, especially for typical learning methods. These methods fail because their bias does not match the complex relational structures relevant to the domain. However, more recent approaches to learning have implemented biases that allow learning of structured, albeit complex, concepts. One of such approaches, based on the Fourier transform of Boolean functions, is studied and compared empirically to others, based on constructing new features or extracting relations from propositional training data. Controlled experiments help to characterized the kinds of concept that allow each approach to outperform the others. This characterization, which implicates parameters of Fourier complexity, other measures of concept difficulty, and the relational structure of the target concepts, is also discussed with respect to difficult real-world domains.This research was supported in part by grant IRI 92-04473 from the US National Science Foundation. We thank Lenny Pitt for bringing to our attention the literature on learning through the Fourier transform, and for his suggestions
Instances and connectors : issues for a second generation process language

This work is supported by UK EPSRC grants GR/L34433 and GR/L32699Over the past decade a variety of process languages have been defined, used and evaluated. It is now possible to consider second generation languages based on this experience. Rather than develop a second generation wish list this position paper explores two issues: instances and connectors. Instances relate to the relationship between a process model as a description and the, possibly multiple, enacting instances which are created from it. Connectors refers to the issue of concurrency control and achieving a higher level of abstraction in how parts of a model interact. We believe that these issues are key to developing systems which can effectively support business processes, and that they have not received sufficient attention within the process modelling community. Through exploring these issues we also illustrate our approach to designing a second generation process language.Postprin
Language Issues in Mobile Program Security

The article of record as published may be located at   http://dx.doi.org/10.1007/3-540-68671-1_3Many programming languages have been developed and implemented for mobile code environments  They are typically quite expressive. But while security is an important aspect of any mobile code technology, it is often treated after the fundamental design is complete, in ad hoc ways.  In the end, it is unclear what security guarantees can be made for the system.  We argue that mobile programming languages should be designed around certain security properties that hold for all well formed programs  This requires a better understanding of the relationship between programming language design and security  Appropriate security properties must be identi ed  Some of these properties and related issues are explored
Intersections de deux quadriques et pinceaux de courbes de genre 1

This research monograph focuses on the arithmetic, over number fields, of
surfaces fibred into curves of genus 1 over the projective line, and of
intersections of two quadrics in projective space. The first half takes up and
develops further the technique initiated by Swinnerton-Dyer in 1993, and later
generalised by Colliot-Th\'el\`ene, Skorobogatov and Swinnerton-Dyer, for
studying rational points on pencils of curves of genus 1. The second half,
which builds upon the first, is devoted to quartic del Pezzo surfaces and to
higher-dimensional intersections of two quadrics. Conditionally on two
well-known conjectures (Schinzel's hypothesis and the finiteness of
Tate-Shafarevich groups of elliptic curves), it establishes the Hasse principle
for all smooth n-dimensional intersections of two quadrics with n>2 as well as
for a large class of del Pezzo surfaces of degree 4.Comment: 224 pages, in French, with an introduction in English; old work
  (2006), posted for archival purpose
Field Theory Approaches to Nonequilibrium Dynamics

It is explained how field-theoretic methods and the dynamic renormalisation
group (RG) can be applied to study the universal scaling properties of systems
that either undergo a continuous phase transition or display generic scale
invariance, both near and far from thermal equilibrium. Part 1 introduces the
response functional field theory representation of (nonlinear) Langevin
equations. The RG is employed to compute the scaling exponents for several
universality classes governing the critical dynamics near second-order phase
transitions in equilibrium. The effects of reversible mode-coupling terms,
quenching from random initial conditions to the critical point, and violating
the detailed balance constraints are briefly discussed. It is shown how the
same formalism can be applied to nonequilibrium systems such as driven
diffusive lattice gases. Part 2 describes how the master equation for
stochastic particle reaction processes can be mapped onto a field theory
action. The RG is then used to analyse simple diffusion-limited annihilation
reactions as well as generic continuous transitions from active to inactive,
absorbing states, which are characterised by the power laws of (critical)
directed percolation. Certain other important universality classes are
mentioned, and some open issues are listed.Comment: 54 pages, 9 figures, Lecture Notes for Luxembourg Summer School
  "Ageing and the Glass Transition", submitted to Springer Lecture Notes in
  Physics (www.springeronline/com/series/5304/
Interpretation of the behaviour of compacted soils using cam-clay extended to unsaturated conditions

This paper is focused on the interpretation of experimental results obtained at the Department of Geotechnical Engineering of the University of Naples Federico II (Italy) to investigate the effects of partial saturation on the volumetric behaviour and the initial shear stiffness of a compacted silt. Tests were performed by using suction-controlled triaxial and resonant column cells. Herein, the compatibility of the results with a Single Stress Model (SSM) is discussed. The SSM allows to highlight that suction can have two effects on the mechanical behaviour of an unsaturated soil: it increases the average volumetric stress acting on the soil skeleton and it has a sort of cementing effect on the soil packing (hardening and cementation)
Quantum phase transitions from topology in momentum space

Many quantum condensed matter systems are strongly correlated and strongly
interacting fermionic systems, which cannot be treated perturbatively. However,
physics which emerges in the low-energy corner does not depend on the
complicated details of the system and is relatively simple. It is determined by
the nodes in the fermionic spectrum, which are protected by topology in
momentum space (in some cases, in combination with the vacuum symmetry). Close
to the nodes the behavior of the system becomes universal; and the universality
classes are determined by the toplogical invariants in momentum space. When one
changes the parameters of the system, the transitions are expected to occur
between the vacua with the same symmetry but which belong to different
universality classes. Different types of quantum phase transitions governed by
topology in momentum space are discussed in this Chapter. They involve Fermi
surfaces, Fermi points, Fermi lines, and also the topological transitions
between the fully gapped states. The consideration based on the momentum space
topology of the Green's function is general and is applicable to the vacua of
relativistic quantum fields. This is illustrated by the possible quantum phase
transition governed by topology of nodes in the spectrum of elementary
particles of Standard Model.Comment: 45 pages, 17 figures, 83 references, Chapter for the book "Quantum
  Simulations via Analogues: From Phase Transitions to Black Holes", to appear
  in Springer lecture notes in physics (LNP
Dynamical Aspects of Analogue Gravity: The Backreaction of Quantum
  Fluctuations in Dilute Bose-Einstein Condensates

We discuss the backreaction force exerted by quantum fluctuations in dilute
Bose-Einstein condensates onto the motion of the classical background, derived
by an ab initio approach from microscopic physics. It is shown that the
effective-action method, widely employed in semiclassical quantum gravity,
fails to give the full backreaction force. The failure of the effective-action
method is traced back, inter alia, to the problem of the correct choice of the
fundamental variables and the related operator ordering issues.Comment: 21+epsilon pages; has appeared in Springer Lecture Notes in Physic
Analogue spacetime based on 2-component Bose-Einstein condensates

Analogue spacetimes are powerful models for probing the fundamental physical
aspects of geometry - while one is most typically interested in ultimately
reproducing the pseudo-Riemannian geometries of interest in general relativity
and cosmology, analogue models can also provide useful physical probes of more
general geometries such as pseudo-Finsler spacetimes. In this chapter we shall
see how a 2-component Bose-Einstein condensate can be used to model a specific
class of pseudo-Finsler geometries, and after suitable tuning of parameters,
both bi-metric pseudo-Riemannian geometries and standard single metric
pseudo-Riemannian geometries, while independently allowing the quasi-particle
excitations to exhibit a "mass". Furthermore, when extrapolated to extremely
high energy the quasi-particles eventually leave the phononic regime and begin
to act like free bosons. Thus this analogue spacetime exhibits an analogue of
the "Lorentz violation" that is now commonly believed to occur at or near the
Planck scale defined by the interplay between quantum physics and gravitational
physics. In the 2-component Bose-Einstein analogue spacetime we will show that
the mass generating mechanism for the quasi-particles is related to the size of
the Lorentz violations. This relates the "mass hierarchy" to the so-called
"naturalness problem". In short the analogue spacetime based on 2-component
Bose-Einstein condensates exhibits a very rich mathematical and physical
structure that can be used to investigate many issues of interest to the
high-energy physics, cosmology, and general relativity communities.Comment: Chapter contributed to "Quantum Simulations via Analogues: From Phase
  Transitions to Black Holes", based on the COSLAB Dresden workshop, July 2005,
  to appear in the Springer "Lecture Notes in Physics" (LNP) serie
Links. Relating different physical systems through the common QFT
  algebraic structure

In this report I review some aspects of the algebraic structure of QFT
related with the doubling of the degrees of freedom of the system under study.
I show how such a doubling is related to the characterizing feature of QFT
consisting in the existence of infinitely many unitarily inequivalent
representations of the canonical (anti-)commutation relations and how this is
described by the q-deformed Hopf algebra. I consider several examples, such as
the damped harmonic oscillator, the quantum Brownian motion, thermal field
theories, squeezed states, classical-to-quantum relation, and show the
analogies, or links, among them arising from the common algebraic structure of
the q-deformed Hopf algebra
Black Hole Lasers Revisited

Contribution to "Quantum Analogues: From Phase Transitions to Black Holes and Cosmology" edited by William G. Unruh and Ralf Schutzhold. (Lecture Notes in Physics Vol. 718)The production of Hawking radiation by a single horizon is not dependent on the high-frequency dispersion relation of the radiated field. When there are two horizons, however, Corley and Jacobson have shown that superluminal dispersion leads to an amplification of the particle production in the case of bosons. The analytic theory of this "black hole laser" process is quite complicated, so we provide some numerical results in the hope of aiding understanding of this interesting phenomenon. Specifically, we consider sonic horizons in a moving fluid. The theory of elementary excitations in a Bose-Einstein condensate provides an example of "superluminal" (Bogoliubov) dispersion, so we add Bogoliubov dispersion to Unruh's equation for sound in the fluid. A white-hole/black-hole horizon pair will then display black hole lasing. Numerical analysis of the evolution of a wave packet gives a clear picture of the amplification process. By utilizing the similarity of a radiating horizon to a parametric amplifier in quantum optics we also analyze the black hole laser as a quantum-optical network
Irreducible subfactors derived from Popa's construction for non-tracial state

For an inclusion of the form ℂ⊆Mn(ℂ)\ud
\ud
, where M n (ℂ) is endowed with a state with diagonal weights λ = (λ1, …, λn), we use Popa’s construction, for non-tracial states, to obtain an irreducible inclusion of II1 factors, Nλ(Q)⊆Mλ(Q)\ud
 of index ∑1λi\ud
\ud
. Mλ(Q) is identified with a subfactor inside the centralizer algebra of the canonical free product state on Q ⋆ M N (ℂ). Its structure is described by “infinite” semicircular elements as in {xc[32]}.\ud
The irreducible subfactor inclusions obtained by this method are similar to the first irreducible subfactor inclusions, of index in [{xc4},∞) constructed in {xc[24]}, starting with the Jones’ subfactors inclusion Rs⊆R\ud
\ud
, s gt; 4. In the present paper, since the inclusion we start with has a simpler structure, it is easier to control the algebra structure of the subfactor inclusions.\ud
If the weights correspond to a unitary, finite-dimensional representation of a Woronowicz’s compact quantum group G, then the factor Mλ(Q) is contained in the fixed point algebra of an action of the quantum group on Q ⋆ MN(ℂ), with equality if G is SUq(N), (or SOq(3) when N = 2). By Takesaki duality, the factor Mλ(L(FN)) is Morita equivalent to \ud
L\ud
(F∞).\ud
This method gives also another approach to find, as also recently proved in {xc[36]}, irreducible subfactors of \ud
L\ud
(F∞) for index values bigger than 4
Recent progress on univariate and multivariate polynomial and spline quasi-interpolants

Polynomial and spline quasi-interpolants (QIs) are practical and effective approximation operators. Among their remarkable properties, let us cite for example: good shape properties, easy computation and evaluation (no linear system to solve), uniform boundedness independently of the degree (polynomials) or of the partition (splines), good approximation order. We shall emphasize new results on various types of univariate and multivariate polynomial or spline QIs, depending on the nature of coefficient functionals, which can be differential, discrete or integral. We shall also present some applications of QIs to numerical methods