title: Using path integrals for the propagation of light in a scattering dominated medium

abstract: The high computational expense of simulating light through ray-tracing in large, sparsely instrumented particle detectors such as IceCube and Antares is a critical outstanding problem in particle physics. When the detector is sparsely instrumented, ray tracing is inefficient, as nearly all of these rays are either lost in the bulk of the detector due to absorption or simply fail to end on a detector. Particle astrophysics experiments face a similar problem when they simulate cosmic ray muon fluxes in their detectors. Many fields of science face calculations that involve constrained initial and final states, with stochastic processes between. Taking the case of ray-tracing of light as our example, this paper describes a new and highly computationally efficient approach to the problem. By specifying the problem as a path integral, the final state of these rays can be constrained to land on a light sensitive element. The path integral can then be efficiently sampled using Reversible Jump Markov Chain Monte-Carlo, yielding performance improvements of up to 1,000 times faster on a realistic test scenario.


title: On the geometry, flows and visualization of singular complex analytic vector fields on Riemann surfaces

abstract: Motivated by the wild behavior of isolated essential singularities in complex analysis, we study singular complex analytic vector fields $X$ on arbitrary Riemann surfaces $M$. By vector field singularities we understand zeros, poles, isolated essential singularities and accumulation points of the above kind. In this framework, a singular analytic vector field $X$ has canonically associated; a 1-form, a quadratic differential, a flat metric (with a geodesic foliation), a global distinguished parameter or $\mathbb{C}$-flow box $\Psi_X$, a Newton map $\Phi_X$, and a Riemann surface $\mathcal{R}_X$ arising from the maximal $\mathbb{C}$-flow of $X$. We show that every singular complex analytic vector field $X$ on a Riemann surface is in fact both a global pullback of the constant vector field under $\Psi_X$ and of the radial vector field on the sphere under $\Phi_X$. As a result of independent interest, we show that the maximal analytic continuation of the a local $\mathbb{C}$-flow of $X$ is univalued on the Riemann surface $\mathcal{R}_{X} \subset M \times \mathbb{C}_t$, where $\mathcal{R}_X$ is the graph of $\Psi_{X}$. Furthermore we explore the geometry of singular complex analytic vector fields and present a geometrical method that enables us to obtain the solution, without numerical integration, to the differential equation that provides the $\mathbb{C}$-flow of the vector field. We discuss the theory behind the method, its implementation, comparison with some integration-based techniques, as well as examples of the visualization of complex vector fields on the plane, sphere and torus. Applications to visualization of complex valued functions is discussed including some advantages between other methods.


title: Kinematics and dynamics of the luminous infrared galaxy pair NGC 5257/58 (Arp 240)

abstract: Encounters between galaxies modify their morphology, kinematics, and star formation (SF) history. The relation between these changes and external perturbations is not straightforward. The great number of parameters involved requires both the study of large samples and individual encounters where particular features, motions, and perturbations can be traced and analysed in detail. We analysed the morphology, kinematics, and dynamics of two luminous infrared spiral galaxies, NGC 5257 and NGC 5258, in which SF is mostly confined to the spiral arms, in order to understand interactions between galaxies of equivalent masses and SF processes during the encounter. Using scanning Fabry-Perot interferometry, we studied the contribution of circular and non-circular motions and the response of the ionized gas to external perturbations. We compared the kinematics with direct images of the pair and traced the SF processes and gravitational effects due to the presence of the other galaxy. The SED of each member of the pair was fitted. A mass model was fitted to the rotation curve of each galaxy. Large, non-circular motions detected in both galaxies are associated with a bar, spiral arms, and HII regions for the inner parts of the galaxies, and with the tidal interaction for the outer parts of the discs. Bifurcations in the rotation curves indicate that the galaxies have recently undergone their pericentric passage. The pattern speed of a perturbation of one of the galaxies is computed. Location of a possible corotation seems to indicate that the gravitational response of the ionized gas in the outer parts of the disc is related to the regions where ongoing SF is confined. The SED fit indicates a slightly different star formation history for each member of the pair. For both galaxies, a pseudo-isothermal halo better fits the global mass distribution.


title: State of the Software Development Life-Cycle for the Internet-of-Things

abstract: Software has a longstanding association with a state of crisis considering its success rate. The explosion of Internet-connected devices, Internet-of-Things, adds to the complexity of software systems. The particular characteristics of these systems, such as being large-scale and its heterogeneity, pose increasingly new challenges. In this paper, we first briefly introduce the IoT paradigm and the current state of art of software development. Then, we delve into the particularities of developing software for IoT systems and systems of systems, given an overview of what are the current methodologies and tools for design, develop and test such systems. The findings are discussed, revealing open issues and research directions, and reveal that the nowadays IoT software development practices are still lagging behind of what are the current best practices.


title: Meet Cyrus - The Query by Voice Mobile Assistant for the Tutoring and Formative Assessment of SQL Learners

abstract: Being declarative, SQL stands a better chance at being the programming language for conceptual computing next to natural language programming. We examine the possibility of using SQL as a back-end for natural language database programming. Distinctly from keyword based SQL querying, keyword dependence and SQL's table structure constraints are significantly less pronounced in our approach. We present a mobile device voice query interface, called Cyrus, to arbitrary relational databases. Cyrus supports a large type of query classes, sufficient for an entry level database class. Cyrus is also application independent, allows test database adaptation, and not limited to specific sets of keywords or natural language sentence structures. It's cooperative error reporting is more intuitive, and iOS based mobile platform is also more accessible compared to most contemporary mobile and voice enabled systems.


title: When is $Y_{obs}$ missing and $Y_{mis}$ observed?

abstract: In statistical modelling of incomplete data, missingness is encoded as a relation between datasets Y and response patterns R. The partitioning of Y into observed and missing components is often denoted Yobs and Ymis. We point out a mathematical defect in this notation which results from two different mathematical relationships between Y and R not being distinguished, (Yobs, Ymis, R) in which Yobs values are always observed, and Ymis values are always missing, and the overlaying of a missingness pattern onto the marginal distribution for Y, denoted (Yobs, Ymis). With the latter, Yobs and Ymis each denote mixtures of observable and unobservable data. This overlaying of the missingness pattern onto Y creates a link between the mathematics and the meta-mathematics which violates the stochastic relationship encoded in (Y, R). Additionally, in the theory there is a need to compare partitions of Y according to different missingness patterns simultaneously. A simple remedy for these problems is to use four symbols instead of two, and to make the dependence on the missingness pattern explicit. We explain these and related issues.


title: Computational Thinking with the Web Crowd using CodeMapper

abstract: It has been argued that computational thinking should precede computer programming in the course of a career in computing. This argument is the basis for the slogan "logic first, syntax later" and the development of many cryptic syntax removed programming languages such as Scratch!, Blockly and Visual Logic. The goal is to focus on the structuring of the semantic relationships among the logical building blocks to yield solutions to computational problems. While this approach is helping novice programmers and early learners, the gap between computational thinking and professional programming using high level languages such as C++, Python and Java is quite wide. It is wide enough for about one third students in first college computer science classes to drop out or fail. In this paper, we introduce a new programming platform, called the CodeMapper, in which learners are able to build computational logic in independent modules and aggregate them to create complex modules. Code{\em Mapper} is an abstract development environment in which rapid visual prototyping of small to substantially large systems is possible by combining already developed independent modules in logical steps. The challenge we address involves supporting a visual development environment in which "annotated code snippets" authored by the masses in social computing sites such as SourceForge, StackOverflow or GitHub can also be used as is into prototypes and mapped to real executable programs. CodeMapper thus facilitates soft transition from visual programming to syntax driven programming without having to practice syntax too heavily.


title: Real-time processing of the imaging data from the network of Las Cumbres Observatory Telescopes using BANZAI

abstract: Work in time-domain astronomy necessitates robust, automated data processing pipelines that operate in real time. We present the BANZAI pipeline which processes the thousands of science images produced across the Las Cumbres Observatory Global Telescope (LCOGT) network of robotic telescopes each night. BANZAI is designed to perform near real-time preview and end-of-night final processing for four types of optical CCD imagers on the three LCOGT telescope classes. It performs instrumental signature removal (bad pixel masking, bias and dark removal, flat-field correction), astrometric fitting and source catalog extraction. We discuss the design considerations for BANZAI, including testing, performance, and extensibility. BANZAI is integrated into the observatory infrastructure and fulfills two critical functions: (1) real-time data processing that delivers data to users quickly and (2) derive metrics from those data products to monitor the health of the telescope network. In the era of time-domain astronomy, to get from these observations to scientific results, we must be able to automatically reduce data with minimal human interaction, but still have insight into the data stream for quality control.


title: Dual Latent Variable Model for Low-Resource Natural Language Generation in Dialogue Systems

abstract: Recent deep learning models have shown improving results to natural language generation (NLG) irrespective of providing sufficient annotated data. However, a modest training data may harm such models performance. Thus, how to build a generator that can utilize as much of knowledge from a low-resource setting data is a crucial issue in NLG. This paper presents a variational neural-based generation model to tackle the NLG problem of having limited labeled dataset, in which we integrate a variational inference into an encoder-decoder generator and introduce a novel auxiliary autoencoding with an effective training procedure. Experiments showed that the proposed methods not only outperform the previous models when having sufficient training dataset but also show strong ability to work acceptably well when the training data is scarce.


title: The Apertif Monitor for Bursts Encountered in Real-time (AMBER) auto-tuning optimization with genetic algorithms

abstract: Real-time searches for faint radio pulses from unknown radio transients are computationally challenging. Detections become further complicated due to continuously increasing technical capabilities of transient surveys: telescope sensitivity, searched area of the sky, number of antennas or dishes, temporal and frequency resolution. The new Apertif transient survey on the Westerbork telescope happens in real-time on GPUs by means of the single-pulse search pipeline AMBER (Sclocco, 2017). AMBER initially carries out auto tuning: it finds the most optimal configuration of user-controlled parameters per each of four pipeline kernels so that each kernel performs its task as fast as possible. The pipeline uses a brute-force (BF) exhaustive search which in total takes 5 - 24 hours to run depending on the processing cluster architecture. We apply more heuristic, biologically driven genetic algorithms (GAs) to limit the exploration of the total parameter space, tune all four kernels together and reduce the tuning time to few hours. Our results show that after only few hours of tuning, GAs always find similar or even better configurations for all kernels together than the combination of single kernel configurations tuned by the BF approach. At the same time, by means of their genetic operators, GAs converge into better solutions than those obtained by pure random searches. The explored multi-dimensional parameter space is very complex and has multiple local optima as the evolution of randomly generated configurations does not always guarantee global solution.


title: Conformal Defect Solutions in $N=2,D=4$ Gauged Supergravity

abstract: We consider conformal defect solutions in four dimensional $N=2$ gauged supergravity. These solutions are constructed as a warped product of $AdS_2\times S^1$ over an interval with non-trivial electric and magnetic fields. We show for minimal gauged supergravity and for gauged supergravity with vector multiplets and abelian gauging that supersymmetric defect solutions are only possible when the geometry has a conical defect in either the bulk or the boundary metric.


title: Power Normalizing Second-order Similarity Network for Few-shot Learning

abstract: Second- and higher-order statistics of data points have played an important role in advancing the state of the art on several computer vision problems such as the fine-grained image and scene recognition. However, these statistics need to be passed via an appropriate pooling scheme to obtain the best performance. Power Normalizations are non-linear activation units which enjoy probability-inspired derivations and can be applied in CNNs. In this paper, we propose a similarity learning network leveraging second-order information and Power Normalizations. To this end, we propose several formulations capturing second-order statistics and derive a sigmoid-like Power Normalizing function to demonstrate its interpretability. Our model is trained end-to-end to learn the similarity between the support set and query images for the problem of one- and few-shot learning. The evaluations on Omniglot, miniImagenet and Open MIC datasets demonstrate that this network obtains state-of-the-art results on several few-shot learning protocols.


title: Symmetry Type Graphs on 4-Orbit maps

abstract: It is well known that there exist twenty two symmetry type graphs associated to 4-orbit maps. For this ones we give the feasible values taken by the degree of the vertices and the number appropriate of edges in the boundary of each face of the map, by introducing the concepts of vertex type graph, face type graph and characteristic system.


title: Understanding the Motivations, Challenges and Needs of Blockchain Software Developers: A Survey

abstract: The blockchain technology has potential applications in various areas such as smart-contracts, Internet of Things (IoT), land registry, supply chain management, storing medical data, and identity management. Although the Github currently hosts more than six thousand active Blockchain software (BCS) projects, few software engineering research has investigated these projects and its' contributors. Although the number of BCS projects is growing rapidly, the motivations, challenges, and needs of BCS developers remain a puzzle. Therefore, the primary objective of this study is to understand the motivations, challenges, and needs of BCS developers and analyze the differences between BCS and non-BCS development. On this goal, we sent an online survey to 1,604 active BCS developers identified via mining the Github repositories of 145 popular BCS projects. The survey received 156 responses that met our criteria for analysis. The results suggest that the majority of the BCS developers are experienced in non-BCS development and are primarily motivated by the ideology of creating a decentralized financial system. Although most of the BCS projects are Open Source Software (OSS) projects by nature, more than 93% of our respondents found BCS development somewhat different from a non-BCS development as BCS projects have higher emphasis on security and reliability than most of the non-BCS projects. Other differences include: higher costs of defects, decentralized and hostile environment, technological complexity, and difficulty in upgrading the software after release. Software development tools that are tuned for non-BCS development are inadequate for BCS and the ecosystem needs an array of new or improved tools, such as: customized IDE for BCS development tasks, debuggers for smart-contracts, testing support, easily deployable simulators, and BCS domain specific design notations.


title: The Augmented Synthetic Control Method

abstract: The synthetic control method (SCM) is a popular approach for estimating the impact of a treatment on a single unit in panel data settings. The "synthetic control" is a weighted average of control units that balances the treated unit's pre-treatment outcomes as closely as possible. A critical feature of the original proposal is to use SCM only when the fit on pre-treatment outcomes is excellent. We propose Augmented SCM as an extension of SCM to settings where such pre-treatment fit is infeasible. Analogous to bias correction for inexact matching, Augmented SCM uses an outcome model to estimate the bias due to imperfect pre-treatment fit and then de-biases the original SCM estimate. Our main proposal, which uses ridge regression as the outcome model, directly controls pre-treatment fit while minimizing extrapolation from the convex hull. This estimator can also be expressed as a solution to a modified synthetic controls problem that allows negative weights on some donor units. We bound the estimation error of this approach under different data generating processes, including a linear factor model, and show how regularization helps to avoid over-fitting to noise. We demonstrate gains from Augmented SCM with extensive simulation studies and apply this framework to estimate the impact of the 2012 Kansas tax cuts on economic growth. We implement the proposed method in the new augsynth R package.


title: Designing plateaued Boolean functions in spectral domain and their classification

abstract: The design of plateaued functions over $GF(2)^n$, also known as 3-valued Walsh spectra functions (taking the values from the set $\{0, \pm 2^{\lceil \frac{n+s}{2} \rceil}\}$), has been commonly approached by specifying a suitable algebraic normal form which then induces this particular Walsh spectral characterization. In this article, we consider the reversed design method which specifies these functions in the spectral domain by specifying a suitable allocation of the nonzero spectral values and their signs. We analyze the properties of trivial and nontrivial plateaued functions (as affine inequivalent distinct subclasses), which are distinguished by their Walsh support $S_f$ (the subset of $GF(2)^n$ having the nonzero spectral values) in terms of whether it is an affine subspace or not. The former class exactly corresponds to partially bent functions and admits linear structures, whereas the latter class may contain functions without linear structures. A simple sufficient condition on $S_f$, which ensures the nonexistence of linear structures, is derived and some generic design methods of nontrivial plateaued functions without linear structures are given. The extended affine equivalence of plateaued functions is also addressed using the concept of dual of plateaued functions. Furthermore, we solve the problem of specifying disjoint spectra (non)trivial plateaued functions of maximal cardinality whose concatenation can be used to construct bent functions in a generic manner. This approach may lead to new classes of bent functions due to large variety of possibilities to select underlying duals that define these disjoint spectra plateaued functions. An additional method of specifying affine inequivalent plateaued functions, obtained by applying a nonlinear transform to their input domain, is also given.


title: Use of Neural Signals to Evaluate the Quality of Generative Adversarial Network Performance in Facial Image Generation

abstract: There is a growing interest in using generative adversarial networks (GANs) to produce image content that is indistinguishable from real images as judged by a typical person. A number of GAN variants for this purpose have been proposed, however, evaluating GANs performance is inherently difficult because current methods for measuring the quality of their output are not always consistent with what a human perceives. We propose a novel approach that combines a brain-computer interface (BCI) with GANs to generate a measure we call Neuroscore, which closely mirrors the behavioral ground truth measured from participants tasked with discerning real from synthetic images. This technique we call a neuro-AI interface, as it provides an interface between a human's neural systems and an AI process. In this paper, we first compare the three most widely used metrics in the literature for evaluating GANs in terms of visual quality and compare their outputs with human judgments. Secondly we propose and demonstrate a novel approach using neural signals and rapid serial visual presentation (RSVP) that directly measures a human perceptual response to facial production quality, independent of a behavioral response measurement. The correlation between our proposed Neuroscore and human perceptual judgments has Pearson correlation statistics: $\mathrm{r}(48) = -0.767, \mathrm{p} = 2.089e-10$. We also present the bootstrap result for the correlation i.e., $\mathrm{p}\leq 0.0001$. Results show that our Neuroscore is more consistent with human judgment compared to the conventional metrics we evaluated. We conclude that neural signals have potential applications for high quality, rapid evaluation of GANs in the context of visual image synthesis.


title: New Movement and Transformation Principle of Fuzzy Reasoning and Its Application to Fuzzy Neural Network

abstract: In this paper, we propose a new fuzzy reasoning principle, so called Movement and Transformation Principle(MTP). This Principle is to obtain a new fuzzy reasoning result by Movement and Transformation the consequent fuzzy set in response to the Movement, Transformation, and Movement-Transformation operations between the antecedent fuzzy set and fuzzificated observation information. And then we presented fuzzy modus ponens and fuzzy modus tollens based on MTP. We compare proposed method with Mamdani fuzzy system, Sugeno fuzzy system, Wang distance type fuzzy reasoning method and Hellendoorn functional type method. And then we applied to the learning experiments of the fuzzy neural network based on MTP and compared it with the Sugeno method. Through prediction experiments of fuzzy neural network on the precipitation data and security situation data, learning accuracy and time performance are clearly improved. Consequently we show that our method based on MTP is computationally simple and does not involve nonlinear operations, so it is easy to handle mathematically.


title: The z=0.54 LoBAL Quasar SDSS J085053.12+445122.5: II. The Nature of Partial Covering in the Broad-Absorption-Line Outflow

abstract: It has been known for 20 years that the absorbing gas in broad absorption line quasars does not completely cover the continuum emission region, and that partial covering must be accounted for to accurately measure the column density of the outflowing gas. However, the nature of partial covering itself is not understood. Extrapolation of the SimBAL spectral synthesis model of the HST COS UV spectrum from SDSS J0850+4451 reported by Leighly et al. 2018 to non-simultaneous rest-frame optical and near-infrared spectra reveals evidence that the covering fraction has wavelength dependence, and is a factor of 2.5 times higher in the UV than in the optical and near-infrared bands. The difference in covering fraction can be explained if the outflow consists of clumps that are small and either structured or clustered relative to the projected size of the UV continuum emission region, and have a more diffuse distribution on size scales comparable to the near-infrared continuum emission region size. The lower covering fraction over the larger physical area results in a reduction of the measured total column density by a factor of 1.6 compared with the UV-only solution. This experiment demonstrates that we can compare rest-frame UV and near-infrared absorption lines, specifically HeI*10830, to place constraints on the uniformity of absorption gas in broad absorbing line quasars.


title: CED: Credible Early Detection of Social Media Rumors

abstract: Rumors spread dramatically fast through online social media services, and people are exploring methods to detect rumors automatically. Existing methods typically learn semantic representations of all reposts to a rumor candidate for prediction. However, it is crucial to efficiently detect rumors as early as possible before they cause severe social disruption, which has not been well addressed by previous works. In this paper, we present a novel early rumor detection model, Credible Early Detection (CED). By regarding all reposts to a rumor candidate as a sequence, the proposed model will seek an early point-in-time for making a credible prediction. We conduct experiments on three real-world datasets, and the results demonstrate that our proposed model can remarkably reduce the time span for prediction by more than 85%, with better accuracy performance than all state-of-the-art baselines.


title: Applications and Potentials of Reciprocal Bianisotropic Metasurfaces

abstract: We discuss different applications and potentials of reciprocal bianisotropic metasurfaces including uniform and gradient metasurfaces, in particular, with anisotropic, chiral, and omega properties. Based on an analytic analysis, we discuss the necessary conditions to observe asymmetric co- and cross- polarization reflection and/or transmission, polarization conversion and rotation, asymmetric absorption, etc. We consider two kinds of incident wave scenarios based on linear and circular polarization.


title: An efficient branch-and-bound algorithm for submodular function maximization

abstract: The submodular function maximization is an attractive optimization model that appears in many real applications. Although a variety of greedy algorithms quickly find good feasible solutions for many instances while guaranteeing (1-1/e)-approximation ratio, we still encounter many real applications that ask optimal or better feasible solutions within reasonable computation time. In this paper, we present an efficient branch-and-bound algorithm for the non-decreasing submodular function maximization problem based on its binary integer programming (BIP) formulation with a huge number of constraints. Nemhauser and Wolsey developed an exact algorithm called the constraint generation algorithm that starts from a reduced BIP problem with a small subset of constraints taken from the constraints and repeats solving a reduced BIP problem while adding a new constraint at each iteration. However, their algorithm is still computationally expensive due to many reduced BIP problems to be solved. To overcome this, we propose an improved constraint generation algorithm to add a promising set of constraints at each iteration. We incorporate it into a branch-and-bound algorithm to attain good upper bounds while solving a smaller number of reduced BIP problems. According to computational results for well-known benchmark instances, our algorithm achieved better performance than the state-of-the-art exact algorithms.


title: Light Absorption Coefficients of Ionic Liquids under Electric Field

abstract: Ionic liquids have attracted a lot of research attention for their applications in novel optoelectronic structures and devices as an optical means of regulating electricity. Although the electro-optic effect of ionic liquids is mentioned in some literature, a quantitative testing and analysis are hardly found in light absorption coefficients of ionic liquids under an electric field. In the present study, an experimental apparatus was designed to measure the absorption coefficients of ionic liquids under different electric fields. Five groups of imidazole ionic liquids were experimentally investigated and an inversion was performed to determine the spectral absorption coefficients of the imidazole ionic liquids under electric fields. Different intensities with multiple interface refractions and reflections were also considered, and the various measurement errors were analyzed through uncertainties propagation analysis. Spectral absorption of ionic liquids from 300 nm to 2500 nm was obtained and the absorption coefficients were retrieved. It was found that the absorption behavior of ionic liquids changed in some frequency bands under an applied electric field. The experimental results showed that the absorption coefficient of the ionic liquid increases with the voltage at 1520nm and 1920nm. The change rate was affected by the types of anions and cations in the ionic liquid and the diffusion rate of the ions therein. This study provides illustrations for the ionic liquid-based electro-optical regulation in terms of physical property parameters and the testing technique.


title: Mapping Navigation Instructions to Continuous Control Actions with Position-Visitation Prediction

abstract: We propose an approach for mapping natural language instructions and raw observations to continuous control of a quadcopter drone. Our model predicts interpretable position-visitation distributions indicating where the agent should go during execution and where it should stop, and uses the predicted distributions to select the actions to execute. This two-step model decomposition allows for simple and efficient training using a combination of supervised learning and imitation learning. We evaluate our approach with a realistic drone simulator, and demonstrate absolute task-completion accuracy improvements of 16.85% over two state-of-the-art instruction-following methods.


title: A Comprehensive Bayesian Discrimination of the Simple Stellar Population Model, Star Formation History and Dust Attenuation Law in the Spectral Energy Distribution Modeling of Galaxies

abstract: When modeling and interpreting the spectral energy distributions (SEDs) of galaxies, the simple stellar population (SSP) model, star formation history (SFH) and dust attenuation law (DAL) are three of the most important components. However, each of them carries significant uncertainties which have seriously limited our ability to reliably recover the physical properties of galaxies from the analysis of their SEDs. In this paper, we present a Bayesian framework to deal with these uncertain components simultaneously. Based on the Bayesian evidence, a quantitative implement of the principle of Occam's razor, the method allows a more objective and quantitative discrimination among the different assumptions about these uncertain components. With a Ks-selected sample of 5467 low-redshift (mostly with $z\lesssim 1$) galaxies in the COSMOS/UltraVISTA field and classified into passively evolving galaxies (PEGs) and star-forming galaxies (SFGs) with UVJ diagram, we present a Bayesian discrimination of a set of 16 SSP models from five research groups (BC03 and CB07, M05, GALEV, Yunnan-II, BPASS V2.0), five forms of SFH (Burst, Constant, Exp-dec, Exp-inc, Delayed-$\tau$), and four kinds of DAL (Calzetti law, MW, LMC, SMC). We show that the results obtained with the method are either obvious or understandable in the context of galaxy physics. We conclude that the Bayesian model comparison method, especially that for a sample of galaxies, is very useful for discriminating the different assumptions in the SED modeling of galaxies. The new version of the BayeSED code, which is used in this work, is publicly available at https://bitbucket.org/hanyk/bayesed/.


title: Upper semi-Weyl and upper semi-Browder spectra of unbounded upper triangular operator matrices

abstract: In this paper, we study the unbounded upper triangular operator matrix with diagonal domain. Some sufficient and necessary conditions are given under which upper semi-Weyl spectrum (resp. upper semi-Browder spectrum) of such operator matrix is equal to the union of the upper semi-Weyl spectra (resp. the upper semi-Browder spectra) of its diagonal entries. As an application, the corresponding spectral properties of Hamiltonian operator matrix are obtained.


title: On projective manifolds with semi-positive holomorphic sectional curvature

abstract: In this paper, we establish a structure theorem for a smooth projective variety $X$ with semi-positive holomorphic sectional curvature. Our structure theorem contains the solution for Yau's conjecture and it can be regarded as a natural generalization of the structure theorem proved by Howard-Smyth-Wu and Mok for holomorphic bisectional curvature. Specifically, we prove that $X$ admits a locally trivial morphism $\phi:X \to Y$ such that the fiber $F$ is rationally connected and the image $Y$ has a finite \'etale cover $A \to Y$ by an abelian variety $A$, by combining the author's previous work with the theory of holomorphic foliations. Moreover, we show that the universal cover of $X$ is biholomorphic and isometric to the product $\mathbb{C}^m \times F$ of the universal cover $\mathbb{C}^m$ of $Y$ with a flat metric and the rationally connected fiber $F$ with a K\"ahler metric whose holomorphic sectional curvature is semi-positive.


title: The longlived charged massive scalar field in the higher-dimensional Reissner--Nordstr\"{o}m spacetime

abstract: The quasinormal resonance frequency of the higher-dimensional Reissner--Nordstr\"{o}m (RN) black hole due to charged massive scalar field perturbation is deduced analytically in the eikonal regime. The characteristic decay timescale of the charged massive scalar perturbation in the background of the higher-dimensional RN spacetime is then obtained. The result reveals that longlived charged massive scalar field can exist in higher-dimensional RN spacetime under a certain condition.


title: CAPTAIN: Comprehensive Composition Assistance for Photo Taking

abstract: Many people are interested in taking astonishing photos and sharing with others. Emerging hightech hardware and software facilitate ubiquitousness and functionality of digital photography. Because composition matters in photography, researchers have leveraged some common composition techniques to assess the aesthetic quality of photos computationally. However, composition techniques developed by professionals are far more diverse than well-documented techniques can cover. We leverage the vast underexplored innovations in photography for computational composition assistance. We propose a comprehensive framework, named CAPTAIN (Composition Assistance for Photo Taking), containing integrated deep-learned semantic detectors, sub-genre categorization, artistic pose clustering, personalized aesthetics-based image retrieval, and style set matching. The framework is backed by a large dataset crawled from a photo-sharing Website with mostly photography enthusiasts and professionals. The work proposes a sequence of steps that have not been explored in the past by researchers. The work addresses personal preferences for composition through presenting a ranked-list of photographs to the user based on user-specified weights in the similarity measure. The matching algorithm recognizes the best shot among a sequence of shots with respect to the user's preferred style set. We have conducted a number of experiments on the newly proposed components and reported findings. A user study demonstrates that the work is useful to those taking photos.


title: Siblings of an $\aleph_0$-categorical relational structure

abstract: A sibling of a relational structure $R$ is any structure $S$ which can be embedded into $R$ and, vice versa, in which $R$ can be embedded. Let $sib(R)$ be the number of siblings of $R$, these siblings being counted up to isomorphism. Thomass\'e conjectured that for countable relational structures made of at most countably many relations, $sib(R)$ is either $1$, countably infinite, or the size of the continuum; but even showing the special case $sib(R)=1$ or infinite is unsettled when $R$ is a countable tree. This is related to Bonato-Tardif conjecture asserting that for every tree $T$ the number of trees which are sibling of $T$ is either one or infinite. We prove that if $R$ is countable and $\aleph_{0}$-categorical, then indeed $sib(R)$ is one or infinite. Furthermore, $sib(R)$ is one if and only if $R$ is finitely partitionable in the sense of Hodkinson and Macpherson. The key tools in our proof are the notion of monomorphic decomposition of a relational structure introduced in a paper by Pouzet and Thi\'ery 2013 and studied further by Oudrar and Pouzet 2015, and a result of Frasnay 1984.


title: Field Electron Emission Induced Glow Discharge in Nanodiamond Vacuum Diode

abstract: The present letter extends the prior findings on self-induced heating of solid state field emission devices. It was found that a vacuum diode (base pressure $\sim10^{-9}$ Torr), that makes use of graphite-rich polycrystalline diamond as cathode material, can switch from diode regime to resistor regime, to glow discharge plasma regime without any external perturbation, i.e. all transitions are self-induced. Combined results of in situ field emission microscopy and ex situ electron microscopy and Raman spectroscopy suggested that the nanodiamond cathode of the diode heated to about 3000 K which caused self-induced material evaporation, ionization and eventually micro-plasma formation. Our results confirm that field emission, commonly called cold emission, is a very complex phenomenon that can cause severe thermal load. Thermal load and material runaway could be the major factors causing vacuum diode deterioration, i.e. progressive increase in turn-on field, decrease in field enhancement factor, and eventual failure.


title: Accelerated Gradient-free Neural Network Training by Multi-convex Alternating Optimization

abstract: In recent years, even though Stochastic Gradient Descent (SGD) and its variants are well-known for training neural networks, it suffers from limitations such as the lack of theoretical guarantees, vanishing gradients, and excessive sensitivity to input. To overcome these drawbacks, alternating minimization methods have attracted fast-increasing attention recently. As an emerging and open domain, however, several new challenges need to be addressed, including 1) Convergence properties are sensitive to penalty parameters, and 2) Slow theoretical convergence rate. We, therefore, propose a novel monotonous Deep Learning Alternating Minimization (mDLAM) algorithm to deal with these two challenges. Our innovative inequality-constrained formulation infinitely approximates the original problem with non-convex equality constraints, enabling our convergence proof of the proposed mDLAM algorithm regardless of the choice of hyperparameters. Our mDLAM algorithm is shown to achieve a fast linear convergence by the Nesterov acceleration technique. Extensive experiments on multiple benchmark datasets demonstrate the convergence, effectiveness, and efficiency of the proposed mDLAM algorithm. Our code is available at \url{https://github.com/xianggebenben/mDLAM}.


title: Algebraic differential independence regarding the Riemann $\boldsymbol{\zeta}$-function and the Euler $\boldsymbol{\Gamma}$-function

abstract: In this paper, we prove that $\boldsymbol{\zeta}$ cannot be a solution to any nontrivial algebraic differential equation whose coefficients are polynomials in $\boldsymbol{\Gamma},\boldsymbol{\Gamma}^{(n)}$ and $\boldsymbol{\Gamma}^{(\ell n)}$ over the ring of polynomials in $\mathbf{C}$, where $\ell,n\geq1$ are positive integers.


title: Observation of the nonlinear Wood's anomaly on periodic arrays of nickel nanodimers

abstract: Linear and nonlinear magneto-photonic properties of periodic arrays of nickel nanodimers are governed by the interplay of the (local) optical response of individual nanoparticles and (non-local) diffraction phenomena, with a striking example of Wood's anomaly. Angular and magnetic-field dependencies of the second harmonic intensity evidence Wood's anomaly when new diffraction orders emerge. Near-infrared spectroscopic measurements performed at different optical wavelengths and grating constants discriminate between the linear and nonlinear excitation mechanisms of Wood's anomalies. In the nonlinear regime the Wood's anomaly is characterized by an order-of-magnitude larger effect in intensity redistribution between the diffracted beams, as compared to the linear case. The nonlinear Wood's anomaly manifests itself also in the nonlinear magnetic contrast highlighting the prospects of nonlinear magneto-photonics.


title: Hydrodynamics of Interacting Rods

abstract: This note considers how hydrodynamic interactions between a pair of rods slow the motion of each rod. Rods are approximated as being nearly straight lines of pointlike beads. Hydrodynamic interactions between the beads are treated with generalizations, developed by Kynch (J. Fluid Mech. 5, 193-208 (1959)) and by Mazur and van Saarloos (Physica A 115, 21-57 (1982)) of the Oseen and Rotne-Prager hydrodynamic interaction tensors. We find that the hydrodynamic interactions between two rods, as they affect the mobility of a given rod, are with a minor exception not very different from the interactions between two beads, especially when the two rods are even modestly separated. At the level of approximation of bead-spring models of polymer coils, it therefore does not appear to be advantageous to replace sphere-sphere hydrodynamic interaction tensors with more elaborate rod-rod hydrodynamic interaction tensors.


title: Method for Quantitative Estimation of the Risk Propagation Threshold in Electric Power CPS Based on Seepage Probability

abstract: Because of the non-uniformity of the electric power CPS network and the dynamic nature of the risk propagation process, it is difficult to quantify the critical point of a cyber risk explosion. From the perspective of the dependency network, this paper proposes a method for quantitative evaluation of the risk propagation threshold of power CPS networks based on the percolation theory. First, the power CPS network is abstracted as a dual-layered network-directed unweighted graph according to topology correlation and coupling logic, and the asymmetrical balls-into-bins allocation method is used to establish a "one-to-many" and "partially coupled" non-uniform power CPS characterization model. Then, considering the directionality between the cyber layer and the physical layer link, the probability of percolation flow is introduced to establish the propagation dynamic equations for the internal coupling relationship of each layer. Finally, the risk propagation threshold is numerically quantified by defining the survival function of power CPS network nodes, and the validity of the proposed method is verified by the IEEE 30-bus system and 150-node Barabsi-Albert model.


title: Balanced presentations for fundamental groups of curves over finite fields

abstract: We show that the algebraic fundamental group of a smooth projective curve over a finite field admits a finite topological presentation where the number of relations does not exceed the number of generators.


title: A Ginga-enabled Digital Radio Mondiale Broadcasting chain: Signaling and Definitions

abstract: ISDB-T International standard is currently adopted by most Latin America countries and is already installed in most TV sets sold in recent years in the region. To support interactive applications in Digital TV receivers, ISDB-T defines the middleware Ginga. Similar to Digital TV, Digital Radio standards also provide the means to carry interactive applications; however, their specifications for interactive applications are usually more restricted than the ones used in Digital TV. Also, interactive applications for Digital TV and Digital Radio are usually incompatible. Motivated by such observations, this report considers the importance of interactive applications for both TV and Radio Broadcasting and the advantages of using the same middleware and languages specification for Digital TV and Radio. More specifically, it establishes the signaling and definitions on how to transport and execute Ginga-NCL and Ginga-HTML5 applications over DRM (Digital Radio Mondiale) transmission. Ministry of Science, Technology, Innovation and Communication of Brazil is carrying trials with Digital Radio Mondiale standard in order to define the reference model of the Brazilian Digital Radio System (Portuguese: Sistema Brasileiro de R\'adio Digital - SBRD).


title: R-SPIDER: A Fast Riemannian Stochastic Optimization Algorithm with Curvature Independent Rate

abstract: We study smooth stochastic optimization problems on Riemannian manifolds. Via adapting the recently proposed SPIDER algorithm \citep{fang2018spider} (a variance reduced stochastic method) to Riemannian manifold, we can achieve faster rate than known algorithms in both the finite sum and stochastic settings. Unlike previous works, by \emph{not} resorting to bounding iterate distances, our analysis yields curvature independent convergence rates for both the nonconvex and strongly convex cases.


title: CPAR: Cloud-Assisted Privacy-preserving Image Annotation with Randomized KD-Forest

abstract: With the explosive growth in the number of pictures taken by smartphones, organizing and searching pictures has become important tasks. To efficiently fulfill these tasks, the key enabler is annotating images with proper keywords, with which keyword-based searching and organizing become available for images. Currently, smartphones usually synchronize photo albums with cloud storage platforms, and have their images annotated with the help of cloud computing. However, the "offloading-to-cloud" solution may cause privacy breach, since photos from smart photos contain various sensitive information. For privacy protection, existing research made effort to support cloud-based image annotation on encrypted images by utilizing cryptographic primitives. Nevertheless, for each annotation, it requires the cloud to perform linear checking on the large-scale encrypted dataset with high computational cost. This paper proposes a cloud-assisted privacy-preserving image annotation with randomized kd-forest, namely CPAR. With CPAR, users are able to automatically assign keywords to their images by leveraging the power of cloud with privacy protected. CPAR proposes a novel privacy-preserving randomized kd-forest structure, which significantly improves the annotation performance compared with existing research. Thorough analysis is carried out to demonstrate the security of CPAR. Experimental evaluation on the well-known IAPR TC-12 dataset validates the efficiency and effectiveness of CPAR.


title: A Domain Theory for Statistical Probabilistic Programming

abstract: We give an adequate denotational semantics for languages with recursive higher-order types, continuous probability distributions, and soft constraints. These are expressive languages for building Bayesian models of the kinds used in computational statistics and machine learning. Among them are untyped languages, similar to Church and WebPPL, because our semantics allows recursive mixed-variance datatypes. Our semantics justifies important program equivalences including commutativity. Our new semantic model is based on `quasi-Borel predomains'. These are a mixture of chain-complete partial orders (cpos) and quasi-Borel spaces. Quasi-Borel spaces are a recent model of probability theory that focuses on sets of admissible random elements. Probability is traditionally treated in cpo models using probabilistic powerdomains, but these are not known to be commutative on any class of cpos with higher order functions. By contrast, quasi-Borel predomains do support both a commutative probabilistic powerdomain and higher-order functions. As we show, quasi-Borel predomains form both a model of Fiore's axiomatic domain theory and a model of Kock's synthetic measure theory.


title: Multilateral Index Number Systems for International Price Comparisons: Properties, Existence and Uniqueness

abstract: Over the past five decades a number of multilateral index number systems have been proposed for spatial and cross-country price comparisons. These multilateral indexes are usually expressed as solutions to systems of linear or nonlinear equations. In this paper, we provide general theorems that can be used to establish necessary and sufficient conditions for the existence and uniqueness of the Geary-Khamis, IDB, Neary and Rao indexes as well as potential new systems including two generalized systems of index numbers. One of our main results is that the necessary and sufficient conditions for existence and uniqueness of solutions can often be stated in terms of graph-theoretic concepts and a verifiable condition based on observed quantities of commodities.


title: Experimental wavelength-space division multiplexing of quantum key distribution with classical optical communication over multicore fiber

abstract: We demonstrate quantum key distribution (QKD) with classical signals in a seven-core fiber using dense wavelength division multiplexing. Quantum signals are transmitted in an outer core separately and intercore crosstalk (IC-XT) is the main impairment of them. In order to alleviate IC-XT, we propose a quantum-classical interleave scheme. Then the properties of IC-XT are analyzed based on the measurement results which indicate counter-propagation is a better co-existence method than co-propagation. Finally, we perform QKD experiments in the presence of two classical channels with a channel spacing of 100 GHz between quantum channel and the nearest classical channels. The experiment results prove counter-propagation almost immune to IC-XT, which is consistent with our analysis. Also, the feasibility of the transmission over the range of metropolitan area networks is validated with our scheme.


title: Fast On-the-fly Retraining-free Sparsification of Convolutional Neural Networks

abstract: Modern Convolutional Neural Networks (CNNs) are complex, encompassing millions of parameters. Their deployment exerts computational, storage and energy demands, particularly on embedded platforms. Existing approaches to prune or sparsify CNNs require retraining to maintain inference accuracy. Such retraining is not feasible in some contexts. In this paper, we explore the sparsification of CNNs by proposing three model-independent methods. Our methods are applied on-the-fly and require no retraining. We show that the state-of-the-art models' weights can be reduced by up to 73% (compression factor of 3.7x) without incurring more than 5% loss in Top-5 accuracy. Additional fine-tuning gains only 8% in sparsity, which indicates that our fast on-the-fly methods are effective.


title: Interpolation between Brezis-V\'azquez and Poincar\'e inequalities on nonnegatively curved spaces: sharpness and rigidities

abstract: This paper is devoted to investigate an interpolation inequality between the Brezis-V\'azquez and Poincar\'e inequalities (shortly, BPV inequality) on nonnegatively curved spaces. As a model case, we first prove that the BPV inequality holds on any Minkowski space, by fully characterizing the existence and shape of its extremals. We then prove that if a complete Finsler manifold with nonnegative Ricci curvature supports the BPV inequality, then its flag curvature is identically zero. In particular, we deduce that a Berwald space of nonnegative Ricci curvature supports the BPV inequality if and only if it is isometric to a Minkowski space. Our arguments explore fine properties of Bessel functions, comparison principles, and anisotropic symmetrization on Minkowski spaces. As an application, we characterize the existence of nonzero solutions for a quasilinear PDE involving the Finsler-Laplace operator and a Hardy-type singularity on Minkowski spaces where the sharp BPV inequality plays a crucial role. The results are also new in the Riemannian/Euclidean setting.


title: Adversarially-Trained Normalized Noisy-Feature Auto-Encoder for Text Generation

abstract: This article proposes Adversarially-Trained Normalized Noisy-Feature Auto-Encoder (ATNNFAE) for byte-level text generation. An ATNNFAE consists of an auto-encoder where the internal code is normalized on the unit sphere and corrupted by additive noise. Simultaneously, a replica of the decoder (sharing the same parameters as the AE decoder) is used as the generator and fed with random latent vectors. An adversarial discriminator is trained to distinguish training samples reconstructed from the AE from samples produced through the random-input generator, making the entire generator-discriminator path differentiable for discrete data like text. The combined effect of noise injection in the code and shared weights between the decoder and the generator can prevent the mode collapsing phenomenon commonly observed in GANs. Since perplexity cannot be applied to non-sequential text generation, we propose a new evaluation method using the total variance distance between frequencies of hash-coded byte-level n-grams (NGTVD). NGTVD is a single benchmark that can characterize both the quality and the diversity of the generated texts. Experiments are offered in 6 large-scale datasets in Arabic, Chinese and English, with comparisons against n-gram baselines and recurrent neural networks (RNNs). Ablation study on both the noise level and the discriminator is performed. We find that RNNs have trouble competing with the n-gram baselines, and the ATNNFAE results are generally competitive.


title: Spin-valley half-metal in systems with Fermi surface nesting

abstract: Half-metals have fully spin polarized charge carriers at the Fermi surface. Such polarization usually occurs due to strong electron--electron correlations. Recently [Phys. Rev. Lett. {\bf{119}}, 107601 (2017)], we have demonstrated theoretically that adding (or removing) electrons to systems with Fermi surface nesting also stabilizes the half-metallic states even in the weak-coupling regime. In the absence of doping, the ground state of the system is a spin or charge density wave, formed by four nested bands. Each of these bands is characterized by charge (electron/hole) and spin (up/down) labels. Only two of these bands accumulate charge carriers introduced by doping, forming a half-metallic two-valley Fermi surface. Analysis demonstrates that two types of such half-metallicity can be stabilized. The first type corresponds to the full spin polarization of the electrons and holes at the Fermi surface. The second type, with antiparallel spins in electron-like and hole-like valleys, is referred to as a "spin-valley half-metal" and corresponds to the complete polarization with respect to the spin-valley operator. We analyze spin and spin-valley currents and possible superconductivity in these systems. We show that spin or spin-valley currents can flow in both half-metallic phases.


title: Bargmann and Barut-Girardello models for the Racah algebra

abstract: The Racah algebra and its higher rank extension are the algebras underlying the univariate and multivariate Racah polynomials. In this paper we develop two new models in which the Racah algebra naturally arises as symmetry algebra, namely the Bargmann model and the Barut-Girardello model. We show how both models are connected with the superintegrable model of Miller et al. The Bargmann model moreover leads to a new realization of the Racah algebra of rank $n$ as $n$-variable differential operators. Our conceptual approach also allows us to rederive the basis functions of the superintegrable model without resorting to separation of variables.


title: On the Gradient of Harmonic Functions

abstract: For a harmonic function u on Euclidean space, this note shows that its gradient is essentially determined by the geometry of its level hypersurfaces. Specifically, the factor by which |grad(u)| changes along a gradient flow is completely determined by the mean curvature of the level hypersurfaces intersecting the flow.


title: A Note on Local Mode-in-State Participation Factors for Nonlinear Systems

abstract: The paper studies an extension to nonlinear systems of a recently proposed approach to the concept of modal participation factors. First, a definition is given for local mode-in-state participation factors for smooth nonlinear autonomous systems. The definition is general, and, unlike in the more traditional approach, the resulting participation measures depend on the assumed uncertainty law governing the system initial condition. The work follows Hashlamoun, Hassouneh and Abed (2009) in taking a mathematical expectation (or set-theoretic average) of a modal contribution measure with respect to an assumed uncertain initial state. As in the linear case, it is found that a symmetry assumption on the distribution of the initial state results in a tractable calculation and an explicit and simple formula for mode-in-state participation factors.


title: Boundary orders and geometry of the signed Thom-Smale complex for Sturm global attractors

abstract: We embark on a detailed analysis of the close relations between combinatorial and geometric aspects of the scalar parabolic PDE \begin{equation}\label{eq:*} u_t = u_{xx} + f(x,u,u_x) \tag{$*$} \end{equation} on the unit interval $0 < x<1$ with Neumann boundary conditions. We assume $f$ to be dissipative with $N$ hyperbolic equilibria $v\in\mathcal{E}$. The global attractor $\mathcal{A}$ of \eqref{eq:*}, also called \emph{Sturm global attractor}, consists of the unstable manifolds of all equilibria $v$. As cells, these form the \emph{Thom-Smale complex} $\mathcal{C}$. Based on the fast unstable manifolds of $v$, we introduce a refinement $\mathcal{C}^s$ of the regular cell complex $\mathcal{C}$, which we call the \emph{signed Thom-Smale complex}. Given the signed cell complex $\mathcal{C}^s$ and its underlying partial order, only, we derive the two total boundary orders $h_\iota:\{1,\ldots , N\}\rightarrow\mathcal{E}$ of the equilibrium values $v(x)$ at the two Neumann boundaries $\iota=x=0,1$. In previous work we have already established how the resulting Sturm permutation \[\sigma:=h_{0}^{-1} \circ h_1,\] conversely, determines the global attractor $\mathcal{A}$ uniquely, up to topological conjugacy.


title: Rapid population transfer of a two-level system by a polychromatically driving field

abstract: We propose a simple exact analytical solution for a model consisting of a two-level system and a polychromatically driving field. It helps us to realize a rapid complete population transfer from the ground state to the excited state, and the system can be stable at the excited state for an extremely long time. A combination of the mechanism and the Rydberg atoms successfully prepares the Bell state and multipartite $W$ state, and the experimental feasibility is discussed via the current experimental parameters. Finally, the simple exact analytical solution is generalized into a three-level system, which leads to a significant enhancement of the robustness against dissipation.


title: Image Cartoon-Texture Decomposition Using Isotropic Patch Recurrence

abstract: Aiming at separating the cartoon and texture layers from an image, cartoon-texture decomposition approaches resort to image priors to model cartoon and texture respectively. In recent years, patch recurrence has emerged as a powerful prior for image recovery. However, the existing strategies of using patch recurrence are ineffective to cartoon-texture decomposition, as both cartoon contours and texture patterns exhibit strong patch recurrence in images. To address this issue, we introduce the isotropy prior of patch recurrence, that the spatial configuration of similar patches in texture exhibits the isotropic structure which is different from that in cartoon, to model the texture component. Based on the isotropic patch recurrence, we construct a nonlocal sparsification system which can effectively distinguish well-patterned features from contour edges. Incorporating the constructed nonlocal system into morphology component analysis, we develop an effective method to both noiseless and noisy cartoon-texture decomposition. The experimental results have demonstrated the superior performance of the proposed method to the existing ones, as well as the effectiveness of the isotropic patch recurrence prior.


title: Detectability of Macroscopic Structures in Directed Asymmetric Stochastic Block Model

abstract: We study the problem of identifying macroscopic structures in networks, characterizing the impact of introducing link directions on the detectability phase transition. To this end, building on the stochastic block model, we construct a class of hardly detectable directed networks. We find closed form solutions by using belief propagation method showing how the transition line depends on the assortativity and the asymmetry of the network. Finally, we numerically identify the existence of a hard phase for detection close to the transition point.


title: Densely Connected Attention Propagation for Reading Comprehension

abstract: We propose DecaProp (Densely Connected Attention Propagation), a new densely connected neural architecture for reading comprehension (RC). There are two distinct characteristics of our model. Firstly, our model densely connects all pairwise layers of the network, modeling relationships between passage and query across all hierarchical levels. Secondly, the dense connectors in our network are learned via attention instead of standard residual skip-connectors. To this end, we propose novel Bidirectional Attention Connectors (BAC) for efficiently forging connections throughout the network. We conduct extensive experiments on four challenging RC benchmarks. Our proposed approach achieves state-of-the-art results on all four, outperforming existing baselines by up to $2.6\%-14.2\%$ in absolute F1 score.


title: Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs

abstract: We propose NOPOL, an approach to automatic repair of buggy conditional statements (i.e., if-then-else statements). This approach takes a buggy program as well as a test suite as input and generates a patch with a conditional expression as output. The test suite is required to contain passing test cases to model the expected behavior of the program and at least one failing test case that reveals the bug to be repaired. The process of NOPOL consists of three major phases. First, NOPOL employs angelic fix localization to identify expected values of a condition during the test execution. Second, runtime trace collection is used to collect variables and their actual values, including primitive data types and objected-oriented features (e.g., nullness checks), to serve as building blocks for patch generation. Third, NOPOL encodes these collected data into an instance of a Satisfiability Modulo Theory (SMT) problem, then a feasible solution to the SMT instance is translated back into a code patch. We evaluate NOPOL on 22 real-world bugs (16 bugs with buggy IF conditions and 6 bugs with missing preconditions) on two large open-source projects, namely Apache Commons Math and Apache Commons Lang. Empirical analysis on these bugs shows that our approach can effectively fix bugs with buggy IF conditions and missing preconditions. We illustrate the capabilities and limitations of NOPOL using case studies of real bug fixes.


title: User-Centric Multiobjective Approach to Privacy Preservation and Energy Cost Minimization in Smart Home

abstract: This paper investigates smart home energy management in consideration of tradeoffs between residential privacy and energy costs. A multiobjective approach that minimizes energy costs and maximizes privacy protection is proposed. The approach leads to a multiobjective optimization problem in which the two objectives are addressed in separate dimensions. A hybrid algorithm that employs a stochastic search for power scheduling of home appliances and uses deterministic battery control is developed accordingly. The proposed approach can avoid some drawbacks faced by conventional weighted-sum methods for multiobjective optimization: the combination of objectives in different units, heuristic assignment of weighting coefficients, and possible misrepresentation of user preference. In contrast with existing studies on residential user privacy that assume limited controllability of appliances to facilitate algorithm development, this approach addresses the use of flexible appliances in smart homes. Simulations reveal that the proposed approach can maintain a reasonable energy cost while robustly preserving user privacy at a sensible level; its convergence rate is comparable to existing multiobjective evolutionary algorithms while the proposed approach yields a better level of convergence; the proposed approach is scalable to a group of smart houses, achieving a superior peak-to-average ratio that is beneficial to the stability of the underlying power grid.


title: Event Shape Engineering and Multiplicity dependent Study of Identified Particle Production in proton+proton Collisions at $\sqrt{s}$= 13 TeV using PYTHIA8

abstract: Small system collectivity observed at the LHC energies along with enhancement of strangeness makes high-multiplicity proton+proton (pp) collisions very interesting in order to look for QGP-like features, usually found in heavy-ion collisions. It may be interesting to perform a double differential study of different observables in pp collisions in terms of charged particle multiplicity and event shape in order to understand the new dimensions in high-multiplicity pp physics. We study the correlation between the number of multi-partonic interactions (nMPI), event shape (transverse spherocity) and charged particle multiplicity classes. For the first time, we report the simulation results on the spherocity and charged particle multiplicity dependent study of ($\pi^{+}+\pi^{-}$), (K$^{+}$+K$^{-}$), (p+$\mathrm{\bar{p}}$), K$^{*0}$, $\phi$ and ($\Lambda+\bar{\Lambda}$) production in pp collisions at $\sqrt{s}$ = 13 TeV using PYTHIA8. We explore the event shape and charged particle multiplicity dependence of the transverse momentum ($p_{\rm{T}}$) spectra, integrated yield, mean transverse momentum ($\langle p_{\rm{T}} \rangle$) and particle ratios of the identified particles. This study provides a baseline for exploring the the event topology and final state multiplicity dependence of identified particle production in the LHC pp collisions.


abstract: In this work, we study the Regge-like spectra of excited singly heavy mesons by proposing a general Regge-like mass relations in which the slope ratio $\alpha ^{\prime }/\beta ^{\prime }$ between the radial and angular-momentum Regge trajectories is $\pi /2$ and the hadron mass undergoes a shift including the heavy quark mass and an extra binding energy between heavy quark and strange anti-quark. The relation is successfully tested against the observed spin-averaged data of the singly heavy mesons in their radially and angularly excited states. Some new predictions are made for more excited excitations and the discussion is given associated with the QCD string (flux tube) picture.


title: On Fast Neutrino Flavor Conversion Modes in the Nonlinear Regime

abstract: A dense neutrino medium could experience self-induced flavor conversions on relatively small scales in the presence of the so-called fast flavor conversion modes. Owing to the fact that fast conversion scales could be much smaller than the ones of the traditional collective neutrino oscillations, it has been speculated that fast modes could lead to some sort of flavor decoherence/equilibrium. We study the evolution of fast modes in the nonlinear regime and we show that not only fast modes are not guaranteed to lead to flavor equilibrium, but also they could lead to some sort of collective neutrino oscillations but on scales determined by neutrino number density. For the $\nu_e$ dominated case, we observe large amplitude collective oscillations, whereas a sort of flavor stabilization is reached for the $\bar{\nu}_e$ dominated case.


title: On Stability Condition of Wireless Networked Control Systems under Joint Design of Control Policy and Network Scheduling Policy

abstract: In this paper, we study a wireless networked control system (WNCS) with $N \ge 2$ sub-systems sharing a common wireless channel. Each sub-system consists of a plant and a controller and the control message must be delivered from the controller to the plant through the shared wireless channel. The wireless channel is unreliable due to interference and fading. As a result, a packet can be successfully delivered in a slot with a certain probability. A network scheduling policy determines how to transmit those control messages generated by such $N$ sub-systems and directly influences the transmission delay of control messages. We first consider the case that all sub-systems have the same sampling period. We characterize the stability condition of such a WNCS under the joint design of the control policy and the network scheduling policy by means of $2^N$ linear inequalities. We further simplify the stability condition into only one linear inequality for two special cases: the perfect-channel case where the wireless channel can successfully deliver a control message with certainty in each slot, and the symmetric-structure case where all sub-systems have identical system parameters. We then consider the case that different sub-systems can have different sampling periods, where we characterize a sufficient condition for stability.


title: Innovative 3D Depth Map Generation From A Holoscopic 3D Image Based on Graph Cut Technique

abstract: Holoscopic 3D imaging is a promising technique for capturing full colour spatial 3D images using a single aperture holoscopic 3D camera. It mimics fly's eye technique with a microlens array, which views the scene at a slightly different angle to its adjacent lens that records three dimensional information onto a two dimensional surface. This paper proposes a method of depth map generation from a holoscopic 3D image based on graph cut technique. The principal objective of this study is to estimate the depth information presented in a holoscopic 3D image with high precision. As such, depth map extraction is measured from a single still holoscopic 3D image which consists of multiple viewpoint images. The viewpoints are extracted and utilised for disparity calculation via disparity space image technique and pixels displacement is measured with sub pixel accuracy to overcome the issue of the narrow baseline between the viewpoint images for stereo matching. In addition, cost aggregation is used to correlate the matching costs within a particular neighbouring region using sum of absolute difference SAD combined with gradient-based metric and winner takes all algorithm is employed to select the minimum elements in the array as optimal disparity value. Finally, the optimal depth map is obtained using graph cut technique. The proposed method extends the utilisation of holoscopic 3D imaging system and enables the expansion of the technology for various applications of autonomous robotics, medical, inspection, AR VR, security and entertainment where 3D depth sensing and measurement are a concern.


title: Properties of Noncommutative Renyi and Augustin Information

abstract: R\'enyi and Augustin information are generalizations of mutual information defined via the R\'enyi divergence, playing a significant role in evaluating the performance of information processing tasks by virtue of its connection to the error exponent analysis. In quantum information theory, there are three generalizations of the classical R\'enyi divergence -- the Petz's, sandwiched, and log-Euclidean versions, that possess meaningful operational interpretation. However, the associated quantum R\'enyi and Augustin information are much less explored compared with their classical counterpart, and lacking crucial properties hinders applications of these quantities to error exponent analysis in the quantum regime. The goal of this paper is to analyze fundamental properties of the R\'enyi and Augustin information from a noncommutative measure-theoretic perspective. Firstly, we prove the uniform equicontinuity for all three quantum versions of R\'enyi and Augustin information, and it hence yields the joint continuity of these quantities in order and prior input distributions. Secondly, we establish the concavity of the scaled R\'enyi and Augustin information in the region of $s\in(-1,0)$ for both Petz's and the sandwiched versions. This completes the open questions raised by Holevo [IEEE Trans.~Inf.~Theory, 46(6):2256--2261, 2000], and Mosonyi and Ogawa [Commun.~Math.~Phys., 355(1):373--426, 2017]. For the applications, we show that the strong converse exponent in classical-quantum channel coding satisfies a minimax identity, which means that the strong converse exponent can be attained by the best constant composition code. The established concavity is further employed to prove an entropic duality between classical data compression with quantum side information and classical-quantum channel coding, and a Fenchel duality in joint source-channel coding with quantum side information.


title: Direct measurement of the Seebeck coefficient in a Kondo-correlated single-quantum-dot transistor

abstract: We report on the first measurement of the Seebeck coefficient in a tunnel-contacted and gate-tunable individual single-quantum dot junction in the Kondo regime, fabricated using the electromigration technique. This fundamental thermoelectric parameter is obtained by directly monitoring the magnitude of the voltage induced in response to a temperature difference across the junction, while keeping a zero net tunneling current through the device. In contrast to bulk materials and single molecules probed in a scanning tunneling microscopy (STM) configuration, investigating the thermopower in nanoscale electronic transistors benefits from the electric tunability to showcase prominent quantum effects. Here, striking sign changes of the Seebeck coefficient are induced by varying the temperature, depending on the spin configuration in the quantum dot. The comparison with Numerical Renormalization Group (NRG) calculations demonstrate that the tunneling density of states is generically asymmetric around the Fermi level in the leads, both in the cotunneling and Kondo regimes.


title: Equation of state near the first order phase transition point of SU(3) gauge theory using gradient flow

abstract: We study energy gap (latent heat) between the hot and cold phases at the first order phase transition point of the SU(3) gauge theory. Performing simulations on lattices with various spatial volumes and lattice spacings, we calculate the energy gap by a method using the Yang-Mills gradient flow and compare it with that by the conventional derivative method.


title: Magnetic Order and Lattice Instabilities in Ni$_{2}$Mn$_{1+x}$Sn$_{1-x}$ Heusler based Magnetic Shape-Memory Alloys

abstract: The magnetic correlations in the austenite phase and the consequent martensitic transition in inverse magnetocaloric alloys, Ni$_{2}$Mn$_{1+x}$Sn$_{1-x}$, have been a matter of debate for decades. We conclusively establish using {\it ab initio} phonon calculations that the spin alignment of excess Mn at the Sn site (Mn$_{Sn}$) with the existing Mn in the unit cell in the high temperature cubic phase of Ni-Mn-Sn alloy is ferromagnetic (FM), and not ferrimagnetic (FI), resolving a long lasting controversy. Using first principles density functional perturbation theory (DFPT), we observe an instability of the TA$_{2}$ mode along the $\Gamma$-M direction in the FM phase, very similar to that observed in the prototypical ferromagnetic shape memory alloy (FSMA) Ni$_{2}$MnGa. This specific instability is not observed in the FI phase. Further finite temperature first principles lattice dynamics calculations reveal that at 300 K the FM phase becomes mechanically stable, while the FI phase continue to remain unstable providing credence to the fact that the high-temperature phase has FM order. These results will be primordial to understand the magneto-structural properties of this class of compounds.


title: Integrable deformations of foliations: a generalization of Ilyashenko's result

abstract: We study analytic deformations of holomorphic differential 1-forms. The initial 1-form is exact homogeneous and the deformation is by polynomial integrable 1-forms. We investigate under which conditions the elements of the deformation are still exact or, more generally, exhibit a first integral. Our results are related to natural extensions of classical results of Ilyashenko on limit cycles of perturbations of hamiltonian systems in two complex variables.


title: A framework for simulating systemic risk and its application to the South African banking sector

abstract: We present a network-based framework for simulating systemic risk that considers shock propagation in banking systems. In particular, the framework allows the modeller to reflect a top-down framework where a shock to one bank in the system affects the solvency and liquidity position of other banks, through systemic market risks and consequential liquidity strains. We illustrate the framework with an application using South African bank balance sheet data. Spikes in simulated assessments of systemic risk agree closely with spikes in documented subjective assessments of this risk. This indicates that network models can be useful for monitoring systemic risk levels. The model results are sensitive to liquidity risk and market sentiment and therefore the related parameters are important considerations when using a network approach to systemic risk modelling.


title: Reinforcement Learning Based Speech Enhancement for Robust Speech Recognition

abstract: Conventional deep neural network (DNN)-based speech enhancement (SE) approaches aim to minimize the mean square error (MSE) between enhanced speech and clean reference. The MSE-optimized model may not directly improve the performance of an automatic speech recognition (ASR) system. If the target is to minimize the recognition error, the recognition results should be used to design the objective function for optimizing the SE model. However, the structure of an ASR system, which consists of multiple units, such as acoustic and language models, is usually complex and not differentiable. In this study, we proposed to adopt the reinforcement learning algorithm to optimize the SE model based on the recognition results. We evaluated the propsoed SE system on the Mandarin Chinese broadcast news corpus (MATBN). Experimental results demonstrate that the proposed method can effectively improve the ASR results with a notable 12.40% and 19.23% error rate reductions for signal to noise ratio at 0 dB and 5 dB conditions, respectively.


title: Microscopic Fluctuation Theory (mFT) for interacting Poisson processes

abstract: While the Macroscopic Fluctuation Theory (MFT) is a renormalized theory in the hydrodynamic limit based on a space-time local Lagrangian that is Gaussian with respect to the empirical current, C. Maes, K. Netocny and B. Wynants [Markov Proc. Rel. Fields. 14, 445 (2008)] have derived a microscopic Fluctuation Theory (mFT) for independent Markov jump processes based on a space-time local Lagrangian that is Poissonian with respect to the empirical flow, in direct relation with the general theory of large deviations at 'Level 2.5' for Markovian processes. Here we describe how this approach can be generalized to the presence of interactions, that can be either zero-range or involve neighbors, either for closed systems or for open systems with reservoirs.


title: Poisson structures of divisor-type

abstract: Poisson structures of divisor-type are those whose degeneracy can be captured by a divisor ideal, which is a locally principal ideal sheaf with nowhere-dense quotient support. This is a large class of Poisson structures which includes all generically-nondegenerate Poisson structures, such as log-, $b^k$-, elliptic, elliptic-log, and scattering Poisson structures. Divisor ideals are used to define almost-injective Lie algebroids of derivations preserving them, to which these Poisson structures can be lifted, often nondegenerately so. The resulting symplectic Lie algebroids can be studied using tools from symplectic geometry. In this paper we develop an effective framework for the study of Poisson structures of divisor-type (also called almost-regular Poisson structures) and their Lie algebroids. We provide lifting criteria for such Poisson structures, develop the language of divisors on smooth manifolds, and discuss residue maps to extract information from Lie algebroid forms along their degeneraci loci.


title: Geometry of Thermodynamic Processes

abstract: Since the 1970s contact geometry has been recognized as an appropriate framework for the geometric formulation of the state properties of thermodynamic systems, without, however, addressing the formulation of non-equilibrium thermodynamic processes. In Balian & Valentin (2001) it was shown how the symplectization of contact manifolds provides a new vantage point; enabling, among others, to switch between the energy and entropy representations of a thermodynamic system. In the present paper this is continued towards the global geometric definition of a degenerate Riemannian metric on the homogeneous Lagrangian submanifold describing the state properties, which is overarching the locally defined metrics of Weinhold and Ruppeiner. Next, a geometric formulation is given of non-equilibrium thermodynamic processes, in terms of Hamiltonian dynamics defined by Hamiltonian functions that are homogeneous of degree one in the co-extensive variables and zero on the homogeneous Lagrangian submanifold. The correspondence between objects in contact geometry and their homogeneous counterparts in symplectic geometry, as already largely present in the literature, appears to be elegant and effective. This culminates in the definition of port-thermodynamic systems, and the formulation of interconnection ports. The resulting geometric framework is illustrated on a number of simple examples, already indicating its potential for analysis and control.

categories: cond-mat.stat-mech math-ph math.MP math.SG


title: Non-Coplanar Model States in Quantum Magnetism Applications of the High-Order Coupled Cluster Method

abstract: Coplanar model states for applications of the coupled cluster method (CCM) to problems in quantum magnetism are those in which all spins lie in a plane, whereas three-dimensional (3D) model states are, by contrast, non-coplanar ones in which all the spins do not lie in any single plane. Here we extend the CCM to non-coplanar / 3D model states and we present results for three cases: (a) the spin-half one-dimensional Ising ferromagnet in an applied transverse magnetic field (as an exactly solvable test model to use as a yardstick for the viability and accuracy of our new methodology); (b) the spin-half triangular-lattice Heisenberg antiferromagnet in the presence of an external magnetic field; and (c) the spin-$S$ triangular-lattice {\it XXZ} antiferromagnet in the presence of an external magnetic field, for the cases $\frac{1}{2} \leq S \leq5 $. For 3D model states the sets of algebraic CCM equations for the ket- and bra-state correlation coefficients become complex-valued, but ground-state expectation values of all physical observables are manifestly real numbers, as required. Excellent correspondence is seen with the results of other methods, where they exist, for these systems. CCM results demonstrate explicitly that coplanar ordering is favoured over non-coplanar ordering for the triangular-lattice spin-half Heisenberg antiferromagnet at all values of the applied external magnetic field, whereas for the anisotropic {\it XXZ} model non-coplanar ordering can be favoured in some regions of the parameter space. Specifically, we present a precise determination of the boundary (i.e., the critical value of the {\it XXZ} anisotropy parameter $\Delta$) between a 3D ground state and a coplanar ground state for the {\it XXZ} model for values for the external magnetic field near to saturation, for values of the spin quantum number $S \leq 5$.


title: The Interplay Between Lattice Topology, Frustration, and Spin Quantum Number in Quantum Antiferromagnets on Archimedean Lattices

abstract: The interplay between lattice topology, frustration, and spin quantum number, $s$, is explored for the Heisenberg antiferromagnet (HAFM) on the eleven two-dimensional Archimedean lattices (square, honeycomb, CaVO, SHD, SrCuBO, triangle, bounce, trellis, maple-leaf, star, and kagome). We show the CCM provides consistently accurate results when compared to the results of other approximate methods. The $\sqrt{3}\times\sqrt{3}$ model state provides lower ground-state energies than those of the $q=0$ model state for the kagome and star lattices for most values of $s$. The $q=0$ model state provides lower ground-state energies only for $s=1/2$ for the kagome lattice and $s=1/2$ and $s=1$ for the star lattice. The kagome and star lattices demonstrate the least amount of magnetic ordering and the unfrustrated lattices (square, honeycomb, SHD, and CaVO) demonstrate the most magnetic ordering for all values of $s$. The SrCuBO and triangular lattices also demonstrate high levels of magnetic ordering, while the remaining lattices (bounce, maple-leaf, and trellis) tend to lie between these extremes, again for all values of $s$. These results also clearly reflect the strong increase in magnetic order with increasing spin quantum number $s$ for all lattices. The ground-state energy, $E_g/(NJs^2)$, scales with $s^{-1}$ to first order, as expected from spin-wave theory, although the order parameter, $M/s$, scales with $s^{-1}$ for most of the lattices only. Self-consistent spin-wave theory calculations indicated previously that $M/s$ scales with $s^{-2/3}$ for the kagome lattice HAFM, whereas previous CCM results (replicated here also) suggested that $M/s$ scales with $s^{-1/2}$. By using similar arguments, we find here also that $M/s$ scales with $s^{-1/3}$ on the star lattice and with $s^{-2/3}$ on the SrCuBO lattice.


title: StationPlot: A New Non-stationarity Quantification Tool for Detection of Epileptic Seizures

abstract: A novel non-stationarity visualization tool known as StationPlot is developed for deciphering the chaotic behavior of a dynamical time series. A family of analytic measures enumerating geometrical aspects of the non-stationarity & degree of variability is formulated by convex hull geometry (CHG) on StationPlot. In the Euclidean space, both trend-stationary (TS) & difference-stationary (DS) perturbations are comprehended by the asymmetric structure of StationPlot's region of interest (ROI). The proposed method is experimentally validated using EEG signals, where it comprehend the relative temporal evolution of neural dynamics & its non-stationary morphology, thereby exemplifying its diagnostic competence for seizure activity (SA) detection. Experimental results & analysis-of-Variance (ANOVA) on the extracted CHG features demonstrates better classification performances as compared to the existing shallow feature based state-of-the-art & validates its efficacy as geometry-rich discriminative descriptors for signal processing applications.


title: Speech Intention Understanding in a Head-final Language: A Disambiguation Utilizing Intonation-dependency

abstract: For a large portion of real-life utterances, the intention cannot be solely decided by either their semantic or syntactic characteristics. Although not all the sociolinguistic and pragmatic information can be digitized, at least phonetic features are indispensable in understanding the spoken language. Especially in head-final languages such as Korean, sentence-final prosody has great importance in identifying the speaker's intention. This paper suggests a system which identifies the inherent intention of a spoken utterance given its transcript, in some cases using auxiliary acoustic features. The main point here is a separate distinction for cases where discrimination of intention requires an acoustic cue. Thus, the proposed classification system decides whether the given utterance is a fragment, statement, question, command, or a rhetorical question/command, utilizing the intonation-dependency coming from the head-finality. Based on an intuitive understanding of the Korean language that is engaged in the data annotation, we construct a network which identifies the intention of a speech, and validate its utility with the test sentences. The system, if combined with up-to-date speech recognizers, is expected to be flexibly inserted into various language understanding modules.


title: A Model of Competing Narratives

abstract: We formalize the argument that political disagreements can be traced to a "clash of narratives". Drawing on the "Bayesian Networks" literature, we model a narrative as a causal model that maps actions into consequences, weaving a selection of other random variables into the story. An equilibrium is defined as a probability distribution over narrative-policy pairs that maximizes a representative agent's anticipatory utility, capturing the idea that public opinion favors hopeful narratives. Our equilibrium analysis sheds light on the structure of prevailing narratives, the variables they involve, the policies they sustain and their contribution to political polarization.


title: Efficient Spiking Neural Networks with Logarithmic Temporal Coding

abstract: A Spiking Neural Network (SNN) can be trained indirectly by first training an Artificial Neural Network (ANN) with the conventional backpropagation algorithm, then converting it into an SNN. The conventional rate-coding method for SNNs uses the number of spikes to encode magnitude of an activation value, and may be computationally inefficient due to the large number of spikes. Temporal-coding is typically more efficient by leveraging the timing of spikes to encode information. In this paper, we present Logarithmic Temporal Coding (LTC), where the number of spikes used to encode an activation value grows logarithmically with the activation value; and the accompanying Exponentiate-and-Fire (EF) spiking neuron model, which only involves efficient bit-shift and addition operations. Moreover, we improve the training process of ANN to compensate for approximation errors due to LTC. Experimental results indicate that the resulting SNN achieves competitive performance at significantly lower computational cost than related work.


title: Towards Formula Translation using Recursive Neural Networks

abstract: While it has become common to perform automated translations on natural language, performing translations between different representations of mathematical formulae has thus far not been possible. We implemented the first translator for mathematical formulae based on recursive neural networks. We chose recursive neural networks because mathematical formulae inherently include a structural encoding. In our implementation, we developed new techniques and topologies for recursive tree-to-tree neural networks based on multi-variate multi-valued Long Short-Term Memory cells. We propose a novel approach for mini-batch training that utilizes clustering and tree traversal. We evaluate our translator and analyze the behavior of our proposed topologies and techniques based on a translation from generic LaTeX to the semantic LaTeX notation. We use the semantic LaTeX notation from the Digital Library for Mathematical Formulae and the Digital Repository for Mathematical Formulae at the National Institute for Standards and Technology. We find that a simple heuristics-based clustering algorithm outperforms the conventional clustering algorithms on the task of clustering binary trees of mathematical formulae with respect to their topology. Furthermore, we find a mask for the loss function, which can prevent the neural network from finding a local minimum of the loss function. Given our preliminary results, a complete translation from formula to formula is not yet possible. However, we achieved a prediction accuracy of 47.05% for predicting symbols at the correct position and an accuracy of 92.3% when ignoring the predicted position. Concluding, our work advances the field of recursive neural networks by improving the training speed and quality of training. In the future, we will work towards a complete translation allowing a machine-interpretation of LaTeX formulae.


title: Development of the detectors for the DeeMe experiment

abstract: In the DeeMe experiment, approximately $70\ \mathrm{GHz/mm^{2}}$ prompt-charged particles will hit the multi-wire proportional chambers (MWPCs) before signal electrons come. To avoid the space charge effect, we developed fast HV-switching MWPCs in order to control the gas gain dynamically. All four of the MWPCs were manufactured. Last year, the circuit of readout amplifiers is slightly modified to further improve the efficiency of the detector, and we also started to investigate other possible choices of the gas mixture. In this article, the development of the detectors and results of performance tests will be presented.


title: Reconstructing resurrection

abstract: Let $R$ be an iterable weak coarse premouse and let $N$ be a premouse with Mitchell-Steel indexing, produced by a fully backgrounded $L[\mathbb{E}]$-construction of $R$. We identify and correct a problem with the process of resurrection used in the proof of iterability of $N$.


title: Skeleton-Based Action Recognition with Synchronous Local and Non-local Spatio-temporal Learning and Frequency Attention

abstract: Benefiting from its succinctness and robustness, skeleton-based action recognition has recently attracted much attention. Most existing methods utilize local networks (e.g., recurrent, convolutional, and graph convolutional networks) to extract spatio-temporal dynamics hierarchically. As a consequence, the local and non-local dependencies, which contain more details and semantics respectively, are asynchronously captured in different level of layers. Moreover, existing methods are limited to the spatio-temporal domain and ignore information in the frequency domain. To better extract synchronous detailed and semantic information from multi-domains, we propose a residual frequency attention (rFA) block to focus on discriminative patterns in the frequency domain, and a synchronous local and non-local (SLnL) block to simultaneously capture the details and semantics in the spatio-temporal domain. Besides, a soft-margin focal loss (SMFL) is proposed to optimize the learning whole process, which automatically conducts data selection and encourages intrinsic margins in classifiers. Our approach significantly outperforms other state-of-the-art methods on several large-scale datasets.


title: Pressure induced magnetism in rotated graphene bilayers

abstract: Using ab initio methods based on the density functional theory we show that rotated graphene bilayers at angles different from the magic ones can have an electronic spectrum similar to those by applying moderate external pressures. We find that for an angle of $5.08^{\circ}$ and a pressure of 2.19 GPa the spin restricted spectrum displays a flat band at the Fermi level similar to the one found at magic angles. In addition, the spin unrestricted calculations show a correlated ferromagnetic ground state with a total magnetic moment of 3.7 $\mu_{B}$ per unit cell being mostly localized in the AA stacking region of the Moir\'{e} pattern. The possibility of antiferromagnetic order is considered but not calculated. Doping the system destroys the magnetic moments. The plausibility of BCS superconductivity in the doped system is analyzed.


title: Near Real-Time Data Labeling Using a Depth Sensor for EMG Based Prosthetic Arms

abstract: Recognizing sEMG (Surface Electromyography) signals belonging to a particular action (e.g., lateral arm raise) automatically is a challenging task as EMG signals themselves have a lot of variation even for the same action due to several factors. To overcome this issue, there should be a proper separation which indicates similar patterns repetitively for a particular action in raw signals. A repetitive pattern is not always matched because the same action can be carried out with different time duration. Thus, a depth sensor (Kinect) was used for pattern identification where three joint angles were recording continuously which is clearly separable for a particular action while recording sEMG signals. To Segment out a repetitive pattern in angle data, MDTW (Moving Dynamic Time Warping) approach is introduced. This technique is allowed to retrieve suspected motion of interest from raw signals. MDTW based on DTW algorithm, but it will be moving through the whole dataset in a pre-defined manner which is capable of picking up almost all the suspected segments inside a given dataset an optimal way. Elevated bicep curl and lateral arm raise movements are taken as motions of interest to show how the proposed technique can be employed to achieve auto identification and labelling. The full implementation is available at https://github.com/GPrathap/OpenBCIPython