title:
Investigation of electron beam induced migration of hydrogen in Mg-doped
  GaN using Eu as a probe

abstract:
  We demonstrate the use of hydrogen induced changes in the emission of
isoelectric Eu ions, in Mg-doped p-type GaN, as a powerful probe to study the
dynamics of hydrogen movement under electron beam irradiation. We identify,
experimentally, a two-step process in the dissociation of Mg-H complexes and
propose, based on density functional theory, that the presence of minority
carriers and resulting charge states of the hydrogen drives this process.


title: A Machine-Checked Proof for a Translation of Event-B Machines to JML

abstract:
  We present a machine-checked soundness proof of a translation of Event-B to
the Java Modeling Language (JML). The translation is based on an operator
EventB2Jml that maps Evnet-B events to JML method specifications, and
deterministic and non-deterministic assignments to JML method post-conditions.
This translation has previously been implemented as the EventB2Jml tool. We
adopted a taking our own medicine approach in the formalisation of our proof so
that Event-B as well as JML are formalised in Event-B and the proof is
discharged with the Rodin platform. Hence, for any Event-B substitution
(whether an event or an assignment) and for the JML method specification
obtained by applying EventB2Jml to the substitution, we prove that the
semantics of the JML method specification is simulated by the semantics of the
substitution. Therefore, the JML specification obtained as translation from the
Event-B substitution is a refinement of the substitution. Our proof includes
invariants and the standard Event-B initialising event, but it does not include
full machines or Event-B contexts. We assume that the semantics of JML and
Event-B operate both on the same initial and final states, and we justify our
assumption.


title: Rigidity of 3-colorings of the discrete torus

abstract:
  We prove that a uniformly chosen proper $3$-coloring of the $d$-dimensional
discrete torus has a very rigid structure when the dimension $d$ is
sufficiently high. We show that with high probability the coloring takes just
one color on almost all of either the even or the odd sub-torus. In particular,
one color appears on nearly half of the torus sites. This model is the zero
temperature case of the $3$-state anti-ferromagnetic Potts model from
statistical physics.
  Our work extends previously obtained results for the discrete torus with
specific boundary conditions. The main challenge in this extension is to
overcome certain topological obstructions which appear when no boundary
conditions are imposed on the model. Locally, a proper $3$-coloring defines the
discrete gradient of an integer-valued height function which changes by exactly
one between adjacent sites. However, these locally-defined functions do not
always yield a height function on the entire torus, as the gradients may
accumulate to a non-zero quantity when winding around the torus. Our main
result is that in high dimensions, a global height function is well defined
with high probability, allowing to deduce the rigid structure of the coloring
from previously known results. Moreover, the probability that the gradients
accumulate to a vector $m$, corresponding to the winding in each of the $d$
directions, is at most exponentially small in the product of $\|m\|_\infty$ and
the area of a cross-section of the torus.
  In the course of the proof we develop discrete analogues of notions from
algebraic topology. This theory is developed in some generality and may be of
use in the study of other models.


title: Sharp Hardy-Littlewood-Sobolev inequality on the upper half space

abstract:
  There are at least two directions concerning the extension of classical sharp
Hardy-Littlewood-Sobolev inequality: (1) Extending the sharp inequality on
general manifolds; (2) Extending it for the negative exponent
$\lambda=n-\alpha$ (that is for the case of $\alpha>n$). In this paper we
confirm the possibility for the extension along the first direction by
establishing the sharp Hardy-Littlewood-Sobolev inequality on the upper half
space (which is conformally equivalent to a ball). The existences of extremal
functions are obtained; And for certain range of the exponent, we classify all
extremal functions via the method of moving sphere.


title:
Why Instantaneous Values of the "Covariant" Lyapunov Exponents Depend
  upon the Chosen State-Space Scale

abstract:
  We explore a simple example of a chaotic thermostated harmonic-oscillator
system which exhibits qualitatively different local Lyapunov exponents for
simple scale-model constant-volume transformations of its coordinate q and
momentum p : { q,p } --> { (Q/s),(sP) } . The time-dependent thermostat
variable zeta(t) is unchanged by such scaling. The original (q,p,zeta) motion
and the scale-model (Q,P,zeta) version of the motion are physically identical.
But both the local Gram-Schmidt Lyapunov exponents and the related local
"covariant" exponents change with the change of scale. Thus this model
furnishes a clearcut chaotic time-reversible example showing how and why both
the local Lyapunov exponents and covariant exponents vary with the scale factor
s .


title: A Finite-Blocklength Perspective on Gaussian Multi-Access Channels

abstract:
  Motivated by the growing application of wireless multi-access networks with
stringent delay constraints, we investigate the Gaussian multiple access
channel (MAC) in the finite blocklength regime. Building upon information
spectrum concepts, we develop several non-asymptotic inner bounds on channel
coding rates over the Gaussian MAC with a given finite blocklength, positive
average error probability, and maximal power constraints. Employing Central
Limit Theorem (CLT) approximations, we also obtain achievable second-order
coding rates for the Gaussian MAC based on an explicit expression for its
dispersion matrix. We observe that, unlike the pentagon shape of the asymptotic
capacity region, the second-order region has a curved shape with no sharp
corners.
  A main emphasis of the paper is to provide a new perspective on the procedure
of handling input cost constraints for tight achievability proofs. Contrary to
the complicated achievability techniques in the literature, we show that with a
proper choice of input distribution, tight bounds can be achieved via the
standard random coding argument and a modified typicality decoding. In
particular, we prove that codebooks generated randomly according to independent
uniform distributions on the respective "power shells" perform far better than
both independent and identically distributed (i.i.d.) Gaussian inputs and TDMA
with power control. Interestingly, analogous to an error exponent result of
Gallager, the resulting achievable region lies roughly halfway between that of
the i.i.d. Gaussian inputs and that of a hypothetical "sum-power shell" input.
However, dealing with such a non-i.i.d. input requires additional analysis such
as a new change of measure technique and application of a Berry-Esseen CLT for
functions of random variables.


title:
Central limit theorem and exponential tail estimations in hybrid
  Lebesgue-continuous spaces

abstract:
  We study the Central Limit Theorem (CLT) in the so-called hybrid
Lebesgue-continuous spaces and tail behavior of normed sums of centered random
independent variables (vectors) with values in these spaces.


title: Flow of a viscous nematic fluid around a sphere

abstract:
  We analyze the creeping flow generated by a spherical particle moving through
a viscous fluid with nematic directional order, in which momentum diffusivity
is anisotropic and which opposes resistance to bending. Specifically, we
provide closed-form analytical expressions for the response function, i.e. the
equivalent to Stokes's drag formula for nematic fluids. Particular attention is
given to the rotationally pseudo-isotropic condition defined by zero resistance
to bending, and to the strain pseudo-isotropic condition defined by isotropic
momentum diffusivity. We find the former to be consistent with the rheology of
biopolymer networks and the latter to be closer to the rheology of nematic
liquid crystals. These "pure" anisotropic conditions are used to benchmark
existing particle tracking microrheology methods that provide effective
directional viscosities by applying Stokes's drag law separately in different
directions. We find that the effective viscosity approach is phenomenologically
justified in rotationally isotropic fluids, although it leads to significant
errors in the estimated viscosity coefficients. On the other hand, the mere
concept of directional effective viscosities is found to be misleading in
fluids that oppose an appreciable resistance to bending. Finally, we observe
that anisotropic momentum diffusivity leads to asymmetric streamline patterns
displaying enhanced (reduced) streamline deflection in the directions of lower
(higher) diffusivity. The bending resistance of the fluid is found to modulate
the asymmetry of streamline deflection. In some cases, the combined effects of
both anisotropy mechanisms leads to streamline patterns that converge towards
the sphere.


title: Equivalences of the Multi-Indexed Orthogonal Polynomials

abstract:
  Multi-indexed orthogonal polynomials describe eigenfunctions of exactly
solvable shape-invariant quantum mechanical systems in one dimension obtained
by the method of virtual states deletion. Multi-indexed orthogonal polynomials
are labeled by a set of degrees of polynomial parts of virtual state
wavefunctions. For multi-indexed orthogonal polynomials of Laguerre, Jacobi,
Wilson and Askey-Wilson types, two different index sets may give equivalent
multi-indexed orthogonal polynomials. We clarify these equivalences.
Multi-indexed orthogonal polynomials with both type I and II indices are
proportional to those of type I indices only (or type II indices only) with
shifted parameters.


title:
DC electric field effect on the anomalous exponent of the hopping
  conduction in the one-dimensional disorder model

abstract:
  DC electric field effect on the anomalous exponent of the hopping conduction
in the disorder model is investigated. First, we explain the model and derive
an analytical expression of the effective waiting time for the general case. We
show that the exponent depends on the external field. Then we focus on a
one-dimensional system in order to illustrate the features of the anomalous
exponent. We derive approximate expressions of the anomalous exponent of the
system analytically. For the case of a weak field, the anomalous exponent is
consistent with that of diffusive systems. This is consistent with the
treatments of Barkai et al. [Phys. Rev. E {\bf 63}, 046118 (2001)] and our
result supports their theory. On the other hand, for the case of a strong field
and a strong disorder, the time evolution of the exponent clearly differs from
that in the weak field. The exponent is consistent with the well-known
expression of the anomalous exponent in the Multiple Trapping Model at
mesoscopic time scales. In the long time limit, a transition of the anomalous
exponent to the same value of the weak field occurs. For the case of a strong
field and a weak disorder, the exponent is equal to 1 and thus the diffusion is
normal. These findings are verified by the Monte Carlo simulation.


title: An Overview of Nominal-Typing versus Structural-Typing in OOP

abstract:
  NOOP is a mathematical model of nominally-typed OOP that proves the
identification of inheritance and subtyping in mainstream nominally-typed OO
programming languages and the validity of this identification. This report
gives an overview of the main notions in OOP relevant to constructing a
mathematical model of OOP such as NOOP. The emphasis in this report is on
defining nominality, nominal typing and nominal subtyping of mainstream
nominally-typed OO languages, and on contrasting the three notions with their
counterparts in structurally-typed OO languages, i.e., with structurality,
structural typing and structural subtyping, respectively. An additional
appendix demonstrates these notions and other related notions, and the
differences between them, using some simple code examples. A detailed, more
technical comparison between nominal typing and structural typing in OOP is
presented in other publications.


title: Nonuniform sampling and multiscale computation

abstract:
  In homogenization theory and multiscale modeling, typical functions satisfy
the scaling law $f^{\epsilon}(x) = f(x,x/\epsilon)$, where $f$ is periodic in
the second variable and $\epsilon$ is the smallest relevant wavelength,
$0<\epsilon\ll1$. Our main result is a new $L^{2}$-stability estimate for the
reconstruction of such bandlimited multiscale functions $f^{\epsilon}$ from
periodic nonuniform samples. The goal of this paper is to demonstrate the close
relation between and sampling strategies developed in information theory and
computational grids in multiscale modeling. This connection is of much interest
because numerical simulations often involve discretizations by means of
sampling, and meshes are routinely designed using tools from information
theory. The proposed sampling sets are of optimal rate according to the minimal
sampling requirements of Landau \cite{Landau}.


title:
Exponentially Fast Parameter Estimation in Networks Using Distributed
  Dual Averaging

abstract:
  In this paper we present an optimization-based view of distributed parameter
estimation and observational social learning in networks. Agents receive a
sequence of random, independent and identically distributed (i.i.d.) signals,
each of which individually may not be informative about the underlying true
state, but the signals together are globally informative enough to make the
true state identifiable. Using an optimization-based characterization of
Bayesian learning as proximal stochastic gradient descent (with
Kullback-Leibler divergence from a prior as a proximal function), we show how
to efficiently use a distributed, online variant of Nesterov's dual averaging
method to solve the estimation with purely local information. When the true
state is globally identifiable, and the network is connected, we prove that
agents eventually learn the true parameter using a randomized gossip scheme. We
demonstrate that with high probability the convergence is exponentially fast
with a rate dependent on the KL divergence of observations under the true state
from observations under the second likeliest state. Furthermore, our work also
highlights the possibility of learning under continuous adaptation of network
which is a consequence of employing constant, unit stepsize for the algorithm.


title:
Elementos de ingenier\'ia de explotaci\'on de la informaci\'on aplicados
  a la investigaci\'on tributaria fiscal

abstract:
  By introducing elements of information mining to tax analysis, by means of
data mining software and advanced computational concepts of artificial
intelligence, the problem of tax evader's crime against public property has
been addressed. Through an empirical approach from a hypothetical case of use,
induction algorithms, neural networks and bayesian networks are applied to
determine the feasibility of its heuristic application by the tax public
administrator. Different strategies are explored to facilitate the work of
local and regional federal tax inspectors, considering their limited
computational capabilities, but equally effective for those social scientist
committed to handcrafting tax research.
  -----
  Apresentando a introdu\c{c}\~ao de elementos de explora\c{c}\~ao de
informa\c{c}\~oes para an\'alise fiscal, por meio de software de
minera\c{c}\~ao de dados e conceitos avan\c{c}ados computacionais de
intelig\^encia artificial, foi abordado o problema do crime de sonegador fiscal
contra o patrim\^onio p\'ublico. Atrav\'es de uma abordagem emp\'irica a partir
de um caso hipot\'etico de uso, os algoritmos de indu\c{c}\~ao, redes neurais e
redes bayesianas s\~ao aplicados para determinar a viabilidade de sua
aplica\c{c}\~ao heur\'istica pelo administrador p\'ublico tribut\'ario.
Diferentes estrat\'egias s\~ao exploradas para facilitar o trabalho dos
inspectores tribut\'arios federais locais e regionais, tendo em conta as suas
capacidades computacionais limitados, mas igualmente eficaz para aqueles
cientista social comprometido com a investiga\c{c}\~ao fiscal.


title: Translate of horospheres and counting problems

abstract:
  Let G be a semisimple Lie group without compact factors, \Gamma be an
irreducible lattice in G. In the first part of the article we give the
necessary and sufficient condition under which a sequence of translates of
probability "horospherical measures" is convergent. And the limiting measure is
also determined when it is convergent (see Theorems 1 and 2 for the precise
statements). In the second part, two applications are presented. The first one
is of geometric nature and the second one gives an alternative way to count the
number of rational points on a flag variety.


title:
Experimental Study using Touschek Lifetime as Machine Status Flag in
  SSRF

abstract:
  The stabilities of the beam and machine have almost the highest priority in a
modern light source. Although a lot of machine parameters could be used to
represent the beam quality, there lacks a single one that could indicate the
global information for the machine operators and accelerator physicists,
recently. A new parameter has been studied for the last few years as a beam
quality flag in Shanghai Synchrotron Radiation Facility (SSRF). Calculations,
simulations and detailed analysis of the real-time data from the storage ring
had been made and interesting results had confirmed its feasibility.


title:
Fault detection and isolation of malicious nodes in MIMO Multi-hop
  Control Networks

abstract:
  A MIMO Multi-hop Control Network (MCN) consists of a MIMO LTI system where
the communication between sensors, actuators and computational units is
supported by a (wireless) multi-hop communication network, and data flow is
performed using scheduling and routing of sensing and actuation data. We
provide necessary and sufficient conditions on the plant dynamics and on the
communication protocol configuration such that the Fault Detection and
Isolation (FDI) problem of failures and malicious attacks to communication
nodes can be solved.


title:
An Optimal Load-Frequency Control Method for Inverter-Based Renewable
  Energy Transmission

abstract:
  The frequency droop response of conventional turbine driven synchronous
generators with respect to load increases is normally used in order to have
stable operating characteristics for multiple generators operating in parallel
over large geographical regions. This presents a challenge for renewable energy
sources that interface to the transmission grid through static inverters that
do not exhibit an intrinsic frequency droop characteristic. This paper provides
a technique for designing optimal load frequency controllers as transmission
line inverters fed from renewable energy sources that allows for fast dynamic
response due to variable solar and wind conditions while maintain stability to
interconnected synchronous generators. A control technique based on LQG
optimization theory is presented. Detailed analysis of a three-area system in a
region of mixed wind and solar photovoltaic sources is modeled in a manner that
confirms the effectiveness of the disclosed load-frequency control method.


title:
Towards String Theory models of DeSitter Space and early Universe
  Cosmology

abstract:
  String theory is arguably the best candidate for a theory of quantum gravity
and unified interactions. Reconciling Einstein's theory of General Relativity
with Quantum Mechanics. The theory however is best understood on Minkowski and
Anti-de Sitter space-times, and not on exponentially expanding space-times with
positive cosmological constant, like our own universe. There is still no
satisfactory formulation of String Theory on these so called asymptotically de
Sitter space times. In this thesis I will discuss certain avenues of progress
towards a String Theory formulation of de Sitter space-times. Specifically, how
understanding of the analytic continuations of Liouville Theory and how to
gauge-fix it in the Timelike regime will aid in the understanding of the
proposed FRW-CFT duality of de Sitter space. It is also discussed how
non-trivial topology effects proposed Chern-Simons Matter duals of Vasiliev
Higher Spin gravity theories which are important in the dS-CFT description of
de Sitter Space.


title: Software for Science: Some Personal Reflections

abstract:
  As computer systems become more and more complex, software and tools lag more
and more behind. This is especially true for scientific software that often
demands high performance, and thus needs to take advantage of parallelisms,
memory hierarchies and other software and systems. How do we help bridge this
ever-increasing gap?
  This paper describes some of my experiences and thoughts regarding licensing,
code sharing, code maintenance, open access publishing, and educations and
training. Details include my recent experiences with getting industrial funding
for GPL licensed software, BSD issues, sharing code on GitHub, and how I
inspire students to take my 4th year Parallel Computing elective which this
semester has over 50 students enrolled. Some thoughts and comments regarding
why both optimization and data locality are such a central issue for scientific
software is also included.


title:
Effect of defects on the phonons and the effective spin-spin
  interactions of an ultracold Penning trap quantum simulator

abstract:
  We generalize the analysis of the normal modes for a rotating ionic Coulomb
crystal in a Penning trap to allow for inhomogeneities in the system. Our
formal developments are completely general, but we choose to examine a crystal
of Be+ ions with BeH+ defects to compare with current experimental efforts. We
examine the classical phonon modes (both transverse and planar) and we
determine the effective spin-spin interactions when the system is driven by an
axial spin-dependent optical dipole force. We examine situations with up to
approximately 15% defects. We find that most properties are not strongly
influenced by the defects, indicating that the presence of a small number of
defects will not significantly affect experiments.


title:
Speech Enhancement using Kernel and Normalized Kernel Affine Projection
  Algorithm

abstract:
  The goal of this paper is to investigate the speech signal enhancement using
Kernel Affine Projection Algorithm (KAPA) and Normalized KAPA. The removal of
background noise is very important in many applications like speech
recognition, telephone conversations, hearing aids, forensic, etc. Kernel
adaptive filters shown good performance for removal of noise. If the evaluation
of background noise is more slowly than the speech, i.e., noise signal is more
stationary than the speech, we can easily estimate the noise during the pauses
in speech. Otherwise it is more difficult to estimate the noise which results
in degradation of speech. In order to improve the quality and intelligibility
of speech, unlike time and frequency domains, we can process the signal in new
domain like Reproducing Kernel Hilbert Space (RKHS) for high dimensional to
yield more powerful nonlinear extensions. For experiments, we have used the
database of noisy speech corpus (NOIZEUS). From the results, we observed the
removal noise in RKHS has great performance in signal to noise ratio values in
comparison with conventional adaptive filters.


title:
Modeling gamma ray production from proton-proton interactions in
  high-energy astrophysical environments

abstract:
  Gamma rays are the best probes to study high-energy particle interactions
occurring in astrophysical environments. Space based instruments such as Fermi
Large Area Telescope (Fermi LAT) and ground based experiments such as VERITAS,
H.E.S.S. and MAGIC have provided us with valuable data on various production
mechanisms of gamma rays within our Galaxy and beyond. Depending on
astronomical conditions, gamma rays can be produced either by hadronic or
leptonic interactions. In this paper, we probe the production of gamma rays by
the hadronic channel where gamma rays are primarily produced by the decay of
secondary neutral pions and $\eta$ mesons from proton-proton interactions in a
wide energy range. We use state of the art high-energy hadronic interaction
models, calibrated with the new LHC results and widely used in ground based
ultra-high energy air shower experiments. We also compare SIBYLL 2.1,
QGSJET-II-04 and EPOS LHC models and provide lookup tables which can be used by
researchers to model gamma ray production from the hadronic channel and
ultimately extract the underlying proton spectrum from gamma ray observations.


title: Theory of magnon-skyrmion scattering in chiral magnets

abstract:
  We study theoretically the dynamics of magnons in the presence of a single
skyrmion in chiral magnets featuring Dzyaloshinskii-Moriya interaction. We show
by micromagnetic simulations that the scattering process of magnons by a
skyrmion can be clearly defined although both originate in the common spins. We
find that (i) the magnons are deflected by a skyrmion, with the angle strongly
dependent on the magnon wavenumber due to the effective magnetic field of the
topological texture, and (ii) the skyrmion motion is driven by magnon
scattering through exchange of the momenta between the magnons and a skyrmion:
the total momentum is conserved. This demonstrates that the skyrmion has a
well-defined, though highly non-Newtonian, momentum.


title: New conceptions on the light wave theory in a moving frame of reference

abstract:
  A reanalisis of the effect of a moving frame of reference is done, showing
that the null result of the Michelson-Morley's experimente of 1887 on the
possibility of detecting the variation of the velocity of light with respect to
a moving observer, na observer at the Earth, was already implied in these
equations; thereforewith no need of new ad hoc hypotheses to explain it in the
classical framework. In fact, it will be shown that behind those equations is
hidden the fascinating phenomenon of the absolute motion.


title:
The Partial-Isometric Crossed Products by Semigroups of Endomorphisms as
  Full Corners

abstract:
  Suppose $\Gamma^{+}$ is the positive cone of a totally ordered abelian group
$\Gamma$, and $(A,\Gamma^{+},\alpha)$ is a system consisting of a $C^*$-algebra
$A$, an action $\alpha$ of $\Gamma^{+}$ by extendible endomorphisms of $A$. We
prove that the partial-isometric crossed product
$A\times_{\alpha}^{\piso}\Gamma^{+}$ is a full corner in the subalgebra of
$\L(\ell^{2}(\Gamma^{+},A))$, and that if $\alpha$ is an action by
automorphisms of $A$, then it is the isometric-crossed product
$(B_{\Gamma^{+}}\otimes A)\times^{\iso}\Gamma^{+}$, which is therefore a full
corner in the usual crossed product of system by a group of automorphisms. We
use these realizations to identify the ideal of
$A\times_{\alpha}^{\piso}\Gamma^{+}$ such that the quotient is the isometric
crossed product $A\times_{\alpha}^{\iso}\Gamma^{+}$.


title:
Convergence of global solutions for some classes of nonlinear damped
  wave equations

abstract:
  We consider the asymptotic behavior of the soltion to the wave equation with
time-dependent damping and analytic nonlinearity. Our main goal is to prove the
convergence of a global solution to an equilibrium as time goes to infinity by
means of a suitable Lojasiewicz-Simon type inequality.


title: Spin rectification induced by dynamical Hanle effect

abstract:
  Dynamic response of spin accumulation to a time-dependent magnetic field has
been investigated in a ferromagnetic/nonmagnetic bilayer under ferromagnetic
resonance. In this system, magnetization precession driven by a microwave
generates direct-current (dc) and alternate-current (ac) spin accumulation in
the nonmagnetic layer by the spin pumping. The ac spin accumulation is coupled
with the microwave magnetic field through a dynamical Hanle spin precession,
giving rise to rectified spin accumulation comparable with the dc spin
accumulation directly generated by the spin pumping.


title:
Hartree-Fock-Bogoliubov descriptions of deformed weakly-bound nuclei in
  large coordinate spaces

abstract:
  Weakly-bound deformed nuclei have been studied by the Skyrme
Hartree-Fock-Bogoliubov (HFB) approach in large coordinate-space boxes. In
particular, the box-size dependence of the HFB calculations of weakly-bound
deformed nuclei are investigated, including the particle density and pairing
density distributions at nuclear surfaces, the near-threshold resonant and
continuum quasiparticle spectra, and energetic properties. The box size may
have larger influences in pairing properties than in other bulk properties. We
demonstrate that large-box calculations of weakly-bound nuclei are important to
precisely describe exotic phenomena such as deformed halos and peninsulas of
stability beyond drip lines.


title:
Equivariant class group. I. Finite generation of the Picard and the
  class groups of an invariant subring

abstract:
  The purpose of this paper is to define equivariant class group of a locally
Krull scheme (that is, a scheme which is locally a prime spectrum of a Krull
domain) with an action of a flat group scheme, study its basic properties, and
apply it to prove the finite generation of the class group of an invariant
subring.
  In particular, we prove the following.
  Let $k$ be a field, $G$ a smooth $k$-group scheme of finite type, and $X$ a
quasi-compact quasi-separated locally Krull $G$-scheme. Assume that there is a
$k$-scheme $Z$ of finite type and a dominating $k$-morphism $Z\rightarrow X$.
Let $\varphi:X\rightarrow Y$ be a $G$-invariant morphism such that $\mathcal
O_Y\rightarrow (\varphi_*\mathcal O_X)^G$ is an isomorphism. Then $Y$ is
locally Krull. If, moreover, $\Cl(X)$ is finitely generated, then $\Cl(G,X)$
and $\Cl(Y)$ are also finitely generated, where $\Cl(G,X)$ is the equivariant
class group.
  In fact, $\Cl(Y)$ is a subquotient of $\Cl(G,X)$. For actions of connected
group schemes on affine schemes, there are similar results of Magid and
Waterhouse, but our result also holds for disconnected $G$. The proof depends
on a similar result on (equivariant) Picard groups.


title:
Reality problems for the Algebro-Geometric Solutions of Fokas-Lenell
  hierarchy

abstract:
  In a previous study, we obtained the algebro-geometric solutions and $n$-dark
solitons of Forkas-Lenells (FL) hierarchy using algebro-geometric method.
  In this paper, we construct physically relevant classes of solutions for FL
hierarchy by studying the reality conditions for $q=\pm \bar{r}$ based on the
idea of Vinikov's homological basis.


title:
Role of roughness on the hydrodynamic homogeneous base state of
  inelastic spheres

abstract:
  A gas of inelastic rough spheres admits a spatially homogeneous base state
which turns into a hydrodynamic state after a finite relaxation time. We show
that this relaxation time is hardly dependent on the degree of inelasticity but
increases dramatically with decreasing roughness. An accurate description of
translational-rotational velocity correlations at all times is also provided.
At a given inelasticity, the roughness parameter can be tuned to produce a huge
distortion from the Maxwellian distribution function. The results are obtained
from a Grad-like solution of the Boltzmann-Enskog equation complemented by
Monte Carlo and molecular dynamics simulations.


title:
An algebraic approach to virtual fundamental cycles on moduli spaces of
  pseudo-holomorphic curves

abstract:
  We develop techniques for defining and working with virtual fundamental
cycles on moduli spaces of pseudo-holomorphic curves which are not necessarily
cut out transversally. Such techniques have the potential for applications as
foundations for invariants in symplectic topology arising from "counting"
pseudo-holomorphic curves. We introduce the notion of an *implicit atlas* on a
moduli space, which is (roughly) a convenient system of local
finite-dimensional reductions. We present a general intrinsic strategy for
constructing a canonical implicit atlas on any moduli space of
pseudo-holomorphic curves. The main technical step in applying this strategy in
any particular setting is to prove appropriate gluing theorems. We require only
topological gluing theorems, that is, smoothness of the transition maps between
gluing charts need not be addressed. Our approach to virtual fundamental cycles
is algebraic rather than geometric (in particular, we do not use perturbation).
Sheaf-theoretic tools play an important role in setting up our functorial
algebraic "VFC package". We illustrate the methods we introduce by giving
definitions of Gromov--Witten invariants and Hamiltonian Floer homology over
$\mathbb Q$ for general symplectic manifolds. Our framework generalizes to the
$S^1$-equivariant setting, and we use $S^1$-localization to calculate
Hamiltonian Floer homology. The Arnold conjecture (as treated by Floer,
Hofer--Salamon, Ono, Liu--Tian, Ruan, and Fukaya--Ono) is a well-known
corollary of this calculation.


title:
Performance analysis of modified algorithm for finding multilevel
  association rules

abstract:
  Multilevel association rules explore the concept hierarchy at multiple levels
which provides more specific information. Apriori algorithm explores the single
level association rules. Many implementations are available of Apriori
algorithm. Fast Apriori implementation is modified to develop new algorithm for
finding multilevel association rules. In this study the performance of this new
algorithm is analyzed in terms of running time in seconds.


title:
On configurations where the Loomis-Whitney inequality is nearly sharp
  and applications to the Furstenberg set problem

abstract:
  In this paper, we consider the so-called "Furstenberg set problem" in high
dimensions. First, following Wolff's work on the two dimensional real case, we
provide "reasonable" upper bounds for the problem for $\mathbb{R}$ or
$\mathbb{F}_p$. Next we study the "critical" case and improve the "trivial"
exponent by $\Omega (\frac{1}{n^2})$ for $\mathbb{F}_p^n$. Our key tool to
obtain this lower bound is a theorem about how things behave when the
Loomis-Whitney inequality is nearly sharp, as it helps us to reduce the problem
down to dimension two.


title: On sharp local turns of planar polynomials

abstract:
  We show that for a real polynomial of degree $n$ in two variables $x$ and
$y$, any local "sharp turn" must have its "size" $\gtrsim e^{-Cn^{2}}$. We also
show that there is indeed an example that has a sharp turn of size $\lesssim
e^{-Cn}$. This gives a quite satisfactory answer to a problem raised by Guth.
The problem was inspired by applications of the polynomial method in the study
of Kakeya conjecture.


title:
Detection of a Majorana-fermion zero mode by a T-shaped quantum-dot
  structure

abstract:
  Electron transport through the T-shaped quantum-dot (QD) structure is
theoretically investigated, by considering a Majorana zero mode coupled to the
terminal QD. It is found that in the double-QD case, the presence of the
Majorana zero mode can efficiently dissolve the antiresonance point in the
conductance spectrum and induce a conductance peak to appear at the same energy
position whose value is equal to $e^2/2h$. This antiresonance-resonance change
will be suitable to detect the Majorana bound states. Next in the multi-QD
case, we observe that in the zero-bias limit, the conductances are always the
same as the double-QD result, independent of the parity of the QD number. We
believe that all these results can be helpful for understanding the properties
of Majorana bound states.


title:
Accelerated Proximal Stochastic Dual Coordinate Ascent for Regularized
  Loss Minimization

abstract:
  We introduce a proximal version of the stochastic dual coordinate ascent
method and show how to accelerate the method using an inner-outer iteration
procedure. We analyze the runtime of the framework and obtain rates that
improve state-of-the-art results for various key machine learning optimization
problems including SVM, logistic regression, ridge regression, Lasso, and
multiclass SVM. Experiments validate our theoretical findings.


title:
The properties of cross-correlation and spectra of the low-mass X-ray
  binary 4U 1608-52

abstract:
  With {\it RXTE} data, we analyzed the cross-correlation function between the
soft and hard X-rays of the transient atoll source 4U 1608-52. We found
anti-correlations in three outbursts occurred in 1998, 2002 and 2010, and
significant time lags of several hundreds of seconds in the latter two
outbursts. Our results show no correlation between the soft and hard X-rays in
the island state, and a dominated positive correlation in the lower banana
state. Anti-correlations are presented at the upper banana state for the
outburst of 2010 and at the lower left banana states for the other two
outbursts. So far for atoll sources the cross-correlation has been studied
statistically only for 4U 1735-44, where anti-correlations showed up in the
upper banana state. Here our investigation upon 4U 1608-52 provides a similar
result in its 2010 outburst. In addition, we notice that the luminosities in
the upper banana of 1998 and 2002 outbursts are about 1.5 times that of 2010
outburst whose luminosity in the upper banana is close to that of 4U 1735-44.
The results suggest that the states in color-color diagram of a source could be
correlated with the luminosity of the source. A further spectral analysis shows
that, during the 2010 outburst, although an anti-correlation presents at the
highest fluxes, the contemporary spectrum is not the softest one along the
outburst evolution. This suggests that the observed anti-correlation may be
relevant to the transition between the hard and soft states, which is
consistent with the previous results on 4U 1735-44 and several black hole X-ray
binaries that anti-correlations are observed during the transition states.


title:
Generalisations of the tame automorphisms over a domain of positive
  characteristic

abstract:
  In this paper, we introduce two generalizations of the tame subgroup of the
automorphism group of a polynomial ring over a domain of positive
characteristic. We study detailed structures of these new `tame subgroups' in
the case of two variables.


title:
Magnetoresistance evidence on surface state and field-dependent bulk gap
  in Kondo insulator SmB6

abstract:
  Recently, the resistance saturation at low temperature in Kondo insulator
SmB6, a long-standing puzzle in condensed matter physics, was proposed to
originate from topological surface state. Here,we systematically studied the
magnetoresistance of SmB6 at low temperature up to 55 Tesla. Both temperature-
and angular-dependent magnetoresistances show a similar crossover behavior
below 5 K. Furthermore, the angular-dependent magnetoresistance on different
crystal face confirms a two-dimensional surface state as the origin of
magnetoresistances crossover below 5K. Based on two-channels model consisting
of both surface and bulk states, the field-dependence of bulk gap with critical
magnetic field (Hc) of 196 T is extracted from our temperature-dependent
resistance under different magnetic fields. Our results give a consistent
picture to understand the low-temperature transport behavior in SmB6,
consistent with topological Kondo insulator scenario.


title:
Spectro-temporal evolution during the onset-phase of the 2011 outburst
  of IGR J17091-3624. Implications on accretion disk dynamics

abstract:
  We re-analysed the archival data of RXTE / INTEGRAL / Swift satellites at the
onset phase of the 2011 outburst of the X-ray source IGR J17091-3624. The
evolution of the spectral and temporal properties of the source in this phase
clearly exhibits state transition as Hard (HS) to Hard-Intermediate (HIMS) to
Soft-Intermediate (SIMS) to Soft (SS) state, before entering the variability
phase (VP).We attempt to understand the evolution of X-ray features and the
state transitions based on two different types of accreting material (i.e, the
Keplerian and sub-Keplerian flow).


title:
(3+1)-dimensional topological quantum field theory from a tight-binding
  model of interacting spinless fermions

abstract:
  Currently, there is much interest in discovering analytically tractable
(3+1)-dimensional models that describe interacting fermions with emerging
topological properties. Towards that end we present a three-dimensional
tight-binding model of spinless interacting fermions that reproduces, in the
low energy limit, a (3+1)-dimensional Abelian topological quantum field theory
called BF model. By employing a mechanism equivalent to the Haldane's Chern
insulator, we can turn the non-interacting model into a three-dimensional
chiral topological insulator. We then isolate energetically one of the two
Fermi points of the lattice model. In the presence of suitable fermionic
interactions, the system, in the continuum limit, is equivalent to a
generalised (3+1)-dimensional Thirring model. The low energy limit of this
model is faithfully described by the BF theory. Our approach directly
establishes the presence of (2+1)-dimensional BF theory at the boundary of the
lattice and it provides a way to detect the topological order of the model
through fermionic density measurements.


title: Cosmic Mnemonics

abstract:
  Our current description of the large-scale Universe is now known with a
precision undreamt of a generation ago. Within the simple standard cosmological
model only six basic parameters are required. The usual parameter set includes
quantities most directly probed by the cosmic microwave background, but the
nature of these quantities is somewhat esoteric. However, many more numbers can
be derived that quantify various aspects of our Universe. Using constraints
from the Planck satellite, in combination with other data sets, we explore
several such quantities, highlighting some specific examples.


title:
The Green's function formalism as a bridge between single and
  multi-compartmental modeling

abstract:
  Neurons are spatially extended structures that receive and process inputs on
their dendrites. It is generally accepted that neuronal computations arise from
the active integration of synaptic inputs along a dendrite between the input
location and the location of spike generation in the axon initial segment.
However, many application such as simulations of brain networks, use
point-neurons --neurons without a morphological component-- as computational
units to keep the conceptual complexity and computational costs low.
Inevitably, these applications thus omit a fundamental property of neuronal
computation. In this work, we present an approach to model an artificial
synapse that mimics dendritic processing without the need to explicitly
simulate dendritic dynamics. The model synapse employs an analytic solution for
the cable equation to compute the neuron's membrane potential following
dendritic inputs. Green's function formalism is used to derive the closed
version of the cable equation. We show that by using this synapse model,
point-neurons can achieve results that were previously limited to the realms of
multi-compartmental models. Moreover, a computational advantage is achieved
when only a small number of simulated synapses impinge on a morphologically
elaborate neuron. Opportunities and limitations are discussed.


title: On lower and upper bounds for Asian-type options: a unified approach

abstract:
  In the context of dealing with financial risk management problems it is
desirable to have accurate bounds for option prices in situations when pricing
formulae do not exist in the closed form. A unified approach for obtaining
upper and lower bounds for Asian-type options, including options on VWAP, is
proposed in this paper. The bounds obtained are applicable to the continuous
and discrete-time frameworks for the case of time-dependent interest rates.
Numerical examples are provided to illustrate the accuracy of the bounds.


title:
An Invariant Subspace Theorem and Invariant Subspaces of Analytic
  Reproducing Kernel Hilbert Spaces - I

abstract:
  Let T be a C_{\cdot 0}-contraction on a Hilbert space H and S be a
non-trivial closed subspace of H. We prove that S is a T-invariant subspace of
H if and only if there exists a Hilbert space D and a partially isometric
operator \Pi : H^2_D(\mathbb{D}) \raro H such that \Pi M_z = T \Pi and that S =
ran \Pi, or equivalently, P_S = \Pi \Pi^*. As an application we completely
classify the shift-invariant subspaces of C_{\cdot 0}-contractive and analytic
reproducing kernel Hilbert spaces over the unit disc. Our results also includes
the case of weighted Bergman spaces over the unit disk.


title:
Thresholds for global existence and blow-up in a general class of doubly
  dispersive nonlocal wave equations

abstract:
  In this article we study global existence and blow-up of solutions for a
general class of nonlocal nonlinear wave equations with power-type
nonlinearities, $u_{tt}-Lu_{xx}=B(- |u|^{p-1}u)_{xx}, ~(p>1)$, where the
nonlocality enters through two pseudo-differential operators $L$ and $B$. We
establish thresholds for global existence versus blow-up using the potential
well method which relies essentially on the ideas suggested by Payne and
Sattinger. Our results improve the global existence and blow-up results given
in the literature for the present class of nonlocal nonlinear wave equations
and cover those given for many well-known nonlinear dispersive wave equations
such as the so-called double-dispersion equation and the traditional
Boussinesq-type equations, as special cases.


title:
Emitting Electron Spectra and Acceleration Processes in the Jet of PKS
  0447-439

abstract:
  We investigate the electron energy distributions (EEDs) and the corresponding
acceleration processes in the jet of PKS 0447$-$439 and estimate its redshift
through modeling its observed spectral energy distribution (SED) in the frame
of a one-zone synchrotron-self Compton (SSC) model. Three EEDs formed in
different acceleration scenarios are assumed: the power-law with exponential
cut-off (PLC) EED (shock-acceleration scenario or the case of the EED
approaching equilibrium in the stochastic-acceleration scenario), the
log-parabolic (LP) EED (stochastic-acceleration scenario and the acceleration
dominating) and the broken power law (BPL) EED (no acceleration scenario), and
then the corresponding fluxes of both synchrotron and SSC are calculated. The
model is applied to PKS 0447-439 and modeling SEDs are compared to the observed
SED of this object by using the Markov Chain Monte Carlo (MCMC) method.
Calculating results show that PLC model fails to fit the observed SED well,
while the LP and BPL models give comparably good fits for the observed SED. The
results indicate that it is possible that stochastic acceleration process acts
in the emitting region of PKS 0447-439 and the EED is far from equilibrium
(acceleration dominating) or no acceleration process works (in the emitting
region). The redshift of PKS 0447-439 is also estimated in our fitting, and
$z=0.16\pm0.05$ for LP case and $z=0.17\pm0.04$ for BPL case.


title:
DyPS: Dynamic Processor Switching for Energy-Aware Video Decoding on
  Multi-core SoCs

abstract:
  In addition to General Purpose Processors (GPP), Multicore SoCs equipping
modern mobile devices contain specialized Digital Signal Processor designed
with the aim to provide better performance and low energy consumption
properties. However, the experimental measurements we have achieved revealed
that system overhead, in case of DSP video decoding, causes drastic
performances drop and energy efficiency as compared to the GPP decoding. This
paper describes DyPS, a new approach for energy-aware processor switching (GPP
or DSP) according to the video quality . We show the pertinence of our solution
in the context of adaptive video decoding and describe an implementation on an
embedded Linux operating system with the help of the GStreamer framework. A
simple case study showed that DyPS achieves 30% energy saving while sustaining
the decoding performance


title: Minimizing Finite Sums with the Stochastic Average Gradient

abstract:
  We propose the stochastic average gradient (SAG) method for optimizing the
sum of a finite number of smooth convex functions. Like stochastic gradient
(SG) methods, the SAG method's iteration cost is independent of the number of
terms in the sum. However, by incorporating a memory of previous gradient
values the SAG method achieves a faster convergence rate than black-box SG
methods. The convergence rate is improved from O(1/k^{1/2}) to O(1/k) in
general, and when the sum is strongly-convex the convergence rate is improved
from the sub-linear O(1/k) to a linear convergence rate of the form O(p^k) for
p \textless{} 1. Further, in many cases the convergence rate of the new method
is also faster than black-box deterministic gradient methods, in terms of the
number of gradient evaluations. Numerical experiments indicate that the new
algorithm often dramatically outperforms existing SG and deterministic gradient
methods, and that the performance may be further improved through the use of
non-uniform sampling strategies.


title: The glass susceptibility: growth kinetics and saturation under shear

abstract:
  We study the growth kinetics of glassy correlations in a structural glass by
monitoring the evolution, within mode-coupling theory, of a suitably defined
three-point function $\chi_C(t,t_w)$ with time $t$ and waiting time $t_w$. From
the complete wave vector-dependent equations of motion for domain growth we
pass to a schematic limit to obtain a numerically tractable form. We find that
the peak value $\chi_C^P$ of $\chi_C(t,t_w)$, which can be viewed as a
correlation volume, grows as $t_w^{0.5}$, and the relaxation time as
$t_w^{0.8}$, following a quench to a point deep in the glassy state. These
results constitute a theoretical explanation of the simulation findings of
Parisi [J. Phys. Chem. B {\bf 103}, 4128 (1999)] and Kob and Barrat [Phys. Rev.
Lett. {\bf 78}, 4581 (1997)] and are also in qualitative agreement with
Parsaeian and Castillo [Phys. Rev. E {\bf 78}, 060105(R) (2008)]. On the other
hand, if the quench is to a point on the {\em liquid side}, the correlation
volume grows to saturation. We present a similar calculation for the growth
kinetics in a $p$-spin spin glass mean-field model where we find a slower
growth, $\chi_C^P \sim t_w^{0.13}$. Further, we show that a shear rate $\gdot$
cuts off the growth of glassy correlations when $t_w\sim 1/\gdot$ for quench in
the glassy regime and $t_w=\min(t_r,1/\gdot)$ in the liquid, where $t_r$ is the
relaxation time of the unsheared liquid. The relaxation time of the steady
state fluid in this case is $\propto \gdot^{-0.8}$.


title:
Poisson-Nernst-Planck Model of Bipolar Nano uidic Diode Based on
  Bulletlike Nanopore

abstract:
  Bipolar nanofluidic diode is based on nanopore with positive and negative
surface charges separated by a junction. This paper investigates the effects of
the pore structure, taking the bullet-like pore as an example, on the ion
current rectification. The Poisson-Nernst-Planck Modelings show that the ion
current rectification behavior can be greatly influenced by the shape of the
pore. The bipolar nanofluidic diode with more tapered tip has significantly
higher ion current rectification degree. The modelling results indicate that
special design of the nanopore is necessary for the performance of the bipolar
nanofluidic diode.


title:
Transition amplitudes, polarizabilities and energy levels within optical
  wavelength of highly charged ions Sm14+ and Sm13+

abstract:
  We discuss possible search for optical transitions in Sm13+ and Sm14+ using
ab initio calculations of differential dynamic polarizability. We calculate
dynamic polarizability for M1 transition between first and second excited
states of Sm14+ . Transition amplitudes and energies within optical range for
states that contribute to the polarizability of the mentioned transition are
presented. Employing simple analytical formula for polarizability data in the
vicinity of a resonance and assuming that several values of the polarizability
for different laser frequencies will be measured one can find the accurate
position of the resonance. Results of similar calculations of amplitudes and
energies of states that contribute to the polarizability of the M1 transition
between ground and first excited states of Sm13+ are also presented.


title:
On the Coordinate System of Space-Weather HMI Active Region Patches
  (SHARPs): A Technical Note

abstract:
  We describe the coordinate systems of two streams of HMI active region vector
data. A distinction is made between (a) the 2D grid on which the field vector
is measured (or sampled), and (b) the 3D coordinate established at each grid
point, in which the field vector is presented. The HMI data reduction can
involve coordinate changes on both, with those performed on the former termed
"remapping", the latter "vector transformation". Relevant pipeline procedures
are described. Useful examples are given for data analysis.


title: A Survey on Reproducing Kernel Krein Spaces

abstract:
  This is a survey on reproducing kernel Krein spaces and their interplay with
operator valued Hermitian kernels. Existence and uniqueness properties are
carefully reviewed. The approach we follow in this survey uses a more abstract
but very useful concept of linearization or Kolmogorov decomposition, as well
as the underlying concept of Krein space induced by a selfadjoint operator and
that of Krein space continuously embedded. The operator range feature of
reproducing kernel spaces is emphasized. We include a careful presentation of
Hermitian kernels on complex regions that points out a universality property of
the Szego kernels with respect to reproducing kernel Krein spaces of
holomorphic functions.


title: Polynomial Path Orders

abstract:
  This paper is concerned with the complexity analysis of constructor term
rewrite systems and its ramification in implicit computational complexity. We
introduce a path order with multiset status, the polynomial path order POP*,
that is applicable in two related, but distinct contexts. On the one hand POP*
induces polynomial innermost runtime complexity and hence may serve as a
syntactic, and fully automatable, method to analyse the innermost runtime
complexity of term rewrite systems. On the other hand POP* provides an
order-theoretic characterisation of the polytime computable functions: the
polytime computable functions are exactly the functions computable by an
orthogonal constructor TRS compatible with POP*.


title: Soliton solution of the Zakharov equations in quantum plasmas

abstract:
  We investigate the existence of envelope soliton solutions in collisionless
quantum plasmas, using the quantum-corrected Zakharov equations in the kinetic
case, which describes the interaction between high frequency Langmuir waves and
low frequency plasma density variations. We show the role played by quantum
effects in the nonlinearity/dispersion balance leading to the formation of
soliton solutions of the quantum-corrected nonlinear Schrodinger (QNLS)
equation.


title:
Lorenz, G\"{o}del and Penrose: New perspectives on determinism and
  causality in fundamental physics

abstract:
  Despite being known for his pioneering work on chaotic unpredictability, the
key discovery at the core of meteorologist Ed Lorenz's work is the link between
space-time calculus and state-space fractal geometry. Indeed, properties of
Lorenz's fractal invariant set relate space-time calculus to deep areas of
mathematics such as G\"{o}del's Incompleteness Theorem. These properties,
combined with some recent developments in theoretical and observational
cosmology, motivate what is referred to as the `cosmological invariant set
postulate': that the universe $U$ can be considered a deterministic dynamical
system evolving on a causal measure-zero fractal invariant set $I_U$ in its
state space. Symbolic representations of $I_U$ are constructed explicitly based
on permutation representations of quaternions. The resulting `invariant set
theory' provides some new perspectives on determinism and causality in
fundamental physics. For example, whilst the cosmological invariant set appears
to have a rich enough structure to allow a description of quantum probability,
its measure-zero character ensures it is sparse enough to prevent invariant set
theory being constrained by the Bell inequality (consistent with a partial
violation of the so-called measurement independence postulate). The primacy of
geometry as embodied in the proposed theory extends the principles underpinning
general relativity. As a result, the physical basis for contemporary programmes
which apply standard field quantisation to some putative gravitational
lagrangian is questioned. Consistent with Penrose's suggestion of a
deterministic but non-computable theory of fundamental physics, a
`gravitational theory of the quantum' is proposed based on the geometry of
$I_U$, with potential observational consequences for the dark universe.


title:
Solar abundance of manganese: a case for the existence of near
  Chandrasekhar-mass Type Ia supernova progenitors

abstract:
  Context: Manganese is predominantly synthesised in Type Ia supernova (SN Ia)
explosions. Owing to the entropy dependence of the Mn yield in explosive
thermonuclear burning, SNe Ia involving near Chandrasekhar-mass white dwarfs
(WDs) are predicted to produce Mn to Fe ratios significantly exceeding those of
SN Ia explosions involving sub-Chandrasekhar mass primary WDs. Of all current
supernova explosion models, only SN Ia models involving near-Chandrasekhar mass
WDs produce [Mn/Fe] > 0.0. Aims: Using the specific yields for competing SN Ia
scenarios, we aim to constrain the relative fractions of exploding
near-Chandrasekhar mass to sub-Chandrasekhar mass primary WDs in the Galaxy.
Methods: We extract the Mn yields from three-dimensional thermonuclear
supernova simulations referring to different initial setups and progenitor
channels. We then compute the chemical evolution of Mn in the Solar
neighborhood, assuming SNe Ia are made up of different relative fractions of
the considered explosion models. Results: We find that due to the entropy
dependence of freeze-out yields from nuclear statistical equilibrium, [Mn/Fe]
strongly depends on the mass of the exploding WD, with near-Chandraskher mass
WDs producing substantially higher [Mn/Fe] than sub-Chandrasekhar mass WDs. Of
all nucleosynthetic sources potentially influencing the chemical evolution of
Mn, only explosion models involving the thermonuclear incineration of
near-Chandrasekhar mass WDs predict solar or super-solar [Mn/Fe]. Consequently,
we find in our chemical evolution calculations that the observed [Mn/Fe] in the
Solar neighborhood at [Fe/H] > 0.0 cannot be reproduced without
near-Chandrasekhar mass SN Ia primaries. Assuming that 50 per cent of all SNe
Ia stem from explosive thermonuclear burning in near-Chandrasekhar mass WDs
results in a good match to data.


title:
Identifying all irreducible conserved metabolite pools in genome-scale
  metabolic networks: a general method and the case of Escherichia coli

abstract:
  The stoichiometry of metabolic networks usually gives rise to a family of
conservation laws for the aggregate concentration of specific pools of
metabolites, which not only constrain the dynamics of the network, but also
provide key insight into a cell's production capabilities. When the conserved
quantity identifies with a chemical moiety, extracting all such conservation
laws from the stoichiometry amounts to finding all integer solutions to an
NP-hard programming problem. Here we propose a novel and efficient
computational strategy that combines Monte Carlo, message passing, and
relaxation algorithms to compute the complete set of irreducible integer
conservation laws of a given stoichiometric matrix, also providing a
certificate for correctness and maximality of the solution. The method is
deployed for the analysis of the complete set of irreducible integer pools of
two large-scale reconstructions of the metabolism of the bacterium Escherichia
coli in different growth media. In addition, we uncover a scaling relation that
links the size of the irreducible pool basis to the number of metabolites, for
which we present an analytical explanation.

categories: q-bio.MN cond-mat.dis-nn physics.bio-ph physics.chem-ph q-bio.QM


title: Extending Partial Representations of Circle Graphs

abstract:
  The partial representation extension problem is a recently introduced
generalization of the recognition problem. A circle graph is an intersection
graph of chords of a circle. We study the partial representation extension
problem for circle graphs, where the input consists of a graph $G$ and a
partial representation $\cal R'$ giving some pre-drawn chords that represent an
induced subgraph of $G$. The question is whether one can extend $\cal R'$ to a
representation $\cal R$ of the entire graph $G$, i.e., whether one can draw the
remaining chords into a partially pre-drawn representation to obtain a
representation of $G$. Our main result is an $O(n^3)$ time algorithm for
partial representation extension of circle graphs, where $n$ is the number of
vertices. To show this, we describe the structure of all representations of a
circle graph using split decomposition. This can be of independent interest.


title:
Ultrafast spin-resolved spectroscopy reveals dominant exciton dynamics
  in conducting polymer polyaniline

abstract:
  The conducting polymer polyaniline (PANI) has a wide range of optoelectronic
applications due to its unique electronic and optical characteristics. Although
extensive works have been performed to understand the equilibrium properties,
the nature of the charge type that governs its non-equilibrium optical response
has been barely understood; a number of studies have debated the nature of
photo-generated charge type in PANI, specifically whether it is polaron or
exciton based. Here, we report experimental evidence that the charge relaxation
dynamics of PANI are dominated by excitons. Utilizing ultrafast spin-resolved
pump-probe spectroscopy, we observed that PANI charge dynamics are strongly
spin-polarized, exhibiting a spin Pauli-blocking effect. Investigations
including both spin-independent and spindependent dynamics reveal that there is
no spin-flip process involved in charge relaxation. This provides compelling
evidence of an exciton-dominated photo-response in PANI.


title: Means on scattered compacta

abstract:
  We prove that a separable Hausdorff topological space $X$ containing a
cocountable subset homeomorphic to $[0,\omega_1]$ admits no separately
continuous mean operation and no diagonally continuous $n$-mean for $n\ge 2$.


title: Anger is More Influential Than Joy: Sentiment Correlation in Weibo

abstract:
  Recent years have witnessed the tremendous growth of the online social media.
In China, Weibo, a Twitter-like service, has attracted more than 500 million
users in less than four years. Connected by online social ties, different users
influence each other emotionally. We find the correlation of anger among users
is significantly higher than that of joy, which indicates that angry emotion
could spread more quickly and broadly in the network. While the correlation of
sadness is surprisingly low and highly fluctuated. Moreover, there is a
stronger sentiment correlation between a pair of users if they share more
interactions. And users with larger number of friends posses more significant
sentiment influence to their neighborhoods. Our findings could provide insights
for modeling sentiment influence and propagation in online social networks.


title: Volume Phase Transition of Polyelectrolyte Gels: Effects of Ionic Size

abstract:
  Although the volume transition of the polyelectrolyte gel has been studied
for decades, little research on the effects of size of the mobile ions has been
conducted. In the present paper, Tanaka classical theory of polyelectrolyte gel
is extended to the cases of mobile ions of finite volume. In the salt free
limit, the theoretical results show that the discontinuous volume transition of
the polyelectrolyte gel will become a continuous one with an increase of the
counter-ionic size. An increase in salt concentration can also make the
polyelectrolyte gel in poor solvent collapse. Poorer solvent is needed to
trigger the salt-induced collapse in polyelectrolyte gel with larger mobile
ions than that with smaller ones. The effects of ionic size on the critical
points and phase diagram of the volume transition are also discussed. The
theoretical results suggest that the swelling behavior of polyelectrolyte gel
might be tuned with salt of different volumes.


title:
Implementation of Function Point Analysis in Measuring The Volume
  Estimation of Software System in Object Oriented and Structural Model of
  Academic System

abstract:
  In the software development required a fidelity and accuracy in determining
the size or value of the software to fit the operation is executed. Various
methods of calculation has been widely applied to estimate the size, and one of
them is by using the method of Function Point Analysis (FPA). The method is
then applied by author to measure the complexity of an academic information
system by using the two modeling approaches, namely object oriented and
structural models. Measurements in this paper consists of several stages,
namely describing the information system that will be built into the UML models
and structured. Then the model is analyzed by calculating Crude Function Points
(CRP), Relative Complexity Adjustment Factor (RCAF), and then calculate its
function point. From the result of a calculation using the FPA to the academic
system software development, FP values of object oriented model obtained for
174,64 and the FP value of structured models for 180,93. The result of function
point that will be used by developers in determining the price and cost of
software systems to be built.


title: Normal Forms, symmetry, and linearization of dynamical systems

abstract:
  We discuss how the presence of a suitable symmetry can guarantee the
perturbative linearizability of a dynamical system - or a parameter dependent
family - via the Poincar\'e Normal Form approach. We discuss this at first
formally, and later pay attention to the convergence of the linearizing
procedure. We also discuss some generalizations of our main result


title: Density-matrix functionals from Greens functions

abstract:
  The exact reduced density-matrix functional is derived from the
Luttinger-Ward functional of the single-particle Green's function. Thereby, a
formal link is provided between diagrammatic many-body approaches using Green's
functions on the one hand and theories based on many-body wave functions on the
other. This link can be used to explicitly construct approximations for the
density-matrix functional that are equivalent to standard diagrammatic
re-summation techniques and to non-perturbative dynamical mean-field theory in
particular. Contrary to functionals of the Green's-function, the exact
density-matrix functional is convex and thus provides a true minimum principle
which facilitates the calculation of the grand potential and derived
equilibrium properties. The benefits of the proposed Green's-function-based
density-matrix functional theory for geometrical structure optimization of
strongly correlated materials are discussed.


title: Partial Lie-point symmetries of differential equations

abstract:
  When we consider a differential equation $\Delta=0$ whose set of solutions is
${{\cal S}}_\Delta$, a Lie-point exact symmetry of this is a Lie-point
invertible transformation $T$ such that $T({{\cal S}}_\Delta)={{\cal
S}}_\Delta$, i.e. such that any solution to $\Delta=0$ is tranformed into a
(generally, different) solution to the same equation; here we define {\it
partial} symmetries of $\Delta=0$ as Lie-point invertible transformations $T$
such that there is a nonempty subset ${{\cal P}} \subset {{\cal S}}_\Delta$
such that $T({{\cal P}}) = {{\cal P}}$, i.e. such that there is a subset of
solutions to $\Delta=0$ which are transformed one into the other. We discuss
how to determine both partial symmetries and the invariant set ${{\cal P}}
\subset {{\cal S}}_\Delta$, and show that our procedure is effective by means
of concrete examples. We also discuss relations with conditional symmetries,
and how our discussion applies to the special case of dynamical systems. Our
discussion will focus on continuous Lie-point partial symmetries, but our
approach would also be suitable for more general classes of transformations;
the discussion is indeed extended to partial generalized (or Lie-B\"acklund)
symmetries along the same lines, and in the appendix we will discuss the case
of discrete partial symmetries.


title:
Analysis of particle methods for structured population models with
  nonlocal boundary term in the framework of bounded Lipschitz distance

abstract:
  Recently developed theoretical framework for analysis of structured
population dynamics in the spaces of nonnegative Radon measures with a suitable
metric provides a rigorous tool to study numerical schemes based on particle
methods. The approach is based on the idea of tracing growth and transport of
measures which approximate the solution of original partial differential
equation. In this paper we present analytical and numerical study of two
versions of Escalator Boxcar Train (EBT) algorithm which has been widely
applied in theoretical biology, and compare it to the recently developed
split-up algorithm. The novelty of this paper is in showing well-posedness and
convergence rates of the schemes using the concept of semiflows on metric
spaces. Theoretical results are validated by numerical simulations of test
cases, in which distances between simulated and exact solutions are computed
using flat metric.


title: Letter to the editor: Against the Resilience of Rejected Manuscripts

abstract:
  In this letter we propose the development of guidelines by the main editors
associations as well as protocols within online journal management systems for
keeping track of rejected manuscripts that are resubmitted as well as for the
interchange of referees reports between journals.


title:
Investigation on the energy and mass composition of cosmic rays using
  LOPES radio data

abstract:
  The sensitivity to the mass composition as well as the reconstruction of the
energy of the primary particle are explored here by leveraging the features of
the radio lateral distribution function. For the purpose of this analysis, a
set of events measured with the LOPES experiment is reproduced with the latest
CoREAS radio simulation code. Based on simulation predictions, a method which
exploits the slope of the radio lateral distribution function is developed
(Slope Method) and directly applied on measurements. As a result, the
possibility to reconstruct both the energy and the depth of the shower maximum
of the cosmic ray air shower using radio data and achieving relatively small
uncertainties is presented.


title:
Dependency Structure and Scaling Properties of Financial Time Series Are
  Related

abstract:
  We report evidence of a deep interplay between cross-correlations
hierarchical properties and multifractality of New York Stock Exchange daily
stock returns. The degree of multifractality displayed by different stocks is
found to be positively correlated to their depth in the hierarchy of
cross-correlations. We propose a dynamical model that reproduces this
observation along with an array of other empirical properties. The structure of
this model is such that the hierarchical structure of heterogeneous risks plays
a crucial role in the time evolution of the correlation matrix, providing an
interpretation to the mechanism behind the interplay between cross-correlation
and multifractality in financial markets, where the degree of multifractality
of stocks is associated to their hierarchical positioning in the
cross-correlation structure. Empirical observations reported in this paper
present a new perspective towards the merging of univariate multi scaling and
multivariate cross-correlation properties of financial time series.


title:
Experimental and theoretical investigation of statistical regimes in
  random laser emission

abstract:
  We present a theoretical and experimental study aimed at characterizing
statistical regimes in a random laser. Both the theoretical simulations and the
experimental results show the possibility of three region of fluctuations
increasing the pumping energy. An initial Gaussian regime is followed by a
L\'evy statistics and Gaussian statistic is recovered again for high pump pulse
energy. These different statistical regimes are possible in a weakly diffusive
active medium, while the region of L\'evy statistics disappears when the medium
is strongly diffusive presenting always a Gaussian regime with smooth emission
spectrum. Experiments and theory agree in identification of the key parameters
determining the statistical regimes of the random laser.


title:
The Google Scholar Experiment: how to index false papers and manipulate
  bibliometric indicators

abstract:
  Google Scholar has been well received by the research community. Its promises
of free, universal and easy access to scientific literature as well as the
perception that it covers better than other traditional multidisciplinary
databases the areas of the Social Sciences and the Humanities have contributed
to the quick expansion of Google Scholar Citations and Google Scholar Metrics:
two new bibliometric products that offer citation data at the individual level
and at journal level. In this paper we show the results of a experiment
undertaken to analyze Google Scholar's capacity to detect citation counting
manipulation. For this, six documents were uploaded to an institutional web
domain authored by a false researcher and referencing all the publications of
the members of the EC3 research group at the University of Granada. The
detection of Google Scholar of these papers outburst the citations included in
the Google Scholar Citations profiles of the authors. We discuss the effects of
such outburst and how it could affect the future development of such products
not only at individual level but also at journal level, especially if Google
Scholar persists with its lack of transparency.


title: A note on three problems in metric Diophantine approximation

abstract:
  The use of Hausdorff measures and dimension in the theory of Diophantine
approximation dates back to the 1920s with the theorems of Jarnik and
Besicovitch regarding well-approximable and badly-approximable points. In this
paper we consider three inhomogeneous problems that further develop these
classical results. Firstly, we obtain a Jarnik type theorem for the set of
multiplicatively approximable points in the plane. This Hausdorff measure
statement does not reduce to Gallagher's Lebesgue measure statement as one
might expect and is new even in the homogeneous setting. Next, we establish a
Jarnik type theorem for the set of multiplicatively approximable points on a
non-degenerate planar curve. This completes the Hausdorff theory for planar
curves. Finally, we show that the set of simultaneously inhomogeneously
(i,j)-badly approximable points in the plane is of full dimension. The
underlying philosophy behind the proof has other applications; e.g. towards
establishing the inhomogeneous version of Schmidt's Conjecture. The higher
dimensional analogues of the planar results are also discussed.


title:
NV-center imaging of bubble domains in a 6 {\AA} film of cobalt with
  perpendicular magnetization

abstract:
  We employ a scanning NV-center microscope to perform stray field imaging of
bubble magnetic domains in a perpendicularly magnetized Pt/Co/AlOx trilayer
with 6 {\AA} of Co. The stray field created by the domain walls is
quantitatively mapped with few-nanometer spatial resolution, with a
probe-sample distance of about 100 nm. As an example of application, we show
that it should be possible to determine the Bloch or N\'eel nature of the
domain walls, which is of crucial importance to the understanding of
current-controlled domain wall motion.


title: Modeling of Stock Returns and Trading Volume

abstract:
  In this study, we investigate the statistical properties of the returns and
the trading volume. We show a typical example of power-law distributions of the
return and of the trading volume. Next, we propose an interacting agent model
of stock markets inspired from statistical mechanics [24] to explore the
empirical findings. We show that as the interaction among the interacting
traders strengthens both the returns and the trading volume present power-law
behavior.


title: Ultrafast zero balance of the oscillator-strength sum rule in graphene

abstract:
  Oscillator-strength sum rule in light-induced transitions is one general form
of quantum-mechanical identities. Although this sum rule is well established in
equilibrium photo-physics, an experimental corroboration for the validation of
the sum rule in a nonequilibrium regime has been a long-standing unexplored
question. The simple band structure of graphene is an ideal system for
investigating this question due to the linear Dirac-like energy dispersion.
Here, we employed both ultrafast terahertz and optical spectroscopy to directly
monitor the transient oscillator-strength balancing between quasi-free
low-energy oscillators and high-energy Fermi-edge ones. Upon photo-excitation
of hot Dirac fermions, we observed that the ultrafast depletion of high-energy
oscillators precisely complements the increased terahertz absorption
oscillators. Our results may provide an experimental priori to understand, for
example, the intrinsic free-carrier dynamics to the high-energy
photo-excitation, responsible for optoelectronic operation such as
graphene-based phototransistor or solar-energy harvesting devices.


title:
An approach to the analysis of SDSS spectroscopic outliers based on
  Self-Organizing Maps

abstract:
  Aims. A new method is applied to the segmentation, and further analysis of
the outliers resulting from the classification of astronomical objects in large
databases is discussed. The method is being used in the framework of the Gaia
satellite DPAC (Data Processing and Analysis Consortium) activities to prepare
automated software tools that will be used to derive basic astrophysical
information that is to be included in Gaia final archive. Methods. Our
algorithm has been tested by means of simulated Gaia spectrophotometry, which
is based on SDSS observations and theoretical spectral libraries covering a
wide sample of astronomical objects. Self-Organizing Maps (SOM) networks are
used to organize the information in clusters of objects, as homogeneous as
possible, according to their spectral energy distributions (SED), and to
project them onto a 2-D grid where the data structure can be visualized.
Results. We demonstrate the usefulness of the method by analyzing the spectra
that were rejected by the SDSS spectroscopic classification pipeline and thus
classified as "UNKNOWN". Firstly, our method can help to distinguish between
astrophysical objects and instrumental artifacts. Additionally, the application
of our algorithm to SDSS objects of unknown nature has allowed us to identify
classes of objects of similar astrophysical nature. In addition, the method
allows for the potential discovery of hundreds of novel objects, such as white
dwarfs and quasars. Therefore, the proposed method is shown to be very
promising for data exploration and knowledge discovery in very large
astronomical databases, such as the upcoming Gaia mission.


title: Collective excitations of atoms and field modes in coupled cavities

abstract:
  The exact solution of the system consisted from two or three q-bits doped in
coupled cavities is discussed. The problem of indistinguishable between the
excited radiators and photons is analyzed using the intrinsic symmetry of the
system. It is demonstrated that the solution is drastically simplified when the
radiators and photons are considered as a new polariton excitations. The exact
solution of Schrodinger equation is obtained for single and two excitations in
each cavity taking into consideration the indistinguishable principle. This
approach opens new possibilities in the interpretation of quantum entangled
states in comparison with the traditional distinctive situation (see for
example [1,2]) due to the decreasing of the number of degrees of freedoms in
the system. Considering that the energies of coupling between the radiators and
photons is larger than the coupling with external vacuum field, we have found
the master equation for the dumping of collective excitations of the system of
coupled radiators through the cavity fields. The time-dependence of population
for new dressed quasi-levels of energy is obtained solving analytically and
numerically the master equation.


title: On the uniqueness of solutions for the Fubuki game

abstract:
  We discuss the problem of uniqueness of solutions for the Fubuki game when
the diagonal is prescribed.


title: $K_{i}^{loc}(\mathbb{C})$, $i = 0, 1$

abstract:
  In this article we compute the {\em local algebraic $K$-theory}, $ i = 0, 1$,
of the algebra of complex numbers $\mathbb{C}$ endowed with the trivial
filtration, i.e. $\mathbb{C}_{\mu}= \mathbb{C}$, for any $\mu \in \mathbb{N}$;
{\em local algebras} and {\em local} algebraic $K^{loc}_{i}$-theory were
introduced in \cite{Teleman_arXiv_IV}. \par Theorem 3 states the result. \par
This case corresponds in the simplest case to the Alexander-Spanier {\em local
$K$-theory} over the point. \par This article is part of a comprehensive
program aimed at re-stating the index theorem, see \cite{Teleman_arXiv_III}.
Other articles in this series are \cite{Teleman_arXiv_IV},
\cite{Teleman_arXiv_I}, \cite{Teleman_arXiv_II}.


title: Stone duality, topological algebra, and recognition

abstract:
  Our main result is that any topological algebra based on a Boolean space is
the extended Stone dual space of a certain associated Boolean algebra with
additional operations. A particular case of this result is that the profinite
completion of any abstract algebra is the extended Stone dual space of the
Boolean algebra of recognizable subsets of the abstract algebra endowed with
certain residuation operations. These results identify a connection between
topological algebra as applied in algebra and Stone duality as applied in
logic, and show that the notion of recognition originating in computer science
is intrinsic to profinite completion in mathematics in general. This connection
underlies a number of recent results in automata theory including a
generalization of Eilenberg-Reiterman theory for regular languages and a new
notion of compact recognition applying beyond the setting of regular languages.
The purpose of this paper is to give the underlying duality theoretic result in
its general form. Further we illustrate the power of the result by providing a
few applications in topological algebra and language theory. In particular, we
give a simple proof of the fact that any topological algebra quotient of a
profinite algebra which is again based on a Boolean space is in fact a
profinite algebra and we derive the conditions dual to the ones of the original
Eilenberg theorem in a fully modular manner. We cast our results in the setting
of extended Priestley duality for distributive lattices with additional
operations as some classes of languages of interest in automata fail to be
closed under complementation.


title: Robust watermarking based on DWT SVD

abstract:
  Digital information revolution has brought about many advantages and new
issues. The protection of ownership and the prevention of unauthorized
manipulation of digital audio, image, and video materials has become an
important concern due to the ease of editing and perfect reproduction.
Watermarking is identified as a major means to achieve copyright protection. It
is a branch of information hiding which is used to hide proprietary information
in digital media like photographs, digital music, digital video etc. In this
paper, a new image watermarking algorithm that is robust against various
attacks is presented. DWT (Discrete Wavelet Transform) and SVD (Singular Value
Decomposition) have been used to embed two watermarks in the HL and LH bands of
the host image. Simulation evaluation demonstrates that the proposed technique
withstand various attacks.


title: Some remarks on the "needle radiation"

abstract:
  It is shown that the classical wave equation is lacking solutions
corresponding to the concept of "needle-radiation", while the simplest
augmented version of the wave equation -- essentially the Klein-Gordon equation
-- obtained by adding a linear term, does have such a solution.


title: The Dynamical State of The Serpens South Filamentary Infrared Dark Cloud

abstract:
  We present the results of N$_2$H$^+$ ($J=1-0$) observations toward Serpens
South, the nearest cluster-forming, infrared dark cloud. The physical
quantities are derived by fitting the hyperfine structure of N$_2$H$^+$. The
Herschel and 1.1-mm continuum maps show that a pc-scale filament fragments into
three clumps with radii of $0.1-0.2$ pc and masses of $40-230M_\odot$. We find
that the clumps contain smaller-scale ($\sim 0.04$ pc) structures, i.e., dense
cores. We identify 70 cores by applying CLUMPFIND to the N$_2$H$^+$ data cube.
In the central cluster-forming clump, the excitation temperature and line-width
tend to be large, presumably due to protostellar outflow feedback and stellar
radiation. However, for all the clumps, the virial ratios are evaluated to be
$0.1-0.3$, indicating that the internal motions play only a minor role in the
clump support. The clumps exhibit no free-fall, but low-velocity infall, and
thus the clumps should be supported by additional forces. The most promising
force is the globally-ordered magnetic field observed toward this region. We
propose that the Serpens South filament was close to magnetically-critical and
ambipolar diffusion triggered the cluster formation. We find that the northern
clump, which shows no active star formation, has a mass and radius comparable
to the central cluster-forming clump, and therefore, it is a likely candidate
of a {\it pre-protocluster clump}. The initial condition for cluster formation
is likely to be a magnetically-supported clump of cold, quiescent gas. This
appears to contradict the accretion-driven turbulence scenario, for which the
turbulence in the clumps is maintained by the accretion flow.


title:
Securing Software as a Service Model of Cloud Computing: Issues and
  Solutions

abstract:
  Cloud computing, undoubtedly, has become the buzzword in the IT industry
today. Looking at the potential impact it has on numerous business applications
as well as in our everyday life, it can certainly be said that this disruptive
technology is here to stay. Many of the features that make cloud computing
attractive, have not just challenged the existing security system, but have
also revealed new security issues. This paper provides an insightful analysis
of the existing status on cloud computing security issues based on a detailed
survey carried by the author. It also makes an attempt to describe the security
challenges in Software as a Service (SaaS) model of cloud computing and also
endeavors to provide future security research directions.


title: The evolution of the number density of compact galaxies

abstract:
  We compare the number density of compact (small size) massive galaxies at low
and high redshift using our Padova Millennium Galaxy and Group Catalogue
(PM2GC) at z=0.03-0.11 and the CANDELS results from Barro et al. (2013) at
z=1-2. The number density of local compact galaxies with luminosity weighted
(LW) ages compatible with being already passive at high redshift is compared
with the density of compact passive galaxies observed at high-z. Our results
place an upper limit of a factor ~2 to the evolution of the number density and
are inconsistent with a significant size evolution for most of the compact
galaxies observed at high-z. The evolution may be instead significant (up to a
factor 5) for the most extreme, ultracompact galaxies. Considering all compact
galaxies, regardless of LW age and star formation activity, a minority of local
compact galaxies (<=1/3) might have formed at z<1. Finally, we show that the
secular decrease of the galaxy stellar mass due to simple stellar evolution may
in some cases be a non-negligible factor in the context of the evolution of the
mass-size relation, and we caution that passive evolution in mass should be
taken into account when comparing samples at different redshifts.


title:
Two-dimensional SDS-PAGE fractionation of biological samples for
  biomarker discovery

abstract:
  Two-dimensional electrophoresis is still a very valuable tool in proteomics,
due to its reproducibility and its ability to analyze complete proteins.
However, due to its sensitivity to dynamic range issues, its most suitable use
in the frame of biomarker discovery is not on very complex fluids such as
plasma, but rather on more proximal, simpler fluids such as CSF, urine, or
secretome samples. Here, we describe the complete workflow for the analysis of
such dilute samples by two-dimensional electrophoresis, starting from sample
concentration, then the two-dimensional electrophoresis step per se, ending
with the protein detection by fluorescence.


title: Variability and spectral variation of 3C 66A

abstract:
  3C 66A was monitored by the BATC(Beijing-Arizona-Taipei-Connecticut)
telescope from 2005 to 2008,1994 observations were obtained on 89 nights.
Detailed research and analysis was performed on these observations in this
paper. A long term burst occurred in the whole light curve. No intra-day
variability was claimed in our campaign by intra-night light curve analysis.
Time lag of shorter wavelenth preceding longer wavelength was shown by
correlation analysis. The results showed that the optical spectral shape turned
flatter when the source brightened, and the spectral variability indicator was
bigger on shorter time-scale as determined by the color indices variation
analysis.


title:
Proceedings to the 14th International Workshop "What Comes Beyond the
  Standard Models", July 11-21, 2011, Bled, Slovenia

abstract:
  The contribution contains the preface to the Proceedings to the 14th Workshop
What Comes Beyond the Standard Models, Bled, July 11 - 21, 2011, published in
Bled workshops in physics, Vol.12, No. 2, DMFA-Zaloznistvo, Ljubljana, Dec.
2011, and links to the published contributions.


title:
An improved class of exponential ratio- type estimator in the presence
  of measurement errors

abstract:
  In this paper we have suggested a family of estimators for the population
mean in the presence of measurement errors. Expression for the mean squared
error (MSE) of the suggested family is derived. An empirical study has been
carried out to verify the theoretical findings.


title:
Upper bound on the decay of correlations in a general class of
  O(N)-symmetric models

abstract:
  We consider a general class of two-dimensional spin systems, with continuous
but not necessarily smooth, possibly long-range, $O(N)$-symmetric interactions,
for which we establish algebraically decaying upper bounds on spin-spin
correlations under all infinite-volume Gibbs measures.
  As a by-product, we also obtain estimates on the effective resistance of a
(possibly long-range) resistor network in which randomly selected edges are
shorted.


title: Variable Stars in the Globular Cluster NGC 4590 (M68

abstract:
  We present results of time series photometry to search for variable stars in
the field of metal-poor globular cluster NGC 4590 (M68). Periods have been
revised for 40 known variables and no significant changes were found. A
considerable change in Blazhko effect for V25 has been detected. Among nine
newly discovered variable candidates, 5 stars are of RRc Bailey type variables
while 4 stars are unclassified. The variable stars V10, V21, V50 and V51 are
found to be cluster members based on the radial velocity data taken from
literature.


title: Just Google It - Digital Research Practices of Humanities Scholars

abstract:
  The transition from analogue to digital archives and the recent explosion of
online content offers researchers novel ways of engaging with data. The crucial
question for ensuring a balance between the supply and demand-side of data, is
whether this trend connects to existing scholarly practices and to the average
search skills of researchers. To gain insight into this process we conducted a
survey among nearly three hundred (N= 288) humanities scholars in the
Netherlands and Belgium with the aim of finding answers to the following
questions: 1) To what extent are digital databases and archives used? 2) What
are the preferences in search functionalities 3) Are there differences in
search strategies between novices and experts of information retrieval? Our
results show that while scholars actively engage in research online they mainly
search for text and images. General search systems such as Google and JSTOR are
predominant, while large-scale collections such as Europeana are rarely
consulted. Searching with keywords is the dominant search strategy and advanced
search options are rarely used. When comparing novice and more experienced
searchers, the first tend to have a more narrow selection of search engines,
and mostly use keywords. Our overall findings indicate that Google is the key
player among available search engines. This dominant use illustrates the
paradoxical attitude of scholars toward Google: while provenance and context
are deemed key academic requirements, the workings of the Google algorithm
remain unclear. We conclude that Google introduces a black box into digital
scholarly practices, indicating scholars will become increasingly dependent on
such black boxed algorithms. This calls for a reconsideration of the academic
principles of provenance and context.


title:
Bayesian Wavelet Shrinkage of the Haar-Fisz Transformed Wavelet
  Periodogram

abstract:
  It is increasingly being realised that many real world time series are not
stationary and exhibit evolving second-order autocovariance or spectral
structure. This article introduces a Bayesian approach for modelling the
evolving wavelet spectrum of a locally stationary wavelet time series. Our new
method works by combining the advantages of a Haar-Fisz transformed spectrum
with a simple, but powerful, Bayesian wavelet shrinkage method. Our new method
produces excellent and stable spectral estimates and this is demonstrated via
simulated data and on differenced infant ECG data. A major additional benefit
of the Bayesian paradigm is that we obtain rigorous and useful credible
intervals of the evolving spectral structure. We show how the Bayesian credible
intervals provide extra insight into the infant ECG data.


title: Spin wave excitation patterns generated by spin torque oscillators

abstract:
  Spin torque nano oscillators (STNO) are nano-scale devices that can convert a
direct current into short wave-length spin-wave excitations in a ferromagnetic
layer. We show that arrays of STNO can be used to create directional spin-wave
radiation similar to electromagnetic antennas. Combining STNO excitations with
planar spin waves also creates interference patterns. We show that these
interference patterns are static and have information on the wavelength and
phase of the spin waves emitted from the STNO.We describe means of actively
controlling spin-wave radiation patterns with the direct current owing through
STNO, which is useful in on-chip communication and information processing and
could be a promising technique for studying short wave-length spin waves in
different materials.


title:
Radial migration in a bar-dominated disk galaxy I: Impact on chemical
  evolution

abstract:
  We study radial migration and chemical evolution in a bar-dominated disk
galaxy, by analyzing the results of a fully self-consistent, high resolution
N-body+SPH simulation. We find different behaviours for gas and star particles.
Gas within corotation is driven in the central regions by the bar, where it
forms a pseudo-bulge (disky-bulge), but it undergoes negligible radial
displacement outside the bar region. Stars undergo substantial radial migration
at all times, caused first by transient spiral arms and later by the bar.
Despite the important amount of radial migration occurring in our model, its
impact on the chemical properties is limited. The reason is the relatively flat
abundance profile, due to the rapid early evolution of the whole disk. We show
that the implications of radial migration on chemical evolution can be studied
to a good accuracy by post-processing the results of the N-body+SPH calculation
with a simple chemical evolution model having detailed chemistry and a
parametrized description of radial migration. We find that radial migration
impacts on chemical evolution both directly (by moving around the long-lived
agents of nucleosynthesis, like e.g. SNIa or AGB stars, and thus altering the
abundance profiles of the gas) and indirectly (by moving around the long-lived
tracers of chemical evolution and thus affecting stellar metallicity profiles,
local age-metallicity relations and metallicity distributions of stars, etc.).


title: Isotropy in Group Cohomology

abstract:
  The analogue of Lagrangians for symplectic forms over finite groups is
studied, motivated by the fact that symplectic G-forms with a normal Lagrangian
N<G are in one-to-one correspondence, up to inflation, with bijective 1-cocycle
data on the quotients G/N. This yields a method to construct groups of central
type from such quotients, known as Involutive Yang-Baxter groups. Another
motivation for the search of normal Lagrangians comes from a non-commutative
generalization of Heisenberg liftings which require normality.
  Although it is true that symplectic forms over finite nilpotent groups always
admit Lagrangians, we exhibit an example where none of these subgroups is
normal. However, we prove that symplectic forms over nilpotent groups always
admit normal Lagrangians if all their p-Sylow subgroups are of order less than
p^8.