
The monolithic integration of electronics and photonics has attracted
enormous attention due to its potential applications. However, the realization
of such hybrid circuits has remained a challenge because it requires optical
communication at nanometer scales. A major challenge to this integration is the
identification of a suitable material. After discussing the material aspect of
the challenge, we identified atomically thin transition metal dichalcogenides
(TMDs) as a perfect material platform to implement the circuit. The selection
of TMDs is based on their very distinct property: monolayer TMDs are able to
emit and absorb light at the same wavelength determined by direct exciton
transitions. To prove the concept, we fabricated simple devices consisting of
silver nanowires as plasmonic waveguides and monolayer TMDs as active
optoelectronic media. Using photoexcitation, direct optical imaging and
spectral analysis, we demonstrated generation and detection of surface plasmon
polaritons by monolayer TMDs. Regarded as novel materials for electronics and
photonics, transition metal dichalcogenides are expected to find new
applications in next generation integrated circuits.

Quantum pseudotelepathy games are good examples of explaining the
strangeness of quantum mechanics and demonstrating the advantage of quantum
resources over classical resources. Most of the quantum pseudotelepathy games
are common interest games, nevertheless conflicting interest games are more
widely used to model real world situations. Recently Pappa et al. (Phys. Rev.
Lett. 114, 020401, 2015) proposed the first twoparty conflicting interest game
where quantum advice enhances social optimality. In the present paper we give
two new threeparty conflicting interest games and show that quantum advice can
enhance social optimality in a threeparty setting. The first game we propose
is based on the famous GHZ game which is a common interest game. The second
game we propose is related to the Svetlichny inequality which demonstrates
quantum mechanics cannot be explained by the local hidden variable model in a
threeparty setting.

For the nonlinear wave equation $u_{tt}  c(u)\big(c(u) u_x\big)_x~=~0$, it
is well known that solutions can develop singularities in finite time. For an
open dense set of initial data, the present paper provides a detailed
asymptotic description of the solution in a neighborhood of each singular
point, where $u_x\to\infty$. The different structure of conservative and
dissipative solutions is analyzed.

The total dose radiation and annealing responses of the back transistor of
SiliconOnInsulator (SOI) pMOSFETs have been studied by comparing with those
of the back transistor of SOI nMOSFETs fabricated on the same wafer. The
transistors were irradiated by 60Co {\gamma}rays with various doses, and the
front transistors are biased in a FloatState and OffState, respectively,
during irradiation. The total dose radiation responses of the back transistors
are characterized by their threshold voltage shifts. The results show that the
total dose radiation response of the back transistor of SOI pMOSFETs, similar
to that of SOI nMOSFETs, depends greatly on their bias conditions during
irradiation. However, with the FloatState bias, rather than the OffState
bias, the back transistors of SOI pMOSFETs reveal a much higher sensitivity to
total dose radiation, which is contrary to those of SOI nMOSFETs. In addition,
it is also found that the total dose radiation effect of the back transistor of
SOI pMOSFETs irradiated with OffState bias, as well as that of the SOI
nMOSFETs, exhibits an increasing trend as the channel length decreases. The
annealing response of the back transistors after irradiation at room
temperature without bias, characterized by their threshold voltage shifts,
indicates that there is a relatively complex annealing mechanism associated
with channel length and type, bias condition during irradiation. In particular,
for all the transistors irradiated with OffState bias, their back transistors
show an abnormal annealing effect during early annealing. All the results have
been discussed and analyzed in detail by the aid of simulation.

In the probe limit, we numerically construct a holographic pwave superfluid
model in the 4D and 5D AdS black holes coupled to a Maxwellcomplex vector
field.
We find that, for the condensate with the fixed superfluid velocity, the
results are similar to the swave cases in both 4D and 5D spacetimes. In
particular, "The Cave of Winds" and the phase transition always being the
second order take place in the 5D case. Moreover, we find the secondfirst
order translating point $\frac{S_y}{\mu}$ increases with the mass squared.
Furthermore, for the supercurrent with the fixed temperature, the results agree
with the GL prediction near the critical temperature. In addition, this complex
vector superfluid model is still a generalization of the SU(2) superfluid
model, and also provides a holographic realization of the $He_3$ superfluid
system.

In this paper, we study the structurally nonlinear stability of supersonic
contact discontinuities in threedimensional compressible isentropic steady
flows. Based on the weakly linear stability result and the $L^2$estimates
obtained by the authors in J. Diff. Equ. 255(2013), for the linearized problems
of threedimensional compressible isentropic steady equations at a supersonic
contact discontinuity satisfying certain stability conditions, we first derive
tame estimates of solutions to the linearized problem in higher order norms by
exploring the behavior of vorticities. Since the supersonic contact
discontinuities are only weakly linearly stable, so the tame estimates of
solutions to the linearized problems have loss of regularity with respect to
both of background states and initial data, so to use the tame estimates to
study the nonlinear problem we adapt the NashMoserH\"ormander iteration
scheme to conclude that weakly linearly stable supersonic contact
discontinuities in threedimensional compressible steady flows are also
structurally nonlinearly stable.

This volume contains the proceedings of the 13th International Workshop on
Verification of InfiniteState Systems (INFINITY 2011). The workshop was held
in Taipei, Taiwan on October 10, 2011, as a satellite event to the 9th
International Symposium on Automated Technology for Verification and Analysis
(ATVA). The INFINITY workshop aims at providing a forum for researchers who are
interested in the development of formal methods and algorithmic techniques for
the analysis of systems with infinitely many states, and their application in
automated verification of complex software and hardware systems.

Inevitability properties in branching temporal logics are of the syntax
forall eventually \phi, where \phi is an arbitrary (timed) CTL formula. In the
sense that "good things will happen", they are parallel to the "liveness"
properties in linear temporal logics. Such inevitability properties in
densetime logics can be analyzed with greatest fixpoint calculation. We
present algorithms to modelcheck inevitability properties both with and
without requirement of nonZeno computations. We discuss a technique for early
decision on greatest fixpoints in the temporal logics, and experiment with the
effect of nonZeno computations on the evaluation of greatest fixpoints. We
also discuss the TCTL subclass with only universal path quantifiers which
allows for the safe abstraction analysis of inevitability properties. Finally,
we report our implementation and experiments to show the plausibility of our
ideas.

Three numerical coverage metrics for the symbolic simulation of densetime
systems and their estimation methods are presented. Special techniques to
derive numerical estimations of densetime statespaces have also been
developed. Properties of the metrics are also discussed with respect to four
criteria. Implementation and experiments are then reported.