title: Generalized weighted surface algebras

abstract: The weighted triangulation algebras associated to triangulation quivers and their socle deformations were recently introduced and studied in [15]-[20] and [2]. These algebras, based on surface triangulations and originated from the theory of cluster algebras, were also proved to be (with some minor exceptions) finite-dimensional tame symmetric and periodic algebras of period 4. In this paper, we introduce a new concept of a generalized triangulation quiver, extending the notion of a triangulation quiver. Inparticular, it is also shown that the generalized triangulation quivers can be constructed from triangulations of orientable surfaces with marked self-foldedtriangles. Moreover, motivated by the recent results of [28], we define and investigate so called weighted generalized triangulation algebras associated to generalized triangulation quivers, which naturally arise from mutations of weighted triangulation algebras.


title: Turbulence generation by large-scale extreme vertical drafts and the modulation of local energy dissipation in stably stratified geophysical flows

abstract: We observe the emergence of strong vertical drafts in direct numerical simulations of the Boussinesq equations in a range of parameters of geophysical interest. These structures, which appear intermittently in space and time, generate turbulence and enhance kinetic and potential energy dissipation, providing a possible explanation for the observed variability of the local energy dissipation in the bulk of oceanic flows, and the modulation of its probability distribution function. We show how, due to the extreme drafts, in runs with Froude numbers observable in geophysical scenarios, roughly 10% of the domain flow can account for up to 50% of the global volume dissipation, reminiscent of estimates based on oceanic models.


title: Exploiting a Supervised Index for High-accuracy Parameter Estimation in Low SNR

abstract: Performance of parameter estimation is one of the most important issues in array signal processing. The root mean square error, probability of success, resolution probabilities, and computational complexity are frequently used indexes for evaluating the performance of the parameter estimation methods. However, a common characteristic of these indexes is that they are unsupervised indexes, and are passively used for evaluating the estimation results. In other words, these indexes cannot participate in the design of estimation methods. It seems that exploiting a validity supervised index for the parameter estimation that can guide the design of the methods will be an interesting and meaningful work. In this study, we exploit an index to build a supervised learning model of the parameter estimation. With the developed model we refine the signal subspace so as to enhance the performance of the parameter estimation method. The main characteristic of the proposed model is a circularly applied feedback of the estimated parameter for refining the estimated subspace. It is a closed loop and supervised method not reported before. This research opens a specific way for improving the performance of the parameter estimation by a supervised index. However, the proposed method is still unsatisfying in some scopes of signal-to-noise ratio (SNR). We believe that exploiting a validity index for the parameter estimation in array signal processing is still a general and interesting problem.


title: Fact Check: Analyzing Financial Events from Multilingual News Sources

abstract: The explosion in the sheer magnitude and complexity of financial news data in recent years makes it increasingly challenging for investment analysts to extract valuable insights and perform analysis. We propose FactCheck in finance, a web-based news aggregator with deep learning models, to provide analysts with a holistic view of important financial events from multilingual news sources and extract events using an unsupervised clustering method. A web interface is provided to examine the credibility of news articles using a transformer-based fact-checker. The performance of the fact checker is evaluated using a dataset related to merger and acquisition (M\&A) events and is shown to outperform several strong baselines.


title: Quasi-3-D Spectral Wavelet Method for a Thermal Quench Simulation

abstract: The finite element method is widely used in simulations of various fields. However, when considering domains whose extent differs strongly in different spatial directions a finite element simulation becomes computationally very expensive due to the large number of degrees of freedom. An example of such a domain are the cables inside of the magnets of particle accelerators. For translationally invariant domains, this work proposes a quasi-3-D method. Thereby, a 2-D finite element method with a nodal basis in the cross-section is combined with a spectral method with a wavelet basis in the longitudinal direction. Furthermore, a spectral method with a wavelet basis and an adaptive and time-dependent resolution is presented. All methods are verified. As an example the hot-spot propagation due to a quench in Rutherford cables is simulated successfully.


title: Leveraging Static Models for Link Prediction in Temporal Knowledge Graphs

abstract: The inclusion of temporal scopes of facts in knowledge graph embedding (KGE) presents significant opportunities for improving the resulting embeddings, and consequently for increased performance in downstream applications. Yet, little research effort has focussed on this area and much of the carried out research reports only marginally improved results compared to models trained without temporal scopes (static models). Furthermore, rather than leveraging existing work on static models, they introduce new models specific to temporal knowledge graphs. We propose a novel perspective that takes advantage of the power of existing static embedding models by focussing effort on manipulating the data instead. Our method, SpliMe, draws inspiration from the field of signal processing and early work in graph embedding. We show that SpliMe competes with or outperforms the current state of the art in temporal KGE. Additionally, we uncover issues with the procedure currently used to assess the performance of static models on temporal graphs and introduce two ways to counteract them.


title: Axion Quality Straight from the GUT

abstract: Composite axion scenarios offer a robust field theoretic justification for the existence of a Peccei-Quinn symmetry of high quality. We present a new class of realizations that are naturally embedded in Grand-Unified Theories, retain asymptotic freedom for all gauge groups, and protect the axion symmetry up to operators of dimension 12. Our setup leads to a number of distinctive signatures at low energies. First, additional composite scalars are predicted; some of these are viable dark matter candidates for values of the axion decay constant that are too low for the QCD axion abundance to be relevant. Second, an approximate unification of the Standard Model gauge couplings takes place at the axion scale, while leaving the actual quark-lepton unification at much higher energies as usual. This suggests the existence of GUT relics with Standard Model gauge quantum numbers at potentially accessible scales.


title: Electromagnetic Analysis of an Ultra-Lightweight Cipher: PRESENT

abstract: Side-channel attacks are an unpredictable risk factor in cryptography. Therefore, continuous observations of physical leakages are essential to minimise vulnerabilities associated with cryptographic functions. Lightweight cryptography is a novel approach in progress towards internet-of-things (IoT) security. Thus, it would provide sufficient data and privacy protection in such a constrained ecosystem. IoT devices are resource-limited in terms of data rates (in kbps), power maintainability (battery) as well as hardware and software footprints (physical size, internal memory, RAM/ROM). Due to the difficulty in handling conventional cryptographic algorithms, lightweight ciphers consist of small key sizes, block sizes and few operational rounds. Unlike in the past, affordability to perform side-channel attacks using inexpensive electronic circuitries is becoming a reality. Hence, cryptanalysis of physical leakage in these emerging ciphers is crucial. Among existing studies, power analysis seems to have enough attention in research, whereas other aspects such as electromagnetic, timing, cache and optical attacks continue to be appropriately evaluated to play a role in forensic analysis. As a result, we started analysing electromagnetic emission leakage of an ultra-lightweight block cipher, PRESENT. According to the literature, PRESENT promises to be adequate for IoT devices, and there still seems not to exist any work regarding correlation electromagnetic analysis (CEMA) of it. Firstly, we conducted simple electromagnetic analysis in both time and frequency domains and then proceeded towards CEMA attack modelling. This paper provides a summary of the related literature (IoT, lightweight cryptography, side-channel attacks and EMA), our methodology, current outcomes and future plans for the optimised results.


title: Negative R-parity scissors modes in the Two-Rotors Model

abstract: In a previous work I constructed R-negative scissors states in the Two-Rotors Model in which the rotors are two-sided classical bodies. Such states have |K| = 1; 0 components and negative space parity. Here I extend this work including reflections in a plane through the rotors symmetry axes obtaining also R-negative states of positive parity. I then associate reflections and R-operations with corresponding operations on internal noncollective variables of the rotors. I evaluate the em transition strengths of these states and compare them with the corresponding strengths of R-positive scissors modes.


title: On the Implementation of Behavior Trees in Robotics

abstract: There is a growing interest in Behavior Trees (BTs) as a tool to describe and implement robot behaviors. BTs were devised in the video game industry and their adoption in robotics resulted in the development of ad-hoc libraries to design and execute BTs that fit complex robotics software architectures. While there is broad consensus on how BTs work, some characteristics rely on the implementation choices done in the specific software library used. In this letter, we outline practical aspects in the adoption of BTs and the solutions devised by the robotics community to fully exploit the advantages of BTs in real robots. We also overview the solutions proposed in open-source libraries used in robotics, we show how BTs fit in robotic software architecture, and we present a use case example.


title: Imprint of SUSY in radiative B-meson decays

abstract: We study supersymmetric (SUSY) effects on $C_7(\mu_b)$ and $C'_7(\mu_b)$ which are the Wilson coefficients (WCs) for $b \to s \gamma$ at b-quark mass scale $\mu_b$ and are closely related to radiative $B$-meson decays. The SUSY-loop contributions to $C_7(\mu_b)$ and $C'_7(\mu_b)$ are calculated at leading order (LO) in the Minimal Supersymmetric Standard Model (MSSM) with general quark-flavour violation (QFV). For the first time we perform a systematic MSSM parameter scan for the WCs $C_7(\mu_b)$ and $C'_7(\mu_b)$ respecting all the relevant constraints, i.e. the theoretical constraints from vacuum stability conditions and the experimental constraints, such as those from $K$- and $B$-meson data and electroweak precision data, as well as recent limits on SUSY particle masses and the 125 GeV Higgs boson data from LHC experiments. From the parameter scan we find the following: (1) The MSSM contribution to Re($C_7(\mu_b)$) can be as large as $\sim \pm 0.05$, which could correspond to about 3$\sigma$ significance of New Physics (NP) signal in the future LHCb and Belle II experiments. (2) The MSSM contribution to Re($C'_7(\mu_b)$) can be as large as $\sim -0.08$, which could correspond to about 4$\sigma$ significance of NP signal in the future LHCb and Belle II experiments. (3) These large MSSM contributions to the WCs are mainly due to (i) large scharm-stop mixing and large scharm/stop involved trilinear couplings, (ii) large sstrange-sbottom mixing and large sstrange-sbottom involved trilinear couplings and (iii) large bottom Yukawa coupling $Y_b$ for large $\tan\beta$ and large top Yukawa coupling $Y_t$. In case such large NP contributions to the WCs are really observed in the future experiments at Belle II and LHCb Upgrade, this could be the imprint of QFV SUSY (the MSSM with general QFV).


title: Predictive Dynamic Scaling Multi-Slice-in-Slice-Connected Users for 5G System Resource Scheduling

abstract: Network slicing is an effective 5G concept for improved resource utilization and service scalability tailored to users (UEs) requirements. According to the standardization, 5G system should support UEs through specification of its heterogenous requirements such as, high data rates, traffic density, latency, reliability, UE density, system efficiency and service availability. These requirements are specified as Service Level Agreements (SLAs) between UEs and network operators resulting in increased interest to develop novel challenging mechanisms for improved interference-free resource efficient performances. An emerging concept that enables such demanding SLA assurances is Open-Radio Access Network (O-RAN). In this paper, we study a novel resource scheduling problem for UE services conditioned on other services in network slicing. To improve system performance, we propose that UEs are connected across network slices to serve several applications. UEs of similar service classes (defined by SLAs) are grouped to form optimized slice-in-slice category(s) within network slice(s).We propose novel Predictive Dynamic Scaling Multi-UE service specific System Resource Optimized Scheduling (DMUSO) algorithm(s). Multiobjective multi-constraint optimization problems (MOP) are formed to learn the dynamic system resource allocation and throughput for UE services conditioned on new services entering the network slice. An epsilon-constraint line search algorithm is presented to estimate UE service bandwidth. Using the theoretical models, DMUSO forms optimal slice-in-slice categories and estimates the maximum dynamic additional slice-in-slice categories, throughput served across network slices. Finally, compared to state-of-the-art literatures, DMUSO guarantees UEs SLAs with 4.4 and 7.5 times performance gains


title: Convolutional Hypercomplex Embeddings for Link Prediction

abstract: Knowledge graph embedding research has mainly focused on the two smallest normed division algebras, $\mathbb{R}$ and $\mathbb{C}$. Recent results suggest that trilinear products of quaternion-valued embeddings can be a more effective means to tackle link prediction. In addition, models based on convolutions on real-valued embeddings often yield state-of-the-art results for link prediction. In this paper, we investigate a composition of convolution operations with hypercomplex multiplications. We propose the four approaches QMult, OMult, ConvQ and ConvO to tackle the link prediction problem. QMult and OMult can be considered as quaternion and octonion extensions of previous state-of-the-art approaches, including DistMult and ComplEx. ConvQ and ConvO build upon QMult and OMult by including convolution operations in a way inspired by the residual learning framework. We evaluated our approaches on seven link prediction datasets including WN18RR, FB15K-237 and YAGO3-10. Experimental results suggest that the benefits of learning hypercomplex-valued vector representations become more apparent as the size and complexity of the knowledge graph grows. ConvO outperforms state-of-the-art approaches on FB15K-237 in MRR, Hit@1 and Hit@3, while QMult, OMult, ConvQ and ConvO outperform state-of-the-approaches on YAGO3-10 in all metrics. Results also suggest that link prediction performances can be further improved via prediction averaging. To foster reproducible research, we provide an open-source implementation of approaches, including training and evaluation scripts as well as pretrained models.


title: Exploring the Efficacy of Automatically Generated Counterfactuals for Sentiment Analysis

abstract: While state-of-the-art NLP models have been achieving the excellent performance of a wide range of tasks in recent years, important questions are being raised about their robustness and their underlying sensitivity to systematic biases that may exist in their training and test data. Such issues come to be manifest in performance problems when faced with out-of-distribution data in the field. One recent solution has been to use counterfactually augmented datasets in order to reduce any reliance on spurious patterns that may exist in the original data. Producing high-quality augmented data can be costly and time-consuming as it usually needs to involve human feedback and crowdsourcing efforts. In this work, we propose an alternative by describing and evaluating an approach to automatically generating counterfactual data for data augmentation and explanation. A comprehensive evaluation on several different datasets and using a variety of state-of-the-art benchmarks demonstrate how our approach can achieve significant improvements in model performance when compared to models training on the original data and even when compared to models trained with the benefit of human-generated augmented data.


title: Using Robust Regression to Find Font Usage Trends

abstract: Fonts have had trends throughout their history, not only in when they were invented but also in their usage and popularity. In this paper, we attempt to specifically find the trends in font usage using robust regression on a large collection of text images. We utilize movie posters as the source of fonts for this task because movie posters can represent time periods by using their release date. In addition, movie posters are documents that are carefully designed and represent a wide range of fonts. To understand the relationship between the fonts of movie posters and time, we use a regression Convolutional Neural Network (CNN) to estimate the release year of a movie using an isolated title text image. Due to the difficulty of the task, we propose to use of a hybrid training regimen that uses a combination of Mean Squared Error (MSE) and Tukey's biweight loss. Furthermore, we perform a thorough analysis on the trends of fonts through time.


title: Model Predictive Control for Trajectory Tracking on Differentiable Manifolds

abstract: We consider the problem of bridging the gap between geometric tracking control theory and implementation of model predictive control (MPC) for robotic systems operating on manifolds. We propose a generic on-manifold MPC formulation based on a canonical representation of the system evolving on manifolds. Then, we present a method that solves the on-manifold MPC formulation by linearizing the system along the trajectory under tracking. There are two main advantages of the proposed scheme. The first is that the linearized system leads to an equivalent error system represented by a set of minimal parameters without any singularity. Secondly, the process of system modeling, error-system derivation, linearization and control has the manifold constraints completely decoupled from the system descriptions, enabling the development of a symbolic MPC framework that naturally encapsulates the manifold constraints. In this framework, users need only to supply system-specific descriptions without dealing with the manifold constraints. We implement this framework and test it on a quadrotor unmanned aerial vehicle (UAV) operating on $SO(3) \times \mathbb{R}^n$ and an unmanned ground vehicle (UGV) moving on a curved surface. Real-world experiments show that the proposed framework and implementation achieve high tracking performance and computational efficiency even in highly aggressive aerobatic quadrotor maneuvers.


title: Optimal Spanners for Unit Ball Graphs in Doubling Metrics

abstract: Resolving an open question from 2006, we prove the existence of light-weight bounded-degree spanners for unit ball graphs in the metrics of bounded doubling dimension, and we design a simple $\mathcal{O}(\log^*n)$-round distributed algorithm in the LOCAL model of computation, that given a unit ball graph $G$ with $n$ vertices and a positive constant $\epsilon < 1$ finds a $(1+\epsilon)$-spanner with constant bounds on its maximum degree and its lightness using only 2-hop neighborhood information. This immediately improves the best prior lightness bound, the algorithm of Damian, Pandit, and Pemmaraju, which runs in $\mathcal{O}(\log^*n)$ rounds in the LOCAL model, but has a $\mathcal{O}(\log \Delta)$ bound on its lightness, where $\Delta$ is the ratio of the length of the longest edge to the length of the shortest edge in the unit ball graph. Next, we adjust our algorithm to work in the CONGEST model, without changing its round complexity, hence proposing the first spanner construction for unit ball graphs in the CONGEST model of computation. We further study the problem in the two dimensional Euclidean plane and we provide a construction with similar properties that has a constant average number of edge intersections per node. Lastly, we provide experimental results that confirm our theoretical bounds, and show an efficient performance from our distributed algorithm compared to the best known centralized construction.


title: Dark matter search with high purity NaI(Tl) scintillator

abstract: A dark matter search project needs and extremely low background radiation detector since the expected event rate of dark matter is less than a few events in one year in one tonne of the detector mass. The authors developed a highly radiopure NaI(Tl) crystal to search for dark matter. The best combination of the purification methods was developed, resulting $^{\mathrm{nat}}$K and $^{210}$Pb were less than 20 ppb and 5.7 $\mu$Bq/kg, respectively. The authors will construct a large volume detector system with high-purity NaI(Tl) crystals. The design and the performance of the prototype detector module will be reported in this article.


title: New Arabic Medical Dataset for Diseases Classification

abstract: The Arabic language suffers from a great shortage of datasets suitable for training deep learning models, and the existing ones include general non-specialized classifications. In this work, we introduce a new Arab medical dataset, which includes two thousand medical documents collected from several Arabic medical websites, in addition to the Arab Medical Encyclopedia. The dataset was built for the task of classifying texts and includes 10 classes (Blood, Bone, Cardiovascular, Ear, Endocrine, Eye, Gastrointestinal, Immune, Liver and Nephrological) diseases. Experiments on the dataset were performed by fine-tuning three pre-trained models: BERT from Google, Arabert that based on BERT with large Arabic corpus, and AraBioNER that based on Arabert with Arabic medical corpus.


title: Mirror-assisted tuning of laser stabilization via self-injection locking to WGM microresonator

abstract: Self-injection locking is a dynamic phenomenon which provides passive stabilization of a lasers emission frequency via resonant optical feedback. The stabilization coefficient depends on the level of resonant feedback and quality factor of the external resonant structure creating the feedback. Usually a self-injection locked laser (SIL) involves barely tunable resonant Rayleigh scattering (RRS). In this work we study theoretically a scheme of a SIL to a high-Q microresonator with drop-port coupled mirror, in which optical feedback level is optimally adjusted by the tuning the drop-port mirror coupling. We show that the additional reflector can improve the laser stabilization and power handling efficiency if compared with the classic RRS-based scheme.


title: Representation based meta-learning for few-shot spoken intent recognition

abstract: Spoken intent detection has become a popular approach to interface with various smart devices with ease. However, such systems are limited to the preset list of intents-terms or commands, which restricts the quick customization of personal devices to new intents. This paper presents a few-shot spoken intent classification approach with task-agnostic representations via meta-learning paradigm. Specifically, we leverage the popular representation-based meta-learning learning to build a task-agnostic representation of utterances, that then use a linear classifier for prediction. We evaluate three such approaches on our novel experimental protocol developed on two popular spoken intent classification datasets: Google Commands and the Fluent Speech Commands dataset. For a 5-shot (1-shot) classification of novel classes, the proposed framework provides an average classification accuracy of 88.6% (76.3%) on the Google Commands dataset, and 78.5% (64.2%) on the Fluent Speech Commands dataset. The performance is comparable to traditionally supervised classification models with abundant training samples.


title: Generating the Graph Gestalt: Kernel-Regularized Graph Representation Learning

abstract: Recent work on graph generative models has made remarkable progress towards generating increasingly realistic graphs, as measured by global graph features such as degree distribution, density, and clustering coefficients. Deep generative models have also made significant advances through better modelling of the local correlations in the graph topology, which have been very useful for predicting unobserved graph components, such as the existence of a link or the class of a node, from nearby observed graph components. A complete scientific understanding of graph data should address both global and local structure. In this paper, we propose a joint model for both as complementary objectives in a graph VAE framework. Global structure is captured by incorporating graph kernels in a probabilistic model whose loss function is closely related to the maximum mean discrepancy(MMD) between the global structures of the reconstructed and the input graphs. The ELBO objective derived from the model regularizes a standard local link reconstruction term with an MMD term. Our experiments demonstrate a significant improvement in the realism of the generated graph structures, typically by 1-2 orders of magnitude of graph structure metrics, compared to leading graph VAEand GAN models. Local link reconstruction improves as well in many cases.


title: Towards self-organized control: Using neural cellular automata to robustly control a cart-pole agent

abstract: Neural cellular automata (Neural CA) are a recent framework used to model biological phenomena emerging from multicellular organisms. In these systems, artificial neural networks are used as update rules for cellular automata. Neural CA are end-to-end differentiable systems where the parameters of the neural network can be learned to achieve a particular task. In this work, we used neural CA to control a cart-pole agent. The observations of the environment are transmitted in input cells, while the values of output cells are used as a readout of the system. We trained the model using deep-Q learning, where the states of the output cells were used as the Q-value estimates to be optimized. We found that the computing abilities of the cellular automata were maintained over several hundreds of thousands of iterations, producing an emergent stable behavior in the environment it controls for thousands of steps. Moreover, the system demonstrated life-like phenomena such as a developmental phase, regeneration after damage, stability despite a noisy environment, and robustness to unseen disruption such as input deletion.


title: Multiphase modelling of glioma pseudopalisading under acidosis

abstract: We propose a multiphase modeling approach to describe glioma pseudopalisade patterning under the influence of acidosis. The phases considered at the model onset are glioma, normal tissue, necrotic matter, and interstitial fluid in a void-free volume with acidity represented by proton concentration. We start from mass and momentum balance to characterize the respective volume fractions and deduce reaction-cross diffusion equations for the space-time evolution of glioma, normal tissue, and necrosis. These are supplemented with a reaction-diffusion equation for the acidity dynamics and lead to formation of patterns which are typical for high grade gliomas. Unlike previous works, our deduction also works in higher dimensions and involves less restrictions. We also investigate the existence of weak solutions to the obtained system of equations and perform numerical simulations to illustrate the solution behavior and the pattern occurrence.


title: Comment on "Thermal, Quantum Antibunching and Lasing Thresholds from Single Emitters to Macroscopic Devices"

abstract: In a recent Letter [Phys. Rev. Lett. 126, 063902 (2021)], M. A. Carroll et al. derived a model to analytically determine regimes of thermal, collective anti-bunching, and laser emission for emitters in a cavity. According to their model, nanolasers exhibit a distinct threshold at which the coherent laser field emerges from a bifurcation at a finite pump rate. The amplitude of this coherent field increases with a further increase in the pump rate. Such a behavior contrasts the usual view of the transition to lasing in single-mode high-$\beta$ nanolasers, according to which strong spontaneous emission into the lasing mode results in a smooth transformation from the thermal state to the coherent state as the pump rate increases. Here, we demonstrate that the authors have ignored important terms in the equations of their model, which caused the bifurcation and the ideally monochromatic field to emerge at a finite pump rate.


title: Josephson Photonics with Simultaneous Resonances

abstract: Inelastic Cooper pair tunneling across a voltage-biased Josephson junction in series with one or more microwave cavities can generate photons via resonant processes in which the energy lost by the Cooper pair matches that of the photon(s) produced. We generalise previous theoretical treatments of such systems to analyse cases where two or more different photon generation processes are resonant simultaneously. We also explore in detail a specific case where generation of a single photon in one cavity mode is simultaneously resonant with the generation of two photons in a second mode. We find that the coexistence of the two resonances leads to effective couplings between the modes which in turn generate entanglement.


title: Bubble lifetimes in DNA gene promoters and their mutations affecting transcription

abstract: Relative lifetimes of inherent double stranded DNA openings with lengths up to ten base pairs are presented for different gene promoters and corresponding mutants that either increase or decrease transcriptional activity, in the framework of the Peyrard-Bishop-Dauxois model. Extensive microcanonical simulations are used, with energies corresponding to physiological temperature. The bubble lifetime profiles along the DNA sequences demonstrate a significant reduction of the average lifetime at the mutation sites when the mutated promoter decreases transcription, while a corresponding enhancement of the bubble lifetime is observed in the case of mutations leading to increased transcription. The relative difference of bubble lifetimes between the mutated and the wild type promoters at the position of mutation varies from 20% to more than 30% as the bubble length is decreasing


title: Generalizations of a terminating summation formula of basic hypergeometric series and their applications

abstract: We generalize a terminating summation formula to a unilateral nonterminating, and further, a bilateral summation formula by a property of analytic functions. The unilateral one is proved to be a $q$-analogue of a $_4F_3$-summation formula. And, an identity unifying Jacobi's triple product identity and the quintuple product identity is obtained as a special case of the bilateral one.


title: GMRT observations of the exoplanetary systems $\tau$ Bo\"otis and 55 Cancri

abstract: We present archival Giant Metrewave Radio Telescope (GMRT) observations of two exoplanetary systems, $\tau$ Bo\"otis, and 55 Cancri, at 610 MHz and 150 MHz, respectively. Theoretical models predict these systems to have some of the highest expected flux densities at radio wavelengths. Both $\tau$ Bo\"otis and 55 Cancri have been previously observed at low frequency ($\sim$ 30 MHz) with Low-Frequency Array (LOFAR) (Turner et al. 2020). $\tau$ Bo\"otis shows tentative signatures of circularly polarized emission at 30 MHz, while no emission was detected from 55 Cancri. We do not detect radio emission from both the systems, but the GMRT observations set $3\sigma$ upper limits of 0.6 mJy at 610 MHz for $\tau$ Bo\"otis and 4.6 mJy at 150 MHz for 55 Cancri. The sensitivity achieved at 610 MHz in these observations is comparable to some of the deepest images of an exoplanet field.


title: Unsupervised Technique To Conversational Machine Reading

abstract: Conversational machine reading (CMR) tools have seen a rapid progress in the recent past. The current existing tools rely on the supervised learning technique which require labeled dataset for their training. The supervised technique necessitates that for every new rule text, a manually labeled dataset must be created. This is tedious and error prone. This paper introduces and demonstrates how unsupervised learning technique can be applied in the development of CMR. Specifically, we demonstrate how unsupervised learning can be used in rule extraction and entailment modules of CMR. Compared to the current best CMR tool, our developed framework reports 3.3% improvement in micro averaged accuracy and 1.4 % improvement in macro averaged accuracy.


title: Finite groups with few character values

abstract: A classical theorem on character degrees states that if a finite group has fewer than four character degrees, then the group is solvable. We prove a corresponding result on character values by showing that if a finite group has fewer than eight character values in its character table, then the group is solvable. This confirms a conjecture of T. Sakurai. We also classify non-solvable groups with exactly eight character values.


title: Convergence analysis for forward and inverse problems in singularly perturbed time-dependent reaction-advection-diffusion equations

abstract: In this paper, by employing the asymptotic expansion method, we prove the existence and uniqueness of a smoothing solution for a time-dependent nonlinear singularly perturbed partial differential equation (PDE) with a small-scale parameter. As a by-product, we obtain an approximate smooth solution, constructed from a sequence of reduced stationary PDEs with vanished high-order derivative terms. We prove that the accuracy of the constructed approximate solution can be in any order of this small-scale parameter in the whole domain, except a negligible transition layer. Furthermore, based on a simpler link equation between this approximate solution and the source function, we propose an efficient algorithm, called the asymptotic expansion regularization (AER), for solving nonlinear inverse source problems governed by the original PDE. The convergence-rate results of AER are proven, and the a posteriori error estimation of AER is also studied under some a priori assumptions of source functions. Various numerical examples are provided to demonstrate the efficiency of our new approach.


title: On Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics

abstract: During the last decades, a lot of effort was put into identifying decidable fragments of first-order logic. Such efforts gave birth, among the others, to the two-variable fragment and the guarded fragment, depending on the type of restriction imposed on formulae from the language. Despite the success of the mentioned logics in areas like formal verification and knowledge representation, such first-order fragments are too weak to express even the simplest statistical constraints, required for modelling of influence networks or in statistical reasoning. In this work we investigate the extensions of these classical decidable logics with percentage quantifiers, specifying how frequently a formula is satisfied in the indented model. We show, surprisingly, that all the mentioned decidable fragments become undecidable under such extension, sharpening the existing results in the literature. Our negative results are supplemented by decidability of the two-variable guarded fragment with even more expressive counting, namely Presburger constraints. Our results can be applied to infer decidability of various modal and description logics, e.g. Presburger Modal Logics with Converse or ALCI, with expressive cardinality constraints.


title: Porter-Thomas fluctuations in complex quantum systems

abstract: The Gaussian Orthogonal Ensemble (GOE) of random matrices has been widely employed to describe diverse phenomena in strongly coupled quantum systems. An important prediction is that the decay rates of the GOE eigenstates fluctuate according to the distribution for one degree of freedom, as derived by Brink and by Porter and Thomas. However, we find that the coupling to the decay channels can change the effective number of degrees of freedom from $\nu = 1$ to $\nu = 2$. Our conclusions are based on a configuration-interaction Hamiltonian originally constructed to test the validity of transition-state theory, also known as Rice-Ramsperger-Kassel-Marcus (RRKM) theory in chemistry. The internal Hamiltonian consists of two sets of GOE reservoirs connected by an internal channel. We find that the effective number of degrees of freedom $\nu$ can vary from one to two depending on the control parameter $\rho \Gamma$, where $\rho$ is the level density in the first reservoir and $\Gamma$ is the level decay width. The $\nu = 2$ distribution is a well-known property of the Gaussian Unitary ensemble (GUE); our model demonstrates that the GUE fluctuations can be present under much milder conditions. Our treatment of the model permits an analytic derivation for $\rho\Gamma \gtrsim 1$.


title: AutoNovel: Automatically Discovering and Learning Novel Visual Categories

abstract: We tackle the problem of discovering novel classes in an image collection given labelled examples of other classes. We present a new approach called AutoNovel to address this problem by combining three ideas: (1) we suggest that the common approach of bootstrapping an image representation using the labelled data only introduces an unwanted bias, and that this can be avoided by using self-supervised learning to train the representation from scratch on the union of labelled and unlabelled data; (2) we use ranking statistics to transfer the model's knowledge of the labelled classes to the problem of clustering the unlabelled images; and, (3) we train the data representation by optimizing a joint objective function on the labelled and unlabelled subsets of the data, improving both the supervised classification of the labelled data, and the clustering of the unlabelled data. Moreover, we propose a method to estimate the number of classes for the case where the number of new categories is not known a priori. We evaluate AutoNovel on standard classification benchmarks and substantially outperform current methods for novel category discovery. In addition, we also show that AutoNovel can be used for fully unsupervised image clustering, achieving promising results.


title: Mathematical osmosis imaging for multi-modal and multi-spectral applications in Cultural Heritage conservation

abstract: In this work we present a dual-mode mid-infrared workflow [6], for detecting sub-superficial mural damages in frescoes artworks. Due to the large nature of frescoes, multiple thermal images are recorded. Thus, the experimental setup may introduce measurements errors, seen as inter-frame changes in the image contrast, after mosaicking. An approach to lowering errors is to post-process the mosaic [10] via osmosis partial differential equation (PDE) [12, 13], which preserves details, mass and balance the lights: efficient numerical study for osmosis on large images is proposed [2, 11], based on operator splitting [8]. Our range of Cultural Heritage applications include the detection of sub-superficial voids in Monocromo (L. Da Vinci, Castello Sforzesco, Milan) [5], the light-balance for multi-spectral imaging and the data integration on the Archimedes Palimpsest [10].


title: Recent Colorings And Labelings In Topological Coding

abstract: Topological Coding consists of two different kinds of mathematics: topological structure and mathematical relation. The colorings and labelings of graph theory are main techniques in topological coding applied in asymmetric encryption system. Topsnut-gpws (also, colored graphs) have the following advantages: (1) Run fast in communication networks because they are saved in computer by popular matrices rather than pictures. (2) Produce easily text-based (number-based) strings for encrypt files. (3) Diversity of asymmetric ciphers, one public-key corresponds to more private-keys, or more public-keys correspond more private-keys. (4) Irreversibility, Topsnut-gpws can generate quickly text-based (number-based) strings with bytes as long as desired, but these strings can not reconstruct the original Topsnut-gpws. (5) Computational security, since there are many non-polynomial (NP-complete, NP-hard) algorithms in creating Topsnut-gpws. (6) Provable security, since there are many mathematical conjectures (open problems) in graph labelings and graph colorings. We are committed to create more kinds of new Topsnut-gpws to approximate practical applications and antiquantum computation, and try to use algebraic method and Topsnut-gpws to establish graphic group, graphic lattice, graph homomorphism etc.


title: Gender issues in fundamental physics: Strumia's bibliometric analysis fails to account for key confounders and confuses correlation with causation

abstract: Alessandro Strumia recently published a survey of gender differences in publications and citations in high-energy physics (HEP). In addition to providing full access to the data, code, and methodology, Strumia (2020) systematically describes and accounts for gender differences in HEP citation networks. His analysis points both to ongoing difficulties in attracting women to high-energy physics and an encouraging-though slow-trend in improvement. Unfortunately, however, the time and effort Strumia (2020) devoted to collating and quantifying the data are not matched by a similar rigour in interpreting the results. To support his conclusions, he selectively cites available literature and fails to adequately adjust for a range of confounding factors. For example, his analyses do not consider how unobserved factors -- e.g., a tendency to overcite well-known authors -- drive a wedge between quality and citations and correlate with author gender. He also fails to take into account many structural and non-structural factors -- including, but not limited to, direct discrimination and the expectations women form (and actions they take) in response to it -- that undoubtedly lead to gender differences in productivity. We therefore believe that a number of Strumia's conclusions are not supported by his analysis. Indeed, we re-analyse a subsample of solo-authored papers from his data, adjusting for year and journal of publication, authors' research age and their lifetime "fame". Our re-analysis suggests that female-authored papers are actually cited more than male-authored papers. This finding is inconsistent with the "greater male variability" hypothesis Strumia (2020) proposes to explain many of his results.


title: The Complexity of Synthesis of $b$-Bounded Petri Nets

abstract: For a fixed type of Petri nets $\tau$, \textsc{$\tau$-Synthesis} is the task of finding for a given transition system $A$ a Petri net $N$ of type $\tau$ ($\tau$-net, for short) whose reachability graph is isomorphic to $A$ if there is one. The decision version of this search problem is called \textsc{$\tau$-Solvability}. If an input $A$ allows a positive decision, then it is called $\tau$-solvable and a sought net $N$ $\tau$-solves $A$. As a well known fact, $A$ is $\tau$-solvable if and only if it has the so-called $\tau$-\emph{event state separation property} ($\tau$-ESSP, for short) and the $\tau$-\emph{state separation property} ($\tau$-SSP, for short). The question whether $A$ has the $\tau$-ESSP or the $\tau$-SSP defines also decision problems. In this paper, for all $b\in \mathbb{N}$, we completely characterize the computational complexity of \textsc{$\tau$-Solvability}, \textsc{$\tau$-ESSP} and \textsc{$\tau$-SSP} for the types of pure $b$-bounded Place/Transition-nets, the $b$-bounded Place/Transition-nets and their corresponding $\mathbb{Z}_{b+1}$-extensions.


title: Predicting Depth from Semantic Segmentation using Game Engine Dataset

abstract: Depth perception is fundamental for robots to understand the surrounding environment. As the view of cognitive neuroscience, visual depth perception methods are divided into three categories, namely binocular, active, and pictorial. The first two categories have been studied for decades in detail. However, research for the exploration of the third category is still in its infancy and has got momentum by the advent of deep learning methods in recent years. In cognitive neuroscience, it is known that pictorial depth perception mechanisms are dependent on the perception of seen objects. Inspired by this fact, in this thesis, we investigated the relation of perception of objects and depth estimation convolutional neural networks. For this purpose, we developed new network structures based on a simple depth estimation network that only used a single image at its input. Our proposed structures use both an image and a semantic label of the image as their input. We used semantic labels as the output of object perception. The obtained results of performance comparison between the developed network and original network showed that our novel structures can improve the performance of depth estimation by 52\% of relative error of distance in the examined cases. Most of the experimental studies were carried out on synthetic datasets that were generated by game engines to isolate the performance comparison from the effect of inaccurate depth and semantic labels of non-synthetic datasets. It is shown that particular synthetic datasets may be used for training of depth networks in cases that an appropriate dataset is not available. Furthermore, we showed that in these cases, usage of semantic labels improves the robustness of the network against domain shift from synthetic training data to non-synthetic test data.


title: SRF-Net: Selective Receptive Field Network for Anchor-Free Temporal Action Detection

abstract: Temporal action detection (TAD) is a challenging task which aims to temporally localize and recognize the human action in untrimmed videos. Current mainstream one-stage TAD approaches localize and classify action proposals relying on pre-defined anchors, where the location and scale for action instances are set by designers. Obviously, such an anchor-based TAD method limits its generalization capability and will lead to performance degradation when videos contain rich action variation. In this study, we explore to remove the requirement of pre-defined anchors for TAD methods. A novel TAD model termed as Selective Receptive Field Network (SRF-Net) is developed, in which the location offsets and classification scores at each temporal location can be directly estimated in the feature map and SRF-Net is trained in an end-to-end manner. Innovatively, a building block called Selective Receptive Field Convolution (SRFC) is dedicatedly designed which is able to adaptively adjust its receptive field size according to multiple scales of input information at each temporal location in the feature map. Extensive experiments are conducted on the THUMOS14 dataset, and superior results are reported comparing to state-of-the-art TAD approaches.


title: Pre-merger localization of compact-binary mergers with third generation observatories

abstract: We present the prospects for the pre-merger detection and localization of binary neutron star mergers with third generation gravitational-wave observatories. We consider a wide variety of gravitational-wave networks which may be operating in the 2030's and beyond; these networks include up to two Cosmic Explorer sites, the Einstein Telescope, and continued observation with the existing second generation ground-based detectors. For a fiducial local merger rate of 300 Gpc$^{-3}$yr$^{-1}$, we find that the Einstein Telescope on its own is able to detect 6 and 2 sources per year at 5 and 30 minutes before merger, respectively, while providing a localization of $<10~\textrm{deg}^2$. A single Cosmic Explorer would detect but be unable to localize sources on its own. A two-detector Cosmic Explorer network, however, would detect 22 and 0.4 mergers per year using the same criteria. A full three-detector network with the operation of dual Cosmic Explorers and the Einstein Telescope would allow for $<1~\textrm{deg}^2$ source localization at 5 minutes before merger for $\sim7$ sources per year. Given the dramatic increase in localization and detection capabilities, third generation observatories will enable the regular observation of the prompt emission of mergers by a broad array of observatories including gamma-ray, x-ray, and optical telescopes. Moreover, sub-degree localizations minutes before merger, combined with narrow-field-of-view high-energy telescopes, could strongly constrain the high-energy pre-merger emission models proposed in the last decade.


title: On Zagier's Conjecture About the Inverse of a Matrix Related to Double Zeta Values

abstract: We prove a conjecture of Zagier about the inverse of a $(K-1)\times (K-1)$ matrix $A=A_{K}$ using elementary methods. This formula allows one to express the the product of single zeta values $\zeta(2r)\zeta(2K+1-2r)$, $1\leq r\leq K-1$, in terms of the double zeta values $\zeta(2r,2K+1-2r)$, $1\leq r\leq K-1$ and $\zeta(2K+1)$.


title: On the resurgence and asymptotic resurgence of homogeneous ideals

abstract: Let $\mathbb{K}$ be a field and $R = \mathbb{K}[x_1, \ldots, x_n]$. We obtain an improved upper bound for asymptotic resurgence of squarefree monomial ideals in $R$. We study the effect on the resurgence when sum, product and intersection of ideals are taken. We obtain sharp upper and lower bounds for the resurgence and asymptotic resurgence of cover ideals of finite simple graphs in terms of associated combinatorial invariants. We also explicitly compute the resurgence and asymptotic resurgence of cover ideals of several classes of graphs. We characterize a graph being bipartite in terms of the resurgence and asymptotic resurgence of edge and cover ideals. We also compute explicitly the resurgence and asymptotic resurgence of edge ideals of some classes of graphs.


title: MU-MIMO Grouping For Real-time Applications

abstract: Over the last decade, the bandwidth expansion and MU-MIMO spectral efficiency have promised to increase data throughput by allowing concurrent communication between one Access Point and multiple users. However, we are still a long way from enjoying such MU-MIMO MAC protocol improvements for bandwidth hungry applications such as video streaming in practical WiFi network settings due to heterogeneous channel conditions and devices, unreliable transmissions, and lack of useful feedback exchange among the lower and upper layers' requirements. This paper introduces MuViS, a novel dual-phase optimization framework that proposes a Quality of Experience (QoE) aware MU-MIMO optimization for multi-user video streaming over IEEE 802.11ac. MuViS first employs reinforcement learning to optimize the MU-MIMO user group and mode selection for users based on their PHY/MAC layer characteristics. The video bitrate is then optimized based on the user's mode (Multi-User (MU) or Single-User (SU)). We present our design and its evaluation on smartphones and laptops using 802.11ac WiFi. Our experimental results in various indoor environments and configurations show a scalable framework that can support a large number of users with streaming at high video rates and satisfying QoE requirements.


title: Achieved Throughput of Hovering UAV-Based Optical Wireless Communications

abstract: Recently, free-space optical (FSO) communication systems have obtained a wide range of applications for communications between unmanned aerial vehicles (UAVs) because they offer several advantages with respect to the traditional RF communication systems. To investigate the performance of UAV-based FSO systems in terms of achievable data rates, we derive the exact closed-form expression for the mean achievable rates of UAV-to-UAV transmission. Our results may serve to investigate the interaction between different FSO system parameters and the average data rates achieved by UAV-based optical wireless communications.


title: Dynamic Response and Stability Margin Improvement of Wireless Power Receiver Systems via Right-Half-Plane Zero Elimination

abstract: The series-series compensation topology is widely adopted in many wireless power transfer applications. For such systems, their wireless power receiver part typically involves a DC-DC converter with front-stage full-bridge diode rectifier, to process the high-frequency transmitted AC power into a DC output voltage for the load. It is recently reported that the current source nature of the series-series compensation will introduce right-half-plane (RHP) zeros into the small-signal transfer functions of the DC-DC converter of the wireless power receiver, which will severely affect the stability and dynamic response of the system. To resolve this issue, in this paper, it is proposed to adopt a different rectifier configuration for the system such that the input current to the DC-DC converter becomes controllable to eliminate the presence of RHP zeros of the small-signal transfer functions of the system. This rectifier can be applied to different wireless power receivers using the buck, buck-boost, or boost converters. As compared with the original wireless power receivers, the modified ones feature minimum-phase characteristics and hence ease the design of compensator. Theoretical and experimental results are provided. The comparative experimental results verify the elimination of the RHP zero, improved dynamic responses of reference tracking and against load disturbances, and a larger stability margin.


title: Frequency Reflection Modulation for Reconfigurable Intelligent Surface Aided OFDM Systems

abstract: Reconfigurable intelligent surface (RIS) based reflection modulation has been considered as a promising information delivery mechanism, and has the potential to realize passive information transfer of a RIS without consuming any additional radio frequency chain and time/frequency/energy resources. The existing on-off reflection modulation (ORM) schemes are based on manipulating the "on/off" states of RIS elements, which may lead to the degradation of RIS reflection efficiency. This paper proposes a frequency reflection modulation (FRM) method for RIS-aided OFDM systems. The FRM-OFDM scheme modulates the frequency of the incident electromagnetic waves, and the RIS information is embedded in the frequency-hoping states of RIS elements. Unlike the ORM-OFDM scheme, the FRM-OFDM scheme can achieve higher reflection efficiency, since the latter does not turn off any reflection element in reflection modulation. We propose a block coordinate descent (BCD) algorithm to maximize the user achievable rate for the FRM-OFDM system by jointly optimizing the phase shift of the RIS and the power allocation at the transmitter. Further, we design a bilinear message passing (BMP) algorithm for the bilinear recovery of both the user symbols and the RIS data. Numerical simulations have verified the efficiency of the designed BCD algorithm for system optimization and the BMP algorithm for signal detection, as well as the superiority of the proposed FRM-OFDM scheme over the ORM-OFDM scheme.


title: On $L^1$ estimates of solutions of compressible viscoelastic system

abstract: We consider the large time behavior of solutions of compressible viscoelastic system around a motionless state in a three-dimensional whole space. We show that if the initial preturbation belongs to $W^{2,1}$, and is sufficiently small in $H^4\cap L^1$, the solutions grow in time at the same rate as $t^{\frac{1}{2}}$ in $L^1$ due to diffusion wave phenomena of the system caused by interaction between sound wave, viscous diffusion and elastic wave.


title: On the most constraining cosmological neutrino mass bounds

abstract: We present here up-to-date neutrino mass limits exploiting the most recent cosmological data sets. By making use of the Cosmic Microwave Background temperature fluctuation and polarization measurements, Supernovae Ia luminosity distances, Baryon Acoustic Oscillation observations and determinations of the growth rate parameter, we are able to set the most constraining bound to date, $\sum m_\nu<0.09$ eV at $95\%$~CL. This very tight limit is obtained without the assumption of any prior on the value of the Hubble constant and highly compromises the viability of the inverted mass ordering as the underlying neutrino mass pattern in nature. The results obtained here further strengthen the case for very large multitracer spectroscopic surveys as unique laboratories for cosmological relics, such as neutrinos: that would be the case of the Dark Energy Spectroscopic Instrument (DESI) survey and of the Euclid mission.


title: Predicting the Solar Potential of Rooftops using Image Segmentation and Structured Data

abstract: Estimating the amount of electricity that can be produced by rooftop photovoltaic systems is a time-consuming process that requires on-site measurements, a difficult task to achieve on a large scale. In this paper, we present an approach to estimate the solar potential of rooftops based on their location and architectural characteristics, as well as the amount of solar radiation they receive annually. Our technique uses computer vision to achieve semantic segmentation of roof sections and roof objects on the one hand, and a machine learning model based on structured building features to predict roof pitch on the other hand. We then compute the azimuth and maximum number of solar panels that can be installed on a rooftop with geometric approaches. Finally, we compute precise shading masks and combine them with solar irradiation data that enables us to estimate the yearly solar potential of a rooftop.


title: Improvement of Bi-directional Communications using Solar Powered Reconfigurable Intelligent Surfaces

abstract: Recently, there has been a flurry of research on the use of Reconfigurable Intelligent Surfaces (RIS) in wireless networks to create dynamic radio environments. In this paper, we investigate the use of an RIS panel to improve bi-directional communications. Assuming that the RIS will be located on the facade of a building, we propose to connect it to a solar panel that harvests energy to be used to power the RIS panel's smart controller and reflecting elements. Therefore, we present a novel framework to optimally decide the transmit power of each user and the number of elements that will be used to reflect the signal of any two communicating pair in the system (user-user or base station-user). An optimization problem is formulated to jointly minimize a scalarized function of the energy of the communicating pair and the RIS panel and to find the optimal number of reflecting elements used by each user. Although the formulated problem is a mixed-integer non-linear problem, the optimal solution is found by linearizing the non-linear constraints. Besides, a more efficient close to the optimal solution is found using Bender decomposition. Simulation results show that the proposed model is capable of delivering the minimum rate of each user even if line-of-sight communication is not achievable.


title: New sources of economies and diseconomies of scale in on-demand ridepooling systems and comparison with public transport

abstract: On-demand ridepooling (ODRP) can become a powerful alternative to reduce congestion and emissions, if it attracts private car users. Therefore, it is crucial to identify the strategic phenomena that determine when ODRP systems can run efficiently. In this paper, we analyze the performance of an ODRP system, in which the fleet of low-capacity vehicles is endogenously adapted to the demand, and operated in a zone covered by a single transit line. The routing of the on-demand fleet follows some of the rules of public transport systems; namely, it is not-for-profit, some users can be required to walk, and all requests must be served. Considering both users' and operators' costs we identify two sources of scale economies: when demand grows, the average cost is reduced due to a) an equivalent of the Mohring Effect (also present in public transport), and b) due to matching users with more similar routes when they are assigned to the vehicles, which we call Better-matching Effect. A counter-balance force, called Flex-route Effect, is observed when the vehicle loads increase and users face longer detours. We find a specific demand range in which the latter effect dominates the others, imposing diseconomies of scale when only users' costs are considered. Such a phenomenon emerges because the routes are not fixed; hence, it is not observed in traditional public transport systems. However, when considering both users' and operators' costs, scale economies prevail. Our simulations show that relaxing door-to-door vehicle requirements to allow short walks is crucial for the performance of ODRP. In fact, we observe that an ODRP system with human-driven vehicles and walks allowed has a total cost at a similar level to that of a door-to-door ODRP system with driverless vehicles.


title: Beyond the Newtonian Paradigm: A Statistical Mechanics of Emergence

abstract: Since Newton, all classical and quantum physics depends upon the "Newtonian Paradigm". Here the relevant variables of the system are identified. The boundary conditions creating the phase space of all possible values of the variables are defined. Then, given any initial condition, the differential equations of motion are integrated to yield an entailed trajectory in the phase space. It is fundamental to the Newtonian Paradigm that the set of possibilities that constitute the phase space is always definable and fixed ahead of time. All of this fails for the diachronic evolution of ever new adaptations in any biosphere. The central reason is that living cells achieve Constraint Closure and construct themselves. Living cells, evolving via heritable variation and Natural selection, adaptively construct new in the universe possibilities. The new possibilities are opportunities for new adaptations thereafter seized by heritable variation and Natural Selection. Surprisingly, we can neither define nor deduce the evolving phase spaces ahead of time. We can use no mathematics based on Set Theory to do so. These ever-new adaptations with ever-new relevant variables constitute the ever-changing phase space of evolving biospheres. Because of this, evolving biospheres are entirely outside the Newtonian Paradigm. One consequence is that for any universe such as ours there can be no Final Theory that entails all that comes to exist. The implications are large. We face a third major transition in science beyond the Pythagorean dream that "All is Number". We must give up deducing the diachronic evolution of the biosphere. All of physics, classical and quantum, however, apply to the analysis of existing life, a synchronic analysis. We begin to better understand the emergent creativity of an evolving biosphere. Thus, we are on the edge of inventing a physics-like new statistical mechanics of emergence.


title: A Study of Ultrawideband (UWB) Antenna Design for Cognitive Radio Applications

abstract: Cognitive radio is rapidly shaping the future of wireless communications. Research on antenna design is very critical for the implementation of cognitive radio. A special antenna is required in cognitive radio for sensing and communicating. For the purpose of spectrum sensing, an Ultrawideband (UWB) antenna is being considered as a potential candidate by many experts. This paper provides a detailed discussion of the existing UWB spectrum sensing antenna designs for cognitive radio system. Simulation results for a promising cognitive radio antenna which provides a reconfigurable function in the range of 5-6 GHz have also been presented and shown to match closely with the measured results.


title: Learning Control Policies for Imitating Human Gaits

abstract: The work presented in this report introduces a framework aimed towards learning to imitate human gaits. Humans exhibit movements like walking, running, and jumping in the most efficient manner, which served as the source of motivation for this project. Skeletal and Musculoskeletal human models were considered for motions in the sagittal plane, and results from both were compared exhaustively. While skeletal models are driven with motor actuation, musculoskeletal models perform through muscle-tendon actuation. Model-free reinforcement learning algorithms were used to optimize inverse dynamics control actions to satisfy the objective of imitating a reference motion along with secondary objectives of minimizing effort in terms of power spent by motors and metabolic energy consumed by the muscles. On the one hand, the control actions for the motor actuated model is the target joint angles converted into joint torques through a Proportional-Differential controller. While on the other hand, the control actions for the muscle-tendon actuated model is the muscle excitations converted implicitly to muscle activations and then to muscle forces which apply moments on joints. Muscle-tendon actuated models were found to have superiority over motor actuation as they are inherently smooth due to muscle activation dynamics and don't need any external regularizers. Finally, a strategy that was used to obtain an optimal configuration of the significant decision variables in the framework was discussed. All the results and analysis are presented in an illustrative, qualitative, and quantitative manner. Supporting video links are provided in the Appendix.


title: Autonomous Driving Implementation in an Experimental Environment

abstract: Autonomous systems require identifying the environment and it has a long way to go before putting it safely into practice. In autonomous driving systems, the detection of obstacles and traffic lights are of importance as well as lane tracking. In this study, an autonomous driving system is developed and tested in the experimental environment designed for this purpose. In this system, a model vehicle having a camera is used to trace the lanes and avoid obstacles to experimentally study autonomous driving behavior. Convolutional Neural Network models were trained for Lane tracking. For the vehicle to avoid obstacles, corner detection, optical flow, focus of expansion, time to collision, balance calculation, and decision mechanism were created, respectively.


title: Modeling bundle-valued forms on the path space with a curved iterated integral

abstract: We introduce a new variant of Hochschild's two-sided bar construction for the setting of curved differential graded algebras. One can geometrically think of the classical bar complex as elements from the algebra positioned along different points in the closed interval $[0,1]$. In this paper, we start with a curved differential graded algebra and define a new ``zigzag algebra'' that, informally, consists of algebra elements arranged on a zigzag of intervals going back and forth between $0$ and $1$. We focus on two curved differential graded algebras: the de Rham algebra of differential forms with values in the endomorphism bundle associated to a vector bundle with connection, and its induced zigzag algebra. We define a curved version of Chen's iterated integral that incorporates parallel transport and maps this zigzag algebra of bundle-valued forms to bundle-valued forms on the path space. This iterated integral is proven to be a homotopy equivalence of curved differential graded algebras, and for real-valued forms it factors through the usual Chen iterated integral.


title: Using a Drone Sounder to Measure Channels for Cell-Free Massive MIMO Systems

abstract: Measurements of the propagation channel form the basis of all realistic system performance evaluations, as foundation of statistical channel models or to verify ray tracing. This is also true for the analysis of cell-free massive multi-input multi-output (CF-mMIMO) systems in real-world environments. However, such experimental data are difficult to obtain, due to the complexity and expense of deploying tens or hundreds of channel sounder nodes across the wide area a CF-mMIMO system is expected to cover, especially when different configurations and number of antennas are to be explored. In this paper, we provide a novel method to measure channels for CF-mMIMO systems using a channel sounder based on a drone, also known as a small unmanned aerial vehicle (UAV). Such a method is efficient, flexible, simple, and low-cost, capturing channel data from thousands of different access point (AP) locations within minutes. In addition, we provide sample 3.5 GHz measurement results analyzing deployment strategies for APs and make the data open source, so they may be used for various other studies.


title: Perception-Aware Multi-Sensor Fusion for 3D LiDAR Semantic Segmentation

abstract: 3D LiDAR (light detection and ranging) semantic segmentation is important in scene understanding for many applications, such as auto-driving and robotics. For example, for autonomous cars equipped with RGB cameras and LiDAR, it is crucial to fuse complementary information from different sensors for robust and accurate segmentation. Existing fusion-based methods, however, may not achieve promising performance due to the vast difference between the two modalities. In this work, we investigate a collaborative fusion scheme called perception-aware multi-sensor fusion (PMF) to exploit perceptual information from two modalities, namely, appearance information from RGB images and spatio-depth information from point clouds. To this end, we first project point clouds to the camera coordinates to provide spatio-depth information for RGB images. Then, we propose a two-stream network to extract features from the two modalities, separately, and fuse the features by effective residual-based fusion modules. Moreover, we propose additional perception-aware losses to measure the perceptual difference between the two modalities. Extensive experiments on two benchmark data sets show the superiority of our method. For example, on nuScenes, our PMF outperforms the state-of-the-art method by 0.8 in mIoU.


title: Open-Set Representation Learning through Combinatorial Embedding

abstract: Visual recognition tasks are often limited to dealing with a small subset of classes simply because the labels for the remaining classes are unavailable. We are interested in identifying novel concepts in a dataset through representation learning based on both labeled and unlabeled examples, and extending the horizon of recognition to both known and novel classes. To address this challenging task, we propose a combinatorial learning approach, which naturally clusters the examples in unseen classes using the compositional knowledge given by multiple supervised meta-classifiers on heterogeneous label spaces. The representations given by the combinatorial embedding are made more robust by unsupervised pairwise relation learning. The proposed algorithm discovers novel concepts via a joint optimization for enhancing the discrimitiveness of unseen classes as well as learning the representations of known classes generalizable to novel ones. Our extensive experiments demonstrate remarkable performance gains by the proposed approach on public datasets for image retrieval and image categorization with novel class discovery.


title: Powerful multiphase outflows in the central region of Cygnus A

abstract: We use Gemini Near-Infrared Integral Field Spectrograph (NIFS) observations of the inner 3.5$\times$3.5 kpc$^2$ of the radio galaxy Cygnus A to map the gas excitation and kinematics at a spatial resolution of 200 pc. The emission of the ionised gas shows a biconical morphology, with half-opening angle of 45$^\circ$ and oriented along the position angle of the radio jet. Coronal line emission is seen within the cone, up to 1.75 kpc from the nucleus, with higher ionisation gas observed in the easterly side. The H$_2$ and [Fe II] emission lines are consistent with excitation by the central AGN, with some contribution of shocks to the southwest of the nucleus. The gas visual extinction and electron density are larger than those from optical-based measurements, consistent with the fact that near-IR observations penetrate deeply into the gas emission structure, probing denser and more obscured regions. The gas kinematics shows two components: (i) a rotating disc with kinematic position angle of $\Psi_0=21^\circ\pm2^\circ$, seen both in ionised and molecular gas, and (ii) outflows with velocities of up to 600 kms$^{-1}$ observed within the ionisation cone in ionised gas and restricted to inner 0.5 arcsec in molecular gas. The mass outflow rate in ionised gas is in the range $\sim100-280 {\rm M_\odot yr^{-1}}$ and the kinetic power of the outflow corresponds to 0.3-3.3 per cent of the AGN bolometric luminosity, indicating that the outflows in Cygnus A may be effective in suppressing star formation.


title: Xihe: A 3D Vision-based Lighting Estimation Framework for Mobile Augmented Reality

abstract: Omnidirectional lighting provides the foundation for achieving spatially-variant photorealistic 3D rendering, a desirable property for mobile augmented reality applications. However, in practice, estimating omnidirectional lighting can be challenging due to limitations such as partial panoramas of the rendering positions, and the inherent environment lighting and mobile user dynamics. A new opportunity arises recently with the advancements in mobile 3D vision, including built-in high-accuracy depth sensors and deep learning-powered algorithms, which provide the means to better sense and understand the physical surroundings. Centering the key idea of 3D vision, in this work, we design an edge-assisted framework called Xihe to provide mobile AR applications the ability to obtain accurate omnidirectional lighting estimation in real time. Specifically, we develop a novel sampling technique that efficiently compresses the raw point cloud input generated at the mobile device. This technique is derived based on our empirical analysis of a recent 3D indoor dataset and plays a key role in our 3D vision-based lighting estimator pipeline design. To achieve the real-time goal, we develop a tailored GPU pipeline for on-device point cloud processing and use an encoding technique that reduces network transmitted bytes. Finally, we present an adaptive triggering strategy that allows Xihe to skip unnecessary lighting estimations and a practical way to provide temporal coherent rendering integration with the mobile AR ecosystem. We evaluate both the lighting estimation accuracy and time of Xihe using a reference mobile application developed with Xihe's APIs. Our results show that Xihe takes as fast as 20.67ms per lighting estimation and achieves 9.4% better estimation accuracy than a state-of-the-art neural network.


title: On Board Volcanic Eruption Detection through CNNs and Satellite Multispectral Imagery

abstract: In recent years, the growth of Machine Learning (ML) algorithms has raised the number of studies including their applicability in a variety of different scenarios. Among all, one of the hardest ones is the aerospace, due to its peculiar physical requirements. In this context, a feasibility study and a first prototype for an Artificial Intelligence (AI) model to be deployed on board satellites are presented in this work. As a case study, the detection of volcanic eruptions has been investigated as a method to swiftly produce alerts and allow immediate interventions. Two Convolutional Neural Networks (CNNs) have been proposed and designed, showing how to efficiently implement them for identifying the eruptions and at the same time adapting their complexity in order to fit on board requirements.


title: Cascaded Diffusion Models for High Fidelity Image Generation

abstract: We show that cascaded diffusion models are capable of generating high fidelity images on the class-conditional ImageNet generation benchmark, without any assistance from auxiliary image classifiers to boost sample quality. A cascaded diffusion model comprises a pipeline of multiple diffusion models that generate images of increasing resolution, beginning with a standard diffusion model at the lowest resolution, followed by one or more super-resolution diffusion models that successively upsample the image and add higher resolution details. We find that the sample quality of a cascading pipeline relies crucially on conditioning augmentation, our proposed method of data augmentation of the lower resolution conditioning inputs to the super-resolution models. Our experiments show that conditioning augmentation prevents compounding error during sampling in a cascaded model, helping us to train cascading pipelines achieving FID scores of 1.48 at 64x64, 3.52 at 128x128 and 4.88 at 256x256 resolutions, outperforming BigGAN-deep, and classification accuracy scores of 63.02% (top-1) and 84.06% (top-5) at 256x256, outperforming VQ-VAE-2.


title: Similarity Embedding Networks for Robust Human Activity Recognition

abstract: Deep learning models for human activity recognition (HAR) based on sensor data have been heavily studied recently. However, the generalization ability of deep models on complex real-world HAR data is limited by the availability of high-quality labeled activity data, which are hard to obtain. In this paper, we design a similarity embedding neural network that maps input sensor signals onto real vectors through carefully designed convolutional and LSTM layers. The embedding network is trained with a pairwise similarity loss, encouraging the clustering of samples from the same class in the embedded real space, and can be effectively trained on a small dataset and even on a noisy dataset with mislabeled samples. Based on the learned embeddings, we further propose both nonparametric and parametric approaches for activity recognition. Extensive evaluation based on two public datasets has shown that the proposed similarity embedding network significantly outperforms state-of-the-art deep models on HAR classification tasks, is robust to mislabeled samples in the training set, and can also be used to effectively denoise a noisy dataset.


title: NMPO: Near-Memory Computing Profiling and Offloading

abstract: Real-world applications are now processing big-data sets, often bottlenecked by the data movement between the compute units and the main memory. Near-memory computing (NMC), a modern data-centric computational paradigm, can alleviate these bottlenecks, thereby improving the performance of applications. The lack of NMC system availability makes simulators the primary evaluation tool for performance estimation. However, simulators are usually time-consuming, and methods that can reduce this overhead would accelerate the early-stage design process of NMC systems. This work proposes Near-Memory computing Profiling and Offloading (NMPO), a high-level framework capable of predicting NMC offloading suitability employing an ensemble machine learning model. NMPO predicts NMC suitability with an accuracy of 85.6% and, compared to prior works, can reduce the prediction time by using hardware-dependent applications features by up to 3 order of magnitude.


title: Anomaly Detection and Automated Labeling for Voter Registration File Changes

abstract: Voter eligibility in United States elections is determined by a patchwork of state databases containing information about which citizens are eligible to vote. Administrators at the state and local level are faced with the exceedingly difficult task of ensuring that each of their jurisdictions is properly managed, while also monitoring for improper modifications to the database. Monitoring changes to Voter Registration Files (VRFs) is crucial, given that a malicious actor wishing to disrupt the democratic process in the US would be well-advised to manipulate the contents of these files in order to achieve their goals. In 2020, we saw election officials perform admirably when faced with administering one of the most contentious elections in US history, but much work remains to secure and monitor the election systems Americans rely on. Using data created by comparing snapshots taken of VRFs over time, we present a set of methods that make use of machine learning to ease the burden on analysts and administrators in protecting voter rolls. We first evaluate the effectiveness of multiple unsupervised anomaly detection methods in detecting VRF modifications by modeling anomalous changes as sparse additive noise. In this setting we determine that statistical models comparing administrative districts within a short time span and non-negative matrix factorization are most effective for surfacing anomalous events for review. These methods were deployed during 2019-2020 in our organization's monitoring system and were used in collaboration with the office of the Iowa Secretary of State. Additionally, we propose a newly deployed model which uses historical and demographic metadata to label the likely root cause of database modifications. We hope to use this model to predict which modifications have known causes and therefore better identify potentially anomalous modifications.


title: Evaluating Deep Neural Networks for Image Document Enhancement

abstract: This work evaluates six state-of-the-art deep neural network (DNN) architectures applied to the problem of enhancing camera-captured document images. The results from each network were evaluated both qualitatively and quantitatively using Image Quality Assessment (IQA) metrics, and also compared with an existing approach based on traditional computer vision techniques. The best performing architectures generally produced good enhancement compared to the existing algorithm, showing that it is possible to use DNNs for document image enhancement. Furthermore, the best performing architectures could work as a baseline for future investigations on document enhancement using deep learning techniques. The main contributions of this paper are: a baseline of deep learning techniques that can be further improved to provide better results, and a evaluation methodology using IQA metrics for quantitatively comparing the produced images from the neural networks to a ground truth.


title: Tackling Catastrophic Forgetting and Background Shift in Continual Semantic Segmentation

abstract: Deep learning approaches are nowadays ubiquitously used to tackle computer vision tasks such as semantic segmentation, requiring large datasets and substantial computational power. Continual learning for semantic segmentation (CSS) is an emerging trend that consists in updating an old model by sequentially adding new classes. However, continual learning methods are usually prone to catastrophic forgetting. This issue is further aggravated in CSS where, at each step, old classes from previous iterations are collapsed into the background. In this paper, we propose Local POD, a multi-scale pooling distillation scheme that preserves long- and short-range spatial relationships at feature level. Furthermore, we design an entropy-based pseudo-labelling of the background w.r.t. classes predicted by the old model to deal with background shift and avoid catastrophic forgetting of the old classes. Finally, we introduce a novel rehearsal method that is particularly suited for segmentation. Our approach, called PLOP, significantly outperforms state-of-the-art methods in existing CSS scenarios, as well as in newly proposed challenging benchmarks.


title: MFR 2021: Masked Face Recognition Competition

abstract: This paper presents a summary of the Masked Face Recognition Competitions (MFR) held within the 2021 International Joint Conference on Biometrics (IJCB 2021). The competition attracted a total of 10 participating teams with valid submissions. The affiliations of these teams are diverse and associated with academia and industry in nine different countries. These teams successfully submitted 18 valid solutions. The competition is designed to motivate solutions aiming at enhancing the face recognition accuracy of masked faces. Moreover, the competition considered the deployability of the proposed solutions by taking the compactness of the face recognition models into account. A private dataset representing a collaborative, multi-session, real masked, capture scenario is used to evaluate the submitted solutions. In comparison to one of the top-performing academic face recognition solutions, 10 out of the 18 submitted solutions did score higher masked face verification accuracy.


title: Beyond Gross-Pitaevskii equation for 1D gas: quasiparticles and solitons

abstract: Describing properties of a strongly interacting quantum many-body system poses a serious challenge both for theory and experiment. In this work, we study excitations of one-dimensional repulsive Bose gas for arbitrary interaction strength using a hydrodynamic approach. We use linearization to study particle (type-I) excitations and numerical minimization to study hole (type-II) excitations. We observe a good agreement between our approach and exact solutions of the Lieb-Liniger model for the particle modes and discrepancies for the hole modes. Therefore, the hydrodynamical equations find to be useful for long-wave structures like phonons and of a limited range of applicability for short-wave ones like narrow solitons. We discuss potential further applications of the method.


title: Constraints on Equivalence Principle Violation from Gamma Ray Bursts

abstract: Theories of gravity that obey the Weak Equivalence Principle have the same Parametrised Post-Newtonian parameter $\gamma$ for all particles at all energies. The large Shapiro time delays of extragalactic sources allow us to put tight constraints on differences in $\gamma$ between photons of different frequencies from spectral lag data, since a non-zero $\Delta \gamma$ would result in a frequency-dependent arrival time. The majority of previous constraints have assumed that the Shapiro time delay is dominated by a few local massive objects, although this is a poor approximation for distant sources. In this work we consider the cosmological context of these sources by developing a source-by-source, Monte Carlo-based forward model for the Shapiro time delays by combining constrained realisations of the local density field using the Bayesian origin reconstruction from galaxies algorithm with unconstrained large-scale modes. Propagating uncertainties in the density field reconstruction and marginalising over an empirical model describing other contributions to the time delay, we use spectral lag data of Gamma Ray Bursts from the BATSE satellite to constrain $\Delta \gamma < 2.1 \times 10^{-15}$ at $1 \sigma$ confidence between photon energies of $25 {\rm \, keV}$ and $325 {\rm \, keV}$.

categories: gr-qc astro-ph.CO astro-ph.GA astro-ph.HE


title: 2D Navier-Stokes system and no-slip boundary condition for vorticity in exterior domains

abstract: In this article we derive Biot-Savar law for exterior 2D domain. No-slip condition in terms of vorticity is expressed in integral form. For non-stationary fluid dynamics equations no-slip condition generates affine invariant manifold and no-slip integral relations on vorticity can be transferred to Robin-type boundary condition.


title: Adaptive Sample Selection for Robust Learning under Label Noise

abstract: Deep Neural Networks (DNNs) have been shown to be susceptible to memorization or overfitting in the presence of noisily-labelled data. For the problem of robust learning under such noisy data, several algorithms have been proposed. A prominent class of algorithms rely on sample selection strategies wherein, essentially, a fraction of samples with loss values below a certain threshold are selected for training. These algorithms are sensitive to such thresholds, and it is difficult to fix or learn these thresholds. Often, these algorithms also require information such as label noise rates which are typically unavailable in practice. In this paper, we propose an adaptive sample selection strategy that relies only on batch statistics of a given mini-batch to provide robustness against label noise. The algorithm does not have any additional hyperparameters for sample selection, does not need any information on noise rates and does not need access to separate data with clean labels. We empirically demonstrate the effectiveness of our algorithm on benchmark datasets.


title: Vacuum correlators at short distances from lattice QCD

abstract: Non-perturbatively computing the hadronic vacuum polarization at large photon virtualities and making contact with perturbation theory enables a precision determination of the electromagnetic coupling at the $Z$ pole, which enters global electroweak fits. In order to achieve this goal ab initio using lattice QCD, one faces the challenge that, at the short distances which dominate the observable, discretization errors are hard to control. Here we address challenges of this type with the help of static screening correlators in the high-temperature phase of QCD, yet without incurring any bias. The idea is motivated by the observations that (a) the cost of high-temperature simulations is typically much lower than their vacuum counterpart, and (b) at distances $x_3$ far below the inverse temperature $1/T$, the operator-product expansion guarantees the thermal correlator of two local currents to deviate from the vacuum correlator by a relative amount that is power-suppressed in $(x_3\:T)$. The method is first investigated in lattice perturbation theory, where we point out the appearance of an O$(a^2 \log(1/a))$ lattice artifact in the vacuum polarization with a prefactor that we calculate. It is then applied to non-perturbative lattice QCD data with two dynamical flavors of quarks. Our lattice spacings range down to 0.049 fm for the vacuum simulations and down to 0.033 fm for the simulations performed at a temperature of 250 MeV.


title: Roof Damage Assessment from Automated 3D Building Models

abstract: The 3D building modelling is important in urban planning and related domains that draw upon the content of 3D models of urban scenes. Such 3D models can be used to visualize city images at multiple scales from individual buildings to entire cities prior to and after a change has occurred. This ability is of great importance in day-to-day work and special projects undertaken by planners, geo-designers, and architects. In this research, we implemented a novel approach to 3D building models for such matter, which included the integration of geographic information systems (GIS) and 3D Computer Graphics (3DCG) components that generate 3D house models from building footprints (polygons), and the automated generation of simple and complex roof geometries for rapid roof area damage reporting. These polygons (footprints) are usually orthogonal. A complicated orthogonal polygon can be partitioned into a set of rectangles. The proposed GIS and 3DCG integrated system partitions orthogonal building polygons into a set of rectangles and places rectangular roofs and box-shaped building bodies on these rectangles. Since technicians are drawing these polygons manually with digitizers, depending on aerial photos, not all building polygons are precisely orthogonal. But, when placing a set of boxes as building bodies for creating the buildings, there may be gaps or overlaps between these boxes if building polygons are not precisely orthogonal. In our proposal, after approximately orthogonal building polygons are partitioned and rectified into a set of mutually orthogonal rectangles, each rectangle knows which rectangle is adjacent to and which edge of the rectangle is adjacent to, which will avoid unwanted intersection of windows and doors when building bodies combined.


title: Reliable and Fast Recurrent Neural Network Architecture Optimization

abstract: This article introduces Random Error Sampling-based Neuroevolution (RESN), a novel automatic method to optimize recurrent neural network architectures. RESN combines an evolutionary algorithm with a training-free evaluation approach. The results show that RESN achieves state-of-the-art error performance while reducing by half the computational time.


title: Convolutional Sparse Coding Fast Approximation with Application to Seismic Reflectivity Estimation

abstract: In sparse coding, we attempt to extract features of input vectors, assuming that the data is inherently structured as a sparse superposition of basic building blocks. Similarly, neural networks perform a given task by learning features of the training data set. Recently both data-driven and model-driven feature extracting methods have become extremely popular and have achieved remarkable results. Nevertheless, practical implementations are often too slow to be employed in real-life scenarios, especially for real-time applications. We propose a speed-up upgraded version of the classic iterative thresholding algorithm, that produces a good approximation of the convolutional sparse code within 2-5 iterations. The speed advantage is gained mostly from the observation that most solvers are slowed down by inefficient global thresholding. The main idea is to normalize each data point by the local receptive field energy, before applying a threshold. This way, the natural inclination towards strong feature expressions is suppressed, so that one can rely on a global threshold that can be easily approximated, or learned during training. The proposed algorithm can be employed with a known predetermined dictionary, or with a trained dictionary. The trained version is implemented as a neural net designed as the unfolding of the proposed solver. The performance of the proposed solution is demonstrated via the seismic inversion problem in both synthetic and real data scenarios. We also provide theoretical guarantees for a stable support recovery. Namely, we prove that under certain conditions the true support is perfectly recovered within the first iteration.


title: Socially Intelligent Interfaces for Increased Energy Awareness in the Home

abstract: This paper describes how home appliances might be enhanced to improve user awareness of energy usage. Households wish to lead comfortable and manageable lives. Balancing this reasonable desire with the environmental and political goal of reducing electricity usage is a challenge that we claim is best met through the design of interfaces that allows users better control of their usage and unobtrusively informs them of the actions of their peers. A set of design principles along these lines is formulated in this paper. We have built a fully functional prototype home appliance with a socially aware interface to signal the aggregate usage of the users peer group according to these principles, and present the prototype in the paper.


title: US Fatal Police Shooting Analysis and Prediction

abstract: We believe that "all men are created equal". With the rise of the police shootings reported by media, more people in the U.S. think that police use excessive force during law enforcement, especially to a specific group of people. We want to apply multidimensional statistical analysis to reveal more facts than the monotone mainstream media. Our paper has three parts. First, we proposed a new method to quantify fatal police shooting news reporting deviation of mainstream media, which includes CNN, FOX, ABC, and NBC. Second, we analyzed the most comprehensive US fatal police shooting dataset from Washington Post. We used FP-growth to reveal the frequent patterns and DBSCAN clustering to find fatal shooting hotspots. We brought multi-attributes (social economics, demographics, political tendency, education, gun ownership rate, police training hours, etc.) to reveal connections under the iceberg. We found that the police shooting rate of a state depends on many variables. The top four most relevant attributes were state joined year, state land area, gun ownership rate, and violent crime rate. Third, we proposed four regression models to predict police shooting rates at the state level. The best model Kstar could predict the fatal police shooting rate with about 88.53% correlation coefficient. We also proposed classification models, including Gradient Boosting Machine, Multi-class Classifier, Logistic Regression, and Naive Bayes Classifier, to predict the race of fatal police shooting victims. Our classification models show no significant evidence to conclude that racial discrimination happened during fatal police shootings recorded by the WP dataset.


title: Cells are Actors: Social Network Analysis with Classical ML for SOTA Histology Image Classification

abstract: Digitization of histology images and the advent of new computational methods, like deep learning, have helped the automatic grading of colorectal adenocarcinoma cancer (CRA). Present automated CRA grading methods, however, usually use tiny image patches and thus fail to integrate the entire tissue micro-architecture for grading purposes. To tackle these challenges, we propose to use a statistical network analysis method to describe the complex structure of the tissue micro-environment by modelling nuclei and their connections as a network. We show that by analyzing only the interactions between the cells in a network, we can extract highly discriminative statistical features for CRA grading. Unlike other deep learning or convolutional graph-based approaches, our method is highly scalable (can be used for cell networks consist of millions of nodes), completely explainable, and computationally inexpensive. We create cell networks on a broad CRC histology image dataset, experiment with our method, and report state-of-the-art performance for the prediction of three-class CRA grading.