title:
Manganite-based three level memristive devices with self-healing
  capability

abstract:
  We report on non-volatile memory devices based on multifunctional manganites.
The electric field induced resistive switching of
Ti/$La_{1/3}$$Ca_{2/3}$Mn$O_3$/n-Si devices is explored using different
measurement protocols. We show that using current as the electrical stimulus
(instead of standard voltage-controlled protocols) improves the electrical
performance of our devices and unveils an intermediate resistance state. We
observe three discrete resistance levels (low, intermediate and high), which
can be set either by the application of current-voltage ramps or by means of
single pulses. These states exhibit retention and endurance capabilities
exceeding $10^4$ s and 70 cycles, respectively. We rationalize our experimental
observations by proposing a mixed scenario were a metallic filament and a
Si$O_x$ layer coexist, accounting for the observed resistive switching. Overall
electrode area dependence and temperature dependent resistance measurements
support our scenario. After device failure takes place, the system can be
turned functional again by heating up to low temperature (120 C), a feature
that could be exploited for the design of memristive devices with self-healing
functionality. These results give insight into the existence of multiple
resistive switching mechanisms in manganite-based memristive systems and
provide strategies for controlling them.


title:
Interference-aided spectrum fitting method for accurately film thickness
  determination

abstract:
  A new approach was proposed to accurately determine the thickness of film,
especially for ultra-thin film, through spectrum fitting with the assistance of
interference layer. The determination limit can reach even less than 1 nm. Its
accuracy is far better than traditional methods. This determination method is
verified by experiments and the determination limit is at least 3.5 nm compared
with the results of AFM. Furthermore, double-interference-aided spectra fitting
method is proposed to reduce the requirements of determination instruments,
which allow one to determine the film thickness with a low precision common
spectrometer and largely lower the cost. It is a very high precision
determination method for on-site and in-situ applications, especially for
ultra-thin films.


title:
Proceedings of the Ninth workshop on Programming Language Approaches to
  Concurrency- and Communication-cEntric Software

abstract:
  PLACES 2016 (full title: Programming Language Approaches to Concurrency- and
Communication-Centric Software) is the ninth edition of the PLACES workshop
series. After the first PLACES, which was affiliated to DisCoTec in 2008, the
workshop has been part of ETAPS every year since 2009 and is now an established
part of the ETAPS satellite events. PLACES 2016 was held on 8th April in
Eindhoven, The Netherlands. The workshop series was started in order to promote
the application of novel programming language ideas to the increasingly
important problem of developing software for systems in which concurrency and
communication are intrinsic aspects. This includes software for both multi-core
systems and large-scale distributed and/or service-oriented systems. The scope
of PLACES includes new programming language features, whole new programming
language designs, new type systems, new semantic approaches, new program
analysis techniques, and new implementation mechanisms. This volume consists of
the papers accepted for presentation at the workshop.


title:
Extended VHE gamma-ray emission towards SGR1806-20, LBV1806-20, and
  stellar cluster Cl*1806-20

abstract:
  Using the High Energy Spectroscopic System (H.E.S.S.) telescopes we have
discovered a steady and extended very high-energy (VHE) gamma-ray source
towards the luminous blue variable candidate LBV1806-20, massive stellar
cluster Cl*1806-20, and magnetar SGR1806-20. The new VHE source, HESSJ1808-204,
was detected at a statistical significance of >6sigma (post-trial) with a
photon flux normalisation $(2.9 \pm 0.4_{\rm stat} \pm 0.5_{\rm sys})\times
10^{-13}$\,ph\,cm$^{-2}$\,s$^{-1}$\,TeV$^{-1}$ at 1TeV and a power-law photon
index of $2.3\pm0.2_{\rm stat}\pm 0.3_{\rm sys}$. The luminosity of this source
(0.2 to 10 TeV; scaled to distance d=8.7kpc) is $L_{\rm VHE}\sim1.6 \times
10^{34}(d/{8.7kpc})^2$\,erg\,s$^{-1}$. The VHE gamma-ray emission is extended
and is well fit by a single Gaussian with statistical standard deviation of
$0.095^\circ \pm 0.015^\circ$. This extension is similar to that of the
synchrotron radio nebula G10.0-0.3, which is thought to be powered by
LBV1806-20. The VHE gamma-ray luminosity could be provided by the stellar wind
luminosity of LBV1806-20 by itself and/or the massive star members of
Cl*1806-20. Alternatively, magnetic dissipation (e.g. via reconnection) from
SGR1806-20 can potentially account for the VHE luminosity. The origin and
hadronic and/or leptonic nature of the accelerated particles responsible for
HESSJ1808-204 is not yet clear. If associated with SGR1806-20, the potentially
young age of the magnetar (650yr) can be used to infer the transport limits of
these particles to match the VHE source size. This discovery provides new
interest in the potential for high-energy particle acceleration from magnetars,
massive stars, and/or stellar clusters.


title: Explosive spreading on complex networks: the role of synergy

abstract:
  In spite of the vast literature on spreading dynamics on complex networks,
the role of local synergy, i.e., the interaction of elements that when combined
produce a total effect greater than the sum of the individualelements, has been
studied but only for irreversible spreading dynamics. Reversible spreading
dynamics are ubiquitous but their interplay with synergy has remained unknown.
To fill this knowledge gap, we articulate a model to incorporate local
synergistic effect into the classical susceptible-infected-susceptible process,
in which the probability for a susceptible node to become infected through an
infected neighbor is enhanced when the neighborhood of the latter contains a
number of infected nodes. We derive master equations incorporating the
synergistic effect, with predictions that agree well with the numerical
results. A striking finding is that, when a parameter characterizing the
strength of the synergy reinforcement effect is above a critical value, the
steady state density of the infected nodes versus the basic transmission rate
exhibits an explosively increasing behavior and a hysteresis loop emerges. In
fact, increasing the synergy strength can promote the spreading and reduce the
invasion and persistence thresholds of the hysteresis loop. A physical
understanding of the synergy promoting explosive spreading and the associated
hysteresis behavior can be obtained through a mean-field analysis.


title: Phenomenological spin transport theory driven by anomalous Nernst effect

abstract:
  Several experimental efforts such as material investigation and structure
improvement have been made recently to find a large anomalous Nernst effect in
ferromagnetic metals. Here, we develop a theory of spin transport driven by the
anomalous Nernst effect in a diffusive ferromagnetic/nonmagnetic multilayer.
Starting from a phenomenological formula of a spin-dependent electric current,
the theoretical formulas of electric voltage and spin torque generated by the
anomalous Nernst effect are derived. The magnitude of the electric voltage
generated from the spin current via the inverse spin Hall effect is on the
order of $0.1$ $\mu$V for currently available experimental parameter values.
The temperature gradient necessary to switch the magnetization is quite larger
than the typical experimental value. The separation of the contributions of the
Seebeck and transverse spin Seebeck effects is also discussed.


title: Pyramid quantile regression

abstract:
  Quantile regression models provide a wide picture of the conditional
distributions of the response variable by capturing the effect of the
covariates at different quantile levels. In most applications, the parametric
form of those conditional distributions is unknown and varies across the
covariate space, so fitting the given quantile levels simultaneously without
relying on parametric assumptions is crucial. In this work we propose a
Bayesian model for simultaneous linear quantile regression. More specifically,
we propose to model the conditional distributions by using random probability
measures known as quantile pyramids. Unlike many existing approaches, our
framework allows us to specify meaningful priors on the conditional
distributions, whilst retaining the flexibility afforded by the nonparametric
error distribution formulation. Simulation studies demonstrate the flexibility
of the proposed approach in estimating diverse scenarios, generally
outperforming other competitive methods. The method is particularly promising
for modelling the extremal quantiles. Applications to linear splines and
extreme value analysis are also explored through real data examples.


title:
Effective information spreading based on local information in correlated
  networks

abstract:
  Using network-based information to facilitate information spreading is an
essential task for spreading dynamics in complex networks, which will benefit
the promotion of technical innovations, healthy behaviors, new products, etc.
Focusing on degree correlated networks, we propose a preferential contact
strategy based on the local network structure and local informed density to
promote the information spreading. During the spreading process, an informed
node will preferentially select a contact target among its neighbors, basing on
their degrees or local informed densities. By extensively implementing
numerical simulations in synthetic and empirical networks, we find that when
only consider the local structure information, the convergence time of
information spreading will be remarkably reduced if low-degree neighbors are
favored as contact targets. Meanwhile, the minimum convergence time depends
non-monotonically on degree-degree correlation, and moderate correlation
coefficients result in most efficient information spreading. Incorporating the
informed density information into contact strategy, the convergence time of
information spreading can be further reduced. Finally, we show that by using
local informed density is more effective as compared with the global case.


title: Sense Embedding Learning for Word Sense Induction

abstract:
  Conventional word sense induction (WSI) methods usually represent each
instance with discrete linguistic features or cooccurrence features, and train
a model for each polysemous word individually. In this work, we propose to
learn sense embeddings for the WSI task. In the training stage, our method
induces several sense centroids (embedding) for each polysemous word. In the
testing stage, our method represents each instance as a contextual vector, and
induces its sense by finding the nearest sense centroid in the embedding space.
The advantages of our method are (1) distributed sense vectors are taken as the
knowledge representations which are trained discriminatively, and usually have
better performance than traditional count-based distributional models, and (2)
a general model for the whole vocabulary is jointly trained to induce sense
centroids under the mutlitask learning framework. Evaluated on SemEval-2010 WSI
dataset, our method outperforms all participants and most of the recent
state-of-the-art methods. We further verify the two advantages by comparing
with carefully designed baselines.


title:
Diagnosing the Source Region of a Solar Burst on 26 September 2011 by
  Microwave Type III Pairs

abstract:
  This work reports a peculiar and interesting train of microwave type III pair
bursts in the impulsive rising phase of a solar flare on 2011 September 26. The
observations include radio spectrometers at frequency of 0.80 - 2.00 GHz, hard
X-ray (RHESSI and FERMI), EUV images of SWAP/PROBA-2 and magnetogram of
HMI/SDO. By using a recently developed method (Tan et al. 2016a), we diagnosed
the plasma density, temperature, plasma beta, magnetic field near the source
region, the energy of energetic electrons and the distance between the
acceleration region and the emission start sites of type III bursts. From the
diagnostics, we find that: (1) The plasma density, temperature, magnetic field,
and the distance between the acceleration region and the emission start sites
almost have no obvious variations during the period of type III pair trains,
while the energy of electrons has an obvious peak value which is consistent to
the hard X-ray emission. (2) The plasma beta is much higher than an unity
showing a highly dynamic process near the emission start site of type III
bursts. (3) Although the reversed-slope type III branches drift slower at one
order of magnitude than that of the normal type III branches, the related
downgoing and upgoing electrons still could have same order of magnitude of
energy. These facts indicate that both of the upgoing and downgoing electrons
are possibly accelerated by similar mechanism and in a small source region.
This diagnostics can help us to understand the microphysics in the source
region of solar bursts.


title: Clifford theory on rational Cherednik algebras of imprimitive groups

abstract:
  Ram and Rammage have introduced an automorphism and Clifford theory on affine
Hecke algebras. Here we will extend them to cyclotomic Hecke algebras and
rational Cherednik algebras.


title: High-Q silk fibroin whispering gallery microresonator

abstract:
  We have experimentally demonstrated an on-chip all-silk fibroin whispering
gallery mode microresonator by using a simple molding and solution-casting
technique. The quality factors of the fabricated silk protein microresonators
are up to 10^5. A high-sensitivity thermal sensor was realized in this silk
fibroin microtoroid with sensitivity of 1.17 nm/K, 8 times higher than previous
WGM resonator based thermal sensors. This opens the way to fabricate
biodegradable and biocompatible protein based microresonators on a flexible
chip for biophotonics applications.


title:
CMS-RCNN: Contextual Multi-Scale Region-based CNN for Unconstrained Face
  Detection

abstract:
  Robust face detection in the wild is one of the ultimate components to
support various facial related problems, i.e. unconstrained face recognition,
facial periocular recognition, facial landmarking and pose estimation, facial
expression recognition, 3D facial model construction, etc. Although the face
detection problem has been intensely studied for decades with various
commercial applications, it still meets problems in some real-world scenarios
due to numerous challenges, e.g. heavy facial occlusions, extremely low
resolutions, strong illumination, exceptionally pose variations, image or video
compression artifacts, etc. In this paper, we present a face detection approach
named Contextual Multi-Scale Region-based Convolution Neural Network (CMS-RCNN)
to robustly solve the problems mentioned above. Similar to the region-based
CNNs, our proposed network consists of the region proposal component and the
region-of-interest (RoI) detection component. However, far apart of that
network, there are two main contributions in our proposed network that play a
significant role to achieve the state-of-the-art performance in face detection.
Firstly, the multi-scale information is grouped both in region proposal and RoI
detection to deal with tiny face regions. Secondly, our proposed network allows
explicit body contextual reasoning in the network inspired from the intuition
of human vision system. The proposed approach is benchmarked on two recent
challenging face detection databases, i.e. the WIDER FACE Dataset which
contains high degree of variability, as well as the Face Detection Dataset and
Benchmark (FDDB). The experimental results show that our proposed approach
trained on WIDER FACE Dataset outperforms strong baselines on WIDER FACE
Dataset by a large margin, and consistently achieves competitive results on
FDDB against the recent state-of-the-art face detection methods.


title:
Magnetic sublevel independent magic wavelengths: Application in the Rb
  and Cs atoms

abstract:
  A generic scheme to trap atoms at the magic wavelengths
($\lambda_{\rm{magic}}$s) that are independent of vector and tensor components
of the interactions of the atoms with the external electric field is presented.
The $\lambda_{\rm{magic}}$s for the laser cooling D2 lines in the Rb and Cs
atoms are demonstrated and their corresponding polarizability values without
vector and tensor contributions are given. Consequently, these
$\lambda_{\rm{magic}}$s are independent of magnetic sublevels and hyperfine
levels of the atomic states involved in the transition, thus, can offer unique
approaches to carry out many high precision measurements with minimal
systematics. Inevitably, the proposed technique can also be used for electronic
or hyperfine transitions in other atomic systems.


title:
Multi-feature combined cloud and cloud shadow detection in GaoFen-1 wide
  field of view imagery

abstract:
  The wide field of view (WFV) imaging system onboard the Chinese GaoFen-1
(GF-1) optical satellite has a 16-m resolution and four-day revisit cycle for
large-scale Earth observation. The advantages of the high temporal-spatial
resolution and the wide field of view make the GF-1 WFV imagery very popular.
However, cloud cover is an inevitable problem in GF-1 WFV imagery, which
influences its precise application. Accurate cloud and cloud shadow detection
in GF-1 WFV imagery is quite difficult due to the fact that there are only
three visible bands and one near-infrared band. In this paper, an automatic
multi-feature combined (MFC) method is proposed for cloud and cloud shadow
detection in GF-1 WFV imagery. The MFC algorithm first implements threshold
segmentation based on the spectral features and mask refinement based on guided
filtering to generate a preliminary cloud mask. The geometric features are then
used in combination with the texture features to improve the cloud detection
results and produce the final cloud mask. Finally, the cloud shadow mask can be
acquired by means of the cloud and shadow matching and follow-up correction
process. The method was validated using 108 globally distributed scenes. The
results indicate that MFC performs well under most conditions, and the average
overall accuracy of MFC cloud detection is as high as 96.8%. In the contrastive
analysis with the official provided cloud fractions, MFC shows a significant
improvement in cloud fraction estimation, and achieves a high accuracy for the
cloud and cloud shadow detection in the GF-1 WFV imagery with fewer spectral
bands. The proposed method could be used as a preprocessing step in the future
to monitor land-cover change, and it could also be easily extended to other
optical satellite imagery which has a similar spectral setting.


title: Taming Weak Memory Models

abstract:
  Speculative techniques in microarchitectures relax various dependencies in
programs, which contributes to the complexity of (weak) memory models. We show
using WMM, a new weak memory model, that the model becomes simpler if it
includes load-value speculation and thus, does not enforce any dependency!
However, in the absence of good value-prediction techniques, a programmer may
end up paying a price for the extra fences. Thus, we also present WMM-D, which
enforces the dependencies captured by the current microarchitectures. WMM-D is
still much simpler than other existing models. We also show that non-atomic
multi-copy stores arise as a result of sharing write-through caches. We think
restricting microarchitectures to write-back caches (and thus simpler weak
memory models) will not incur any performance penalty. Nevertheless, we present
WMM-S, another extension to WMM, which could model the effects of non-atomic
multi-copy stores. WMM, WMM-D, and WMM-S are all defined using Instantaneous
Instruction Execution (I^2E), a new way of describing memory models without
explicit reordering or speculative execution.


title:
Fourth-order two-stage explicit exponential integrators for solving
  differential equations

abstract:
  Among the family of fourth-order time integration schemes, the two-stage
Gauss--Legendre method, which is an implicit Runge--Kutta method based on
collocation, is the only superconvergent. The computational cost of this
implicit scheme for large systems, however, is very high since it requires
solving a nonlinear system at every step. Surprisingly, in this work we show
that one can construct and prove convergence results for exponential methods of
order four which use two stages only. Specifically, we derive two new
fourth-order two-stage exponential Rosenbrock schemes for solving large systems
of differential equations. Moreover, since the newly schemes are not only
superconvergent but also fully explicit, they clearly offer great advantages
over the two-stage Gauss--Legendre method as well as other time integration
schemes. Numerical experiments are given to demonstrate the efficiency of the
new integrators.


title:
Covariate adjustment in randomization-based causal inference for 2K
  factorial designs

abstract:
  We develop finite-population asymptotic theory for covariate adjustment in
randomization-based causal inference for 2K factorial designs. In particular,
we confirm that both the unadjusted and covariate-adjusted estimators of the
factorial effects are asymptotically normal, and the latter is more precise
than the former.


title:
A Multi-level Mixed Element Method for the Eigenvalue Problem of
  Biharmonic Equation

abstract:
  In this paper, we discuss approximating the eigenvalue problem of biharmonic
equation. We first present an equivalent mixed formulation which admits amiable
nested discretization. Then, we construct multi-level finite element schemes by
implementing the algorithm as in [33] to the nested discretizations on series
of nested grids. The multi-level mixed scheme for biharmonic eigenvalue problem
possesses optimal convergence rate and optimal computational cost. Both
theoretical analysis and numerical verifications are presented.


title: Singularity of the generator subalgebra in $q$-Gaussian algebras

abstract:
  Given $-1 < q < 1$ and a separable real Hilbert space with dimension no less
than 2, we prove that the generator subalgebra in the $q$-Gaussian algebra is
singular.


title: Why semi-classical electrodynamics is not gauge invariant

abstract:
  It is shown that in semi-classical electrodynamics, which describes how
electrically charged particles move according to the laws of quantum mechanics
under the influence of a prescribed classical electromagnetic field, only a
restricted class of gauge transformations is allowed. This lack of full gauge
invariance, in contrast to the situation in classical and quantum
electrodynamics which are fully gauge invariant theories, is due to the
requirement that the scalar potential in the Hamiltonian of wave mechanics
represent a physical potential. Probability amplitudes and energy differences
are independent of gauge within this restricted class of gauge transformation.


title: Distribution of points with prescribed derivative in polynomial dynamics

abstract:
  In analogy to the equidistribution of preimages of a prescribed point by the
iterates of a polynomial map in the complex plane towards the equilibrium
measure, we show here the equidistribution of points for which the derivative
of the n-th iterate of the polynomial takes a suitable prescribed value towards
the equilibrium measure. We then give a similar statement in the space of
degree d polynomials for the equidistribution of parameters for which the
n-derivative at a given critical value has a prescribed derivative towards the
activity current of the corresponding critical point.


title:
An Analytical Approach for the Optimal Operation of Pumps in Booster
  Systems

abstract:
  The operation of pumps and booster systems accounts for 10% of the yearly
energy consumption in Europe. Booster systems are used to ensure the water
supply in multi-story buildings, office buildings and public institutions. The
question arises how to operate a booster system in order to achieve an optimum
in power consumption. In the present paper we derive the conditions for optimal
operation.


title:
Automorphisms and Ideals of Noncommutative Deformations of
  $\mathbb{C}^2/\mathbb{Z}_2$

abstract:
  Let $O_\tau(\Gamma)$ be a family of algebras \textit{quantizing} the
coordinate ring of $\mathbb{C}^2 / \Gamma$, where $\Gamma$ is a finite subgroup
of $\mathrm{SL}_2(\mathbb{C})$, and let $G_{\Gamma}$ be the automorphism group
of $O_\tau$. We study the natural action of $G_\Gamma$ on the space of right
ideals of $O_\tau$ (equivalently, finitely generated rank $1$ projective
$O_\tau$-modules). It is known that the later can be identified with disjoint
union of algebraic (quiver) varieties, and this identification is
$G_\Gamma$-equivariant. In the present paper, when $\Gamma \cong \mathbb{Z}_2$,
we show that the $G_{\Gamma}$-action on each quiver variety is transitive. We
also show that the natural embedding of $G_\Gamma$ into $\mathrm{Pic}(O_\tau)$,
the Picard group of $O_\tau$, is an isomorphism. These results are used to
prove that there are countably many non-isomorphic algebras Morita equivalent
to $O_\tau$, and explicit presentation of these algebras are given. Since
algebras $O_\tau(\mathbb{Z}_2)$ are isomorphic to primitive factors of
$U(sl_2)$, we obtain a complete description of algebras Morita equivalent to
primitive factors. A structure of the group $G_{\Gamma}$, where $\Gamma$ is an
arbitrary cyclic group, is also investigated. Our results generalize earlier
results obtained for the (first) Weyl algebra $A_1$.


title: Dirac Index and Twisted Characters

abstract:
  Let G be a real reductive Lie group with maximal compact sub- group K. We
generalize the usual notion of Dirac index to a twisted version, which is
nontrivial even in case G and K do not have equal rank. We compute ordinary and
twisted indices of standard modules. As applications, we study extensions of
Harish-Chandra modules and twisted characters.


title: DecomposeMe: Simplifying ConvNets for End-to-End Learning

abstract:
  Deep learning and convolutional neural networks (ConvNets) have been
successfully applied to most relevant tasks in the computer vision community.
However, these networks are computationally demanding and not suitable for
embedded devices where memory and time consumption are relevant.
  In this paper, we propose DecomposeMe, a simple but effective technique to
learn features using 1D convolutions. The proposed architecture enables both
simplicity and filter sharing leading to increased learning capacity. A
comprehensive set of large-scale experiments on ImageNet and Places2
demonstrates the ability of our method to improve performance while
significantly reducing the number of parameters required. Notably, on Places2,
we obtain an improvement in relative top-1 classification accuracy of 7.7\%
with an architecture that requires 92% fewer parameters compared to VGG-B. The
proposed network is also demonstrated to generalize to other tasks by
converting existing networks.


title: Proceedings First International Workshop on Hammers for Type Theories

abstract:
  This volume of EPTCS contains the proceedings of the First Workshop on
Hammers for Type Theories (HaTT 2016), held on 1 July 2016 as part of the
International Joint Conference on Automated Reasoning (IJCAR 2016) in Coimbra,
Portugal. The proceedings contain four regular papers, as well as abstracts of
the two invited talks by Pierre Corbineau (Verimag, France) and Aleksy Schubert
(University of Warsaw, Poland).


title:
How does a protein reach its binding locus: sliding along DNA chain or
  not?

abstract:
  In gene expression, various kinds of proteins need to bind to specific locus
of DNA. It is still not clear how these proteins find their target locus. In
this study, the mean first-passage time (FPT) of protein binding to its target
locus on DNA chain is discussed by a chain-space coupled model. Our results
show that the 1-dimensional diffusion constant has a critical value, with which
the mean time spent by a protein to find its target locus is almost independent
of the binding rate of protein to DNA chain and the detachment rate from DNA
chain. Which implies that, the frequency of protein binding to DNA and the
sliding time on DNA chain have little influence on the search efficiency, and
therefore whether or not the 1-dimensional sliding on DNA chain increases the
search efficiency depends on the 1-dimensional diffusion constant of the
protein on DNA chain. This study also finds that only protein bindings to DNA
loci which are close to the target locus help to increase the search
efficiency, while bindings to those loci which are far from the target locus
might delay the target binding process. As expected, the mean FPT increases
with the distance between the initial position of protein in cell space and its
target locus on DNA chain. The direct binding probability, which can be
regarded as one index to describe if the 1-dimensional sliding along DNA chain
is helpful to increase the search efficiency is calculated. Our results show
that the influence of 1-dimensional sliding along DNA chain on the search
process depends on both diffusion constants of protein in cell space and on the
1-dimensional DNA chain.


title: Factorization of Jet Mass Distribution in the small $R$ limit

abstract:
  We derive a factorization theorem for the jet mass distribution with a given
$p_T^J$ for the inclusive production, where $p_T^J$ is a large jet transverse
momentum. Considering the small jet radius limit $(R\ll 1)$ we factorize the
scattering cross section into a partonic cross section, the fragmentation
function to a jet, and the jet mass distribution function. The decoupled jet
mass distributions for quark and gluon jets are well-normalized and scale
invariant. And they can be extracted from the ratio of two scattering cross
sections such as $d\sigma/(dp_T^JdM_J^2)$ and $d\sigma/dp_T^J$. When $M_J \sim
p_T^J R$, the perturbative series expansion for the jet mass distributions
works well. As the jet mass becomes small, the large logarithms of $M_J /
(p_T^J R)$ appear, and they can be systematically resummed through more refined
factorization theorem for the jet mass distribution.


title: Mechanical Actuation of Magnetic Domain-Wall Motion

abstract:
  We theoretically study the motion of a magnetic domain wall induced by
transverse elastic waves in a one-dimensional magnetic wire, which respects
both rotational and translational symmetries. By invoking the conservation of
the associated total angular and linear momenta, we are able to derive the
torque and the force on the domain wall exerted by the waves. We then show how
ferromagnetic and antiferromagnetic domain walls can be driven by circularly-
and linear-polarized waves, respectively. We envision that elastic waves may
provide effective means to drive the dynamics of magnetic solitons in
insulators.


title:
Anonymized e-mail interviews with R package maintainers active on CRAN
  and GitHub

abstract:
  This technical report accompanies a research article that empirically studies
the problems related to inter-repository package dependencies in the R
ecosystem of statistical computing, with a focus on R packages hosted on CRAN
and GitHub. The current report provides supplementary material, reproducing an
anonymised and sanitised version of e-mail interviews that have been conducted
in November 2015 with five active R package maintainers. The goal was to gain a
better understanding in how R package maintainers develop and distribute their
packages through GitHub and CRAN. All five interviewees were actively
maintaining packages on GitHub, some were also active on CRAN. They have been
selected based on their profile (the number of R packages they maintain on
GitHub and/or CRAN) as well as their gender (three interviewees were male, two
were female).


title:
A brief introduction to pseudo-spectral methods: application to
  diffusion problems

abstract:
  The topic of these notes could be easily expanded into a full one-semester
course. Nevertheless, we shall try to give some flavour along with theoretical
bases of spectral and pseudo-spectral methods. The main focus is made on
Fourier-type discretizations, even if some indications on how to handle
non-periodic problems via Tchebyshev and Legendre approaches are made as well.
The applications presented here are diffusion-type problems in accordance with
the topics of the PhD school.


title: FVQA: Fact-based Visual Question Answering

abstract:
  Visual Question Answering (VQA) has attracted a lot of attention in both
Computer Vision and Natural Language Processing communities, not least because
it offers insight into the relationships between two important sources of
information. Current datasets, and the models built upon them, have focused on
questions which are answerable by direct analysis of the question and image
alone. The set of such questions that require no external information to answer
is interesting, but very limited. It excludes questions which require common
sense, or basic factual knowledge to answer, for example. Here we introduce
FVQA, a VQA dataset which requires, and supports, much deeper reasoning. FVQA
only contains questions which require external information to answer.
  We thus extend a conventional visual question answering dataset, which
contains image-question-answerg triplets, through additional
image-question-answer-supporting fact tuples. The supporting fact is
represented as a structural triplet, such as <Cat,CapableOf,ClimbingTrees>.
  We evaluate several baseline models on the FVQA dataset, and describe a novel
model which is capable of reasoning about an image on the basis of supporting
facts.


title: New model of the pinning potential barrier in HTc superconductors

abstract:
  New model of the pinning potential barrier in multi-layered HTc
superconductors has been presented, basing on geometrical approach to the
capturing interaction of pancake type vortices with nano-scale defects. Using
this model the transport current flow phenomena in these materials, especially
current-voltage characteristics and critical current density, have been
considered. Details of theoretical analysis are given, including derivation of
basic mathematical equations describing the potential barrier in the function
of transport current density and initial position of captured pancake vortex.
Computer simulation has been performed then of influence of transport current
amplitude on potential barrier height for various sizes of pinning centers and
initial pancake vortex position as well as influence of fast neutrons
irradiation on critical current of HTc layered superconductor.


title: Efficient Verification of Concurrent Programs Over TSO Memory Model

abstract:
  We address the problem of efficient verification of multi-threaded programs
running over Total Store Order (TSO) memory model. It has been shown that even
with finite data domain programs, the complexity of control state reachability
under TSO is non-primitive recursive. In this paper, we first present a
bounded-buffer verification approach wherein a bound on the size of buffers is
placed; verification is performed incrementally by increasing the size of the
buffer with each iteration of the verification procedure until the said bound
is reached. For programs operating on finite data domains, we also demonstrate
the existence of a buffer bound k such that if the program is safe under that
bound, then it is also safe for unbounded buffers. We have implemented this
technique in a tool ProofTraPar. Our results against memorax [2], a
state-of-the-art sound and complete verifier for TSO memory model, have been
encouraging.


title: Aberrations of the point spread function of a multimode fiber

abstract:
  We investigate the point spread function of a multimode fiber. The distortion
of the focal spot created on the fiber output facet is studied for a variety of
the parameters. We develop a theoretical model of wavefront shaping through a
multimode fiber and use it to confirm our experimental results and analyze the
nature of the focal distortions. We show that aberration-free imaging with a
large field of view can be achieved by using an appropriate number of segments
on the spatial light modulator during the wavefront-shaping procedure. The
results describe aberration limits for imaging with multimode fibers as in,
e.g., microendoscopy.


title:
Length dependence of thermal conductivity by approach-to-equilibrium
  molecular dynamics

abstract:
  The length dependence of the thermal conductivity over more than two decades
is systematically studied for a range of materials, interatomic potentials and
temperatures, by the atomistic approach-to-equilibrium molecular dynamics
method (AEMD). By comparing the values of conductivity obtained for a given
supercell length and maximum phonon mean-free-path (MFP), we find that such
values are strongly correlated, demonstrating that the AEMD calculation with a
supercell of finite length, actually probes the thermal conductivity
corresponding to a maximum phonon MFP. As a consequence, the less pronounced
length dependence usually observed for poorer thermal conductors, such as
amorphous silica, is physically justified by their shorter average phonon MFP.
Finally, we compare different analytical extrapolations of the conductivity to
infinite length, and demonstrate that the frequently used Matthiessen rule is
not applicable in AEMD. An alternative extrapolation more suitable for
transient-time, finite-supercell simulations is derived. This approximation
scheme can also be used to classify the quality of different interatomic
potential models with respect to their capability of predicting the
experimental thermal conductivity.


title: Synthesis of C-rich dust in CO nova ourbursts

abstract:
  Context. Classical novae are thermonuclear explosions that take place in the
envelopes of accreting white dwarfs in stellar binary systems. The material
transferred onto the white dwarf piles up under degenerate conditions, driving
a thermonuclear runaway. In those outbursts, about 10-7 - 10-3 Msun, enriched
in CNO and, sometimes, other intermediate-mass elements (e.g., Ne, Na, Mg, or
Al, for ONe novae) are ejected into the interstellar medium. The large
concentrations of metals spectroscopically inferred in the nova ejecta reveal
that the (solar-like) material transferred from the secondary mixes with the
outermost layers of the underlying white dwarf.
  Aims. Most theoretical models of nova outbursts reported to date yield, on
average, outflows characterized by O > C, from which only oxidized condensates
(e.g, O-rich grains) would be expected, in principle.
  Methods. To specifically address whether CO novae can actually produce C-rich
dust, six different hydrodynamic nova models have been evolved, from accretion
to the expansion and ejection stages, with different choices for the
composition of the substrate with which the solar-like accreted material mixes.
Updated chemical profiles inside the H-exhausted core have been used, based on
stellar evolution calculations for a progenitor of 8 Msun through H and
He-burning phases.
  Results. We show that these profiles lead to C-rich ejecta after the nova
outburst. This extends the possible contribution of novae to the inventory of
presolar grains identified in meteorites, particularly in a number of
carbonaceous phases (i.e., nanodiamonds, silicon carbides and graphites).


title:
Global-Scale Resource Survey and Performance Monitoring of Public OGC
  Web Map Services

abstract:
  One of the most widely-implemented service standards provided by the Open
Geospatial Consortium (OGC) to the user community is the Web Map Service (WMS).
WMS is widely employed globally, but there is limited knowledge of the global
distribution, adoption status or the service quality of these online WMS
resources. To fill this void, we investigated global WMSs resources and
performed distributed performance monitoring of these services. This paper
explicates a distributed monitoring framework that was used to monitor 46,296
WMSs continuously for over one year and a crawling method to discover these
WMSs. We analyzed server locations, provider types, themes, the spatiotemporal
coverage of map layers and the service versions for 41,703 valid WMSs.
Furthermore, we appraised the stability and performance of basic operations for
1210 selected WMSs (i.e., GetCapabilities and GetMap). We discuss the major
reasons for request errors and performance issues, as well as the relationship
between service response times and the spatiotemporal distribution of client
monitoring sites. This paper will help service providers, end users and
developers of standards to grasp the status of global WMS resources, as well as
to understand the adoption status of OGC standards. The conclusions drawn in
this paper can benefit geospatial resource discovery, service performance
evaluation and guide service performance improvements.


title:
Properties and Modeling of Unresolved Fine Structure Loops Observed in
  the Solar Transition Region by IRIS

abstract:
  Recent observations from the Interface Region Imaging Spectrograph (IRIS)
have discovered a new class of numerous low-lying dynamic loop structures, and
it has been argued that they are the long-postulated unresolved fine structures
(UFS) that dominate the emission of the solar transition region. In this
letter, we combine IRIS measurements of the properties of a sample of 108 UFS
(intensities, lengths, widths, lifetimes) with 1-D non-equilibrium ionization
simulations using the HYDRAD hydrodynamic model to examine whether the UFS are
now truly spatially resolved in the sense of being individual structures rather
than composed of multiple magnetic threads. We find that a simulation of an
impulsively heated single strand can reproduce most of the observed properties
suggesting that the UFS may be resolved, and the distribution of UFS widths
implies that they are structured on a spatial scale of 133km on average.
Spatial scales of a few hundred km appear to be typical for a range of
chromospheric and coronal structures, and we conjecture that this could be an
important clue to the coronal heating process.


title:
Local strong solutions to the stochastic compressible Navier-Stokes
  system

abstract:
  We study the Navier-Stokes system describing the motion of a compressible
viscous fluid driven by a nonlinear multiplicative stochastic force. We
establish local in time existence (up to a positive stopping time) of a unique
solution, which is strong in both PDE and probabilistic sense. Our approach
relies on rewriting the problem as a symmetric hyperbolic system augmented by
partial diffusion, which is solved via a suitable approximation procedure using
the stochastic compactness method and the Yamada-Watanabe type argument based
on the Gy\"ongy-Krylov characterization of convergence in probability. This
leads to the existence of a strong (in the PDE sense) pathwise solution.
Finally, we use various stopping time arguments to establish the local
existence of a unique strong solution to the original problem.


title:
Bilayer splitting versus Fermi-surface warping as an origin of slow
  oscillations of in-plane magnetoresistance in rare-earth tritellurides

abstract:
  Slow oscillations (SlO) of the in-plane magnetoresistance with a frequency
less than 4 T are observed in the rare-earth tritellurides and proposed as an
effective tool to explore the electronic structure in various strongly
anisotropic quasi-two-dimensional compounds. Contrary to the usual
Shubnikov-de-Haas oscillations, SlO originate not from small Fermi-surface
pockets, but from the entanglement of close frequencies due to a finite
interlayer transfer integral, either between the two Te planes forming a
bilayer or between two adjacent bilayers. From the observed angular dependence
of the frequency and the phase of SlO we argue that they originate from the
bilayer splitting rather than from the Fermi-surface warping. The SlO frequency
gives the value of the interlayer transfer integral $\approx 1$ meV for
TbTe$_3$ and GdTe$_3$.


title: One sided extendability and p-continuous analytic capacities

abstract:
  Using complex methods combined with Baire's Theorem we show that one-sided
extendability, extendability and real analyticity are rare phenomena on various
spaces of functions in the topological sense. These considerations led us to
introduce the p-continuous analytic capacity and variants of it, $p \in \{ 0,
1, 2, \cdots \} \cup \{ \infty \}$, for compact or closed sets in $\mathbb{C}$.
We use these capacities in order to characterize the removability of
singularities of functions in the spaces $A^p$.


title: Short interval expansion of R\'enyi entropy on torus

abstract:
  We investigate the short interval expansion of the R\'enyi entropy for
two-dimensional conformal field theory (CFT) on a torus. We require the length
of the interval $\ell$ to be small with respect to the spatial and temporal
sizes of the torus. The operator product expansion of the twist operators
allows us to compute the short interval expansion of the R\'enyi entropy at any
temperature. In particular, we pay special attention to the large $c$ CFTs dual
to the AdS$_3$ gravity and its cousins. At both low and high temperature
limits, we read the R\'enyi entropies to order $\ell^6$, and find good
agreements with holographic results. Moreover, the expansion allows us to read
$1/c$ contribution, which is hard to get by expanding the thermal density
matrix. We generalize the study to the case with the chemical potential as
well.


title: A Few Notes on Formal Balls

abstract:
  Using the notion of formal ball, we present a few new results in the theory
of quasi-metric spaces. With no specific order: every continuous
Yoneda-complete quasi-metric space is sober and convergence Choquet-complete
hence Baire in its $d$-Scott topology; for standard quasi-metric spaces,
algebraicity is equivalent to having enough center points; on a standard
quasi-metric space, every lower semicontinuous $\bar{\mathbb{R}}_+$-valued
function is the supremum of a chain of Lipschitz Yoneda-continuous maps; the
continuous Yoneda-complete quasi-metric spaces are exactly the retracts of
algebraic Yoneda-complete quasi-metric spaces; every continuous Yoneda-complete
quasi-metric space has a so-called quasi-ideal model, generalizing a
construction due to K. Martin. The point is that all those results reduce to
domain-theoretic constructions on posets of formal balls.


title: Abducing Compliance of Incomplete Event Logs

abstract:
  The capability to store data about business processes execution in so-called
Event Logs has brought to the diffusion of tools for the analysis of process
executions and for the assessment of the goodness of a process model.
Nonetheless, these tools are often very rigid in dealing with with Event Logs
that include incomplete information about the process execution. Thus, while
the ability of handling incomplete event data is one of the challenges
mentioned in the process mining manifesto, the evaluation of compliance of an
execution trace still requires an end-to-end complete trace to be performed.
  This paper exploits the power of abduction to provide a flexible, yet
computationally effective, framework to deal with different forms of
incompleteness in an Event Log. Moreover it proposes a refinement of the
classical notion of compliance into strong and conditional compliance to take
into account incomplete logs. Finally, performances evaluation in an
experimental setting shows the feasibility of the presented approach.


title: On dualities for SSEP and ASEP with open boundary conditions

abstract:
  Duality relations for simple exclusion processes with general open boundaries
are discussed. It is shown that a combination of spin operators and bosonic
operators enables us to have an unified discussion for the duality relations
with the open boundaries. As for the symmetric simple exclusion process (SSEP),
more general results than previous studies are obtained; it is clarified that
not only the absorbing sites, but also additional sites, called copying sites,
are needed for the boundaries in the dual process for the SSEP. The role of the
copying sites is to conserve information about the particle states on the
boundary sites. The similar discussions are applied to the asymmetric simple
exclusion process (ASEP), in which the q-analogues are employed, and it is
clarified that the ASEP with open boundaries has a complicated dual process on
the boundaries.


title: Design, status and test of the Mu2e crystal calorimeter

abstract:
  The Mu2e experiment at Fermilab searches for the charged-lepton flavor
violating neutrino-less conversion of a negative muon into an electron in the
field of a aluminum nucleus. The dynamic of such a process is well modeled by a
two-body decay, resulting in a monoenergetic electron with an energy slightly
below the muon rest mass (104.967 MeV). The calorimeter of this experiment
plays an important role to provide excellent particle identification
capabilities and an online trigger filter while aiding the track reconstruction
capabilities. The baseline calorimeter configuration consists of two disks each
made with about 700 undoped CsI crystals read out by two large area UV-extended
Silicon Photomultipliers. These crystals match the requirements for stability
of response, high resolution and radiation hardness. In this paper we present
the final calorimeter design.


title: Wieler solenoids, Cuntz-Pimsner algebras and K-theory

abstract:
  We study irreducible Smale spaces with totally disconnected stable sets and
their associated $K$-theoretic invariants. Such Smale spaces arise as Wieler
solenoids, and we restrict to those arising from open surjections. The paper
follows three converging tracks: one dynamical, one operator algebraic and one
$K$-theoretic. Using Wieler's Theorem, we characterize the unstable set of a
finite set of periodic points as a locally trivial fibre bundle with discrete
fibres over a compact space. This characterization gives us the tools to
analyze an explicit groupoid Morita equivalence between the groupoids of
Deaconu-Renault and Putnam-Spielberg, extending results of Thomsen. The
Deaconu-Renault groupoid and the explicit Morita equivalence leads to a
Cuntz-Pimsner model for the stable Ruelle algebra. The $K$-theoretic invariants
of Cuntz-Pimsner algebras are then studied using the Pimsner extension, for
which we construct an unbounded representative. To elucidate the power of these
constructions we characterize the KMS weights on the stable Ruelle algebra of a
Wieler solenoid. We conclude with several examples of Wieler solenoids, their
associated algebras and spectral triples.


title: A Simple Method to Make the Wang-Landau Sampling Converge

abstract:
  We show that a histogram maintained throughout the Wang-Landau (WL) sampling
for the energy entries visited during the simulation could be used to make the
simulated density of states (DOS) converge. The method is easy to be
implemented to the WL sampling with no extra computational cost and bears the
advantages of both the WL method and the multicanonical method.


title:
Tight-binding chains with off-diagonal disorder: Bands of extended
  electronic states induced by minimal quasi-one dimensionality

abstract:
  It is shown that, an entire class of off-diagonally disordered linear
lattices composed of two basic building blocks and described within a tight
binding model can be tailored to generate absolutely continuous energy bands.
It can be achieved if linear atomic clusters of an appropriate size are side
coupled to a suitable subset of sites in the backbone, and if the nearest
neighbor hopping integrals, in the backbone and in the side coupled cluster
bear a certain ratio. We work out the precise relationship between the number
of atoms in one of the building blocks in the backbone, and that in the side
attachment. In addition, we also evaluate the definite correlation between the
numerical values of the hopping integrals at different subsections of the
chain, that can convert an otherwise point spectrum (or, a singular continuous
one for deterministically disordered lattices) with exponentially (or power law
) localized eigenfunctions to an absolutely continuous spectrum comprising one
or more bands (subbands) populated by extended, totally transparent
eigenstates. The results, which are analytically exact, put forward a
non-trivial variation of the Anderson localization [P. W. Anderson, Phys. Rev.
109, 1492 (1958)], pointing towards its unusual sensitivity to the numerical
values of the system parameters and, go well beyond the other related models
such as the Random Dimer Model (RDM) [Dunlap et al., Phys. Rev. Lett. 65, 88
(1990)].


title: Decuplet baryons in a hot medium

abstract:
  The thermal properties of the light decuplet baryons are investigated in the
framework of the thermal QCD sum rules. In particular, the behavior of the mass
and residue of the $\Delta$, $\Sigma^{*}$, $\Xi^{*}$ and $\Omega$ baryons with
respect to temperature are analyzed taking into account the additional
operators coming up in the Wilson expansion at finite temperature. It is found
that the mass and residue of these particles remain overall unaffected up to
$T\simeq150~MeV$ but, beyond this point, they start to diminish, considerably.


title: Geometric deformations of sodalite frameworks

abstract:
  In mathematical crystallography and computational materials science, it is
important to infer flexibility properties of framework materials from their
geometric representation. We study combinatorial, geometric and kinematic
properties for frameworks modeled on sodalite.


title: Diamagnetic "bubble" equilibria in linear traps

abstract:
  The plasma equilibrium in a linear trap at $\beta\approx 1$ (or above the
mirror-instability threshold) under the topology-conservation constraint
evolves into a kind of diamagnetic "bubble". This can take two forms: either
the plasma body greatly expands in radius while containing the same magnetic
flux, or, if the plasma radius is limited, the plasma distribution across
flux-tubes changes, so that the same cross-section contains a greatly reduced
flux. If the magnetic field of the trap is quasi-uniform around its minimum,
the bubble can be made roughly cylindrical, with radius much larger than the
radius of the corresponding vacuum flux-tube, and with non-paraxial ends. Then
the effective mirror ratio of the diamagnetic trap becomes very large, but the
cross-field transport increases. The confinement time can be found from
solution of the system of equilibrium and transport equations and is shown to
be $\tau_E\approx\sqrt{\tau_\parallel\tau_\perp}$. If the cross-field
confinement is not too degraded by turbulence, this estimate in principle
allows construction of relatively compact fusion reactors with lengths in the
range of a few tens of meters. In many ways the described here diamagnetic
confinement and the corresponding reactor parameters are similar to those
claimed by the FRCs.


title:
Correlations Between Local Elastic Heterogeneities and Overall Elastic
  Properties in Metallic Glasses

abstract:
  The common notion suggests that metallic glasses (MGs) are a homogeneous
solid at the macroscopic scale; however, recent experiments and simulations
indicate that MGs contain nano-scale elastic heterogeneities. Despite the
fundamental importance of these findings, a quantitative understanding is still
lacking for the local elastic heterogeneities intrinsic to MGs. On the basis of
Eshelby's theory, here we develop a micromechanical model that correlates the
properties of the local elastic heterogeneities, being very difficult to
measure experimentally, to the measurable overall elastic properties of MGs,
such as shear/bulk modulus and Poisson's ratio. Our theoretical modeling is
verified by the experimental data obtained from various MGs annealed to
different degrees. Particularly, we revealed that the decrease of Poisson's
ratio upon annealing of MGs is associated with a much large shear softening
over hydrostatic-pressure softening, and $vice$ $versa$ in local elastic
inhomogeneities. The relative extent of the bulk versus shear modulus softens
is extracted for different MGs, and is found to closely depend on the specific
composition and their ductility. The implication of our results on the
Poisson's ratio criterion on the ductility as well as the aging dynamics in MGs
is discussed.


title: Soft Gamma-ray selected radio galaxies: favouring giant size discovery

abstract:
  Using the recent INTEGRAL/IBIS and Swift/BAT surveys we have extracted a
sample of 64 confirmed plus 3 candidate radio galaxies selected in the soft
gamma-ray band. The sample covers all optical classes and is dominated by
objects showing a FR II radio morphology; a large fraction (70%) of the sample
is made of radiative mode or High Excitation Radio Galaxies (HERG). We have
measured the source size on NVSS, FIRST and SUMSS images and have compared our
findings with data in the literature obtaining a good match. We surprisingly
found that the soft gamma-ray selection favours the detection of large size
radio galaxies: 60% of objects in the sample have size greater than 0.4 Mpc
while around 22% reach dimension above 0.7 Mpc at which point they are
classified as Giant Radio Galaxies or GRGs, the largest and most energetic
single entities in the Universe. Their fraction among soft gamma ray selected
radio galaxies is significantly larger than typically found in radio surveys,
where only a few percent of objects (1-6%) are GRGs. This may partly be due to
observational biases affecting radio surveys more than soft gamma ray surveys,
thus disfavouring the detection of GRGs at lower frequencies. The main reasons
and/or conditions leading to the formation of these large radio structures are
still unclear with many parameters such as high jet power, long activity time
and surrounding environment all playing a role; the first two may be linked to
the type of AGN discussed in this work and partly explain the high fraction of
GRGs found in the present sample. Our result suggests that high energy surveys
may be a more efficient way than radio surveys to find these peculiar objects.


title: Public Key Protocols over the Ring E_p(m)

abstract:
  In this paper we use the nonrepresentable ring E_p(m)to introduce public key
cryptosystems in noncommutative settings and based on the Semigrouop Action
Problem and the Decomposition Problem respectively.


title:
Weak Well Posedness for Hypoelliptic Stochastic Differential Equation
  with Singular Drift: A Sharp Result

abstract:
  In this paper, we prove weak uniqueness of hypoelliptic stochastic
differential equation with H{\"o}lder drift, with H{\"o}lder exponent strictly
greater than 1/3. We then extend to a weak framework the previous work [CdR12]
where strong uniqueness was proved when the H{\"o}lder exponent is strictly
greater than 2/3. We also show that this result is sharp, by giving a counter
example to weak uniqueness when the H{\"o}lder exponent is just below 1/3. Our
approach is based on martingale problem formulation of Stroock and Varadhan and
is based on smoothing properties of the associated PDE.


title: Plant complexes and homological stability for Hurwitz spaces

abstract:
  We study Hurwitz spaces with regard to homological stabilization. By a
Hurwitz space, we mean a moduli space of branched, not necessarily connected
coverings of a disk with fixed structure group and number of branch points. We
choose a sequence of subspaces of Hurwitz spaces which is suitable for our
investigations.
  In the first part, we introduce and study plant complexes, a large new class
of simplicial complexes, generalizing the arc complex on a surface with marked
points. In the second part, we generalize a result by
Ellenberg-Venkatesh-Westerland by showing that homological stabilization of our
sequence of Hurwitz spaces depends only on properties of their zeroth homology
groups.


title:
A bibasic Heine transformation formula and Ramanujan's $_2\phi_1$
  transformations

abstract:
  We study Andrews and Berndt's organization of Ramanujan's transformation
formulas in Chapter 1 of their book Ramanujan's Lost Notebook, Part II. In the
process, we rediscover a bibasic Heine's transformation, which follows from a
Fundamental Lemma given by Andrews in 1966, and obtain identities proximal to
Ramanujan's entries. We also provide a multibasic generalization of Andrews'
1972 theorem concerning a $q$-analogue of the Lauricella function. Our results
only require the $q$-binomial theorem, and are an application of what Andrews
and Berndt call 'Heine's Method'.


title:
Ground State Properties of Anti-Ferromagnetic Spinor Bose gases in One
  Dimension

abstract:
  We investigate the ground state properties of anti-ferromagnetic spin-1 Bose
gases in one dimensional harmonic potential from the weak repulsion regime to
the strong repulsion regime. By diagonalizing the Hamiltonian in the Hilbert
space composed of the lowest eigenstates of single particle and spin
components, the ground state wavefunction and therefore the density
distributions, magnetization distribution, one body density matrix, and
momentum distribution for each components are obtained. It is shown that the
spinor Bose gases of different magnetization exhibit the same total density
profiles in the full interaction regime, which evolve from the single peak
structure embodying the properties of Bose gases to the fermionized shell
structure of spin-polarized fermions. But each components display different
density profiles, and magnetic domains emerge in the strong interaction limit
for $M=0.25$. In the strong interaction limit, one body density matrix and the
momentum distributions exhibit the same behaviours as those of spin-polarized
fermions. The fermionization of momentum distribution takes place, in contrast
to the $\delta$-function-like distribution of single component Bose gases in
the full interaction region.


title: Prediction and near-field observation of skull-guided acoustic waves

abstract:
  Ultrasound waves propagating in water or soft biological tissue are strongly
reflected when encountering the skull, which limits the use of ultrasound-based
techniques in transcranial imaging and therapeutic applications. Current
knowledge on the acoustic properties of the cranial bone is restricted to
far-field observations, leaving its near-field properties unexplored. We report
on the existence of skull-guided acoustic waves, which was herein confirmed by
near-field measurements of optoacoustically-induced responses in ex-vivo murine
skulls immersed in water. Dispersion of the guided waves was found to
reasonably agree with the prediction of a multilayered flat plate model. It is
generally anticipated that our findings may facilitate and broaden the
application of ultrasound-mediated techniques in brain diagnostics and therapy.


title: A Two Dimensional Backward Heat Problem With Statistical Discrete Data

abstract:
  In this paper, we focus on the backward heat problem of finding the function
$\theta(x,y)=u(x,y,0)$ such that \[ {l l l} u_t - a(t)(u_{xx} + u_{yy}) & =
f(x,y,t), & \qquad (x,y,t) \in \Omega\times (0,T), u(x,y,T) & = h(x,y), &
\qquad (x,y) \in\bar{\Omega}. \] where $\Omega = (0,\pi) \times (0,\pi)$ and
the heat transfer coefficient $a(t)$ is known. In our problem, the source $f =
f(x,y,t)$ and the final data $h(x,y)$ are unknown. We only know random noise
data $g_{ij}(t)$ and $d_{ij}$ satisfying the regression models g_{ij}(t) &=&
f(x_i,y_j,t) + \vartheta\xi_{ij}(t), d_{ij} &=& h(x_i,y_j) +
\sigma_{ij}\epsilon_{ij}, where $\xi_{ij}(t)$ are Brownian motions,
$\epsilon_{ij}\sim \mathcal{N}(0,1)$, $(x_i,y_j)$ are grid points of $\Omega$
and $\sigma_{ij}, \vartheta$ are unknown positive constants. The noises
$\xi_{ij}(t), \epsilon_{ij}$ are mutually independent. From the known data
$g_{ij}(t)$ and $d_{ij}$, we can recovery the initial temperature
$\theta(x,y)$. However, the result thus obtained is not stable and the problem
is severely ill--posed. To regularize the instable solution, we use the
trigonometric method in nonparametric regression associated with the truncated
expansion method. In addition, convergence rate is also investigated
numerically.


title: Stance Detection with Bidirectional Conditional Encoding

abstract:
  Stance detection is the task of classifying the attitude expressed in a text
towards a target such as Hillary Clinton to be "positive", negative" or
"neutral". Previous work has assumed that either the target is mentioned in the
text or that training data for every target is given. This paper considers the
more challenging version of this task, where targets are not always mentioned
and no training data is available for the test targets. We experiment with
conditional LSTM encoding, which builds a representation of the tweet that is
dependent on the target, and demonstrate that it outperforms encoding the tweet
and the target independently. Performance is improved further when the
conditional model is augmented with bidirectional encoding. We evaluate our
approach on the SemEval 2016 Task 6 Twitter Stance Detection corpus achieving
performance second best only to a system trained on semi-automatically labelled
tweets for the test target. When such weak supervision is added, our approach
achieves state-of-the-art results.


title: Spectropolarimetry of the Type IIb SN 2008aq

abstract:
  We present optical spectroscopy and spectropolarimetry of the Type IIb SN
2008aq 16 days and 27 days post-explosion. The spectrum of SN 2008aq remained
dominated by Halpha P Cygni profile at both epochs, but showed a significant
increase in the strength of the helium features, which is characteristic of the
transition undergone by supernovae between Type IIb and Type Ib. Comparison of
the spectra of SN 2008aq to other Type IIb SNe (SN 1993J, SN 2011dh, and SN
2008ax) at similar epochs revealed that the helium lines in SN 2008aq are much
weaker, suggesting that its progenitor was stripped to a lesser degree. SN
2008aq also showed significant levels of continuum polarisation at p_cont =
0.70 (+/- 0.22) % in the first epoch, increasing to p_cont = 1.21 (+/- 0.33) %
by the second epoch. Moreover, the presence of loops in the q-u planes of
Halpha and He I in the second epoch suggests a departure from axial symmetry.


title:
Quantum Phases of Yang-Mills Matrix Model Coupled to Fundamental
  Fermions

abstract:
  By investigating the $SU(2)$ Yang-Mills matrix model coupled to fundamental
fermions in the adiabatic limit, we demonstrate quantum critical behaviour at
special corners of the gauge field configuration space. The quantum scalar
potential for the gauge field induced by the fermions diverges at the corners,
and is intimately related to points of enhanced degeneracy of the fermionic
Hamiltonian. This in turn leads to superselection sectors in the Hilbert space
of the gauge field, the ground states in different sectors being orthogonal to
each other. As a consequence of our analysis, we show that 2-color QCD coupled
to two Weyl fermions has three quantum phases. When coupled to a massless Dirac
fermion, the number of quantum phases is four. One of these phases is the
color-spin locked phase.


title: Gender Inference using Statistical Name Characteristics in Twitter

abstract:
  Much attention has been given to the task of gender inference of Twitter
users. Although names are strong gender indicators, the names of Twitter users
are rarely used as a feature; probably due to the high number of ill-formed
names, which cannot be found in any name dictionary. Instead of relying solely
on a name database, we propose a novel name classifier. Our approach extracts
characteristics from the user names and uses those in order to assign the names
to a gender. This enables us to classify international first names as well as
ill-formed names.


title:
Most central or least central? How much modeling decisions influence a
  node's centrality ranking in multiplex networks

abstract:
  To understand a node's centrality in a multiplex network, its centrality
values in all the layers of the network can be aggregated. This requires a
normalization of the values, to allow their meaningful comparison and
aggregation over networks with different sizes and orders. The concrete choices
of such preprocessing steps like normalization and aggregation are almost never
discussed in network analytic papers. In this paper, we show that even sticking
to the most simple centrality index (the degree) but using different, classic
choices of normalization and aggregation strategies, can turn a node from being
among the most central to being among the least central. We present our results
by using an aggregation operator which scales between different, classic
aggregation strategies based on three multiplex networks. We also introduce a
new visualization and characterization of a node's sensitivity to the choice of
a normalization and aggregation strategy in multiplex networks. The observed
high sensitivity of single nodes to the specific choice of aggregation and
normalization strategies is of strong importance, especially for all kinds of
intelligence-analytic software as it questions the interpretations of the
findings.


title:
Towards Fast Multicolor Photodetectors based on Graphene Contacted
  Vertical p-GaSe/n-InSe van der Waals Heterostructure

abstract:
  We investigated the electronic and optoelectronic properties of vertical van
der Waals heterostructure photodetectors using layered p type GaSe and n type
InSe, with graphene as the transparent electrodes. Not only the photocurrent
peaks from the layered GaSe and InSe themselves were observed, also the
interlayer optical transition peak was observed, which is consistent with the
first-principles calculation. The built-in electric field between p-n
heterojunction and the advantage of the graphene electrodes can effectively
separate the photo-induced electron-hole pairs, and thus lead to the response
time down to 160 {\mu}s. Making use of the interlayer as well as intralayer
optical transitions of the vertical layered p-n heterostructure and graphene
electrodes, we could achieve high performance multi-color photodetectors based
on two-dimensional layered materials, which will be important for future
optoelectronics.


title: Symmetric differentials on complex hyperbolic manifolds with cusps

abstract:
  Let $(X, D)$ be a logarithmic pair, and let $h$ be a singular metric on the
tangent bundle, smooth on the open part of $X$. We give sufficient conditions
on the curvature of $h$ for the logarithmic and the standard cotangent bundles
to be big. As an application, we give a metric proof of the bigness of
logarithmic cotangent bundle on any toroidal compactification of a bounded
symmetric domain. Then, we use this singular metric approach to study the
bigness and the nefness of the standard tangent bundle in the more specific
case of the ball. We obtain effective ramification orders for a cover $X'
\longrightarrow X$, \'{e}tale outside the boundary, to have all its
subvarieties with big cotangent bundle. We also prove that the standard tangent
bundle of such a cover is nef if the ramification is high enough. Moreover, the
ramification orders we obtain do not depend on the dimension of the quotient of
the ball we consider.


title: Quantum Rabi model in the Brillouin zone with ultracold atoms

abstract:
  The quantum Rabi model describes the interaction between a two-level quantum
system and a single bosonic mode. We propose a method to perform a quantum
simulation of the quantum Rabi model introducing a novel implementation of the
two-level system, provided by the occupation of Bloch bands in the first
Brillouin zone by ultracold atoms in tailored optical lattices. The effective
qubit interacts with a quantum harmonic oscillator implemented in an optical
dipole trap. Our realistic proposal allows to experimentally investigate the
quantum Rabi model for extreme parameter regimes, which are not achievable with
natural light-matter interactions. Furthermore, we also identify a generalized
version of the quantum Rabi model in a periodic phase space.


title:
Evidence of quantum phase transition in real-space vacuum entanglement
  of higher derivative scalar quantum field theories

abstract:
  In a bipartite set-up, the vacuum state of a free Bosonic scalar field is
entangled in real space and satisfies the area-law--- entanglement entropy
scales linearly with area of the boundary between the two partitions. In this
work, we show that the area law is violated in two spatial dimensional model
Hamiltonian having dynamical critical exponent z=3. The model physically
corresponds to next-to-next-to-next nearest neighbour coupling terms on a
lattice. The result reported here is the first of its kind of violation of area
law in Bosonic systems in higher dimensions and signals the evidence of a
quantum phase transition. We provide evidence for quantum phase transition both
numerically and analytically using quantum Information tools like entanglement
spectra, quantum fidelity, and gap in the energy spectra. We identify the cause
for this transition due to the accumulation of large number of angular zero
modes around the critical point which catalyses the change in the ground state
wave function due to the next-to-next-to-next nearest neighbor coupling.
Lastly, using Hubbard-Stratanovich transformation, we show that the effective
Bosonic Hamiltonian can be obtained from an interacting fermionic theory and
provide possible implications for condensed matter systems.


title: Parallel Reachability Analysis for Hybrid Systems

abstract:
  We propose two parallel state-space exploration algorithms for hybrid systems
with the goal of enhancing performance on multi-core shared memory systems. The
first is an adaption of the parallel breadth first search in the SPIN model
checker. We show that the adapted algorithm does not provide the desired load
balancing for many hybrid systems benchmarks. The second is a task parallel
algorithm based on cheaply precomputing cost of post (continuous and discrete)
operations for effective load balancing. We illustrate the task parallel
algorithm and the cost precomputation of post operators on a
support-function-based algorithm for state-space exploration. The performance
comparison of the two algorithms displays a better CPU
utilization/load-balancing of the second over the first, except for certain
cases. The algorithms are implemented in the model checker XSpeed and our
experiments show a maximum speed-up of $900\times$ on a navigation benchmark
with respect to SpaceEx LGG scenario, comparing on the basis of equal number of
post operations evaluated.


title:
HELIOS: An Open-source, GPU-accelerated Radiative Transfer Code For
  Self-consistent Exoplanetary Atmospheres

abstract:
  We present the open-source radiative transfer code named HELIOS, which is
constructed for studying exoplanetary atmospheres. In its initial version, the
model atmospheres of HELIOS are one-dimensional and plane-parallel, and the
equation of radiative transfer is solved in the two-stream approximation with
non-isotropic scattering. A small set of the main infrared absorbers is
employed, computed with the opacity calculator HELIOS-K and combined using a
correlated-$k$ approximation. The molecular abundances originate from validated
analytical formulae for equilibrium chemistry. We compare HELIOS with the work
of Miller-Ricci & Fortney using a model of GJ 1214b, and perform several tests,
where we find: model atmospheres with single-temperature layers struggle to
converge to radiative equilibrium; $k$-distribution tables constructed with
$\gtrsim 0.01$ cm$^{-1}$ resolution in the opacity function ($ \lesssim 10^3$
points per wavenumber bin) may result in errors $\gtrsim 1$-10 % in the
synthetic spectra; and a diffusivity factor of 2 approximates well the exact
radiative transfer solution in the limit of pure absorption. We construct
"null-hypothesis" models (chemical equilibrium, radiative equilibrium and solar
element abundances) for 6 hot Jupiters. We find that the dayside emission
spectra of HD 189733b and WASP-43b are consistent with the null hypothesis,
while it consistently under-predicts the observed fluxes of WASP-8b, WASP-12b,
WASP-14b and WASP-33b. We demonstrate that our results are somewhat insensitive
to the choice of stellar models (blackbody, Kurucz or PHOENIX) and metallicity,
but are strongly affected by higher carbon-to-oxygen ratios. The code is
publicly available as part of the Exoclimes Simulation Platform (ESP;
exoclime.net).


title:
A Geometric Approach to the stabilisation of certain sequences of
  Kronecker coefficients

abstract:
  We give another proof, using tools from Geometric Invariant Theory, of a
result due to S. Sam and A. Snowden in 2014, concerning the stability of
Kro-necker coefficients. This result states that some sequences of Kronecker
coefficients eventually stabilise, and our method gives a nice geometric bound
from which the stabilisation occurs. We perform the explicit computation of
such a bound on two examples, one being the classical case of Murnaghan's
stability. Moreover, we see that our techniques apply to other coefficients
arising in Representation Theory: namely to some plethysm coefficients and in
the case of the tensor product of representations of the hyperoctahedral group.


title:
Spin dynamics of an individual Cr atom in a semiconductor quantum dot
  under optical excitation

abstract:
  We studied the spin dynamics of a Cr atom incorporated in a II-VI
semiconductor quantum dot using photon correlation techniques. We used recently
developed singly Cr-doped CdTe/ZnTe quantum dots (A. Lafuente-Sampietro {\it et
al.}, [1]) to access the spin of an individual magnetic atom. Auto-correlation
of the photons emitted by the quantum dot under continuous wave optical
excitation reveals fluctuations of the localized spin with a timescale in the
10 ns range. Cross-correlation gives quantitative transfer time between Cr spin
states. A calculation of the time dependence of the spin levels population in
Cr-doped quantum dots shows that the observed spin dynamics is controlled by
the exciton-Cr interaction. These measurements also provide a lower bound in
the 20 ns range for the intrinsic Cr spin relaxation time.


title: 4G Mobile Communication Systems: Key Technology and Evolution

abstract:
  With the worldwide third-generation mobile communication system gradually
implemented, the future development of mobile communications has become a hot
topic and evolution of the problem. This paper introduces the fourth generation
mobile communication system and its performance and network structure and OFDM,
software defined radio, smart antennas, IPv6 and other key technologies, and
analyzes the relationship between 4G mobile communication system for mobile
communications and 3G, and the evolution of communication systems do Prospect.


title: Fixed point results on \theta-metric spaces via simulation functions

abstract:
  In a recent article, Khojasteh et al. introduced a new class of simulation
functions, Z-contractions, with blending over known contractive conditions in
the literature. Subsequently, in this paper, we extend and generalize the
results on \theta-metric context and we discuss some fixed point results in
connection with existing ones. Also, we originate the notion of modified
Z-contractions and explore the existence and uniqueness of fixed points of such
functions on the said spaces. Finally we include examples to instantiate our
main results.


title: Laplace-Carleson embeddings and weighted infinite-time admissibility

abstract:
  In this paper we will establish necessary and sufficient conditions for a
Laplace-Carleson embedding to be bounded for certain spaces of functions on the
positive half-line. We will use these results to characterise weighted
(infinite-time) admissibility of control and observation operators.


title: First-Fit coloring of Cartesian product graphs and its defining sets

abstract:
  Let the vertices of a Cartesian product graph $G\Box H$ be ordered by an
ordering $\sigma$. By the First-Fit coloring of $(G\Box H, \sigma)$ we mean the
vertex coloring procedure which scans the vertices according to the ordering
$\sigma$ and for each vertex assigns the smallest available color. Let
$FF(G\Box H,\sigma)$ be the number of colors used in this coloring. By
introducing the concept of descent we obtain a sufficient condition to
determine whether $FF(G\Box H,\sigma)=FF(G\Box H,\tau)$, where $\sigma$ and
$\tau$ are arbitrary orders. We study and obtain some bounds for $FF(G\Box
H,\sigma)$, where $\sigma$ is any quasi-lexicographic ordering. The First-Fit
coloring of $(G\Box H, \sigma)$ does not always yield an optimum coloring. A
greedy defining set of $(G\Box H, \sigma)$ is a subset $S$ of vertices in the
graph together with a suitable pre-coloring of $S$ such that by fixing the
colors of $S$ the First-Fit coloring of $(G\Box H, \sigma)$ yields an optimum
coloring. We show that the First-Fit coloring and greedy defining sets of
$G\Box H$ with respect to any quasi-lexicographic ordering (including the known
lexicographic order) are all the same. We obtain upper and lower bounds for the
smallest cardinality of a greedy defining set in $G\Box H$, including some
extremal results for Latin squares.


title: Applications of Distance Correlation to Time Series

abstract:
  The use of empirical characteristic functions for inference problems,
including estimation in some special parametric settings and testing for
goodness of fit, has a long history dating back to the 70s (see for example,
Feuerverger and Mureika (1977), Csorgo (1981a,1981b,1981c), Feuerverger
(1993)). More recently, there has been renewed interest in using empirical
characteristic functions in other inference settings. The distance covariance
and correlation, developed by Szekely and Rizzo (2009) for measuring dependence
and testing independence between two random vectors, are perhaps the best known
illustrations of this. We apply these ideas to stationary univariate and
multivariate time series to measure lagged auto- and cross-dependence in a time
series. Assuming strong mixing, we establish the relevant asymptotic theory for
the sample auto- and cross-distance correlation functions. We also apply the
auto-distance correlation function (ADCF) to the residuals of an autoregressive
processes as a test of goodness of fit. Under the null that an autoregressive
model is true, the limit distribution of the empirical ADCF can differ markedly
from the corresponding one based on an iid sequence. We illustrate the use of
the empirical auto- and cross-distance correlation functions for testing
dependence and cross-dependence of time series in a variety of different
contexts.


title:
Homogeneously bright, flexible and foldable lighting devices with
  functionalised graphene electrodes

abstract:
  Alternating current electroluminescent technology allows the fabrication of
large area, flat and flexible lights. Presently the maximum size of a
continuous panel is limited by the high resistivity of available transparent
electrode materials causing a visible gradient of brightness. Here, we
demonstrate that the use of the best known transparent conductor
FeCl$_{3}$-intercalated few-layer graphene boosts the brightness of
electroluminescent devices by 49$\%$ compared to pristine graphene. Intensity
gradients observed for high aspect ratio devices are undetectable when using
these highly conductive electrodes. Flat lights on polymer substrates are found
to be resilient to repeated and flexural strains.


title: The tenfold way redux: Fermionic systems with $N$-body interactions

abstract:
  We provide a systematic treatment of the tenfold way of classifying fermionic
systems that naturally allows for the study of those with arbitrary $N$-body
interactions. We identify four types of symmetries that such systems can
possess, which consist of one ordinary type (usual unitary symmetries), and
three non-ordinary symmetries (such as time reversal, charge conjugation and
sublattice). Focusing on systems that possess no non-trivial ordinary
symmetries, we demonstrate that the non-ordinary symmetries are strongly
constrained. This approach not only leads very naturally to the tenfold
classes, but also obtains the canonical representations of these symmetries in
each of the ten classes. We also provide a group cohomological perspective of
our results in terms of projective representations. We then use the canonical
representations of the symmetries to obtain the structure of Hamiltonians with
arbitrary $N$-body interactions in each of the ten classes. We show that the
space of $N$-body Hamiltonians has an affine subspace (of a vector space)
structure in classes which have either or both charge conjugation and
sublattice symmetries. Our results can help address open questions on the
topological classification of interacting fermionic systems.


title: Electronic ground state of MnB$_{4}$

abstract:
  Recent studies have dealt with the electronic and magnetic ground state
properties of the tetraboride material MnB$_4$. So far, however, the ground
state properties could not be established unambiguously. Therefore, here we
present an experimental study on single-crystalline MnB$_4$ by means of
resistivity and magnetization measurements. For this, we have developed a
sample holder that allows four-point ac resistivity measurements on these very
small ($\sim$\,100\,$\mu$m) samples. With our data we establish that the
electronic ground state of MnB$_4$ is intrinsically that of a pseudo-gap
system, in agreement with recent band structure calculations. Furthermore, we
demonstrate that the material does neither show magnetic order nor a behavior
arising from the vicinity to a magnetically ordered state, this way disproving
previous claims.


title: Temperature-dependent magnetospectroscopy of HgTe quantum wells

abstract:
  We report on magnetospectroscopy of HgTe quantum wells in magnetic fields up
to 45 T in temperature range from 4.2 K up to 185 K. We observe intra- and
inter-band transitions from zero-mode Landau levels, which split from the
bottom conduction and upper valence subbands, and merge under the applied
magnetic field. To describe experimental results, realistic
temperature-dependent calculations of Landau levels have been performed. We
show that although our samples are topological insulators at low temperatures
only, the signature of such phase persists in optical transitions at high
temperatures and high magnetic fields. Our results demonstrate that
temperature-dependent magnetospectroscopy is a powerful tool to discriminate
trivial and topological insulator phases in HgTe quantum wells.


title: On Lipschitz vector fields and the Cauchy problem in homogeneous groups

abstract:
  We introduce a class of "Lipschitz horizontal" vector fields in homogeneous
groups, for which we show equivalent descriptions, e.g. in terms of suitable
derivations. We then investigate the associated Cauchy problem, providing a
uniqueness result both at equilibrium points and for vector fields of an
involutive submodule of Lipschitz horizontal vector fields. We finally exhibit
a counterexample to the general well-posedness theory for Lipschitz horizontal
vector fields, in contrast with the Euclidean theory.


title:
YodaNN: An Architecture for Ultra-Low Power Binary-Weight CNN
  Acceleration

abstract:
  Convolutional neural networks (CNNs) have revolutionized the world of
computer vision over the last few years, pushing image classification beyond
human accuracy. The computational effort of today's CNNs requires power-hungry
parallel processors or GP-GPUs. Recent developments in CNN accelerators for
system-on-chip integration have reduced energy consumption significantly.
Unfortunately, even these highly optimized devices are above the power envelope
imposed by mobile and deeply embedded applications and face hard limitations
caused by CNN weight I/O and storage. This prevents the adoption of CNNs in
future ultra-low power Internet of Things end-nodes for near-sensor analytics.
Recent algorithmic and theoretical advancements enable competitive
classification accuracy even when limiting CNNs to binary (+1/-1) weights
during training. These new findings bring major optimization opportunities in
the arithmetic core by removing the need for expensive multiplications, as well
as reducing I/O bandwidth and storage. In this work, we present an accelerator
optimized for binary-weight CNNs that achieves 1510 GOp/s at 1.2 V on a core
area of only 1.33 MGE (Million Gate Equivalent) or 0.19 mm$^2$ and with a power
dissipation of 895 {\mu}W in UMC 65 nm technology at 0.6 V. Our accelerator
significantly outperforms the state-of-the-art in terms of energy and area
efficiency achieving 61.2 TOp/s/W@0.6 V and 1135 GOp/s/MGE@1.2 V, respectively.


title:
Explicit solutions for continuous time mean-variance portfolio selection
  with nonlinear wealth equations

abstract:
  This paper concerns the continuous time mean-variance portfolio selection
problem with a special nonlinear wealth equation. This nonlinear wealth
equation has a nonsmooth coefficient and the dual method developed in [6] does
not work. We invoke the HJB equation of this problem and give an explicit
viscosity solution of the HJB equation. Furthermore, via this explicit
viscosity solution, we obtain explicitly the efficient portfolio strategy and
efficient frontier for this problem. Finally, we show that our nonlinear wealth
equation can cover three important cases.


title:
Compact Planetary Nebulae in the Galactic Disk: Analysis of the Central
  Stars

abstract:
  We have obtained multi-wavelength observations of compact Galactic planetary
nebulae (PNe) to probe post-Asymptotic Giant Branch (AGB) evolution from the
onset of nebular ejection. We analyze new observations from HST to derive the
masses and evolutionary status of their central stars (CSs) in order to better
understand the relationship between the CS properties and those of the
surrounding nebulae. We also compare this sample with others we obtained using
the same technique in different metallicity environments: the Large and Small
Magellanic Clouds. We work with HST/WFC3 images of 51 targets obtained in a
snapshot survey (GO-11657). The high spatial resolution of HST allows us to
resolve these compact PNe and distinguish the CS emission from that of their
surrounding PNe. The targets were imaged through the filters F200LP, F350LP,
and F814W from which we derive Johnson V and I magnitudes. We derive CS
bolometric luminosities and effective temperatures using the Zanstra technique,
from a combination of HST photometry and ground-based spectroscopic data. We
present new unique photometric measurements of 50 CSs, and derived effective
temperatures and luminosities for most of them. Central star masses for 23
targets were derived by placing the stars on a temperature-luminosity diagram
and compare their location with the best available single star post-AGB
evolutionary tracks, the remaining masses were indeterminate most likely
because of underestimates of the stellar temperature, or because of substantial
errors in the adopted statistical distances to these objects. The distribution
of CS masses in the sample of compact PNe is different than sample in the LMC
and SMC, but with a median mass of 0.59 solar masses it is similar to other
Galactic samples. We conclude that the compact nature of many of the PNe is a
result of their large distance, rather than their physical dimension.


title: Homogeneous Equations of Algebraic Petri Nets

abstract:
  Algebraic Petri nets are a formalism for modeling distributed systems and
algorithms, describing control and data flow by combining Petri nets and
algebraic specification. One way to specify correctness of an algebraic Petri
net model $N$ is to specify a linear equation $E$ over the places of $N$ based
on term substitution, and coefficients from an abelian group $G$. Then, $E$ is
valid in $N$ iff $E$ is valid in each reachable marking of $N$ . Due to the
expressive power of Algebraic Petri nets, validity is generally undecidable.
Stable linear equations form a class of linear equations for which validity is
decidable. Place invariants yield a well-understood but incomplete
characterization of all stable linear equations. In this paper, we provide a
complete characterization of stability for the subclass of homogeneous linear
equations, by restricting ourselves to the interpretation of terms over the
Herbrand structure without considering further equality axioms. Based thereon,
we show that stability is decidable for homogeneous linear equations if $G$ is
a cyclic group.


title:
Sequence-to-Sequence Generation for Spoken Dialogue via Deep Syntax
  Trees and Strings

abstract:
  We present a natural language generator based on the sequence-to-sequence
approach that can be trained to produce natural language strings as well as
deep syntax dependency trees from input dialogue acts, and we use it to
directly compare two-step generation with separate sentence planning and
surface realization stages to a joint, one-step approach. We were able to train
both setups successfully using very little training data. The joint setup
offers better performance, surpassing state-of-the-art with regards to
n-gram-based scores while providing more relevant outputs.


title:
PSF : Introduction to R Package for Pattern Sequence Based Forecasting
  Algorithm

abstract:
  This paper discusses about an R package that implements the Pattern Sequence
based Forecasting (PSF) algorithm, which was developed for univariate time
series forecasting. This algorithm has been successfully applied to many
different fields. The PSF algorithm consists of two major parts: clustering and
prediction. The clustering part includes selection of the optimum number of
clusters. It labels time series data with reference to such clusters. The
prediction part includes functions like optimum window size selection for
specific patterns and prediction of future values with reference to past
pattern sequences. The PSF package consists of various functions to implement
the PSF algorithm. It also contains a function which automates all other
functions to obtain optimized prediction results. The aim of this package is to
promote the PSF algorithm and to ease its implementation with minimum efforts.
This paper describes all the functions in the PSF package with their syntax. It
also provides a simple example of usage. Finally, the usefulness of this
package is discussed by comparing it to auto.arima and ets, well-known time
series forecasting functions available on CRAN repository.


title: Special solitons on 3-manifolds

abstract:
  In this paper, we study solitons on $3$-dimensional manifolds. In particular,
we show that $3$-dimensional pseudo-symmetric gradient Ricci solitons and
nontrivial gradient Yamabe solitons are locally isometric to either
$\mathbb{R}^{3}$, $\mathbb{S}^{3}$, $\mathbb{H}^{3}$, $\mathbb{R} \times
\mathbb{S}^{2}$ or $\mathbb{R} \times \mathbb{H}^{2}$.


title:
Designing graphene-based nanofoams with nonlinear auxetic and
  anisotropic mechanical properties under tension or compression

abstract:
  In this study, the analysis of the mechanical response of realistic
fullerene-nanotube nanotruss networks with face-centered cubic geometry is
performed by using molecular dynamics with reactive potentials. In particular,
the mechanical properties of these novel architectures are investigated in both
compressive and tensile regimes, by straining along different directions a
number of truss geometries. Our atomistic simulations reveal a similar behavior
under tensile stress for all the samples. Conversely, under compressive regimes
the emergence of a response that depends on the orientation of load is observed
together with a peculiar local instability. Due to this instability, some of
these nanotruss networks present a negative Poisson ratio in compression, like
re-entrant foams. Finally, the performance of these nanotruss networks is
analyzed with regards to their use as impact energy absorbers, finding
properties outperforming materials traditionally used in these applications.


title: Indefinite theta series and generalized error functions

abstract:
  Theta series for lattices with indefinite signature $(n_+,n_-)$ arise in many
areas of mathematics including representation theory and enumerative algebraic
geometry. Their modular properties are well understood in the Lorentzian case
($n_+=1$), but have remained obscure when $n_+\geq 2$. Using a
higher-dimensional generalization of the usual (complementary) error function,
discovered in an independent physics project, we construct the modular
completion of a class of `conformal' holomorphic theta series ($n_+=2$). As an
application, we determine the modular properties of a generalized Appell-Lerch
sum attached to the lattice $A_2$, which arose in the study of rank 3 vector
bundles on $\mathbb{P}^2$. The extension of our method to $n_+>2$ is outlined.


title: Majority dynamics with one nonconformist

abstract:
  We consider a system in which a group of agents represented by the vertices
of a graph synchronously update their opinion based on that of their
neighbours. If each agent adopts a positive opinion if and only if that opinion
is sufficiently popular among his neighbours, the system will eventually settle
into a fixed state or alternate between two states. If one agent acts in a
different way, other periods may arise. We show that only a small number of
periods may arise if natural restrictions are placed either on the
neighbourhood structure or on the way in which the nonconforming agent may act;
without either of these restrictions any period is possible.