title: Predictive Systems Toxicology

abstract: In this review we address to what extent computational techniques can augment our ability to predict toxicity. The first section provides a brief history of empirical observations on toxicity dating back to the dawn of Sumerian civilization. Interestingly, the concept of dose emerged very early on, leading up to the modern emphasis on kinetic properties, which in turn encodes the insight that toxicity is not solely a property of a compound but instead depends on the interaction with the host organism. The next logical step is the current conception of evaluating drugs from a personalized medicine point-of-view. We review recent work on integrating what could be referred to as classical pharmacokinetic analysis with emerging systems biology approaches incorporating multiple omics data. These systems approaches employ advanced statistical analytical data processing complemented with machine learning techniques and use both pharmacokinetic and omics data. We find that such integrated approaches not only provide improved predictions of toxicity but also enable mechanistic interpretations of the molecular mechanisms underpinning toxicity and drug resistance. We conclude the chapter by discussing some of the main challenges, such as how to balance the inherent tension between the predictive capacity of models, which in practice amounts to constraining the number of features in the models versus allowing for rich mechanistic interpretability, i.e. equipping models with numerous molecular features. This challenge also requires patient-specific predictions on toxicity, which in turn requires proper stratification of patients as regards how they respond, with or without adverse toxic effects. In summary, the transformation of the ancient concept of dose is currently successfully operationalized using rich integrative data encoded in patient-specific models.


title: On the performance of large monolithic LaCl3(Ce) crystals coupled to pixelated silicon photosensors

abstract: We investigate the performance of large area radiation detectors, with high energy- and spatial-resolution, intended for the development of a Total Energy Detector with gamma-ray imaging capability, so-called i-TED. This new development aims for an enhancement in detection sensitivity in time-of-flight neutron capture measurements, versus the commonly used C6D6 liquid scintillation total-energy detectors. In this work, we study in detail the impact of the readout photosensor on the energy response of large area (5050 mm2) monolithic LaCl3(Ce) crystals, in particular when replacing a conventional mono-cathode photomultiplier tube by an 88 pixelated silicon photomultiplier. Using the largest commercially available monolithic SiPM array (25 cm2), with a pixel size of 66 mm2, we have measured an average energy resolution of 3.92% FWHM at 662 keV for crystal thicknesses of 10, 20 and 30 mm. The results are confronted with detailed Monte Carlo (MC) calculations, where both optical processes and properties have been included for the reliable tracking of the scintillation photons. After the experimental validation of the MC model, se use our MC code to explore the impact of different a photosensor segmentation (pixel size and granularity) on the energy resolution. Our optical MC simulations predict only a marginal deterioration of the spectroscopic performance for pixels of 33 mm2.


title: Graphene as a hexagonal 2-lattice: evaluation of the in-plane material constants for the linear theory. A multiscale approach

abstract: Continuum modeling of free-standing graphene monolayer, viewed as a two dimensional 2-lattice, requires specification of the components of the shift vector that acts as an auxiliary variable. If only in-plane motions are considered the energy depends on an in-plane strain measure and the shift vector. The assumption of geometrical and material linearity leads to quadratic energy terms with respect to the shift vector, the strain tensor, and their combinations. Graphene's hexagonal symmetry reduces the number of independent moduli then to four. We evaluate these four material parameters using molecular calculations and the AIREBO potential and compare them with standard linear elastic constitutive modeling. The results of our calculations show that the predicted values are in reasonable agreement with those obtained solely from our molecular calculations as well as those from literature. To the best of our knowledge, this is the first attempt to measure mechanical properties when graphene is modeled as a hexagonal 2-lattice. This work targets at the continuum scale when the insight measurements comes from finer scales using atomistic simulations.


title: How Special Is the Solar System?

abstract: Given the fact that Earth is so far the only place in the Milky Way galaxy known to harbor life, the question arises of whether the solar system is in any way special. To address this question, I compare the solar system to the many recently discovered exoplanetary systems. I identify two main features that appear to distinguish the solar system from the majority of other systems: (i) the lack of super-Earths, (ii) the absence of close-in planets. I examine models for the formation of super-Earths, as well as models for the evolution of asteroid belts, the rate of asteroid impacts on Earth, and of snow lines, all of which may have some implications for the emergence and evolution of life on a terrestrial planet. Finally, I revisit an argument by Brandon Carter on the rarity of intelligent civilizations, and I review a few of the criticisms of this argument.


title: Multi-Label Learning from Medical Plain Text with Convolutional Residual Models

abstract: Predicting diagnoses from Electronic Health Records (EHRs) is an important medical application of multi-label learning. We propose a convolutional residual model for multi-label classification from doctor notes in EHR data. A given patient may have multiple diagnoses, and therefore multi-label learning is required. We employ a Convolutional Neural Network (CNN) to encode plain text into a fixed-length sentence embedding vector. Since diagnoses are typically correlated, a deep residual network is employed on top of the CNN encoder, to capture label (diagnosis) dependencies and incorporate information directly from the encoded sentence vector. A real EHR dataset is considered, and we compare the proposed model with several well-known baselines, to predict diagnoses based on doctor notes. Experimental results demonstrate the superiority of the proposed convolutional residual model.


title: Adaptive Kinetic-Fluid Models for Expanding Plasmas

abstract: We describe gas dynamic and plasma effects for transient plasma jets under different conditions. Our Unified Flow Solver (UFS) is evaluated for simulations of mixed continuum-rarefied flows, transient gas expansion dynamics and collisionless plasma expansion. We identify further advances that are required for hybrid fluid-kinetic simulations of laser-ablation and EEE-induced plasma jets.


title: DKVF: A Framework for Rapid Prototyping and Evaluating Distributed Key-value Stores

abstract: We present our framework DKVF that enables one to quickly prototype and evaluate new protocols for key-value stores and compare them with existing protocols based on selected benchmarks. Due to limitations of CAP theorem, new protocols must be developed that achieve the desired trade-off between consistency and availability for the given application at hand. Hence, both academic and industrial communities focus on developing new protocols that identify a different (and hopefully better in one or more aspect) point on this trade-off curve. While these protocols are often based on a simple intuition, evaluating them to ensure that they indeed provide increased availability, consistency, or performance is a tedious task. Our framework, DKVF, enables one to quickly prototype a new protocol as well as identify how it performs compared to existing protocols for pre-specified benchmarks. Our framework relies on YCSB (Yahoo! Cloud Servicing Benchmark) for benchmarking. We demonstrate DKVF by implementing four existing protocols --eventual consistency, COPS, GentleRain and CausalSpartan-- with it. We compare the performance of these protocols against different loading conditions. We find that the performance is similar to our implementation of these protocols from scratch. And, the comparison of these protocols is consistent with what has been reported in the literature. Moreover, implementation of these protocols was much more natural as we only needed to translate the pseudocode into Java (and add the necessary error handling). Hence, it was possible to achieve this in just 1-2 days per protocol. Finally, our framework is extensible. It is possible to replace individual components in the framework (e.g., the storage component).


title: Comonad Cohomology of Track Categories

abstract: We define a comonad cohomology of track categories and we show it is linked by a long exact sequence to its Dwyer-Kan-Smith cohomology . Under mild hypothesis on the track category, we show that its comonad cohomology coincides, up to dimension shift, with its Dwyer-Kan-Smith cohomology, therefore obtaining an algebraic formulation of the latter. We also specialize our results to the case where the track category is a $2$-groupoid.


title: Spectral Analysis of Inhomogeneities Shows that the Elastic Stiffness of Random Composites Decreases with Increasing Heterogeneity

abstract: Investigation of inhomogeneities has wide applications in different areas of mechanics including the study of composite materials. Here, we analytically study an arbitrarily-shaped isotropic inhomogeneity embedded in a finite-sized heterogeneous medium. By modal decomposition of the influence of the inhomogeneity on the deformation of the composite, a relation is presented that determines the variation of effective elastic stiffness caused by the presence of the inhomogeneity. This relation indicates that the effective elastic stiffness of a composite is always a concave function of the properties of the inhomogeneity, embedded inside the composite. Therefore, as the heterogeneity of elastic random composites increases, the rate of increase in effective stiffness caused by the stiffer constituents is smaller than the rate of its decrease due to the softer constitutions. So, weakly heterogeneous random composites become softer and less conductive with increasing heterogeneity at the same mean of constituent properties. We numerically evaluated the effective properties of about ten thousand composites to empirically support these results and extend them to conductive materials. This article presents a generalization of our recent theoretical study on the influence of the stiffness of a single fiber on the elastic stiffness of a network of fibers to arbitrarily-shaped inhomogeneities and different transport phenomena.


title: Gradient estimates for oblique derivative problems via the maximum principle

abstract: We prove gradient estimates for solutions of the oblique derivative problem for a large class of elliptic and parabolic quasilinear PDEs. In particular, we expand on previous work of the author using a maximum principle argument. In addition, we prove estimates for the parabolic problem of evolution via mean curvature with nonzero Neumann data, which seem to be new.


title: Circular Antenna Array Design for Breast Cancer Detection

abstract: Microwave imaging for breast cancer detection is based on the contrast in the electrical properties of healthy fatty breast tissues. This paper presents an industrial, scientific and medical (ISM) bands comparative study of five microstrip patch antennas for microwave imaging at a frequency of 2.45 GHz. The choice of one antenna is made for an antenna array composed of 8 antennas for a microwave breast imaging system. Each antenna element is arranged in a circular configuration so that it can be directly faced to the breast phantom for better tumor detection. This choice is made by putting each antenna alone on the Breast skin to study the electric field, magnetic fields and current density in the healthy tissue of the breast phantom designed and simulated in Ansoft High Frequency Simulation Software (HFSS).


title: Triangulations with few vertices of manifolds with non-free fundamental group

abstract: We study lower bounds for the number of vertices in a PL-triangulation of a given manifold $M$. While most of the previous estimates are based on the dimension and the connectivity of $M$, we show that further information can be extracted by studying the structure of the fundamental group of $M$ and applying techniques from the Lusternik-Schnirelmann category theory. In particular, we prove that every PL-triangulation of a $d$-dimensional manifold ($d\ge 3$) whose fundamental group is not free has at least $3d+1$ vertices. As a corollary, every $d$-dimensional ($\mathbb{Z}_p$-)homology sphere that admits a PL-triangulation with less than $3d$ vertices is homeomorphic to $S^d$. Another important consequence is that every triangulation with small links of $M$ is combinatorial.


title: Singularities in Spherically Symmetric Solutions with Limited Curvature Invariants

abstract: We investigate static, spherically symmetric solutions in gravitational theories which have limited curvature invariants, aiming to remove the singularity in the Schwarzschild space-time. We find that if we only limit the Gauss-Bonnet term and the Ricci scalar, then the singularity at the origin persists. Moreover we find that the event horizon can develop a curvature singularity. We also investigate a new class of theories in which all components of the Riemann tensor are bounded. We find that the divergence of the quadratic curvature invariants at the event horizon is avoidable in this theory. However, other kinds of singularities due to the dynamics of additional degrees of freedom cannot be removed, and the space-time remains singular.


title: A Finite Block Length Achievability Bound for Low Probability of Detection Communication

abstract: Low probability of detection (or covert) communication refers to the scenario where information must be sent reliably to a receiver, but with low probability of detection by an adversary. Recent works on the fundamental limits of this communication problem have established achievability and converse bounds that are asymptotic in the block length of the code. This paper uses Gallager's random coding bound to derive a new achievability bound that is applicable to low probability of detection communication in the finite block length regime. Further insights are unveiled that are otherwise hidden in previous asymptotic analyses.


title: Analysis of June 2, 2016 bolide event

abstract: On June 2, 2016 at 10h56m UTC, a $-20.4 \pm 0.2$ magnitude superbolide was observed over Arizona. Fragments were located a few days later and the meteorites were given the name Dishchii'bikoh. We present analysis of this event based on 3 cameras and a multi-spectral sensor observations by the SkySentinel continuous fireball-monitoring camera network, supplemented by a dash cam footage and a fragmentation model. The bolide began its luminous flight at an altitude of $100.2 \pm 0.4$ km at coordinates $\phi = 34.555 \pm 0.002^\circ$N planetographic latitude and $\lambda = 110.459 \pm 0.002^\circ$W longitude, and it had a pre-atmospheric velocity of $17.4 \pm 0.3$ km/s. The calculated orbital parameters indicate that the meteoroid did not belong to any presently known asteroid family. From our calculations, the impacting object had an initial mass of $14.8 \pm 1.7$ metric tonnes with an estimated initial diameter of $2.03 \pm 0.12$ m.


title: Cosmological inference from standard sirens without redshift measurements

abstract: The purpose of this work is to investigate the prospects of using the future standard siren data without redshift measurements to constrain cosmological parameters. With successful detections of gravitational wave (GW) signals an era of GW astronomy has begun. Unlike the electromagnetic domain, GW signals allow direct measurements of luminosity distances to the sources, while their redshifts remain to be measured by identifying electromagnetic counterparts. This leads to significant technical problems for almost all possible BH-BH systems. It is the major obstacle to cosmological applications of GW standard sirens. In this paper, we introduce the general framework of using luminosity distances alone for cosmological inference. The idea is to use the prior knowledge of the redshift probability distribution for coalescing sources from the intrinsic merger rates assessed with population synthesis codes. Then the posterior probability distributions for cosmological parameters can be calculated. We demonstrate the performance of our method on the simulated mock data and show that the luminosity distance measurement would enable an accurate determination of cosmological parameters up to $20%$ uncertainty level. We also find that in order to infer $H_0$ to 1% level with flat $\Lambda$CDM model, we need about $10^5$ events.


title: Study of the second magnetization peak and the pinning behaviour in Ba(Fe$_{0.935}$Co$_{0.065}$)$_2$As$_2

abstract: Isothermal magnetic field dependence of magnetization and the magnetic relaxation measurements were performed for $H$$\parallel$c axis on single crystal of Ba(Fe$_{0.935}$Co$_{0.065}$)$_2$As$_2$ pnictide superconductor having $T_c$ = 21.7 K. The second magnetization peak (SMP) for each isothermal $M(H)$ was observed in a wide temperature range from $T_c$ to the lowest temperature of measurement (2 K). Magnetic field dependence of relaxation rate $R(H)$, shows a peak (H$_{spt}$) between H$_{on}$ (onset of SMP in $M(H)$) and H$_p$ (peak field of SMP in $M(H)$), which is likely to be related with a vortex-lattice structural phase transition, as suggested in literature for similar sample. In addition, the magnetic relaxation measured for magnetic fields near H$_{spt}$ show some noise which might be the signature of the structural phase transition of the vortex lattice. Analysis of the magnetic relaxation data using Maley's criterion and the collective pinning theory suggests that the second magnetization peak (SMP) in the sample is due to the collective (elastic) to plastic creep crossover, which is also accompanied with a rhombic to square vortex lattice phase transition. Analysis of the pinning force density suggests single dominating pinning mechanism in the sample and is not showing the usual $\delta$l and $\delta T_c$ nature of pinning. The critical current density ($J_c$) estimated using the Bean's critical state model is found to be 5 $\times$ 10$^5$ A/cm$^2$ at 2 K in the zero magnetic field limit. Surprisingly, the maximum in the pinning force density is not responsible for the maximum value of the critical current density in the sample.


title: A Human-Grounded Evaluation Benchmark for Local Explanations of Machine Learning

abstract: Research in interpretable machine learning proposes different computational and human subject approaches to evaluate model saliency explanations. These approaches measure different qualities of explanations to achieve diverse goals in designing interpretable machine learning systems. In this paper, we propose a human attention benchmark for image and text domains using multi-layer human attention masks aggregated from multiple human annotators. We then present an evaluation study to evaluate model saliency explanations obtained using Grad-cam and LIME techniques. We demonstrate our benchmark's utility for quantitative evaluation of model explanations by comparing it with human subjective ratings and ground-truth single-layer segmentation masks evaluations. Our study results show that our threshold agnostic evaluation method with the human attention baseline is more effective than single-layer object segmentation masks to ground truth. Our experiments also reveal user biases in the subjective rating of model saliency explanations.


title: Analytic Provenance Datasets: A Data Repository of Human Analysis Activity and Interaction Logs

abstract: We present an analytic provenance data repository that can be used to study human analysis activity, thought processes, and software interaction with visual analysis tools during exploratory data analysis. We conducted a series of user studies involving exploratory data analysis scenario with textual and cyber security data. Interactions logs, think-alouds, videos and all coded data in this study are available online for research purposes. Analysis sessions are segmented in multiple sub-task steps based on user think-alouds, video and audios captured during the studies. These analytic provenance datasets can be used for research involving tools and techniques for analyzing interaction logs and analysis history. By providing high-quality coded data along with interaction logs, it is possible to compare algorithmic data processing techniques to the ground-truth records of analysis history.


title: Modular representations of exceptional supergroups

abstract: We classify the simple modules of the exceptional algebraic supergroups over an algebraically closed field of prime characteristic.


title: Don't Look Back: Robustifying Place Categorization for Viewpoint- and Condition-Invariant Place Recognition

abstract: When a human drives a car along a road for the first time, they later recognize where they are on the return journey typically without needing to look in their rear-view mirror or turn around to look back, despite significant viewpoint and appearance change. Such navigation capabilities are typically attributed to our semantic visual understanding of the environment [1] beyond geometry to recognizing the types of places we are passing through such as "passing a shop on the left" or "moving through a forested area". Humans are in effect using place categorization [2] to perform specific place recognition even when the viewpoint is 180 degrees reversed. Recent advances in deep neural networks have enabled high-performance semantic understanding of visual places and scenes, opening up the possibility of emulating what humans do. In this work, we develop a novel methodology for using the semantics-aware higher-order layers of deep neural networks for recognizing specific places from within a reference database. To further improve the robustness to appearance change, we develop a descriptor normalization scheme that builds on the success of normalization schemes for pure appearance-based techniques such as SeqSLAM [3]. Using two different datasets - one road-based, one pedestrian-based, we evaluate the performance of the system in performing place recognition on reverse traversals of a route with a limited field of view camera and no turn-back-and-look behaviours, and compare to existing state-of-the-art techniques and vanilla off-the-shelf features. The results demonstrate significant improvements over the existing state of the art, especially for extreme perceptual challenges that involve both great viewpoint change and environmental appearance change. We also provide experimental analyses of the contributions of the various system components.


title: One Way Function Candidate based on the Collatz Problem

abstract: The one way function based on the Collatz problem is proposed. It is based on the problem's conditional branching structure which is not considered as important even the 3x+1 question is quite famous. The analysis shows why the problem is mathematically so inaccessible and how the algorithm conditional branching structure can be used to construct one way functions. It also shows exponential dependence between algorithm's conditional branching and running cost of algorithm branch-less reductions.


title: Vortex-glass transformation within the surface superconducting state of $\beta$-phase Mo$_{1-x}$Re$_x$ alloys

abstract: We have performed an experimental study on the temperature dependence of electrical resistivity $\rho$($T$) and heat capacity $C$($T$) of the Mo$_{1-x}$Re$_x$ $(x = 0.20, 0.25)$ alloy superconductors in different magnetic fields. In the presence of applied magnetic field, the electrical resistivity of these alloys go to zero at a temperature well above the bulk superconducting transition temperature obtained with the help of heat capacity measurements in the same magnetic field. Our study indicates the presence of surface superconducting state in these alloys, where the flux lines are pinned in the surface sheath of the superconductor. The configuration of the flux-lines (2d pancake-like) in the surface sheath is understood in the realm of the flux-spot model. Experimental evidence in support of the surface mixed-state state or "Kulik vortex-state" and the occurrence of a vortex-liquid to vortex-glass transition is presented.


title: On uniqueness sets of additive eigenvalue problems and applications

abstract: In this paper, we provide a simple way to find uniqueness sets for additive eigenvalue problems of first and second order Hamilton--Jacobi equations by using a PDE approach. An application in finding the limiting profiles for large time behaviors of first order Hamilton--Jacobi equations is also obtained.


title: Seismic signal sparse time-frequency analysis by Lp-quasinorm constraint

abstract: Time-frequency analysis has been applied successfully in many fields. However, the traditional methods, like short time Fourier transform and Cohen distribution, suffer from the low resolution or the interference of the cross terms. To solve these issues, we put forward a new sparse time-frequency analysis model by using the Lp-quasinorm constraint, which is capable of fitting the sparsity prior knowledge in the frequency domain. In the proposed model, we regard the short time truncated data as the observation of sparse representation and design a dictionary matrix, which builds up the relationship between the short time measurement and the sparse spectrum. Based on the relationship and the Lp-quasinorm feasible domain, the proposed model is established. The alternating direction method of multipliers (ADMM) is adopted to solve the proposed model. Experiments are then conducted on several theoretical signals and applied to the seismic signal spectrum decomposition, indicating that the proposed method is able to obtain a higher time-frequency distribution than state-of-the-art time-frequency methods. Thus, the proposed method is of great importance to reservoir exploration.


title: The level set flow of a hypersurface in $\mathbb R^4$ of low entropy does not disconnect

abstract: We show that if $\Sigma\subset \mathbb R^4$ is a closed, connected hypersurface with entropy $\lambda(\Sigma)\leq \lambda(\mathbb{S}^2\times \mathbb R)$, then the level set flow of $\Sigma$ never disconnects. We also obtain a sharp version of the forward clearing out lemma for non-fattening flows in $\mathbb R^4$ of low entropy.


title: OGLE-2014-BLG-0289: Precise Characterization of a Quintuple-Peak Gravitational Microlensing Event

abstract: We present the analysis of the binary-microlensing event OGLE-2014-BLG-0289. The event light curve exhibits very unusual five peaks where four peaks were produced by caustic crossings and the other peak was produced by a cusp approach. It is found that the quintuple-peak features of the light curve provide tight constraints on the source trajectory, enabling us to precisely and accurately measure the microlensing parallax $\pi_{\rm E}$. Furthermore, the three resolved caustics allow us to measure the angular Einstein radius $\thetae$. From the combination of $\pi_{\rm E}$ and $\thetae$, the physical lens parameters are uniquely determined. It is found that the lens is a binary composed of two M dwarfs with masses $M_1 = 0.52 \pm 0.04\ M_\odot$ and $M_2=0.42 \pm 0.03\ M_\odot$ separated in projection by $a_\perp = 6.4 \pm 0.5$ au. The lens is located in the disk with a distance of $D_{\rm L} = 3.3 \pm 0.3$~kpc. It turns out that the reason for the absence of a lensing signal in the {\it Spitzer} data is that the time of observation corresponds to the flat region of the light curve.


title: Excuse me! Perception of Abrupt Direction Changes Using Body Cues and Paths on Mixed Reality Avatars

abstract: We evaluate two methods of signalling abrupt direction changes of a robotic platform using a Mixed Reality avatar. The "Body" method uses gaze, gesture and torso direction to point to upcoming waypoints. The "Path" method visualises the change in direction using an angled path on the ground. We compare these two methods using a controlled user study and show that each method has its strengths depending on the situation. Overall the "Path" method was slightly more accurate in communicating the direction change of the robot but participants overall preferred the "Body" method.


title: Autonomous UAV Navigation Using Reinforcement Learning

abstract: Unmanned aerial vehicles (UAV) are commonly used for missions in unknown environments, where an exact mathematical model of the environment may not be available. This paper provides a framework for using reinforcement learning to allow the UAV to navigate successfully in such environments. We conducted our simulation and real implementation to show how the UAVs can successfully learn to navigate through an unknown environment. Technical aspects regarding to applying reinforcement learning algorithm to a UAV system and UAV flight control were also addressed. This will enable continuing research using a UAV with learning capabilities in more important applications, such as wildfire monitoring, or search and rescue missions.


title: Electronic structure of the Mo$_{1-x}$Re$_x$ alloys studied through resonant photoemission spectroscopy

abstract: We have studied the electronic structure of Mo rich Mo$_{1-x}$Re$_x$ alloys (0$\leq$ x $\leq$0.4) using valence band photoemission spectroscopy in the photon energy range 23-70 eV and density of states calculations. Comparison of the photoemission spectra with the density of states calculations suggests that with respect to the Fermi level $E_F$, the $d$ states lie mostly in the range 0 to -6 eV binding energy whereas $s$ states lie in the range -4 to -10 eV binding energy. We have observed two resonances in the photoemission spectra of each sample, one at about 35 eV photon energy and other at about 45 eV photon energy. Our analysis suggest that the resonance at 35 eV photon energy is related to the Mo $4p$-$5s$ transition and the resonance at 45 eV photon energy is related to the contribution from both the Mo $4p$-$4d$ transition (threshold: 42 eV) and Re $5p$-$5d$ transition (threshold: 46 eV). In the CIS plot, the resonance at 35 eV incident photon energy for binding energy features in the range of $E_F$ (B.E. = 0) to -5 eV becomes progressively less prominent with the increasing Re concentration $x$ and vanishes for $x>$ 0.2. The difference plots obtained by subtracting the valence band photoemission spectrum of Mo from that of Mo$_{1-x}$Re$_x$ alloys, measured at 47 eV photon energy, reveal that the Re $d$ like states appear near $E_F$ when Re is alloyed with Mo. These results indicate that interband $s$-$d$ interaction, which is weak in Mo, increases with the increasing $x$ and influences the nature of superconductivity in the alloys with higher $x$.


title: Real-time Road Traffic Information Detection Through Social Media

abstract: In current study, a mechanism to extract traffic related information such as congestion and incidents from textual data from the internet is proposed. The current source of data is Twitter. As the data being considered is extremely large in size automated models are developed to stream, download, and mine the data in real-time. Furthermore, if any tweet has traffic related information then the models should be able to infer and extract this data. Currently, the data is collected only for United States and a total of 120,000 geo-tagged traffic related tweets are extracted, while six million geo-tagged non-traffic related tweets are retrieved and classification models are trained. Furthermore, this data is used for various kinds of spatial and temporal analysis. A mechanism to calculate level of traffic congestion, safety, and traffic perception for cities in U.S. is proposed. Traffic congestion and safety rankings for the various urban areas are obtained and then they are statistically validated with existing widely adopted rankings. Traffic perception depicts the attitude and perception of people towards the traffic. It is also seen that traffic related data when visualized spatially and temporally provides the same pattern as the actual traffic flows for various urban areas. When visualized at the city level, it is clearly visible that the flow of tweets is similar to flow of vehicles and that the traffic related tweets are representative of traffic within the cities. With all the findings in current study, it is shown that significant amount of traffic related information can be extracted from Twitter and other sources on internet. Furthermore, Twitter and these data sources are freely available and are not bound by spatial and temporal limitations. That is, wherever there is a user there is a potential for data.


title: Reed-Muller Sequences for 5G Grant-free Massive Access

abstract: We propose to use second order Reed-Muller (RM) sequence for user identification in 5G grant-free access. The benefits of RM sequences mainly lie in two folds, (i) support of much larger user space, hence lower collision probability and (ii) lower detection complexity. These two features are essential to meet the massive connectivity ($10^7$ links/km$^2$), ultra-reliable and low-latency requirements in 5G, e.g., one-shot transmission ($\leq 1$ms) with $\leq 10^{-4}$ packet error rate. However, the non-orthogonality introduced during sequence space expansion leads to worse detection performance. In this paper, we propose a noise-resilient detection algorithm along with a layered sequence construction to meet the harsh requirements. Link-level simulations in both narrow-band and OFDM-based scenarios show that RM sequences are suitable for 5G.


title: Optical control of carrier wavefunction in magnetic quantum dots

abstract: Spatially indirect Type-II band alignment in magnetically-doped quantum dot (QD) structures provides unexplored opportunities to control the magnetic interaction between carrier wavefunction in the QD and magnetic impurities. Unlike the extensively studied, spatially direct, QDs with Type-I band alignment where both electrons and holes are confined in the QD, in ZnTe QDs embedded in a (Zn,Mn)Se matrix only the holes are confined in the QDs. Photoexcitation with photon energy 3.06 eV (2.54 eV) generates electron-hole pairs predominantly in the (Zn,Mn)Se matrix (ZnTe QDs). The photoluminescence (PL) at 7 K in the presence of an external magnetic field exhibits an up to three-fold increase in the saturation red shift with the 2.54 eV excitation compared to the shift observed with 3.06 eV excitation. This unexpected result is attributed to multiple hole occupancy of the QD and the resulting increased penetration of the hole wavefunction tail further into the (Zn,Mn)Se matrix. The proposed model is supported by microscopic calculations which accurately include the role of hole-hole Coulomb interactions as well as the hole-Mn spin exchange interactions.


title: Inferring Semantic Layout for Hierarchical Text-to-Image Synthesis

abstract: We propose a novel hierarchical approach for text-to-image synthesis by inferring semantic layout. Instead of learning a direct mapping from text to image, our algorithm decomposes the generation process into multiple steps, in which it first constructs a semantic layout from the text by the layout generator and converts the layout to an image by the image generator. The proposed layout generator progressively constructs a semantic layout in a coarse-to-fine manner by generating object bounding boxes and refining each box by estimating object shapes inside the box. The image generator synthesizes an image conditioned on the inferred semantic layout, which provides a useful semantic structure of an image matching with the text description. Our model not only generates semantically more meaningful images, but also allows automatic annotation of generated images and user-controlled generation process by modifying the generated scene layout. We demonstrate the capability of the proposed model on challenging MS-COCO dataset and show that the model can substantially improve the image quality, interpretability of output and semantic alignment to input text over existing approaches.


title: Universal linear optical operations on discrete phase-coherent spatial modes

abstract: Linear optical operations are fundamental and significant for both quantum mechanics and classical technologies. We demonstrate a non-cascaded approach to perform arbitrary unitary and non-unitary linear operations for N-dimensional phase-coherent spatial modes with meticulously designed phase gratings. As implemented on spatial light modulators (SLMs), the unitary transformation matrix has been realized with dimensionalities ranging from 7 to 24 and the corresponding fidelities are from 95.1% to 82.1%. For the non-unitary operators, a matrix is presented for the tomography of a 4-level quantum system with a fidelity of 94.9%. Thus, the linear operator has been successfully implemented with much higher dimensionality than that in previous reports. It should be mentioned that our method is not limited to SLMs and can be easily applied on other devices. Thus we believe that our proposal provides another option to perform linear operation with a simple, fixed, error-tolerant and scalable scheme.


title: Magnetic irreversibility and pinning force density in the Mo$_{100-x}$Re$_x$ alloy superconductors

abstract: We have measured the isothermal field dependence of magnetization of the Mo$_{100-x}$Re$_x$ (15 $\leq$ x $\leq$ 48) alloys, and have estimated the critical current and pinning force density from these measurements. We have performed structural characterization of the above alloys using standard techniques, and analyzed the field dependence of critical current and pinning force density using existing theories. Our results indicate that dislocation networks and point defects like voids and interstitial imperfections are the main flux line pinning centres in the Mo$_{100-x}$Re$_x$ alloys in the intermediate fields, i.e., in the small bundle flux line pinning regime. In this regime, the critical current density is also quite robust against increasing magnetic field. In still higher fields, the critical current density is affected by flux creep. In the low field regime, on the other hand, the pinning of the flux lines seems to be influenced by the presence of two superconducting energy gaps in the Mo$_{100-x}$Re$_x$ alloys. This modifies the field dependence of critical current density, and also seems to contribute to the asymmetry in the magnetic irreversibility exhibited by the isothermal field dependence of magnetization


title: Real-Gas Effects and Phase Separation in Underexpanded Jets at Engine-Relevant Conditions

abstract: A numerical framework implemented in the open-source tool OpenFOAM is presented in this work combining a hybrid, pressure-based solver with a vapor-liquid equilibrium model based on the cubic equation of state. This framework is used in the present work to investigate underexpanded jets at engine-relevant conditions where real-gas effects and mixture induced phase separation are probable to occur. A thorough validation and discussion of the applied vapor-liquid equilibrium model is conducted by means of general thermodynamic relations and measurement data available in the literature. Engine-relevant simulation cases for two different fuels were defined. Analyses of the flow field show that the used fuel has a first order effect on the occurrence of phase separation. In the case of phase separation two different effects could be revealed causing the single-phase instability, namely the strong expansion and the mixing of the fuel with the chamber gas. A comparison of single-phase and two-phase jets disclosed that the phase separation leads to a completely different penetration depth in contrast to single-phase injection and therefore commonly used analytical approaches fail to predict the penetration depth.


title: On the Analysis of Puncturing for Finite-Length Polar Codes: Boolean Function Approach

abstract: This paper investigates the impact of puncturing on finite-length polar codes in which a puncturing pattern $\pv^{N}=(p_0,...,p_N)$ is applied to a length-$N$ polar code.. We first introduce two virtual channels to stochastically model the punctured (untransmitted) bits, which are respectively called {\em useless channel model} (UCM) and {\em deterministic channel model} (DCM). Under each model, we derive boolean functions in variables $p_0,...,p_{N-1}$ that can indicate which polarized channels should carry frozen bits. Based on this, we present an efficient method to jointly optimize a puncturing pattern and an information set. Focusing on a fixed information set, we show that there exist the so-called {\em catastrophic} puncturing patterns that will surely lead to a block error and derive their weight distributions recursively. We then propose the two construction methods of a rate-compatible (RC) polar code which ensures that each puncturing pattern in the family is non-catastrophic. Simulation results demonstrate that the proposed RC polar code outperform the RC Turbo code adopted in LTE.


title: Grounded Language Understanding for Manipulation Instructions Using GAN-Based Classification

abstract: The target task of this study is grounded language understanding for domestic service robots (DSRs). In particular, we focus on instruction understanding for short sentences where verbs are missing. This task is of critical importance to build communicative DSRs because manipulation is essential for DSRs. Existing instruction understanding methods usually estimate missing information only from non-grounded knowledge; therefore, whether the predicted action is physically executable or not was unclear. In this paper, we present a grounded instruction understanding method to estimate appropriate objects given an instruction and situation. We extend the Generative Adversarial Nets (GAN) and build a GAN-based classifier using latent representations. To quantitatively evaluate the proposed method, we have developed a data set based on the standard data set used for Visual QA. Experimental results have shown that the proposed method gives the better result than baseline methods.


title: Boolean Function Analogs of Covering Systems

abstract: Bob Hough recently disproved a long-standing conjecture of Paul Erd\H{o}s regarding covering systems. Inspired by his seminal paper, we describe analogs of covering systems to Boolean functions, and more generally, the problem of covering discrete hyper-boxes by non-parallel lower dimensional hyper-subboxes. We point out that very often primes are red herrings. This is definitely the case for covering system, and who knows, perhaps also for the Riemann Hypothesis.


title: IAU WG, Data-driven Astronomy Education and Public Outreach,current status and working plans

abstract: IAU Inter-Commission B2-C1-C2 WG Data-driven Astronomy Education and Public Outreach (DAEPO) was launched officially in April 2017. With the development of many mega-science astronomical projects, for example CTA, DESI, EUCLID, FAST, GAIA, JWST, LAMOST, LSST, SDSS, SKA, and large scale simulations, astronomy has become a Big Data science. Astronomical data is not only necessary resource for scientific research, but also very valuable resource for education and public outreach (EPO), especially in the era of Internet and Cloud Computing. IAU WG Data-driven Astronomy Education and Public Outreach is hosted at the IAU Division B (Facilities, Technologies and Data Science) Commission B2 (Data and Documentation), and organized jointly with Commission C1 (Astronomy Education and Development), Commission C2 (Communicating Astronomy with the Public), Office of Astronomy for Development (OAD), Office for Astronomy Outreach (OAO) and several other non IAU communities, including IVOA Education Interest Group, American Astronomical Society Worldwide Telescope Advisory Board, Zooniverse project and International Planetarium Society. The working group has the major objectives to: Act as a forum to discuss the value of astronomy data in EPO, the advantages and benefits of data driven EPO, and the challenges facing to data driven EPO; Provide guidelines, curriculum, data resources, tools, and e-infrastructure for data driven EPO; Provide best practices of data driven EPO. In the paper, backgrounds, current status and working plans in the future are introduced. More information about the WG is available at: http://daepo.china-vo.org/


title: Hysteresis from nonlinear dynamics of Majorana modes in topological Josephson junctions

abstract: We reveal that topological Josephson junctions provide a natural platform for the interplay between the Josephson effect and the Landau-Zener effect through a two-level system formed by coupled Majorana modes. We build a quantum resistively shunted junction (RSJ) model by modifying the standard textbook RSJ model to take account of the two-level system from the Majorana modes at the junction. We show that the dynamics of the two-level system is governed by a nonlinear Schr\"odinger equation and solve the equations analytically via a mapping to a classical dynamical problem. This nonlinear dynamics leads to hysteresis in the I-V characteristics, which can give a quantitative explanation to recent experiments. We also predict the coexistence of two interference patterns with periods $h/e$ and $h/2e$ in topological superconducting quantum interference devices.


title: Plane-Casting: 3D Cursor Control with a SmartPhone

abstract: We present Plane-Casting, a novel technique for 3D object manipulation from a distance that is especially suitable for smartphones. We describe two variations of Plane-Casting, Pivot and Free Plane-Casting, and present results from a pilot study. Results suggest that Pivot Plane-Casting is more suitable for quick, coarse movements whereas Free Plane-Casting is more suited to slower, precise motion. In a 3D movement task, Pivot Plane-Casting performed better quantitatively, but subjects preferred Free Plane-Casting overall.


title: On the I/O Costs of Some Repair Schemes for Full-Length Reed-Solomon Codes

abstract: Network transfer and disk read are the most time consuming operations in the repair process for node failures in erasure-code-based distributed storage systems. Recent developments on Reed-Solomon codes, the most widely used erasure codes in practical storage systems, have shown that efficient repair schemes specifically tailored to these codes can significantly reduce the network bandwidth spent to recover single failures. However, the I/O cost, that is, the number of disk reads performed in these repair schemes remains largely unknown. We take the first step to address this gap in the literature by investigating the I/O costs of some existing repair schemes for full-length Reed-Solomon codes.


title: 3D Crystallographic Alignment of Alumina Ceramics by Application of Low Magnetic Fields

abstract: Non-cubic crystals exhibit anisotropic physical and functional properties. Microscopic crystallites as constituents of polycrystalline materials are randomly oriented, thus polycrystalline ceramics lack the anisotropic properties of their monocrystalline counterparts. We propose a technology that exploits the synergy between magnetic alignment and colloidal ceramics processing, and enables to independently tune the orientation of grains in different sample regions by infinitesimal magnetic fields (<10 millitesla). The grain pivot mechanism enables the emulation of single crystals, as well as the creation of large complex-shaped ceramic elements with designed crystallographic landscapes and spatially and directionally tuned properties. Ultra-high magnetic response arises from magnetic shape anisotropy of platelet-shaped seed crystallites coated with small amounts of iron oxide nanoparticles. To control crystallographic growth directions during subsequent annealing procedures, the seeds are dispersed and aligned in a matrix of chemically identical, but much finer spherical particles. The degree of crystalline orientation in accordingly prepared aluminum oxide exceeds 99%. This technology opens an avenue to remarkably improve structural and functional properties of ceramic elements employed in numerous industrial applications.


title: NOON state of Bose atoms in the double-well potential via an excited state quantum phase transition

abstract: We suggest a simple scheme for creating a NOON state of repulsively interacting Bose atoms in the double-well potential. The protocol consists of two steps. First, by setting atom-atom interactions to zero, the system is driven to the upper excited state. Second, the interactions is slowly increased and, simultaneously, the inter-well tunneling is decreased to zero. We analyze fidelity of the final state to the NOON state depending on the number of atoms, ramp rate, and fluctuations of the system parameters. It is shown that for a given fidelity the ramp rate scales algebraically with the number of atoms.


title: Throughput Maximization in Cloud Radio Access Networks using Network Coding

abstract: This paper is interested in maximizing the total throughput of cloud radio access networks (CRANs) in which multiple radio remote heads (RRHs) are connected to a central computing unit known as the cloud. The transmit frame of each RRH consists of multiple radio resources blocks (RRBs), and the cloud is responsible for synchronizing these RRBS and scheduling them to users. Unlike previous works that consider allocating each RRB to only a single user at each time instance, this paper proposes to mix the flows of multiple users in each RRB using instantly decodable network coding (IDNC). The proposed scheme is thus designed to jointly schedule the users to different RRBs, choose the encoded file sent in each of them, and the rate at which each of them is transmitted. Hence, the paper maximizes the throughput which is defined as the number of correctly received bits. To jointly fulfill this objective, we design a graph in which each vertex represents a possible user-RRB association, encoded file, and transmission rate. By appropriately choosing the weights of vertices, the scheduling problem is shown to be equivalent to a maximum weight clique problem over the newly introduced graph. Simulation results illustrate the significant gains of the proposed scheme compared to classical coding and uncoded solutions.


title: Second Order Spiral Splines

abstract: Second order spiral splines are $C^2$ unit-speed planar curves that can be used to interpolate a list $Y$ of $n+1$ points in $\R ^2$ at times specified in some list $T$, where $n\geq 2$. Asymptotic methods are used to develop a fast algorithm, based on a pair of tridiagonal linear systems and standard software. The algorithm constructs a second order spiral spline interpolant for data that is convex and sufficiently finely sampled.


title: A discretized Severi-type theorem with applications to harmonic analysis

abstract: In 1901, Severi proved that if $Z$ is an irreducible hypersurface in $\mathbb{P}^4(\mathbb{C})$ that contains a three dimensional set of lines, then $Z$ is either a quadratic hypersurface or a scroll of planes. We prove a discretized version of this result for hypersurfaces in $\mathbb{R}^4$. As an application, we prove that at most $\delta^{-2-\varepsilon}$ direction-separated $\delta$-tubes can be contained in the $\delta$-neighborhood of a low-degree hypersurface in $\mathbb{R}^4$. This result leads to improved bounds on the restriction and Kakeya problems in $\mathbb{R}^4$. Combined with previous work of Guth and the author, this result implies a Kakeya maximal function estimate at dimension $3+1/28$, which is an improvement over the previous bound of $3$ due to Wolff. As a consequence, we prove that every Besicovitch set in $\mathbb{R}^4$ must have Hausdorff dimension at least $3+1/28$. Recently, Demeter showed that any improvement over Wolff's bound for the Kakeya maximal function yields new bounds on the restriction problem for the paraboloid in $\mathbb{R}^4$.


title: Space-Time Metamaterials

abstract: Despite more than a decade of active research, the fundamental problem of material loss remains a major obstacle in fulfilling the promise of the recently emerged fields of metamaterials and plasmonics to bring in revolutionary practical applications. In the present work, we demonstrate that the problem of strong material absorption that is inherent to plasmonic systems and metamaterials based on plasmonic components, can be addressed by utilizing the time dimension. By matching the pulse profile to the actual response of a lossy metamaterial, this approach allows to offset the effect of the material absorption. The existence of the corresponding solution relies on the fundamental property of causality, that relates the absorption in the medium to the variations in the frequency-dependent time delay introduced by the material, via the Kramers-Kronig relations. We demonstrate that the proposed space-time approach can be applied to a broad range of metamaterial-based and plasmonic systems, from hyperbolic media to metal optics and new plasmonic materials.


title: Factor graph fragmentization of expectation propagation

abstract: Expectation propagation is a general approach to fast approximate inference for graphical models. The existing literature treats models separately when it comes to deriving and coding expectation propagation inference algorithms. This comes at the cost of similar, long-winded algebraic steps being repeated and slowing down algorithmic development. We demonstrate how factor graph fragmentization can overcome this impediment. This involves adoption of the message passing on a factor graph approach to expectation propagation and identification of factor graph sub-graphs, which we call fragments, that are common to wide classes of models. Key fragments and their corresponding messages are catalogued which means that their algebra does not need to be repeated. This allows compartmentalization of coding and efficient software development.


title: Dynamics of gap flow interference in a vibrating side-by-side arrangement of two circular cylinders at moderate Reynolds number

abstract: In this work, the coupled dynamics of the gap flow and the vortex-induced vibration (VIV) on a side-by-side (SBS) arrangement of two circular cylinders is numerically investigated at moderate Reynolds number 100 < Re < 800. Of particular interest is to establish a relationship between the VIV, the gap flow and the near-wake instability behind bluff bodies. We find that the kinematics of the VIV regulates the streamwise vorticity concentration, which accompanies with a recovery of two-dimensional hydrodynamic responses at the peak lock-in stage. On the other hand, the near-wake instability may develop around an in-determinant two-dimensional streamline saddle point along the interfaces of a pair of imbalanced counter-signed vorticity clusters. The vorticity concentration difference of adjacent vorticity clusters and the fluid momentum are closely interlinked with the prominence of streamwise vortical structures. In both SSBS and VSBS arrangements, the flip-flopping frequency is significantly low for the three-dimensional flow, except at the VIV lock-in stage for the VSBS arrangement. A quasi-stable deflected gap flow regime with negligible spanwise hydrodynamic (i.e., two-dimensional) response is found at the peak lock-in stage of VSBS arrangements. Owing to the gap-flow proximity interference, a high streamwise vorticity concentration is observed in its narrow near-wake region. The increase of the gap-flow proximity interference tends to stabilize the VIV lock-in, which eventually amplifies the spanwise correlation length and weakens the streamwise vortical structures. We employ the dynamic mode decomposition procedure to characterize the space-time evolution of the primary vortex wake.


title: The Physical Characteristics of Interstellar Medium in NGC 3665 with Herschel Observations

abstract: We present the analysis of the physical properties of the interstellar medium (ISM) in the nearby early-type galaxy NGC 3665, based on the far-infrared (FIR) photometric and spectroscopic data as observed by the Herschel Space Observatory. The fit to the spectral energy distribution reveals a high dust content in the galaxy, with the dust-to-stellar mass ratio of $M_{\rm dust}$/$M_\ast$ $\sim$ 1.1 $\times$ 10$^{-4}$ that is nearly three times larger than the mean value of local S0+S0a galaxies. For the ionized regions (H~\textsc{ii} regions), the electron density (n$_e$) is around 49.5 $\pm$ 11.9 cm$^{-3}$ based on the [N~\textsc{ii}]\,122\,\mum/[N~\textsc{ii}]\,205\,\mum\ ratio. For the photodissociation regions, the heating efficiency is in the range of 1.26 $\times$ 10$^{-3}$ and 1.37 $\times$ 10$^{-3}$ based on the ([C~\textsc{ii}$]+[$O~\textsc{i}]\,63\,\mum)/$L_{\rm TIR}$, which is slightly lower than other local galaxies; the hydrogen nucleus density and the strength of FUV radiation field are n $\sim$ 10$^{4}$ cm$^{-3}$ and G$_0$ $\sim$ 10$^{-0.25}$, respectively. The above results are consistent with the presence of weak AGN and a low level of star-forming activity in NGC 3665. Our results give strong support to the `morphological quenching' scenario, where a compact, massive bulge can stabilize amount of cool gas against star formation.


title: The Sloan Digital Sky Survey Reverberation Mapping Project: the CIV Blueshift, Its Variability, and Its Dependence Upon Quasar Properties

abstract: We use the multi-epoch spectra of 362 quasars from the Sloan Digital Sky Survey Reverberation Mapping project to investigate the dependence of the blueshift of CIV relative to MgII on quasar properties. We confirm that high-blueshift sources tend to have low CIV equivalent widths (EWs), and that the low-EW sources span a range of blueshift. Other high-ionization lines, such as HeII, also show similar blueshift properties. The ratio of the line width (measured as both the full-width at half maximum and the velocity dispersion) of CIV to that of MgII increases with blueshift. Quasar variability might enhance the connection between the CIV blueshift and quasar properties (e.g., EW). The variability of the MgII line center (i.e., the wavelength that bisects the cumulative line flux) increases with blueshift. In contrast, the CIV line center shows weaker variability at the extreme blueshifts. Quasars with the high-blueshift CIV lines tend to have less variable continuum emission, when controlling for EW, luminosity, and redshift. Our results support the scenario that high-blueshift sources tend to have large Eddington ratios.


title: Exact Error and Erasure Exponents for the Asymmetric Broadcast Channel

abstract: Consider the asymmetric broadcast channel with a random superposition codebook, which may be comprised of constant composition or \iid codewords. By applying Forney's optimal decoder for individual messages and the message pair for the receiver that decodes both messages, exact (ensemble-tight) error and erasure exponents are derived. It is shown that the optimal decoder designed to decode the pair of messages achieves the optimal trade-off between the total and undetected exponents associated with the optimal decoder for the private message. Convex optimization-based procedures to evaluate the exponents efficiently are proposed. Finally, numerical examples are presented to illustrate the results.


title: Signature of phase singularities in diffusive regime in one dimensional disordered lattices: Interplay and qualitative analysis

abstract: Co-existence and interplay between mesoscopic light dynamics with singular optics in spatially random but temporally coherent disordered waveguide lattices is reported. Two CW light beams of 1.55 micron operating wavelength are launched as inputs to 1D waveguide lattices with controllable weak disorder in refractive index profile. Direct observation of phase singularities in the speckle pattern along the length is numerically demonstrated. Quantitative analysis of onset of such singular behavior and diffusive wave propagation is analyzed for the first time.


abstract: Recently, Bhaintwal and Wasan studied the Generalized Reed-Muller codes over the prime power integer residue ring. In this paper, we give a generalization of these codes to Generalized Reed-Muller codes over Galois rings.


title: Seismic Wave Equations in Tight Oil/Gas Sandstone Media

abstract: The paper is devoted to the derivation of a combined system of motion equations for solid and fluid in isotropic tight oil/gas sandstone media through volume averaging theorems (VAT). Based on the features of the media, four physical assumptions are proposed as the foundation for our derivation. More precisely, volume averaging theorems are applied to the micro-scale motion equations for both the solid and the fluid as well as to the stress-strain relations, resulting in a combined system of macro-scale equations for the tight oil/gas sandstone media. It is worth noting that the four assumptions may not be satisfied in the whole region. Nevertheless, since the characteristic diameter for applying VAT ranges between $10^{-6}$ meters and dozens of meters, we may split the entire domain into several sub-domains such that the four physical assumptions are satisfied in each sub-domain. By choosing a proper characteristic diameter of an averaging volume, we derive a formula for the fluid average pressure in terms of the divergence of the average displacement from the continuity equation of the fluid. As a result, the motion equations derived in this paper are simpler than the Biot equations, and are more suitable for inversion of porous medium parameters. When the fluid is gas and the compressional wave is considered, the derived motion equations can be simplified to the diffusive-viscous wave equation. Moreover, the explicit relationship between the coefficients in this equation and medium parameters is very important for gas detection in tight gas sandstone.


title: Designing Patient-Specific Optimal Neurostimulation Patterns for Seizure Suppression

abstract: Neurostimulation is a promising therapy for abating epileptic seizures. However, it is extremely difficult to identify optimal stimulation patterns experimentally. In this study human recordings are used to develop a functional 24 neuron network statistical model of hippocampal connectivity and dynamics. Spontaneous seizure-like activity is induced in-silico in this reconstructed neuronal network. The network is then used as a testbed to design and validate a wide range of neurostimulation patterns. Commonly used periodic trains were not able to permanently abate seizures at any frequency. A simulated annealing global optimization algorithm was then used to identify an optimal stimulation pattern which successfully abated 92% of seizures. Finally, in a fully responsive, or "closed-loop" neurostimulation paradigm, the optimal stimulation successfully prevented the network from entering the seizure state. We propose that the framework presented here for algorithmically identifying patient-specific neurostimulation patterns can greatly increase the efficacy of neurostimulation devices for seizures.


title: Reblur2Deblur: Deblurring Videos via Self-Supervised Learning

abstract: Motion blur is a fundamental problem in computer vision as it impacts image quality and hinders inference. Traditional deblurring algorithms leverage the physics of the image formation model and use hand-crafted priors: they usually produce results that better reflect the underlying scene, but present artifacts. Recent learning-based methods implicitly extract the distribution of natural images directly from the data and use it to synthesize plausible images. Their results are impressive, but they are not always faithful to the content of the latent image. We present an approach that bridges the two. Our method fine-tunes existing deblurring neural networks in a self-supervised fashion by enforcing that the output, when blurred based on the optical flow between subsequent frames, matches the input blurry image. We show that our method significantly improves the performance of existing methods on several datasets both visually and in terms of image quality metrics. The supplementary material is https://goo.gl/nYPjEQ


title: Berry curvature in monolayer MoS$_2$ with broken mirror symmetry

abstract: An ideal 1H phase monolayer MoS$_2$ has the mirror reflection symmetry but this symmetry is broken in common experimental situations, where the monolayer is placed on a substrate. By using the k$\cdot$p perturbation theory, we investigate the effect of the mirror symmetry breaking on the Berry curvature of the material. We find that the symmetry breaking may modify the Berry curvature considerably and the spin/valley Hall effect due to the modified Berry curvature is in qualitative agreement with a recent experimental result [Science $\bf 344$, 1489 (2014)], which cannot be explained by previous theories that ignore the mirror symmetry breaking.


title: Variational Recurrent Neural Machine Translation

abstract: Partially inspired by successful applications of variational recurrent neural networks, we propose a novel variational recurrent neural machine translation (VRNMT) model in this paper. Different from the variational NMT, VRNMT introduces a series of latent random variables to model the translation procedure of a sentence in a generative way, instead of a single latent variable. Specifically, the latent random variables are included into the hidden states of the NMT decoder with elements from the variational autoencoder. In this way, these variables are recurrently generated, which enables them to further capture strong and complex dependencies among the output translations at different timesteps. In order to deal with the challenges in performing efficient posterior inference and large-scale training during the incorporation of latent variables, we build a neural posterior approximator, and equip it with a reparameterization technique to estimate the variational lower bound. Experiments on Chinese-English and English-German translation tasks demonstrate that the proposed model achieves significant improvements over both the conventional and variational NMT models.


title: FSD: Frequency Space Differential measurement of CMB spectral distortions

abstract: Although the Cosmic Microwave Background agrees with a perfect blackbody spectrum within the current experimental limits, it is expected to exhibit certain spectral distortions with known spectral properties. We propose a new method, Frequency Space Differential (FSD) to measure the spectral distortions in the CMB spectrum by using the inter-frequency differences of the brightness temperature. The difference between the observed CMB temperature at different frequencies must agree with the frequency derivative of the blackbody spectrum, in the absence of any distortion. However, in the presence of spectral distortions, the measured inter-frequency differences would also exhibit deviations from blackbody which can be modeled for known sources of spectral distortions like $y\,\&\,\mu$. Our technique uses FSD information for the CMB blackbody, $y$, $\mu$ or any other sources of spectral distortions to model the observed signal. Successful application of this method in future CMB missions can provide an alternative method to extract spectral distortion signals and can potentially make it feasible to measure spectral distortions without an internal blackbody calibrator.


title: Steady-state analysis of the Join the Shortest Queue model in the Halfin-Whitt regime

abstract: This paper studies the steady-state properties of the Join the Shortest Queue model in the Halfin-Whitt regime. We focus on the process tracking the number of idle servers, and the number of servers with non-empty buffers. Recently, Eschenfeldt & Gamarnik (2015) proved that a scaled version of this process converges, over finite time intervals, to a two-dimensional diffusion limit as the number of servers goes to infinity. In this paper we prove that the diffusion limit is exponentially ergodic, and that the diffusion scaled sequence of the steady-state number of idle servers and non-empty buffers is tight. Our results mean that the process-level convergence proved in Eschenfeldt & Gamarnik (2015) implies convergence of steady-state distributions. The methodology used is the generator expansion framework based on Stein's method, also referred to as the drift-based fluid limit Lyapunov function approach in Stolyar (2015). One technical contribution to the framework is to show that it can be used as a general tool to establish exponential ergodicity.


title: Asynchronous Bidirectional Decoding for Neural Machine Translation

abstract: The dominant neural machine translation (NMT) models apply unified attentional encoder-decoder neural networks for translation. Traditionally, the NMT decoders adopt recurrent neural networks (RNNs) to perform translation in a left-toright manner, leaving the target-side contexts generated from right to left unexploited during translation. In this paper, we equip the conventional attentional encoder-decoder NMT framework with a backward decoder, in order to explore bidirectional decoding for NMT. Attending to the hidden state sequence produced by the encoder, our backward decoder first learns to generate the target-side hidden state sequence from right to left. Then, the forward decoder performs translation in the forward direction, while in each translation prediction timestep, it simultaneously applies two attention models to consider the source-side and reverse target-side hidden states, respectively. With this new architecture, our model is able to fully exploit source- and target-side contexts to improve translation quality altogether. Experimental results on NIST Chinese-English and WMT English-German translation tasks demonstrate that our model achieves substantial improvements over the conventional NMT by 3.14 and 1.38 BLEU points, respectively. The source code of this work can be obtained from https://github.com/DeepLearnXMU/ABDNMT.


title: Quantifying the Imaginarity of Quantum Mechanics

abstract: The use of imaginary numbers in modelling quantum mechanical systems encompasses the wave-like nature of quantum states. Here we introduce a resource theoretic framework for imaginarity, where the free states are taken to be those with density matrices that are real with respect to a fixed basis. This theory is closely related to the resource theory of coherence, as it is basis dependent, and the imaginary numbers appear in the off-diagonal elements of the density matrix. Unlike coherence however, the set of physically realizable free operations is identical to both completely resource non-generating operations, and stochastically resource non-generating operations. Moreover, the resource theory of imaginarity does not have a self-adjoint resource destroying map. After introducing and characterizing the free operations, we provide several measures of imaginarity, and give necessary and sufficient conditions for pure state transformations via physically consistent free operations in the single shot regime.


title: Localization-Aware Active Learning for Object Detection

abstract: Active learning - a class of algorithms that iteratively searches for the most informative samples to include in a training dataset - has been shown to be effective at annotating data for image classification. However, the use of active learning for object detection is still largely unexplored as determining informativeness of an object-location hypothesis is more difficult. In this paper, we address this issue and present two metrics for measuring the informativeness of an object hypothesis, which allow us to leverage active learning to reduce the amount of annotated data needed to achieve a target object detection performance. Our first metric measures 'localization tightness' of an object hypothesis, which is based on the overlapping ratio between the region proposal and the final prediction. Our second metric measures 'localization stability' of an object hypothesis, which is based on the variation of predicted object locations when input images are corrupted by noise. Our experimental results show that by augmenting a conventional active-learning algorithm designed for classification with the proposed metrics, the amount of labeled training data required can be reduced up to 25%. Moreover, on PASCAL 2007 and 2012 datasets our localization-stability method has an average relative improvement of 96.5% and 81.9% over the baseline method using classification only.


title: Ultraviolet Detection of the Binary Companion to the Type IIb SN 2001ig

abstract: We present HST/WFC3 ultraviolet imaging in the F275W and F336W bands of the Type IIb SN 2001ig at an age of more than 14 years. A clear point source is detected at the site of the explosion having $m_{\rm F275W}=25.39 \pm 0.10$ and $m_{\rm F336W}=25.88 \pm 0.13$ mag. Despite weak constraints on both the distance to the host galaxy NGC 7424 and the line-of-sight reddening to the supernova, this source matches the characteristics of an early B-type main sequence star having $19,000 < T_{\rm eff} < 22,000$ K and $\log (L_{\rm bol}/L_{\odot})=3.92 \pm 0.14$. A BPASS v2.1 binary evolution model, with primary and secondary masses of 13 M$_{\odot}$ and 9 M$_{\odot}$ respectively, is found to resemble simultaneously in the Hertzsprung-Russell diagram both the observed location of this surviving companion, and the primary star evolutionary endpoints for other Type IIb supernovae. This same model exhibits highly variable late-stage mass loss, as expected from the behavior of the radio light curves. A Gemini/GMOS optical spectrum at an age of 6 years reveals a narrow He II emission line, indicative of continuing interaction with a dense circumstellar medium at large radii from the progenitor. We review our findings on SN 2001ig in the context of binary evolution channels for stripped-envelope supernovae. Owing to the uncrowded nature of its environment in the ultraviolet, this study of SN 2001ig represents one of the cleanest detections to date of a surviving binary companion to a Type IIb supernova.


title: Group algebra whose unit group is locally nilpotent

abstract: We present a complete list of groups $G$ and fields $F$ for which: (i) the group of normalized units V(FG) of the group algebra FG is locally nilpotent; (ii) the group algebra FG has a finite number of nilpotent elements and V(FG) is an Engel group.


title: Round- and Message-Optimal Distributed Graph Algorithms

abstract: Distributed graph algorithms that separately optimize for either the number of rounds used or the total number of messages sent have been studied extensively. However, algorithms simultaneously efficient with respect to both measures have been elusive. For example, only very recently was it shown that for Minimum Spanning Tree (MST), an optimal message and round complexity is achievable (up to polylog terms) by a single algorithm in the CONGEST model of communication. In this paper we provide algorithms that are simultaneously round- and message-optimal for a number of well-studied distributed optimization problems. Our main result is such a distributed algorithm for the fundamental primitive of computing simple functions over each part of a graph partition. From this algorithm we derive round- and message-optimal algorithms for multiple problems, including MST, Approximate Min-Cut and Approximate Single Source Shortest Paths, among others. On general graphs all of our algorithms achieve worst-case optimal $\tilde{O}(D+\sqrt n)$ round complexity and $\tilde{O}(m)$ message complexity. Furthermore, our algorithms require an optimal $\tilde{O}(D)$ rounds and $\tilde{O}(n)$ messages on planar, genus-bounded, treewidth-bounded and pathwidth-bounded graphs.


title: Free actions of some compact groups on Milnor manifolds

abstract: In this paper, we investigate free actions of some compact groups on cohomology real and complex Milnor manifolds. More precisely, we compute the mod 2 cohomology algebra of the orbit space of an arbitrary free $\mathbb{Z}_2$ and $\mathbb{S}^1$-action on a compact Hausdorff space with mod 2 cohomology algebra of a real or a complex Milnor manifold. As applications, we deduce some Borsuk-Ulam type results for equivariant maps between spheres and these spaces. For the complex case, we obtain a lower bound on the Schwarz genus, which further establishes the existence of coincidence points for maps to the Euclidean plane.


title: The relevance of Freiman's theorem for combinatorial commutative algebra

abstract: Freiman's theorem gives a lower bound for the cardinality of the doubling of a finite set in $\RR^n$. In this paper we give an interpretation of his theorem for monomial ideals and their fiber cones. We call a quasi-equigenerated monomial ideal a Freiman ideal, if the set of its exponent vectors achieves Freiman's lower bound for its doubling. Algebraic characterizations of Freiman ideals are given, and finite simple graphs are classified whose edge ideals or matroidal ideals of its cycle matroids are Freiman ideals.


title: Operator splitting for dispersion-generalized Benjamin-Ono equations

abstract: We consider the operator splitting for a class of nonlinear equation, which includes the KdV equation, the Benjamin-Ono equation, and the Burgers equation. We prove a first-order approxomation in $\Delta t$ in the Sobolev space for the Godunov splitting, and second-order approximation for the Strang splitting.


title: Spin-orbit-torque and magnetic damping in tailored ferromagnetic bilayers

abstract: We study spin-orbit-torque-driven ferromagnetic resonance (FMR) in ferromagnetic (FM) bilayers, consisting of Co and permalloy (Py), sandwiched between Pt and MgO layers. We find that the FM layer in contact with the Pt layers dominantly determines that spin Hall angle, which is consistent with the spin-transparency model. By contrast, the FMR linewidths are considerably influenced not only by the spin-pumping effect across the Pt|FM in terface but also by the spin relaxation such as two-magnon scattering at the FMMgO interface.The CoMgO interface leads to notably increased FMR linewidths, while the Py|MgO interface has less effect. This different contribution of each interface to the spin Hall angel and dissipation parameter suggests that the stack configuration of Pt|Co|Py|MgO requires less writing energy than Pt|Py|Co|MgO in spin-orbit-torque-driven magnetic switching. Our approach offers a promising method to optimize material parameters by engineering either interfaces in contact with the heavy-metal or the oxide layer.


title: Learning to Navigate: Exploiting Deep Networks to Inform Sample-Based Planning During Vision-Based Navigation

abstract: Recent applications of deep learning to navigation have generated end-to-end navigation solutions whereby visual sensor input is mapped to control signals or to motion primitives. The resulting visual navigation strategies work very well at collision avoidance and have performance that matches traditional reactive navigation algorithms while operating in real-time. It is accepted that these solutions cannot provide the same level of performance as a global planner. However, it is less clear how such end-to-end systems should be integrated into a full navigation pipeline. We evaluate the typical end-to-end solution within a full navigation pipeline in order to expose its weaknesses. Doing so illuminates how to better integrate deep learning methods into the navigation pipeline. In particular, we show that they are an efficient means to provide informed samples for sample-based planners. Controlled simulations with comparison against traditional planners show that the number of samples can be reduced by an order of magnitude while preserving navigation performance. Implementation on a mobile robot matches the simulated performance outcomes.


title: Deep analytics of atomically-resolved images: manifest and latent features

abstract: Recent advances in scanning transmission electron and scanning tunneling microscopies allow researchers to measure materials structural and electronic properties, such as atomic displacements and charge density modulations, at an Angstrom scale in real space. At the same time, the ability to quickly acquire large, high-resolution datasets has created a challenge for rapid physics-based analysis of images that typically contain several hundreds to several thousand atomic units. Here we demonstrate a universal deep-learning based framework for locating and characterizing atomic species in the lattice, which can be applied to different types of atomically resolved measurements on different materials. Specifically, by inspecting and categorizing features in the output layer of a convolutional neural network, we are able to detect structural and electronic 'anomalies' associated with the presence of point defects in a tungsten disulfide monolayer, non-uniformity of the charge density distribution around specific lattice sites on the surface of strongly correlated oxides, and transition between different structural states of buckybowl molecules. We further extended our method towards tracking, from one image frame to another, minute distortions in the geometric shape of individual Si dumbbells in a 3-dimensional Si sample, which are associated with a motion of lattice defects and impurities. Due the applicability of our framework to both scanning tunneling microscopy and scanning transmission electron microscopy measurements, it can provide a fast and straightforward way towards creating a unified database of defect-property relationships from experimental data for each material.


title: Understanding the Disharmony between Dropout and Batch Normalization by Variance Shift

abstract: This paper first answers the question "why do the two most powerful techniques Dropout and Batch Normalization (BN) often lead to a worse performance when they are combined together?" in both theoretical and statistical aspects. Theoretically, we find that Dropout would shift the variance of a specific neural unit when we transfer the state of that network from train to test. However, BN would maintain its statistical variance, which is accumulated from the entire learning procedure, in the test phase. The inconsistency of that variance (we name this scheme as "variance shift") causes the unstable numerical behavior in inference that leads to more erroneous predictions finally, when applying Dropout before BN. Thorough experiments on DenseNet, ResNet, ResNeXt and Wide ResNet confirm our findings. According to the uncovered mechanism, we next explore several strategies that modifies Dropout and try to overcome the limitations of their combination by avoiding the variance shift risks.


title: Stabilizing Unstable Periodic Orbits with Delayed Feedback Control in Act-and-Wait Fashion

abstract: A delayed feedback control framework for stabilizing unstable periodic orbits of linear periodic time-varying systems is proposed. In this framework, act-and-wait approach is utilized for switching a delayed feedback controller on and off alternately at every integer multiples of the period of the system. By analyzing the monodromy matrix of the closed-loop system, we obtain conditions under which the closed-loop system's state converges towards a periodic solution under our proposed control law. We discuss the application of our results in stabilization of unstable periodic orbits of nonlinear systems and present numerical examples to illustrate the efficacy of our approach.


title: Modelling mass diffusion for a multi-layer sphere immersed in a semi-infinite medium: application to drug delivery

abstract: We present a general mechanistic model of mass diffusion for a composite sphere placed in a large ambient medium. The multi-layer problem is described by a system of diffusion equations coupled via interlayer boundary conditions such as those imposing a finite mass resistance at the external surface of the sphere. While the work is applicable to the generic problem of heat or mass transfer in a multi-layer sphere, the analysis and results are presented in the context of drug kinetics for desorbing and absorbing spherical microcapsules. We derive an analytical solution for the concentration in the sphere and in the surrounding medium that avoids any artificial truncation at a finite distance. The closed-form solution in each concentric layer is expressed in terms of a suitably-defined inverse Laplace transform that can be evaluated numerically. Concentration profiles and drug mass curves in the spherical layers and in the external environment are presented and the dependency of the solution on the mass transfer coefficient at the surface of the sphere analyzed.


title: Total dominator coloring of central graphs

abstract: A total dominator coloring of a graph $G$ is a proper coloring of $G$ in which each vertex of the graph is adjacent to every vertex of some color class. The total dominator chromatic number of a graph is the minimum number of color classes in a total dominator coloring of it. Here, we study the total dominator coloring on central graphs by giving some tight bounds for the total dominator chromatic number of the central of a graph, join of two graphs and Nordhaus-Gaddum-like relations. Also we will calculate the total dominator chromatic number of the central of a path, a cycle, a wheel, a complete graph and a complete multipartite graph.


title: Reconstructing warm inflation

abstract: The reconstruction of a warm inflationary universe model from the scalar spectral index $n_S(N)$ and the tensor to scalar ratio $r(N)$ as a function of the number of e-folds $N$ is studied. Under a general formalism we find the effective potential and the dissipative coefficient in terms of the cosmological parameters $n_S$ and $r$ considering the weak and strong dissipative stages under the slow roll approximation. As a specific example, we study the attractors for the index $n_S$ given by $n_{S}-1\propto N^{-1}$ and for the ratio $r\propto N^{-2}$, in order to reconstruct the model of warm inflation. Here, expressions for the effective potential $V(\phi)$ and the dissipation coefficient $\Gamma(\phi)$ are obtained.


title: Non-commutative crepant resolutions of Hibi rings with small class group

abstract: In this paper, we study splitting (or toric) non-commutative crepant resolutions (= NCCRs) of some toric rings. In particular, we consider Hibi rings, which are toric rings arising from partially ordered sets, and show that Gorenstein Hibi rings with class group $\mathbb{Z}^2$ have a splitting NCCR. In the appendix, we also discuss Gorenstein toric rings with class group $\mathbb{Z}$, in which case the existence of splitting NCCRs is already known. We especially observe the mutations of modules giving splitting NCCRs for the three dimensional case, and show the connectedness of the exchange graph.


title: The Dirichlet problem for Fully Nonlinear Equations Arising from Conformal Geometry

abstract: We study the Dirichlet problem for a class of curvature equations arising from conformal geometry on Riemannian manifolds $(M^n, g)$ with boundary where $n \geq 3$. We prove there exists a unique solution using the continuity method which is based on \emph{a priori} estimates for admissible solutions. In deriving the estimates, a crucial step is to derive a lower bound for the gradient on the boundary. This is overcome by constructing a cluster of subsolutions.


title: Image denoising and restoration with CNN-LSTM Encoder Decoder with Direct Attention

abstract: Image denoising is always a challenging task in the field of computer vision and image processing. In this paper, we have proposed an encoder-decoder model with direct attention, which is capable of denoising and reconstruct highly corrupted images. Our model consists of an encoder and a decoder, where the encoder is a convolutional neural network and decoder is a multilayer Long Short-Term memory network. In the proposed model, the encoder reads an image and catches the abstraction of that image in a vector, where decoder takes that vector as well as the corrupted image to reconstruct a clean image. We have trained our model on MNIST handwritten digit database after making lower half of every image as black as well as adding noise top of that. After a massive destruction of the images where it is hard for a human to understand the content of those images, our model can retrieve that image with minimal error. Our proposed model has been compared with convolutional encoder-decoder, where our model has performed better at generating missing part of the images than convolutional autoencoder.


title: Atomic-layer-resolved composition and electronic structure of the cuprate Bi$_2$Sr$_2$CaCu$_2$O$_{8+\delta}$ from soft x-ray standing-wave photoemission

abstract: A major remaining challenge in the superconducting cuprates is the unambiguous differentiation of the composition and electronic structure of the CuO$_2$ layers and those of the intermediate layers. The large c axis for these materials permits employing soft x-ray (930.3 eV) standing wave (SW) excitation in photoemission that yields atomic layer-by-atomic layer depth resolution of these properties. Applying SW photoemission to Bi$_2$Sr$_2$CaCu$_2$O$_{8+\delta}$ yields the depth distribution of atomic composition and the layer-resolved densities of states. We detect significant Ca presence in the SrO layers and oxygen bonding to three different cations. The layer-resolved valence electronic structure is found to be strongly influenced by the supermodulation structure--as determined by comparison to DFT calculations, by Ca-Sr intermixing, and by the Cu 3d-3d Coulomb interaction, further clarifying the complex interactions in this prototypical cuprate. Measurements of this type for other quasi-two-dimensional materials with large-c represent a promising future direction.


title: An Accurate and Real-time Self-blast Glass Insulator Location Method Based On Faster R-CNN and U-net with Aerial Images

abstract: The location of broken insulators in aerial images is a challenging task. This paper, focusing on the self-blast glass insulator, proposes a deep learning solution. We address the broken insulators location problem as a low signal-noise-ratio image location framework with two modules: 1) object detection based on Fast R-CNN, and 2) classification of pixels based on U-net. A diverse aerial image set of some grid in China is tested to validated the proposed approach. Furthermore, a comparison is made among different methods and the result shows that our approach is accurate and real-time.


title: Local Sensing with the Multi-Level AC Stark Effect

abstract: Analyzing weak microwave signals in the GHz regime is a challenging task if the signal level is very low and the photon energy widely undefined. A superconducting qubit can detect signals in the low photon regime, but due to its discrete level structure, it is only sensitive to photons of certain energies. With a multi-level quantum system (qudit) in contrast, the unknown signal frequency and amplitude can be deduced from the higher level AC Stark shift. The measurement accuracy is given by the signal amplitude, its detuning from the discrete qudit energy level structure and the anharmonicity. We demonstrate an energy sensitivity in the order of $10^{-3}$ with a measurement range of more than $1\,\mathrm{GHz}$. Here, using a transmon qubit, we experimentally observe shifts in the transition frequencies involving up to three excited levels. These shifts are in good agreement with an analytic circuit model and master equation simulations. For large detunings, we find the shifts to scale linearly with the power of the applied microwave drive. Exploiting the effect, we demonstrated a power meter which makes it possible to characterize the microwave transmission from source to sample.


title: Monoidal categorification of cluster algebras (merged version)

abstract: We prove that the quantum cluster algebra structure of a unipotent quantum coordinate ring $A_q(\mathfrak{n}(w))$, associated with a symmetric Kac-Moody algebra and its Weyl group element $w$, admits a monoidal categorification via the representations of symmetric Khovanov-Lauda- Rouquier algebras. In order to achieve this goal, we give a formulation of monoidal categorifications of quantum cluster algebras and provide a criterion for a monoidal category of finite-dimensional graded $R$-modules to become a monoidal categorification, where $R$ is a symmetric Khovanov-Lauda-Rouquier algebra. Roughly speaking, this criterion asserts that a quantum monoidal seed can be mutated successively in all the directions, once the first-step mutations are possible. Then, we show the existence of a quantum monoidal seed of $A_q(\mathfrak{n}(w))$ which admits the first-step mutations in all the directions. As a consequence, we prove the conjecture that any cluster monomial is a member of the upper global basis up to a power of $q^{1/2}$. In the course of our investigation, we also give a proof of a conjecture of Leclerc on the product of upper global basis elements.


title: Algorithms for Computing Wiener Indices of Acyclic and Unicyclic Graphs

abstract: Let $G=(V(G),E(G))$ be a molecular graph, where $V(G)$ and $E(G)$ are the sets of vertices (atoms) and edges (bonds). A topological index of a molecular graph is a numerical quantity which helps to predict the chemical/physical properties of the molecules. The Wiener, Wiener polarity and the terminal Wiener indices are the distance based topological indices. In this paper, we described a linear time algorithm {\bf(LTA)} that computes the Wiener index for acyclic graphs and extended this algorithm for unicyclic graphs. The same algorithms are modified to compute the terminal Wiener index and the Wiener polarity index. All these algorithms compute the indices in time $O(n)$.


title: Adversarial Learning for Chinese NER from Crowd Annotations

abstract: To quickly obtain new labeled data, we can choose crowdsourcing as an alternative way at lower cost in a short time. But as an exchange, crowd annotations from non-experts may be of lower quality than those from experts. In this paper, we propose an approach to performing crowd annotation learning for Chinese Named Entity Recognition (NER) to make full use of the noisy sequence labels from multiple annotators. Inspired by adversarial learning, our approach uses a common Bi-LSTM and a private Bi-LSTM for representing annotator-generic and -specific information. The annotator-generic information is the common knowledge for entities easily mastered by the crowd. Finally, we build our Chinese NE tagger based on the LSTM-CRF model. In our experiments, we create two data sets for Chinese NER tasks from two domains. The experimental results show that our system achieves better scores than strong baseline systems.


title: Measurement of inclusive double-differential $\nu_\mu$ charged-current cross section with improved acceptance in the T2K off-axis near detector

abstract: We report a measurement of the flux-integrated cross section for inclusive muon neutrino charged-current interactions on carbon. The double differential measurements are given as function of the muon momentum and angle. Relative to our previous publication on this topic, these results have an increased angular acceptance and higher statistics. The data sample presented here corresponds to $5.7 \times 10^{20}$ protons-on-target. The total flux-integrated cross section is measured to be $(6.950 \pm 0.662) \times 10^{-39}$ cm$^2$nucleon$^{-1}$ and is consistent with our simulation.


title: OneNet: Joint Domain, Intent, Slot Prediction for Spoken Language Understanding

abstract: In practice, most spoken language understanding systems process user input in a pipelined manner; first domain is predicted, then intent and semantic slots are inferred according to the semantic frames of the predicted domain. The pipeline approach, however, has some disadvantages: error propagation and lack of information sharing. To address these issues, we present a unified neural network that jointly performs domain, intent, and slot predictions. Our approach adopts a principled architecture for multitask learning to fold in the state-of-the-art models for each task. With a few more ingredients, e.g. orthography-sensitive input encoding and curriculum training, our model delivered significant improvements in all three tasks across all domains over strong baselines, including one using oracle prediction for domain detection, on real user data of a commercial personal assistant.


title: On the characterization of models of H* : The operational aspect

abstract: We give a characterization, with respect to a large class of models of untyped $\lambda$-calculus, of those models that are fully abstract for head-normalization, i.e., whose equational theory is $\mathcal{H}^*$. An extensional K-model $D$ is fully abstract if and only if it is hyperimmune, i.e., non-well founded chains of elements of $D$ cannot be captured by any recursive function. This article share its first title with its companion paper and a short version. It is a standalone paper that present a purely syntactical proof of the result as opposed to its companion paper that present an independent and purely semantical proof of the exact same result.