title: Control of the metal-insulator transition in NdNiO$_3$ thin films through the interplay between structural and electronic properties

abstract: Heteroepitaxy offers a new type of control mechanism for the crystal structure, the electronic correlations, and thus the functional properties of transition-metal oxides. Here, we combine electrical transport measurements, high-resolution scanning transmission electron microscopy (STEM), and density functional theory (DFT) to investigate the evolution of the metal-to-insulator transition (MIT) in NdNiO$_3$ films as a function of film thickness and NdGaO$_3$ substrate crystallographic orientation. We find that for two different substrate facets, orthorhombic (101) and (011), modifications of the NiO$_6$ octahedral network are key for tuning the transition temperature $T_{\text{MIT}}$ over a wide temperature range. A comparison of films of identical thickness reveals that growth on [101]-oriented substrates generally results in a higher $T_{\text{MIT}}$, which can be attributed to an enhanced bond-disproportionation as revealed by the DFT+$U$ calculations, and a tendency of [011]-oriented films to formation of structural defects and stabilization of non-equilibrium phases. Our results provide insights into the structure-property relationship of a correlated electron system and its evolution at microscopic length scales and give new perspectives for the epitaxial control of macroscopic phases in metal-oxide heterostructures.


title: Dynamic susceptibilities in dense soft athermal spheres under a finite-rate shear

abstract: The mechanical responses of dense packings of soft athermal spheres under a finite-rate shear are studied by means of molecular dynamics simulations. We investigate the volume fraction and shear rate dependence of the fluctuations in the shear stress and the interparticle contact number. In particular, we quantify them by defining the susceptibility as the ratio of the global to local fluctuations. The obtained susceptibilities form ridges on the volume fraction-shear rate plane, which are reminiscent of the Widom lines around the critical point in an equilibrium phase transition.


title: Geometric Properties of Fixed Points and Simulation Functions

abstract: Geometric properties of the fixed point set $Fix(f)$ of a self-mapping $f$ on a metric or a generalized metric space is an attractive issue. The set $Fix(f)$ can contain a geometric figure (a circle, an ellipse, etc.) or it can be a geometric figure. In this paper, we consider the set of simulation functions for geometric applications in the fixed point theory both on metric and some generalized metric spaces ($S$-metric spaces and $b$-metric spaces). The main motivation of this paper is to investigate the geometric properties of non unique fixed points of self-mappings via simulation functions.


title: Learning to Enhance Visual Quality via Hyperspectral Domain Mapping

abstract: Deep learning based methods have achieved remarkable success in image restoration and enhancement, but most such methods rely on RGB input images. These methods fail to take into account the rich spectral distribution of natural images. We propose a deep architecture, SpecNet, which computes spectral profile to estimate pixel-wise dynamic range adjustment of a given image. First, we employ an unpaired cycle-consistent framework to generate hyperspectral images (HSI) from low-light input images. HSI is further used to generate a normal light image of the same scene. We incorporate a self-supervision and a spectral profile regularization network to infer a plausible HSI from an RGB image. We evaluate the benefits of optimizing the spectral profile for real and fake images in low-light conditions on the LOL Dataset.


title: On axioms and rexpansions

abstract: We study the general problem of strengthening the logic of a given (partial) (non-deterministic) matrix with a set of axioms, using the idea of rexpansion. We obtain two characterization methods: a very general but not very effective one, and then an effective method which only applies under certain restrictions on the given semantics and the shape of the axioms. We show that this second method covers a myriad of examples in the literature. Finally, we illustrate how to obtain analytic multiple-conclusion calculi for the resulting logics.


title: HATS-34b and HATS-46b: Re-characterisation Using TESS and Gaia

abstract: We present a revised characterisation of the previously discovered transiting planet systems HATS-34 and HATS-46. We make use of the newly available space-based light curves from the NASA TESS mission and high-precision parallax and absolute photometry measurements from the ESA Gaia mission to determine the mass and radius of the planets and host stars with dramatically increased precision and accuracy compared to published values, with the uncertainties in some parameters reduced by as much as a factor of seven. Using an isochrone based fit, for HATS-34 we measure a revised host star mass and radius of $0.952_{-0.02}^{+0.04}M_S$ and of $0.9381\pm0.0080R_S$, respectively, and a revised mass and radius for the transiting planet of $0.951\pm0.050 M_J$ and $1.282 \pm0.064 R_J$ respectively. Similarly, for HATS-46 we measure a revised mass and radius for the host star of $0.869\pm0.023M_S$, and $0.894\pm0.010 R_S$, respectively, and a revised mass and radius for the planet of $0.158 \pm0.042 M_J$, and $0.951 \pm 0.029 R_J$, respectively. The uncertainties that we determine on the stellar and planetary masses and radii are also substantially lower than re-determinations that incorporate the Gaia results without performing a full re-analysis of the light curves and other observational data. We argue that, in light of Gaia and TESS, a full re-analysis of previously discovered transiting planets is warranted.


title: Finite axiomatizability of logics of distributive lattices with negation

abstract: This paper focuses on order-preserving logics defined from varieties of distributive lattices with negation, and in particular on the problem of whether these can be axiomatized by means of finite Hilbert calculi. On the side of negative results, we provide a syntactic condition on the equational presentation of a variety that entails failure of finite axiomatizability for the corresponding logic. An application of this result is that the logic of all distributive lattices with negation is not finitely axiomatizable; likewise, we establish that the order-preserving logic of the variety of all Ockham algebras is also not finitely axiomatizable. On the positive side, we show that an arbitrary subvariety of semi-De Morgan algebras is axiomatized by a finite number of equations if and only if the corresponding order-preserving logic is axiomatized by a finite Hilbert calculus. This equivalence also holds for every subvariety of a Berman variety of Ockham algebras. We obtain, as a corollary, a new proof that the implication-free fragment of intuitionistic logic is finitely axiomatizable, as well as a new Hilbert calculus for it. Our proofs are constructive in that they allow us to effectively convert an equational presentation of a variety of algebras into a Hilbert calculus for the corresponding order-preserving logic, and vice versa. We also consider the assertional logics associated to the above-mentioned varieties, showing in particular that the assertional logics of finitely axiomatizable subvarieties of semi-De Morgan algebras are finitely axiomatizable as well.


title: Integrating Cardinality Constraints into Constraint Logic Programming with Sets

abstract: Formal reasoning about finite sets and cardinality is an important tool for many applications, including software verification, where very often one needs to reason about the size of a given data structure and not only about what its elements are. The Constraint Logic Programming tool {log} provides a decision procedure for deciding the satisfiability of formulas involving very general forms of finite sets, without cardinality. In this paper we adapt and integrate a decision procedure for a theory of finite sets with cardinality into {log}. The proposed solver is proved to be a decision procedure for its formulas. Besides, the new CLP instance is implemented as part of the {log} tool. In turn, the implementation uses Howe and King's Prolog SAT solver and Prolog's CLP(Q) library, as an integer linear programming solver. The empirical evaluation of this implementation based on +250 real verification conditions shows that it can be useful in practice.


title: Statistics of coherent waves inside media with L\'evy disorder

abstract: Structures with heavy-tailed distributions of disorder occur widely in nature. The evolution of such systems, as in foraging for food or the occurrence of earthquakes is generally analyzed in terms of an incoherent series of events. But the study of wave propagation or lasing in such systems requires the consideration of coherent scattering. We consider the distribution of wave energy inside 1D random media in which the spacing between scatterers follow a L\'evy $\alpha$-stable distribution characterized by a power-law decay with exponent $\alpha$. We show that the averages of the intensity and logarithmic intensity are given in terms of the average of the logarithm of transmission and the depth into the sample raised to the power $\alpha$. Mapping the depth into the sample to the number of scattering elements yields intensity statistics that are identical to those found for Anderson localization in standard random media. This allows for the separation for the impacts of disorder distribution and wave coherence in random media.


title: Doctor Imitator: Hand-Radiography-based Bone Age Assessment by Imitating Scoring Methods

abstract: Bone age assessment is challenging in clinical practice due to the complicated bone age assessment process. Current automatic bone age assessment methods were designed with rare consideration of the diagnostic logistics and thus may yield certain uninterpretable hidden states and outputs. Consequently, doctors can find it hard to cooperate with such models harmoniously because it is difficult to check the correctness of the model predictions. In this work, we propose a new graph-based deep learning framework for bone age assessment with hand radiographs, called Doctor Imitator (DI). The architecture of DI is designed to learn the diagnostic logistics of doctors using the scoring methods (e.g., the Tanner-Whitehouse method) for bone age assessment. Specifically, the convolutions of DI capture the local features of the anatomical regions of interest (ROIs) on hand radiographs and predict the ROI scores by our proposed Anatomy-based Group Convolution, summing up for bone age prediction. Besides, we develop a novel Dual Graph-based Attention module to compute patient-specific attention for ROI features and context attention for ROI scores. As far as we know, DI is the first automatic bone age assessment framework following the scoring methods without fully supervised hand radiographs. Experiments on hand radiographs with only bone age supervision verify that DI can achieve excellent performance with sparse parameters and provide more interpretability.


title: Impact of partially bosonized collective fluctuations on electronic degrees of freedom

abstract: In this work we present a comprehensive analysis of collective electronic fluctuations and their effect on single-particle properties of the Hubbard model. Our approach is based on a standard dual fermion/boson scheme with the interaction truncated at the two-particle level. Within this framework we compare various approximations that differ in the set of diagrams (ladder vs exact diagrammatic Monte Carlo), and/or in the form of the four-point interaction vertex (exact vs partially bosonized). This allows to evaluate the effect of all components of the four-point vertex function on the electronic self-energy. In particular, we observe that contributions that are not accounted for by the partially bosonized approximation for the vertex have only a minor effect on electronic degrees of freedom in a broad range of model parameters. In addition, we find that in the regime, where the ladder dual fermion approximation provides an accurate solution of the problem, the leading contribution to the self-energy is given by the longitudional bosonic modes. This can be explained by the fact that contributions of transverse particle-hole and particle-particle modes partially cancel each other. Our results justify the applicability of the recently introduced dual triply irreducible local expansion (D-TRILEX) method that represents one of the simplest consistent diagrammatic extensions of the dynamical mean-field theory. We find that the self-consistent D-TRILEX approach is reasonably accurate also in challenging regimes of the Hubbard model, even where the dynamical mean-field theory does not provide the optimal local reference point (impurity problem) for the diagrammatic expansion.


title: BRECQ: Pushing the Limit of Post-Training Quantization by Block Reconstruction

abstract: We study the challenging task of neural network quantization without end-to-end retraining, called Post-training Quantization (PTQ). PTQ usually requires a small subset of training data but produces less powerful quantized models than Quantization-Aware Training (QAT). In this work, we propose a novel PTQ framework, dubbed BRECQ, which pushes the limits of bitwidth in PTQ down to INT2 for the first time. BRECQ leverages the basic building blocks in neural networks and reconstructs them one-by-one. In a comprehensive theoretical study of the second-order error, we show that BRECQ achieves a good balance between cross-layer dependency and generalization error. To further employ the power of quantization, the mixed precision technique is incorporated in our framework by approximating the inter-layer and intra-layer sensitivity. Extensive experiments on various handcrafted and searched neural architectures are conducted for both image classification and object detection tasks. And for the first time we prove that, without bells and whistles, PTQ can attain 4-bit ResNet and MobileNetV2 comparable with QAT and enjoy 240 times faster production of quantized models. Codes are available at https://github.com/yhhhli/BRECQ.


title: Modal approximation for plasmonic resonators in the time domain: the scalar case

abstract: We study the electromagnetic field scattered by a metallic nanoparticle with dispersive material parameters in a resonant regime. We consider the particle placed in a homogeneous medium in a low-frequency regime. We define modes for the non-Hermitian problem as perturbations of electrostatic modes, and obtain a modal approximation of the scattered field in the frequency domain. The poles of the expansion correspond to the eigenvalues of a singular boundary integral operator and are shown to lie in a bounded region near the origin of the lower-half complex plane. Finally, we show that this modal representation gives a very good approximation of the field in the time domain. We present numerical simulations in two dimensions to corroborate our results.


title: MAIN: Multihead-Attention Imputation Networks

abstract: The problem of missing data, usually absent incurated and competition-standard datasets, is an unfortunate reality for most machine learning models used in industry applications. Recent work has focused on understanding the nature and the negative effects of such phenomena, while devising solutions for optimal imputation of the missing data, using both discriminative and generative approaches. We propose a novel mechanism based on multi-head attention which can be applied effortlessly in any model and achieves better downstream performance without the introduction of the full dataset in any part of the modeling pipeline. Our method inductively models patterns of missingness in the input data in order to increase the performance of the downstream task. Finally, after evaluating our method against baselines for a number of datasets, we found performance gains that tend to be larger in scenarios of high missingness.


title: Node-Level Membership Inference Attacks Against Graph Neural Networks

abstract: Many real-world data comes in the form of graphs, such as social networks and protein structure. To fully utilize the information contained in graph data, a new family of machine learning (ML) models, namely graph neural networks (GNNs), has been introduced. Previous studies have shown that machine learning models are vulnerable to privacy attacks. However, most of the current efforts concentrate on ML models trained on data from the Euclidean space, like images and texts. On the other hand, privacy risks stemming from GNNs remain largely unstudied. In this paper, we fill the gap by performing the first comprehensive analysis of node-level membership inference attacks against GNNs. We systematically define the threat models and propose three node-level membership inference attacks based on an adversary's background knowledge. Our evaluation on three GNN structures and four benchmark datasets shows that GNNs are vulnerable to node-level membership inference even when the adversary has minimal background knowledge. Besides, we show that graph density and feature similarity have a major impact on the attack's success. We further investigate two defense mechanisms and the empirical results indicate that these defenses can reduce the attack performance but with moderate utility loss.


title: Termodin\'amica de un gas magnetizado de bosones vectoriales neutros

abstract: This thesis is dedicated to study the thermodynamic properties of a magnetized neutral vector boson gas at any temperature, with the aim to provide equations of state that allow more general and precise descriptions of astrophysical phenomena. The all temperature analytical expressions for the thermodynamic magnitudes, as well as their non relativistic limits, are obtained starting from the energy spectrum given by Proca's theory. With these expressions, and considering the system under astrophysical conditions (particle densities, temperatures and magnetic fields in the order of the estimated for Neutron Stars), we investigate the Bose Einstein condensation, the magnetic properties and the equations of state of the gas, making a special emphasis on the influence of antiparticles and magnetic field. In all cases, the results are compared with their analogues in the low temperature and the non relativistic limits. This allows us to establish the ranges of validity of these approximations and to achieve a better understanding of their effects on the studied system.


title: Dompteur: Taming Audio Adversarial Examples

abstract: Adversarial examples seem to be inevitable. These specifically crafted inputs allow attackers to arbitrarily manipulate machine learning systems. Even worse, they often seem harmless to human observers. In our digital society, this poses a significant threat. For example, Automatic Speech Recognition (ASR) systems, which serve as hands-free interfaces to many kinds of systems, can be attacked with inputs incomprehensible for human listeners. The research community has unsuccessfully tried several approaches to tackle this problem. In this paper we propose a different perspective: We accept the presence of adversarial examples against ASR systems, but we require them to be perceivable by human listeners. By applying the principles of psychoacoustics, we can remove semantically irrelevant information from the ASR input and train a model that resembles human perception more closely. We implement our idea in a tool named DOMPTEUR and demonstrate that our augmented system, in contrast to an unmodified baseline, successfully focuses on perceptible ranges of the input signal. This change forces adversarial examples into the audible range, while using minimal computational overhead and preserving benign performance. To evaluate our approach, we construct an adaptive attacker that actively tries to avoid our augmentations and demonstrate that adversarial examples from this attacker remain clearly perceivable. Finally, we substantiate our claims by performing a hearing test with crowd-sourced human listeners.


title: On strongly regular graph with parameters (65; 32; 15; 16)

abstract: We construct a strongly regular graph with the parameters (65; 32; 15; 16). The idea is to search for an adjacency matrix that consists of circulant blocks. Equations with such matrices can be reduced to congruences with polynomials matrices of smaller orders. We can consider these congruences over different moduli for a more efficient computational approach.


title: A Framework of Inertial Alternating Direction Method of Multipliers for Non-Convex Non-Smooth Optimization

abstract: In this paper, we propose an algorithmic framework, dubbed inertial alternating direction methods of multipliers (iADMM), for solving a class of nonconvex nonsmooth multiblock composite optimization problems with linear constraints. Our framework employs the general minimization-majorization (MM) principle to update each block of variables so as to not only unify the convergence analysis of previous ADMM that use specific surrogate functions in the MM step, but also lead to new efficient ADMM schemes. To the best of our knowledge, in the nonconvex nonsmooth setting, ADMM used in combination with the MM principle to update each block of variables, and ADMM combined with \emph{inertial terms for the primal variables} have not been studied in the literature. Under standard assumptions, we prove the subsequential convergence and global convergence for the generated sequence of iterates. We illustrate the effectiveness of iADMM on a class of nonconvex low-rank representation problems.


title: Interaction of a Neel-type skyrmion and a superconducting vortex

abstract: Superconductor-ferromagnet heterostructures hosting vortices and skyrmions are new area of an interplay between superconductivity and magnetism. We study an interaction of a Neel-type skyrmion and a Pearl vortex in thin heterostructures due to stray fields. Surprisingly, we find that it can be energetically favorable for the Pearl vortex to be situated at some nonzero distance from the center of the Neel-type skyrmion. The presence of a vortex-antivortex pair is found to result in increase of the skyrmion radius. Our theory predicts that a spontaneous generation of a vortex-anti-vortex pair is possible under some conditions in the presence of a Neel-type skyrmion.


title: Certificate complexity and symmetry of nested canalizing functions

abstract: Boolean nested canalizing functions (NCFs) have important applications in molecular regulatory networks, engineering and computer science. In this paper, we study their certificate complexity. For both Boolean values $b\in\{0,1\}$, we obtain a formula for $b$-certificate complexity and consequently, we develop a direct proof of the certificate complexity formula of an NCF. Symmetry is another interesting property of Boolean functions and we significantly simplify the proofs of some recent theorems about partial symmetry of NCFs. We also describe the algebraic normal form of $s$-symmetric NCFs. We obtain the general formula of the cardinality of the set of $n$-variable $s$-symmetric Boolean NCFs for $s=1,\dots,n$. In particular, we enumerate the strongly asymmetric Boolean NCFs.


title: Range Estimation of a Moving Target Using Ultrasound Differential Zadoff-Chu Codes

abstract: High accuracy range estimation is an essential tool required in many modern applications and technologies. However, continuous range estimation of a moving target is a challenging task, especially under Doppler effects. This paper presents a novel signal design, which we name differential Zadoff-Chu (DZC). Under Doppler effects, DZC sequences improve the performance of the maximum likelihood (ML)-based range estimation compared to its performance when using regular ZC sequences. Moreover, a reduced-complexity ranging algorithm is proposed utilizing DZC sequences and is shown to outperform the regular ZC ML-based range estimation. The proposed system is evaluated in a typical indoor environment, using low-cost ultrasound hardware. Under a low signal to noise ratio (-10 dB SNR), more than 90% of the range estimates are in less than 1.6 mm error, with a movement range from $0.2$ m to 2.2 m and a maximum velocity of 0.5 m/s. For the same movement range, the system provides range estimates with a root mean square error (RMSE) less than 0.76 mm in a high SNR scenario (10 dB), and an MSE less than 0.85 mm in a low SNR scenario (-10 dB). For a larger movement range from 1.8 m to 4.2 m with a maximum velocity of 1.91 m/s, the proposed system provides range estimates with RMSE less than 7.70 mm at 10 dB SNR.


title: Pruning of Convolutional Neural Networks Using Ising Energy Model

abstract: Pruning is one of the major methods to compress deep neural networks. In this paper, we propose an Ising energy model within an optimization framework for pruning convolutional kernels and hidden units. This model is designed to reduce redundancy between weight kernels and detect inactive kernels/hidden units. Our experiments using ResNets, AlexNet, and SqueezeNet on CIFAR-10 and CIFAR-100 datasets show that the proposed method on average can achieve a pruning rate of more than $50\%$ of the trainable parameters with approximately $<10\%$ and $<5\%$ drop of Top-1 and Top-5 classification accuracy, respectively.


title: Structural stochastic responses determination via a sample-based stochastic finite element method

abstract: This paper presents a new stochastic finite element method for computing structural stochastic responses. The method provides a new expansion of stochastic response and decouples the stochastic response into a combination of a series of deterministic responses with random variable coefficients. A dedicated iterative algorithm is proposed to determine the deterministic responses and corresponding random variable coefficients one by one. The algorithm computes the deterministic responses and corresponding random variable coefficients in their individual space and is insensitive to stochastic dimensions, thus it can be applied to high dimensional stochastic problems readily without extra difficulties. More importantly, the deterministic responses can be computed efficiently by use of existing Finite Element Method (FEM) solvers, thus the proposed method can be easy to embed into existing FEM structural analysis softwares. Three practical examples, including low-dimensional and high-dimensional stochastic problems, are given to demonstrate the accuracy and effectiveness of the proposed method.


title: Student sentiment Analysis Using Classification With Feature Extraction Techniques

abstract: Technical growths have empowered, numerous revolutions in the educational system by acquainting with technology into the classroom and by elevating the learning experience. Nowadays Web-based learning is getting much popularity. This paper describes the web-based learning and their effectiveness towards students. One of the prime factors in education or learning system is feedback; it is beneficial to learning if it must be used effectively. In this paper, we worked on how machine learning techniques like Logistic Regression (LR), Support Vector Machine (SVM), Naive Bayes (NB), Decision Tree (DT) can be applied over Web-based learning, emphasis given on sentiment present in the feedback students. We also work on two types of Feature Extraction Technique (FETs) namely Count Vector (CVr) or Bag of Words) (BoW) and Term Frequency and Inverse Document Frequency (TF-IDF) Vector. In the research study, it is our goal for our proposed LR, SVM, NB, and DT models to classify the presence of Student Feedback Dataset (SFB) with improved accuracy with cleaned dataset and feature extraction techniques. The SFB is one of the significant concerns among the student sentimental analysis.


title: Protein corona critically affects the bio-behaviors of SARS-CoV-2

abstract: The outbreak of the coronavirus disease 2019 (COVID-19) caused by severe acute respiratory syndrome coronavirus-2 (SARS-CoV-2) has become a worldwide public health crisis. When the SARS-CoV-2 enters the biological fluids in the human body, different types of biomolecules (in particular proteins) may adsorb on its surface and alter its infection ability. Although great efforts have recently been devoted to the interaction of the specific antibodies with the SARS-CoV-2, it still remains largely unknown how the other serum proteins affect the infection of the SARS-CoV-2. In this work, we systematically investigate the interaction of serum proteins with the SARS-CoV-2 RBD by the molecular docking and the all-atom molecular dynamics simulations. It is found that the non-specific immunoglobulin (Ig) indeed cannot effectively bind to the SARS-CoV-2 RBD while the human serum albumin (HSA) may have some potential of blocking its infection (to ACE2). More importantly, we find that the RBD can cause the significant structural change of the Apolipoprotein E (ApoE), by which SARS-CoV-2 may hijack the metabolic pathway of the ApoE to facilitate its cell entry. The present study enhances the understanding of the role of protein corona in the bio-behaviors of SARS-CoV-2, which may aid the more precise and personalized treatment for COVID-19 infection in the clinic.


title: Capacity Optimality of AMP in Coded Systems

abstract: This paper studies a large random matrix system (LRMS) model involving an arbitrary signal distribution and forward error control (FEC) coding. We establish an area property based on the approximate message passing (AMP) algorithm. Under the assumption that the state evolution for AMP is correct for the coded system, the achievable rate of AMP is analyzed. We prove that AMP achieves the constrained capacity of the LRMS with an arbitrary signal distribution provided that a matching condition is satisfied. We provide related numerical results of binary signaling using irregular low-density parity-check (LDPC) codes. We show that the optimized codes demonstrate significantly better performance over un-matched ones under AMP. For quadrature phase shift keying (QPSK) modulation, bit error rate (BER) performance within 1 dB from the constrained capacity limit is observed.


title: What should patients do if they miss a dose of medication? A theoretical approach

abstract: Medication adherence is a major problem for patients with chronic diseases that require long term pharmacotherapy. Many unanswered questions surround adherence, including how adherence rates translate into treatment efficacy and how missed doses of medication should be handled. To address these questions, we formulate and analyze a mathematical model of the drug concentration in a patient with imperfect adherence. We find exact formulas for drug concentration statistics, including the mean, the coefficient of variation, and the deviation from perfect adherence. We determine how adherence rates translate into drug concentrations, and how this depends on the drug half-life, the dosing interval, and how missed doses are handled. While clinical recommendations require extensive validation and should depend on drug and patient specifics, as a general principle our theory suggests that nonadherence is best mitigated by taking double doses following missed doses if the drug has a long half-life. This conclusion contradicts some existing recommendations that cite long drug half-lives as the reason to avoid a double dose after a missed dose. Furthermore, we show that a patient who takes double doses after missed doses can have at most only slightly more drug in their body than a perfectly adherent patient if the drug half-life is long. We also investigate other ways of handling missed doses, including taking an extra fractional dose following a missed dose. We discuss our results in the context of hypothyroid patients taking levothyroxine.


title: Stability of Charged Thin-Shell Gravastars with Quintessence

abstract: This paper develops a new solution of gravitational vacuum star in the background of charged Kiselev black holes as an exterior manifold. We explore physical features and stability of thin-shell gravastars with radial perturbation. The matter thin layer located at thin-shell greatly affects stable configuration of the developed structure. We assume three different choices of matter distribution such as barotropic, generalized Chaplygin gas and generalized phantomlike equation of state. The last two models depend on the shell radius, also known as variable equation of state. For barotropic model, the structure of thin-shell gravastar is mostly unstable while it shows stable configuration for such type of matter distribution with extraordinary quintessence parameter. The resulting gravastar structure indicates stable behavior for generalized Chaplygin gas but unstable for generalized phantomlike model. It is also found that proper length, entropy and energy within the shell show linear relation with thickness of the shell.


title: Information Extraction From Co-Occurring Similar Entities

abstract: Knowledge about entities and their interrelations is a crucial factor of success for tasks like question answering or text summarization. Publicly available knowledge graphs like Wikidata or DBpedia are, however, far from being complete. In this paper, we explore how information extracted from similar entities that co-occur in structures like tables or lists can help to increase the coverage of such knowledge graphs. In contrast to existing approaches, we do not focus on relationships within a listing (e.g., between two entities in a table row) but on the relationship between a listing's subject entities and the context of the listing. To that end, we propose a descriptive rule mining approach that uses distant supervision to derive rules for these relationships based on a listing's context. Extracted from a suitable data corpus, the rules can be used to extend a knowledge graph with novel entities and assertions. In our experiments we demonstrate that the approach is able to extract up to 3M novel entities and 30M additional assertions from listings in Wikipedia. We find that the extracted information is of high quality and thus suitable to extend Wikipedia-based knowledge graphs like DBpedia, YAGO, and CaLiGraph. For the case of DBpedia, this would result in an increase of covered entities by roughly 50%.


title: Epidemiological and public health requirements for COVID-19 contact tracing apps and their evaluation

abstract: Digital contact tracing is a public health intervention. It should be integrated with local health policy, provide rapid and accurate notifications to exposed individuals, and encourage high app uptake and adherence to quarantine. Real-time monitoring and evaluation of effectiveness of app-based contact tracing is key for improvement and public trust.


title: On sum sets of convex functions

abstract: In this paper we prove new bounds for sums of convex or concave functions. Specifically, we prove that for all $A,B \subseteq \mathbb R$ finite sets, and for all $f,g$ convex or concave functions, we have $$|A + B|^{38}|f(A) + g(B)|^{38} \gtrsim |A|^{49}|B|^{49}.$$ This result can be used to obtain bounds on a number of two-variable expanders of interest, as well as to the asymmetric sum-product problem. We also adjust our technique to also prove the three-variable expansion result \[ |AB+A|\gtrsim |A|^{\frac32 +\frac3{170}}\,. \] Our methods follow a series of recent developments in the sum-product literature, presenting a unified picture. Of particular interest is an adaptation of a regularisation technique of Xue, that enables us to find positive proportion subsets with certain desirable properties.


title: Searching for Alignment in Face Recognition

abstract: A standard pipeline of current face recognition frameworks consists of four individual steps: locating a face with a rough bounding box and several fiducial landmarks, aligning the face image using a pre-defined template, extracting representations and comparing. Among them, face detection, landmark detection and representation learning have long been studied and a lot of works have been proposed. As an essential step with a significant impact on recognition performance, the alignment step has attracted little attention. In this paper, we first explore and highlight the effects of different alignment templates on face recognition. Then, for the first time, we try to search for the optimal template automatically. We construct a well-defined searching space by decomposing the template searching into the crop size and vertical shift, and propose an efficient method Face Alignment Policy Search (FAPS). Besides, a well-designed benchmark is proposed to evaluate the searched policy. Experiments on our proposed benchmark validate the effectiveness of our method to improve face recognition performance.


title: Combination of window-sliding and prediction range method based on LSTM model for predicting cryptocurrency

abstract: The present study aims to establish the model of the cryptocurrency price trend based on financial theory using the LSTM model with multiple combinations between the window length and the predicting horizons, the random walk model is also applied with different parameter settings.


title: Adaptive Processor Frequency Adjustment for Mobile Edge Computing with Intermittent Energy Supply

abstract: With astonishing speed, bandwidth, and scale, Mobile Edge Computing (MEC) has played an increasingly important role in the next generation of connectivity and service delivery. Yet, along with the massive deployment of MEC servers, the ensuing energy issue is now on an increasingly urgent agenda. In the current context, the large scale deployment of renewable-energy-supplied MEC servers is perhaps the most promising solution for the incoming energy issue. Nonetheless, as a result of the intermittent nature of their power sources, these special design MEC server must be more cautious about their energy usage, in a bid to maintain their service sustainability as well as service standard. Targeting optimization on a single-server MEC scenario, we in this paper propose NAFA, an adaptive processor frequency adjustment solution, to enable an effective plan of the server's energy usage. By learning from the historical data revealing request arrival and energy harvest pattern, the deep reinforcement learning-based solution is capable of making intelligent schedules on the server's processor frequency, so as to strike a good balance between service sustainability and service quality. The superior performance of NAFA is substantiated by real-data-based experiments, wherein NAFA demonstrates up to 20% increase in average request acceptance ratio and up to 50% reduction in average request processing time.


title: Reference-based Texture transfer for Single Image Super-resolution of Magnetic Resonance images

abstract: Magnetic Resonance Imaging (MRI) is a valuable clinical diagnostic modality for spine pathologies with excellent characterization for infection, tumor, degenerations, fractures and herniations. However in surgery, image-guided spinal procedures continue to rely on CT and fluoroscopy, as MRI slice resolutions are typically insufficient. Building upon state-of-the-art single image super-resolution, we propose a reference-based, unpaired multi-contrast texture-transfer strategy for deep learning based in-plane and across-plane MRI super-resolution. We use the scattering transform to relate the texture features of image patches to unpaired reference image patches, and additionally a loss term for multi-contrast texture. We apply our scheme in different super-resolution architectures, observing improvement in PSNR and SSIM for 4x super-resolution in most of the cases.


title: Two Novel Performance Improvements for Evolving CNN Topologies

abstract: Convolutional Neural Networks (CNNs) are the state-of-the-art algorithms for the processing of images. However the configuration and training of these networks is a complex task requiring deep domain knowledge, experience and much trial and error. Using genetic algorithms, competitive CNN topologies for image recognition can be produced for any specific purpose, however in previous work this has come at high computational cost. In this work two novel approaches are presented to the utilisation of these algorithms, effective in reducing complexity and training time by nearly 20%. This is accomplished via regularisation directly on training time, and the use of partial training to enable early ranking of individual architectures. Both approaches are validated on the benchmark CIFAR10 data set, and maintain accuracy.


title: From sleep medicine to medicine during sleep: A clinical perspective

abstract: Sleep has a profound influence on the physiology of body systems and biological processes. Molecular studies have shown circadian-regulated shifts in protein expression patterns across human tissues, further emphasizing the unique functional, behavioral and pharmacokinetic landscape of sleep. Thus, many pathological processes are also expected to exhibit sleep-specific manifestations. Nevertheless, sleep is seldom utilized for the study, detection and treatment of non-sleep-specific pathologies. Modern advances in biosensor technologies have enabled remote, non-invasive recording of a growing number of physiologic parameters and biomarkers. Sleep is an ideal time frame for the collection of long and clean physiological time series data which can then be analyzed using data-driven algorithms such as deep learning. In this perspective paper, we aim to highlight the potential of sleep as an auspicious time for diagnosis, management and therapy of nonsleep-specific pathologies. We introduce key clinical studies in selected medical fields, which leveraged novel technologies and the advantageous period of sleep to diagnose, monitor and treat pathologies. We then discuss possible opportunities to further harness this new paradigm and modern technologies to explore human health and disease during sleep and to advance the development of novel clinical applications: From sleep medicine to medicine during sleep.


title: Iterates of Meromorphic Functions on Escaping Fatou Components

abstract: In this paper, we prove that the ratio of the modulus of the iterates of two points in an escaping Fatou component may be bounded even if the orbit of the component contains an infinite modulus annulus sequence and this case cannot happen when the maximal modulus of the meromorphic function is large enough. Therefore, we extend the related results for entire functions to ones for meromorphic functions with infinitely many poles. And we investigate the fast escaping Fatou components of meromorphic functions defined in [44] in terms of the Nevanlinna characteristic instead of the maximal modulus in [12] and show that the multiply-connected wandering domain is a part of the fast escaping set under a growth condition of the maximal modulus. Finally we give examples of wandering domains escaping at arbitrary fast rate and slow rate.


title: On the Robustness of Multi-View Rotation Averaging

abstract: Rotation averaging is a synchronization process on single or multiple rotation groups, and is a fundamental problem in many computer vision tasks such as multi-view structure from motion (SfM). Specifically, rotation averaging involves the recovery of an underlying pose-graph consistency from pairwise relative camera poses. Specifically, given pairwise motion in rotation groups, especially 3-dimensional rotation groups (\eg, $\mathbb{SO}(3)$), one is interested in recovering the original signal of multiple rotations with respect to a fixed frame. In this paper, we propose a robust framework to solve multiple rotation averaging problem, especially in the cases that a significant amount of noisy measurements are present. By introducing the $\epsilon$-cycle consistency term into the solver, we enable the robust initialization scheme to be implemented into the IRLS solver. Instead of conducting the costly edge removal, we implicitly constrain the negative effect of erroneous measurements by weight reducing, such that IRLS failures caused by poor initialization can be effectively avoided. Experiment results demonstrate that our proposed approach outperforms state of the arts on various benchmarks.


title: Logics of involutive Stone algebras

abstract: An involutive Stone algebra (IS-algebra) is a structure that is simultaneously a De Morgan algebra and a Stone algebra (i.e. a pseudo-complemented distributive lattice satisfying the well-known Stone identity ~xv~~x=1). IS-algebras have been studied algebraically and topologically since the 1980's, but a corresponding logic (here denoted IS$\leq$) has been introduced only very recently. The logic IS$\leq$ is the departing point for the present study, which we then extend to a wide family of previously unknown logics defined from IS-algebras. We show that IS$\leq$ is a conservative expansion of the Belnap-Dunn four-valued logic (i.e. the order-preserving logic of the variety of De Morgan algebras), and we give a finite Hilbert-style axiomatization for it. More generally, we introduce a method for expanding conservatively every super-Belnap logic so as to obtain an extension of IS$\leq$. We show that every logic thus defined can be axiomatized by adding a fixed finite set of rule schemata to the corresponding super-Belnap base logic. We also consider a few sample extensions of IS$\leq$ that cannot be obtained in the above-described way, but can nevertheless be axiomatized finitely by other methods. Most of our axiomatization results are obtained in two steps: through a multiple-conclusion calculus first, which we then reduce to a traditional one. The multiple-conclusion axiomatizations introduced in this process, being analytic, are of independent interest from a proof-theoretic standpoint. Our results entail that the lattice of super-Belnap logics (which is known to be uncountable) embeds into the lattice of extensions of IS$\leq$. Indeed, as in the super-Belnap case, we establish that the finitary extensions of IS$\leq$ are already uncountably many.


title: Civil Rephrases Of Toxic Texts With Self-Supervised Transformers

abstract: Platforms that support online commentary, from social networks to news sites, are increasingly leveraging machine learning to assist their moderation efforts. But this process does not typically provide feedback to the author that would help them contribute according to the community guidelines. This is prohibitively time-consuming for human moderators to do, and computational approaches are still nascent. This work focuses on models that can help suggest rephrasings of toxic comments in a more civil manner. Inspired by recent progress in unpaired sequence-to-sequence tasks, a self-supervised learning model is introduced, called CAE-T5. CAE-T5 employs a pre-trained text-to-text transformer, which is fine tuned with a denoising and cyclic auto-encoder loss. Experimenting with the largest toxicity detection dataset to date (Civil Comments) our model generates sentences that are more fluent and better at preserving the initial content compared to earlier text style transfer systems which we compare with using several scoring systems and human evaluation.


title: Joint Design of Transmit Waveforms and Receive Filters for MIMO Radar via Manifold Optimization

abstract: The problem of joint design of transmit waveforms and receive filters is desirable in many application scenarios of multiple-input multiple-output (MIMO) radar systems. In this paper, the joint design problem is investigated under the signal-to-interference-plus-noise ratio (SINR) performance metric, in which case the problem is formulated to maximize the SINR at the receiver side subject to some practical transmit waveform constraints. A numerical algorithm is proposed for problem resolution based on the manifold optimization method, which has been shown to be powerful and flexible to address nonconvex constrained optimization problems in many engineering applications. The proposed algorithm is able to efficiently solve the SINR maximization problem with different waveform constraints under a unified framework. Numerical experiments show that the proposed algorithm outperforms the existing benchmarks in terms of computation efficiency and achieves comparable SINR performance.


title: Radiative Shocks around Super-Eddington Accreting Black Holes

abstract: We examine radiative standing shocks in advective accretion flows around stellar-mass black holes by 2D radiation hydrodynamic simulations, focusing on the super-Eddington accreting flow. Under a set of input flow parameters responsible for the standing shock, the shock location on the equator decreases toward the event horizon with an increasing accretion rate. The optically thin and hot gas in the narrow funnel region along the rotational axis changes gradually into a dense and optically thick state with the increasingly dense gas transported from the base of the radiative shock near the equator. As a result, the luminosity becomes as high as ~ $10^{40}$ erg $s^{-1}$, and the radiation shows a strongly anisotropic distribution around the rotational axis and then very low edge-on luminosity as ~ $10^{36}$ erg $s^{-1}$. The mass outflow rate from the outer boundary is high as ~ $10^{-5}$ and $10^{-4}$ $M_{\odot} yr^{-1}$ but most of the outflow is originated through the radial outer boundary and may be observed over a wide wind region. The models show approximately black body spectra with a temperature of $5 \times 10^{6} - 3 \times 10^{7}$ K at the vertical outer boundary surface. The radiative shock models with the super-Eddington luminosities show a possible model for the superaccretor SS 433 and Ultraluminous X-ray sources with stellar-mass black holes.


title: Sex as information processing: optimality and evolution

abstract: The long-term growth rate of populations in varying environments quantifies the evolutionary value of processing the information that biological individuals inherit from their ancestors and acquire from their environment. Previous models were limited to asexual reproduction with inherited information coming from a single parent with no recombination. We present a general extension to sexual reproduction and an analytical solution for a particular but important case, the infinitesimal model of quantitative genetics which assumes traits to be normally distributed. We study with this model the conditions under which sexual reproduction is advantageous and can evolve in the context of autocorrelated or directionally varying environments, mutational biases, spatial heterogeneities and phenotypic plasticity. Our results generalize and unify previous analyses. We also examine the proposal made by Geodakyan that the presence of two phenotypically distinct sexes permits an optimal adaptation to varying environments. We verify that conditions exists where sexual dimorphism is adaptive but find that its evolutionary value does not generally compensate for the two-fold cost of males.


title: The human-AI relationship in decision-making: AI explanation to support people on justifying their decisions

abstract: The explanation dimension of Artificial Intelligence (AI) based system has been a hot topic for the past years. Different communities have raised concerns about the increasing presence of AI in people's everyday tasks and how it can affect people's lives. There is a lot of research addressing the interpretability and transparency concepts of explainable AI (XAI), which are usually related to algorithms and Machine Learning (ML) models. But in decision-making scenarios, people need more awareness of how AI works and its outcomes to build a relationship with that system. Decision-makers usually need to justify their decision to others in different domains. If that decision is somehow based on or influenced by an AI-system outcome, the explanation about how the AI reached that result is key to building trust between AI and humans in decision-making scenarios. In this position paper, we discuss the role of XAI in decision-making scenarios, our vision of Decision-Making with AI-system in the loop, and explore one case from the literature about how XAI can impact people justifying their decisions, considering the importance of building the human-AI relationship for those scenarios.


title: Event-Chain Monte-Carlo Simulations of Dense Soft Matter Systems

abstract: We discuss the rejection-free event-chain Monte-Carlo algorithm and several applications to dense soft matter systems. Event-chain Monte-Carlo is an alternative to standard local Markov-chain Monte-Carlo schemes, which are based on detailed balance, for example the well-known Metropolis-Hastings algorithm. Event-chain Monte-Carlo is a Markov chain Monte-Carlo scheme that uses so-called lifting moves to achieve global balance without rejections (maximal global balance). It has been originally developed for hard sphere systems but is applicable to many soft matter systems and particularly suited for dense soft matter systems with hard core interactions, where it gives significant performance gains compared to a local Monte-Carlo simulation. The algorithm can be generalized to deal with soft interactions and with three-particle interactions, as they naturally arise, for example, in bead-spring models of polymers with bending rigidity. We present results for polymer melts, where the event-chain algorithm can be used for an efficient initialization. We then move on to large systems of semiflexible polymers that form bundles by attractive interactions and can serve as model systems for actin filaments in the cytoskeleton. The event chain algorithm shows that these systems form networks of bundles which coarsen similar to a foam. Finally, we present results on liquid crystal systems, where the event-chain algorithm can equilibrate large systems containing additional colloidal disks very efficiently, which reveals the parallel chaining of disks.


title: Designing Personalized Garments with Body Movement

abstract: The standardized sizes used in the garment industry do not cover the range of individual differences in body shape for most people, leading to ill-fitting clothes, high return rates and overproduction. Recent research efforts in both industry and academia therefore focus on virtual try-on and on-demand fabrication of individually fitting garments. We propose an interactive design tool for creating custom-fit garments based on 3D body scans of the intended wearer. Our method explicitly incorporates transitions between various body poses to ensure a better fit and freedom of movement. The core of our method focuses on tools to create a 3D garment shape directly on an avatar without an underlying sewing pattern, and on the adjustment of that garment's rest shape while interpolating and moving through the different input poses. We alternate between cloth simulation and rest shape adjustment based on stretch to achieve the final shape of the garment. At any step in the real-time process, we allow for interactive changes to the garment. Once the garment shape is finalized for production, established techniques can be used to parameterize it into a 2D sewing pattern or transform it into a knitting pattern.


title: A note on Woodin's HOD dichotomy

abstract: A version of Woodin's HOD dichotomy is proved assuming the existence of just one strongly compact cardinal.


title: A possible far-ultraviolet flux-dependent core mass function in NGC 6357

abstract: To derive the properties of the dense cores in the galactic star-forming complex NGC6357 and to investigate the effects of an intense far-UV radiation field on their properties, we mapped the region at 450 and 850 micron, and in the CO(3-2) line with the JCMT. We also made use of the Herschel Hi-GAL data at 70 and 160 micron. We used Gaussclumps to retrieve 686 compact cores embedded in the diffuse sub-mm emission and constructed their SED from 70 to 850 micron, from which we derived mass and temperature. The estimated mass completeness limit is ~5Mo. We divided the observed area in an 'active' region, exposed to the far-UV radiation from the more massive members of three star clusters (411 cores), and a 'quiescent' region, less affected by far-UV radiation (275 cores). We also attempted to select a sample of pre-stellar cores based on cross-correlation with 70 micron emission and red WISE point sources. Most of the cores above the mass completeness limit are likely to be gravitationally bound. The fraction of gas in dense cores is very low, 1.4%. We found a mass-size relation log(M/Mo) ~ (2.0-2.4) x log (D/arcsec), depending on the precise selection of the sample. The temperature distributions in the two sub-regions are clearly different, peaking at ~25K in the quiescent region and at ~35K in the active region. The core mass functions are different as well, at a 2sigma level, consistent with a Salpeter IMF in the quiescent region and flatter than that in the active region. The dense cores lying close to the HII regions are consistent with pre-existing cores being gradually engulfed by a PDR and photoevaporating. We attribute the different global properties of dense cores in the two sub-regions to the influence of the far-UV radiation field.


title: Averaging Generalized Scalar Field Cosmologies I: Locally Rotationally Symmetric Bianchi III and open Friedmann-Lema\^itre-Robertson-Walker models

abstract: Scalar field cosmologies with a generalized harmonic potential and a matter fluid with a barotropic Equation of State (EoS) with barotropic index $\gamma$ for Locally Rotationally Symmetric (LRS) Bianchi III metric and open Friedmann-Lema\^itre-Robertson-Walker (FLRW) metric are investigated. Methods from the theory of averaging of nonlinear dynamical systems are used to prove that time-dependent systems and their corresponding time-averaged versions have the same late-time dynamics. Therefore, simple time-averaged systems determine the future asymptotic behavior. Depending on values of barotropic index $\gamma$ late-time attractors of physical interests for LRS Bianchi III metric are Bianchi III flat spacetime, matter dominated FLRW universe (mimicking de Sitter, quintessence or zero acceleration solutions) and matter-curvature scaling solution. For open FLRW metric late-time attractors are a matter dominated FLRW universe and Milne solution. With this approach, oscillations entering nonlinear system through Klein-Gordon (KG) equation can be controlled and smoothed out as the Hubble factor $H$ - acting as a time-dependent perturbation parameter - tends monotonically to zero. Numerical simulations are presented as evidence of such behaviour.


title: Belief Space Planning for Mobile Robots with Range Sensors using iLQG

abstract: In this work, we use iterative Linear Quadratic Gaussian (iLQG) to plan motions for a mobile robot with range sensors in belief space. We address two limitations that prevent applications of iLQG to the considered robotic system. First, iLQG assumes a differentiable measurement model, which is not true for range sensors. We show that iLQG only requires the differentiability of the belief dynamics. We propose to use a derivative-free filter to approximate the belief dynamics, which does not require explicit differentiability of the measurement model. Second, informative measurements from a range sensor are sparse. Uninformative measurements produce trivial gradient information, which prevent iLQG optimization from converging to a local minimum. We densify the informative measurements by introducing additional parameters in the measurement model. The parameters are iteratively updated in the optimization to ensure convergence to the true measurement model of a range sensor. We show the effectiveness of the proposed modifications through an ablation study. We also apply the proposed method in simulations of large scale real world environments, which show superior performance comparing to the state-of-the-art methods that either assume the separation principle or maximum likelihood measurements.


title: Singular Finsler double phase problems with nonlinear boundary condition

abstract: In this paper we study a singular Finsler double phase problem with a nonlinear boundary condition and perturbations that have a type of critical growth, even on the boundary. Based on variational methods in combination with truncation techniques we prove the existence of at least one weak solution for this problem under very general assumptions. Even in the case when the Finsler manifold reduces to the Euclidean norm, our work is the first one dealing with a singular double phase problem and nonlinear boundary condition.


title: Electromagnetic neutrino properties: new constraints and new effects

abstract: The electromagnetic properties of neutrinos have attracted considerable attention from researchers for many decades (see [1] for a review). However, until recently, there was no indication in favour of nonzero electromagnetic properties of neutrinos either from laboratory experiments with ground-based neutrino sources or from observations of astrophysical neutrino fluxes. The situation changed after the XENON collaboration reported [2] results of the search for new physics with low-energy electronic recoil data recorded with the XENON1T detector. The results show an excess of events over the known backgrounds in the recoil energy which, as one of the possible explanations, admit the presence of a sizable neutrino magnetic moment, the value of which is of the order of the existing laboratory limitations. In these short notes we give a brief introduction to neutrino electromagnetic properties and focus on the most important constraints on neutrino magnetic moments, charge radii and millicharges from the terrestrial experiments and astrophysical considerations. The promising new possibilities for constraining neutrino electromagnetic properties in future experiments are also discussed.


title: A Pursuit-Evasion Differential Game with Strategic Information Acquisition

abstract: This paper studies a two-person linear-quadratic-Gaussian pursuit-evasion differential game with costly but controlled information. One player can decide when to observe the other player's state. However, one observation of another player's state comes with two costs: the direct cost of observing and the implicit cost of exposing his state. We call games of this type a Pursuit-Evasion-Exposure-Concealment (PEEC) game. The PEEC game constitutes two types of strategies: The control strategies and the observation strategies. We fully characterize the Nash control strategies of the PEEC game using techniques such as completing squares and the calculus of variations. We show that the derivation of the Nash observation strategies and the Nash control strategies can be decoupled. We develop a set of necessary conditions that facilitate the numerical computation of the Nash observation strategies. We show, in theory, that players with less maneuverability prefer concealment to exposure. We also show that when the game's horizon goes to infinity, the Nash observation strategy is to observe periodically, and the expected distance between the pursuer and the evader goes to zero with a bounded second moment. We conducted a series of numerical experiments to study the proposed PEEC game. We illustrate the numerical results using both figures and animation. Numerical results show that the pursuer can maintain high-grade performance even when the number of observations is limited. We also show that an evader with low maneuverability can still escape if the evader increases his stealthiness.


title: The illicit trade of COVID-19 vaccines on the dark web

abstract: Early analyses revealed that dark web marketplaces (DWMs) started offering COVID-19 related products (e.g., masks and COVID-19 tests) as soon as the COVID-19 pandemic started, when these goods were in shortage in the traditional economy. Here, we broaden the scope and depth of previous investigations by analysing 194 DWMs until July 2021, including the crucial period in which vaccines became available, and by considering the wider impact of the pandemic on DWMs. First, we focus on vaccines. We find 250 listings offering approved vaccines, like Pfizer/BioNTech and AstraZeneca, as well as vendors offering fabricated proofs of vaccination and COVID-19 passports. Second, we consider COVID-19 related products. We reveal that, as the regular economy has become able to satisfy the demand of these goods, DWMs have decreased their offer. Third, we analyse the profile of vendors of COVID-19 related products and vaccines. We find that most of them are specialized in a single type of listings and are willing to ship worldwide. Finally, we consider a broader set of listings mentioning COVID-19 as proxy for the general impact of the pandemic on these DWMs . Among 10,330 such listings, we show that recreational drugs are the most affected among traditional DWMs product, with COVID-19 mentions steadily increasing since March 2020. We anticipate that our effort is of interest to researchers, practitioners, and law enforcement agencies focused on the study and safeguard of public health.


title: Diameter dependence of the temperature dynamics of hot carriers in photoexcited GaAsP nanowires

abstract: Nanowires (NWs) with their quasi-one-dimensionality often present different structural and opto-electronic properties than their thin-film counterparts. The thinner they are the larger these differences are, in particular in the carrier-phonon scattering and thermal conductivity. In this work, we present femtosecond transient absorbance measurements on GaAs0.8P0.2 NWs of two different diameters, 36 and 51 nm. The results show that thinner NWs sustain the hot-carriers at a higher temperature for longer times than thicker NWs. We explain the observation suggesting that in thinner NWs, the build-up of a hot-phonon bottleneck is easier than in thicker NWs because of the increased phonon scattering at the NW sidewalls which facilitates the build-up of a large phonon density. The large number of optical phonons emitted during the carrier relaxation processes generate a non-equilibrium population of acoustic phonons that propagates less efficiently in thin NWs. This makes the possible acoustic-to-optical phonon up-conversion process easier, which prolongs the LO phonon lifetime resulting in the slowdown of the carrier cooling. The important observation that the carrier temperature in thin NWs is higher than in thick NWs already at the beginning of the hot carrier regime suggests that the phonon-mediated scattering processes in the non-thermal regime play a major role at least for the carrier densities investigated here (8x1018-4x1019 cm-3). Our results also suggest that the boundary scattering of phonons at crystal defects is negligible compared to the surface scattering at the NW sidewalls.


title: Robust estimation of tree structured models

abstract: Consider the problem of learning undirected graphical models on trees from corrupted data. Recently Katiyar et al. showed that it is possible to recover trees from noisy binary data up to a small equivalence class of possible trees. Their other paper on the Gaussian case follows a similar pattern. By framing this as a special phylogenetic recovery problem we largely generalize these two settings. Using the framework of linear latent tree models we discuss tree identifiability for binary data under a continuous corruption model. For the Ising and the Gaussian tree model we also provide a characterisation of when the Chow-Liu algorithm consistently learns the underlying tree from the noisy data.


title: Elementary equivalence versus isomorphism in semiring semantics

abstract: We study the first-order axiomatisability of finite semiring interpretations or, equivalently, the question whether elementary equivalence and isomorphism coincide for valuations of atomic facts over a finite universe into a commutative semiring. Contrary to the classical case of Boolean semantics, where every finite structure can obviously be axiomatised up to isomorphism by a first-order sentence, the situation in semiring semantics is rather different, and strongly depends on the underlying semiring. We prove that for a number of important semirings, including min-max semirings, and the semirings of positive Boolean expressions, there exist finite semiring interpretations that are elementarily equivalent but not isomorphic. The same is true for the polynomial semirings that are universal for the classes of absorptive, idempotent, and fully idempotent semirings, respectively. On the other side, we prove that for other, practically relevant, semirings such as the Viterby semiring, the tropical semiring, the natural semiring and the universal polynomial semiring N[X], all finite semiring interpretations are first-order axiomatisable (and thus elementary equivalence implies isomorphism), although some of the axiomatisations that we exhibit use an infinite set of axioms.


title: Multi-turn Dialogue Reading Comprehension with Pivot Turns and Knowledge

abstract: Multi-turn dialogue reading comprehension aims to teach machines to read dialogue contexts and solve tasks such as response selection and answering questions. The major challenges involve noisy history contexts and especial prerequisites of commonsense knowledge that is unseen in the given material. Existing works mainly focus on context and response matching approaches. This work thus makes the first attempt to tackle the above two challenges by extracting substantially important turns as pivot utterances and utilizing external knowledge to enhance the representation of context. We propose a pivot-oriented deep selection model (PoDS) on top of the Transformer-based language models for dialogue comprehension. In detail, our model first picks out the pivot utterances from the conversation history according to the semantic matching with the candidate response or question, if any. Besides, knowledge items related to the dialogue context are extracted from a knowledge graph as external knowledge. Then, the pivot utterances and the external knowledge are combined with a well-designed mechanism for refining predictions. Experimental results on four dialogue comprehension benchmark tasks show that our proposed model achieves great improvements on baselines. A series of empirical comparisons are conducted to show how our selection strategies and the extra knowledge injection influence the results.


title: Adversarial Robustness: What fools you makes you stronger

abstract: We prove an exponential separation for the sample complexity between the standard PAC-learning model and a version of the Equivalence-Query-learning model. We then show that this separation has interesting implications for adversarial robustness. We explore a vision of designing an adaptive defense that in the presence of an attacker computes a model that is provably robust. In particular, we show how to realize this vision in a simplified setting. In order to do so, we introduce a notion of a strong adversary: he is not limited by the type of perturbations he can apply but when presented with a classifier can repetitively generate different adversarial examples. We explain why this notion is interesting to study and use it to prove the following. There exists an efficient adversarial-learning-like scheme such that for every strong adversary $\mathbf{A}$ it outputs a classifier that (a) cannot be strongly attacked by $\mathbf{A}$, or (b) has error at most $\epsilon$. In both cases our scheme uses exponentially (in $\epsilon$) fewer samples than what the PAC bound requires.


title: Reduced Microwave Brightness Temperature in a Sunspot Atmosphere due to Open Magnetic Fields

abstract: Motivated by dark coronal lanes in SOHO / EIT 284 {\AA} EUV observations we construct and optimize an atmosphere model of the AR 8535 sunspot by adding a cool and dense component in the volume of plasma along open field lines determined using the Potential Field Source Surface (PFSS) extrapolation. Our model qualitatively reproduces the observed reduced microwave brightness temperature in the northern part of the sunspot in the VLA observations from 13 May 1999 and provides a physical explanation for the coronal dark lanes. We propose application of this method to other sunspots with such observed dark regions in EUV or soft X-rays and with concurrent microwave observations to determine the significance of open field regions. The connection between open fields and the resulting plasma temperature and density change is of relevance for slow solar wind source investigations.


title: No Echo in the Chambers of Political Interactions on Reddit

abstract: Echo chambers in online social networks, whereby users' beliefs are reinforced by interactions with like-minded peers and insulation from others' points of view, have been decried as a cause of political polarization. Here, we investigate their role in the debate around the 2016 US elections on Reddit, a fundamental platform for the success of Donald Trump. We identify Trump vs Clinton supporters and reconstruct their political interaction network. We observe a preference for cross-cutting political interactions between the two communities rather than within-group interactions, thus contradicting the echo chamber narrative. Furthermore, these interactions are asymmetrical: Clinton supporters are particularly eager to answer comments by Trump supporters. Beside asymmetric heterophily, users show assortative behavior for activity, and disassortative, asymmetric behavior for popularity. Our findings are tested against a null model of random interactions, by using two different approaches: a network rewiring which preserves the activity of nodes, and a logit regression which takes into account possible confounding factors. Finally, we explore possible socio-demographic implications. Users show a tendency for geographical homophily and a small positive correlation between cross-interactions and voter abstention. Our findings shed light on public opinion formation on social media, calling for a better understanding of the social dynamics at play in this context.


title: Rational points on cubic surfaces and AG codes from the Norm-Trace curve

abstract: In this paper we give a complete characterization of the intersections between the Norm-Trace curve over $\mathbb{F}_{q^3}$ and the curves of the form $y=ax^3+bx^2+cx+d$, generalizing a previous result by Bonini and Sala, providing more detailed information about the weight spectrum of one-point AG codes arising from such curve. We also derive, with explicit computations, some general bounds for the number of rational points on a cubic surface defined over $\mathbb{F}_{q}$.


title: Dynamics of transcendental H\'enon maps III: Infinite entropy

abstract: Very little is currently known about the dynamics of non-polynomial entire maps in several complex variables. The family of transcendental H\'enon maps offers the potential of combining ideas from transcendental dynamics in one variable, and the dynamics of polynomial H\'enon maps in two. Here we show that these maps all have infinite topological and measure theoretic entropy. The proof also implies the existence of infinitely many periodic orbits of any order greater than two.


title: On the distribution of lcm of k-tuples and related problems

abstract: We study the distribution of the least common multiple of positive integers in N\cap [1, x] and related problems. We refine some results of Hilberdink and T\'{o}th (2016). We also give a partial result toward a conjecture of Hilberdink, Luca, and T\'{o}th (2020).


title: Exact \textit{pp}-waves, (A)dS waves and Kundt spaces in the Abelian-Higgs model

abstract: We find new exact solutions of the Abelian-Higgs model coupled to General Relativity, characterized by a non-vanishing superconducting current. The solutions correspond to \textit{pp}-waves, AdS waves, and Kundt spaces, for which both the Maxwell field and the gradient of the phase of the scalar are aligned with the null direction defining these spaces. In the Kundt family, the geometry of the two-dimensional surfaces orthogonal to the superconducting current is determined by the solutions of the two-dimensional Liouville equation, and in consequence, these surfaces are of constant curvature, as it occurs in a vacuum. The solution to the Liouville equation also acts as a potential for the Maxwell field, which we integrate into a closed-form. Using these results, we show that the combined effects of the gravitational and scalar interactions can confine the electromagnetic field within a bounded region in the surfaces transverse to the current.


title: Evaluation of New Submillimeter VLBI Sites for the Event Horizon Telescope

abstract: The Event Horizon Telescope (EHT) is a very long baseline interferometer built to image supermassive black holes on event-horizon scales. In this paper, we investigate candidate sites for an expanded EHT array with improved imaging capabilities. We use historical meteorology and radiative transfer analysis to evaluate site performance. Most of the existing sites in the EHT array have median zenith opacity less than 0.2 at 230 GHz during the March/April observing season. Seven of the existing EHT sites have 345 GHz opacity less than 0.5 during observing months. Out of more than forty candidate new locations analyzed, approximately half have 230 GHz opacity comparable to the existing EHT sites, and at least seventeen of the candidate sites would be comparably good for 345 GHz observing. A group of new sites with favorable transmittance and geographic placement leads to greatly enhanced imaging and science on horizon scales.


title: Self-dual models in $D=2+1$ from dimensional reduction

abstract: Here we perform a Kaluza-Klein dimensional reduction of Vasiliev's first-order description of massless spin-s particles from $D=3+1$ to $D=2+1$ and derive first-order self-dual models describing particles with helicities $\pm s$ for the cases $s=1,2,3$. In the first two cases we recover known (parity singlets) self-dual models. In the spin-3 case we derive a new first order self-dual model with a local Weyl symmetry which lifts the traceless restriction on the rank-3 tensor. A gauge fixed version of this model corresponds to a known spin-3 self-dual model. We conjecture that our procedure can be generalized to arbitrary integer spins.


title: Systematic effects on the diversity of dwarf galaxies rotation curves

abstract: Cosmological simulations of structure formation are invaluable to study the evolution of the Universe and the development of galaxies in it successfully reproducing many observations in the context of the cosmological paradigm $\Lambda$CDM. However, there are remarkable discrepancies with observations that are a matter of debate. One of the most recently reported is the diversity of shapes in the rotation curves of dwarf galaxies in the local Universe which is in contrast to the apparent homogeneity of rotation curves in cosmological hydrodynamic simulations. Previous studies on similar problems have shown that sometimes can be alleviated by accounting for the impact of observational effects in the comparison. For this reason, in this work we present a set of controlled experiments to measure the impact that some systematic effects, associated with modeling the observation process in a realistic way, have on the diversity of synthetic rotation curves. Our results demonstrate that factors such as spectral power, spatial resolution and inclination angle, can naturally induce noticeable fluctuations on the shape of the rotation curves, reproducing up to $47\%$ of the diversity reported in the observations. This is remarkable, especially considering that we limited the sample to highly-symmetric disks simulated in isolation. This shows that a more realistic modeling of synthetic rotation curves may alleviate the reported tension between simulations and observations, without posing a challenge to the standard cosmological model of cold dark matter.


title: On the Properties of Kullback-Leibler Divergence Between Multivariate Gaussian Distributions

abstract: Kullback-Leibler (KL) divergence is one of the most important divergence measures between probability distributions. In this paper, we prove several properties of KL divergence between multivariate Gaussian distributions. First, for any two $n$-dimensional Gaussian distributions $\mathcal{N}_1$ and $\mathcal{N}_2$, we give the supremum of $KL(\mathcal{N}_1||\mathcal{N}_2)$ when $KL(\mathcal{N}_2||\mathcal{N}_1)\leq \varepsilon\ (\varepsilon>0)$. For small $\varepsilon$, we show that the supremum is $\varepsilon + 2\varepsilon^{1.5} + O(\varepsilon^2)$. This quantifies the approximate symmetry of small KL divergence between Gaussians. We also find the infimum of $KL(\mathcal{N}_1||\mathcal{N}_2)$ when $KL(\mathcal{N}_2||\mathcal{N}_1)\geq M\ (M>0)$. We give the conditions when the supremum and infimum can be attained. Second, for any three $n$-dimensional Gaussians $\mathcal{N}_1$, $\mathcal{N}_2$, and $\mathcal{N}_3$, we find an upper bound of $KL(\mathcal{N}_1||\mathcal{N}_3)$ if $KL(\mathcal{N}_1||\mathcal{N}_2)\leq \varepsilon_1$ and $KL(\mathcal{N}_2||\mathcal{N}_3)\leq \varepsilon_2$ for $\varepsilon_1,\varepsilon_2\ge 0$. For small $\varepsilon_1$ and $\varepsilon_2$, we show the upper bound is $3\varepsilon_1+3\varepsilon_2+2\sqrt{\varepsilon_1\varepsilon_2}+o(\varepsilon_1)+o(\varepsilon_2)$. This reveals that KL divergence between Gaussians follows a relaxed triangle inequality. Importantly, all the bounds in the theorems presented in this paper are independent of the dimension $n$. Finally, We discuss the applications of our theorems in explaining counterintuitive phenomenon of flow-based model, deriving deep anomaly detection algorithm, and extending one-step robustness guarantee to multiple steps in safe reinforcement learning.


title: Towards More Fine-grained and Reliable NLP Performance Prediction

abstract: Performance prediction, the task of estimating a system's performance without performing experiments, allows us to reduce the experimental burden caused by the combinatorial explosion of different datasets, languages, tasks, and models. In this paper, we make two contributions to improving performance prediction for NLP tasks. First, we examine performance predictors not only for holistic measures of accuracy like F1 or BLEU but also fine-grained performance measures such as accuracy over individual classes of examples. Second, we propose methods to understand the reliability of a performance prediction model from two angles: confidence intervals and calibration. We perform an analysis of four types of NLP tasks, and both demonstrate the feasibility of fine-grained performance prediction and the necessity to perform reliability analysis for performance prediction methods in the future. We make our code publicly available: \url{https://github.com/neulab/Reliable-NLPPP}


title: Bottom-induced contributions to Higgs plus jet at next-to-next-to-leading order

abstract: We present a next-to-next-to-leading order (NNLO) QCD calculation of the bottom-induced contributions to the production of a Higgs boson plus a jet, i.e. the process $p p \rightarrow H +j$ to $\mathcal{O}(y_b^2 \alpha_s^3)$. We work in the five-flavor scheme (5FS) in which the bottom quark mass is retained only in the coupling to the Higgs boson. Our calculation uses $N$-jettiness slicing to regulate infrared divergences, allowing for fully-differential predictions for collider observables. After extensively validating the methodology, we present results for the 13 TeV LHC. Our NNLO predictions show a marked improvement in the overall renormalization and factorization scale dependence, the latter of which proves to be particularly troublesome for 5FS calculations at lower orders. In addition, using the same methodology we present a NNLO computation of $b\overline{b} \rightarrow H$. Our results are implemented into MCFM.


title: Observational Signature and Additional Photon Rings of Asymmetric Thin-shell Wormhole

abstract: Recently, a distinct shadow mechanism was proposed by Wang et al. from the asymmetric thin-shell wormhole (ATW) in [Phys. Lett. B 811 (2020) 135930]. On the other hand, Gralla et al's work [Phys. Rev. D 100 (2019) 2, 024018] represented a nice description of photon rings in the presence of an accretion disk around a black hole. In this paper, we are inspired to thoroughly investigate the observational appearance of an accretion disk around the ATW. Although the spacetime outside an ATW with a throat could be identical to that containing a black hole with its event horizon, we show evident additional photon rings from the ATW spacetime. Moreover, a potential lensing band between two highly demagnified photon rings is found. Our analysis provides an optically observational signature to distinguish ATWs from black holes.


title: Suppression of effective spin-orbit coupling by thermal fluctuations in spin-orbit coupled antiferromagnets

abstract: We apply the finite-temperature variational cluster approach to a strongly correlated and spin-orbit coupled model for four electrons (i.e. two holes) in the $t_{2g}$ subshell. We focus on parameters suitable for antiferromagnetic Mott insulators, in particular Ca$_2$RuO$_4$, and identify a crossover from the low-temperature regime, where spin-orbit coupling is essential, to the high-temperature regime where it leaves few signatures. The crossover is seen in one-particle spectra, where $xz$ and $yz$ spectra are almost one dimensional (as expected for weak spin-orbit coupling) at high temperature. At lower temperature, where spin-orbit coupling mixes all three orbitals, they become more two dimensional. However, stronger effects are seen in two-particle observables like the weight in states with definite onsite angular momentum. We thus identify the enigmatic intermediate-temperature 'orbital-order phase transition', which has been reported in various X-ray diffraction and absorption experiments at $T\approx 260\;K$, as the signature of the onset of spin-orbital correlations.


title: Safe-visor Architecture for Sandboxing (AI-based) Unverified Controllers in Stochastic Cyber-Physical Systems

abstract: High performance but unverified controllers, e.g., artificial intelligence-based (a.k.a. AI-based) controllers, are widely employed in cyber-physical systems (CPSs) to accomplish complex control missions. However, guaranteeing the safety and reliability of CPSs with this kind of controllers is currently very challenging, which is of vital importance in many real-life safety-critical applications. To cope with this difficulty, we propose in this work a Safe-visor architecture for sandboxing unverified controllers in CPSs operating in noisy environments (a.k.a. stochastic CPSs). The proposed architecture contains a history-based supervisor, which checks inputs from the unverified controller and makes a compromise between functionality and safety of the system, and a safety advisor that provides fallback when the unverified controller endangers the safety of the system. Both the history-based supervisor and the safety advisor are designed based on an approximate probabilistic relation between the original system and its finite abstraction. By employing this architecture, we provide formal probabilistic guarantees on preserving the safety specifications expressed by accepting languages of deterministic finite automata (DFA). Meanwhile, the unverified controllers can still be employed in the control loop even though they are not reliable. We demonstrate the effectiveness of our proposed results by applying them to two (physical) case studies.


title: Single-molecule force spectroscopy reveals structural differences of heparan sulfate chains during binding to vitronectin

abstract: The syndecans represent an ongoing research field focused on their regulatory roles in normal and pathological conditions. Syndecan's role in cancer progression becomes well-documented, implicating their importance in diagnosis and even proposing various cancer potential treatments. Thus, the characterization of the unbinding properties at the single molecules level will appeal to their use as targets for therapeutics. In our study, syndecan-1 and syndecan-4 were measured during the interaction with the vitronectin HEP II binding site. Our findings show that syndecans are calcium ion-dependent molecules that reveal distinct, unbinding properties indicating the alterations in heparin sulfate chain structure, possibly in the chain sequence or sulfation pattern. In that way, we suppose that HS chain affinity to ECM proteins may govern cancer invasion by altering syndecan ability to interact with cancer-related receptors present in the tumor microenvironment, thereby promoting the activation of various signaling cascades regulating tumor cell behavior.


title: Optical control of the density and spin spatial profiles of a planar Bose gas

abstract: We demonstrate the arbitrary control of the density profile of a two-dimensional Bose gas by shaping the optical potential applied to the atoms. We use a digital micromirror device (DMD) directly imaged onto the atomic cloud through a high resolution imaging system. Our approach relies on averaging the response of many pixels of the DMD over the diffraction spot of the imaging system, which allows us to create an optical potential with arbitrary grey levels and with micron-scale resolution. The obtained density distribution is optimized with a feedback loop based on the measured absorption images of the cloud. Using the same device, we also engineer arbitrary spin distributions thanks to a two-photon Raman transfer between internal ground states.


title: Liouville geometry of classical thermodynamics

abstract: In the contact-geometric formulation of classical thermodynamics distinction is made between the energy and entropy representation, which can be resolved by taking homogeneous coordinates for the intensive variables. This results in a geometric formulation on the cotangent bundle of the manifold of extensive variables, where all geometric objects are homogeneous in the cotangent variables. The resulting geometry is studied in-depth. Additional homogeneity with respect to the extensive variables, corresponding to the classical Gibbs-Duhem relation, is treated within the same geometric framework.


title: WAMS-Based Model-Free Wide-Area Damping Control by Voltage Source Converters

abstract: In this paper, a novel model-free wide-area damping control (WADC) method is proposed, which can achieve full decoupling of modes and damp multiple critical inter-area oscillations simultaneously using grid-connected voltage source converters (VSCs). The proposed method is purely measurement based and requires no knowledge of the network topology and the dynamic model parameters. Hence, the designed controller using VSCs can update the control signals online as the system operating condition varies. Numerical studies in the modified IEEE 68-bus system with grid-connected VSCs show that the proposed method can estimate the system dynamic model accurately and can damp inter-area oscillations effectively under different working conditions and network topologies.


title: Averaging Generalized Scalar Field Cosmologies II: Locally Rotationally Symmetric Bianchi I and flat Friedmann-Lema\^itre-Robertson-Walker models

abstract: Scalar field cosmologies with a generalized harmonic potential and a matter fluid with a barotropic Equation of State (EoS) with barotropic index $\gamma$ for the Locally Rotationally Symmetric (LRS) Bianchi I and flat Friedmann-Lema\^itre-Robertson-Walker (FLRW) metrics are investigated. Methods from the theory of averaging of nonlinear dynamical systems are used to prove that time-dependent systems and their corresponding time-averaged versions have the same late-time dynamics. Therefore, the simplest time-averaged system determines the future asymptotic behavior. Depending on the values of $\gamma$, the late-time attractors of physical interests are flat quintessence dominated FLRW universe and Einstein-de Sitter solution. With this approach, the oscillations entering the system through the Klein-Gordon (KG) equation can be controlled and smoothed out as the Hubble parameter $H$ - acting as time-dependent perturbation parameter - tends monotonically to zero. Numerical simulations are presented as evidence of such behavior.


title: Multiband mechanism of the pair fluctuation screening

abstract: Recent chain-like structured materials have shown a robust superconducting phase. These materials exhibit the presence of quasi-one-dimensional bands (q1D) coupled to conventional higher-dimensional bands. On the mean-field level such systems have a high critical temperature when the chemical potential is close to the edge of a q1D band and the related Lifshitz transition is approached. However, the impact of the pair fluctuations compromises the mean-field results. Recently it has been demonstrated that these fluctuations can be suppressed (screened) by a specific multiband mechanism based on the pair-exchange coupling of the q1D condensate to a stable higher-dimensional one. In the present work we demonstrate that strikingly enough, this mechanism is not very sensitive to the basic parameters of the stable condensate such as its strength and dimensionality. For example, even the presence of a passive higher-dimensional band, which does not exhibit any superconducting correlations when taken as a separate superconductor, results in suppression of the pair fluctuations.


title: An Introduction to Gaussian Process Models

abstract: Within the past two decades, Gaussian process regression has been increasingly used for modeling dynamical systems due to some beneficial properties such as the bias variance trade-off and the strong connection to Bayesian mathematics. As data-driven method, a Gaussian process is a powerful tool for nonlinear function regression without the need of much prior knowledge. In contrast to most of the other techniques, Gaussian Process modeling provides not only a mean prediction but also a measure for the model fidelity. In this article, we give an introduction to Gaussian processes and its usage in regression tasks of dynamical systems. Try Gaussian process regression yourself: https://gpr.tbeckers.com


title: Dysplasia grading of colorectal polyps through CNN analysis of WSI

abstract: Colorectal cancer is a leading cause of cancer death for both men and women. For this reason, histopathological characterization of colorectal polyps is the major instrument for the pathologist in order to infer the actual risk for cancer and to guide further follow-up. Colorectal polyps diagnosis includes the evaluation of the polyp type, and more importantly, the grade of dysplasia. This latter evaluation represents a critical step for the clinical follow-up. The proposed deep learning-based classification pipeline is based on state-of-the-art convolutional neural network, trained using proper countermeasures to tackle WSI high resolution and very imbalanced dataset. The experimental results show that one can successfully classify adenomas dysplasia grade with 70% accuracy, which is in line with the pathologists' concordance.


title: Weibel instability beyond bi-Maxwellian anisotropy

abstract: The shape of the anisotropic velocity distribution function, beyond the realm of strict Maxwellians can play a significant role in determining the evolution of the Weibel instability dictating the dynamics of self-generated magnetic fields. For non-Maxwellian distribution functions, we show that the direction of the maximum growth rate wavevector changes with shape. We investigate different laser-plasma interaction model distributions which show that their Weibel generated magnetic fields may require closer scrutiny beyond the second moment (temperature) anisotropy ratio characterization.


title: Enterprise-Driven Open Source Software: A Case Study on Security Automation

abstract: Agile and DevOps are widely adopted by the industry. Hence, integrating security activities with industrial practices, such as continuous integration (CI) pipelines, is necessary to detect security flaws and adhere to regulators' demands early. In this paper, we analyze automated security activities in CI pipelines of enterprise-driven open source software (OSS). This shall allow us, in the long-run, to better understand the extent to which security activities are (or should be) part of automated pipelines. In particular, we mine publicly available OSS repositories and survey a sample of project maintainers to better understand the role that security activities and their related tools play in their CI pipelines. To increase transparency and allow other researchers to replicate our study (and to take different perspectives), we further disclose our research artefacts. Our results indicate that security activities in enterprise-driven OSS projects are scarce and protection coverage is rather low. Only 6.83% of the analyzed 8,243 projects apply security automation in their CI pipelines, even though maintainers consider security to be rather important. This alerts industry to keep the focus on vulnerabilities of 3rd Party software and it opens space for other improvements of practice which we outline in this manuscript.


title: A Neural Network with Local Learning Rules for Minor Subspace Analysis

abstract: The development of neuromorphic hardware and modeling of biological neural networks requires algorithms with local learning rules. Artificial neural networks using local learning rules to perform principal subspace analysis (PSA) and clustering have recently been derived from principled objective functions. However, no biologically plausible networks exist for minor subspace analysis (MSA), a fundamental signal processing task. MSA extracts the lowest-variance subspace of the input signal covariance matrix. Here, we introduce a novel similarity matching objective for extracting the minor subspace, Minor Subspace Similarity Matching (MSSM). Moreover, we derive an adaptive MSSM algorithm that naturally maps onto a novel neural network with local learning rules and gives numerical results showing that our method converges at a competitive rate.