title: OccamNet: A Fast Neural Model for Symbolic Regression at Scale

abstract: Neural networks' expressiveness comes at the cost of complex, black-box models that often extrapolate poorly beyond the domain of the training dataset, conflicting with the goal of finding compact analytic expressions to describe scientific data. We introduce OccamNet, a neural network model that finds interpretable, compact, and sparse symbolic fits to data, \`a la Occam's razor. Our model defines a probability distribution over functions with efficient sampling and function evaluation. We train by sampling functions and biasing the probability mass toward better fitting solutions, backpropagating using cross-entropy matching in a reinforcement-learning loss. OccamNet can identify symbolic fits for a variety of problems, including analytic and non-analytic functions, implicit functions, and simple image classification, and can outperform state-of-the-art symbolic regression methods on real-world regression datasets. Our method requires a minimal memory footprint, fits complicated functions in minutes on a single CPU, and scales on a GPU.


title: Automated Detection and Forecasting of COVID-19 using Deep Learning Techniques: A Review

abstract: Coronavirus, or COVID-19, is a hazardous disease that has endangered the health of many people around the world by directly affecting the lungs. COVID-19 is a medium-sized, coated virus with a single-stranded RNA, and also has one of the largest RNA genomes and is approximately 120 nm. The X-Ray and computed tomography (CT) imaging modalities are widely used to obtain a fast and accurate medical diagnosis. Identifying COVID-19 from these medical images is extremely challenging as it is time-consuming and prone to human errors. Hence, artificial intelligence (AI) methodologies can be used to obtain consistent high performance. Among the AI methods, deep learning (DL) networks have gained popularity recently compared to conventional machine learning (ML). Unlike ML, all stages of feature extraction, feature selection, and classification are accomplished automatically in DL models. In this paper, a complete survey of studies on the application of DL techniques for COVID-19 diagnostic and segmentation of lungs is discussed, concentrating on works that used X-Ray and CT images. Additionally, a review of papers on the forecasting of coronavirus prevalence in different parts of the world with DL is presented. Lastly, the challenges faced in the detection of COVID-19 using DL techniques and directions for future research are discussed.


title: Comparison of Different Methods for Time Sequence Prediction in Autonomous Vehicles

abstract: As a combination of various kinds of technologies, autonomous vehicles could complete a series of driving tasks by itself, such as perception, decision-making, planning, and control. Since there is no human driver to handle the emergency situation, future transportation information is significant for automated vehicles. This paper proposes different methods to forecast the time series for autonomous vehicles, which are the nearest neighborhood (NN), fuzzy coding (FC), and long short term memory (LSTM). First, the formulation and operational process for these three approaches are introduced. Then, the vehicle velocity is regarded as a case study and the real-world dataset is utilized to predict future information via these techniques. Finally, the performance, merits, and drawbacks of the presented methods are analyzed and discussed.


title: Deep Semi-supervised Knowledge Distillation for Overlapping Cervical Cell Instance Segmentation

abstract: Deep learning methods show promising results for overlapping cervical cell instance segmentation. However, in order to train a model with good generalization ability, voluminous pixel-level annotations are demanded which is quite expensive and time-consuming for acquisition. In this paper, we propose to leverage both labeled and unlabeled data for instance segmentation with improved accuracy by knowledge distillation. We propose a novel Mask-guided Mean Teacher framework with Perturbation-sensitive Sample Mining (MMT-PSM), which consists of a teacher and a student network during training. Two networks are encouraged to be consistent both in feature and semantic level under small perturbations. The teacher's self-ensemble predictions from $K$-time augmented samples are used to construct the reliable pseudo-labels for optimizing the student. We design a novel strategy to estimate the sensitivity to perturbations for each proposal and select informative samples from massive cases to facilitate fast and effective semantic distillation. In addition, to eliminate the unavoidable noise from the background region, we propose to use the predicted segmentation mask as guidance to enforce the feature distillation in the foreground region. Experiments show that the proposed method improves the performance significantly compared with the supervised method learned from labeled data only, and outperforms state-of-the-art semi-supervised methods.


title: Intelligent Reflecting Surfaces Assisted Secure Transmission Without Eavesdropper's CSI

abstract: In this letter, improving the security of an intelligent reflecting surface (IRS) assisted multiple-input single-output (MISO) communication system is studied. Different from the ideal assumption in existing literatures that full eavesdropper's (Eve's) channel state information (CSI) is available, we consider a more practical scenario without Eve's CSI. To enhance the security of this system given a total transmit power at transmitter (Alice), we propose a joint beamforming and jamming approach, in which a minimum transmit power is firstly optimized at Alice so as to meet the quality of service (QoS) at legitimate user (Bob), and then artificial noise (AN) is emitted to jam the eavesdropper by using the residual power at Alice. Two efficient algorithms exploiting oblique manifold (OM) and minorizationmaximization (MM) algorithms, respectively, are developed for solving the resulting non-convex optimization problem. Simulation results have been provided to validate the performance and convergence of the proposed algorithms.


title: Global existence and decay in multi-component reaction-diffusion-advection systems with different velocities: oscillations in time and frequency

abstract: It is well-known that quadratic or cubic nonlinearities in reaction-diffusion-advection systems can lead to growth of solutions with small, localized initial data and even finite time blow-up. It was recently proved, however, that, if the components of two nonlinearly coupled reaction-diffusion-advection equations propagate with different velocities, then quadratic or cubic mixed-terms, i.e.~nonlinear terms with nontrivial contributions from both components, do not affect global existence and Gaussian decay of small, localized initial data. The proof relied on pointwise estimates to capture the difference in velocities. In this paper we present an alternative method, which is better applicable to multiple components. Our method involves a nonlinear iteration scheme that employs $L^1$-$L^p$ estimates in Fourier space and exploits oscillations in time and frequency, which arise due to differences in transport. Under the assumption that each component exhibits different velocities, we establish global existence and decay for small, algebraically localized initial data in multi-component reaction-diffusion-advection systems allowing for cubic mixed-terms and nonlinear terms of Burgers' type.


title: Breaking the $2^n$ barrier for 5-coloring and 6-coloring

abstract: The coloring problem (i.e., computing the chromatic number of a graph) can be solved in $O^*(2^n)$ time, as shown by Bj\"orklund, Husfeldt and Koivisto in 2009. For $k=3,4$, better algorithms are known for the $k$-coloring problem. $3$-coloring can be solved in $O(1.33^n)$ time (Beigel and Eppstein, 2005) and $4$-coloring can be solved in $O(1.73^n)$ time (Fomin, Gaspers and Saurabh, 2007). Surprisingly, for $k>4$ no improvements over the general $O^*(2^n)$ are known. We show that both $5$-coloring and $6$-coloring can also be solved in $O\left(\left(2-\varepsilon\right)^n\right)$ time for some $\varepsilon>0$. As a crucial step, we obtain an exponential improvement for computing the chromatic number of a very large family of graphs. In particular, for any constants $\Delta,\alpha>0$, the chromatic number of graphs with at least $\alpha\cdot n$ vertices of degree at most $\Delta$ can be computed in $O\left(\left(2-\varepsilon\right)^n\right)$ time, for some $\varepsilon = \varepsilon_{\Delta,\alpha} > 0$. This statement generalizes previous results for bounded-degree graphs (Bj\"orklund, Husfeldt, Kaski, and Koivisto, 2010) and graphs with bounded average degree (Golovnev, Kulikov and Mihajilin, 2016). We generalize the aforementioned statement to List Coloring, for which no previous improvements are known even for the case bounded-degree graphs.


title: Learning to Match Distributions for Domain Adaptation

abstract: When the training and test data are from different distributions, domain adaptation is needed to reduce dataset bias to improve the model's generalization ability. Since it is difficult to directly match the cross-domain joint distributions, existing methods tend to reduce the marginal or conditional distribution divergence using predefined distances such as MMD and adversarial-based discrepancies. However, it remains challenging to determine which method is suitable for a given application since they are built with certain priors or bias. Thus they may fail to uncover the underlying relationship between transferable features and joint distributions. This paper proposes Learning to Match (L2M) to automatically learn the cross-domain distribution matching without relying on hand-crafted priors on the matching loss. Instead, L2M reduces the inductive bias by using a meta-network to learn the distribution matching loss in a data-driven way. L2M is a general framework that unifies task-independent and human-designed matching features. We design a novel optimization algorithm for this challenging objective with self-supervised label propagation. Experiments on public datasets substantiate the superiority of L2M over SOTA methods. Moreover, we apply L2M to transfer from pneumonia to COVID-19 chest X-ray images with remarkable performance. L2M can also be extended in other distribution matching applications where we show in a trial experiment that L2M generates more realistic and sharper MNIST samples.


title: Models of Jacobians of curves

abstract: We show that the Jacobians of prestable curves over toroidal varieties always admit N\'eron models. These models are rarely quasi-compact or separated, but we also give a complete classification of quasi-compact separated group-models of such Jacobians. In particular we show the existence of a maximal quasi-compact separated group model, which we call the saturated model, which has the extension property for all torsion sections. The N\'eron model and the saturated model coincide over a Dedekind base, so the saturated model gives an alternative generalisation of the classical notion of N\'eron models to higher-dimensional bases; in the general case we give necessary and sufficient conditions for the N\'eron model and saturated model to coincide. The key result, from which most others descend, is that the logarithmic Jacobian of \cite{Molcho2018The-logarithmic} is a log Neron model of the Jacobian.


title: Geodesic circular orbits sharing the same orbital frequencies in the black string spacetime

abstract: Here we consider isofrequency pairing of geodesic orbits that share the same three orbital frequencies associated with $\Omega^{\hat{r}}$, $\Omega^{\hat{\varphi}}$, and $\Omega^{\hat{\omega}}$ in a particular region of parameter space around black string spacetime geometry. We study the effect arising from the extra compact spatial dimension on the isofrequency pairing of geodesic orbits and show that such orbits would occur and become in a cylindrical manner in the allowed region as particles move along the black string. We find that the effect due to the extra dimension leads to an increase in the number of the isofrequency pairing of geodesic orbits. We also find that isofrequency pairing of geodesic orbits in the region of parameter space can not be realized beyond the critical value $J_{cr} \approx 0.096$ of the conserved quantity of the motion due to the extra compact spatial dimension for given parameters of the black string.


title: On the benchmarking of partitioned real-time systems

abstract: Avionic software is the subject of critical real time, determinism and safety constraints. Software designers face several challenges, one of them being the estimation of worst-case execution time (WCET) of applications, that dictates the execution time of the system. A pessimistic WCET estimation can lead to low execution performances of the system, while an over-optimistic estimation can lead to deadline misses, breaking one the basic constraints of critical real-time systems (RTS). Partitioned systems are one special category of real time systems, employed by the avionic community to deploy avionic software. The ARINC-653 standard is one common avionic standard that employs the concept of partitions. This standard defines partitioned architectures where one partition should never directly interfere with another one. Assessing WCET of general purpose RTSs is achievable by the usage of one of the many published benchmark or WCET estimation frameworks. Contrarily, partitioned RTSs are special cases, in which common benchmark tools may not capture all the metrics. In this document, we present SFPBench, a generic benchmark framework for the assessment of performance metrics on partitioned RTSs. The general organization of the framework and its applications are illustrated, as well as an use-case, employing SFPBench on an industrial partitioned operating system (OS) executing on a Commercial Off-The-shelf (COTS) processor.


title: Label-free detection of Giardia lamblia cysts using a deep learning-enabled portable imaging flow cytometer

abstract: We report a field-portable and cost-effective imaging flow cytometer that uses deep learning to accurately detect Giardia lamblia cysts in water samples at a volumetric throughput of 100 mL/h. This flow cytometer uses lensfree color holographic imaging to capture and reconstruct phase and intensity images of microscopic objects in a continuously flowing sample, and automatically identifies Giardia Lamblia cysts in real-time without the use of any labels or fluorophores. The imaging flow cytometer is housed in an environmentally-sealed enclosure with dimensions of 19 cm x 19 cm x 16 cm and weighs 1.6 kg. We demonstrate that this portable imaging flow cytometer coupled to a laptop computer can detect and quantify, in real-time, low levels of Giardia contamination (e.g., <10 cysts per 50 mL) in both freshwater and seawater samples. The field-portable and label-free nature of this method has the potential to allow rapid and automated screening of drinking water supplies in resource limited settings in order to detect waterborne parasites and monitor the integrity of the filters used for water treatment.


title: Effective resistances of two dimensional resistor networks

abstract: We investigate the behavior of two dimensional resistor networks, with finite sizes and different kinds (rectangular, hexagonal, and triangular) of lattice geometry. We construct the network by having a network-element repeat itself $L_x$ times in $x$-direction and $L_y$ times in the $y$-direction. We study the relationship between the effective resistance ($R_\mathrm{eff}$) of the network on dimensions $L_x$ and $L_y$. The behavior is simple and intuitive for a network with rectangular geometry, however, it becomes non-trivial for other geometries which are solved numerically. We find that $R_\mathrm{eff}$ depends on the ratio $L_x/L_y$ in all the three studied networks. We also check the consistency of our numerical results experimentally for small network sizes.


title: Nine Recommendations for Decision Aid Implementation from the Clinician Perspective

abstract: Background: Shared decision-making (SDM) aims to empower patients to take an active role in their treatment choices, supported by clinicians and patient decision aids (PDAs). The purpose of this study is to explore barriers and possible facilitators to SDM and a PDA in the prostate cancer trajectory. In the process we identify possible actions that organizations and individuals can take to support implementation in practice. Methods: We use the Ottawa Model of Research Use as a framework to determine the barriers and facilitators to SDM and PDAs from the perspective of clinicians. Semi-structured interviews were conducted with urologists (n=4), radiation oncologists (n=3), and oncology nurses (n=2), focusing on the current decision-making process experienced by these stakeholders. Questions included their attitudes towards SDM and PDAs, barriers to implementation and possible strategies to overcome them. Results: Time pressure and patient characteristics were cited as major barriers by 55% of the clinicians we interviewed. Structural factors such as external quotas for certain treatment procedures were also considered as barriers by 44% of the clinicians. Facilitating factors involved organizational changes to em-bed PDAs in the treatment trajectory, training in using PDAs as a tool for SDM, and clinician motivation by disseminating positive clinical outcomes. Our findings also suggest a role for external stakeholders such as healthcare insurers in creating economic incentives to facilitate implementation. Conclusion: Our findings highlight the importance of a multi-faceted implementation strategy to support SDM. While clinician motivation and patient activation are essential, structural/economic barriers may hamper implementation. Action must also be taken at the administrative and policy levels to foster a collaborative environment for SDM and, in the process, for PDAs.


title: Randomized Online CP Decomposition

abstract: CANDECOMP/PARAFAC (CP) decomposition has been widely used to deal with multi-way data. For real-time or large-scale tensors, based on the ideas of randomized-sampling CP decomposition algorithm and online CP decomposition algorithm, a novel CP decomposition algorithm called randomized online CP decomposition (ROCP) is proposed in this paper. The proposed algorithm can avoid forming full Khatri-Rao product, which leads to boost the speed largely and reduce memory usage. The experimental results on synthetic data and real-world data show the ROCP algorithm is able to cope with CP decomposition for large-scale tensors with arbitrary number of dimensions. In addition, ROCP can reduce the computing time and memory usage dramatically, especially for large-scale tensors.


title: Digital Quadruplets for Cyber-Physical-Social Systems based Parallel Driving: From Concept to Applications

abstract: Digital quadruplets aiming to improve road safety, traffic efficiency, and driving cooperation for future connected automated vehicles are proposed with the enlightenment of ACP based parallel driving. The ACP method denotes Artificial societies, Computational experiments, and Parallel execution modules for cyber-physical-social systems. Four agents are designed in the framework of digital quadruplets: descriptive vehicles, predictive vehicles, prescriptive vehicles, and real vehicles. The three virtual vehicles (descriptive, predictive, and prescriptive) dynamically interact with the real one in order to enhance the safety and performance of the real vehicle. The details of the three virtual vehicles in the digital quadruplets are described. Then, the interactions between the virtual and real vehicles are presented. The experimental results of the digital quadruplets demonstrate the effectiveness of the proposed framework.


title: Probabilistic Neighbourhood Component Analysis: Sample Efficient Uncertainty Estimation in Deep Learning

abstract: While Deep Neural Networks (DNNs) achieve state-of-the-art accuracy in various applications, they often fall short in accurately estimating their predictive uncertainty and, in turn, fail to recognize when these predictions may be wrong. Several uncertainty-aware models, such as Bayesian Neural Network (BNNs) and Deep Ensembles have been proposed in the literature for quantifying predictive uncertainty. However, research in this area has been largely confined to the big data regime. In this work, we show that the uncertainty estimation capability of state-of-the-art BNNs and Deep Ensemble models degrades significantly when the amount of training data is small. To address the issue of accurate uncertainty estimation in the small-data regime, we propose a probabilistic generalization of the popular sample-efficient non-parametric kNN approach. Our approach enables deep kNN classifier to accurately quantify underlying uncertainties in its prediction. We demonstrate the usefulness of the proposed approach by achieving superior uncertainty quantification as compared to state-of-the-art on a real-world application of COVID-19 diagnosis from chest X-Rays. Our code is available at https://github.com/ankurmallick/sample-efficient-uq


title: BiHom-Poisson color algebras

abstract: The goal of this paper is to introduce BiHom-Poisson color algebras and give various constructions by using some specific maps such as morphisms. We introduce averaging operator and element of centroid for BiHom-Poisson color algebras and point out that BiHom-Poisson color algebras are closed under averaging operators and elements of centroid. We also show that any regular BiHom-associative color algebra leads to BiHom-Poisson color algebra via the commutator bracket. Then we prove that any BiHom-Poisson color algebra together with Rota-Baxter operator or multiplier give rises to another BiHom-Poisson color algebra. Next, we show that tensor product of any BiHom-associative color algebra and any BiHom-Poisson color algebra is also a BiHom- Poisson color algebra


title: Hue-Correction Scheme Considering Non-Linear Camera Response for Multi-Exposure Image Fusion

abstract: We propose a novel hue-correction scheme for multi-exposure image fusion (MEF). Various MEF methods have so far been studied to generate higher-quality images. However, there are few MEF methods considering hue distortion unlike other fields of image processing, due to a lack of a reference image that has correct hue. In the proposed scheme, we generate an HDR image as a reference for hue correction, from input multi-exposure images. After that, hue distortion in images fused by an MEF method is removed by using hue information of the HDR one, on the basis of the constant-hue plane in the RGB color space. In simulations, the proposed scheme is demonstrated to be effective to correct hue-distortion caused by conventional MEF methods. Experimental results also show that the proposed scheme can generate high-quality images, regardless of exposure conditions of input multi-exposure images.


title: A primal-dual interior-point relaxation method with global and rapidly local convergence for nonlinear programs

abstract: Based on solving an equivalent parametric equality constrained mini-max problem of the classic logarithmic-barrier subproblem, we present a novel primal-dual interior-point relaxation method for nonlinear programs with general equality and nonnegative constraints. In each iteration, our method approximately solves the KKT system of a parametric equality constrained mini-max subproblem, which avoids the requirement that any primal or dual iterate is an interior-point. The method has some similarities to the warmstarting interior-point methods in relaxing the interior-point requirement and is easily extended for solving problems with general inequality constraints. In particular, it has the potential to circumvent the jamming difficulty that appears with many interior-point methods for nonlinear programs and improve the ill conditioning of existing primal-dual interior-point methods as the barrier parameter is small. A new smoothing approach is introduced to develop our relaxation method and promote convergence of the method. Under suitable conditions, it is proved that our method can be globally convergent and locally quadratically convergent to the KKT point of the original problem. The preliminary numerical results on a well-posed problem for which many interior-point methods fail to find the minimizer and a set of test problems from the CUTEr collection show that our method is efficient.


title: Accelerating speckle suppression by a degenerate cavity laser with an intracavity phase diffuser

abstract: Fast speckle suppression is crucial for time-resolved full-field imaging with laser illumination. Here, we introduce a method to accelerate the spatial decoherence of laser emission, achieving speckle suppression in the nanosecond integration time scale. The method relies on the insertion of an intracavity phase diffuser into a degenerate cavity laser to break the frequency degeneracy of transverse modes and broaden the lasing spectrum. The ultrafast decoherence of laser emission results in the reduction of speckle contrast to $3\%$ in less than 1 nanosecond.


title: Formally Verified Trades in Financial Markets

abstract: We introduce a formal framework for analyzing trades in financial markets. These days, all big exchanges use computer algorithms to match buy and sell requests and these algorithms must abide by certain regulatory guidelines. For example, market regulators enforce that a matching produced by exchanges should be fair, uniform and individual rational. To verify these properties of trades, we first formally define these notions in a theorem prover and then develop many important results about matching demand and supply. Finally, we use this framework to verify properties of two important classes of double sided auction mechanisms. All the definitions and results presented in this paper are completely formalized in the Coq proof assistant without adding any additional axioms to it.


title: Modelling Covid-19 epidemic in Mexico, Finland and Iceland

abstract: Over the past two decades there has been a number of global outbreaks of viral diseases. This has accelerated the efforts to model and forecast the disease spreading, in order to find ways to confine the spreading regionally and between regions. Towards this we have devised a model of geographical spreading of viral infections due to human spatial mobility and adapted it to the latest COVID-19 pandemic. In this the region to be modelled is overlaid with a two-dimensional grid weighted with the population density defined cells, in each of which a compartmental SEIRS system of delay difference equations simulate the local dynamics (microdynamics) of the disease. The infections between cells are stochastic and allow for the geographical spreading of the virus over the two-dimensional space (macrodynamics). This approach allows to separate the parameters related to the biological aspects of the disease from the ones that represent the spatial contagious behaviour through different kinds of mobility of people acting as virus carriers. These provide sufficient information to trace the evolution of the pandemic in different situations. In particular we have applied this approach to three in many ways different countries, Mexico, Finland and Iceland and found that the model is capable of reproducing and predicting the stochastic global path of the pandemic. This study sheds light on how the diverse cultural and socioeconomic aspects of a country influence the evolution of the epidemics and also the efficacy of social distancing and other confinement measures.


title: Sub-second production of a quantum degenerate gas

abstract: Realizing faster experimental cycle times is important for the future of quantum simulation. The cycle time determines how often the many-body wave-function can be sampled, defining the rate at which information is extracted from the quantum simulation. We demonstrate a system which can produce a Bose-Einstein condensate of $8 \times 10^4$ $^{168}\text{Er}$ atoms with approximately 85% condensate fraction in 800 ms and a degenerate Fermi gas of $^{167}\text{Er}$ in 4 seconds, which are unprecedented times compared to many existing quantum gas experiments. This is accomplished by several novel cooling techniques and a tunable dipole trap. The methods used here for accelerating the production of quantum degenerate gases should be applicable to a variety of atomic species and are promising for expanding the capabilities of quantum simulation.


title: Constraint relation between steerability and concurrence for two-qubit states

abstract: Entanglement and steering are used to describe quantum inseparabilities. Steerable states form a strict subset of entangled states. A natural question arises concerning how much territory steerability occupies entanglement for a general two-qubit entangled state. In this work, we investigate the constraint relation between steerability and concurrence by using two kinds of evolutionary states and randomly generated two-qubit states. By combining the theoretical and numerical proofs, we obtain the upper and lower boundaries of steerability. And the lower boundary can be used as a sufficient criterion for steering detection. Futhermore, we consider a special kind of mixed state transformed by performing an arbitrary unitary operation on Werner-like state, and propose a sufficient steering criterion described by concurrence and purity.


title: Software Transactional Memory with Interactions

abstract: Software Transactional memory (STM) is an emerging abstraction for concurrent programming alternative to lock-based synchronizations. Most STM models admit only isolated transactions, which are not adequate in multithreaded programming where transactions need to interact via shared data before committing. To overcome this limitation, in this paper we present Open Transactional Memory (OTM), a programming abstraction supporting safe, data-driven interactions between composable memory transactions. This is achieved by relaxing isolation between transactions, still ensuring atomicity. This model allows for loosely-coupled interactions since transaction merging is driven only by accesses to shared data, with no need to specify participants beforehand.


title: Existence results for pentagonal geometries

abstract: New results on pentagonal geometries PENT(k,r) with block sizes k = 3 or k = 4 are given. In particular we completely determine the existence spectra for PENT(3,r) systems with the maximum number of opposite line pairs as well as those without any opposite line pairs. A wide-ranging result about PENT(3,r) with any number of opposite line pairs is proved. We also determine the existence spectrum of PENT(4,r) systems with eleven possible exceptions.


title: Mass-preserving approximation of a chemotaxis multi-domain transmission model for microfluidic chips

abstract: The present work was inspired by the recent developments in laboratory experiments made on chip, where culturing of multiple cell species was possible. The model is based on coupled reaction-diffusion-transport equations with chemotaxis, and takes into account the interactions among cell populations and the possibility of drug administration for drug testing effects. Our effort was devoted to the development of a simulation tool that is able to reproduce the chemotactic movement and the interactions between different cell species (immune and cancer cells) living in microfluidic chip environment. The main issues faced in this work are the introduction of mass-preserving and positivity-preserving conditions involving the balancing of incoming and outgoing fluxes passing through interfaces between 2D and 1D domains of the chip and the development of mass-preserving and positivity preserving numerical conditions at the external boundaries and at the interfaces between 2D and 1D domains.


title: Anomaly Detection in Unsupervised Surveillance Setting Using Ensemble of Multimodal Data with Adversarial Defense

abstract: Autonomous aerial surveillance using drone feed is an interesting and challenging research domain. To ensure safety from intruders and potential objects posing threats to the zone being protected, it is crucial to be able to distinguish between normal and abnormal states in real-time. Additionally, we also need to consider any device malfunction. However, the inherent uncertainty embedded within the type and level of abnormality makes supervised techniques less suitable since the adversary may present a unique anomaly for intrusion. As a result, an unsupervised method for anomaly detection is preferable taking the unpredictable nature of attacks into account. Again in our case, the autonomous drone provides heterogeneous data streams consisting of images and other analog or digital sensor data, all of which can play a role in anomaly detection if they are ensembled synergistically. To that end, an ensemble detection mechanism is proposed here which estimates the degree of abnormality of analyzing the real-time image and IMU (Inertial Measurement Unit) sensor data in an unsupervised manner. First, we have implemented a Convolutional Neural Network (CNN) regression block, named AngleNet to estimate the angle between a reference image and current test image, which provides us with a measure of the anomaly of the device. Moreover, the IMU data are used in autoencoders to predict abnormality. Finally, the results from these two pipelines are ensembled to estimate the final degree of abnormality. Furthermore, we have applied adversarial attack to test the robustness and security of the proposed approach and integrated defense mechanism. The proposed method performs satisfactorily on the IEEE SP Cup-2020 dataset with an accuracy of 97.8%. Additionally, we have also tested this approach on an in-house dataset to validate its robustness.


title: Critical Clearing Time Sensitivity for Differential-Algebraic Power System Model

abstract: Standard power systems are modeled using differential-algebraic equations (DAE). Following a transient event, voltage collapse can occur as a bifurcation of the transient load flow solutions which is marked by the system trajectory reaching a singular surface in state space where the voltage causality is lost. If the system is under such a risk, preventive control decisions such as changes in AVR setpoints need to be taken to enhance the stability. In this regard, the knowledge of sensitivity of critical clearing time (CCT) to controllable system parameters can be of great help. The stability boundary of DAE systems is more complicated than ODE systems where in addition to stable manifolds of unstable equilibrium points (UEP) and periodic orbits, singular surfaces play an important role. In the present work, we derive the expressions for CCT sensitivity for a generic DAE model using trajectory sensitivities with applications to power system transient stability analysis (TSA) and preventive control. The results are illustrated for multiple test systems which are then validated against computationally intensive time-domain simulations (TDS).


title: Application of orthonormal Bernoulli polynomials for approximate solution of some Volterra integral equations

abstract: In this work, a new approach has been developed to obtain numerical solution of linear Volterra type integral equations by obtaining asymptotic approximation to solutions. Using the classical Bernoulli polynomials, a set of orthonormal polynomials have been derived, and these orthonormal polynomials have been used to form an operational matrix of integration which is has been implemented to find numerical or exact solution of non-singular Volterra integral equations. Two linear Volterra integral and two convolution integral equations of second kind have been solved to demonstrate the effectiveness of present method. Obtained approximate solutions have been compared with the exact solutions for numerical values. High degree of accuracy of numerical solutions has established the credibility of the present method.


title: Mesoscopic conductance fluctuations and noise in disordered Majorana wires

abstract: Superconducting wires with broken time-reversal and spin-rotational symmetries can exhibit two distinct topological gapped phases and host bound Majorana states at the phase boundaries. When the wire is tuned to the transition between these two phases and the gap is closed, Majorana states become delocalized leading to a peculiar critical state of the system. We study transport properties of this critical state as a function of the length $L$ of a disordered multichannel wire. Applying a non-linear supersymmetric sigma model of symmetry class D with two replicas, we identify the average conductance, its variance and the third cumulant in the whole range of $L$ from the Ohmic limit of short wires to the regime of a broad conductance distribution when $L$ exceeds the correlation length of the system. In addition, we calculate the average shot noise power and variance of the topological index for arbitrary $L$. The general approach developed in the paper can also be applied to study combined effects of disorder and topology in wires of other symmetries.


title: Infinite Sequences, Series Convergence and the Discrete Time Fourier Transform over Finite Fields

abstract: Digital Transforms have important applications on subjects such as channel coding, cryptography and digital signal processing. In this paper, two Fourier Transforms are considered, the discrete time Fourier transform (DTFT) and the finite field Fourier transform (FFFT). A finite field version of the DTFT is introduced and the FFFT is redefined with a complex kernel, which makes it a more appropriate finite field version of the Discrete Fourier Transform. These transforms can handle FIR and IIR filters defined over finite algebraic structures.


title: Split and Expand: An inference-time improvement for Weakly Supervised Cell Instance Segmentation

abstract: We consider the problem of segmenting cell nuclei instances from Hematoxylin and Eosin (H&E) stains with weak supervision. While most recent works focus on improving the segmentation quality, this is usually insufficient for instance segmentation of cell instances clumped together or with a small size. In this work, we propose a two-step post-processing procedure, Split and Expand, that directly improves the conversion of segmentation maps to instances. In the Split step, we split clumps of cells from the segmentation map into individual cell instances with the guidance of cell-center predictions through Gaussian Mixture Model clustering. In the Expand step, we find missing small cells using the cell-center predictions (which tend to capture small cells more consistently as they are trained using reliable point annotations), and utilize Layer-wise Relevance Propagation (LRP) explanation results to expand those cell-center predictions into cell instances. Our Split and Expand post-processing procedure is training-free and is executed at inference-time only. To further improve the performance of our method, a feature re-weighting loss based on LRP is proposed. We test our procedure on the MoNuSeg and TNBC datasets and show that our proposed method provides statistically significant improvements on object-level metrics. Our code will be made available.


title: A Review of Meta-level Learning in the Context of Multi-component, Multi-level Evolving Prediction Systems

abstract: The exponential growth of volume, variety and velocity of data is raising the need for investigations of automated or semi-automated ways to extract useful patterns from the data. It requires deep expert knowledge and extensive computational resources to find the most appropriate mapping of learning methods for a given problem. It becomes a challenge in the presence of numerous configurations of learning algorithms on massive amounts of data. So there is a need for an intelligent recommendation engine that can advise what is the best learning algorithm for a dataset. The techniques that are commonly used by experts are based on a trial and error approach evaluating and comparing a number of possible solutions against each other, using their prior experience on a specific domain, etc. The trial and error approach combined with the expert's prior knowledge, though computationally and time expensive, have been often shown to work for stationary problems where the processing is usually performed off-line. However, this approach would not normally be feasible to apply to non-stationary problems where streams of data are continuously arriving. Furthermore, in a non-stationary environment, the manual analysis of data and testing of various methods whenever there is a change in the underlying data distribution would be very difficult or simply infeasible. In that scenario and within an on-line predictive system, there are several tasks where Meta-learning can be used to effectively facilitate best recommendations including 1) pre-processing steps, 2) learning algorithms or their combination, 3) adaptivity mechanisms and their parameters, 4) recurring concept extraction, and 5) concept drift detection.


title: BAKSA at SemEval-2020 Task 9: Bolstering CNN with Self-Attention for Sentiment Analysis of Code Mixed Text

abstract: Sentiment Analysis of code-mixed text has diversified applications in opinion mining ranging from tagging user reviews to identifying social or political sentiments of a sub-population. In this paper, we present an ensemble architecture of convolutional neural net (CNN) and self-attention based LSTM for sentiment analysis of code-mixed tweets. While the CNN component helps in the classification of positive and negative tweets, the self-attention based LSTM, helps in the classification of neutral tweets, because of its ability to identify correct sentiment among multiple sentiment bearing units. We achieved F1 scores of 0.707 (ranked 5th) and 0.725 (ranked 13th) on Hindi-English (Hinglish) and Spanish-English (Spanglish) datasets, respectively. The submissions for Hinglish and Spanglish tasks were made under the usernames ayushk and harsh_6 respectively.


title: IITK at SemEval-2020 Task 10: Transformers for Emphasis Selection

abstract: This paper describes the system proposed for addressing the research problem posed in Task 10 of SemEval-2020: Emphasis Selection For Written Text in Visual Media. We propose an end-to-end model that takes as input the text and corresponding to each word gives the probability of the word to be emphasized. Our results show that transformer-based models are particularly effective in this task. We achieved the best Matchm score (described in section 2.2) of 0.810 and were ranked third on the leaderboard.


title: A Unified Framework for SINR Analysis in Poisson Networks with Traffic Dynamics

abstract: We study the performance of wireless links for a class of Poisson networks, in which packets arrive at the transmitters following Bernoulli processes. By combining stochastic geometry with queueing theory, two fundamental measures are analyzed, namely the transmission success probability and the meta distribution of signal-to-interference-plus-noise ratio (SINR). Different from the conventional approaches that assume independent active states across the nodes and use homogeneous point processes to model the locations of interferers, our analysis accounts for the interdependency amongst active states of the transmitters in space and arrives at a non-homogeneous point process for the modeling of interferers' positions, which leads to a more accurate characterization of the SINR. The accuracy of the theoretical results is verified by simulations, and the developed framework is then used to devise design guidelines for the deployment strategies of wireless networks.


title: IITK at SemEval-2020 Task 8: Unimodal and Bimodal Sentiment Analysis of Internet Memes

abstract: Social media is abundant in visual and textual information presented together or in isolation. Memes are the most popular form, belonging to the former class. In this paper, we present our approaches for the Memotion Analysis problem as posed in SemEval-2020 Task 8. The goal of this task is to classify memes based on their emotional content and sentiment. We leverage techniques from Natural Language Processing (NLP) and Computer Vision (CV) towards the sentiment classification of internet memes (Subtask A). We consider Bimodal (text and image) as well as Unimodal (text-only) techniques in our study ranging from the Na\"ive Bayes classifier to Transformer-based approaches. Our results show that a text-only approach, a simple Feed Forward Neural Network (FFNN) with Word2vec embeddings as input, performs superior to all the others. We stand first in the Sentiment analysis task with a relative improvement of 63% over the baseline macro-F1 score. Our work is relevant to any task concerned with the combination of different modalities.


title: Can animal manure be used to increase soil organic carbon stocks in the Mediterranean as a mitigation climate change strategy?

abstract: Soil organic carbon (SOC) plays an important role on improving soil conditions and soil functions. Increasing land use changes have induced an important decline of SOC content at global scale. Increasing SOC in agricultural soils has been proposed as a strategy to mitigate climate change. Animal manure has the characteristic of enriching SOC, when applied to crop fields, while, in parallel, it could constitute a natural fertilizer for the crops. In this paper, a simulation is performed using the area of Catalonia, Spain as a case study for the characteristic low SOC in the Mediterranean, to examine whether animal manure can improve substantially the SOC of agricultural fields, when applied as organic fertilizers. Our results show that the policy goals of the 4x1000 strategy can be achieved only partially by using manure transported to the fields. This implies that the proposed approach needs to be combined with other strategies.


title: Parameter estimation for Gibbs distributions

abstract: We consider Gibbs distributions, which are families of probability distributions over a discrete space $\Omega$ with probability mass function of the form $\mu^\Omega_\beta(\omega) \propto e^{\beta H(\omega)}$ for $\beta$ in an interval $[\beta_{\min}, \beta_{\max}]$ and $H( \omega ) \in \{0 \} \cup [1, n]$. The partition function is the normalization factor $Z(\beta)=\sum_{\omega \in\Omega}e^{\beta H(\omega)}$. Two important parameters of these distributions are the log partition ratio $q = \log \tfrac{Z(\beta_{\max})}{Z(\beta_{\min})}$ and the counts $c_x = |H^{-1}(x)|$. These are correlated with system parameters in a number of physical applications and sampling algorithms. Our first main result is to estimate the counts $c_x$ using roughly $\tilde O( \frac{q}{\varepsilon^2})$ samples for general Gibbs distributions and $\tilde O( \frac{n^2}{\varepsilon^2} )$ samples for integer-valued distributions (ignoring some second-order terms and parameters), and we show this is optimal up to logarithmic factors. We illustrate with improved algorithms for counting connected subgraphs, independent sets, and perfect matchings. As a key subroutine, we also develop algorithms to compute the partition function $Z$ using $\tilde O(\frac{q}{\varepsilon^2})$ samples for general Gibbs distributions and using $\tilde O(\frac{n^2}{\varepsilon^2})$ samples for integer-valued distributions.


title: Steady-State Analysis of Light-harvesting Energy Transfer Driven by Incoherent Light: From Dimers to Networks

abstract: The question of how quantum coherence facilitates energy transfer has been intensively debated in the scientific community. Since natural and artificial light-harvesting units operate under the stationary condition, we address this question via a non-equilibrium steady-state analysis of a molecular dimer irradiated by incoherent sunlight and then generalize the key predictions to arbitrarily-complex exciton networks. The central result of the steady-state analysis is the coherence-flux-efficiency relation:$\eta=c\sum_{i\neq j}F_{ij}\kappa_j=2c\sum_{i\neq j}J_{ij}{\rm Im}[{\rho}_{ij}]\kappa_j$ with $c$ the normalization constant. In this relation, the first equality indicates that energy transfer efficiency $\eta$ is uniquely determined by the trapping flux, which is the product of flux $F$ and branching ratio $\kappa$ for trapping at the reaction centers, and the second equality indicates that the energy transfer flux $F$ is equivalent to quantum coherence measured by the imaginary part of the off-diagonal density matrix, i.e., $F_{ij}=2J_{ij}{\rm Im}[{\rho}_{ij}]$. Consequently, maximal steady-state coherence gives rise to optimal efficiency. The coherence-flux-efficiency relation holds rigorously and generally for any exciton networks of arbitrary connectivity under the stationary condition and is not limited to incoherent radiation or incoherent pumping. For light-harvesting systems under incoherent light, non-equilibrium energy transfer flux (i.e. steady-state coherence) is driven by the breakdown of detailed balance and by the quantum interference of light-excitations and leads to the optimization of energy transfer efficiency. It should be noted that the steady-state coherence or, equivalently, efficiency is the combined result of light-induced transient coherence, inhomogeneous depletion, and system-bath correlation, and is thus not necessarily correlated with quantum beatings.


title: Ratio of Products of Mixture Gamma Variates with Applications to Wireless Communications

abstract: In this paper, the statistical properties of the product of independent and non-identically distributed mixture Gamma (MG) random variables (RVs) are provided first. Specifically, simple exact closed-form expressions for the probability density function (PDF), cumulative distribution function (CDF), and moment generating function (MGF) are derived in terms of univariate Meijer's $G$-function. The statistical characterisations of the distribution of the ratio of products of MG variates are then derived. These statistics are used to analyse the outage probability (OP), the average error probability for different modulation schemes, the effective rate (ER) of communications systems and the average area under the receiver operating characteristics (AUC) curve of energy detection over cascaded fading channels. Additionally, the lower bound of secure outage probability (SOP$^L$) and probability of non-zero secrecy capacity (PNSC) of the physical layer and the OP of the multihop communications systems with decode-and-forward (DF) relaying protocol and co-channel interference (CCI) are studied by utilising the statistics of the ratio of the products. The derived performance metrics are applied for the Beaulieu-Xie and $\alpha-\lambda-\eta-\mu$ shadowed fading channels that have not been yet investigated in the literature. Accordingly, the equivalent parameters of a MG distribution for the aforementioned channels are given. A comparison between the numerical results and the Monte Carlo simulations is presented to verify the validation of our analysis.


title: newsSweeper at SemEval-2020 Task 11: Context-Aware Rich Feature Representations For Propaganda Classification

abstract: This paper describes our submissions to SemEval 2020 Task 11: Detection of Propaganda Techniques in News Articles for each of the two subtasks of Span Identification and Technique Classification. We make use of pre-trained BERT language model enhanced with tagging techniques developed for the task of Named Entity Recognition (NER), to develop a system for identifying propaganda spans in the text. For the second subtask, we incorporate contextual features in a pre-trained RoBERTa model for the classification of propaganda techniques. We were ranked 5th in the propaganda technique classification subtask.


title: Analytical and numerical study of a modified cell problem for the numerical homogenization of multiscale random fields

abstract: A central question in numerical homogenization of partial differential equations with multiscale coefficients is the accurate computation of effective quantities, such as the homogenized coefficients. Computing homogenized coefficients requires solving local corrector problems followed by upscaling relevant local data. The most naive way of computing homogenized coefficients is by solving a local elliptic problem, which is known to suffer from the so-called resonance error dominating all other errors inherent in multiscale computations. A far more efficient modelling strategy, based on adding an exponential correction term to the standard local elliptic problem, has recently been proved to result in exponentially decaying error bounds with respect to the size of the local geometry. The questions in relation with the accuracy and computational efficiency of this approach has been previously addressed in the context of periodic homogenization. The present article concerns the extension of mathematical and numerical study of this modified elliptic corrector problem to stochastic homogenization problems. In particular, we assume a stationary, ergodic micro-structure and i) establish the well-posedness of the corrector equation, ii) analyse the bias (or the systematic error) originating from additional exponential correction term in the model. Numerical results corroborating our theoretical findings are presented.


title: On Algorithms for Solving the Rubik's Cube

abstract: In this paper, we present a novel algorithm and its three variations for solving the Rubik's cube more efficiently. This algorithm can be used to solve the complete $n \times n \times n$ cube in $O(\frac{n^2}{\log n})$ moves. This algorithm can also be useful in certain cases for speedcubers. We will prove that our algorithm always works and then perform a basic analysis on the algorithm to determine its algorithmic complexity of $O(n^2)$. Finally, we further optimize this complexity to $O(\frac{n^2}{\log n})$.


title: CS-NET at SemEval-2020 Task 4: Siamese BERT for ComVE

abstract: In this paper, we describe our system for Task 4 of SemEval 2020, which involves differentiating between natural language statements that confirm to common sense and those that do not. The organizers propose three subtasks - first, selecting between two sentences, the one which is against common sense. Second, identifying the most crucial reason why a statement does not make sense. Third, generating novel reasons for explaining the against common sense statement. Out of the three subtasks, this paper reports the system description of subtask A and subtask B. This paper proposes a model based on transformer neural network architecture for addressing the subtasks. The novelty in work lies in the architecture design, which handles the logical implication of contradicting statements and simultaneous information extraction from both sentences. We use a parallel instance of transformers, which is responsible for a boost in the performance. We achieved an accuracy of 94.8% in subtask A and 89% in subtask B on the test set.


title: Non-Semisimple 3-Manifold Invariants Derived From the Kauffman Bracket

abstract: We recover the family of non-semisimple quantum invariants of closed oriented 3-manifolds associated with the small quantum group of $\mathfrak{sl}_2$ using purely combinatorial methods based on Temperley-Lieb algebras and Kauffman bracket polynomials. These invariants can be understood as a first-order extension of Witten-Reshetikhin-Turaev invariants, which can be reformulated following our approach in the case of rational homology spheres.


title: Tilings in vertex ordered graphs

abstract: Over recent years there has been much interest in both Tur\'an and Ramsey properties of vertex ordered graphs. In this paper we initiate the study of embedding spanning structures into vertex ordered graphs. In particular, we introduce a general framework for approaching the problem of determining the minimum degree threshold for forcing a perfect $H$-tiling in an ordered graph. In the (unordered) graph setting, this problem was resolved by K\"uhn and Osthus [The minimum degree threshold for perfect graph packings, Combinatorica, 2009]. We use our general framework to resolve the perfect $H$-tiling problem for all ordered graphs $H$ of interval chromatic number $2$. Already in this restricted setting the class of extremal examples is richer than in the unordered graph problem. In the process of proving our results, novel approaches to both the regularity and absorbing methods are developed.


title: Dark Matter interactions in an $S_4 \times Z_5$ flavor symmetry framework

abstract: The interactions of dark matter (DM) with the visible sector are often phenomenologically described in the framework of simplified models where the couplings of quarks to the new particles are generally assumed to be universal or have a simple structure motivated by observational benchmarks. They should, however, a priori be treated as free parameters. In this work we discuss one particular realization of the structure of DM couplings based on an $S_4 \times Z_5$ flavor symmetry, which has been shown to account reasonably well for fermion masses and mixing, and compare their effect on observational signals to universal as well as Yukawa-like couplings, which are motivated by minimal flavor violation. We will also comment on how these structures could be constrained in UV complete theories of DM and how DM observables, such as, e.g., relic density and direct detection, can potentially be used as a smoking gun for the underlying flavor symmetries.


title: Optimal Dividend Problem: Asymptotic Analysis

abstract: We re-visit the classical problem of optimal payment of dividends and determine the degree to which the diffusion approximation serves as a valid approximation of the classical risk model for this problem. Our results parallel some of those in B\"auerle (2004), but we obtain sharper results because we use a different technique for obtaining them. Specifically, B\"auerle (2004) uses probabilistic techniques and relies on convergence in distribution of the underlying processes. By contrast, we use comparison results from the theory of differential equations, and these methods allow us to determine the rate of convergence of the value functions in question.


title: Soft Expert Reward Learning for Vision-and-Language Navigation

abstract: Vision-and-Language Navigation (VLN) requires an agent to find a specified spot in an unseen environment by following natural language instructions. Dominant methods based on supervised learning clone expert's behaviours and thus perform better on seen environments, while showing restricted performance on unseen ones. Reinforcement Learning (RL) based models show better generalisation ability but have issues as well, requiring large amount of manual reward engineering is one of which. In this paper, we introduce a Soft Expert Reward Learning (SERL) model to overcome the reward engineering designing and generalisation problems of the VLN task. Our proposed method consists of two complementary components: Soft Expert Distillation (SED) module encourages agents to behave like an expert as much as possible, but in a soft fashion; Self Perceiving (SP) module targets at pushing the agent towards the final destination as fast as possible. Empirically, we evaluate our model on the VLN seen, unseen and test splits and the model outperforms the state-of-the-art methods on most of the evaluation metrics.


title: On the boundedness of Hausdorff operators on real Hardy spaces $H^1$ over homogeneous spaces of groups with local doubling property

abstract: We give conditions for boundedness of Hausdorff operators on real Hardy spaces $H^1$ over homogeneous spaces of locally compact groups with local doubling property. The special case of the hyperbolic plane is considered.


title: A resonance of the Higgs field at 700 GeV and a new phenomenology

abstract: It has been recently proposed that, besides the known resonance with mass $m_h\sim$ 125 GeV, the Higgs field could exhibit a new excitation with a larger mass $M_h$ related by $M^2_h\sim m^2_h \ln (\Lambda_s/M_h)$, where $\Lambda_s$ is the ultraviolet cutoff of the scalar sector. Lattice simulations of the propagator performed in the 4D Ising limit of the theory are consistent with this two-mass picture and lead to the estimate $M_h\sim 700$ GeV. In spite of its large mass, however, this heavier state would couple to longitudinal vector bosons with the same typical strength of the low-mass state and would thus represent a relatively narrow resonance. In this Letter we argue that this hypothetical new resonance would naturally fit with some excess of 4-lepton events which is observed by ATLAS around 680 GeV.


title: Solutions of super-linear elliptic equations and their Morse indices

abstract: We investigate here the degenerate bi-harmonic equation: $$\Delta_{m}^2 u=f(x,u)\; \;\;\mbox{in} \O,\quad u = \Delta u = 0\quad \mbox{on }\; \p\Omega,$$ with $m\ge 2,$ and also the degenerate tri-harmonic equation: $$ -\Delta_{m}^3 u=f(x,u)\;\;\; \mbox{in} \O,\quad u = \frac{\p u}{\p \nu} = \frac{\p^{2} u}{\p\nu^{2}} = 0\quad \mbox{on }\; \p\Omega,$$ where $\Omega\subset \mathbb{R}^{N}$ is a bounded domain with smooth boundary $N>4$ or $N>6$ resp, and $f \in \mathrm{C}^{1}(\Omega\times \mathbb{R})$ satisfying suitable m-superlinear and subcritical growth conditions. Our main purpose is to establish $L^{p}$ and $L^{\infty}$ explicit bounds for weak solutions via the Morse index. Our results extend previous explicit estimate obtained in \cite{c, HHF, hyf, lec}.


title: Statistical Downscaling of Temperature Distributions from the Synoptic Scale to the Mesoscale Using Deep Convolutional Neural Networks

abstract: Deep learning, particularly convolutional neural networks for image recognition, has been recently used in meteorology. One of the promising applications is developing a statistical surrogate model that converts the output images of low-resolution dynamic models to high-resolution images. Our study exhibits a preliminary experiment that evaluates the performance of a model that downscales synoptic temperature fields to mesoscale temperature fields every 6 hours. The deep learning model was trained with operational 22-km gridded global analysis surface winds and temperatures as the input, operational 5-km gridded regional analysis surface temperatures as the desired output, and a target domain covering central Japan. The results confirm that our deep convolutional neural network (DCNN) is capable of estimating the locations of coastlines and mountain ridges in great detail, which are not retained in the inputs, and providing high-resolution surface temperature distributions. For instance, while the average root-mean-square error (RMSE) is 2.7 K between the global and regional analyses at altitudes greater than 1000 m, the RMSE is reduced to 1.0 K, and the correlation coefficient is improved from 0.6 to 0.9 by the surrogate model. Although this study evaluates a surrogate model only for surface temperature, it probably can be improved by augmenting the downscaling variables and vertical profiles. Surrogate models of DCNNs require only a small amount of computational power once their training is finished. Therefore, if the surrogate models are implemented at short time intervals, they will provide high-resolution weather forecast guidance or environment emergency alerts at low cost.


title: On-Chip Characterization of High-Loss Liquids between 750 GHz and 1100 GHz

abstract: Terahertz spectroscopy is a promising tool for analyzing the picosecond dynamics of biomolecules, which is influenced by surrounding water molecules. However, water causes extreme losses to terahertz signals, preventing sensitive measurements at this frequency range. Here, we present sensitive on-chip terahertz spectroscopy of highly lossy aqueous solutions using a vector network analyzer, contact probes, and a coplanar waveguide with a 0.1 mm wide microfluidic channel. The complex permittivities of various deionized water/isopropyl alcohol concentration are extracted from a known reference measurement across the frequency range 750-1100 GHz and agrees well with literature data. The results prove the presented method as a high-sensitive approach for on-chip terahertz spectroscopy of high-loss liquids, capable of resolving the permittivity of water.


title: Reasoning with failures

abstract: Safety Instrumented Systems (SIS) protect major hazard facilities, e.g. power plants, against catastrophic accidents. An SIS consists of hardware components and a controller software -- the ``program''. Current safety analyses of SIS' include the construction of a fault tree, summarising potential faults of the components and how they can arise within an SIS. The exercise of identifying faults typically relies on the experience of the safety engineer. Unfortunately the program part is often too complicated to be analysed in such a ``by hand" manner and so the impact it has on the resulting safety analysis is not accurately captured. In this paper we demonstrate how a formal model for faults and failure modes can be used to analyse the impact of an SIS program. We outline the underlying concepts of \emph{Failure Mode Reasoning} and its application in safety analysis, and we illustrate the ideas on a practical example.


title: Who Verifies the Verifiers? A Computer-Checked Implementation of the DPLL Algorithm in Dafny

abstract: We build a SAT solver implementing the DPLL algorithm in the verification-enabled programming language Dafny. The resulting solver is fully verified (soundness, completeness and termination are computer checked). We benchmark our Dafny solver and we show that it is just as efficient as an equivalent DPLL solver implemented in C# and roughly two times less efficient than an equivalent solver written in C++. We conclude that auto-active verification is a promising approach to increasing trust in SAT solvers, as it combines a good trade-off between execution speed and degree of trustworthiness of the final product.


title: Extrinsic and Intrinsic Anomalous Metallic States in Transition Metal Dichalcogenide Ising Superconductors

abstract: The metallic ground state in two-dimensional (2D) superconductors has attracted much attention but is still under intense scrutiny. Especially, the measurements in ultralow temperature region are challenging for 2D superconductors due to the sensitivity to external perturbations. In this work, the resistance saturation induced by external noise, named as "extrinsic anomalous metallic state", is observed in 2D transition metal dichalcogenide (TMD) superconductor 4Ha-TaSe2 nanodevices. However, with further decreasing temperature, credible evidence of intrinsic anomalous metallic state is obtained by adequately filtering external radiation. Our work indicates that at ultralow temperatures the anomalous metallic state can be experimentally revealed as the quantum ground state in 2D crystalline TMD superconductors. Besides, Ising superconductivity revealed by ultrahigh in-plane critical field (Bc2//) going beyond the Pauli paramagnetic limit (Bp) is detected in 4Ha-TaSe2, from one-unit-cell device to bulk situation, which might be due to the weak coupling between the TaSe2 sub-monolayers.


title: Representation homology of simply connected spaces

abstract: Let $G$ be an affine algebraic group defined over field $k$ of characteristic zero. We study the derived moduli space of G-local systems on a pointed connected CW complex X trivialized at the basepoint of $X$. This derived moduli space is represented by an affine DG scheme RLoc$_G(X,*)$: we call the (co)homology of the structure sheaf of RLoc$_G(X,*)$ the representation homology of $X$ in $G$ and denote it by HR$_*(X,G)$. The HR$_0(X,G)$ is isomorphic to the coordinate ring of the representation variety Rep$_G[\pi_1(X)]$ of the fundamental group of $X$ in $G$ -- a well-known algebro-geometric invariant of $X$ with many applications in topology. The case when X is simply connected seems much less studied: in this case, the HR$_0(X,G)$ is trivial but the higher representation homology is still an interesting rational invariant of $X$ depending on the algebraic group $G$. In this paper, we use rational homotopy theory to compute the HR$_*(X,G)$ for an arbitrary simply connected space $X$ (of finite rational type) in terms of its Quillen and Sullivan algebraic models. When $G$ is reductive, we also compute the $G$-invariant part of representation homology, HR$_*(X,G)^G$, and study the question when HR$_*(X,G)^G$ is free of locally finite type as a graded commutative algebra. This question turns out to be closely related to the so-called Strong Macdonald Conjecture, a celebrated result in representation theory proposed (as a conjecture) by B. Feigin and P. Hanlon in the 1980s and proved by S. Fishel, I. Grojnowski and C. Teleman in 2008. Reformulating the Strong Macdonald Conjecture in topological terms, we give a simple characterization of spaces $X$ for which HR$_*(X,G)^G$ is a graded symmetric algebra for any complex reductive group $G$.


title: Vibrational sum frequency scattering in absorptive media: A theoretical case study of nano-objects water

abstract: The structures of interfaces of nano- and microscale objects in aqueous solution are important for a wide variety of physical, chemical and biological processes. Vibrational sum frequency scattering has emerged as a useful and unique probe of the interfacial structure of nano- and microscale objects in water. However, the full surface vibrational stretch mode spectrum has not been measured yet, even though it would be extremely informative to do so. The reason for this is that probing the vibrational modes of interfacial water requires a full understanding of how the linear absorptive properties of the bulk aqueous medium influence the sum frequency scattering process. Here, we have simulated vibrational sum frequency scattering spectra of the interface of nanoscale objects dispersed in water. We analyzed the effect of the infrared pulse absorption on the outcome of surface vibrational sum frequency scattering measurements. We find that both infrared absorption as well as the type of optical detection can drastically modify the measured vibrational interfacial spectrum. The observed changes comprise spectral distortion, frequency shifting of the main vibrational stretch mode and the introducing of a new high frequency peak. This last feature is enhanced by non-resonant interactions.


title: Weak solutions and optimal control of hemivariational evolutionary Navier-Stokes equations under Rauch condition

abstract: In this paper we consider evolutionary Navier-Stokes equations subject to the nonslip boundary condition together with a Clarke subdifferential relation between the dynamic pressure and the normal component of the velocity. Under Rauch condition, we use the Galerkin approximation method and a weak precompactness criteria to ensure the convergence to a desired solution. Moreover a control problem associated with such system of equations is studied with the help of a stability result with respect to the external forces. In the end of this paper, a more general condition due to Z. Naniewicz, namely the directional growth condition, is considered and all the results are reexamined.


title: Algebraic intersection for translation sufaces in a family of Teichm\H{u}ller disks

abstract: The setting is a square-tiled surface X. We study the quantity KVol, defined as the supremum over all pairs of closed curves, of their algebraic intersection divided by the product of their length, times the volume of X (so as to make it scaling-invariant). We give a hyperbolic-geometric construction to compute KVol in a family of Teichm\H{u}ller disks of square-tiled surfaces.


title: Recent Advances in Network-based Methods for Disease Gene Prediction

abstract: Disease-gene association through Genome-wide association study (GWAS) is an arduous task for researchers. Investigating single nucleotide polymorphisms (SNPs) that correlate with specific diseases needs statistical analysis of associations. Considering the huge number of possible mutations, in addition to its high cost, another important drawback of GWAS analysis is the large number of false-positives. Thus, researchers search for more evidence to cross-check their results through different sources. To provide the researchers with alternative low-cost disease-gene association evidence, computational approaches come into play. Since molecular networks are able to capture complex interplay among molecules in diseases, they become one of the most extensively used data for disease-gene association prediction. In this survey, we aim to provide a comprehensive and an up-to-date review of network-based methods for disease gene prediction. We also conduct an empirical analysis on 14 state-of-the-art methods. To summarize, we first elucidate the task definition for disease gene prediction. Secondly, we categorize existing network-based efforts into network diffusion methods, traditional machine learning methods with handcrafted graph features and graph representation learning methods. Thirdly, an empirical analysis is conducted to evaluate the performance of the selected methods across seven diseases. We also provide distinguishing findings about the discussed methods based on our empirical analysis. Finally, we highlight potential research directions for future studies on disease gene prediction.


title: Full feature selection for estimating KAP radiation dose in coronary angiographies and percutaneous coronary interventions

abstract: In interventional cardiology (IC) the radiation dose variation is very significant, and its estimation has been difficult due to the complexity of the treatments. In order to tackle this problem, the aim of this study was to identify the most important demographic and clinical features to estimate Kerma-Area Product (KAP) radiation dose in coronary angiographies (CA) and percutaneous coronary interventions (PCI). The study was retrospective using clinical patient data from 838 CA and PCI procedures. A total of 59 features were extracted from the patient data and 9 different filter-based feature selection methods were used to select the most informative features in terms of the KAP radiation dose from the treatments. The selected features were then used in a support vector regression (SVR) model to evaluate their performance in estimating the radiation dose. The ten highest-ranking features were: 1) FN1AC (CA), 2) FN2BA (PCI), 3) weight, 4) post-stenosis 0%, 5) multi-vessel disease, 6) number of procedures 3, 7) pre-stenosis 100%, 8) American Heart Association (AHA) score C, 9) pre-stenosis 85% and 10) gender. The performance of the SVR model increased (mean squared error ~ 450) with the number of features approximately up to 30 features. The identification of the most informative features for CA and PCI KAP is an important step in determining suitable complexity models for clinical practice. The highest-ranking features can be used as individual predictors of IC procedure KAP or can be incorporated into combined complexity score or different estimation models in the future.


title: Formalizing Slow-roll Inflation in Scalar-Tensor Theories of Gravitation

abstract: The viability of slow-roll approximation is examined by considering the structure of phase spaces in scalar-tensor theories of gravitation and the analysis is exemplified with a nonminimally coupled scalar field to the spacetime curvature. The slow-roll field equations are obtained in the Jordan frame in two ways: first using the direct generalization of the slow-roll conditions in the minimal coupling case to nonminimal one, and second, conformal transforming the slow-roll field equations in the Einstein frame to the Jordan frame and then applying the generalized slow-roll conditions. Two inflationary models governed by the potentials $V(\phi) \propto \phi^2$ and $V(\phi) \propto \phi^4$ are considered to compare the outcomes of two methods based on the analysis of $n_s$ and $r$ values in the light of recent observational data.


title: Code2Que: A Tool for Improving Question Titles from Mined Code Snippets in Stack Overflow

abstract: Stack Overflow is one of the most popular technical Q&A sites used by software developers. Seeking help from Stack Overflow has become an essential part of software developers' daily work for solving programming-related questions. Although the Stack Overflow community has provided quality assurance guidelines to help users write better questions, we observed that a significant number of questions submitted to Stack Overflow are of low quality. In this paper, we introduce a new web-based tool, Code2Que, which can help developers in writing higher quality questions for a given code snippet. Code2Que consists of two main stages: offline learning and online recommendation. In the offline learning phase, we first collect a set of good quality <code snippet, question> pairs as training samples. We then train our model on these training samples via a deep sequence-to-sequence approach, enhanced with an attention mechanism, a copy mechanism and a coverage mechanism. In the online recommendation phase, for a given code snippet, we use the offline trained model to generate question titles to assist less experienced developers in writing questions more effectively. At the same time, we embed the given code snippet into a vector and retrieve the related questions with similar problematic code snippets.


title: Best proximity point results in topological spaces and extension of Banach contraction principle

abstract: In this paper, we introduce the notion of topologically Banach contraction mapping defined on an arbitrary topological space X with the help of a continuous function $g:X\times X\rightarrow \mathbb{R}$ and investigate the existence of fixed points of such mapping. Moreover, we introduce two types of mappings defined on a non-empty subset of X and produce sufficient conditions which will ensure the existence of best proximity points for these mappings. Our best proximity point results also extend some existing results from metric spaces or Banach spaces to topological spaces. More precisely, our newly introduced mappings are more general than that of the corresponding notions introduced by Bunlue and Suantai [Arch. Math. (Brno), 54(2018), 165-176]. We present several examples to validate our results and justify its motivation. To study best proximity point results, we introduce the notions of g-closed, g-sequentially compact subsets of X and produce examples to show that there exists a non-empty subset of X which is not closed, sequentially compact under usual topology but is g-closed and g-sequentially compact.


title: A stabilized GMRES method for singular and severely ill-conditioned systems of linear equations

abstract: Consider using the right-preconditioned GMRES (AB-GMRES) for obtaining the minimum-norm solution of inconsistent underdetermined systems of linear equations. Morikuni (Ph.D. thesis, 2013) showed that for some inconsistent and ill-conditioned problems, the iterates may diverge. This is mainly because the Hessenberg matrix in the GMRES method becomes very ill-conditioned so that the backward substitution of the resulting triangular system becomes numerically unstable. We propose a stabilized GMRES based on solving the normal equations corresponding to the above triangular system using the standard Cholesky decomposition. This has the effect of shifting upwards the tiny singular values of the Hessenberg matrix which lead to an inaccurate solution. We analyze why the method works. Numerical experiments show that the proposed method is robust and efficient, not only for applying AB-GMRES to underdetermined systems, but also for applying GMRES to severely ill-conditioned range-symmetric systems of linear equations.


title: Joint Visual and Temporal Consistency for Unsupervised Domain Adaptive Person Re-Identification

abstract: Unsupervised domain adaptive person Re-IDentification (ReID) is challenging because of the large domain gap between source and target domains, as well as the lackage of labeled data on the target domain. This paper tackles this challenge through jointly enforcing visual and temporal consistency in the combination of a local one-hot classification and a global multi-class classification. The local one-hot classification assigns images in a training batch with different person IDs, then adopts a Self-Adaptive Classification (SAC) model to classify them. The global multi-class classification is achieved by predicting labels on the entire unlabeled training set with the Memory-based Temporal-guided Cluster (MTC). MTC predicts multi-class labels by considering both visual similarity and temporal consistency to ensure the quality of label prediction. The two classification models are combined in a unified framework, which effectively leverages the unlabeled data for discriminative feature learning. Experimental results on three large-scale ReID datasets demonstrate the superiority of proposed method in both unsupervised and unsupervised domain adaptive ReID tasks. For example, under unsupervised setting, our method outperforms recent unsupervised domain adaptive methods, which leverage more labels for training.


title: Nonequilibrium grand-canonical ensemble built from a physical particle reservoir

abstract: We introduce a nonequilibrium grand-canonical ensemble defined by considering the stationary state of a driven system of particles put in contact with a nonequilibrium particle reservoir. At odds with its equilibrium counterpart, or with purely formal constructions of a grand-canonical ensemble, this physically-motivated construction yields a grand-canonical distribution that depends on the details of the contact dynamics between the system and the reservoir. For non-interacting driven particles, a grand-canonical chemical potential can still be defined, although this chemical potential now differs from that of the reservoir. However, in the general case, the usual exponential factor (in the particle number) defining the grand-canonical chemical potential, is replaced by the exponential of a non-linear function of the density, this function being proportional to the volume. This case is illustrated explicitly on a one-dimensional lattice model. Although a grand-canonical chemical potential can no longer be defined in this case, it is possible for a subclass of contact dynamics to generalize the equilibrium fluctuation-response relation by introducing a small external potential difference between the system and the reservoir.


title: Three families of grad-div-conforming finite elements

abstract: Several smooth finite element de Rham complexes are constructed in three-dimensional space, which yield three families of grad-div conforming finite elements. The simplest element has only 8 degrees of freedom (DOFs) for a tetrahedron and 14 DOFs for a cuboid. These elements naturally lead to conforming approximations to quad-div problems. Numerical experiments for each family validate the correctness and efficiency of the elements for solving the quad-div problem.


title: Smoothed Complexity of 2-player Nash Equilibria

abstract: We prove that computing a Nash equilibrium of a two-player ($n \times n$) game with payoffs in $[-1,1]$ is PPAD-hard (under randomized reductions) even in the smoothed analysis setting, smoothing with noise of constant magnitude. This gives a strong negative answer to conjectures of Spielman and Teng [ST06] and Cheng, Deng, and Teng [CDT09]. In contrast to prior work proving PPAD-hardness after smoothing by noise of magnitude $1/\operatorname{poly}(n)$ [CDT09], our smoothed complexity result is not proved via hardness of approximation for Nash equilibria. This is by necessity, since Nash equilibria can be approximated to constant error in quasi-polynomial time [LMM03]. Our results therefore separate smoothed complexity and hardness of approximation for Nash equilibria in two-player games. The key ingredient in our reduction is the use of a random zero-sum game as a gadget to produce two-player games which remain hard even after smoothing. Our analysis crucially shows that all Nash equilibria of random zero-sum games are far from pure (with high probability), and that this remains true even after smoothing.


title: Quantum Mechanical Observables under a Symplectic Transformation of Coordinates

abstract: We consider a general symplectic transformation (also known as linear canonical transformation) of quantum-mechanical observables in a quantized version of a finite-dimensional system with configuration space isomorphic to $ \mathbb{R}^{q} $. Using the formalism of rigged Hilbert spaces, we define eigenstates for all the observables. Then we work out the explicit form of the corresponding transformation of these eigenstates. A few examples are included at the end of the paper.


title: Multi-label Thoracic Disease Image Classification with Cross-Attention Networks

abstract: Automated disease classification of radiology images has been emerging as a promising technique to support clinical diagnosis and treatment planning. Unlike generic image classification tasks, a real-world radiology image classification task is significantly more challenging as it is far more expensive to collect the training data where the labeled data is in nature multi-label; and more seriously samples from easy classes often dominate; training data is highly class-imbalanced problem exists in practice as well. To overcome these challenges, in this paper, we propose a novel scheme of Cross-Attention Networks (CAN) for automated thoracic disease classification from chest x-ray images, which can effectively excavate more meaningful representation from data to boost the performance through cross-attention by only image-level annotations. We also design a new loss function that beyond cross-entropy loss to help cross-attention process and is able to overcome the imbalance between classes and easy-dominated samples within each class. The proposed method achieves state-of-the-art results.


title: Granular packings with sliding, rolling and twisting friction

abstract: Intuition tells us that a rolling or spinning sphere will eventually stop due to the presence of friction and other dissipative interactions. The resistance to rolling and spinning/twisting torque that stops a sphere also changes the microstructure of a granular packing of frictional spheres by increasing the number of constraints on the degrees of freedom of motion. We perform discrete element modeling simulations to construct sphere packings implementing a range of frictional constraints under a pressure-controlled protocol. Mechanically stable packings are achievable at volume fractions and average coordination numbers as low as 0.53 and 2.5, respectively, when the particles experience high resistance to sliding, rolling and twisting. Only when the particle model includes rolling and twisting friction, were experimental volume fractions reproduced.


title: Advective accretion onto a non-spherical accretor in white dwarf and neutron star binaries: a new scenario of shock formation

abstract: Numerous studies on hydrodynamics of the Keplerian as well as the sub-Keplerian accretion disc around a compact object (e.g., white dwarf (WD), neutron star (NS), or a black hole (BH)) attempted to explain the observed UV, soft and hard X-ray spectra. Although, when the compact object (e.g., a WD or an NS) has a finite surface, its rapid rotation, the stellar magnetic field could cause deformation of the spherical symmetry. Earlier studies for Keplerian disc showed that a deviation from the spherical symmetry of the compact object could affect the observed light curve and spectra at high frequencies. Here, we have explored the effect of the non-spherical nature of a compact object on the hydrodynamics of an optically thin, geometrically thick sub-Keplerian advective flow. We find that due to non-spherical shape of the central accretor, there is a possibility to trigger Rankine-Hugoniot shock in the sub-Keplerian advective flow close to the accretor without considering any general relativistic effect or presence of the hard surface of the star. Our results are more relevant for accretion onto WD as hardly any general relativistic effect will come in the picture. We propose that some observational features e.g., high significance of fitting the spectra with multi-temperature plasma models rather than single temperature models, and variable efficiency of X-ray emission (X-ray luminosity in comparison with optical and UV luminosity of the disk) in nonmagnetic cataclysmic variables can be explained by the presence of a shock in the sub-Keplerian advective flow.


title: Heat kernels for a class of hybrid evolution equations

abstract: The aim of this paper is to construct (explicit) heat kernels for some hybrid evolution equations which arise in physics, conformal geometry and subelliptic PDEs. Hybrid means that the relevant partial differential operator appears in the form $\mathscr L_1 + \mathscr L_2 - \partial_t$, but the variables cannot be decoupled. As a consequence, the relative heat kernel cannot be obtained as the product of the heat kernels of the operators $\mathscr L_1 - \partial_t$ and $\mathscr L_2 - \partial_t$. Our approach is new and ultimately rests on the generalised Ornstein-Uhlenbeck operators in the opening of H\"ormander's 1967 groundbreaking paper on hypoellipticity.


title: Outer approximations of core points for integer programming

abstract: For several decades the dominant techniques for integer linear programming have been branching and cutting planes. Recently, several authors have developed core point methods for solving symmetric integer linear programs (ILPs). An integer point is called a core point if its orbit polytope is lattice-free. It has been shown that for symmetric ILPs, optimizing over the set of core points gives the same answer as considering the entire space. Existing core point techniques rely on the number of core points (or equivalence classes) being finite, which requires special symmetry groups. In this paper we develop some new methods for solving symmetric ILPs (based on outer approximations of core points) that do not depend on finiteness but are more efficient if the group has large disjoint cycles in its set of generators.


title: Weighted norm inequalities for the maximal operator on $\Lpp$ over spaces of homogeneous type

abstract: Given a space of homogeneous type $(X,\mu,d)$, we prove strong-type weighted norm inequalities for the Hardy-Littlewood maximal operator over the variable exponent Lebesgue spaces $L^\pp$. We prove that the variable Muckenhoupt condition $\App$ is necessary and sufficient for the strong type inequality if $\pp$ satisfies log-H\"older continuity conditions and $1 < p_- \leq p_+ < \infty$. Our results generalize to spaces of homogeneous type the analogous results in Euclidean space proved by Cruz-Uribe, Fiorenza and Neugebuaer (2012).


title: Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers

abstract: In this paper we employ SMT solvers to soundly synthesise Lyapunov functions that assert the stability of a given dynamical model. The search for a Lyapunov function is framed as the satisfiability of a second-order logical formula, asking whether there exists a function satisfying a desired specification (stability) for all possible initial conditions of the model. We synthesise Lyapunov functions for linear, non-linear (polynomial), and for parametric models. For non-linear models, the algorithm also determines a region of validity for the Lyapunov function. We exploit an inductive framework to synthesise Lyapunov functions, starting from parametric templates. The inductive framework comprises two elements: a learner proposes a Lyapunov function, and a verifier checks its validity - its lack is expressed via a counterexample (a point over the state space), for further use by the learner. Whilst the verifier uses the SMT solver Z3, thus ensuring the overall soundness of the procedure, we examine two alternatives for the learner: a numerical approach based on the optimisation tool Gurobi, and a sound approach based again on Z3. The overall technique is evaluated over a broad set of benchmarks, which shows that this methodology not only scales to 10-dimensional models within reasonable computational time, but also offers a novel soundness proof for the generated Lyapunov functions and their domains of validity.


title: IITK-RSA at SemEval-2020 Task 5: Detecting Counterfactuals

abstract: This paper describes our efforts in tackling Task 5 of SemEval-2020. The task involved detecting a class of textual expressions known as counterfactuals and separating them into their constituent elements. Counterfactual statements describe events that have not or could not have occurred and the possible implications of such events. While counterfactual reasoning is natural for humans, understanding these expressions is difficult for artificial agents due to a variety of linguistic subtleties. Our final submitted approaches were an ensemble of various fine-tuned transformer-based and CNN-based models for the first subtask and a transformer model with dependency tree information for the second subtask. We ranked 4-th and 9-th in the overall leaderboard. We also explored various other approaches that involved the use of classical methods, other neural architectures and the incorporation of different linguistic features.


title: GarNet++: Improving Fast and Accurate Static3D Cloth Draping by Curvature Loss

abstract: In this paper, we tackle the problem of static 3D cloth draping on virtual human bodies. We introduce a two-stream deep network model that produces a visually plausible draping of a template cloth on virtual 3D bodies by extracting features from both the body and garment shapes. Our network learns to mimic a Physics-Based Simulation (PBS) method while requiring two orders of magnitude less computation time. To train the network, we introduce loss terms inspired by PBS to produce plausible results and make the model collision-aware. To increase the details of the draped garment, we introduce two loss functions that penalize the difference between the curvature of the predicted cloth and PBS. Particularly, we study the impact of mean curvature normal and a novel detail-preserving loss both qualitatively and quantitatively. Our new curvature loss computes the local covariance matrices of the 3D points, and compares the Rayleigh quotients of the prediction and PBS. This leads to more details while performing favorably or comparably against the loss that considers mean curvature normal vectors in the 3D triangulated meshes. We validate our framework on four garment types for various body shapes and poses. Finally, we achieve superior performance against a recently proposed data-driven method.


title: Scaling Polyhedral Neural Network Verification on GPUs

abstract: Certifying the robustness of neural networks against adversarial attacks is essential to their reliable adoption in safety-critical systems such as autonomous driving and medical diagnosis. Unfortunately, state-of-the-art verifiers either do not scale to bigger networks or are too imprecise to prove robustness, limiting their practical adoption. In this work, we introduce GPUPoly, a scalable verifier that can prove the robustness of significantly larger deep neural networks than previously possible. The key technical insight behind GPUPoly is the design of custom, sound polyhedra algorithms for neural network verification on a GPU. Our algorithms leverage the available GPU parallelism and inherent sparsity of the underlying verification task. GPUPoly scales to large networks: for example, it can prove the robustness of a 1M neuron, 34-layer deep residual network in approximately 34.5 ms. We believe GPUPoly is a promising step towards practical verification of real-world neural networks.


title: Decay of covariance for gradient models with non-convex potential

abstract: We consider gradient models on the lattice $Z^d$. These models serve as effective models for interfaces and are also known as continuous Ising models. The height of the interface is modelled by a random field with an energy which is a non-convex perturbation of the quadratic interaction. We are interested in the Gibbs measure with tilted boundary condition $u$ at inverse temperature $\beta$ of this model. In this paper we present a fine analysis of the covariance of the gradient field. We show that the covariances of the Gibbs distribution agree with the covariance of the Gaussian free field up to terms which decay at a faster algebraic rate. The key tool is the extension of the renormalisation group method to observables as developed in [BBS15a].


title: Taming the spread of an epidemics by lockdown policies

abstract: We study the problem of a policymaker who aims at taming the spread of an epidemic while minimizing its associated social costs. The main feature of our model lies in the fact that the disease's transmission rate is a diffusive stochastic process whose trend can be adjusted via costly confinement policies. We provide a complete theoretical analysis, as well as numerical experiments illustrating the structure of the optimal lockdown policy. In all our experiments the latter is characterized by three distinct periods: the epidemic is first let freely evolve, then vigorously tamed, and finally a less stringent containment should be adopted. Moreover, the optimal containment policy is such that the product "reproduction number x percentage of susceptible" is kept after a certain date strictly below the critical level of one, although the reproduction number is let oscillate above one in the last more relaxed phase of lockdown. Finally, an increase in the fluctuations of the transmission rate is shown to give rise to an earlier beginning of the optimal lockdown policy, which is also diluted over a longer period of time.