title: From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server

abstract: We present the first formal verification of a networked server implemented in C. Interaction trees, a general structure for representing reactive computations, are used to tie together disparate verification and testing tools (Coq, VST, and QuickChick) and to axiomatize the behavior of the operating system on which the server runs (CertiKOS). The main theorem connects a specification of acceptable server behaviors, written in a straightforward "one client at a time" style, with the CompCert semantics of the C program. The variability introduced by low-level buffering of messages and interleaving of multiple TCP connections is captured using network refinement, a variant of observational refinement.


title: Kerr-de Sitter Quasinormal Modes via Accessory Parameter Expansion

abstract: Quasinormal modes are characteristic oscillatory modes that control the relaxation of a perturbed physical system back to its equilibrium state. In this work, we calculate QNM frequencies and angular eigenvalues of Kerr--de Sitter black holes using a novel method based on conformal field theory. The spin-field perturbation equations of this background spacetime essentially reduce to two Heun's equations, one for the radial part and one for the angular part. We use the accessory parameter expansion of Heun's equation, obtained via the isomonodromic $\tau$-function, in order to find analytic expansions for the QNM frequencies and angular eigenvalues. The expansion for the frequencies is given as a double series in the rotation parameter $a$ and the extremality parameter $\epsilon=(r_{C}-r_{+})/L$, where $L$ is the de Sitter radius and $r_{C}$ and $r_{+}$ are the radii of, respectively, the cosmological and event horizons. Specifically, we give the frequency expansion up to order $\epsilon^2$ for general $a$, and up to order $\epsilon^{3}$ with the coefficients expanded up to $(a/L)^{3}$. Similarly, the expansion for the angular eigenvalues is given as a series up to $(a\omega)^{3}$ with coefficients expanded for small $a/L$. We verify the new expansion for the frequencies via a numerical analysis and that the expansion for the angular eigenvalues agrees with results in the literature.


title: LP-WaveNet: Linear Prediction-based WaveNet Speech Synthesis

abstract: We propose a linear prediction (LP)-based waveform generation method via WaveNet vocoding framework. A WaveNet-based neural vocoder has significantly improved the quality of parametric text-to-speech (TTS) systems. However, it is challenging to effectively train the neural vocoder when the target database contains massive amount of acoustical information such as prosody, style or expressiveness. As a solution, the approaches that only generate the vocal source component by a neural vocoder have been proposed. However, they tend to generate synthetic noise because the vocal source component is independently handled without considering the entire speech production process; where it is inevitable to come up with a mismatch between vocal source and vocal tract filter. To address this problem, we propose an LP-WaveNet vocoder, where the complicated interactions between vocal source and vocal tract components are jointly trained within a mixture density network-based WaveNet model. The experimental results verify that the proposed system outperforms the conventional WaveNet vocoders both objectively and subjectively. In particular, the proposed method achieves 4.47 MOS within the TTS framework.


title: Effects of microstructure and growth conditions on quantum emitters in Gallium Nitride

abstract: Single-photon emitters in gallium nitride (GaN) are gaining interest as attractive quantum systems due to the well-established techniques for growth and nanofabrication of the host material, as well as its remarkable chemical stability and optoelectronic properties. We investigate the nature of such single-photon emitters in GaN with a systematic analysis of various samples produced under different growth conditions. We explore the effect that intrinsic structural defects (dislocations and stacking faults), doping and crystal orientation in GaN have on the formation of quantum emitters. We investigate the relationship between the position of the emitters (determined via spectroscopy and photoluminescence measurements) and the location of threading dislocations (characterised both via atomic force microscopy and cathodoluminescence). We find that quantum emitters do not correlate with stacking faults or dislocations; instead, they are more likely to originate from point defects or impurities whose density is modulated by the local extended defect density.

categories: physics.app-ph cond-mat.mtrl-sci physics.optics quant-ph


title: Exploring Reionization-Era Quasars IV: Discovery of Six New $z \gtrsim 6.5$ Quasars with DES, VHS and unWISE Photometry

abstract: This is the fourth paper in a series of publications aiming at discovering quasars at the epoch of reionization. In this paper, we expand our search for $z\sim 7$ quasars to the footprint of the Dark Energy Survey (DES) Data Release One (DR1), covering $\sim 5000$ deg$^2$ of new area. We select $z\sim 7$ quasar candidates using deep optical, near-infrared (near-IR) and mid-IR photometric data from the DES DR1, the VISTA Hemisphere Survey (VHS), the VISTA Kilo-degree Infrared Galaxy (VIKING) survey, the UKIRT InfraRed Deep Sky Surveys -- Large Area Survey (ULAS) and the unblurred coadds from the Wide-field Infrared Survey Explore ($WISE$) images (unWISE). The inclusion of DES and unWISE photometry allows the search to reach $\sim$ 1 magnitude fainter, comparing to our $z \gtrsim 6.5$ quasar survey in the northern sky (Wang et al. 2018). We report the initial discovery and spectroscopic confirmation of six new luminous quasars at $z>6.4$, including an object at $z=7.02$, the fourth quasar yet known at $z>7$, from a small fraction of candidates observed thus far. Based on the recent measurement of $z \sim 6.7 $ quasar luminosity function using the quasar sample from our survey in the northern sky, we estimate that there will be $\gtrsim$ 55 quasars at $z > 6.5$ at $M_{1450} < -24.5$ in the full DES footprint.


title: Electromagnetic coupling of twisted multi-filament superconducting tapes in a ramped magnetic field

abstract: We investigate theoretically the magnetization loss and electromagnetic coupling of twisted multi-filament superconducting (SC) tapes in a ramped magnetic field. Based on the two-dimensional reduced Faraday--Maxwell equation for a tape surface obtained with a thin-sheet approximation, we simulate numerically the power loss $P$ per unit length on twisted multi-filament tapes in the steady state. The current density profile clearly shows electromagnetic coupling between the SC filaments upon increasing the field sweep rate $\beta$. Although the $\beta$ dependence of $P/\beta$ for twisted multi-filament SC tapes closely resembles that for filaments in an alternating field, we show that the mechanism for electromagnetic coupling in a ramped field differs from that in an alternating field. We also identify the conditions under which electromagnetic coupling is suppressed for the typical sweep rate of a magnet used for magnetic resonance imaging.


title: Zero-index bound states in the continuum

abstract: Metamaterials with an effective zero refractive index associated to their electromagnetic response are sought for a number of applications in communications and nonlinear optics. A promising way that this can be achieved in all-dielectric photonic crystals is through the design of a Dirac cone at zero Bloch wave-vector in the photonic band structure. In the optical frequency range, the natural way to implement this design is through the use of a photonic crystal slab. In the existing implementation, however, the zero-index photonic modes also radiate strongly into the environment due to intrinsic symmetry properties. This has resulted in large losses in recent experimental realizations of this zero-index paradigm. Here, we propose a photonic crystal slab with zero-index modes which are also symmetry-protected bound states in the continuum. Our approach thus eliminates the associated radiation loss. This could enable, for the first time, large-scale integration of zero-index materials in photonic devices.


title: Heavy Higgs as a Portal to the Supersymmetric Electroweak Sector

abstract: The electroweak sector of the Minimal Supersymmetric Standard Model (MSSM) - neutralinos, charginos and sleptons - remains relatively weakly constrained at the LHC due in part to the small production cross sections of these particles. In this paper, we study the prospects of searching for decays of heavy Higgs bosons into these superpartners at the high luminosity LHC. In addition to the kinematic handles offered by the presence of a resonant particle in the production chain, heavy Higgs decays can be the dominant production modes of these superpartners, making it possible to extend coverage to otherwise inaccessible regions of the supersymmetry and heavy Higgs parameter space. We illustrate our ideas with detailed collider analyses of two specific topologies: We propose search strategies for heavy Higgs decay to a pair of neutralinos, which can probe heavy Higgs bosons up to 1 TeV in the intermediate tan $\beta (\sim 2-8)$ region, where standard heavy Higgs searches have no reach. Similarly, we show that targeted searches for heavy Higgs decays into staus can probe stau masses up to several hundred GeV. We also provide a general overview of additional decay channels that might be accessible at the high luminosity LHC. This motivates a broader program for LHC heavy Higgs searches.


title: On the number of $k$th powers inside arithmetic progressions

abstract: We find upper bounds that are sharp for the number of $k$th powers inside arbitrary arithmetic progressions whose step has $O(1)$ many divisors.


title: Using permutations to assess confounding in machine learning applications for digital health

abstract: Clinical machine learning applications are often plagued with confounders that can impact the generalizability and predictive performance of the learners. Confounding is especially problematic in remote digital health studies where the participants self-select to enter the study, thereby making it challenging to balance the demographic characteristics of participants. One effective approach to combat confounding is to match samples with respect to the confounding variables in order to balance the data. This procedure, however, leads to smaller datasets and hence impact the inferences drawn from the learners. Alternatively, confounding adjustment methods that make more efficient use of the data (e.g., inverse probability weighting) usually rely on modeling assumptions, and it is unclear how robust these methods are to violations of these assumptions. Here, rather than proposing a new approach to control for confounding, we develop novel permutation based statistical methods to detect and quantify the influence of observed confounders, and estimate the unconfounded performance of the learner. Our tools can be used to evaluate the effectiveness of existing confounding adjustment methods. We illustrate their application using real-life data from a Parkinson's disease mobile health study collected in an uncontrolled environment.


title: Single-view Object Shape Reconstruction Using Deep Shape Prior and Silhouette

abstract: 3D shape reconstruction from a single image is a highly ill-posed problem. Modern deep learning based systems try to solve this problem by learning an end-to-end mapping from image to shape via a deep network. In this paper, we aim to solve this problem via an online optimization framework inspired by traditional methods. Our framework employs a deep autoencoder to learn a set of latent codes of 3D object shapes, which are fitted by a probabilistic shape prior using Gaussian Mixture Model (GMM). At inference, the shape and pose are jointly optimized guided by both image cues and deep shape prior without relying on an initialization from any trained deep nets. Surprisingly, our method achieves comparable performance to state-of-the-art methods even without training an end-to-end network, which shows a promising step in this direction.


title: Distributed Inference for Linear Support Vector Machine

abstract: The growing size of modern data brings many new challenges to existing statistical inference methodologies and theories, and calls for the development of distributed inferential approaches. This paper studies distributed inference for linear support vector machine (SVM) for the binary classification task. Despite a vast literature on SVM, much less is known about the inferential properties of SVM, especially in a distributed setting. In this paper, we propose a multi-round distributed linear-type (MDL) estimator for conducting inference for linear SVM. The proposed estimator is computationally efficient. In particular, it only requires an initial SVM estimator and then successively refines the estimator by solving simple weighted least squares problem. Theoretically, we establish the Bahadur representation of the estimator. Based on the representation, the asymptotic normality is further derived, which shows that the MDL estimator achieves the optimal statistical efficiency, i.e., the same efficiency as the classical linear SVM applying to the entire data set in a single machine setup. Moreover, our asymptotic result avoids the condition on the number of machines or data batches, which is commonly assumed in distributed estimation literature, and allows the case of diverging dimension. We provide simulation studies to demonstrate the performance of the proposed MDL estimator.


title: Soft-Output Detection Methods for Sparse Millimeter Wave MIMO Systems with Low-Precision ADCs

abstract: The use of low-precision analog-to-digital converters (ADCs) is a low-cost and power-efficient solution for a millimeter wave (mmWave) multiple-input multiple-output (MIMO) system operating at sampling rates higher than a few Gsample/sec. This solution, however, can make significant frame-error-rates (FERs) degradation due to inter-subcarrier interference when applying conventional frequency-domain equalization techniques. In this paper, we propose computationally-efficient yet near-optimal soft-output detection methods for the coded mmWave MIMO systems with low-precision ADCs. The underlying idea of the proposed methods is to construct an extremely sparse inter-symbol-interference (ISI) channel model by jointly exploiting the delay-domain sparsity in mmWave channels and a high quantization noise caused by low-precision ADCs. Then we harness this sparse channel model to create a trellis diagram with a reduced number of states or a factor graph with very sparse edge connections. Using the reduced trellis diagram, we present a soft-output detection method that computes the log-likelihood ratios (LLRs) of coded bits by optimally combining the quantized received signals obtained from multiple receive antennas using a forward-and-backward algorithm. To reduce the computational complexity further, we also present a low-complexity detection method using the sparse factor graph to compute the LLRs in an iterative fashion based on a belief propagation algorithm. Simulations results demonstrate that the proposed soft-output detection methods provide significant FER gains compared to the existing frequency-domain equalization techniques in a coded mmWave MIMO system using one- or two-bit ADCs.


title: Pak-Stanley labeling for Central Graphical Arrangements

abstract: The original Pak-Stanley labeling was defined by Pak and Stanley as a bijective map from the set of regions of an extended Shi arrangement to the set of parking functions. This map was later generalized to other arrangements associated with graphs and directed multigraphs. In these more general cases the map is no longer bijective. However, it was shown Hopkins and Perkinson and then the first author that it is surjective to the set of the $G$-parking functions, where $G$ is the multigraph associated with the arrangement. This leads to a natural question: when is the generalized Pak-Stanley map bijective? In this paper we answer this question in the special case of central hyperplane arrangements, i.e. the case when all the hyperplanes of the arrangement pass through a common point.


title: Stochastic Top-$K$ Subset Bandits with Linear Space and Non-Linear Feedback

abstract: Many real-world problems like Social Influence Maximization face the dilemma of choosing the best $K$ out of $N$ options at a given time instant. This setup can be modeled as a combinatorial bandit which chooses $K$ out of $N$ arms at each time, with an aim to achieve an efficient trade-off between exploration and exploitation. This is the first work for combinatorial bandits where the feedback received can be a non-linear function of the chosen $K$ arms. The direct use of multi-armed bandit requires choosing among $N$-choose-$K$ options making the state space large. In this paper, we present a novel algorithm which is computationally efficient and the storage is linear in $N$. The proposed algorithm is a divide-and-conquer based strategy, that we call CMAB-SM. Further, the proposed algorithm achieves a \textit{regret bound} of $\tilde O(K^{\frac{1}{2}}N^{\frac{1}{3}}T^{\frac{2}{3}})$ for a time horizon $T$, which is \textit{sub-linear} in all parameters $T$, $N$, and $K$. %When applied to the problem of Social Influence Maximization, the performance of the proposed algorithm surpasses the UCB algorithm and some more sophisticated domain-specific methods.


title: Autoconj: Recognizing and Exploiting Conjugacy Without a Domain-Specific Language

abstract: Deriving conditional and marginal distributions using conjugacy relationships can be time consuming and error prone. In this paper, we propose a strategy for automating such derivations. Unlike previous systems which focus on relationships between pairs of random variables, our system (which we call Autoconj) operates directly on Python functions that compute log-joint distribution functions. Autoconj provides support for conjugacy-exploiting algorithms in any Python embedded PPL. This paves the way for accelerating development of novel inference algorithms and structure-exploiting modeling strategies.


title: A natural $Z^\prime$-portal Majorana dark matter in alternative U(1) extended Standard Model

abstract: We consider a non-exotic gauged U(1)$_X$ extension of the Standard Model (SM), where the U(1)$_X$ charge of a SM field is given by a linear combination of its hypercharge and Baryon-minus-Lepton ($B-L$) number. All the gauge and mixed gauge-gravitational anomalies are cancelled in this model with the introduction of three right-handed neutrinos (RHNs). Unlike the conventional minimal U(1)$_X$ model, where a universal U(1)$_X$ charge of $-1$ is assigned to three RHNs, we consider an alternative charge assignment, namely, two RHNs ($N_R^{1,2}$) have U(1)$_X$ charge $-4$ while one RHN ($N_R$) has a $+5$ charge. With a minimal extension of the Higgs sector, the three RHNs acquire their Majorana masses associated with U(1)$_X$ symmetry breaking. While $N_R^{1,2}$ have Yukawa coupling with the SM lepton doublets and play an essential role for the 'minimal seesaw' mechanism, $N_R$ is isolated from the SM particles due to its U(1)$_X$ charge and hence it is a natural candidate for the dark matter (DM) without invoking additional symmetries. In this model context, we investigate the $Z^\prime$-portal RHN DM scenario, where the RHN DM communicates with the SM particles through the U(1)$_X$ gauge boson ($Z^\prime$ boson). We identify a narrow parameter space by combining the constraints from the observed DM relic abundance, the results of the search for a $Z^\prime$ boson resonance at the Large Hadron Collider Run-2, and the gauge coupling perturbativity up to the Planck/Grand Unification scale. For a special choice of U(1)$_X$ charges for the SM fields allows us to extend the model to SU(5)$\times$U(1)$_X$ grand unification. In this scenario, the model parameter space is more severely constrained, which will be explored at future high energy collider experiments.


title: Certifying Quantum Randomness by Probability Estimation

abstract: We introduce probability estimation, a broadly applicable framework to certify randomness in a finite sequence of measurement results without assuming that these results are independent and identically distributed. Probability estimation can take advantage of verifiable physical constraints, and the certification is with respect to classical side information. Examples include randomness from single-photon measurements and device-independent randomness from Bell tests. Advantages of probability estimation include adaptability to changing experimental conditions, unproblematic early stopping when goals are achieved, optimal randomness rates, applicability to Bell tests with small violations, and unsurpassed finite-data efficiency. We greatly reduce latencies for producing random bits and formulate an associated rate-tradeoff problem of independent interest. We also show that the latency is determined by an information-theoretic measure of nonlocality rather than the Bell violation.


title: Composable secure multi-client delegated quantum computation

abstract: The engineering challenges involved in building large scale quantum computers, and the associated infrastructure requirements, mean that when such devices become available it is likely that this will be in limited numbers and in limited geographic locations. It is likely that many users will need to rely on remote access to delegate their computation to the available hardware. In such a scenario, the privacy and reliability of the delegated computations are important concerns. On the other hand, the distributed nature of modern computations has led to a widespread class of applications in which a group of parties attempt to perform a joint task over their inputs, e.g., in cloud computing. In this paper, we study the multi-client delegated quantum computation problem where we consider the global computation be made up of local computations that are individually decided by the clients. Each client part is kept secret from the server and the other clients. We construct a composable secure multi-client delegated quantum computation scheme from any composable secure single-client delegated quantum computation protocol and quantum authentication codes.


title: Adaptive Sparse Estimation with Side Information

abstract: The article considers the problem of estimating a high-dimensional sparse parameter in the presence of side information that encodes the sparsity structure. We develop a general framework that involves first using an auxiliary sequence to capture the side information, and then incorporating the auxiliary sequence in inference to reduce the estimation risk. The proposed method, which carries out adaptive SURE-thresholding using side information (ASUS), is shown to have robust performance and enjoy optimality properties. We develop new theories to characterize regimes in which ASUS far outperforms competitive shrinkage estimators, and establish precise conditions under which ASUS is asymptotically optimal. Simulation studies are conducted to show that ASUS substantially improves the performance of existing methods in many settings. The methodology is applied for analysis of data from single cell virology studies and microarray time course experiments.


title: A Note on the Well-posedness of Prandtl Equations in Dimension Two

abstract: In this paper, we investigate the local-in-time well-posedness for the two-dimensional Prandtl equations in weighted Sobolev spaces under the Oleinik's monotonicity condition.Due to the loss of tangential derivative caused by vertical velocity appearing in convective term, we add with artificial horizontal viscosity term to construct an approximate system that can obtain local-in-time well-posedness results easily. For this approximate system, we construct a new weighted norm for the vorticity to derive a positive life time(independent of artificial viscosity coefficient) and obtain uniform bound for vorticity in this weighted norm.Then, based on compactness argument, we prove the solution of approximate system converging to the solution of original Prandtl equations, and hence, obtain the local-in-time well-posedness result for the Prandtl equations with any large initial data, which improves the recent work [10].


title: Joint Design of Convolutional Code and CRC under Serial List Viterbi Decoding

abstract: This paper studies the joint design of optimal convolutional codes (CCs) and CRC codes when serial list Viterbi algorithm (S-LVA) is employed in order to achieve the target frame error rate (FER). We first analyze the S-LVA performance with respect to SNR and list size, repsectively, and prove the convergence of the expected number of decoding attempts when SNR goes to the extreme. We then propose the coded channel capacity as the criterion to jointly design optimal CC-CRC pair and optimal list size and show that the optimal list size of S-LVA is always the cardinality of all possible CCs. With the maximum list size, we choose the design metric of optimal CC-CRC pair as the SNR gap to random coding union (RCU) bound and the optimal CC-CRC pair is the one that achieves a target SNR gap with the least complexity. Finally, we show that a weaker CC with a strong optimal CRC code could be as powerful as a strong CC with no CRC code.


title: Privacy-Preserving Aggregation of Controllable Loads to Compensate Fluctuations in Solar Power

abstract: Cybersecurity and privacy are of the utmost importance for safe, reliable operation of the electric grid. It is well known that the increased connectivity/interoperability between all stakeholders (e.g., utilities, suppliers, and consumers) will enable personal information collection. Significant advanced metering infrastructure (AMI) deployment and demand response (DR) programs across the country, while enable enhanced automation, also generate energy data on individual consumers that can potentially be used for exploiting privacy. Inspired by existing works which consider DR, battery-based perturbation, and differential privacy noise adding, we novelly consider the aggregator (cluster) level privacy issue in the DR framework of solar photovoltaic (PV) generation following. Different from most of the existing works which mainly rely on the charging/discharging scheduling of rechargeable batteries, we utilize controllable building loads to serve as virtual storage devices to absorb a large portion of the PV generation while delicately keeping desired noisy terms to satisfy the differential privacy for the raw load profiles at the aggregator level. This not only ensures differential privacy, but also improves the DR efficiency in load following since part of the noisy signal in solar PV generation has been filtered out. In particular, a mixed integer quadratic optimization problem is formulated to optimally dispatch a population of on/off controllable loads to achieve this privacy preserving DR service.


title: Multi-granularity hierarchical attention fusion networks for reading comprehension and question answering

abstract: This paper describes a novel hierarchical attention network for reading comprehension style question answering, which aims to answer questions for a given narrative paragraph. In the proposed method, attention and fusion are conducted horizontally and vertically across layers at different levels of granularity between question and paragraph. Specifically, it first encode the question and paragraph with fine-grained language embeddings, to better capture the respective representations at semantic level. Then it proposes a multi-granularity fusion approach to fully fuse information from both global and attended representations. Finally, it introduces a hierarchical attention network to focuses on the answer span progressively with multi-level softalignment. Extensive experiments on the large-scale SQuAD and TriviaQA datasets validate the effectiveness of the proposed method. At the time of writing the paper (Jan. 12th 2018), our model achieves the first position on the SQuAD leaderboard for both single and ensemble models. We also achieves state-of-the-art results on TriviaQA, AddSent and AddOne-Sent datasets.


title: Searches for strongly-produced SUSY at CMS

abstract: Searches for the pair-production of colored supersymmetric particles are presented. The results cover different scenarios of gluino and squark production, including models of split supersymmetry that predict long-lived gluinos, compressed supersymmetric mass spectra characterized by soft decay products as well as models with R-parity violation with low or no missing transverse momentum in the final state. The results are based on proton-proton collisions recorded at $\sqrt{s}=$ 13 TeV with the CMS detector.


title: A secondary fan-spine magnetic structure in active region 11897

abstract: Fan-spine is a special topology in solar atmosphere and is closely related to magnetic null point as well as circular-ribbon flares, which can provide important information for understanding the intrinsic three-dimensional (3D) nature of solar flares. However, the fine structure within the fan has rarely been investigated. In present paper, we investigate a secondary fan-spine (SFS) structure within the fan of a larger fan-spine topology. On 2013 November 18, this large fan-spine structure was traced out due to the partial eruption of a filament, which caused a circular-ribbon flare in active region 11897. The extrapolated 3D magnetic fields and squashing factor Q maps depict distinctly this fan-spine topology, its surrounding quasi-separatrix layer (QSL) halo, and a smaller quasi-circular ribbon with high Q located in the center, which implies the existence of fine structure within the fan. The imaging observations, extrapolated 3D fields, and Q maps on November 17 show that there indeed exists an SFS surrounded by a QSL, which is enveloped by another QSL-halo corresponding to the overlying larger domeshaped fan. Moreover, the material flows caused by the null-point reconnection are also detected along this SFS. After checking the evolution of the underneath magnetic fields, we suggest that the continuous emergence of magnetic flux within the central parasitic region encompassed by the opposite-polarity fields results in the formation of the SFS under the large fan.


title: Quantifying CDS Sortability of Permutations by Strategic Pile Size

abstract: The special purpose sorting operation, context directed swap (CDS), is an example of the block interchange sorting operation studied in prior work on permutation sorting. CDS has been postulated to model certain molecular sorting events that occur in the genome maintenance program of some species of ciliates. We investigate the mathematical structure of permutations not sortable by the CDS sorting operation. In particular, we present substantial progress towards quantifying permutations with a given strategic pile size, which can be understood as a measure of CDS non-sortability. Our main results include formulas for the number of permutations in $\textsf{S}_n$ with maximum size strategic pile. More generally, we derive a formula for the number of permutations in $\textsf{S}_n$ with strategic pile size $k$, in addition to an algorithm for computing certain coefficients of this formula, which we call merge numbers.


title: Automatic Rendering of Building Floor Plan Images from Textual Descriptions in English

abstract: Human beings understand natural language description and could able to imagine a corresponding visual for the same. For example, given a description of the interior of a house, we could imagine its structure and arrangements of furniture. Automatic synthesis of real-world images from text descriptions has been explored in the computer vision community. However, there is no such attempt in the area of document images, like floor plans. Floor plan synthesis from sketches, as well as data-driven models, were proposed earlier. Ours is the first attempt to render building floor plan images from textual description automatically. Here, the input is a natural language description of the internal structure and furniture arrangements within a house, and the output is the 2D floor plan image of the same. We have experimented on publicly available benchmark floor plan datasets. We were able to render realistic synthesized floor plan images from the description written in English.


title: Hardness results for rainbow disconnection of graphs

abstract: Let $G$ be a nontrivial connected, edge-colored graph. An edge-cut $S$ of $G$ is called a rainbow cut if no two edges in $S$ are colored with a same color. An edge-coloring of $G$ is a rainbow disconnection coloring if for every two distinct vertices $s$ and $t$ of $G$, there exists a rainbow cut $S$ in $G$ such that $s$ and $t$ belong to different components of $G\setminus S$. For a connected graph $G$, the {\it rainbow disconnection number} of $G$, denoted by $rd(G)$, is defined as the smallest number of colors such that $G$ has a rainbow disconnection coloring by using this number of colors. In this paper, we show that for a connected graph $G$, computing $rd(G)$ is NP-hard. In particular, it is already NP-complete to decide if $rd(G)=3$ for a connected cubic graph. Moreover, we prove that for a given edge-colored (with an unbounded number of colors) connected graph $G$ it is NP-complete to decide whether $G$ is rainbow disconnected.


title: Tracking Systems as Thinging Machine: A Case Study of a Service Company

abstract: Object tracking systems play important roles in tracking moving objects and overcoming problems such as safety, security and other location-related applications. Problems arise from the difficulties in creating a well-defined and understandable description of tracking systems. Nowadays, describing such processes results in fragmental representation that most of the time leads to difficulties creating documentation. Additionally, once learned by assigned personnel, repeated tasks result in them continuing on autopilot in a way that often degrades their effectiveness. This paper proposes the modeling of tracking systems in terms of a new diagrammatic methodology to produce engineering-like schemata. The resultant diagrams can be used in documentation, explanation, communication, education and control.


title: Interactive X-ray and proton therapy training and simulation

abstract: External beam X-ray therapy (XRT) and proton therapy (PT) are effective and widely accepted forms of treatment for many types of cancer. However, the procedures require extensive computerized planning. Current planning systems for both XRT and PT have insufficient visual aid to combine real patient data with the treatment device geometry to account for unforeseen collisions among system components and the patient. We are proposing a cost-effective method to extract patient specific S-reps in real time, and combine them with the treatment system geometry to provide a comprehensive simulation of the XRT/PT treatment room. The X3D standard is used to implement and deploy the simulator on the web, enabling its use not only for remote specialists' collaboration, simulation, and training, but also for patient education.


title: Nonlinear supersymmetry as a hidden symmetry

abstract: Nonlinear supersymmetry is characterized by supercharges to be higher order in bosonic momenta of a system, and thus has a nature of a hidden symmetry. We review some aspects of nonlinear supersymmetry and related to it exotic supersymmetry and nonlinear superconformal symmetry. Examples of reflectionless, finite-gap and perfectly invisible PT-symmetric zero-gap systems, as well as rational deformations of the quantum harmonic oscillator and conformal mechanics, are considered, in which such symmetries are realized.


title: The haptic paradigm in education: Challenges and case studies

abstract: The process of learning involves interaction with the learning environment through our five senses (sight, hearing, touch, smell, and taste). Until recently, distance education focused only on the first two of those senses, sight and sound. Internet-based learning environments are predominantly visual with auditory components. With the advent of haptic technology we can now simulate/generate forces and, as a result, the sense of touch. The gaming industry has promoted the "touch" on the "wire", allowing complex multi-modal interactions online. In this article we provide a brief overview of the evolution of haptic technology, its potential for education, and existing challenges. We review recent data on 21st century students' behaviors, and share our experiences in designing interactive haptic environments for education. From the "Community of Inquiry" framework perspective, we discuss the potential impact of haptic feedback on cognitive and social presence.


title: On Limits of Sequences of Resolvent Kernels for Subkernels

abstract: In this paper, we approximate to continuous bi-Carleman kernels vanishing at infinity by sequences of their subkernels of Hilbert-Schmidt type and try to construct the resolvent kernels for these kernels as limits of sequences of the resolvent kernels for the approximating subkernels


title: HYPE: A High Performing NLP System for Automatically Detecting Hypoglycemia Events from Electronic Health Record Notes

abstract: Hypoglycemia is common and potentially dangerous among those treated for diabetes. Electronic health records (EHRs) are important resources for hypoglycemia surveillance. In this study, we report the development and evaluation of deep learning-based natural language processing systems to automatically detect hypoglycemia events from the EHR narratives. Experts in Public Health annotated 500 EHR notes from patients with diabetes. We used this annotated dataset to train and evaluate HYPE, supervised NLP systems for hypoglycemia detection. In our experiment, the convolutional neural network model yielded promising performance $Precision=0.96 \pm 0.03, Recall=0.86 \pm 0.03, F1=0.91 \pm 0.03$ in a 10-fold cross-validation setting. Despite the annotated data is highly imbalanced, our CNN-based HYPE system still achieved a high performance for hypoglycemia detection. HYPE could be used for EHR-based hypoglycemia surveillance and to facilitate clinicians for timely treatment of high-risk patients.


title: Network Uncertainty Informed Semantic Feature Selection for Visual SLAM

abstract: In order to facilitate long-term localization using a visual simultaneous localization and mapping (SLAM) algorithm, careful feature selection can help ensure that reference points persist over long durations and the runtime and storage complexity of the algorithm remain consistent. We present SIVO (Semantically Informed Visual Odometry and Mapping), a novel information-theoretic feature selection method for visual SLAM which incorporates semantic segmentation and neural network uncertainty into the feature selection pipeline. Our algorithm selects points which provide the highest reduction in Shannon entropy between the entropy of the current state and the joint entropy of the state, given the addition of the new feature with the classification entropy of the feature from a Bayesian neural network. Each selected feature significantly reduces the uncertainty of the vehicle state and has been detected to be a static object (building, traffic sign, etc.) repeatedly with a high confidence. This selection strategy generates a sparse map which can facilitate long-term localization. The KITTI odometry dataset is used to evaluate our method, and we also compare our results against ORB_SLAM2. Overall, SIVO performs comparably to the baseline method while reducing the map size by almost 70%.


title: Online External Beam Radiation Treatment Simulator

abstract: Radiation therapy is an effective and widely accepted form of treatment for many types of cancer that requires extensive computerized planning. Unfortunately, current treatment planning systems have limited or no visual aid that combines patient volumetric models extracted from patient-specific CT data with the treatment device geometry in a 3D interactive simulation. We illustrate the potential of 3D simulation in radiation therapy with a web-based interactive system that combines novel standards and technologies. We discuss related research efforts in this area and present in detail several components of the simulator. An objective assessment of the accuracy of the simulator and a usability study prove the potential of such a system for simulation and training.


title: Low-Complexity Adaptive Beam and Channel Tracking for Mobile mmWave Communications

abstract: In this paper, we study low-complexity algorithms for beam and channel tracking for millimeter-wave (mmWave) communications. In particular, the least mean squares (LMS) and bidirectional LMS (BiLMS) algorithms are derived for a mobile mmWave transmission scenario, where channel measurement is a nonlinear function of the unknown angle-of-arrival (AoA) and angle-of-departure (AoD). Numerical results confirm that LMS is superior to widely used Extended Kalman Filter (EKF) algorithm in tracking the mmWave beam, when the initialization of AoA/AoD and channel gains is imperfect (i.e., performed using noisy channel estimates). Moreover, BiLMS exhibits a very good mean square error (MSE) performance as compared to both LMS and EKF, which makes it a promising channel tracking algorithm for a mobile mmWave transmission scenario. We also show that LMS and BiLMS algorithms are more robust against the impairments due to the non-optimal antenna array size as compared to EKF, and show relatively faster convergence characteristic along with increasing signal-to-noise ratio (SNR).


title: Determination of a Class of Permutation Trinomials in Characteristic Three

abstract: Let $f(X)=X(1+aX^{q(q-1)}+bX^{2(q-1)})\in\Bbb F_{q^2}[X]$, where $a,b\in\Bbb F_{q^2}^*$. In a series of recent papers by several authors, sufficient conditions on $a$ and $b$ were found for $f$ to be a permutation polynomial (PP) of $\Bbb F_{q^2}$ and, in characteristic $2$, the sufficient conditions were shown to be necessary. In the present paper, we confirm that in characteristic 3, the sufficient conditions are also necessary. More precisely, we show that when $\text{char}\,\Bbb F_q=3$, $f$ is a PP of $\Bbb F_{q^2}$ if and only if $(ab)^q=a(b^{q+1}-a^{q+1})$ and $1-(b/a)^{q+1}$ is a square in $\Bbb F_q^*$.


title: Accounting for model uncertainty in multiple imputation under complex sampling

abstract: Multiple imputation provides an effective way to handle missing data. When several possible models are under consideration for the data, the multiple imputation is typically performed under a single-best model selected from the candidate models. This single model selection approach ignores the uncertainty associated with the model selection and so leads to underestimation of the variance of multiple imputation estimator. In this paper, we propose a new multiple imputation procedure incorporating model uncertainty in the final inference. The proposed method incorporates possible candidate models for the data into the imputation procedure using the idea of Bayesian Model Averaging (BMA). The proposed method is directly applicable to handling item nonresponse in survey sampling. Asymptotic properties of the proposed method are investigated. A limited simulation study confirms that our model averaging approach provides better estimation performance than the single model selection approach.


title: Rank two sheaves with maximal third Chern character in three-dimensional projective space

abstract: We give a complete classification of semistable rank two sheaves on three-dimensional projective space with maximal third Chern character. This implies an explicit description of their moduli spaces. As an open subset they contain rank two reflexive sheaves with maximal number of singularities. These spaces are irreducible, and apart from a single special case, they are also smooth. This extends a result by Okonek and Spindler to all missing cases and gives a new proof of their result. The key technical ingredient is variation of stability in the derived category.


title: Magnetic field effect on the chiral magnetism of noncentrosymmetric UPtGe: experiment and theory

abstract: The effect of differently oriented magnetic field on chiral incommensurate helimagnet UPtGe is studied both experimentally and theoretically. The magnetization measurements up to the field above the saturation have revealed an isotropic magnetic response below 20 T and a remarkable nonmonotonic anisotropy in high fields. Moreover, the two principally different phase transitions from the noncollinear incommensurate to the field-induced ferromagnetic state have been observed. These properties are successfully explained by density-functional theory calculations taking into account the noncollinearity of the magnetic structures, arbitrary directed magnetic field, and relativistic effects. We also estimate the strength of different competing magnetic interactions and discuss possible scenarios of the field-induced phase transformations.


title: Distributed Augmented Reality with 3D Lung Dynamics -- A Planning Tool Concept

abstract: Augmented Reality (AR) systems add visual information to the world by using advanced display techniques. The advances in miniaturization and reduced costs make some of these systems feasible for applications in a wide set of fields. We present a potential component of the cyber infrastructure for the operating room of the future; a distributed AR based software-hardware system that allows real-time visualization of 3D lung dynamics superimposed directly on the patient's body. Several emergency events (e.g. closed and tension pneumothorax) and surgical procedures related to the lung (e.g. lung transplantation, lung volume reduction surgery, surgical treatment of lung infections, lung cancer surgery) could benefit from the proposed prototype.


title: Approximating Fixed points of Bregman Generalized $\alpha$-nonexpansive mappings

abstract: In this paper, we introduce a new class of Bregman generalized $\alpha$-nonexpansive mappings in terms of Bregman distances, and investigate the Ishikawa and Noor iterations for these mappings. We establish weak and strong convergence theorems of Ishikawa and Noor iterative schemes for Bregman generalized $\alpha$-nonexpansive mappings in Banach spaces. Furthermore, we propose an example of our generated mapping and some numerical examples which support our main theorem. Our results are new and improve the recent ones in the literature.


title: Sensors in Distributed Mixed Reality Environments

abstract: With the advances in sensors and computer networks an increased number of Mixed Reality (MR) applications require large amounts of information from the real world. Such information is collected through sensors (e.g. position and orientation tracking sensors). These sensors collect data from the physical environment in real-time at different locations and a distributed system connecting them must assure data distribution among collaborative sites at interactive speeds. We propose a new architecture for sensor based interactive distributed environments that falls in-between the atomistic peer-to-peer model and the traditional client-server model. Each node in the system is autonomous and fully manages its resources and connectivity. The dynamic behavior of the nodes is triggered by the human participants that manipulate the sensors attached to the nodes.


title: Rationality of moduli spaces of stable bundles on curves over $\mathbb{R}$

abstract: Let $C$ be a smooth, projective, geometrically irreducible curve defined over $\mathbb{R}$ such that $C(\mathbb{R}) = \emptyset$. Let $r>0$ and $d$ be integers which are coprime. Let $L$ be a line bundle on $C$ which corresponds to an $\mathbb{R}$ point of ${\rm Pic}^d_{C/\mathbb{R}}$. Let $\mathcal{M}_{r,L}$ be the moduli space of stable bundles on the complexification of $C$ of rank $r$ and determinant $L$. We classify birational types of $\mathcal{M}_{r,L}$ over $\mathbb{R}$.


title: The Redshift Distribution of Infrared-Faint Radio Sources

abstract: Infrared-Faint Radio Sources (IFRSs) are an important class of high-redshift active galaxy, and potentially important as a means of discovering more high-redshift radio sources, but only 25 IFRSs had redshifts prior to this paper. Here we increase the number of IFRSs with known spectroscopic redshifts by a factor of about 5 to 131, with redshifts up to z=4.387, and a median redshift of z = 2.68. The IFRS redshift distribution overlaps with the high-z radio galaxy (HzRG) redshift distribution but is significantly narrower, suggesting that the IFRSs are a subset of the larger class of HzRGs. We also confirm and measure the proposed correlation between redshift and 3.6 $\mu$m flux density, making it possible to use this correlation to find even higher redshift radio sources. Many more high-redshift sources are probably present in existing radio survey catalogues.


title: Large-scale Generative Modeling to Improve Automated Veterinary Disease Coding

abstract: Supervised learning is limited both by the quantity and quality of the labeled data. In the field of medical record tagging, writing styles between hospitals vary drastically. The knowledge learned from one hospital might not transfer well to another. This problem is amplified in veterinary medicine domain because veterinary clinics rarely apply medical codes to their records. We proposed and trained the first large-scale generative modeling algorithm in automated disease coding. We demonstrate that generative modeling can learn discriminative features when additionally trained with supervised fine-tuning. We systematically ablate and evaluate the effect of generative modeling on the final system's performance. We compare the performance of our model with several baselines in a challenging cross-hospital setting with substantial domain shift. We outperform competitive baselines by a large margin. In addition, we provide interpretation for what is learned by our model.


title: Mechanosensitive ion permeation across sub-nanoporous MoS$_2$ monolayers

abstract: We use all-atom molecular dynamics simulations informed by density functional theory calculations to investigate aqueous ion transport across sub-nanoporous monolayer molybdenum disulfide (MoS$_2$) membranes subject to varying tensile strains. Driven by a transmembrane electric field, highly mechanosensitive permeation of both anions and cations is demonstrated in membranes featuring certain pore structures. For pores that are permeable when unstrained, we demonstrate ion current modulation by a factor of over 20 in the tensile strain range of 0 - 4%. For unstrained pores that are impermeable, a clear strain-induced onset of permeability is demonstrated within the same range of strains. The underlying mechanism is shown to be a strain-induced reduction of the generally repulsive ion-pore interactions resulting from the ions' short-range interactions with the atoms in the pore interior and desolvation effects. The mechanosensitive pores considered in this work gain their electrostatic properties from the pore geometries and in principle do not require additional chemical functionalization. Here we propose the possibility of a new class of mechanosensitive nanoporous materials with permeation properties determined by the targeted engineering of vacancy defects.


title: Prediction Factory: automated development and collaborative evaluation of predictive models

abstract: In this paper, we present a data science automation system called Prediction Factory. The system uses several key automation algorithms to enable data scientists to rapidly develop predictive models and share them with domain experts. To assess the system's impact, we implemented 3 different interfaces for creating predictive modeling projects: baseline automation, full automation, and optional automation. With a dataset of online grocery shopper behaviors, we divided data scientists among the interfaces to specify prediction problems, learn and evaluate models, and write a report for domain experts to judge whether or not to fund to continue working on. In total, 22 data scientists created 94 reports that were judged 296 times by 26 experts. In a head-to-head trial, reports generated utilizing full data science automation interface reports were funded 57.5% of the time, while the ones that used baseline automation were only funded 42.5% of the time. An intermediate interface which supports optional automation generated reports were funded 58.6% more often compared to the baseline. Full automation and optional automation reports were funded about equally when put head-to-head. These results demonstrate that Prediction Factory has implemented a critical amount of automation to augment the role of data scientists and improve business outcomes.


title: Course-of-Value Induction in Cedille

abstract: In the categorical setting, histomorphisms model a course-of-value recursion scheme that allows functions to be defined using arbitrary previously computed values. In this paper, we use the Calculus of Dependent Lambda Eliminations (CDLE) to derive a lambda-encoding of inductive datatypes that admits course-of-value induction. Similar to course-of-value recursion, course-of-value induction gives access to inductive hypotheses at arbitrary depth of the inductive arguments of a function. We show that the derived course-of-value datatypes are well-behaved by proving Lambek's lemma and characterizing the computational behavior of the induction principle. Our work is formalized in the Cedille programming language and also includes several examples of course-of-value functions.


title: $\mathcal{H}_2$-Optimal Model Reduction Using Projected Nonlinear Least Squares

abstract: In many applications throughout science and engineering, model reduction plays an important role replacing expensive large-scale linear dynamical systems by inexpensive reduced order models that capture key features of the original, full order model. One approach to model reduction finds reduced order models that are locally optimal approximations in the $\mathcal{H}_2$ norm, an approach taken by the Iterative Rational Krylov Algorithm (IRKA) among others. Here we introduce a new approach for $\mathcal{H}_2$-optimal model reduction using the projected nonlinear least squares framework previously introduced in [J. M. Hokanson, SIAM J. Sci. Comput. 39 (2017), pp. A3107--A3128]. At each iteration, we project the $\mathcal{H}_2$ optimization problem onto a finite-dimensional subspace yielding a weighted least squares rational approximation problem. Subsequent iterations append this subspace such that the least squares rational approximant asymptotically satisfies the first order necessary conditions of the original, $\mathcal{H}_2$ optimization problem. This enables us to build reduced order models with similar error in the $\mathcal{H}_2$ norm but using far fewer evaluations of the expensive, full order model compared to competing methods. Moreover, our new algorithm only requires access to the transfer function of the full order model, unlike IRKA which requires a state-space representation or TF-IRKA which requires both the transfer function and its derivative. Applying the projected nonlinear least squares framework to the $\mathcal{H}_2$-optimal model reduction problem open new avenues for related model reduction problems.


title: Baryon acoustic oscillation methods for generic curvature: Application to the SDSS-III Baryon Oscillation Spectroscopic Survey

abstract: We develop methods for investigating baryon acoustic oscillation (BAO) features in cosmological models with non-trivial (but slowly varying) averaged spatial curvature: models that are not necessarily flat, close to flat, nor with constant spatial curvature. The class of models to which our methods apply include Lemaitre-Tolman-Bondi models, modified gravity cosmologies, and inhomogeneous cosmologies with backreaction - in which we do not have a prediction of the shape of the spatial 2-point correlation function, but where we nevertheless expect to see a BAO feature in the present-day galaxy distribution, in form of an excess in the galaxy 2-point correlation function. We apply our methods to the Baryon Oscillation Spectroscopic Survey (BOSS) dataset, investigating both the Lambda Cold Dark Matter ($\Lambda$CDM) and timescape cosmological models as case studies. The correlation functions measured in the two fiducial models contain a similarly-pronounced BAO feature. We use the relative tangential and radial BAO scales to measure the anisotropic Alcock-Paczy\'nski distortion parameter, $\epsilon$, which is independent of the underlying BAO preferred scale. We find that $\epsilon$ is consistent with zero in both fiducial cosmologies, indicating that models with a different spatial curvature behaviour can account for the relative positions of the tangential and radial BAO scale. We validate our methods using $\Lambda$CDM mocks.


title: Some properties of isoclinism in Lie superalgebras

abstract: Isoclinism of Lie superalgebras has been defined and studied currently. In this article it is shown that for finite dimensional Lie superalgebras of same dimension, the notation of isoclinism and isomorphism are equivalent. Furthermore we show that covers of finite dimensional Lie superalgebras are isomorphic using isoclinism concept.


title: RCW 120: A possible case of hit and run, elucidated by multi temperature dust mapping

abstract: We present resolution-enhanced images of warm dust at multiple temperatures and opacity index values in the star-forming bubble/HII region, RCW 120. The image set, representing a 4D hypercube of differential column density, was obtained using our Bayesian procedure, ppmap. The cool peripheral material ($\sim16$-22 K) exhibits ragged clumpy structure as noted previously by others. However, at higher temperatures ($\stackrel{>}{_\sim}26$ K) the geometry changes dramatically, showing a bubble boundary which is accurately circular in projection, except for the previously-reported opening in the north. Comparison with Spitzer 8 $\mu$m data suggests that the $\sim26$-30 K dust seen by Herschel resides in the photodissociation region (PDR) surrounding the HII region. Its projected radial profile is consistent with that of a spherical shell, thus arguing against previous suggestions of cylindrical or planar geometry. The inferred geometry is, in fact, consistent with previous interpretations of the HII region as a classical Str\"omgren sphere, except for the fact that the ionising star (CD -38.11636; O8V) is displaced by more than half a radius from its geometric centre. None of the previously published models has satisfactorily accounted for that displacement. It could, however, be explained by proper motion of the O star at $\sim2$-4 km s$^{-1}$ since its formation, possibly due to a cloud-cloud collision. We suggest that the current spherical bubble constitutes the fossilised remnant of the initial expansion of the HII region following the formation of the star, which now continues to flee its formation site.


title: Categorified groupoid-sets and their Burnside ring

abstract: We explore the category of internal categories in the usual category of (right) group-sets, whose objects are referred to as categorified group-sets. More precisely, we develop a new Burnside theory, where the equivalence relation between two categorified group-sets is given by a particular equivalence between the underlying categories. We also exhibit some of the differences between the old Burnside theory and the new one. Lastly, we briefly explain how to extend these new techniques and concepts to the context of groupoids, employing the categories of (right) groupoid-sets, aiming by this to give an alternative approach to the classical Burnside ring of groupoids.


title: Classical and quantum cosmology of $K$-essentially modified $R^2$ and pure $R^p$ gravity

abstract: We present a gravitational action with a modified higher order term of a combination of scalar curvature and Lagrangian density of a scalar field. This type of models has been considered first by Cruz-Dombriz et al. The classical and quantum cosmologies governed by the modified action are studied. Models described by a positive-definite action and a pure arbitrary-powered scalar curvature action without the standard Einstein-Hilbert term are also investigated. We show some particular cases in which exact solutions can be obtained.


title: ADCrowdNet: An Attention-injective Deformable Convolutional Network for Crowd Understanding

abstract: We propose an attention-injective deformable convolutional network called ADCrowdNet for crowd understanding that can address the accuracy degradation problem of highly congested noisy scenes. ADCrowdNet contains two concatenated networks. An attention-aware network called Attention Map Generator (AMG) first detects crowd regions in images and computes the congestion degree of these regions. Based on detected crowd regions and congestion priors, a multi-scale deformable network called Density Map Estimator (DME) then generates high-quality density maps. With the attention-aware training scheme and multi-scale deformable convolutional scheme, the proposed ADCrowdNet achieves the capability of being more effective to capture the crowd features and more resistant to various noises. We have evaluated our method on four popular crowd counting datasets (ShanghaiTech, UCF_CC_50, WorldEXPO'10, and UCSD) and an extra vehicle counting dataset TRANCOS, and our approach beats existing state-of-the-art approaches on all of these datasets.


title: Traffic Danger Recognition With Surveillance Cameras Without Training Data

abstract: We propose a traffic danger recognition model that works with arbitrary traffic surveillance cameras to identify and predict car crashes. There are too many cameras to monitor manually. Therefore, we developed a model to predict and identify car crashes from surveillance cameras based on a 3D reconstruction of the road plane and prediction of trajectories. For normal traffic, it supports real-time proactive safety checks of speeds and distances between vehicles to provide insights about possible high-risk areas. We achieve good prediction and recognition of car crashes without using any labeled training data of crashes. Experiments on the BrnoCompSpeed dataset show that our model can accurately monitor the road, with mean errors of 1.80% for distance measurement, 2.77 km/h for speed measurement, 0.24 m for car position prediction, and 2.53 km/h for speed prediction.


title: Charging station optimization for balanced electric car sharing

abstract: This work focuses on finding optimal locations for charging stations for one-way electric car sharing programs. The relocation of vehicles by a service staff is generally required in vehicle sharing programs in order to correct imbalances in the network. We seek to limit the need for vehicle relocation by strategically locating charging stations given estimates of traffic flow. A mixed-integer linear programming formulation is presented with a large number of potential charging station locations. A column generation approach is used which finds an optimal set of locations for the continuous relaxation of our problem. Results of a numerical experiment using real traffic and geographic information system location data show that our formulation significantly increases the balanced flow across the network, while our column generation technique was found to produce a superior solution in much shorter computation time compared to solving the original formulation with all possible station locations.


title: Simple stopping criteria for information theoretic feature selection

abstract: Feature selection aims to select the smallest feature subset that yields the minimum generalization error. In the rich literature in feature selection, information theory-based approaches seek a subset of features such that the mutual information between the selected features and the class labels is maximized. Despite the simplicity of this objective, there still remain several open problems in optimization. These include, for example, the automatic determination of the optimal subset size (i.e., the number of features) or a stopping criterion if the greedy searching strategy is adopted. In this paper, we suggest two stopping criteria by just monitoring the conditional mutual information (CMI) among groups of variables. Using the recently developed multivariate matrix-based Renyi's \alpha-entropy functional, which can be directly estimated from data samples, we showed that the CMI among groups of variables can be easily computed without any decomposition or approximation, hence making our criteria easy to implement and seamlessly integrated into any existing information theoretic feature selection methods with a greedy search strategy.


title: Efficient spin transport in a paramagnetic insulator

abstract: The discovery of new materials that efficiently transmit spin currents has been important for spintronics and material science. The electric insulator $\mathrm{Gd}_3\mathrm{Ga}_5\mathrm{O}_{12}$ (GGG) is a superior substrate for growing magnetic films, but has never been considered as a conduit for spin currents. Here we report spin current propagation in paramagnetic GGG over several microns. Surprisingly, the spin transport persists up to temperatures of 100 K $\gg$ $T_{\mathrm{g}} = 180$ mK, GGG's magnetic glass-like transition temperature. At 5 K we find a spin diffusion length ${\lambda_{\mathrm{GGG}}} = 1.8 \pm 0.2 {\mu}$m and a spin conductivity ${\sigma}_{\mathrm{GGG}} = (7.3 \pm 0.3) \times10^4$ $\mathrm{Sm}^{-1}$ that is larger than that of the record quality magnet $\mathrm{Y}_3\mathrm{Fe}_5\mathrm{O}_{12}$ (YIG). We conclude that exchange coupling is not required for efficient spin transport, which challenges conventional models and provides new material-design strategies for spintronic devices.


title: Continuous-variable source-device-independent quantum key distribution against general attacks

abstract: The continuous-variable quantum key distribution with entanglement in the middle, a semi-device-independent protocol, places the source at the untrusted third party between Alice and Bob, and thus has the advantage of high levels of security with the purpose of eliminating the assumptions about the source device. However, previous works considered the collective-attack analysis, which inevitably assumes that the states of the source has an identical and independently distributed (i.i.d) structure, and limits the application of the protocol. To solve this problem, we modify the original protocol by exploiting an energy test to monitor the potential high energy attacks an adversary may use. Our analysis removes the assumptions of the light source and the modified protocol can therefore be called source-device-independent protocol. Moreover, we analyze the security of the continuous-variable source-device-independent quantum key distribution protocol with a homodyne-homodyne structure against general coherent attacks by adapting a state-independent entropic uncertainty relation. The simulation results indicate that, in the universal composable security framework, the protocol can still achieve high key rates against coherent attacks under the condition of achievable block lengths.


title: Holographic rainbow networks for colorful Motzkin and Fredkin spin chains

abstract: We present bulk tensor networks that exactly represent the ground states of a continuous family of one-dimensional frustration-free Hamiltonians. These states, which are known as area-deformed Motzkin and Fredkin states, exhibit a novel quantum phase transition. By tuning a single parameter, they go from a phase obeying an area law to a highly entangled rainbow phase, where the half-chain entropy scales with the volume. Using the representation of these ground states as superpositions of random walks, we introduce tensor networks for these ground states where local and global rules of the walker are baked into bulk tensors, thereby providing an efficient description of the ground states (some of which satisfy a volume law scaling of entanglement entropy).


title: Efficient Online Multi-Person 2D Pose Tracking with Recurrent Spatio-Temporal Affinity Fields

abstract: We present an online approach to efficiently and simultaneously detect and track the 2D pose of multiple people in a video sequence. We build upon Part Affinity Field (PAF) representation designed for static images, and propose an architecture that can encode and predict Spatio-Temporal Affinity Fields (STAF) across a video sequence. In particular, we propose a novel temporal topology cross-linked across limbs which can consistently handle body motions of a wide range of magnitudes. Additionally, we make the overall approach recurrent in nature, where the network ingests STAF heatmaps from previous frames and estimates those for the current frame. Our approach uses only online inference and tracking, and is currently the fastest and the most accurate bottom-up approach that is runtime invariant to the number of people in the scene and accuracy invariant to input frame rate of camera. Running at $\sim$30 fps on a single GPU at single scale, it achieves highly competitive results on the PoseTrack benchmarks.


title: Hubble flow variations as a test for inhomogeneous cosmology

abstract: Context. Backreactions from large-scale inhomogeneities may provide an elegant explanation for the observed accelerated expansion of the universe without the need to introduce dark energy. Aims. We propose a cosmological test for a specific model of inhomogeneous cosmology, called timescape cosmology. Using large-scale galaxy surveys such as SDSS and 2MRS, we test the variation of expansion expected in the $\Lambda$-CDM model versus a more generic differential expansion using our own calibrations of bounds suggested by timescape cosmology. Method. Our test measures the systematic variations of the Hubble flow towards distant galaxies groups as a function of the matter distribution in the lines of sight to those galaxy groups. We compare the observed systematic variation of the Hubble flow to mock catalogues from the Millennium Simulation in the case of the $\Lambda$-CDM model, and a deformed version of the same simulation that exhibits more pronounced differential expansion. Results. We perform a series of statistical tests, ranging from linear regressions to Kolmogorov-Smirnov tests, on the obtained data. They consistently yield results preferring $\Lambda$-CDM cosmology over our approximated model of timescape cosmology. Conclusions. Our analysis of observational data shows no evidence that the variation of expansion differs from that of the standard $\Lambda$-CDM model.


title: DuLa-Net: A Dual-Projection Network for Estimating Room Layouts from a Single RGB Panorama

abstract: We present a deep learning framework, called DuLa-Net, to predict Manhattan-world 3D room layouts from a single RGB panorama. To achieve better prediction accuracy, our method leverages two projections of the panorama at once, namely the equirectangular panorama-view and the perspective ceiling-view, that each contains different clues about the room layouts. Our network architecture consists of two encoder-decoder branches for analyzing each of the two views. In addition, a novel feature fusion structure is proposed to connect the two branches, which are then jointly trained to predict the 2D floor plans and layout heights. To learn more complex room layouts, we introduce the Realtor360 dataset that contains panoramas of Manhattan-world room layouts with different numbers of corners. Experimental results show that our work outperforms recent state-of-the-art in prediction accuracy and performance, especially in the rooms with non-cuboid layouts.


title: FogBus: A Blockchain-based Lightweight Framework for Edge and Fog Computing

abstract: The requirement of supporting both latency sensitive and computing intensive Internet of Things (IoT) applications is consistently boosting the necessity for integrating Edge, Fog and Cloud infrastructure. Although there are a number of real-world frameworks attempt to support such integration, they have many limitations from various perspectives including platform independence, security, resource management and multi-application assistance. To address these limitations, we propose a simplified but effective framework, named FogBus for facilitating end-to-end IoT-Fog(Edge)-Cloud integration. FogBus offers a platform independent interface to IoT applications and computing instances for execution and interaction. It not only assists developers in building applications but also helps users in running multiple applications at a time and service providers to manage their resources. In addition, FogBus applies Blockchain, authentication and encryption techniques to secure operations on sensitive data. Because of its lightweight and cross platform software systems, it is easy to deploy, scalable and cost e_cient. We demonstrate the effectiveness of our framework by creating a computing environment with it that integrates finger pulse oximeter as IoT devices with Smartphone-based gateway and Raspberry Pi-based Fog nodes for Sleep Apnea analysis. We also run several experiments on this computing environment varying FogBus settings. The experimental results show that different FogBus settings can improve latency, energy, network and CPU usage of the computing infrastructure.


title: Unsupervised Image-to-Image Translation Using Domain-Specific Variational Information Bound

abstract: Unsupervised image-to-image translation is a class of computer vision problems which aims at modeling conditional distribution of images in the target domain, given a set of unpaired images in the source and target domains. An image in the source domain might have multiple representations in the target domain. Therefore, ambiguity in modeling of the conditional distribution arises, specially when the images in the source and target domains come from different modalities. Current approaches mostly rely on simplifying assumptions to map both domains into a shared-latent space. Consequently, they are only able to model the domain-invariant information between the two modalities. These approaches usually fail to model domain-specific information which has no representation in the target domain. In this work, we propose an unsupervised image-to-image translation framework which maximizes a domain-specific variational information bound and learns the target domain-invariant representation of the two domain. The proposed framework makes it possible to map a single source image into multiple images in the target domain, utilizing several target domain-specific codes sampled randomly from the prior distribution, or extracted from reference images.


title: Individual attacks with generalized discrimination and inadequacy of some information measures

abstract: We accomplish studies of properly quantifying eavesdropper's information gain in individual attacks on the BB84 system of quantum key distribution. A noticeable sensitivity of conclusions to the choice of information measures is brightly revealed, when generalized state discrimination is used at the last stage. To realize her aims, Eve intrudes into the communication channel with some entangling probe. The Fuchs-Peres-Brandt (FPB) probe is known as a powerful individual attack on the BB84 protocol. In the simplest formulation, Eve uses the Helstrom scheme to distinguish output probe states. In conclusive eavesdropping, the unambiguous discrimination is utilized. In the intermediate scenario, she can apply a generalized discrimination scheme that interpolates between the Helstrom and unambiguous discrimination schemes. We analyze Eve's probe performance from the viewpoint of various measures for quantifying mutual information.


title: Sums of Standard Uniform Random Variables

abstract: In this paper, we analyze the set of all possible aggregate distributions of the sum of standard uniform random variables, a simply stated yet challenging problem in the literature of distributions with given margins. Our main results are obtained for two distinct cases. In the case of dimension two, we obtain four partial characterization results. An analytical result with full generality is not available in this case, and it seems to be out of reach with existing techniques. For dimension greater or equal to three, we obtain a full characterization of the set of aggregate distributions, which is the first complete characterization result of this type in the literature for any choice of continuous marginal distributions.


title: Universal detection of high-temperature emission in X-ray Isolated Neutron Stars

abstract: Strongly magnetized isolated neutron stars (NSs) are categorized into two families, according mainly to their magnetic field strength. The one with a higher magnetic field of $10^{14}$ - $10^{15}$ G is called magnetar, characterized with repeated short bursts, and the other is X-ray isolated neutron star (XINS) with $10^{13}$ G. Both magnetars and XINSs show thermal emission in X-rays, but it has been considered that the thermal spectrum of magnetars is reproduced with a two-temperature blackbody (2BB), while that of XINSs shows only a single-temperature blackbody (1BB) and the temperature is lower than that of magnetars. On the basis of the magnetic field and temperature, it is often speculated that XINSs may be old and cooled magnetars. Here we report that all the seven known XINSs show a high-energy component in addition to the 1BB model. Analyzing all the XMM-Newton data of the XINSs with the highest statistics ever achieved, we find that their X-ray spectra are all reproduced with a 2BB model, similar to magnetars. Their emission radii and temperature ratios are also similar to those of magnetars except for two XINSs, which show significantly smaller radii than the others. The remarkable similarity in the X-ray spectra between XINSs and magnetars suggests that their origins of the emission are also the same. The lower temperature in XINSs can be explained if XINSs are older than magnetars. Therefore, these results are the observational indication that supports the standard hypothesis on the classification of highly-magnetized NSs.


title: Analysing Emergent Users' Text Messages Data and Exploring its Benefits

abstract: While users in the developed world can choose to adopt the technology that suits their needs, the emergent users cannot afford this luxury, hence, they adapt themselves to the technology that is readily available. When technology is designed, such as the mobile-phone technology, it is an implicit assumption that it would be adopted by the emergent users in due course. However, such user groups have different needs, and they follow different usage patterns as compared to users from the developed world. In this work, we target an emergent user base, i.e., users from a university in Pakistan, and analyse their texting behaviour on mobile phones. We see interesting results such as, the long-term linguistic adaptation of users in the absence of reasonable Urdu keyboards, the overt preference for communicating in Roman Urdu and the social forces related to textual interaction. We also present two case studies on how a single dataset can effectively help understand emergent users, improve usability of some tasks, and also help users perform previously difficult tasks with ease.


abstract: A network model that can describe light propagation in one-dimensional ring-resonator arrays with a dimer structure is studied as a Su-Schrieffer-Heeger-type Floquet network. The model can be regarded as a Floquet system without periodic driving and exhibits quasienergy band structures of the ring propagation phase. Resulting band gaps support deterministic edge states depending on hopping S-matrices between adjacent rings. The number of edge states is one if the Zak phase is $\pi$. If the Zak phase is 0, the number is either zero or two. The criterion of the latter number is given analytically in terms of the reflection matrix of the semi-infinite system. These properties are directly verified by changing S-matrix parameters and boundary condition continuously.


title: Weakly Supervised Silhouette-based Semantic Scene Change Detection

abstract: This paper presents a novel semantic scene change detection scheme with only weak supervision. A straightforward approach for this task is to train a semantic change detection network directly from a large-scale dataset in an end-to-end manner. However, a specific dataset for this task, which is usually labor-intensive and time-consuming, becomes indispensable. To avoid this problem, we propose to train this kind of network from existing datasets by dividing this task into change detection and semantic extraction. On the other hand, the difference in camera viewpoints, for example, images of the same scene captured from a vehicle-mounted camera at different time points, usually brings a challenge to the change detection task. To address this challenge, we propose a new siamese network structure with the introduction of correlation layer. In addition, we collect and annotate a publicly available dataset for semantic change detection to evaluate the proposed method. The experimental results verified both the robustness to viewpoint difference in change detection task and the effectiveness for semantic change detection of the proposed networks. Our code and dataset are available at https://kensakurada.github.io/pscd.


title: Joint Uplink-Downlink Cooperative Interference Management with Flexible Cell Associations

abstract: We study information theoretic models of interference networks that consist of K Base Station (BS) - Mobile Terminal (MT) pairs. Each BS is connected to the MT carrying the same index as well as L following MTs. We fix the value of L and study the per user Degrees of Freedom (puDoF) in large networks. We assume that each MT can be associated with N BSs, and these associations are determined by a cloud-based controller that has a global view of the network. An MT has to be associated with a BS, for the BS to transmit its message in the downlink, or have its decoded message in the uplink. We propose puDoF inner bounds for arbitrary values of L when only the uplink is considered, and characterize the uplink puDoF value when only zero-forcing schemes are allowed. We then introduce new achievable average uplink-downlink puDoF values, and show their optimality for the range when N \leq (L/2) and when we restrict our attention to zero-forcing schemes. Additionally, for the remaining range, we characterize the optimal downlink scheme when the uplink-optimal associations are used. Finally, we show that the proposed scheme is information theoretically optimal for Wyner's linear interference network.


title: Deep learning for pedestrians: backpropagation in CNNs

abstract: The goal of this document is to provide a pedagogical introduction to the main concepts underpinning the training of deep neural networks using gradient descent; a process known as backpropagation. Although we focus on a very influential class of architectures called "convolutional neural networks" (CNNs) the approach is generic and useful to the machine learning community as a whole. Motivated by the observation that derivations of backpropagation are often obscured by clumsy index-heavy narratives that appear somewhat mathemagical, we aim to offer a conceptually clear, vectorized description that articulates well the higher level logic. Following the principle of "writing is nature's way of letting you know how sloppy your thinking is", we try to make the calculations meticulous, self-contained and yet as intuitive as possible. Taking nothing for granted, ample illustrations serve as visual guides and an extensive bibliography is provided for further explorations. (For the sake of clarity, long mathematical derivations and visualizations have been broken up into short "summarized views" and longer "detailed views" encoded into the PDF as optional content groups. Some figures contain animations designed to illustrate important concepts in a more engaging style. For these reasons, we advise to download the document locally and open it using Adobe Acrobat Reader. Other viewers were not tested and may not render the detailed views, animations correctly.)


title: Development of Precise Low Value Capacitance Measurement System for Cryogenics Two Phase Flow Application

abstract: In cryogenic two phase flow, it is always challenging to measure the quality and void fraction. In this regard, an effort has been made to indigenously develop an electronic circuit to measure the void fraction by measuring the capacitance of the order of picofarads accurately depending upon the dielectric constant of nitrogen in vapor and liquid phase. The state-of-art electronics card has been developed and tested successfully for its performance and validation. Using this card, an experiment has been conducted using liquid nitrogen cryo transfer line to study the two phase void fraction. In this paper, the design basis and working principle of the designed electronics card along with the performance results are discussed. A/D conversion and DAQ system has been implemented to display the direct measurement data in a computer.


title: Sample Efficient Stochastic Variance-Reduced Cubic Regularization Method

abstract: We propose a sample efficient stochastic variance-reduced cubic regularization (Lite-SVRC) algorithm for finding the local minimum efficiently in nonconvex optimization. The proposed algorithm achieves a lower sample complexity of Hessian matrix computation than existing cubic regularization based methods. At the heart of our analysis is the choice of a constant batch size of Hessian matrix computation at each iteration and the stochastic variance reduction techniques. In detail, for a nonconvex function with $n$ component functions, Lite-SVRC converges to the local minimum within $\tilde{O}(n+n^{2/3}/\epsilon^{3/2})$ Hessian sample complexity, which is faster than all existing cubic regularization based methods. Numerical experiments with different nonconvex optimization problems conducted on real datasets validate our theoretical results.


title: Formation of solitary microstructure and ablation into transparent dielectric by a subnanosecond laser pulse

abstract: Laser ablation in liquid (LAL) is important technique used for formation of nanoparticles (NP). The LAL processes cover logarithmically wide range of spatiotemporal scales and is not fully understood. The NP produced by LAL are rather expensive, thus optimization of involved processes is valuable. As the first step to such optimizations more deep understanding is necessary. We employ physical models and computer simulations by thermodynamic, hydrodynamic, and molecular dynamics codes in this direction. Absorbing light metal expanding into transparent solid or liquid dielectrics is considered. We analyze an interplay between diffusion, hydrodynamic instability, and decrease of surface tension down to zero value caused by strong heating and compression transferring matter into state of overcritical fluids. The primary NPs appear during expansion and cooling of diffusion zone when pressure in this zone drops below critical pressure for a metal. Long evolution from the overcritical states to states below a critical point for a metal and down to critical point of liquid and deeply down to surrounding pressure of 1 bar is followed. Conductive heating of liquid from hot metal is significant.


title: Shape-conditioned Image Generation by Learning Latent Appearance Representation from Unpaired Data

abstract: Conditional image generation is effective for diverse tasks including training data synthesis for learning-based computer vision. However, despite the recent advances in generative adversarial networks (GANs), it is still a challenging task to generate images with detailed conditioning on object shapes. Existing methods for conditional image generation use category labels and/or keypoints and are only give limited control over object categories. In this work, we present SCGAN, an architecture to generate images with a desired shape specified by an input normal map. The shape-conditioned image generation task is achieved by explicitly modeling the image appearance via a latent appearance vector. The network is trained using unpaired training samples of real images and rendered normal maps. This approach enables us to generate images of arbitrary object categories with the target shape and diverse image appearances. We show the effectiveness of our method through both qualitative and quantitative evaluation on training data generation tasks.


title: A New In-Situ Combustion Simulator for Parallel Computers

abstract: As a competitive recovery method for heavy oil, In-Situ Combustion (ISC) shows its great potential accompanied by technological advances in recent years. Reservoir simulation will play an indispensable role in the prediction of the implementation of ISC projects. With the computational complexity, it is imperative to develop an effective and robust parallel in-situ combustion simulator. In this paper, a mathematical model for In Situ Combustion is proposed, which takes full consideration for related physical phenomena, including multi-dimensional multi-component three-phase flow, heat convection and conduction, chemical reactions, and mass transfer between phases. In the mathematical model, different governing equations and constraints are involved, forming a complicated PDE (partial differential equation) system. For physical and chemical behaviors, some special treatments for the ISC simulator are discussed and applied. Also, a modified PER (Pseudo-Equilibrium Ratio) method is proposed in the thesis. A fully implicit scheme is applied, and discretization is implemented with the FDM (Finite Difference Method). In solving nonlinear systems, the Newton Method is introduced, and both numerical and analytical Jacobian matrices are applied. Due to the complexity of an ISC problem, an appropriate decoupling method must be considered. Thus the Gauss-Jordan transformation is raised. Then, with certain preconditioners and iterative solvers, a numerical solution can be obtained. The results of different models are given, which are validated with the results from CMG STARS. Also, the scalability of parallelization is proved, indicating the excellent performance of parallel computing. This accurate, efficient, parallel ISC simulator applies to complex reservoir models.


title: Magnetic curves in the real special linear group

abstract: We investigate contact magnetic curves in the real special linear group of degree 2. They are geodesics of the Hopf tubes over the projection curve. We prove that periodic contact magnetic curves in SL(2,R) can be quantized in the set of rational numbers. Finally, we study contact homogeneous magnetic trajectories in SL(2,R) and show that they project to horocycles in H2(-4).


title: Lattice dynamics and coupled quadrupole-phonon excitations in CeAuAl$_3$

abstract: We report first principles calculations of the structural parameters and phonon dispersion of the tetragonal non-centrosymmetric heavy fermion compound CeAuAl$_3$. Taking into account weak magnetoelastic interactions of the rare-earth (RE) ions with the spectrum of phonons, we obtain an analytical expression for the hybridization of quadrupole excitations and phonons from the poles of the one-phonon Green-function. In the paramagnetic phase, we predict the formation of mixed modes that may be observed by inelastic neutron scattering. Our results show that magnetoelastic interactions, albeit being moderate, play an important role in CeAuAl$_3$. This suggests that magnetoelastic interactions may be equally important in a wide range of related compounds.


title: Recurrence times of the Lieb-Liniger model in the weak and strong coupling regimes

abstract: Quantum systems exhibit recurrence phenomena after equilibration, but it is a difficult task to evaluate the recurrence time of a quantum system because it drastically increases as the system size increases (usually double-exponential in the number of particles) and strongly depends on the initial state. Here, we analytically derive the recurrence times of the Lieb-Liniger model with relatively small particle numbers for the weak and strong coupling regimes. It turns out that these recurrence times are independent of the initial state and increases only polynomially in the system size.


title: Effective, Fast, and Memory-Efficient Compressed Multi-function Convolutional Neural Networks for More Accurate Medical Image Classification

abstract: Convolutional Neural Networks (CNNs) usually use the same activation function, such as RELU, for all convolutional layers. There are performance limitations of just using RELU. In order to achieve better classification performance, reduce training and testing times, and reduce power consumption and memory usage, a new "Compressed Multi-function CNN" is developed. Google's Inception-V4, for example, is a very deep CNN that consists of 4 Inception-A blocks, 7 Inception-B blocks, and 3 Inception-C blocks. RELU is used for all convolutional layers. A new "Compressed Multi-function Inception-V4" (CMI) that can use different activation functions is created with k Inception-A blocks, m Inception-B blocks, and n Inception-C blocks where k in {1, 2, 3, 4}, m in {1, 2, 3, 4, 5, 6, 7}, n in {1, 2, 3}, and (k+m+n)<14. For performance analysis, a dataset for classifying brain MRI images into one of the four stages of Alzheimer's disease is used to compare three CMI architectures with Inception-V4 in terms of F1-score, training and testing times (related to power consumption), and memory usage (model size). Overall, simulations show that the new CMI models can outperform both the commonly used Inception-V4 and Inception-V4 using different activation functions. In the future, other "Compressed Multi-function CNNs", such as "Compressed Multi-function ResNets and DenseNets" that have a reduced number of convolutional blocks using different activation functions, will be developed to further increase classification accuracy, reduce training and testing times, reduce computational power, and reduce memory usage (model size) for building more effective healthcare systems, such as implementing accurate and convenient disease diagnosis systems on mobile devices that have limited battery power and memory.


title: Hand Gesture Detection and Conversion to Speech and Text

abstract: The hand gestures are one of the typical methods used in sign language. It is very difficult for the hearing-impaired people to communicate with the world. This project presents a solution that will not only automatically recognize the hand gestures but will also convert it into speech and text output so that impaired person can easily communicate with normal people. A camera attached to computer will capture images of hand and the contour feature extraction is used to recognize the hand gestures of the person. Based on the recognized gestures, the recorded soundtrack will be played.


title: Manipulation of non-linear heat currents in the dissipative Anderson-Holstein model

abstract: The anomalous behavior of electron induced phonon transport is investigated using an Anderson-Holstein based dissipative quantum dot setup under two relevant bias situations: (a) a voltage bias in the absence of an electronic temperature gradient and (b) an electronic temperature gradient at zero voltage. It is shown that the direction of phonon transport in the non-linear regime is different in the two cases since the first case facilitates the accumulation of phonons in the dot and the second case leads to the absorption of phonons in the dot. In the linear regime, both the phonon and electronic transport get decoupled and Onsager's symmetry is verified. We explain the observed cumulative effects of voltage and electronic temperature gradients on the non-linear phonon currents by introducing a new transport coefficient that we term as the \textit{electron induced phonon thermal conductivity}. It is demonstrated that under suitable operating conditions in Case (a) the dot can pump in phonons into the hotter phonon reservoirs and in Case (b) the dot can extract phonons out of the colder phonon reservoirs. Finally, we elaborate on how the non-linear electronic heat current can be stimulated and controlled by engineering the temperature of the phonon reservoirs even under vanishing effective electron flow.


title: Problems concerning Diophantine exponents of lattices

abstract: In this paper we give a survey of what is currently known about Diophantine exponents of lattices and propose several problems.


title: The basins of attraction of the global minimizers of the non-convex sparse spike estimation problem

abstract: The sparse spike estimation problem consists in estimating a number of off-the-grid impulsive sources from under-determined linear measurements. Information theoretic results ensure that the minimization of a non-convex functional is able to recover the spikes for adequately chosen measurements (deterministic or random). To solve this problem, methods inspired from the case of finite dimensional sparse estimation where a convex program is used have been proposed. Also greedy heuristics have shown nice practical results. However, little is known on the ideal non-convex minimization method. In this article, we study the shape of the global minimum of this non-convex functional: we give an explicit basin of attraction of the global minimum that shows that the non-convex problem becomes easier as the number of measurements grows. This has important consequences for methods involving descent algorithms (such as the greedy heuristic) and it gives insights for potential improvements of such descent methods.