123 research outputs found
FliPpr: A Prettier Invertible Printing System
When implementing a programming language, we often write
a parser and a pretty-printer. However, manually writing both programs
is not only tedious but also error-prone; it may happen that a pretty-printed
result is not correctly parsed. In this paper, we propose FliPpr,
which is a program transformation system that uses program inversion
to produce a CFG parser from a pretty-printer. This novel approach
has the advantages of fine-grained control over pretty-printing, and easy
reuse of existing efficient pretty-printer and parser implementations
Analysis of the experimental spectral coherence in the Nysted Wind Farm
In this paper, it is analysed the coherence between wind speeds located in a horizontal plane corresponding to hub height of wind turbines in a large wind farm. The coherence is calculated through real data from Nysted Offshore Wind Farm. Concretely, the wind speed measured in the 72 Wind Turbines and in 2 of the meteorological masts during 9 months. The results are analysed in the scale of power fluctuations in large offshore wind farms. This analysis shows the needing of a new spectral coherence model.The work presented in this paper has been done in the research Project âPower Fluctuations from large offshore wind farmsâ financed by the Danish Transmission System Operator Energinet.dk as PSO 2004 project number 6506. A. Vigueras-Rodr´Ĺguez is supported by the Spanish Ministerio de Educaci´on y Ciencia through the grant program âBecas FPUâ and from the national research project âENE2006-15422-C02-02
Introduction to Categories and Categorical Logic
The aim of these notes is to provide a succinct, accessible introduction to
some of the basic ideas of category theory and categorical logic. The notes are
based on a lecture course given at Oxford over the past few years. They contain
numerous exercises, and hopefully will prove useful for self-study by those
seeking a first introduction to the subject, with fairly minimal prerequisites.
The coverage is by no means comprehensive, but should provide a good basis for
further study; a guide to further reading is included. The main prerequisite is
a basic familiarity with the elements of discrete mathematics: sets, relations
and functions. An Appendix contains a summary of what we will need, and it may
be useful to review this first. In addition, some prior exposure to abstract
algebra - vector spaces and linear maps, or groups and group homomorphisms -
would be helpful.Comment: 96 page
Homotopy Theoretic Models of Type Theory
We introduce the notion of a logical model category which is a Quillen model
category satisfying some additional conditions. Those conditions provide enough
expressive power that one can soundly interpret dependent products and sums in
it. On the other hand, those conditions are easy to check and provide a wide
class of models some of which are listed in the paper.Comment: Corrected version of the published articl
Correlated N-boson systems for arbitrary scattering length
We investigate systems of identical bosons with the focus on two-body
correlations and attractive finite-range potentials. We use a hyperspherical
adiabatic method and apply a Faddeev type of decomposition of the wave
function. We discuss the structure of a condensate as function of particle
number and scattering length. We establish universal scaling relations for the
critical effective radial potentials for distances where the average distance
between particle pairs is larger than the interaction range. The correlations
in the wave function restore the large distance mean-field behaviour with the
correct two-body interaction. We discuss various processes limiting the
stability of condensates. With correlations we confirm that macroscopic
tunneling dominates when the trap length is about half of the particle number
times the scattering length.Comment: 15 pages (RevTeX4), 11 figures (LaTeX), submitted to Phys. Rev. A.
Second version includes an explicit comparison to N=3, a restructured
manuscript, and updated figure
- âŚ