The QCD Equation of State with almost Physical Quark Masses

We present results on the equation of state in QCD with two light quark flavors and a heavier strange quark. Calculations with improved staggered fermions have been performed on lattices with temporal extent Nt =4 and 6 on a line of constant physics with almost physical quark mass values; the pion mass is about 220 MeV, and the strange quark mass is adjusted to its physical value. High statistics results on large lattices are obtained for bulk thermodynamic observables, i.e. pressure, energy and entropy density, at vanishing quark chemical potential for a wide range of temperatures, 140 MeV < T < 800 MeV. We present a detailed discussion of finite cut-off effects which become particularly significant for temperatures larger than about twice the transition temperature. At these high temperatures we also performed calculations of the trace anomaly on lattices with temporal extent Nt=8. Furthermore, we have performed an extensive analysis of zero temperature observables including the light and strange quark condensates and the static quark potential at zero temperature. These are used to set the temperature scale for thermodynamic observables and to calculate renormalized observables that are sensitive to deconfinement and chiral symmetry restoration and become order parameters in the infinite and zero quark mass limits, respectively.Comment: 22 pages, 17 EPS-figures; revised version, updated references, data added in Tab.1, several smaller change

The indexed time table approach for planning and acting

A representation is discussed of symbolic temporal relations, called IxTeT, that is both powerful enough at the reasoning level for tasks such as plan generation, refinement and modification, and efficient enough for dealing with real time constraints in action monitoring and reactive planning. Such representation for dealing with time is needed in a teleoperated space robot. After a brief survey of known approaches, the proposed representation shows its computational efficiency for managing a large data base of temporal relations. Reactive planning with IxTeT is described and exemplified through the problem of mission planning and modification for a simple surveying satellite

Convolution, Separation and Concurrency

A notion of convolution is presented in the context of formal power series together with lifting constructions characterising algebras of such series, which usually are quantales. A number of examples underpin the universality of these constructions, the most prominent ones being separation logics, where convolution is separating conjunction in an assertion quantale; interval logics, where convolution is the chop operation; and stream interval functions, where convolution is used for analysing the trajectories of dynamical or real-time systems. A Hoare logic is constructed in a generic fashion on the power series quantale, which applies to each of these examples. In many cases, commutative notions of convolution have natural interpretations as concurrency operations.Comment: 39 page

A General Framework for Representing, Reasoning and Querying with Annotated Semantic Web Data

We describe a generic framework for representing and reasoning with annotated Semantic Web data, a task becoming more important with the recent increased amount of inconsistent and non-reliable meta-data on the web. We formalise the annotated language, the corresponding deductive system and address the query answering problem. Previous contributions on specific RDF annotation domains are encompassed by our unified reasoning formalism as we show by instantiating it on (i) temporal, (ii) fuzzy, and (iii) provenance annotations. Moreover, we provide a generic method for combining multiple annotation domains allowing to represent, e.g. temporally-annotated fuzzy RDF. Furthermore, we address the development of a query language -- AnQL -- that is inspired by SPARQL, including several features of SPARQL 1.1 (subqueries, aggregates, assignment, solution modifiers) along with the formal definitions of their semantics

Time Aware Knowledge Extraction for Microblog Summarization on Twitter

Microblogging services like Twitter and Facebook collect millions of user generated content every moment about trending news, occurring events, and so on. Nevertheless, it is really a nightmare to find information of interest through the huge amount of available posts that are often noise and redundant. In general, social media analytics services have caught increasing attention from both side research and industry. Specifically, the dynamic context of microblogging requires to manage not only meaning of information but also the evolution of knowledge over the timeline. This work defines Time Aware Knowledge Extraction (briefly TAKE) methodology that relies on temporal extension of Fuzzy Formal Concept Analysis. In particular, a microblog summarization algorithm has been defined filtering the concepts organized by TAKE in a time-dependent hierarchy. The algorithm addresses topic-based summarization on Twitter. Besides considering the timing of the concepts, another distinguish feature of the proposed microblog summarization framework is the possibility to have more or less detailed summary, according to the user's needs, with good levels of quality and completeness as highlighted in the experimental results.Comment: 33 pages, 10 figure

Avalanche Dynamics in Evolution, Growth, and Depinning Models

The dynamics of complex systems in nature often occurs in terms of punctuations, or avalanches, rather than following a smooth, gradual path. A comprehensive theory of avalanche dynamics in models of growth, interface depinning, and evolution is presented. Specifically, we include the Bak-Sneppen evolution model, the Sneppen interface depinning model, the Zaitsev flux creep model, invasion percolation, and several other depinning models into a unified treatment encompassing a large class of far from equilibrium processes. The formation of fractal structures, the appearance of $1/f$ noise, diffusion with anomalous Hurst exponents, Levy flights, and punctuated equilibria can all be related to the same underlying avalanche dynamics. This dynamics can be represented as a fractal in $d$ spatial plus one temporal dimension. We develop a scaling theory that relates many of the critical exponents in this broad category of extremal models, representing different universality classes, to two basic exponents characterizing the fractal attractor. The exact equations and the derived set of scaling relations are consistent with numerical simulations of the above mentioned models.Comment: 27 pages in revtex, no figures included. Figures or hard copy of the manuscript supplied on reques