title: Minimal Model for Stem-Cell Differentiation

abstract:
  To explain the differentiation of stem cells in terms of dynamical systems
theory, models of interacting cells with intracellular protein expression
dynamics are analyzed and simulated. Simulations were carried out for all
possible protein expression networks consisting of two genes under cell--cell
interactions mediated by the diffusion of a protein. Networks that show cell
differentiation are extracted and two forms of symmetric differentiation based
on Turing's mechanism and asymmetric differentiation are identified. In the
latter network, the intracellular protein levels show oscillatory dynamics at a
single-cell level, while cell-to-cell synchronicity of the oscillation is lost
with an increase in the number of cells. Differentiation to a fixed-point type
behavior follows with a further increase in the number of cells. The cell type
with oscillatory dynamics corresponds to a stem cell that can both proliferate
and differentiate, while the latter fixed-point type only proliferates. This
differentiation is analyzed as a saddle-node bifurcation on an invariant
circle, while the number ratio of each cell type is shown to be robust against
perturbations due to self-consistent determination of the effective bifurcation
parameter as a result of the cell--cell interaction. Complex cell
differentiation is designed by combing these simple two-gene networks. The
generality of the present differentiation mechanism, as well as its biological
relevance, is discussed.


title: Neutrinos at IceCube from Heavy Decaying Dark Matter

abstract:
  A monochromatic line in the cosmic neutrino spectrum would be a smoking gun
signature of dark matter. It is intriguing that the IceCube experiment has
recently reported two PeV neutrino events with energies that may be equal up to
experimental uncertainties, and which have a probability of being a background
fluctuation estimated to be less than a percent. Here we explore prospects for
these events to be the first indication of a monochromatic line signal from
dark matter. While measurable annihilation signatures would seem to be
impossible at such energies, we discuss the dark matter quantum numbers,
effective operators, and lifetimes which could lead to an appropriate signal
from dark matter decays. We will show that the set of possible decay operators
is rather constrained, and will focus on several viable candidates which could
explain the IceCube events; R-parity violating gravitinos, hidden sector gauge
bosons, and singlet fermions in an extra dimension. In essentially all cases we
find that a PeV neutrino line signal from dark matter would be accompanied by a
potentially observable continuum spectrum of neutrinos rising towards lower
energies.


title:
Point-contact spectroscopy of the phononic mechanism of
  superconductivity in YB6

abstract:
  Lortz et al. [Phys. Rev. B 73, 024512 (2006)] have utilized specific heat and
resistivity measurements as "thermal spectroscopies" to deconvolve the spectrum
of the electron-phonon interaction in YB$_6$ assuming a major role of the low
frequency phonon mode in mediating superconductivity. Here, we present direct
point-contact spectroscopy studies of the superconducting interaction in this
system. As a result the normalized superconducting gap reveals a strong
coupling with $2\Delta/k_BT_c = 4$ and moreover the spectra contain
nonlinearities typical of the electron-phonon interaction at energies around 8
meV. The in-magnetic-field measurements evidence that the phonon features found
in the second derivative of the current-voltage characteristics are due to the
energy dependence of the superconducting energy gap as their energy position
shrinks equally as the gap is closing. This is a direct proof that the
superconducting coupling in the system is due to the low energy Einstein-like
phonon mode associated with the yttrium ion vibrations in a perfect agreement
with determinations from bulk measurements.


title: On a theorem of Lyapounov

abstract:
  It is shown that a Hamiltonian system in the neighbourhood of an equilibrium
may be given a special normal form in case the eigenvalues of the linearized
system satisfy non--resonance conditions of Melnikov's type. The normal form
possesses a two dimensional (local) invariant manifold on which the solutions
are known. If the eigenvalue is pure imaginary then these solutions are the
natural continuation of a normal mode of the linear system. The latter result
was first proved by Lyapounov. The present paper completes Lyapounov's result
in that the convergence of the transformation of the Hamiltonian to a normal
form is proven and the condition that the eigenvalues be pure imaginary is
removed.


title:
Probing Cosmic Rays in Nearby Giant Molecular Clouds with the Fermi
  Large Area Telescope

abstract:
  We report the results of our study of the energy spectra and absolute fluxes
of cosmic rays (CRs) in the Local Galaxy based on a five-year $\gamma$-ray
observation with the Fermi Large Area Telescope (LAT) of eight nearby giant
molecular clouds (GMCs) belonging to the Gould Belt. The $\gamma$-ray signals
obtained with high statistical significance allow the determination of
$\gamma$-ray spectra above 300~MeV with adequate precision for extraction of
the energy distributions of CRs in these clouds. Remarkably, both the derived
spectral indices and the absolute fluxes of CR protons in the energy interval
$10 - 100~ \rm \ GeV$ agree with the recent direct measurements of local CRs by
the PAMELA experiment. This is strong evidence of a quite homogeneous
distribution of CRs, at least within several hundred parsecs of the Local
Galaxy. Combined with the well established energy-dependent time of escape of
CRs from the Galaxy, $\tau(E) \propto E^{-\delta}$ with $\delta \approx
0.5-0.6$, the measured spectrum implies a CR spectral index of the
(acceleration) source of $\approx$E$^{-2.3}$. At low energies, the spectra of
$\gamma$ rays appear to vary from one cloud to another. This implies spatial
variations of the energy spectra of CRs below 10~GeV, which at such low
energies could be explained naturally by both the impact of the propagation
effects and the contribution of CR locally accelerated inside the clouds.


title: Linear slices close to a Maskit slice

abstract:
  We consider linear slices of the space of Kleinian once-punctured torus
groups; a linear slice is obtained by fixing the value of the trace of one of
the generators. The linear slice for trace 2 is called the Maskit slice. We
will show that if traces converge `horocyclically' to 2 then associated linear
slices converge to the Maskit slice, whereas if the traces converge
`tangentially' to 2 the linear slices converge to a proper subset of the Maskit
slice. This result will be also rephrased in terms of complex Fenchel-Nielsen
coordinates. In addition, we will show that there is a linear slice which is
not locally connected.


title: Enhanced motility of a microswimmer in rigid and elastic confinement

abstract:
  We analyse the effect of confining rigid and elastic boundaries on the
motility of a model dipolar microswimmer. Flexible boundaries are deformed by
the velocity field of the swimmer in such a way that the motility of both
extensile and contractile swimmers is enhanced. The magnitude of the increase
in swimming velocity is controlled by the ratio of the swimmer-advection and
elastic timescales, and the dipole moment of the swimmer. We explain our
results by considering swimming between inclined rigid boundaries.


title: Proof nets and the call-by-value lambda-calculus

abstract:
  This paper gives a detailed account of the relationship between (a variant
of) the call-by-value lambda calculus and linear logic proof nets. The
presentation is carefully tuned in order to realize a strong bisimulation
between the two systems: every single rewriting step on the calculus maps to a
single step on the nets, and viceversa. In this way, we obtain an algebraic
reformulation of proof nets. Moreover, we provide a simple correctness
criterion for our proof nets, which employ boxes in an unusual way.


title: Symmetries in Modal Logics

abstract:
  We generalize the notion of symmetries of propositional formulas in
conjunctive normal form to modal formulas. Our framework uses the coinductive
models and, hence, the results apply to a wide class of modal logics including,
for example, hybrid logics. Our main result shows that the symmetries of a
modal formula preserve entailment.


title:
Elementary Deduction Problem for Locally Stable Theories with Normal
  Forms

abstract:
  We present an algorithm to decide the intruder deduction problem (IDP) for a
class of locally stable theories enriched with normal forms. Our result relies
on a new and efficient algorithm to solve a restricted case of higher-order
associative-commutative matching, obtained by combining the Distinct
Occurrences of AC- matching algorithm and a standard algorithm to solve systems
of linear Diophantine equations. A translation between natural deduction and
sequent calculus allows us to use the same approach to decide the
\emphelementary deduction problem for locally stable theories. As an
application, we model the theory of blind signatures and derive an algorithm to
decide IDP in this context, extending previous decidability results.


title: Minimal lambda-theories by ultraproducts

abstract:
  A longstanding open problem in lambda calculus is whether there exist
continuous models of the untyped lambda calculus whose theory is exactly the
least lambda-theory lambda-beta or the least sensible lambda-theory H
(generated by equating all the unsolvable terms). A related question is
whether, given a class of lambda models, there is a minimal lambda-theory
represented by it. In this paper, we give a general tool to answer positively
to this question and we apply it to a wide class of webbed models: the
i-models. The method then applies also to graph models, Krivine models,
coherent models and filter models. In particular, we build an i-model whose
theory is the set of equations satisfied in all i-models.


title: The untyped stack calculus and Bohm's theorem

abstract:
  The stack calculus is a functional language in which is in a Curry-Howard
correspondence with classical logic. It enjoys confluence but, as well as
Parigot's lambda-mu, does not admit the Bohm Theorem, typical of the
lambda-calculus. We present a simple extension of stack calculus which is for
the stack calculus what Saurin's Lambda-mu is for lambda-mu.


title: The stack calculus

abstract:
  We introduce a functional calculus with simple syntax and operational
semantics in which the calculi introduced so far in the Curry-Howard
correspondence for Classical Logic can be faithfully encoded. Our calculus
enjoys confluence without any restriction. Its type system enforces strong
normalization of expressions and it is a sound and complete system for full
implicational Classical Logic. We give a very simple denotational semantics
which allows easy calculations of the interpretation of expressions.


title: A weak HOAS approach to the POPLmark Challenge

abstract:
  Capitalizing on previous encodings and formal developments about nominal
calculi and type systems, we propose a weak Higher-Order Abstract Syntax
formalization of the type language of pure System F<: within Coq, a proof
assistant based on the Calculus of Inductive Constructions.
  Our encoding allows us to accomplish the proof of the transitivity property
of algorithmic subtyping, which is in fact the first of the three tasks stated
by the POPLmark Challenge, a set of problems that capture the most critical
issues in formalizing programming language metatheory.


title:
Sequent Calculi for the classical fragment of Bochvar and Halld\'en's
  Nonsense Logics

abstract:
  In this paper sequent calculi for the classical fragment (that is, the
conjunction-disjunction-implication-negation fragment) of the nonsense logics
B3, introduced by Bochvar, and H3, introduced by Halld\'en, are presented.
These calculi are obtained by restricting in an appropriate way the application
of the rules of a sequent calculus for classical propositional logic CPL. The
nice symmetry between the provisos in the rules reveal the semantical
relationship between these logics. The Soundness and Completeness theorems for
both calculi are obtained, as well as the respective Cut elimination theorems.


title: Non determinism through type isomorphism

abstract:
  We define an equivalence relation on propositions and a proof system where
equivalent propositions have the same proofs. The system obtained this way
resembles several known non-deterministic and algebraic lambda-calculi.


title: Formalizing the Confluence of Orthogonal Rewriting Systems

abstract:
  Orthogonality is a discipline of programming that in a syntactic manner
guarantees determinism of functional specifications. Essentially, orthogonality
avoids, on the one side, the inherent ambiguity of non determinism, prohibiting
the existence of different rules that specify the same function and that may
apply simultaneously (non-ambiguity), and, on the other side, it eliminates the
possibility of occurrence of repetitions of variables in the left-hand side of
these rules (left linearity). In the theory of term rewriting systems (TRSs)
determinism is captured by the well-known property of confluence, that
basically states that whenever different computations or simplifications from a
term are possible, the computed answers should coincide. Although the proofs
are technically elaborated, confluence is well-known to be a consequence of
orthogonality. Thus, orthogonality is an important mathematical discipline
intrinsic to the specification of recursive functions that is naturally applied
in functional programming and specification. Starting from a formalization of
the theory of TRSs in the proof assistant PVS, this work describes how
confluence of orthogonal TRSs has been formalized, based on axiomatizations of
properties of rules, positions and substitutions involved in parallel steps of
reduction, in this proof assistant. Proofs for some similar but restricted
properties such as the property of confluence of non-ambiguous and (left and
right) linear TRSs have been fully formalized.


title: A Graph Calculus for Predicate Logic

abstract:
  We introduce a refutation graph calculus for classical first-order predicate
logic, which is an extension of previous ones for binary relations. One reduces
logical consequence to establishing that a constructed graph has empty
extension, i. e. it represents bottom. Our calculus establishes that a graph
has empty extension by converting it to a normal form, which is expanded to
other graphs until we can recognize conflicting situations (equivalent to a
formula and its negation).


title: The Cohen-Lenstra heuristics, moments and $p^j$-ranks of some groups

abstract:
  This article deals with the coherence of the model given by the Cohen-Lenstra
heuristic philosophy for class groups and also for their generalizations to
Tate-Shafarevich groups. More precisely, our first goal is to extend a previous
result due to E. Fouvry and J. Kl\"uners which proves that a conjecture
provided by the Cohen-Lenstra philosophy implies another such conjecture. As a
consequence of our work, we can deduce, for example, a conjecture for the
probability laws of $p^j$-ranks of Selmer groups of elliptic curves. This is
compatible with some theoretical works and other classical conjectures.


title:
Two-phase xenon emission detector with electron multiplier and optical
  readout by multipixel avalanche Geiger photodiodes

abstract:
  A successful operation of a new optical readout system (THGEM + WLS + MGPDs
(multichannel array of multipixel avalanche Geiger photodiodes) in a two-phase
liquid xenon detector was demonstrated.


title:
A magnetic origin for high temperature superconductivity in iron
  pnictides

abstract:
  In conventional Bardeen-Cooper-Schrieffer (BCS) superconductors,
superconductivity occurs when electrons form coherent Cooper pairs below the
superconducting transition temperature Tc. Although the kinetic energy of
paired electrons increases in the superconducting state relative to the normal
state, the reduction in the ion lattice energy is sufficient to give the
superconducting condensation energy. For iron pnictide superconductors derived
from electron or hole doping of their antiferromagnetic (AF) parent compounds,
the microscopic origin for supercnductivity is unclear. Here we use neutron
scattering to show that high-Tc superconductivity only occurs for iron
pnictides with low-energy itinerant electron-spin excitation coupling and high
energy spin excitations. Since our absolute spin susceptibility measurements
for optimally hole-doped iron pnictide reveal that the change in magnetic
exchange energy below and above Tc can account for the superconducting
condensation energy, we conclude that the presence of both high-energy spin
excitations giving rise to a large magnetic exchange coupling J and low-energy
spin excitations coupled to the itinerant electrons is essential for high-Tc
superconductivity in iron pnictides.


title: Anisotropic Non-Gaussianity from a Two-Form Field

abstract:
  We study an inflationary scenario with a two-form field to which an inflaton
couples non-trivially. First, we show that anisotropic inflation can be
realized as an attractor solution and that the two-form hair remains during
inflation. A statistical anisotropy can be developed because of a cumulative
anisotropic interaction induced by the background two-form field. The power
spectrum of curvature perturbations has a prolate-type anisotropy, in contrast
to the vector models having an oblate-type anisotropy. We also evaluate the
bispectrum and trispectrum of curvature perturbations by employing the in-in
formalism based on the interacting Hamiltonians. We find that the non-linear
estimators $f_{NL}$ and $\tau_{NL}$ are correlated with the amplitude $g_*$ of
the statistical anisotropy in the power spectrum. Unlike the vector models,
both $f_{NL}$ and $\tau_{NL}$ vanish in the squeezed limit. However, the
estimator $f_{NL}$ can reach the order of 10 in the equilateral and enfolded
limits. These results are consistent with the latest bounds on $f_{NL}$
constrained by Planck.


title:
On the Depolarization Factors for Anisotropic Ellipsoids in Anisotropic
  Media

abstract:
  A definition of depolarization factors for anisotropic ellipsoid in an
anisotropic medium is considered. The expressions for these factors are
derived, which generalize some results known for special cases, and differences
from the usual depolarization factors for ellipsoid in isotropic medium are
described. The concept of "reduced" ellipsoid, allowing visually describe the
effect of the medium anisotropy on depolarization is also introduced.


title: The spectral function in a strongly coupled, thermalising CFT

abstract:
  In relation to the fluctuation-dissipation theorem, we discuss a
time-dependent notion of spectral function and effective temperature. Extending
recent results from arXiv:1212.6066, we work out these quantities in a
two-dimensional thermalising CFT dual to AdS3-Vaidya spacetime which
interpolates between a black brane geometry at early times and a higher
temperature black brane at late times. The computation is carried out in the
gravitational holographic dual in the geodesic approximation and using a
non-standard analytic continuation.


title:
A Hierarchical Multilevel Markov Chain Monte Carlo Algorithm with
  Applications to Uncertainty Quantification in Subsurface Flow

abstract:
  In this paper we address the problem of the prohibitively large computational
cost of existing Markov chain Monte Carlo methods for large--scale applications
with high dimensional parameter spaces, e.g. in uncertainty quantification in
porous media flow. We propose a new multilevel Metropolis-Hastings algorithm,
and give an abstract, problem dependent theorem on the cost of the new
multilevel estimator based on a set of simple, verifiable assumptions. For a
typical model problem in subsurface flow, we then provide a detailed analysis
of these assumptions and show significant gains over the standard
Metropolis-Hastings estimator. Numerical experiments confirm the analysis and
demonstrate the effectiveness of the method with consistent reductions of more
than an order of magnitude in the cost of the multilevel estimator over the
standard Metropolis-Hastings algorithm for tolerances $\varepsilon < 10^{-2}$.


title:
Measurements on release-recapture of cold Rb-85 atoms using an optical
  nanofibre in a magneto-optical trap

abstract:
  We have performed release-recapture temperature measurements of laser-cooled
Rb-85 atoms using an optical nanofibre (ONF) in a magneto-optical trap (MOT).
The effects of changing the cooling laser light-shift parameter on the
temperature of the cold atoms and spring constant of the trap are studied. By
varying the cold atom number density near the ONF, the onset of the multiple
scattering regime is observed without the need for an estimation of the atom
cloud size. Moreover, this sensitive ONF assisted release-recapture technique
is easily able to detect any optical misalignment of the cooling laser beams in
the MOT.


title:
The Clusters AgeS Experiment (CASE): The blue straggler Star M55-V60
  caught amidst rapid mass exchange

abstract:
  We analyze light and velocity curves of the eclipsing blue straggler V60 in
the field of the globular cluster M55. We derive Mp=1.259+-0.025 Msun,
Rp=1.102+-0.021 Rsun, Mbol,p=3.03+-0.09 mag for the primary and Ms=0.327+-0.017
Msun, Rs=1.480+-0.011 Rsun, Mbol,s=4.18+-0.12 mag for the secondary. We derive
an apparent distance modulus (m-M)V=14.04_-0.09 mag. Based on the systemic
velocity, distance, and proper motion of V60 we conclude that the system is a
member of the cluster and argue that its present state is a result of rapid but
conservative mass exchange which the binary is still undergoing. We report a
peculiar blue excess on the ascending branch of the primary eclipse of V60 and
discuss its possible origin.


title: Sharp extensions for convoluted solutions of wave equations

abstract:
  In this paper we give sharp extensions of convoluted solutions of wave
equations in abstract Banach spaces. The main technique is to use the algebraic
structure, for convolution products $\ast$ and $\ast_c$, of these solutions
which are defined by a version of the Duhamel's formula. We define algebra
homomorphisms, for the convolution product $\ast_c$, from a certain set of
test-functions and apply our results to concrete examples of abstract wave
equations.


title:
Separate mass scaling of the widths of the rapidity distributions for
  mesons and baryons at energies available at the Facility for Antiproton and
  Ion research

abstract:
  Evolution of the width of the rapidity distribution on beam rapidity has been
studied for a number of produced particles with UrQMD-3.3p1 generated events at
various FAIR (Facility for Antiproton and Ion Research) energies. The results
for the width of the rapidity distribution with beam rapidity, obtained with
UrQMD generated events, are compared with the existing experimental data (E802,
E877, E896, E917, NA49). For both UrQMD and experimental data, the width of the
rapidity distribution is found to bear scaling behavior with beam rapidity for
all the hadrons. Such scaling behavior is found to follow separate mass
ordering for the studied mesons and and baryons.


title: Stability and Orientation of Lamellae in Diblock Copolymer Films

abstract:
  The dynamics of microphase separation and the orientation of lamellae in
diblock copolymers is investigated in terms of a mean-field model. The
formation of lamellar structures and their stable states are explored and it is
shown that lamellae are stable not only for the period of the structure
corresponding to the minimum of the free energy. The range of wavelengths of
stable lamellae is determined by a functional approach, introduced with this
work, which is in agreement with the results of a linear stability analysis.
The effects of the interaction of block copolymers with confining plane
boundaries on the lamellae orientation are studied by an extensive analysis of
the free energy. By changing the surface property at one boundary, a transition
from a preferentially perpendicular to a parallel lamellar orientation with
respect to the boundaries is found, which is rather independent of the distance
between the boundaries. Computer simulations reveal, that the time scale of the
lamellar orientational order dynamics, which is quantitatively characterized in
terms of an orientational order parameter and the structure factor, depends
significantly on the properties of the confining boundaries as well as on the
quench depth.


title: Perturbations of Functional Inequalities for L\'evy Type Dirichlet Forms

abstract:
  Perturbations of super Poincar\'e and weak Poincar\'e inequalities for L\'evy
type Dirichlet forms are studied. When the range of jumps is finite our results
are natural extensions to the corresponding ones derived earlier for diffusion
processes; and we show that the study for the situation with infinite range of
jumps is essentially different. Some examples are presented to illustrate the
optimality of our results.


title:
Cogroups in the category of connected graded algebras whose inverse and
  antipode coincide

abstract:
  Let A be a cogroup in the category of connected graded algebras over a
commutative ring R. Let nu denote the inverse of A and chi the antipode of the
underlying Hopf algebra of A. We clarify the differences and similarities of nu
and chi, and show that nu coincides with chi if and only if A is commutative as
a graded algebra. Let A^co_CG be the category of cogroups satisfying these
equivalent conditions. If R is a field, the category A^co_CG is completely
determined. We also establish an equivalence of the full subcategory of A^co_CG
consisting of objects of finite type with a full subcategory of the category of
positively graded R-modules without any assumption on R. The results in the
case of R=Q are applied to the theory of co-H-groups.


title: Comparing and contrasting nuclei and cold atomic gases

abstract:
  The experimental revolution in ultracold atomic gas physics over the past
decades have brought tremendous amounts of new insight to the world of
degenerate quantum systems. Here we compare and constrast the developments of
cold atomic gases with the physics of nuclei since many concepts, techniques,
and nomenclatures are common to both fields. However, nuclei are finite systems
with interactions that are typically much more complicated than those of
ultracold atomic gases. The simularities and differences must therefore be
carefully addressed for a meaningful comparison and to facilitate fruitful
crossdisciplinary activity. Universal results from atomic physics should have
impact in certain limits of the nuclear domain. In particular, with advances in
the trapping of few-body atomic systems we expect a more direct exchange of
ideas and results.


title:
Fermi LAT pulsed detection of PSR J0737-3039A in the double pulsar
  system

abstract:
  We report the Fermi Large Area Telescope discovery of gamma-ray pulsations
from the 22.7 ms pulsar A in the double pulsar system J0737-3039A/B. This is
the first mildly recycled millisecond pulsar (MSP) detected in the GeV domain.
The 2.7 s companion object PSR J0737-3039B is not detected in gamma rays. PSR
J0737-3039A is a faint gamma-ray emitter, so that its spectral properties are
only weakly constrained; however, its measured efficiency is typical of other
MSPs. The two peaks of the gamma-ray light curve are separated by roughly half
a rotation and are well offset from the radio and X-ray emission, suggesting
that the GeV radiation originates in a distinct part of the magnetosphere from
the other types of emission. From the modeling of the radio and the gamma-ray
emission profiles and the analysis of radio polarization data, we constrain the
magnetic inclination $\alpha$ and the viewing angle $\zeta$ to be close to
90$^\circ$, which is consistent with independent studies of the radio emission
from PSR J0737-3039A. A small misalignment angle between the pulsar's spin axis
and the system's orbital axis is therefore favored, supporting the hypothesis
that pulsar B was formed in a nearly symmetric supernova explosion as has been
discussed in the literature already.


title: A Modified LSB Technique of Digital Watermarking in Spatial Domain

abstract:
  Digital watermarking is a technique of embedding pieces of information into
digital data such as text, audio, video, and still images that can be detected
or extracted later to show authentication about the data. Watermark is hidden
information in the image(s) and is so designed that it does not degrade/distort
the quality of the image and still keeps the information. Digital watermarking
is basically to protect ownership rights and to control of making illicit
copies of digital data. In this paper, we have discussed various watermarking
techniques and properties and have proposed a modified LSB technique. We have
implemented the proposed technique by following: 2-bits of 8-bit gray image is
replaced by luminance part, next 2-bits by red component, next 2-bits by green
component and next 2-bits by blue component of 32-bit image using secret key.
The advantage is that watermarking capacity has been increased and unaffected
by various attacks e.g. zero out LSB bits, cropping etc. Watermark image is
imperceptible in resultant image. We have tested this technique on several
images and found that it is quite satisfactory. This technique is secured as
unauthorized user can not extract the watermarked contents easily from the
original image and works well in adverse situations. We have implemented this
technique on platform java 1.5.0.


title:
Spectator induced electromagnetic effect on directed flow in heavy ion
  collisions

abstract:
  We estimate the electromagnetic effect of the spectator charge on azimuthal
anisotropies observed in heavy ion collisions. For peripheral Pb+Pb reactions
at the top energy of the CERN Super Proton Synchrotron, $\sqrt{s_{NN}}=17.3$
GeV, we predict this effect to bring very large distortions to the observed
directed flow, $v_1$, of positive and negative pions emitted close to beam
rapidity. The overall magnitude of this effect is comparable to values of $v_1$
reported by the WA98 experiment. We argue that also at lower rapidities, the
spectator induced electromagnetic effect may result in the splitting of values
of $v_1$ observed for positive and negative pions. Such a splitting is visible
in the data reported by the STAR Collaboration from the RHIC Beam Energy Scan.
  Both effects are sensitive to the space-time scenario assumed for pion
emission. Therefore, they bring new information on the collision dynamics.


title: Introverted algebras with mean value

abstract:
  Let A be an introverted algebra with mean value. We prove that its spectrum
\Delta (A) is a compact topological semigroup, and that the kernel K(\Delta
(A)) of \Delta (A) is a compact topological group over which the mean value on
A can be identified as the Haar integral. Based on these facts and also on the
fact that K(\Delta (A)) is an ideal of \Delta (A), we define the convolution
over \Delta (A). We then use it to derive some new convergence results
involving the convolution product of sequences. These convergence results
provide us with an efficient method for studying the asymptotics of nonlocal
problems. The obtained results systematically establish the connection between
the abstract harmonic analysis and the homogenization theory. To illustrate
this, we work out some homogenization problems in connection with nonlocal
partial differential equations.


title: Multicomponent dark matter particles in a two-loop neutrino model

abstract:
  We construct a loop induced seesaw model in a TeV scale theory with gauged
U(1)_{B-L} symmetry. Light neutrino masses are generated at two-loop level and
right-handed neutrinos also obtain their masses by one-loop effect.
Multi-component Dark Matters (DMs) are included in our model due to the remnant
discrete symmetry after the B-L symmetry breaking and the Z_2 parity which is
originally imposed to the model. We investigate the multi-component DM
properties, in which we have two fermionic DMs with different mass scales,
O(10) GeV and O(100-1000) GeV. The former mass corresponds to the lightest
right-handed neutrino mass induced by the loop effect, although the latter one
to the SM gauge singlet fermion. We show each of the DM annihilation processes
and compare to the the observation of relic abundance, together with the
constraints of Lepton Flavor Violation (LFV) and active neutrino masses.
Moreover we show that our model has some parameter region allowed by the direct
detection result reported by XENON100, and it is possible to verify the model
by the future XENON experiment.


title:
Microscopic Electronic Wavefunction and interactions between quasi
  particles in Empirical Tight-Binding Theory

abstract:
  A procedure to obtain single-electron wavefunctions within the tight-binding
formalism is proposed. It is based on linear combinations of Slater-type
orbitals whose screening coefficients are extracted from the optical matrix
elements of the tight-binding Hamiltonian. Bloch functions obtained for
zinc-blende semiconductors in the extended-basis spds* tight-binding model
demonstrate very good agreement with first-principles wavefunctions. We apply
this method to the calculation of electron-hole exchange interaction, and
obtain the dispersion of excitonic fine structure of bulk GaAs. Beyond
semiconductor nanostructures, this work is a fundamental step toward modeling
many-body effects from post-processing single particle wavefunctions within the
tight-binding theory.


title: Quantum theory of the plasmonic nanolaser

abstract:
  In this work, we present a fully quantum theory of the plasmonic nanolaser,
based on the maser model. Theory can be applied both to the microlasers with
high Q-factor cavities and plasmonic nanolasers. We show that the latter is
essentially a thresholdless device. We obtain the statistics of quanta,
spectrum of the plasmonic radiation and the second-order coherence degree in
the steady state. The limits of the model applicability are discussed in
detail. All results are compared with the full numerical simulation.


title: Light induced crystallization of cold atoms in a thin 1D optical tube

abstract:
  Collective off resonant scattering of coherent light by a cold gas induces
long-range interactions via interference of light scattered by different
particles. In a 1D configuration these interactions grow particularly strong
for particles trapped along an optical nanofiber. We show that there exists a
threshold pump laser intensity, above which the gas can be found in a
crystalline, selfsustained order. In the nonabsorbing regime we determine the
critical condition for the onset of order as well as the forms of particle
density and scattered field patterns along the fiber above threshold.
Surprisingly, there can coexist multiple stationary solutions with distinct
density and field profiles.


title:
Measurement of $\eta^\prime\rightarrow \pi^+\pi^- e^+e^-$ and
  $\eta^\prime\rightarrow \pi^+\pi^-\mu^+\mu^-$

abstract:
  Based on a sample of 225.3 million J/\psi events accumulated with the BESIII
detector at the BEPCII, the decays of \eta' to pi+pi-l+l- are studied via
J/\psi to \gamma\eta'. A clear \eta' signal is observed in the pi+pi-e+e- mass
spectrum, and the branching fraction is measured to be \BR(\eta' to pi+pi-e+e-)
= (2.11\pm0.12 (stat.)\pm0.15 (syst.))\times10^{-3}, which is in good agreement
with theoretical predictions and the previous measurement, but is determined
with much higher precision. No \eta' signal is found in the pi+ pi- mu+ mu-
mass spectrum, and the upper limit is determined to be \BR(\eta' to pi+ pi- mu+
mu-)<2.9\times10^{-5} at the 90% confidence level.


title: Holographaic Alogorithms on Bases of Rank 2

abstract:
  An essential problem in the design of holographic algorithms is to decide
whether the required signatures can be realized by matchgates under a suitable
basis transformation (SRP). For holographic algorithms on domain size 2, [1, 2,
4, 5] have built a systematical theory. In this paper, we reduce SRP on domain
size k>2 to SRP on domain size 2 for holographic algorithms on bases of rank 2.
Furthermore, we generalize the collapse theorem of [3] to domain size k>2.


title: Exact analytical soliton solutions in dipolar BEC

abstract:
  The bright, dark and grey solitons are well-known soliton solutions of the
Gross-Pitaevskii equation for the attractive and repulsive BEC. We consider
solitons in the dipolar BEC of the fully polarized particles, speaking of the
dipolar BEC we mean both the magnetized BEC and the electrically polarized BEC.
We show that these two types of the dipolar BEC reveal different behavior of
the collective excitations. This is related to the fact that the electric and
the magnetic fields satisfy to the different pairs of the Maxwell equation set.
Thus we consider them independently. We obtain exact analytical solutions for
the bright, dark, and grey solitons in the magnetized (electrically polarized)
BEC when they propagate parallel and perpendicular to an external magnetic
(electric) field. Comparison of spectrum of the linear collective excitations
for the two kinds of the dipolar BEC is presented as well.


title: Progress of the MICE experiment at RAL

abstract:
  The international Muon Ionization Cooling Experiment (MICE) will perform a
systematic investigation of ionization cooling of a muon beam. The
demonstration comprises one cell of the US Neutrino Factory Study II cooling
channel. Results obtained on the construction of the beamline and its
instrumentation (STEP I) will be reviewed, together with progress towards final
measurements of ionization cooling (STEP IV and VI).


title:
Forms and currents on the analytification of an algebraic variety (after
  Chambert-Loir and Ducros)

abstract:
  Chambert-Loir and Ducros have recently introduced real differential forms and
currents on Berkovich spaces. In these notes, we survey this new theory and we
will compare it with tropical algebraic geometry.


title: Schur multiplier norms for Loewner matrices

abstract:
  We study upper bounds on the Schur multiplier norm of Loewner matrices for
concave and convex functions. These bounds then immediately lead to upper
bounds on the ratio of Schatten $q$-norms of commutators
$||\;[A,f(B)]\;||_q/||\;[A,B]\;||_q$. We also consider operator monotone
functions, for which sharper bounds are obtained.


title: Hessian potentials with parallel derivatives

abstract:
  Let $U \subset \mathbb A^n$ be an open subset of real affine space. We
consider functions $F: U \to \mathbb R$ with non-degenerate Hessian such that
the first or the third derivative of $F$ is parallel with respect to the
Levi-Civita connection defined by the Hessian metric $F"$. In the former case
the solutions are given precisely by the logarithmically homogeneous functions,
while the latter case is closely linked to metrised Jordan algebras. Both
conditions together are related to unital metrised Jordan algebras. Both
conditions combined with convexity provide a local characterization of
canonical barriers on symmetric cones.


title:
A search for direct heffalon production using the ATLAS and CMS
  experiments at the Large Hadron Collider

abstract:
  The first search is reported for direct heffalon production, using 23.3/fb
per experiment of delivered integrated luminosity of proton-proton collisions
at rootS = 8TeV from the Large Hadron Collider. The data were recorded with the
ATLAS and the CMS detectors. Each exotic composite is assumed to be stable on
the detector lifetime (tau >> ns). A particularly striking signature is
expected. No signal events are observed after event selection. The cross
section for heffalon production is found to be less than 64ab at the 95%
confidence level.


title: Kinematics of Outer Halo Globular Clusters in M31

abstract:
  We present the first kinematic analysis of the far outer halo globular
cluster (GC) population in the Local Group galaxy M31. Our sample contains 53
objects with projected radii of ~20-130 kpc, of which 44 have no previous
spectroscopic information. GCs with projected radii >30 kpc are found to
exhibit net rotation around the minor axis of M31, in the same sense as the
inner GCs, albeit with a smaller amplitude of 79 +/-19 km/s. The
rotation-corrected velocity dispersion of the full halo GC sample is 106 +/-12
km/s, which we observe to decrease with increasing projected radius. We find
compelling evidence for kinematic-coherence amongst GCs which project on top of
halo substructure, including a clear signature of infall for GCs lying along
the North-West stream. Using the tracer mass estimator, we estimate the
dynamical mass of M31 within 200 kpc to be M_M31 = (1.2-1.5) +/- 0.2 x 10^12
M_sun. This value is highly dependent on the chosen model and assumptions
within.


title: Correlation driven Mott-insulator-to-metal transition

abstract:
  We study transport properties of the half-filled two-dimensional (2D) Hubbard
model with spatially varying interactions, where a pattern of interacting and
non-interacting sites is formed. We use Determinantal Quantum Monte Carlo
method to calculate the double occupation, effective hopping and Drude weight.
These data point to two phase transitions, driven by fermionic correlations.
The first is the expected metal to a Mott insulating state. The second one, is
an exotic transition from a Mott insulating state to a highly anisotropic
metal, that takes place at large values of the fermion-fermion interaction.
This second transition occurs when the layers formed by the spatially varying
interactions decouple due to the suppression of the hopping between interacting
and non-interacting sites, leading to fermionic transport along the
non-interacting ones.


title:
Hermite-Hadamard type inequalities for mappings whose derivatives are
  s-convex in the second sense via fractional integrals

abstract:
  In this paper we establish Hermite-Hadamard type inequalities for mappings
whose derivatives are s-convex in the second sense and concave.


title: Spheres are rare

abstract:
  We prove that triangulations of homology spheres in any dimension grow much
slower than general triangulations. Our bound states in particular that the
number of triangulations of homology spheres in 3 dimensions grows at most like
the power 1/3 of the number of general triangulations.


title: A problem of Erdos and Sos on 3-graphs

abstract:
  We show that for every positive epsilon there exist positive delta and n_0
such that every 3-uniform hypergraph on n>=n_0 vertices with the property that
every k-vertex subset, where k>=delta*n, induces at least (1/4 + epsilon)*{k
\choose 3} edges, contains K4- as a subgraph, where K4- is the 3-uniform
hypergraph on 4 vertices with 3 edges. This question was originally raised by
Erdos and Sos. The constant 1/4 is the best possible.


title:
Pseudo-magnetic fields in graphene in excess of 300T: theoretical
  framework

abstract:
  The experimental demonstration of pseudo-magnetic fields exceeding 300 T in
graphene [2] nanobubbles represents considerable challenge for the present
theory connecting the emergence of gauge fields due to strain in the underlying
lattice. Here we propose a theoretical framework within which the magnitude of
the pseudo-magnetic fields can be computed more accurately. The basic feature
of this framework is that the carriers in graphene are considered with their
three dimensional wave function which is then gradually constrained to the
graphene surface. In the process, a geometrically induced gauge field emerges
in the two dimensional equation for the surface dynamics. The computation of
the magnetic field associated with this gauge potential reproduces the measured
field strength.


title: P\'olya Urn Schemes with Infinitely Many Colors

abstract:
  In this work we introduce a new type of urn model with infinite but countable
many colors indexed by an appropriate infinite set. We mainly consider the
indexing set of colors to be the $d$-dimensional integer lattice and consider
balanced replacement schemes associated with bounded increment random walks on
it. We prove central and local limit theorems for the random color of the
$n$-th selected ball and show that irrespective of the null recurrent or
transient behavior of the underlying random walks, the asymptotic distribution
is Gaussian after appropriate centering and scaling. We show that the order of
any non-zero centering is always ${\mathcal O}\left(\log n\right)$ and the
scaling is ${\mathcal O}\left(\sqrt{\log n}\right)$. The work also provides
similar results for urn models with infinitely many colors indexed by more
general lattices in ${\mathbb R}^d$. We introduce a novel technique of
representing the random color of the $n$-th selected ball as a suitably sampled
point on the path of the underlying random walk. This helps us to derive the
central and local limit theorems.


title:
Non-local correlation effects and metal-insulator transition in the s-d
  exchange model

abstract:
  The metal-insulator transition within the s-d exchange model is studied by
the Dynamical Mean Field Theory and Dual Fermion approaches. The latter takes
into account nonlocal correlation effects which are shown to be essential. In
particular, the critical values of the s-d exchange coupling constant for these
two methods turn out to be different by a factor of more than two (for the case
of square lattice and spin 1/2 localized electrons). The calculations were
performed using a Continuous-Time Quantum Monte Carlo method. The difference of
the quantum spin-1/2 case and the classical-spin case is discussed. For the
quantum case the sign of s-d exchange coupling constant is relevant which
demonstrates an importance of the Kondo effect.


title: On a free of centrifugal acceleration spacetime

abstract:
  A static spacetime with no centrifugal repulsion, previously studied by
Dadhich, is investigate in this paper. The source of curvature is considered to
be an anisotropic fluid with $\rho = -p_{r}$ and constant angular pressures.
The positive parameter from the line-element is interpreted as the invariant
acceleration of a static observer. The timelike and null geodesics of the
spacetime are examined. A regularized form of the metric is proposed, rendering
it finite at the origin. The energy density of the fluid becomes finite and
negative for any $r$ and all the pressures are positive throughout the
spacetime. The Tolman-Komar energy $W(r)$ is computed and proves to be smaller
than that one calculated with the Dadhich metric.


title: Evaluating Reputation Systems for Agent Mediated e-Commerce

abstract:
  Agent mediated e-commerce involves buying and selling on Internet through
software agents. The success of an agent mediated e-commerce system lies in the
underlying reputation management system which is used to improve the quality of
services in e-market environment. A reputation system encourages the honest
behaviour of seller agents and discourages the malicious behaviour of dishonest
seller agents in the e-market where actual traders never meet each other. This
paper evaluates various reputation systems for assigning reputation rating to
software agents acting on behalf of buyers and sellers in e-market. These
models are analysed on the basis of a number of features viz. reputation
computation and their defence mechanisms against different attacks. To address
the problems of traditional reputation systems which are relatively static in
nature, this paper identifies characteristics of a dynamic reputation framework
which ensures judicious use of information sharing for inter-agent cooperation
and also associates the reputation of an agent with the value of a transaction
so that the market approaches an equilibrium state and dishonest agents are
weeded out of the market.


title: Generalised Interpolation by Solving Recursion-Free Horn Clauses

abstract:
  In this paper we present InterHorn, a solver for recursion-free Horn clauses.
The main application domain of InterHorn lies in solving interpolation problems
arising in software verification. We show how a range of interpolation
problems, including path, transition, nested, state/transition and well-founded
interpolation can be handled directly by InterHorn. By detailing these
interpolation problems and their Horn clause representations, we hope to
encourage the emergence of a common back-end interpolation interface useful for
diverse verification tools.


title: Control Explicit---Data Symbolic Model Checking: An Introduction

abstract:
  A comprehensive verification of parallel software imposes three crucial
requirements on the procedure that implements it. Apart from accepting real
code as program input and temporal formulae as specification input, the
verification should be exhaustive, with respect to both control and data flows.
This paper is concerned with the third requirement, proposing to combine
explicit model checking to handle the control with symbolic set representations
to handle the data. The combination of explicit and symbolic approaches is
first investigated theoretically and we report the requirements on the symbolic
representation and the changes to the model checking process the combination
entails. The feasibility and efficiency of the combination is demonstrated on a
case study using the DVE modelling language and we report a marked improvement
in scalability compared to previous solutions. The results described in this
paper show the potential to meet all three requirements for automatic
verification in a single procedure combining explicit model checking with
symbolic set representations.


title: A Lattice of Finite-Type Invariants of Virtual Knots

abstract:
  We construct an infinite commutative lattice of groups whose dual spaces give
Kauffman finite-type invariants of long virtual knots. The lattice is based
"horizontally" upon the Polyak algebra and extended "vertically" using
Manturov's functorial map $f$. For each $n$, the $n$-th vertical line in the
lattice contains an infinite dimensional subspace of Kauffman finite-type
invariants of degree $n$. Moreover, the lattice contains infinitely many
inequivalent extensions of the Conway polynomial to long virtual knots, all of
which satisfy the same skein relation. Bounds for the rank of each group in the
lattice are obtained.


title: Fourier series and twisted C*-crossed products

abstract:
  This paper is an invitation to Fourier analysis in the context of reduced
twisted C*-crossed products associated with discrete unital twisted
C*-dynamical systems. We discuss norm-convergence of Fourier series,
multipliers and summation processes. Our study relies in an essential way on
the (covariant and equivariant) representation theory of C*-dynamical systems
on Hilbert C*-modules. It also yields some information on the ideal structure
of reduced twisted C*-crossed products.

categories: math.OA math-ph math.DS math.FA math.GR math.MP


title: Felinic principle and measurement of the Hubble parameter

abstract:
  Intelligent life can only appear in Universes, whose physical laws support
sufficient complexity to make evolution of intelligent beings possible. Even
inside those Universes, intelligent life does not appear randomly, but in parts
with realized complexity, e.g. around stars in our Universe. As a consequence,
the observational point of an intelligent observer cannot be assumed to be
random and one must correct for this selection effect. In this paper we
calculate how direct measurements of the Hubble parameter are affected when
subject to the condition that they are observed from a Milky Way-like galaxy.


title: On the Combinatorics of Smoothing

abstract:
  Many invariants of knots rely upon smoothing the knot at its crossings. To
compute them, it is necessary to know how to count the number of connected
components the knot diagram is broken into after the smoothing. In this paper,
it is shown how to use a modification of a theorem of Zulli together with a
modification of the spectral theory of graphs to approach such problems
systematically. We give an application to counting subdiagrams of pretzel knots
which have one component after oriented and unoriented smoothings.


title: Uniqueness of two phaseless inverse acoustics problems in 3-d

abstract:
  Uniqueness is proven for two 3-d inverse problems of the determination of the
spatially distributed sound speed in the frequency dependent acoustic PDE. The
main new point is the assumption that only the modulus of the scattered complex
valued wave field is measured on a certain set.


title: The radiative self-force and charged fluids

abstract:
  We develop a new fluid model of a warm plasma that includes the radiative
self-force on each plasma electron. Our approach is a natural generalization of
established methods for generating fluid models without radiation reaction. The
equilibrium of a magnetized plasma is analysed, and it is shown that the
thermal motion is confined to the magnetic field lines. A dispersion relation
is deduced for electric waves in a magnetized plasma, and it is shown to agree
with our recently established relativistic kinetic theory derived from the
Lorentz-Abraham-Dirac equation.


title:
What is the spirit of the cylindric paradigm, as opposed to that of the
  polyadic one?

abstract:
  We give a categorial definition separating cylindric-like algebras from
polyadic-like ones. Viewing the neat reduct operator as a functor, we show that
it does not have a right adjoint in the former case, but it is strongly
invertible in the second case. Several new results on amalgamation, and non
finite axiomatizability are presented for both paradigms. A hitherto categorial
equivalence is also given between relation algebras with quasi-projections and
Nemeti's directed cylindric algebras for any dimension.


title:
Conformal limits of grafting and Teichm\"{u}ller rays and their
  asymptoticity

abstract:
  We show that any grafting ray in Teichm\"{u}ller space is (strongly)
asymptotic to some Teichm\"{u}ller geodesic ray. As an intermediate step we
introduce surfaces that arise as limits of these degenerating Riemann surfaces.
Given a grafting ray, the proof involves a Teichm\"{u}ller ray with a
conformally equivalent limit, and building quasiconformal maps of low
dilatation between the surfaces along the rays. Our preceding work had proved
the result for rays determined by an arational lamination or a multicurve, and
the unified approach here gives an alternative proof of the former case.


title:
A three-component description of multiplicity distributions in pp
  collisions at the LHC

abstract:
  A possible signal of new phenomena emerging in the global characteristics of
multiparticle production in hadron interactions at TeV energies is studied. The
multiplicity distributions of charged particles measured in proton-proton
collisions at the Large Hadron Collider at CERN are analyzed in the
phenomenological framework of the weighted superposition of three negative
binomial distribution functions. The examination of the experimental data
indicates the existence of a narrow peak at low multiplicities which can be
described by a separate component in the total distribution. The multiplicity
characteristics of the third component reveal approximate energy and
pseudorapidity invariance, of which a physical explanation represents a
challenging problem in high energy multiple particle production.


title: Tower tableaux and Schubert polynomials

abstract:
  We prove that the well-known condition of being a balanced labeling can be
characterized in terms of the sliding algorithm on tower diagrams. The
characterization involves a generalization of authors' Rothification algorithm.
Using the characterization, we obtain descriptions of Schubert polynomials and
Stanley symmetric functions.


title: Geometric tree kernels: Classification of COPD from airway tree geometry

abstract:
  Methodological contributions: This paper introduces a family of kernels for
analyzing (anatomical) trees endowed with vector valued measurements made along
the tree. While state-of-the-art graph and tree kernels use combinatorial
tree/graph structure with discrete node and edge labels, the kernels presented
in this paper can include geometric information such as branch shape, branch
radius or other vector valued properties. In addition to being flexible in
their ability to model different types of attributes, the presented kernels are
computationally efficient and some of them can easily be computed for large
datasets (N of the order 10.000) of trees with 30-600 branches. Combining the
kernels with standard machine learning tools enables us to analyze the relation
between disease and anatomical tree structure and geometry. Experimental
results: The kernels are used to compare airway trees segmented from low-dose
CT, endowed with branch shape descriptors and airway wall area percentage
measurements made along the tree. Using kernelized hypothesis testing we show
that the geometric airway trees are significantly differently distributed in
patients with Chronic Obstructive Pulmonary Disease (COPD) than in healthy
individuals. The geometric tree kernels also give a significant increase in the
classification accuracy of COPD from geometric tree structure endowed with
airway wall thickness measurements in comparison with state-of-the-art methods,
giving further insight into the relationship between airway wall thickness and
COPD. Software: Software for computing kernels and statistical tests is
available at http://image.diku.dk/aasa/software.php.


title: Thermodynamics in Closed Universe with Entropy Corrections

abstract:
  We discuss the generalized second law of thermodynamics in three different
systems by taking quantum corrections (logarithmic and power law) to
cosmological horizon entropy as well as black hole entropy. Firstly, we
consider phantom energy accretion onto the Schwarzschild black hole in the
closed FRW universe and investigate validity of the generalized second law of
thermodynamics on the apparent and event horizons. In another scenario, we
evaluate the critical mass of the Schwarzschild black hole with upper and lower
bounds under accretion process due to phantom-like modified generalized
chaplygin gas. It is found that the generalized second law of thermodynamics is
respected within these bounds and black hole cannot accrete outside them.
Finally, we explore this law for a closed universe filled with interacting
$n$-components of fluid (in thermal equilibrium case) and with non-interacting
dark matter and dark energy components (in thermal non-equilibrium case) on the
apparent and event horizons and find conditions for its validity.


title: Su un'estensione della teoria di Lagrange per i moti secolari

abstract:
  La teoria di Lagrange per i moti secolari delle eccentricit\`a ed
inclinazioni delle orbite planetarie si fondava su un'approssimazione, dettata
in larga misura dalla complessit\`a dei calcoli necessari, che consisteva nel
considerare solo equazioni lineari. In questa memoria riprendiamo in
considerazione i metodi di Lagrange alla luce della teoria della stabilit\`a
esponenziale di Nekhoroshev. Grazie agli algoritmi sviluppati negli ultimi anni
e alle tecniche di manipolazione algebrica possiamo tener conto anche dei
contributi non lineari alle equazioni. Come applicazione cerchiamo di
determinare i tempi di stabilit\`a per il problema dei tre corpi nel caso del
Sole e dei due pianeti maggiori, Giove e Saturno, mostrando che si possono
ottenere risultati realistici, ancorch\'e non ottimali.
  Lagrange's theory for the secular motion of perihelia and nodes of the
planetary orbits was based on consideration of a linear approssimation of the
dynamical equations, compatible with the complexity of the calculations. We
extend Lagrange's investigations in the light of Nekhoroshev's theory of
exponential stability. Using effective algorithms recently developed and
computer algebra we investigate the non linear problem. We apply our methods to
the problem of three bodies in the Sun-Jupiter-Saturn case, thus showing that
realistic results, although not optimal, can be obtained.


title:
Astrophysics, cosmology, and fundamental physics with compact binary
  coalescence and the Einstein Telescope

abstract:
  The second-generation interferometric gravitational wave detectors currently
under construction are expected to make their first detections within this
decade. This will firmly establish gravitational wave physics as an empirical
science and will open up a new era in astrophysics, cosmology, and fundamental
physics. Already with the first detections, we will be able to, among other
things, establish the nature of short-hard gamma ray bursts, definitively
confirm the existence of black holes, measure the Hubble constant in a
completely independent way, and for the first time gain access to the genuinely
strong-field dynamics of gravity. Hence it is timely to consider the
longer-term future of this new field. The Einstein Telescope (ET) is a concrete
conceptual proposal for a third-generation gravitational wave observatory,
which will be ~10 times more sensitive in strain than the second-generation
detectors. This will give access to sources at cosmological distances, with a
correspondingly higher detection rate. I give an overview of the science case
for ET, with a focus on what can be learned from signals emitted by coalescing
compact binaries. Third-generation observatories will allow us to map the
coalescence rate out to redshifts z ~ 3, determine the mass functions of
neutron stars and black holes, and perform precision measurements of the
neutron star equation of state. ET will enable us to study the large-scale
structure and evolution of the Universe without recourse to a cosmic distance
ladder. Finally, I discuss how it will allow for high-precision measurements of
strong-field, dynamical gravity.


title: Scaling of the electron dissipation range of solar wind turbulence

abstract:
  Electron scale solar wind turbulence has attracted great interest in recent
years. Clear evidences have been given from the Cluster data that turbulence is
not fully dissipated near the proton scale but continues cascading down to the
electron scales. However, the scaling of the energy spectra as well as the
nature of the plasma modes involved at those small scales are still not fully
determined. Here we survey 10 years of the Cluster search-coil magnetometer
(SCM) waveforms measured in the solar wind and perform a statistical study of
the magnetic energy spectra in the frequency range [$1, 180$]Hz. We show that a
large fraction of the spectra exhibit clear breakpoints near the electon
gyroscale $\rho_e$, followed by steeper power-law like spectra. We show that
the scaling below the electron breakpoint cannot be determined unambiguously
due to instrumental limitations that will be discussed in detail. We compare
our results to recent ones reported in other studies and discuss their
implication on the physical mechanisms and the theoretical modeling of energy
dissipation in the SW.


title: Kolmogorov and Nekhoroshev theory for the problem of three bodies

abstract:
  We investigate the long time stability in Nekhoroshev's sense for the
Sun-Jupiter-Saturn problem in the framework of the problem of three bodies.
Using computer algebra in order to perform huge perturbation expansions we show
that the stability for a time comparable with the age of the universe is
actually reached, but with some strong truncations on the perturbation
expansion of the Hamiltonian at some stage. An improvement of such results is
currently under investigation.


title:
Phase fluctuations in a conventional s-wave superconductor: Role of
  dimensionality and disorder

abstract:
  As a part of my doctoral thesis, I studied the effect of phase fluctuations
in two dimensional (2D) and three dimensional (3D) superconducting films of
conventional s-wave superconductor, NbN, by measuring the electrodynamics
response through magnetic penetration depth at low frequency and the complex
conductivity at microwave frequencies. We show that the phase transition in 2D
or quasi-2D superconductors can be reconciled with the standard
Berezinskii-Kosterlitz-Thouless (BKT) transition when the small vortex core
energy is taken into consideration. In 3D NbN films, we show that in presence
of strong disorder, superconductivity can get destroyed by phase fluctuations
even if Cooper pairs continue to survive in the system. Our study provides a
paradigmatic picture of importance of phase fluctuations in 2D and strongly
disordered 3D superconductors.


title:
DAG-Based Attack and Defense Modeling: Don't Miss the Forest for the
  Attack Trees

abstract:
  This paper presents the current state of the art on attack and defense
modeling approaches that are based on directed acyclic graphs (DAGs). DAGs
allow for a hierarchical decomposition of complex scenarios into simple, easily
understandable and quantifiable actions. Methods based on threat trees and
Bayesian networks are two well-known approaches to security modeling. However
there exist more than 30 DAG-based methodologies, each having different
features and goals. The objective of this survey is to present a complete
overview of graphical attack and defense modeling techniques based on DAGs.
This consists of summarizing the existing methodologies, comparing their
features and proposing a taxonomy of the described formalisms. This article
also supports the selection of an adequate modeling technique depending on user
requirements.


title: Methods of algebraic manipulation in perturbation theory

abstract:
  We give a short introduction to the methods of representing polynomial and
trigonometric series that are often used in Celestial Mechanics. A few
applications are also illustrated.


title: The dust properties of z ~ 3 MIPS-LBGs from photo-chemical models

abstract:
  The stacked spectral energy distribution (SED) of Multiband Imaging
Photometer for Spitzer (MIPS) 24$\mu m$ detected Lyman break galaxies
(MIPS-LBGs) is fitted by means of spectro-photometric model GRASIL with an
"educated" fitting approach which benefits from results of chemical evolution
models. The star formation rate(SFR)-age-metallicity degeneracies of SED
modelling are broken by using SFH and chemical enrichment history suggested by
chemical models, which also provide dust mass, dust abundance and chemical
elements locked in dust component. We derive the total mass $M_{tot}$, stellar
mass $M_{\ast}$, gas mass $M_{g}$, dust mass $M_{d}$, age and SFR of the
stacked MIPS-LBG in a self-consistent way. Our estimate of $M_{\ast}= 8\times
10^{10}$ agrees with other works based on UV-optical SED fitting. We suggest
that MIPS-LBGs at $z\sim3$ are young (0.3-0.6 Gyr), massive ($M_{tot} \sim
10^{11} M_{\odot}$), dusty ($M_{d} \sim 10^{8} M_{\odot}$), metal rich ($Z \sim
Z_{\odot} $) progenitors of elliptical galaxies suffering a strong burst of
star formation (SFR $\sim 200 M_{\odot}/yr$). Our estimate of $M_{d}=7 \times
10^{7} M_{\odot}$ of the stacked MIPS-LBG is about a factor of eight lower than
the estimated value based on single temperature grey-body fitting, suggesting
that self-consistent SED models are needed to estimate dust mass. By comparing
with the Milky Way molecular cloud and dust properties, we suggest that denser
and dustier environments and flatter dust size distribution are likely in high
redshift massive star forming galaxies. These dust properties, as well as the
different types of SFHs, can cause different SED shapes between high redshift
star-forming ellipticals and local star-burst templates. This discrepancy of
SED shapes could in turn explain the non detection at submillimeter
wavelengths, of IR luminous ($L_{IR} \succeq 10^{12} L_{\odot} $) MIPS-LBGs.


title:
Policy and Planning for Large Infrastructure Projects: Problems, Causes,
  Cures

abstract:
  This paper argues, first, that a major problem in the planning of large
infrastructure projects is the high level of misinformation about costs and
benefits that decision makers face in deciding whether to build, and the high
risks such misinformation generates. Second, it explores the causes of
misinformation and risk, mainly in the guise of optimism bias and strategic
misrepresentation. Finally, the paper presents a number of measures aimed at
improving planning and decision making for large infrastructure projects,
including changed incentive structures and better planning methods. Thus the
paper is organized as a simple triptych consisting in problems, causes, and
cures.


title:
Measuring Inaccuracy in Travel Demand Forecasting: Methodological
  Considerations Regarding Ramp Up and Sampling

abstract:
  Project promoters, forecasters, and managers sometimes object to two things
in measuring inaccuracy in travel demand forecasting: (1) using the forecast
made at the time of making the decision to build as the basis for measuring
inaccuracy and (2) using traffic during the first year of operations as the
basis for measurement. This paper presents the case against both objections.
First, if one is interested in learning whether decisions about building
transport infrastructure are based on reliable information, then it is exactly
the traffic forecasted at the time of making the decision to build that is of
interest. Second, although ideally studies should take into account so-called
demand "ramp up" over a period of years, the empirical evidence and practical
considerations do not support this ideal requirement, at least not for large-N
studies. Finally, the paper argues that large samples of inaccuracy in travel
demand forecasts are likely to be conservatively biased, i.e., accuracy in
travel demand forecasts estimated from such samples would likely be higher than
accuracy in travel demand forecasts in the project population. This bias must
be taken into account when interpreting the results from statistical analyses
of inaccuracy in travel demand forecasting.


title:
Cost Overruns and Demand Shortfalls in Urban Rail and Other
  Infrastructure

abstract:
  Risk, including economic risk, is increasingly a concern for public policy
and management. The possibility of dealing effectively with risk is hampered,
however, by lack of a sound empirical basis for risk assessment and management.
The paper demonstrates the general point for cost and demand risks in urban
rail projects. The paper presents empirical evidence that allow valid economic
risk assessment and management of urban rail projects, including benchmarking
of individual or groups of projects. Benchmarking of the Copenhagen Metro is
presented as a case in point. The approach developed is proposed as a model for
other types of policies and projects in order to improve economic and financial
risk assessment and management in policy and planning.


title:
Delusion and Deception in Large Infrastructure Projects: Two Models for
  Explaining and Preventing Executive Disaster

abstract:
  The Economist recently reported that infrastructure spending is the largest
it is ever been as a share of world GDP. With $22 trillion in projected
investments over the next ten years in emerging economies alone, the magazine
calls it the "biggest investment boom in history." The efficiency of
infrastructure planning and execution is therefore particularly important at
present. Unfortunately, the private sector, the public sector and
private/public sector partnerships have a dismal record of delivering on large
infrastructure cost and performance promises. This paper explains why and how
to solve the problem.


title: Megaprojects and Risk: An Anatomy of Ambition

abstract:
  Back cover text: Megaprojects and Risk provides the first detailed
examination of the phenomenon of megaprojects. It is a fascinating account of
how the promoters of multibillion-dollar megaprojects systematically and
self-servingly misinform parliaments, the public and the media in order to get
projects approved and built. It shows, in unusual depth, how the formula for
approval is an unhealthy cocktail of underestimated costs, overestimated
revenues, undervalued environmental impacts and overvalued economic development
effects. This results in projects that are extremely risky, but where the risk
is concealed from MPs, taxpayers and investors. The authors not only explore
the problems but also suggest practical solutions drawing on theory and hard,
scientific evidence from the several hundred projects in twenty nations that
illustrate the book. Accessibly written, it will be essential reading in its
field for students, scholars, planners, economists, auditors, politicians,
journalists and interested citizens.


title:
How Planners Deal with Uncomfortable Knowledge: The Dubious Ethics of
  the American Planning Association

abstract:
  With a point of departure in the concept "uncomfortable knowledge," this
article presents a case study of how the American Planning Association (APA)
deals with such knowledge. APA was found to actively suppress publicity of
malpractice concerns and bad planning in order to sustain a boosterish image of
planning. In the process, APA appeared to disregard and violate APA's own Code
of Ethics. APA justified its actions with a need to protect APA members'
interests, seen as preventing planning and planners from being presented in
public in a bad light. The current article argues that it is in members'
interest to have malpractice critiqued and reduced, and that this best happens
by exposing malpractice, not by denying or diverting attention from it as APA
did in this case. Professions, organizations, and societies that stifle
critique tend to degenerate and become socially and politically irrelevant
"zombie institutions." The article asks whether such degeneration has set in
for APA and planning. Finally, it is concluded that more debate about APA's
ethics and actions is needed for improving planning practice. Nine key
questions are presented to constructively stimulate such debate.


title:
Prescribing metrics on the boundary of convex cores of globally
  hyperbolic maximal compact AdS 3-manifolds

abstract:
  We consider globally hyperbolic maximal anti de Sitter 3-manifolds $M$ with a
closed Cauchy surface $S$ of genus greater than one and prove that any pair of
hyperbolic metrics on $S$ can be realized as the boundary metrics of the convex
core of a maximal globally hyperbolic anti de Sitter 3-manifold structure on
$M$. This answers the existence part of a question of Mess about the unique
realization of such metrics. Our theorem has a nice formulation purely in terms
of 2-dimensional Teichm\"uller theory and earthquakes.


title:
Theoretical description of X-ray absorption spectroscopy of the
  graphene-metal interfaces

abstract:
  The present manuscript considers the application of the method of the
near-edge X-ray absorption spectroscopy (NEXAFS) for the investigation of the
graphene-based systems (from free-standing graphene to the
metal-intercalation-like systems). The NEXAFS spectra for the selected systems
are calculated in the framework of the approach, which includes the effects of
the dynamic core-hole screening. The presented spectral changes from system to
system are analysed with the help of the corresponding band-structure
calculations. The obtained results are compared with available experimental
data demonstrating the excellent agreement between theory and experiment. The
direct correlation between the strength of the graphene interaction with the
metallic substrate and the spectral distributions (shape and intensities of
\pi* and \sigma* features in the C K NEXAFS spectra) is found that can be taken
as a fingerprint for the description of interaction at the graphene/metal
interface.


title: On Detecting Transient Phenomena

abstract:
  Transient phenomena are interesting and potentially highly revealing of
details about the processes under observation and study that could otherwise go
unnoticed. It is therefore important to maximize the sensitivity of the method
used to identify such events. In this article, we present a general procedure
based on the use of the likelihood function for identifying transients which is
particularly suited for real-time applications because it requires no grouping
or pre-processing of the data. The method makes use of all the information that
is available in the data throughout the statistical decision-making process,
and is suitable for a wide range of applications. Here we consider those most
common in astrophysics, which involve searching for transient sources, events
or features in images, time series, energy spectra, and power spectra, and
demonstrate the use of the method in the case of a weak X-ray flare in a time
series and a short-lived quasi-periodic oscillation in a power spectrum. We
derive a fit statistic that is ideal for fitting arbitrarily shaped models to a
power density distribution, which is of general interest in all applications
involving periodogram analysis.


title: Homogeneity in Regression

abstract:
  This paper explores the homogeneity of coefficients in high-dimensional
regression, which extends the sparsity concept and is more general and suitable
for many applications. Homogeneity arises when one expects regression
coefficients corresponding to neighboring geographical regions or a similar
cluster of covariates to be approximately the same. Sparsity corresponds to a
special case of homogeneity with a known atom zero. In this article, we propose
a new method called clustering algorithm in regression via data-driven
segmentation (CARDS) to explore homogeneity. New mathematics are provided on
the gain that can be achieved by exploring homogeneity. Statistical properties
of two versions of CARDS are analyzed. In particular, the asymptotic normality
of our proposed CARDS estimator is established, which reveals better estimation
accuracy for homogeneous parameters than that without homogeneity exploration.
When our methods are combined with sparsity exploration, further efficiency can
be achieved beyond the exploration of sparsity alone. This provides additional
insights into the power of exploring low-dimensional strucuture in
high-dimensional regression: homogeneity and sparsity. The newly developed
method is further illustrated by simulation studies and applications to real
data.


title: ParceLiNGAM: A causal ordering method robust against latent confounders

abstract:
  We consider learning a causal ordering of variables in a linear non-Gaussian
acyclic model called LiNGAM. Several existing methods have been shown to
consistently estimate a causal ordering assuming that all the model assumptions
are correct. But, the estimation results could be distorted if some assumptions
actually are violated. In this paper, we propose a new algorithm for learning
causal orders that is robust against one typical violation of the model
assumptions: latent confounders. The key idea is to detect latent confounders
by testing independence between estimated external influences and find subsets
(parcels) that include variables that are not affected by latent confounders.
We demonstrate the effectiveness of our method using artificial data and
simulated brain imaging data.


title:
Double Dressing and Manipulation of the Photonic Density of States in
  Nanostructured Qubits

abstract:
  In this work, a model to study the coupling between a semiconductor qubit and
two timedependent electric fields is developed. By using it in the resonantly
monochromatic double dressing regime, control of the local density of optical
states is theoretically and numerically demonstrated for a strongly confined
exciton. Drastic changes in the allowed energy transitions yielding tunable
broadening of the optically active frequency ranges, are observed in the
simulated emission spectra. The presented results are in excellent qualitative
and quantitative agreement with recent experimental observations.


title:
Next-to-next-to-leading order spin-orbit effects in the gravitational
  wave flux and orbital phasing of compact binaries

abstract:
  We compute the next-to-next-to-leading order spin-orbit contributions in the
total energy flux emitted in gravitational waves by compact binary systems.
Such contributions correspond to the post-Newtonian order 3.5PN for maximally
spinning compact objects. Continuing our recent work on the
next-to-next-to-leading spin-orbit terms at 3.5PN order in the equations of
motion, we obtain the spin-orbit terms in the multipole moments of the compact
binary system up to the same order within the multipolar post-Newtonian wave
generation formalism. Our calculation of the multipole moments is valid for
general orbits and in an arbitrary frame; the moments are then reduced to the
center-of-mass frame and the resulting energy flux is specialized to
quasi-circular orbits. The test-mass limit of our final result for the flux
agrees with the already known Kerr black hole perturbation limit. Furthermore
the various multipole moments of the compact binary reduce in the one-body case
to those of a single boosted Kerr black hole. We briefly discuss the
implications of our result for the gravitational-wave flux in terms of the
binary's phase evolution, and address its importance for the future detection
and parameter estimation of signals in gravitational wave detectors.


title:
Lattice Boltzmann simulations of apparent slip and contact angle in
  hydrophobic micro-channels

abstract:
  In this paper, we applied the Shan-Chen multiphase Lattice Boltzmann method
to simulate two different parameters, contact angle (a static parameter) and
slip length (a dynamic parameter), and we proposed a relationship between them
by fitting those numerical simulation results. By changing the values of the
strength of interaction between fluid particles (SIF) and the strength of
interaction between fluid and solid surface (SIFS), we simulated a series of
contact angles and slip lengths. Our numerical simulation results show that
both SIF and SIFS have little effects on the relationship between contact angle
and slip length. Using the proposed relationship between slip length and
contact angle, we further derived an equation to determine the upper limit of
nano-particles' diameter under which drag-reduction can be achieved when using
nano-particles adsorbing method.


title: Adsorbate-Mediated Growth of Rare-Earth Oxides on Silicon

abstract:
  Ultrathin cerium oxide films have been deposited on chlorine, gallium, and
silver passivated Si(111) by reactive molecular beam epitaxy in a comparative
study. The crystallinity of these films has been characterized by x-ray
standing waves while the oxidation state of the rare-earth oxide (REOx) films
and the chemical interface composition have been revealed by hard x-ray
photoelectron spectroscopy. The use of Cl as passivating agent results in the
epitaxial growth of highly crystalline REOx films with the RE metal in the 3+
oxidation state while effectively suppressing silicate and silicon oxide
formation at the interface. In contrast, Ga and Ag preadsorption yield films of
inferior quality, in the case of Ag of even lower crystallinity than without
passivation. Further investigations show that Cl-passivation also results in
ultrathin lanthana films of superior quality, which facilitate the growth of
well-ordered ceria on lanthana REOx multilayers.


title: Higher dimensional contact topology via holomorphic disks

abstract:
  These notes are based on a course that took place at the Universit\'e de
Nantes in June 2011 during the "Trimester on Contact and Symplectic Topology".
We will explain how holomorphic curves can be used to study symplectic fillings
of a given contact manifold. Our main goal consists in showing that certain
contact manifolds do not admit any symplectic filling at all.


title:
Two-sided bounds for eigenvalues of differential operators with
  applications to Friedrichs', Poincar\'e, trace, and similar constants

abstract:
  We present a general numerical method for computing guaranteed two-sided
bounds for principal eigenvalues of symmetric linear elliptic differential
operators. The approach is based on the Galerkin method, on the method of a
priori-a posteriori inequalities, and on a complementarity technique. The
two-sided bounds are formulated in a general Hilbert space setting and as a
byproduct we prove an abstract inequality of Friedrichs'-Poincar\'e type. The
abstract results are then applied to Friedrichs', Poincar\'e, and trace
inequalities and fully computable two-sided bounds on the optimal constants in
these inequalities are obtained. Accuracy of the method is illustrated on
numerical examples.


title:
Optimization of NSLS-II Blade X-ray Beam Position Monitors: from
  Photoemission type to Diamond Detector

abstract:
  Optimization of blade type X-ray Beam Position Monitors (XBPM) was performed
for NSLS-II undulator IVU20. Blade material, configuration and operation
principle was analyzed to improve XBPM performance. Optimization is based on
calculation of the XBPM signal spatial distribution. Along with standard
photoemission blades, Diamond Detector Blade (DDB) was analyzed as XBPM signal
source. Analyses revealed, that Diamond Detector Blade XBPM would allow
overcoming drawbacks of the photoemission type XBPMs.


title: Coupling of a single NV-center in diamond to a fiber-based microcavity

abstract:
  We report on the coupling of a single Nitrogen-vacancy (NV) center in a
nanodiamond to a fiber-based microcavity at room temperature. Investigating the
very same NV center inside the cavity and in free-space allows to
systematically explore a new regime of phonon-assisted cavity feeding. Making
use of the NV center's strongly broadened emission, we realize a widely
tunable, narrowband single photon source. A master equation model well
reproduces our experimental results and predicts a transition into a
Purcell-enhanced emission regime at low temperatures.


title:
Electronic structures of III-V zinc-blende semiconductors from atomistic
  first principles

abstract:
  For analyzing quantum transport in semiconductor devices, accurate electronic
structures are critical for quantitative predictions. Here we report
theoretical analysis of electronic structures of all III-V zinc-blende
semiconductor compounds. Our calculations are from density functional theory
with the semi-local exchange proposed recently [F. Tran and P. Blaha, Phys.
Rev. Lett. 102, 226401 (2009)], within the linear muffin tin orbital scheme.
The calculated band gaps and effective masses are compared to experimental data
and good quantitative agreement is obtained. Using the theoretical scheme
presented here, quantum transport in nanostructures of III-V compounds can be
confidently predicted.


title: Persistence of local-moment antiferromagnetic order in Ba(1-x)KxMn2As2

abstract:
  BaMn2As2 is a local-moment antiferromagnetic insulator with a N\'eel
temperature of 625 K and a large ordered moment of 3.9 Bohr magneton per Mn.
Remarkably, this compound can be driven metallic by the substitution of as
little as 1.6% K for Ba while retaining essentially the same ordered magnetic
moment and N\'eel temperature, as previously reported. Here, using both powder
and single crystal neutron diffraction we show that the local moment
antiferromagnetic order in Ba(1-x)KxMn2As2 remains robust up to x = 0.4. The
ordered moment is nearly independent of x for 0 < x < 0.4 and the N\'eel
transition temperature decreases to 480 K at x = 0.4.


title:
Fluctuation-Electromagnetic Interaction of Rotating Neutral Particle
  with the Surface: Relativistic Theory

abstract:
  Based on the fluctuation-electromagnetic theory, we have calculated the
retarded force of attraction, frictional moment and heating rate of a neutral
particle rotating near a polarizable surface. The particle and surface are
characterized by arbitrary material properties and temperatures. The surface is
assumed to be in thermal equilibrium with vacuum environment.


title: On Inclined Curves According to Parallel Transport Frame in E4

abstract:
  In this paper, we introduce an inclined curves according to parallel
transport frame. Also, we define a vector field called Darboux vector field of
an inclined curve in and we give a new characterization such as: "\alpha: I
\subset R \rightarrow E^4 is an inclined curve \Leftrightarrow k_1 \int k_1ds +
k_2 \int \k_2 +k_3ds = 0" where k_1, k_2, K_3 are the principal curvature
functions according to parallel transport frame of the curve and we give the
similar characterizations such as "\alpha : I \subset R \rightarrow E^3 is a
generalized helix \Leftrightarrow k_1 \int k_1ds + k_2 \int k_2ds = 0" where
k_1, k_2 are the principal curvature functions according to Bishop frame of the
curve \alpha. Moreover, we illustrate some examples and draw their figures with
Mathematica Programme.


title:
The 'nanobig rods' class of gold nanorods: optimized dimensions for
  improved in vivo therapeutic and imaging efficacy

abstract:
  Currently, gold nanorods can be synthesized in a wide range of sizes.
However, for intended biological applications gold nanorods with approximate
dimensions 50 nm x 15 nm are used. We investigate by computer simulation the
effect of particle dimensions on the optical and thermal properties in the
context of the specific applications of photoacoustic imaging. In addition we
discuss the influence of particle size in overcoming the following biophysical
barriers when administrated in vivo: extravasation, avoidance of uptake by
organs of the reticuloendothelial system, penetration through the interstitium,
binding capability and uptake by the target cells. Although more complex
biological influences can be introduced in future analysis, the present work
illustrates that larger gold nanorods, designated by us as "nanobig rods", may
perform relatively better at meeting the requirements for successful in vivo
applications compared to their smaller counterparts which are conventionally
used.


title:
A connection between the structural alpha-relaxation and the
  beta-relaxation found in bulk metallic glass-formers

abstract:
  New metallic glasses containing La or Ce have been introduced that have
dynamic properties bordering on extremes of conventional metallic glasses. This
provides opportunity to test trends or correlations established before in
molecular and polymeric glass-formers if exist the same exist in the broader
family of metallic glasses. Due to the drastically different chemical and
physical structure of metallic glass-formers than soft matter, there is no
guarantee that any correlation found in the latter will hold in the former. If
found, the result brings metallic glasses closer to the much wider classes of
glass-formers by the similarity in properties, and possibly have the same
explanation. In non-metallic glass-formers, a general and fundamental
connection has been established between the non-exponentiality parameter of the
structural alpha-relaxation and the separation between its relaxation time and
the beta-relaxation time. In this paper we explore the experimental data of
metallic glass-formers and show the correlation applies. An explanation of this
correlation is given. The establishment of the correlation may facilitate the
understanding of the roles played by the beta-relaxation observed in
macroscopic properties of metallic glasses including the relations to shear
transformation zone, ductile-brittle transition in deformation,
crystallization, and diffusion.


title:
Highly Scalable Multiplication for Distributed Sparse Multivariate
  Polynomials on Many-core Systems

abstract:
  We present a highly scalable algorithm for multiplying sparse multivariate
polynomials represented in a distributed format. This algo- rithm targets not
only the shared memory multicore computers, but also computers clusters or
specialized hardware attached to a host computer, such as graphics processing
units or many-core coprocessors. The scal- ability on the large number of cores
is ensured by the lacks of synchro- nizations, locks and false-sharing during
the main parallel step.


title: On weakly D-differentiable operators

abstract:
  For an unbounded self-adjoint operator D on a Hilbert space H and a bounded
operator a on H we say that a is weakly D-differentiable if for any pair of
vectors x, y in H the function <exp(itD) a exp(-itD)x, y> is differentiable at
t =0. We find several conditions which are all equivalent to weak
D-differentiability.


title: Measuring Similarity Between Curves on 2-Manifolds via Homotopy Area

abstract:
  Measuring the similarity of curves is a fundamental problem arising in many
application fields. There has been considerable interest in several such
measures, both in Euclidean space and in more general setting such as curves on
Riemannian surfaces or curves in the plane minus a set of obstacles. However,
so far, efficiently computable similarity measures for curves on general
surfaces remain elusive. This paper aims at developing a natural curve
similarity measure that can be easily extended and computed for curves on
general orientable 2-manifolds. Specifically, we measure similarity between
homotopic curves based on how hard it is to deform one curve into the other one
continuously, and define this "hardness" as the minimum possible surface area
swept by a homotopy between the curves. We consider cases where curves are
embedded in the plane or on a triangulated orientable surface with genus $g$,
and we present efficient algorithms (which are either quadratic or near linear
time, depending on the setting) for both cases.


title:
Combinatorial results for certain semigroups of order-preserving full
  contraction mappings of a finite chain

abstract:
  Let ${\cal T}_n$ be the full symmetric semigroup on $X_n = \{1, 2,..., n\}$
and let ${\cal OCT}_n$ and ${\cal ORCT}_n$ be its subsemigroups of
order-preserving and order-preserving or order-reversing full contraction
mappings of $X_n$, respectively. In this paper we investigate the cardinalities
of some equivalences on ${\cal OCT}_n$ and ${\cal ORCT}_n$ which lead naturally
to obtaining the orders of these subsemigroups.


title:
Towards a Ryll-Nardzewski-type Theorem for weakly oligomorphic
  structures

abstract:
  A structure is called weakly oligomorphic if it realizes only finitely many
n-ary positive existential types for every n. The goal of this paper is to show
that the notions of homomorphism-homogeneity, and weak oligomorphy are not only
completely analogous to the classical notions of ultrahomogeneity and
oligomorphy, but are actually closely related. A first result is a
Fra\"iss\'e-type theorem for homomorphism-homogeneous relational structures.
Further we show that every weakly oligomorphic homomorphism-homogeneous
structure contains (up to isomorphism) a unique homogeneous,
homomorphism-homogeneous core, to which it is homomorphism-equivalent. As a
consequence, we obtain that every countable weakly oligomorphic structure is
homomorphism-equivalent with a finite or \omega-categorical structure. Another
result is the characterization of positive existential theories of weakly
oligomorphic structures as the positive existential parts of \omega-categorical
theories. Finally, we show, that the countable models of countable weakly
oligomorphic structures are mutually homomorphism-equivalent (we call first
order theories with this property weakly \omega-categorical). These results are
in analogy with part of the Engeler-Ryll-Nardzewski-Svenonius-theorem.


title: Introducing Nominals to the Combined Query Answering Approaches for EL

abstract:
  So-called combined approaches answer a conjunctive query over a description
logic ontology in three steps: first, they materialise certain consequences of
the ontology and the data; second, they evaluate the query over the data; and
third, they filter the result of the second phase to eliminate unsound answers.
Such approaches were developed for various members of the DL-Lite and the EL
families of languages, but none of them can handle ontologies containing
nominals. In our work, we bridge this gap and present a combined query
answering approach for ELHO---a logic that contains all features of the OWL 2
EL standard apart from transitive roles and complex role inclusions. This
extension is nontrivial because nominals require equality reasoning, which
introduces complexity into the first and the third step. Our empirical
evaluation suggests that our technique is suitable for practical application,
and so it provides a practical basis for conjunctive query answering in a large
fragment of OWL 2 EL.


title: Hall Conductivities for Confined System in Noncommutative Plane

abstract:
  We propose an approach based on the generalized quantum mechanics to deal
with the basic features of the spin Hall effect. We begin by considering two
decoupled harmonic oscillators on the noncommutative plane and determine the
solutions of the energy spectrum. We realize two algebras in terms of the
quadratic observables and show their importance in filling the shells with
fermions. Under some transformation we show that our system is submitted to an
effective Lorentz force similar to that acting on one particle in an external
magnetic field. From equation of motions, we end up with the charge and spin
Hall conductivities as function of the noncommutative parameter \theta. By
switching off \theta we recover standard results developed on the subject and
in the limit \theta --> 0 we show that our approach can reproduce the Laughin
wavefunctions.

categories: hep-th cond-mat.mes-hall math-ph math.MP


title: EPR Steering Inequalities from Entropic Uncertainty Relations

abstract:
  We use entropic uncertainty relations to formulate inequalities that witness
Einstein-Podolsky-Rosen (EPR) steering correlations in diverse quantum systems.
We then use these inequalities to formulate symmetric EPR-steering inequalities
using the mutual information. We explore the differing natures of the
correlations captured by one-way and symmetric steering inequalities, and
examine the possibility of exclusive one-way steerability in two-qubit states.
Furthermore, we show that steering inequalities can be extended to generalized
positive operator valued measures (POVMs), and we also derive hybrid-steering
inequalities between alternate degrees of freedom.