AdS braneworld with Backreaction

We review the tachyon model derived from the dynamics of a 3-brane moving in the AdS5 bulk. The bulk geometry is based on the Randall-Sundrum II model extended to include the radion. The effective tachyon Lagrangian is modified due to the back-reaction of the brane on the bulk geometry.Comment: 21 pages, 5 figures, typos corrected, a refference added, based on the talk of NB presented at BW2013 - Beyond the standard models, April 2013, Vrnjacka Banja, Serbia, to appear in CEJ

Cosmological k-essence condensation

We consider a model of dark energy/matter unification based on a k-essence type of theory similar to tachyon condensate models. Using an extension of the general relativistic spherical model which incorporates the effects of both pressure and the acoustic horizon we show that an initially perturbative k-essence fluid evolves into a mixed system containing cold dark matter like gravitational condensate in significant quantities.Comment: 8 pages, 2 figures, presented by NB at the conference Beyond 2010, Cape Town, 1-6 February 201

Logics for Unranked Trees: An Overview

Labeled unranked trees are used as a model of XML documents, and logical languages for them have been studied actively over the past several years. Such logics have different purposes: some are better suited for extracting data, some for expressing navigational properties, and some make it easy to relate complex properties of trees to the existence of tree automata for those properties. Furthermore, logics differ significantly in their model-checking properties, their automata models, and their behavior on ordered and unordered trees. In this paper we present a survey of logics for unranked trees