Causality in the Semantics of Esterel: Revisited

We re-examine the challenges concerning causality in the semantics of Esterel and show that they pertain to the known issues in the semantics of Structured Operational Semantics with negative premises. We show that the solutions offered for the semantics of SOS also provide answers to the semantic challenges of Esterel and that they satisfy the intuitive requirements set by the language designers

Topologically protected elastic waves in phononic metamaterials

Topological states of quantum matter exhibit unique disorder-immune surface states protected by underlying nontrivial topological invariants of the bulk. Such immunity from backscattering makes topological surface or edge states ideal carriers for both classical and quantum information. So far, topological matters have been explored only in the realms of electronics and photonics, with limited range of bulk properties and largely immutable materials. These constraints thus impose severe performance trade-offs in experimentally realizable topologically ordered states. In contrast, phononic metamaterials not only provide access to a much wider range of material properties, but also allow temporal modulation in the non-adiabatic regime. Here, from the first-principles we demonstrate numerically the first phononic topological metamaterial in an elastic-wave analogue of the quantum spin Hall effect. A dual-scale phononic crystal slab is used to support two effective spins of phonon over a broad bandwidth, and strong spin-orbit coupling is realized by breaking spatial mirror symmetry. By preserving the spin polarization with an external load or spatial symmetry, phononic edge states are shown to be robust against scattering from discrete defects as well as disorders in the continuum. Our system opens up the possibility of realizing topological materials for phonons in both static and time-dependent regimes.Comment: 19 pages, 6 figure

A Deep Learning Approach to Structured Signal Recovery

In this paper, we develop a new framework for sensing and recovering structured signals. In contrast to compressive sensing (CS) systems that employ linear measurements, sparse representations, and computationally complex convex/greedy algorithms, we introduce a deep learning framework that supports both linear and mildly nonlinear measurements, that learns a structured representation from training data, and that efficiently computes a signal estimate. In particular, we apply a stacked denoising autoencoder (SDA), as an unsupervised feature learner. SDA enables us to capture statistical dependencies between the different elements of certain signals and improve signal recovery performance as compared to the CS approach

On the Order of the Schur Multiplier of a Pair of Finite p-Groups

In 1998, G. Ellis defined the Schur multiplier of a pair $(G,N)$ of groups and mentioned that this notion is a useful tool for studying pairs of groups. In this paper, we characterize the structure of a pair of finite $p$-groups $(G,N)$ in terms of the order of the Schur multiplier of $(G,N)$ under some conditions.Comment: 11 pages, to appear in Journal of Advanced Research in Pure Mathematic

Quantum Dynamics in a Time-dependent Hard-Wall Spherical Trap

Exact solution of the Schr\"{o}dinger equation is given for a particle inside a hard sphere whose wall is moving with a constant velocity. Numerical computations are presented for both contracting and expanding spheres. The propagator is constructed and compared with the propagator of a particle in an infinite square well with one wall in uniform motion.Comment: 6 pages, 4 figures, Accepted by Europhys. Let

Trapping and guiding surface plasmons in curved graphene landscapes

We demonstrate that graphene placed on top of structured substrates offers a novel approach for trapping and guiding surface plasmons. A monolayer graphene with a spatially varying curvature exhibits an effective trapping potential for graphene plasmons near curved areas such as bumps, humps and wells. We derive the governing equation for describing such localized channel plasmons guided by curved graphene and validate our theory by the first-principle numerical simulations. The proposed confinement mechanism enables plasmon guiding by the regions of maximal curvature, and it offers a versatile platform for manipulating light in planar landscapes. In addition, isolated deformations of graphene such as bumps are shown to support localized surface modes and resonances suggesting a new way to engineer plasmonic metasurfaces.Comment: 6 pages, 4 figure

Comparative investigation of methods for determining the lateral stiffness of coupled RC shears walls

In this study, the lateral stiffness of coupled RC shear walls is studied using the continuum method, equivalent frame and finite element methods. For this purpose, asix-story coupled shear walls with typical dimensions are considered and the lateral displacements of system are calculated under a variety of lateral loads such as: uniform, triangular distributed and concentrated loads, then the results are compared with together. The results show that under the rectangular and concentrated loadings, equivalent frame and continuum indicate more displacements compared finite element approach; therefore, these methods approximate less lateral stiffness for coupled RC shear walls. In addition, equivalent frame technique in most cases, except triangular loading, compared with continuous medium method determines more soft behavior for the structure.Keywords: 1-Coupled RC shear wall 2-Lateral stiffness 3-Equivalent frame 4-Continuum method 5-finite elemen