title: Stability of gene regulatory networks

abstract: Homeostasis of protein concentrations in cells is crucial for their proper functioning, and this requires concentrations (at their steady-state levels) to be stable to fluctuations. Since gene expression is regulated by proteins such as transcription factors (TFs), the full set of proteins within the cell constitutes a large system of interacting components. Here, we explore factors affecting the stability of this system by coupling the dynamics of mRNAs and protein concentrations in a growing cell. We find that it is possible for protein concentrations to become unstable if the regulation strengths or system size becomes too large, and that other global structural features of the networks can dramatically enhance the stability of the system. In particular, given the same number of proteins, TFs, number of interactions, and regulation strengths, a network that resembles a bipartite graph with a lower fraction of interactions that target TFs has a higher chance of being stable. By scrambling the $\textit{E. coli.}$ transcription network, we find that the randomized network with the same number of regulatory interactions is much more likely to be unstable than the real network. These findings suggest that constraints imposed by system stability could have played a role in shaping the existing regulatory network during the evolutionary process. We also find that contrary to what one might expect from random matrix theory and what has been argued in the literature, the degradation rate of mRNA does not affect whether the system is stable.


title: Ionization: a possible explanation for the difference of mean disk sizes in star-forming regions

abstract: Surveys of protoplanetary disks in star-forming regions of similar age revealed significant variations in average disk mass between some regions. For instance, disks in the Orion Nebular Cluster (ONC) and Corona Australis (CrA) are on average smaller than disks observed in Lupus, Taurus, Chamaeleon I or Ophiuchus. In contrast to previous models that study truncation of disks at a late stage of their evolution, we investigate whether disks may already be born with systematically smaller disk sizes in more massive star-forming regions as a consequence of enhanced ionization rates. Assuming various cosmic-ray ionization rates, we compute the resistivities for ambipolar diffusion and Ohmic dissipation with a chemical network, and perform 2D non-ideal magnetohydrodynamical protostellar collapse simulations. A higher ionization rate leads to stronger magnetic braking, and hence to the formation of smaller disks. Accounting for recent findings that protostars act as forges of cosmic rays and considering only mild attenuation during the collapse phase, we show that a high average cosmic-ray ionization rate in star-forming regions like the ONC or CrA can explain the detection of smaller disks in these regions. Our results show that on average a higher ionization rate leads to the formation of smaller disks. Therefore, smaller disks in regions of similar age can be the consequence of different levels of ionization, and may not exclusively be caused by disk truncation via external photoevaporation. We strongly encourage observations that allow measuring the cosmic-ray ionization degrees in different star-forming regions to test our hypothesis.


title: Locally Constant Constructive Functions and Connectedness of Intervals

abstract: We prove that every locally constant constructive function on an interval is in fact a constant function. This answers a question formulated by Andrej Bauer. As a related result we show that an interval consisting of constructive real numbers is in fact connected, but can be decomposed into the disjoint union of two sequentially closed nonempy sets.


title: Systematic Matter and Binding-Energy Distributions from a Dispersive Optical Model Analysis

abstract: We present the first systematic nonlocal dispersive optical model analysis using both bound-state and scattering data of $^{16,18}$O, $^{40,48}$Ca, $^{58,64}$Ni, $^{112,124}$Sn, and $^{208}$Pb. In all systems, roughly half the total nuclear binding energy is associated with the most-bound 10% of the total nucleon density. The extracted neutron skins reveal the interplay of asymmetry, Coulomb, and shell effects on the skin thickness. Our results indicate that simultaneous optical model fits of inelastic scattering and structural data on isotopic pairs are effective for constraining asymmetry-dependent nuclear structural quantities otherwise difficult to observe experimentally.


title: The Consequences of Gamma-ray Burst Jet Opening Angle Evolution on the Inferred Star Formation Rate

abstract: Gamma-ray burst (GRB) data suggest that the jets from GRBs in the high redshift universe are more narrowly collimated than those at lower redshifts. This implies that we detect relatively fewer long GRB progenitor systems (i.e. massive stars) at high redshifts, because a greater fraction of GRBs have their jets pointed away from us. As a result, estimates of the star formation rate (from the GRB rate) at high redshifts may be diminished if this effect is not taken into account. In this paper, we estimate the star formation rate (SFR) using the observed GRB rate, accounting for an evolving jet opening angle. We find that the SFR in the early universe (z > 3) can be up to an order of magnitude higher than the canonical estimates, depending on the severity of beaming angle evolution and the fraction of stars that make long gamma-ray bursts. Additionally, we find an excess in the SFR at low redshifts, although this lessens when accounting for evolution of the beaming angle. Finally, under the assumption that GRBs do in fact trace canonical forms of the cosmic SFR, we constrain the resulting fraction of stars that must produce GRBs, again accounting for jet beaming-angle evolution. We find this assumption suggests a high fraction of stars in the early universe producing GRBs - a result that may, in fact, support our initial assertion that GRBs do not trace canonical estimates of the SFR.


title: Geometrothermodynamics of black holes with a nonlinear source

abstract: We study thermodynamics and geometrothermodynamics of a particular black hole configuration with a nonlinear source. We use the mass as fundamental equation, from which it follows that the curvature radius must be considered as a thermodynamic variable, leading to an extended equilibrium space. Using the formalism of geometrothermodynamics, we show that the geometric properties of the thermodynamic equilibrium space can be used to obtain information about thermodynamic interaction, critical points and phase transitions. We show that these results are compatible with the results obtained from classical black hole thermodynamics.


title: Isotopically resolved neutron total cross sections at intermediate energies

abstract: The neutron total cross sections $\sigma_{tot}$ of $^{16,18}$O, $^{58,64}$Ni, $^{103}$Rh, and $^{112,124}$Sn have been measured at the Los Alamos Neutron Science Center (LANSCE) from low to intermediate energies (3 $\leq E_{lab} \leq$ 450 MeV) by leveraging waveform-digitizer technology. The $\sigma_{tot}$ relative differences between isotopes are presented, revealing additional information about the isovector components needed for an accurate optical-model description away from stability. Digitizer-enabled $\sigma_{tot}$-measurement techniques are discussed and a series of uncertainty-quantified dispersive optical model (DOM) analyses using these new data is presented, validating the use of the DOM for modeling light systems ($^{16,18}$O) and systems with open neutron shells ($^{58,64}$Ni and $^{112,124}$Sn). The valence-nucleon spectroscopic factors extracted for each isotope reaffirm the usefulness of high-energy proton reaction cross sections for characterizing depletion from the mean-field expectation.


title: Environmental regulation using Plasticoding for the evolution of robots

abstract: Evolutionary robot systems are usually affected by the properties of the environment indirectly through selection. In this paper, we present and investigate a system where the environment also has a direct effect: through regulation. We propose a novel robot encoding method where a genotype encodes multiple possible phenotypes, and the incarnation of a robot depends on the environmental conditions taking place in a determined moment of its life. This means that the morphology, controller, and behavior of a robot can change according to the environment. Importantly, this process of development can happen at any moment of a robot lifetime, according to its experienced environmental stimuli. We provide an empirical proof-of-concept, and the analysis of the experimental results shows that Plasticoding improves adaptation (task performance) while leading to different evolved morphologies, controllers, and behaviour.


title: Raman solitons in waveguides with simultaneous quadratic and Kerr nonlinearities

abstract: We analyse Raman-induced self-frequency shift in two-component solitons supported by both quadratic and cubic nonlinearities. Treating Raman terms as a perturbation, we derive expressions for soliton velocity and frequency shifts of the fundamental frequency and second harmonic soliton components. We find these predictions compare well with simulations of soliton propagation. We also show that Raman shift can cause two-component solitons to approach the boundary of their own existence and subsequently trigger soliton instabilities. In some cases these instabilities are accompanied by an almost complete transfer of power to the second harmonic, and emergence of a single-component Kerr solitonic pulse.


title: Glaucoma Detection From Raw Circumapillary OCT Images Using Fully Convolutional Neural Networks

abstract: Nowadays, glaucoma is the leading cause of blindness worldwide. We propose in this paper two different deep-learning-based approaches to address glaucoma detection just from raw circumpapillary OCT images. The first one is based on the development of convolutional neural networks (CNNs) trained from scratch. The second one lies in fine-tuning some of the most common state-of-the-art CNNs architectures. The experiments were performed on a private database composed of 93 glaucomatous and 156 normal B-scans around the optic nerve head of the retina, which were diagnosed by expert ophthalmologists. The validation results evidence that fine-tuned CNNs outperform the networks trained from scratch when small databases are addressed. Additionally, the VGG family of networks reports the most promising results, with an area under the ROC curve of 0.96 and an accuracy of 0.92, during the prediction of the independent test set.


title: Multi-modal Transfer Learning for Grasping Transparent and Specular Objects

abstract: State-of-the-art object grasping methods rely on depth sensing to plan robust grasps, but commercially available depth sensors fail to detect transparent and specular objects. To improve grasping performance on such objects, we introduce a method for learning a multi-modal perception model by bootstrapping from an existing uni-modal model. This transfer learning approach requires only a pre-existing uni-modal grasping model and paired multi-modal image data for training, foregoing the need for ground-truth grasp success labels nor real grasp attempts. Our experiments demonstrate that our approach is able to reliably grasp transparent and reflective objects. Video and supplementary material are available at https://sites.google.com/view/transparent-specular-grasping.


title: On spherically symmetric Finsler metric with scalar and constant flag curvature

abstract: In this paper we study spherically symmetric metrics on a symmetric space in $\mathbb{R}^n$ with scalar and constant flag curvature and we also obtain families of this type of metrics. Many explicit examples are provided for Douglas metrics with scalar and constant flag curvature. Furthermore, new examples of projectively flat Finsler metrics are given. We also provide a family of spherically symmetric Finsler metrics which are not of Douglas type.


title: CSI-free vs CSI-based multi-antenna WET for massive low-power Internet of Things

abstract: Wireless Energy Transfer (WET) is a promising solution for powering massive Internet of Things deployments. An important question is whether the costly Channel State Information (CSI) acquisition procedure is necessary for optimum performance. In this paper, we shed some light into this matter by evaluating CSI-based and CSI-free multi-antenna WET schemes in a setup with WET in the downlink, and periodic or Poisson-traffic Wireless Information Transfer (WIT) in the uplink. When CSI is available, we show that a maximum ratio transmission beamformer is close to optimum whenever the farthest node experiences at least 3 dB of power attenuation more than the remaining devices. On the other hand, although the adopted CSI-free mechanism is not capable of providing average harvesting gains, it does provide greater WET/WIT diversity with lower energy requirements when compared with the CSI-based scheme. Our numerical results evidence that the CSI-free scheme performs favorably under periodic traffic conditions, but it may be deficient in case of Poisson traffic, specially if the setup is not optimally configured. Finally, we show the prominent performance results when the uplink transmissions are periodic, while highlighting the need of a minimum mean square error equalizer rather than zero-forcing for information decoding.


title: A Comparative Study of Lexical Substitution Approaches based on Neural Language Models

abstract: Lexical substitution in context is an extremely powerful technology that can be used as a backbone of various NLP applications, such as word sense induction, lexical relation extraction, data augmentation, etc. In this paper, we present a large-scale comparative study of popular neural language and masked language models (LMs and MLMs), such as context2vec, ELMo, BERT, XLNet, applied to the task of lexical substitution. We show that already competitive results achieved by SOTA LMs/MLMs can be further improved if information about the target word is injected properly, and compare several target injection methods. In addition, we provide analysis of the types of semantic relations between the target and substitutes generated by different models providing insights into what kind of words are really generated or given by annotators as substitutes.


title: Rate-optimal refinement strategies for local approximation MCMC

abstract: Many Bayesian inference problems involve target distributions whose density functions are computationally expensive to evaluate. Replacing the target density with a local approximation based on a small number of carefully chosen density evaluations can significantly reduce the computational expense of Markov chain Monte Carlo (MCMC) sampling. Moreover, continual refinement of the local approximation can guarantee asymptotically exact sampling. We devise a new strategy for balancing the decay rate of the bias due to the approximation with that of the MCMC variance. We prove that the error of the resulting local approximation MCMC (LA-MCMC) algorithm decays at roughly the expected $1/\sqrt{T}$ rate, and we demonstrate this rate numerically. We also introduce an algorithmic parameter that guarantees convergence given very weak tail bounds, significantly strengthening previous convergence results. Finally, we apply LA-MCMC to a computationally intensive Bayesian inverse problem arising in groundwater hydrology.


title: Learning stochastic object models from medical imaging measurements using Progressively-Growing AmbientGANs

abstract: It has been advocated that medical imaging systems and reconstruction algorithms should be assessed and optimized by use of objective measures of image quality that quantify the performance of an observer at specific diagnostic tasks. One important source of variability that can significantly limit observer performance is variation in the objects to-be-imaged. This source of variability can be described by stochastic object models (SOMs). A SOM is a generative model that can be employed to establish an ensemble of to-be-imaged objects with prescribed statistical properties. In order to accurately model variations in anatomical structures and object textures, it is desirable to establish SOMs from experimental imaging measurements acquired by use of a well-characterized imaging system. Deep generative neural networks, such as generative adversarial networks (GANs) hold great potential for this task. However, conventional GANs are typically trained by use of reconstructed images that are influenced by the effects of measurement noise and the reconstruction process. To circumvent this, an AmbientGAN has been proposed that augments a GAN with a measurement operator. However, the original AmbientGAN could not immediately benefit from modern training procedures, such as progressive growing, which limited its ability to be applied to realistically sized medical image data. To circumvent this, in this work, a new Progressive Growing AmbientGAN (ProAmGAN) strategy is developed for establishing SOMs from medical imaging measurements. Stylized numerical studies corresponding to common medical imaging modalities are conducted to demonstrate and validate the proposed method for establishing SOMs.


title: Large magnetoelectric coupling in multiferroic oxide heterostructures assembled via epitaxial lift-off

abstract: The strain dependent functional properties of epitaxial transition metal oxide films can be significantly modified via substrate selection. However, large lattice mismatches preclude dislocation-free epitaxial growth on ferroelectric substrates, whose strain states are modified by applied electric fields. Here we overcome this mismatch problem by depositing an epitaxial film of ferromagnetic La0.7Sr0.3MnO3 on a single crystal substrate of well lattice matched SrTiO3 via a film of SrRuO3 that we subsequently dissolved, permitting the transfer of unstrained La0.7Sr0.3MnO3 to a ferroelectric substrate of 0.68Pb(Mg1/3Nb2/3)O3 0.32PbTiO3 in a different crystallographic orientation. Ferroelectric domain switching, and a concomitant ferroelectric phase transition, produced large non volatile changes of magnetization that were mediated by magnetic domain rotations at locations defined by the microstructure - as revealed via high resolution vector maps of magnetization constructed from photoemission electron microscopy data, with contrast from x-ray magnetic circular dichroism. In future, our method may be exploited to control functional properties in dislocation free epitaxial films of any composition.


title: Algorithmically distinguishing irreducible characters of the symmetric group

abstract: Suppose that $\chi_\lambda$ and $\chi_\mu$ are distinct irreducible characters of the symmetric group $S_n$. We give an algorithm that, in time polynomial in $n$, constructs $\pi\in S_n$ such that $\chi_\lambda(\pi)$ is provably different from $\chi_\mu(\pi)$. In fact, we show a little more. Suppose $f=\chi_\lambda$ for some irreducible character $\chi_\lambda$ of $S_n$, but we do not know $\lambda$, and we are given only oracle access to $f$. We give an algorithm that determines $\lambda$, using a number of queries to $f$ that is polynomial in $n$. Each query can be computed in time polynomial in $n$ by someone who knows $\lambda$.


title: Yet another lesson on the stability conditions in multi-Higgs potentials

abstract: We discuss a rather common but often unnoticed pitfall which arises when deriving the bounded-from-below (BFB) conditions in multi-Higgs models with softly broken global symmetries. Namely, necessary and sufficient BFB conditions derived for the case with an exact symmetry can be ruined by introducing soft symmetry breaking terms. Using $S_4$ and $A_4$-symmetric three-Higgs-doublet models as an example, we argue that all published necessary and sufficient BFB conditions, even those which are correct for the exactly symmetric case, are no longer sufficient if soft symmetry breaking is added. Using the geometric formalism, we derive the exact necessary and sufficient BFB conditions for the 3HDM with the symmetry group $S_4$, either exact or softly broken, and review the situation for the $A_4$-symmetric case.


title: Human-Centric Active Perception for Autonomous Observation

abstract: As robot autonomy improves, robots are increasingly being considered in the role of autonomous observation systems -- free-flying cameras capable of actively tracking human activity within some predefined area of interest. In this work, we formulate the autonomous observation problem through multi-objective optimization, presenting a novel Semi-MDP formulation of the autonomous human observation problem that maximizes observation rewards while accounting for both human- and robot-centric costs. We demonstrate that the problem can be solved with both scalarization-based Multi-Objective MDP methods and Constrained MDP methods, and discuss the relative benefits of each approach. We validate our work on activity tracking using a NASA Astrobee robot operating within a simulated International Space Station environment.


title: Quasi-orthonormal Encoding for Machine Learning Applications

abstract: Most machine learning models, especially artificial neural networks, require numerical, not categorical data. We briefly describe the advantages and disadvantages of common encoding schemes. For example, one-hot encoding is commonly used for attributes with a few unrelated categories and word embeddings for attributes with many related categories (e.g., words). Neither is suitable for encoding attributes with many unrelated categories, such as diagnosis codes in healthcare applications. Application of one-hot encoding for diagnosis codes, for example, can result in extremely high dimensionality with low sample size problems or artificially induce machine learning artifacts, not to mention the explosion of computing resources needed. Quasi-orthonormal encoding (QOE) fills the gap. We briefly show how QOE compares to one-hot encoding. We provide example code of how to implement QOE using popular ML libraries such as Tensorflow and PyTorch and a demonstration of QOE to MNIST handwriting samples.


title: Convergence of the TFDW Energy to the Liquid Drop Model

abstract: We consider two nonlocal variational models arising in physical contexts. The first is the Thomas-Fermi-Dirac-von Weiz\"{a}cker (TFDW) model, introduced in the study of ionization of atoms and molecules, and the second is the liquid drop model with external potential, proposed by Gamow in the context of nuclear structure. It has been observed that the two models exhibit many of the same properties, especially in regard to the existence and nonexistence of minimizers. We show that, under a "sharp interface" scaling of the coefficients and constrained mass, the TFDW energy Gamma-converges to the Liquid Drop model, for a general class of external potentials. Finally, we present some consequences for global minimization of each model.


title: Biclique Graphs of $K_3$-free Graphs and Bipartite Graphs

abstract: A biclique of a graph is a maximal complete bipartite subgraph. The biclique graph of a graph $G$, $KB(G)$, defined as the intersection graph of the bicliques of $G$, was introduced and characterized in 2010. However, this characterization does not lead to polynomial time recognition algorithms. The time complexity of its recognition problem remains open. There are some works on this problem when restricted to some classes. In this work we give a characterization of the biclique graph of a $K_3$-free graph $G$. We prove that $KB(G)$ is the square graph of a particular graph which we call Mutually Included Biclique Graph of $G$ ($KB_m(G)$). Although it does not lead to a polynomial time recognition algorithm, it gives a new tool to prove properties of biclique graphs (restricted to $K_3$-free graphs) using known properties of square graphs. For instance we generalize a property about induced ${P_3}'$s in biclique graphs to a property about stars and proved a conjecture posted by Groshaus and Montero, when restricted to $K_3$-free graphs. Also we characterize the class of biclique graphs of bipartite graphs. We prove that $KB($bipartite$) = ($IIC-comparability$)^2$, where IIC-comparability is a subclass of comparability graphs that we call Interval Intersection Closed Comparability.


title: Characterizing immutable sandpiles: A first look

abstract: By working with coefficients in $\mathbb{Z}$ or $\mathbb{R}$, one can define two different notions of stability for a sandpile on a graph. We call a sandpile immutable when these notions agree. Our main results give linear-algebraic characterizations for large classes of immutable sandpiles.


title: The Evolution of Travelling Waves in a KPP Reaction-Diffusion Model with cut-off Reaction Rate. II. Evolution of Travelling Waves

abstract: In Part II of this series of papers, we consider an initial-boundary value problem for the Kolmogorov--Petrovskii--Piscounov (KPP) type equation with a discontinuous cut-off in the reaction function at concentration $u=u_c$. For fixed cut-off value $u_c \in (0,1)$, we apply the method of matched asymptotic coordinate expansions to obtain the complete large-time asymptotic form of the solution which exhibits the formation of a permanent form travelling wave structure. In particular, this approach allows the correction to the wave speed and the rate of convergence of the solution onto the permanent form travelling wave to be determined via a detailed analysis of the asymptotic structures in small-time and, subsequently, in large-space. The asymptotic results are confirmed against numerical results obtained for the particular case of a cut-off Fisher reaction function.


title: Modelling oral adrenal cortisol support

abstract: A simplified mathematical model of oral hydrocortisone delivery in adrenal insufficiency is described; the model is based on three components (gastric hydrocortisone, free serum cortisol and bound serum cortisol) and is formulated in terms of linear kinetics, taking into account the dynamics of glucocorticoid-protein binding. Motivated by the need to optimise cortisol replacement in the situations of COVID-19 infection, the model is fitted to recently-published data on 50 mg dosing and earlier data on 10 mg dosing. The fitted model is used to predict typical responses to standard dosing regimes, which involve a larger dose in the morning and 1 or 2 smaller doses later in the day, and the same regimes with doses doubled. In all cases there is a circadian-like response, with early morning nadir. The model is also used to consider an alternative dosing strategy based on four equal and equally-spaced doses of 10, 20 or 30 mg per 24 h, resulting in a more even response resembling a response to sustained inflammatory stress.


title: Security Analysis for Distributed IoT-Based Industrial Automation

abstract: With ever-expanding computation and communication capabilities of modern embedded platforms, Internet of Things (IoT) technologies enable development of Reconfigurable Manufacturing Systems---a new generation of highly modularized industrial equipment suitable for highly-customized manufacturing. Sequential control in these systems is largely based on discrete events, while their formal execution semantics is specified as Control Interpreted Petri Nets (CIPN). Despite industry-wide use of programming languages based on the CIPN formalism, formal verification of such control applications in the presence of adversarial activity is not supported. Consequently, in this paper we focus on security-aware modeling and verification challenges for CIPN-based sequential control applications. Specifically, we show how CIPN models of networked industrial IoT controllers can be transformed into Time Petri Net (TPN)-based models, and composed with plant and security-aware channel models in order to enable system-level verification of safety properties in the presence of network-based attacks. Additionally, we introduce realistic channel-specific attack models that capture adversarial behavior using nondeterminism. Moreover, we show how verification results can be utilized to introduce security patches and motivate design of attack detectors that improve overall system resiliency, and allow satisfaction of critical safety properties. Finally, we evaluate our framework on an industrial case study.


title: Estimating Hidden Asymptomatics, Herd Immunity Threshold and Lockdown Effects using a COVID-19 Specific Model

abstract: A quantitative COVID-19 model that incorporates hidden asymptomatic patients is developed, and an analytic solution in parametric form is given. The model incorporates the impact of lockdown and resulting spatial migration of population due to announcement of lockdown. A method is presented for estimating the model parameters from real-world data. It is shown that increase of infections slows down and herd immunity is achieved when symptomatic patients are 4-6\% of the population for the European countries we studied, when the total infected fraction is between 50-56 \%. Finally, a method for estimating the number of asymptomatic patients, who have been the key hidden link in the spread of the infections, is presented.


title: Epidemic contact tracing with smartphone sensors

abstract: Contact tracing is widely considered as an effective procedure in the fight against epidemic diseases. However, one of the challenges for technology based contact tracing is the high number of false positives, questioning its trust-worthiness and efficiency amongst the wider population for mass adoption. To this end, this paper proposes a novel, yet practical smartphone-based contact tracing approach, employing WiFi and acoustic sound for relative distance estimate, in addition to the air pressure and the magnetic field for ambient environment matching. We present a model combining 6 smartphone sensors, prioritising some of them when certain conditions are met. We empirically verified our approach in various realistic environments to demonstrate an achievement of up to 95% fewer false positives, and 62% more accurate than Bluetooth-only system. To the best of our knowledge, this paper was one of the first work to propose a combination of smartphone sensors for contact tracing.


title: LogLatt: A computational library for the calculus and flows on logarithmic lattices

abstract: Models on logarithmic lattices have recently been proposed as an alternative approach to the study of multi-scale nonlinear physics. Here, we introduce LogLatt, an efficient MATLAB library for the calculus between functions on multi-dimensional logarithmic lattices. The applicabilities include common differential operators, norms, and convolutions, and operate as MATLAB function handles, so their implementations result in elegant and intuitive scripts. Particularly, when applied to dynamics, users may code the governing equations exactly as they are mathematically written. We give codes and results for some problems of fluid flow as examples of application.


title: Design of Transformation Initiatives Implementing Organisational Agility -- An Empirical Study

abstract: This study uses 125 responses from companies of all sizes headquartered in Germany, Switzerland, France and UK to reveal perceptions of the drivers of organisational agility. It further investigates current understanding of managing principles of multiple organisational dimensions such as culture, values, leadership, organisational structure, processes and others to achieve greater organisational agility. The data set is disaggregated into four major profiles of agile organisations: laggards, execution specialists, experimenters, and leaders. The approach to agile transformation is analysed by each of those profiles. While the positive effect from a more holistic approach is confirmed, leaders tend to focus more on processes and products rather than project work. Respondents perceive that IT, product development and research are most agile functions within their organisations, while human resources, finance and administration are considered being not agile. Further, organisations with higher levels of organisational agility tend use more than one agile scaling framework. Implications on theories of agile transformations and organisational design are discussed.


title: PointNet on FPGA for Real-Time LiDAR Point Cloud Processing

abstract: LiDAR sensors have been widely used in many autonomous vehicle modalities, such as perception, mapping, and localization. This paper presents an FPGA-based deep learning platform for real-time point cloud processing targeted on autonomous vehicles. The software driver for the Velodyne LiDAR sensor is modified and moved into the on-chip processor system, while the programmable logic is designed as a customized hardware accelerator. As the state-of-art deep learning algorithm for point cloud processing, PointNet is successfully implemented on the proposed FPGA platform. Targeted on a Xilinx Zynq UltraScale+ MPSoC ZCU104 development board, the FPGA implementations of PointNet achieve the computing performance of 182.1 GOPS and 280.0 GOPS for classification and segmentation respectively. The proposed design can support an input up to 4096 points per frame. The processing time is 19.8 ms for classification and 34.6 ms for segmentation, which meets the real-time requirement for most of the existing LiDAR sensors.


title: Uniform limits of $\mathcal B_1^{**}$-functions

abstract: We characterise the class of uniform limits of functions from Pawlak's class $\mathcal B_1^{**}$. The resulting class $u\mathscr S_1$, which contains functions with the oscillation rank one, is discussed in connection with its linear span. We apply a general, topological space, setting in our discussion.


title: Birational conjugacies between endomorphisms on the projective plane

abstract: We proved that, in characteristic 0, if two dominant endomorphisms of the projective plane of degree at least 2 are conjugate by some birational transformation, then they are conjugate by an automorphism. We also gave counterexamples in positive characteristic.


title: Stance Prediction for Contemporary Issues: Data and Experiments

abstract: We investigate whether pre-trained bidirectional transformers with sentiment and emotion information improve stance detection in long discussions of contemporary issues. As a part of this work, we create a novel stance detection dataset covering 419 different controversial issues and their related pros and cons collected by procon.org in nonpartisan format. Experimental results show that a shallow recurrent neural network with sentiment or emotion information can reach competitive results compared to fine-tuned BERT with 20x fewer parameters. We also use a simple approach that explains which input phrases contribute to stance detection.


title: A Unified Hardware Architecture for Convolutions and Deconvolutions in CNN

abstract: In this paper, a scalable neural network hardware architecture for image segmentation is proposed. By sharing the same computing resources, both convolution and deconvolution operations are handled by the same process element array. In addition, access to on-chip and off-chip memories is optimized to alleviate the burden introduced by partial sum. As an example, SegNet-Basic has been implemented using the proposed unified architecture by targeting on Xilinx ZC706 FPGA, which achieves the performance of 151.5 GOPS and 94.3 GOPS for convolution and deconvolution respectively. This unified convolution/deconvolution design is applicable to other CNNs with deconvolution.


title: Single-source, solvent-free, room temperature deposition of black $\gamma$-CsSnI$_3$ films

abstract: The presence of a non-optically active polymorph (yellow-phase) competing with the optically active polymorph (black $\gamma$-phase) at room temperature in CsSnI3 and the susceptibility of Sn to oxidation, represent two of the biggest obstacles for the exploitation of CsSnI3 in optoelectronic devices. Here room-temperature single-source in vacuum deposition of smooth black $\gamma$ - CsSnI3 thin films is reported. This has been done by fabricating a solid target by completely solvent-free mixing of CsI and SnI2 powders and isostatic pressing. By controlled laser ablation of the solid target on an arbitrary substrate at room temperature, the formation of CsSnI3 thin films with optimal optical properties is demonstrated. The films present a band gap of 1.32 eV, a sharp absorption edge and near-infrared photoluminescence emission. These properties and X-ray diffraction of the thin films confirmed the formation of the orthorhombic (B-$\gamma$) perovskite phase. The thermal stability of the phase was ensured by applying in situ an Al2O$_3$ capping layer. This work demonstrates the potential of pulsed laser deposition as a volatility-insensitive single-source growth technique of halide perovskites and represents a critical step forward in the development and future scalability of inorganic lead-free halide perovskites.


title: Double-Side Cocatalytic Activation of Anodic TiO$_2$ Nanotube Membranes with Sputter-Coated Pt for Photocatalytic H$_2$ Generation from Water-Ethanol Mixtures

abstract: Self-standing TiO$_2$ nanotube layers in the form of membranes are fabricated by self-organizing anodization of Ti metal and a potential shock technique. The membranes were then decorated by sputtering different Pt amounts i) only at the top, ii) only at the bottom or iii) at both top and bottom of the tube layers. The Pt-decorated membranes are transferred either in tube top up or in tube top down configuration onto FTO slides and investigated after crystallization as photocatalysts for H$_2$ generation using either front or back-side light irradiation. Double-side Pt-decoration of the tube membranes leads to higher H$_2$ generation rates (independent of tube and light irradiation configuration) compared to membranes decorated at only one side with similar overall Pt amounts. The results suggest that this effect is not ascribed to the overall amount of Pt cocatalyst as such but rather to its distribution at both tube extremities. This leads to optimized light absorption and electron diffusion/transfer dynamics: the central part of the membranes act as light harvesting zone and electrons therein generated can diffuse towards the Pt/TiO$_2$ active zones (tube extremities) where they can react with the environment and generate H$_2$ gas.


title: Flow and structure in nonequilibrium Brownian many-body systems

abstract: We present a fundamental classification of forces relevant in nonequilibrium structure formation under collective flow in Brownian many-body systems. The internal one-body force field is systematically split into contributions relevant for the spatial structure and for the coupled motion. We demonstrate that both contributions can be obtained straightforwardly in computer simulations, and present a power functional theory that describes all types of forces quantitatively. Our conclusions and methods are relevant for flow in inertial systems, such as molecular liquids and granular media.


title: Simulation Framework for Mobile Robots in Planetary-Like Environments

abstract: In this paper we present a simulation framework for the evaluation of the navigation and localization metrological performances of a robotic platform. The simulator, based on ROS (Robot Operating System) Gazebo, is targeted to a planetary-like research vehicle which allows to test various perception and navigation approaches for specific environment conditions. The possibility of simulating arbitrary sensor setups comprising cameras, LiDARs (Light Detection and Ranging) and IMUs makes Gazebo an excellent resource for rapid prototyping. In this work we evaluate a variety of open-source visual and LiDAR SLAM (Simultaneous Localization and Mapping) algorithms in a simulated Martian environment. Datasets are captured by driving the rover and recording sensors outputs as well as the ground truth for a precise performance evaluation.


title: Applying the Decisiveness and Robustness Metrics to Convolutional Neural Networks

abstract: We review three recently-proposed classifier quality metrics and consider their suitability for large-scale classification challenges such as applying convolutional neural networks to the 1000-class ImageNet dataset. These metrics, referred to as the "geometric accuracy," "decisiveness," and "robustness," are based on the generalized mean ($\rho$ equals 0, 1, and -2/3, respectively) of the classifier's self-reported and measured probabilities of correct classification. We also propose some minor clarifications to standardize the metric definitions. With these updates, we show some examples of calculating the metrics using deep convolutional neural networks (AlexNet and DenseNet) acting on large datasets (the German Traffic Sign Recognition Benchmark and ImageNet).


title: Towards a Human-Centred Cognitive Model of Visuospatial Complexity in Everyday Driving

abstract: We develop a human-centred, cognitive model of visuospatial complexity in everyday, naturalistic driving conditions. With a focus on visual perception, the model incorporates quantitative, structural, and dynamic attributes identifiable in the chosen context; the human-centred basis of the model lies in its behavioural evaluation with human subjects with respect to psychophysical measures pertaining to embodied visuoauditory attention. We report preliminary steps to apply the developed cognitive model of visuospatial complexity for human-factors guided dataset creation and benchmarking, and for its use as a semantic template for the (explainable) computational analysis of visuospatial complexity.


title: Improving Mammography Malignancy Segmentation by Designing the Training Process

abstract: We work on the breast imaging malignancy segmentation task while focusing on the training process instead of network complexity. We designed a training process based on a modified U-Net, increasing the overall segmentation performances by using both, benign and malignant data for training. Our approach makes use of only a small amount of annotated data and relies on transfer learning from a self-supervised reconstruction task, and favors explainability.


title: Complexity of Maximum Cut on Interval Graphs

abstract: We resolve the longstanding open problem concerning the computational complexity of Max Cut on interval graphs by showing that it is NP-complete.


title: Polarization-based online interference mitigation in radio interferometry

abstract: Mitigation of radio frequency interference (RFI) is essential to deliver science-ready radio interferometric data to astronomers. In this paper, using dual polarized radio interferometers, we propose to use the polarization information of post-correlation interference signals to detect and mitigate them. We use the directional statistics of the polarized signals as the detection criteria and formulate a distributed, wideband spectrum sensing problem. Using consensus optimization, we solve this in an online manner, working with mini-batches of data. We present extensive results based on simulations to demonstrate the feasibility of our method.


title: Assessing the validity of saliency maps for abnormality localization in medical imaging

abstract: Saliency maps have become a widely used method to assess which areas of the input image are most pertinent to the prediction of a trained neural network. However, in the context of medical imaging, there is no study to our knowledge that has examined the efficacy of these techniques and quantified them using overlap with ground truth bounding boxes. In this work, we explored the credibility of the various existing saliency map methods on the RSNA Pneumonia dataset. We found that GradCAM was the most sensitive to model parameter and label randomization, and was highly agnostic to model architecture.


title: A Cloud Native Platform for Stateful Streaming

abstract: We present the architecture of a cloud native version of IBM Streams, with Kubernetes as our target platform. Streams is a general purpose streaming system with its own platform for managing applications and the compute clusters that execute those applications. Cloud native Streams replaces that platform with Kubernetes. By using Kubernetes as its platform, Streams is able to offload job management, life cycle tracking, address translation, fault tolerance and scheduling. This offloading is possible because we define custom resources that natively integrate into Kubernetes, allowing Streams to use Kubernetes' eventing system as its own. We use four design patterns to implement our system: controllers, conductors, coordinators and causal chains. Composing controllers, conductors and coordinators allows us to build deterministic state machines out of an asynchronous distributed system. The resulting implementation eliminates 75% of the original platform code. Our experimental results show that the performance of Kubernetes is an adequate replacement in most cases, but it has problems with oversubscription, networking latency, garbage collection and pod recovery.


title: Grain-Resolved Temperature-Dependent Anisotropy in Hexagonal Ti-7Al Revealed by Synchrotron X-Ray Diffraction

abstract: Hexagonal metals have anisotropic coefficients of thermal expansion causing grain-level internal stresses during heating. High energy x-ray diffraction microscopy, a non-destructive, in situ, micromechanical and microstructural characterization technique, has been used to determine the anisotropic coefficients of thermal expansion (CTEs) for Ti-7Al. Two samples of polycrystalline $\alpha$-phase Ti-7Al were continuously heated from room temperature to 850 $^\circ$C while far-field HEDM scans were collected. The results showed a change in the ratio of the CTEs in the 'a' and 'c' directions which explains discrepancies found in the literature. The CTE additionally appears to be affected by the dissolution of $\alpha_2$ precipitates. Analysis of the grain-resolved micromechanical data also shows reconfiguration of the grain scale stresses likely due to anisotropic expansion driving crystallographic slip.


title: Constraining X-ray emission in HBL blazars using multiwavelength observations

abstract: The X-ray spectrum of extreme HBL type blazars is located in the synchrotron branch of the broadband spectral energy distribution (SED), at energies below the peak. A joint fit of the extrapolated X-ray spectra together with a host galaxy template allows characterizing the synchrotron branch in the SED. The X-ray spectrum is usually characterized either with a pure or a curved power-law model. In the latter case, however, it is hard to distinguish an intrinsic curvature from excess absorption. In this paper, we focus on five well-observed blazars: 1ES 0229+200, PKS 0548-322, RX J1136+6737, 1ES 1741+196, 1ES 2344+514. We constrain the infrared-to-X-ray emission of these five blazars using a model that is characterized by the host galaxy, spectral curvature, absorption, and ultraviolet excess to separate these spectral features. In the case of four sources: 1ES 0229+200, PKS 0548-322, 1ES 1741+196, 1ES 2344+514 the spectral fit with the atomic neutral hydrogen from the Leiden Argentina Bonn Survey result in a significant UV excess present in the broadband spectral energy distribution. Such excess can be interpreted as an additional component, for example, a blue bump. However, in order to describe spectra of these blazars without such excess, additional absorption to the atomic neutral hydrogen from the Leiden Argentina Bonn Survey is needed.


title: Automated Measurements of Key Morphological Features of Human Embryos for IVF

abstract: A major challenge in clinical In-Vitro Fertilization (IVF) is selecting the highest quality embryo to transfer to the patient in the hopes of achieving a pregnancy. Time-lapse microscopy provides clinicians with a wealth of information for selecting embryos. However, the resulting movies of embryos are currently analyzed manually, which is time consuming and subjective. Here, we automate feature extraction of time-lapse microscopy of human embryos with a machine-learning pipeline of five convolutional neural networks (CNNs). Our pipeline consists of (1) semantic segmentation of the regions of the embryo, (2) regression predictions of fragment severity, (3) classification of the developmental stage, and object instance segmentation of (4) cells and (5) pronuclei. Our approach greatly speeds up the measurement of quantitative, biologically relevant features that may aid in embryo selection.


title: Absorbing transition in a coevolution model with node and link states in an adaptive network: Network fragmentation transition at criticality

abstract: We consider a general model in which there is a coupled dynamics of node states and links states in a network. This coupled dynamics coevolves with dynamical changes of the topology of the network caused by a link rewiring mechanism. Such coevolution model features the interaction of the local dynamics of node and link states with the nonlocal dynamics of link-rewiring in a random network. The coupled dynamics of the states of the nodes and the links produces by itself an absorbing phase transition which is shown to be robust against the link rewiring mechanism. However, the dynamics of the network gives rise to significant physical changes, specially in the limit in which some links do not change state but are always rewired: First a network fragmentation occurs at the critical line of the absorbing transition, and only at this line, so that fragmentation is a manifestation of criticality. Secondly, in the active phase of the absorbing transition, finite-size fluctuations take the system to a single network component consensus phase, while other configurations are possible in the absence of rewiring. In addition, this phase is reached after a survival time that scales linearly with system size, while the survival time scales exponentially with system size when there is no rewiring. A social interpretation of our results contribute to the description of processes of emergence of social fragmentation and polarization.


title: The Twist Bend Nematic: A Case of Mistaken Identity

abstract: We review the physics underlying Meyer's conjecture of how macroscopic-scale twist and bend conspire within the Frank-Oseen elasticity theory of nematics to create a heliconical arrangement of the uniaxial, apolar nematic director, the so-called "twist bend nematic" $\rm N_{TB}$. We show that since 2011 a second, lower-temperature nematic phase observed in odd methylene-linked cyanobiphenyl dimers discovered by Toriumi and called $\rm N_X$, has been incorrectly identified as $\rm N_{TB}$. Moreover, as more quantitative data on the $\rm N_X$ emerged, Meyer's simple prediction has been distorted to accommodate those findings. In fact, the molecular organization in the $\rm N_X$ conforms to the $\rm N_{PT}$ phase, a polar, twisted arrangement of nonlinear mesogens advanced in 2016. The attributes of the $\rm N_{PT}$ are summarized and differentiated from those of the $\rm N_{TB}$ in an effort to contribute to a better understanding of the $\rm N_X$ phase and, equally important, to encourage researchers to continue to search for a liquid crystal that exhibits Meyer's pioneering theoretical suggestion, namely that form-chirality can exist in simple nematics composed of achiral molecules.


title: Refined Reliability Combining for Binary Message Passing Decoding of Product Codes

abstract: We propose a novel soft-aided iterative decoding algorithm for product codes (PCs). The proposed algorithm, named iterative bounded distance decoding with combined reliability (iBDD-CR), enhances the conventional iterative bounded distance decoding (iBDD) of PCs by exploiting some level of soft information. In particular, iBDD-CR can be seen as a modification of iBDD where the hard decisions of the row and column decoders are made based on a reliability estimate of the BDD outputs. The reliability estimates are derived using extrinsic message passing for generalized low-density-parity check (GLDPC) ensembles, which encompass PCs. We perform a density evolution analysis of iBDD-CR for transmission over the additive white Gaussian noise channel for the GLDPC ensemble. We consider both binary transmission and bit-interleaved coded modulation with quadrature amplitude modulation.We show that iBDD-CR achieves performance gains up to $0.51$ dB compared to iBDD with the same internal decoder data flow. This makes the algorithm an attractive solution for very high-throughput applications such as fiber-optic communications.


title: Speeding up Particle Track Reconstruction using a Parallel Kalman Filter Algorithm

abstract: One of the most computationally challenging problems expected for the High-Luminosity Large Hadron Collider (HL-LHC) is determining the trajectory of charged particles during event reconstruction. Algorithms used at the LHC today rely on Kalman filtering, which builds physical trajectories incrementally while incorporating material effects and error estimation. Recognizing the need for faster computational throughput, we have adapted Kalman-filter-based methods for highly parallel, many-core SIMD architectures that are now prevalent in high-performance hardware. In this paper, we discuss the design and performance of the improved tracking algorithm, referred to as mkFit. A key piece of the algorithm is the Matriplex library, containing dedicated code to optimally vectorize operations on small matrices. The physics performance of the mkFit algorithm is comparable to the nominal CMS tracking algorithm when reconstructing tracks from simulated proton-proton collisions within the CMS detector. We study the scaling of the algorithm as a function of the parallel resources utilized and find large speedups both from vectorization and multi-threading. mkFit achieves a speedup of a factor of 6 compared to the nominal algorithm when run in a single-threaded application within the CMS software framework.


title: Which homotopy algebras come from transfer?

abstract: We characterize $A_\infty$-structures that are transfers over a chain homotopy equivalence or a quasi-isomorphism, answering a question posed by D. Sullivan. Along the way, we present an obstruction theory for weak $A_\infty$-morphisms over an arbitrary commutative ring. We then generalize our results to ${\mathcal P}_\infty$-structures over a field of characteristic zero, for any quadratic Koszul operad ${\mathcal P}$.


title: Infectious Disease Forecasting for Public Health

abstract: Forecasting transmission of infectious diseases, especially for vector-borne diseases, poses unique challenges for researchers. Behaviors of and interactions between viruses, vectors, hosts, and the environment each play a part in determining the transmission of a disease. Public health surveillance systems and other sources provide valuable data that can be used to accurately forecast disease incidence. However, many aspects of common infectious disease surveillance data are imperfect: cases may be reported with a delay or in some cases not at all, data on vectors may not be available, and case data may not be available at high geographical or temporal resolution. In the face of these challenges, researchers must make assumptions to either account for these underlying processes in a mechanistic model or to justify their exclusion altogether in a statistical model. Whether a model is mechanistic or statistical, researchers should evaluate their model using accepted best practices from the emerging field of infectious disease forecasting while adopting conventions from other fields that have been developing forecasting methods for decades. Accounting for assumptions and properly evaluating models will allow researchers to generate forecasts that have the potential to provide valuable insights for public health officials. This chapter provides a background to the practice of forecasting in general, discusses the biological and statistical models used for infectious disease forecasting, presents technical details about making and evaluating forecasting models, and explores the issues in communicating forecasting results in a public health context.


title: Automatic Diagnosis of Pulmonary Embolism Using an Attention-guided Framework: A Large-scale Study

abstract: Pulmonary Embolism (PE) is a life-threatening disorder associated with high mortality and morbidity. Prompt diagnosis and immediate initiation of therapeutic action is important. We explored a deep learning model to detect PE on volumetric contrast-enhanced chest CT scans using a 2-stage training strategy. First, a residual convolutional neural network (ResNet) was trained using annotated 2D images. In addition to the classification loss, an attention loss was added during training to help the network focus attention on PE. Next, a recurrent network was used to scan sequentially through the features provided by the pre-trained ResNet to detect PE. This combination allows the network to be trained using both a limited and sparse set of pixel-level annotated images and a large number of easily obtainable patient-level image-label pairs. We used 1,670 sparsely annotated studies and more than 10,000 labeled studies in our training. On a test set with 2,160 patient studies, the proposed method achieved an area under the ROC curve (AUC) of 0.812. The proposed framework is also able to provide localized attention maps that indicate possible PE lesions, which could potentially help radiologists accelerate the diagnostic process.


title: iCapsNets: Towards Interpretable Capsule Networks for Text Classification

abstract: Many text classification applications require models with satisfying performance as well as good interpretability. Traditional machine learning methods are easy to interpret but have low accuracies. The development of deep learning models boosts the performance significantly. However, deep learning models are typically hard to interpret. In this work, we propose interpretable capsule networks (iCapsNets) to bridge this gap. iCapsNets use capsules to model semantic meanings and explore novel methods to increase interpretability. The design of iCapsNets is consistent with human intuition and enables it to produce human-understandable interpretation results. Notably, iCapsNets can be interpreted both locally and globally. In terms of local interpretability, iCapsNets offer a simple yet effective method to explain the predictions for each data sample. On the other hand, iCapsNets explore a novel way to explain the model's general behavior, achieving global interpretability. Experimental studies show that our iCapsNets yield meaningful local and global interpretation results, without suffering from significant performance loss compared to non-interpretable methods.


title: Fast Execute-Only Memory for Embedded Systems

abstract: Remote code disclosure attacks threaten embedded systems as they allow attackers to steal intellectual property or to find reusable code for use in control-flow hijacking attacks. Execute-only memory (XOM) prevents remote code disclosures, but existing XOM solutions either require a memory management unit that is not available on ARM embedded systems or incur significant overhead. We present PicoXOM: a fast and novel XOM system for ARMv7-M and ARMv8-M devices which leverages ARM's Data Watchpoint and Tracing unit along with the processor's simplified memory protection hardware. On average, PicoXOM incurs 0.33% performance overhead and 5.89% code size overhead on two benchmark suites and five real-world applications.


title: CLARITY -- Comparing heterogeneous data using dissimiLARITY

abstract: Integrating datasets from different disciplines is hard because the data are often qualitatively different in meaning, scale, and reliability. When two datasets describe the same entities, many scientific questions can be phrased around whether the (dis)similarities between entities are conserved across such different data. Our method, CLARITY, quantifies consistency across datasets, identifies where inconsistencies arise, and aids in their interpretation. We illustrate this using three diverse comparisons: gene methylation vs expression, evolution of language sounds vs word use, and country-level economic metrics vs cultural beliefs. The non-parametric approach is robust to noise and differences in scaling, and makes only weak assumptions about how the data were generated. It operates by decomposing similarities into two components: a `structural' component analogous to a clustering, and an underlying `relationship' between those structures. This allows a `structural comparison' between two similarity matrices using their predictability from `structure'. Significance is assessed with the help of re-sampling appropriate for each dataset. The software, CLARITY, is available as an R package from https://github.com/danjlawson/CLARITY.


title: Low-temperature breakdown of many-body perturbation theory for thermodynamics

abstract: It is shown analytically and numerically that the finite-temperature many-body perturbation theory in the grand canonical ensemble has zero radius of convergence at zero temperature when the energy ordering or degree of degeneracy for the ground state changes with the perturbation strength. When the degeneracy of the reference state is partially or fully lifted at the first-order Hirschfelder-Certain degenerate perturbation theory, the grand potential and internal energy diverge as $T \to 0$. Contrary to earlier suggestions of renormalizability by the chemical potential $\mu$, this nonconvergence, first suspected by W. Kohn and J. M. Luttinger, is caused by the nonanalytic nature of the Boltzmann factor $e^{-E/k_\text{B}T}$ at $T=0$, also plaguing the canonical ensemble, which does not involve $\mu$. The finding reveals a fundamental flaw in perturbation theory, which is deeply rooted in the mathematical limitation of power-series expansions and is unlikely to be removed within its framework.

categories: physics.chem-ph cond-mat.stat-mech math-ph math.MP


title: Elastic wave propagation in curvilinear coordinates with mesh refinement interfaces by a fourth order finite difference method

abstract: We develop a fourth order accurate finite difference method for the three dimensional elastic wave equation in isotropic media with the piecewise smooth material property. In our model, the material property can be discontinuous at curved interfaces. The governing equations are discretized in second order form on curvilinear meshes by using a fourth order finite difference operator satisfying a summation-by-parts property. The method is energy stable and high order accurate. The highlight is that mesh sizes can be chosen according to the velocity structure of the material so that computational efficiency is improved. At the mesh refinement interfaces with hanging nodes, physical interface conditions are imposed by using ghost points and interpolation. With a fourth order predictor-corrector time integrator, the fully discrete scheme is energy conserving. Numerical experiments are presented to verify the fourth order convergence rate and the energy conserving property.


title: Synthetic Learning: Learn From Distributed Asynchronized Discriminator GAN Without Sharing Medical Image Data

abstract: In this paper, we propose a data privacy-preserving and communication efficient distributed GAN learning framework named Distributed Asynchronized Discriminator GAN (AsynDGAN). Our proposed framework aims to train a central generator learns from distributed discriminator, and use the generated synthetic image solely to train the segmentation model.We validate the proposed framework on the application of health entities learning problem which is known to be privacy sensitive. Our experiments show that our approach: 1) could learn the real image's distribution from multiple datasets without sharing the patient's raw data. 2) is more efficient and requires lower bandwidth than other distributed deep learning methods. 3) achieves higher performance compared to the model trained by one real dataset, and almost the same performance compared to the model trained by all real datasets. 4) has provable guarantees that the generator could learn the distributed distribution in an all important fashion thus is unbiased.


title: Photo-Induced Anomalous Hall Effect in Two-Dimensional Transition-Metal Dichalcogenides

abstract: A circularly polarized a.c. pump field illuminated near resonance on two-dimensional transition metal dichalcogenides (TMDs) produces an anomalous Hall effect in response to a d.c. bias field. In this work, we develop a theory for this photo-induced anomalous Hall effect in undoped TMDs irradiated by a strong coherent laser field. The strong field renormalizes the equilibrium bands and opens up a dynamical energy gap where single-photon resonance occurs. The resulting photon dressed states, or Floquet states, are treated within the rotating wave approximation. A quantum kinetic equation approach is developed to study the non-equilibrium density matrix and time-averaged transport currents under the simultaneous influence of the strong a.c. pump field and the weak d.c. probe field. Dissipative effects are taken into account in the kinetic equation that captures relaxation and dephasing. The photo-induced longitudinal and Hall conductivities display notable resonant signatures when the pump field frequency reaches the spin-split interband transition energies. Rather than valley polarization, we find that the anomalous Hall current is mainly driven by the intraband response of photon-dressed electron populations near the dynamical gap at both valleys, accompanied by a smaller contribution due to interband coherences. These findings highlight the importance of photon-dressed bands and non-equilibrium distribution functions in achieving a proper understanding of photo-induced anomalous Hall effect in a strong pump field.


title: Meta Clustering for Collaborative Learning

abstract: In collaborative learning, learners coordinate to enhance each of their learning performances. From the perspective of any learner, a critical challenge is to filter out unqualified collaborators. We propose a framework named meta clustering to address the challenge. Unlike the classical problem of clustering data points, meta clustering categorizes learners. Assuming each learner performs a supervised regression on a standalone local dataset, we propose a Select-Exchange-Cluster (SEC) method to classify the learners by their underlying supervised functions. We theoretically show that the SEC can cluster learners into accurate collaboration sets. Empirical studies corroborate the theoretical analysis and demonstrate that SEC can be computationally efficient, robust against learner heterogeneity, and effective in enhancing single-learner performance. Also, we show how the proposed approach may be used to enhance data fairness. Supplementary materials for this article are available online.


title: Automatic segmentation of the pulmonary lobes with a 3D u-net and optimized loss function

abstract: Fully-automatic lung lobe segmentation is challenging due to anatomical variations, pathologies, and incomplete fissures. We trained a 3D u-net for pulmonary lobe segmentation on 49 mainly publically available datasets and introduced a weighted Dice loss function to emphasize the lobar boundaries. To validate the performance of the proposed method we compared the results to two other methods. The new loss function improved the mean distance to 1.46 mm (compared to 2.08 mm for simple loss function without weighting).


title: Clustering-informed Cinematic Astrophysical Data Visualization with Application to the Moon-forming Terrestrial Synestia

abstract: Scientific visualization tools are currently not optimized to create cinematic, production-quality representations of numerical data for the purpose of science communication. In our pipeline \texttt{Estra}, we outline a step-by-step process from a raw simulation into a finished render as a way to teach non-experts in the field of visualization how to achieve production-quality outputs on their own. We demonstrate feasibility of using the visual effects software Houdini for cinematic astrophysical data visualization, informed by machine learning clustering algorithms. To demonstrate the capabilities of this pipeline, we used a post-impact, thermally-equilibrated Moon-forming synestia from \cite{Lock18}. Our approach aims to identify "physically interpretable" clusters, where clusters identified in an appropriate phase space (e.g. here we use a temperature-entropy phase-space) correspond to physically meaningful structures within the simulation data. Clustering results can then be used to highlight these structures by informing the color-mapping process in a simplified Houdini software shading network, where dissimilar phase-space clusters are mapped to different color values for easier visual identification. Cluster information can also be used in 3D position space, via Houdini's Scene View, to aid in physical cluster finding, simulation prototyping, and data exploration. Our clustering-based renders are compared to those created by the Advanced Visualization Lab (AVL) team for the full dome show "Imagine the Moon" as proof of concept. With \texttt{Estra}, scientists have a tool to create their own production-quality, data-driven visualizations.


title: Mortality containment vs. economics opening: optimal policies in a SEIARD model

abstract: We adapt a SEIRD differential model with asymptomatic population and Covid deaths, which we call SEAIRD, to simulate the evolution of COVID-19, and add a control function affecting both the diffusion of the virus and GDP, featuring all direct and indirect containment policies; to model feasibility, the control is assumed to be a piece-wise linear function satisfying additional constraints. We describe the joint dynamics of infection and the economy and discuss the trade-off between production and fatalities. In particular, we carefully study the conditions for the existence of the optimal policy response and its uniqueness. Uniqueness crucially depends on the marginal rate of substitution between the statistical value of a human life and GDP; we show an example with a phase transition: above a certain threshold, there is a unique optimal containment policy; below the threshold, it is optimal to abstain from any containment; and at the threshold itself there are two optimal policies. We then explore and evaluate various profiles of various control policies dependent on a small number of parameters.

categories: physics.soc-ph econ.GN math.OC q-bio.PE q-fin.EC


title: Synthesizing lesions using contextual GANs improves breast cancer classification on mammograms

abstract: Data scarcity and class imbalance are two fundamental challenges in many machine learning applications to healthcare. Breast cancer classification in mammography exemplifies these challenges, with a malignancy rate of around 0.5% in a screening population, which is compounded by the relatively small size of lesions (~1% of the image) in malignant cases. Simultaneously, the prevalence of screening mammography creates a potential abundance of non-cancer exams to use for training. Altogether, these characteristics lead to overfitting on cancer cases, while under-utilizing non-cancer data. Here, we present a novel generative adversarial network (GAN) model for data augmentation that can realistically synthesize and remove lesions on mammograms. With self-attention and semi-supervised learning components, the U-net-based architecture can generate high resolution (256x256px) outputs, as necessary for mammography. When augmenting the original training set with the GAN-generated samples, we find a significant improvement in malignancy classification performance on a test set of real mammogram patches. Overall, the empirical results of our algorithm and the relevance to other medical imaging paradigms point to potentially fruitful further applications.


title: Amplification of Electrostriction Mechanism of Photoacoustic Conversion in Layered Media

abstract: In this work we have performed an analysis of electrostriction mechanism of optical to acoustical energy conversion on the interface of two materials with low optical absorption. We compared this method of conversion with widely used thermal conversion based on thin metal film. It was shown, that the contribution of electrostriction mechanism is significantly lower in case of homogeneous medium. We demonstrated the possibility to amplify the generated acoustic signal by excitation of the guided modes, which energy is localized in a thin (of about 200-400 nm thickness) dielectric layer. Due to high electromagnetic field energy concentration in the structure, local values of intensity increase by more than two order of magnitude in comparison to intensity of incident light, that also allows to increase the amplitude of the pressure correspondingly. Thus, in the project we propose the novel layered dielectric structures, in which electrostriction effect occurs due to excitation of the guided modes.


title: KGTK: A Toolkit for Large Knowledge Graph Manipulation and Analysis

abstract: Knowledge graphs (KGs) have become the preferred technology for representing, sharing and adding knowledge to modern AI applications. While KGs have become a mainstream technology, the RDF/SPARQL-centric toolset for operating with them at scale is heterogeneous, difficult to integrate and only covers a subset of the operations that are commonly needed in data science applications. In this paper we present KGTK, a data science-centric toolkit designed to represent, create, transform, enhance and analyze KGs. KGTK represents graphs in tables and leverages popular libraries developed for data science applications, enabling a wide audience of developers to easily construct knowledge graph pipelines for their applications. We illustrate the framework with real-world scenarios where we have used KGTK to integrate and manipulate large KGs, such as Wikidata, DBpedia and ConceptNet.


title: Graph-based calibration transfer

abstract: The problem of transferring calibrations from a primary to a secondary instrument, i.e. calibration transfer (CT), has been a matter of considerable research in chemometrics over the past decades. Current state-of-the-art (SoA) methods like (piecewise) direct standardization perform well when suitable transfer standards are available. However, stable calibration standards that share similar (spectral) features with the calibration samples are not always available. Towards enabling CT with arbitrary calibration standards, we propose a novel CT technique that employs manifold regularization of the partial least squares (PLS) objective. In particular, our method enforces that calibration standards, measured on primary and secondary instruments, have (nearly) invariant projections in the latent variable space of the primary calibration model. Thereby, our approach implicitly removes inter-device variation in the predictive directions of X which is in contrast to most state-of-the-art techniques that employ explicit pre-processing of the input data. We test our approach on the well-known corn benchmark data set employing the NBS glass standard spectra for instrument standardization and compare the results with current SoA methods.


title: Anatomical Predictions using Subject-Specific Medical Data

abstract: Changes over time in brain anatomy can provide important insight for treatment design or scientific analyses. We present a method that predicts how a brain MRI for an individual will change over time. We model changes using a diffeomorphic deformation field that we predict using function using convolutional neural networks. Given a predicted deformation field, a baseline scan can be warped to give a prediction of the brain scan at a future time. We demonstrate the method using the ADNI cohort, and analyze how performance is affected by model variants and the subject-specific information provided. We show that the model provides good predictions and that external clinical data can improve predictions.


title: Geometric concepts for stellarator permanent magnet arrays

abstract: The development of stellarators that use permanent magnet arrays to shape their confining magnetic fields has been a topic of recent interest, but the requirements for how such magnets must be shaped, manufactured, and assembled remain to be determined. To address these open questions, we have performed a study of geometric concepts for magnet arrays with the aid of the newly developed MAGPIE code. A proposed experiment similar to the National Compact Stellarator Experiment (NCSX) is used as a test case. Two classes of magnet geometry are explored: curved bricks that conform to a regular grid in cylindrical coordinates, and hexahedra that conform to the toroidal plasma geometry. In addition, we test constraints on the magnet polarization. While magnet configurations constrained to be polarized normally to a toroidal surface around the plasma are unable to meet the required magnetic field parameters when subject to physical limitations on the strength of present-day magnets, configurations with unconstrained polarizations are shown to satisfy the physics requirements for a targeted plasma.


title: Edge states of the long-range Kitaev chain: an analytical study

abstract: We analyze the properties of the edge states of the one-dimensional Kitaev model with long-range anisotropic pairing and tunneling. Tunneling and pairing are assumed to decay algebraically with exponents $\alpha$ and $\beta$, respectively, and $\alpha,\beta>1$. We determine analytically the decay of the edges modes. We show that the decay is exponential for $\alpha=\beta$ and when the coefficients scaling tunneling and pairing terms are equal. Otherwise, the decay is exponential at sufficiently short distances and then algebraic at the asymptotics. We show that the exponent of the algebraic tail is determined by the smallest exponent between $\alpha$ and $\beta$. Our predictions are in agreement with numerical results found by exact diagonalization and in the literature.


title: Explainable Artificial Intelligence: a Systematic Review

abstract: Explainable Artificial Intelligence (XAI) has experienced a significant growth over the last few years. This is due to the widespread application of machine learning, particularly deep learning, that has led to the development of highly accurate models but lack explainability and interpretability. A plethora of methods to tackle this problem have been proposed, developed and tested. This systematic review contributes to the body of knowledge by clustering these methods with a hierarchical classification system with four main clusters: review articles, theories and notions, methods and their evaluation. It also summarises the state-of-the-art in XAI and recommends future research directions.


title: InfiniteWalk: Deep Network Embeddings as Laplacian Embeddings with a Nonlinearity

abstract: The skip-gram model for learning word embeddings (Mikolov et al. 2013) has been widely popular, and DeepWalk (Perozzi et al. 2014), among other methods, has extended the model to learning node representations from networks. Recent work of Qiu et al. (2018) provides a closed-form expression for the DeepWalk objective, obviating the need for sampling for small datasets and improving accuracy. In these methods, the "window size" T within which words or nodes are considered to co-occur is a key hyperparameter. We study the objective in the limit as T goes to infinity, which allows us to simplify the expression of Qiu et al. We prove that this limiting objective corresponds to factoring a simple transformation of the pseudoinverse of the graph Laplacian, linking DeepWalk to extensive prior work in spectral graph embeddings. Further, we show that by a applying a simple nonlinear entrywise transformation to this pseudoinverse, we recover a good approximation of the finite-T objective and embeddings that are competitive with those from DeepWalk and other skip-gram methods in multi-label classification. Surprisingly, we find that even simple binary thresholding of the Laplacian pseudoinverse is often competitive, suggesting that the core advancement of recent methods is a nonlinearity on top of the classical spectral embedding approach.


title: Phase-space propagation and stability analysis of the 1-dimensional Schr\"odinger equation for finding bound and resonance states of rotationally excited H$_2$

abstract: A mathematical phase-space representation of the 1-dimensional Schr\"odinger equation is employed to obtain bound and resonance states of the rotationally excited H$_2$ molecule. The structure of the phase-space tangent field is analyzed and related to the behavior of the wave function in classically allowed and forbidden regions. In this phase-space representation, bound states behave like unstable orbits meanwhile resonance states behave similarly to asymptotically stable cycles. The lattice of quantum states of the energy-momentum diagram for H$_2$ is calculated allowing to have a global view of the energy as function of the quantum numbers. The arc length and winding number of the phase-space trajectories, as functions of the energy, are used to obtain the energy eigenvalues of bound and resonance states of H$_2$


title: A single-step third-order temporal discretization with Jacobian-free and Hessian-free formulations for finite difference methods

abstract: Discrete updates of numerical partial differential equations (PDEs) rely on two branches of temporal integration. The first branch is the widely-adopted, traditionally popular approach of the method-of-lines (MOL) formulation, in which multi-stage Runge-Kutta (RK) methods have shown great success in solving ordinary differential equations (ODEs) at high-order accuracy. The clear separation between the temporal and the spatial discretizations of the governing PDEs makes the RK methods highly adaptable. In contrast, the second branch of formulation using the so-called Lax-Wendroff procedure escalates the use of tight couplings between the spatial and temporal derivatives to construct high-order approximations of temporal advancements in the Taylor series expansions. In the last two decades, modern numerical methods have explored the second route extensively and have proposed a set of computationally efficient single-stage, single-step high-order accurate algorithms. In this paper, we present an algorithmic extension of the method called the Picard integration formulation (PIF) that belongs to the second branch of the temporal updates. The extension presented in this paper furnishes ease of calculating the Jacobian and Hessian terms necessary for third-order accuracy in time.

categories: physics.comp-ph astro-ph.HE cs.NA math.NA


title: Programmable In-Network Obfuscation of Traffic

abstract: Recent advances in programmable switch hardware offer a fresh opportunity to protect user privacy. This paper presents PINOT, a lightweight in-network anonymity solution that runs at line rate within the memory and processing constraints of hardware switches. PINOT encrypts a client's IPv4 address with an efficient encryption scheme to hide the address from downstream ASes and the destination server. PINOT is readily deployable, requiring no end-user software or cooperation from networks other than the trusted network where it runs. We implement a PINOT prototype on the Barefoot Tofino switch, deploy PINOT in a campus network, and present results on protecting user identity against public DNS, NTP, and WireGuard VPN services.


title: Long term dynamics of the subgradient method for Lipschitz path differentiable functions

abstract: We consider the long-term dynamics of the vanishing stepsize subgradient method in the case when the objective function is neither smooth nor convex. We assume that this function is locally Lipschitz and path differentiable, i.e., admits a chain rule. Our study departs from other works in the sense that we focus on the behavoir of the oscillations, and to do this we use closed measures. We recover known convergence results, establish new ones, and show a local principle of oscillation compensation for the velocities. Roughly speaking, the time average of gradients around one limit point vanishes. This allows us to further analyze the structure of oscillations, and establish their perpendicularity to the general drift.


title: Structural characterization of some problems on circle and interval graphs

abstract: A graph is circle if there is a family of chords in a circle such that two vertices are adjacent if the corresponding chords cross each other. There are diverse characterizations of circle graphs, many of them using the notions of local complementation or split decomposition. However, there are no known structural characterization by minimal forbidden induced subgraphs for circle graphs. In this thesis, we give a characterization by forbidden induced subgraphs of circle graphs within split graphs. A $(0,1)$-matrix has the consecutive-ones property (C1P) for the rows if there is a permutation of its columns such that the $1$'s in each row appear consecutively. In this thesis, we develop characterizations by forbidden subconfigurations of $(0,1)$-matrices with the C1P for which the rows are $2$-colorable under a certain adjacency relationship, and we characterize structurally some auxiliary circle graph subclasses that arise from these special matrices. Given a graph class $\Pi$, a $\Pi$-completion of a graph $G = (V,E)$ is a graph $H = (V, E \cup F)$ such that $H$ belongs to $\Pi$. A $\Pi$-completion $H$ of $G$ is minimal if $H'= (V, E \cup F')$ does not belong to $\Pi$ for every proper subset $F'$ of $F$. A $\Pi$-completion $H$ of $G$ is minimum if for every $\Pi$-completion $H' = (V, E \cup F')$ of $G$, the cardinal of $F$ is less than or equal to the cardinal of $F'$. In this thesis, we study the problem of completing minimally to obtain a proper interval graph when the input is an interval graph. We find necessary conditions that characterize a minimal completion in this particular case, and we leave some conjectures for the future.


title: Automated Neuron Shape Analysis from Electron Microscopy

abstract: Morphology based analysis of cell types has been an area of great interest to the neuroscience community for several decades. Recently, high resolution electron microscopy (EM) datasets of the mouse brain have opened up opportunities for data analysis at a level of detail that was previously impossible. These datasets are very large in nature and thus, manual analysis is not a practical solution. Of particular interest are details to the level of post synaptic structures. This paper proposes a fully automated framework for analysis of post-synaptic structure based neuron analysis from EM data. The processing framework involves shape extraction, representation with an autoencoder, and whole cell modeling and analysis based on shape distributions. We apply our novel framework on a dataset of 1031 neurons obtained from imaging a 1mm x 1mm x 40 micrometer volume of the mouse visual cortex and show the strength of our method in clustering and classification of neuronal shapes.


title: A Novel Reliability-based Robust Design Multi-objective Optimization Formulation Applied in Chemical Engineering

abstract: Mathematical models simulate various events under different conditions, enabling an early overview of the system to be implemented in practice, reducing the waste of resources and in less time. In project optimization, these models play a fundamental role, allowing to obtain parameters and attributes capable of enhancing product performance, reducing costs and operating time. These enhancements depend on several factors, including an accurate computational modeling of the inherent characteristics of the system. In general, such models include uncertainties in their mathematical formulations, which affect the feasibility of the results and their practical implementation. In this work, two different approaches capable of quantifying uncertainties during the optimization of mathematical models are considered. In the first, robust optimization, the sensitivity of decision variables in relation to deviations caused by external factors is evaluated. Robust solutions tend to reduce deviations due to possible system changes. The second approach, reliability-based optimization, measures the probability of system failure and obtains model parameters that ensures an established level of reliability. Overall, the fundamental objective is to formulate a multi-objective optimization problem capable of handling robust and reliability-based optimizations, to obtain solutions that are least sensitive to external noise and that satisfy prescribed reliability levels. The proposed formulation is analyzed by solving benchmark and chemical engineering problems. The results show the influence of both methodologies for the analysis of uncertainties, the multi-objective approach provides a variety of feasible optimizers, and the formulation proves to be flexible, so that the uncertainties can be incorporated into the problem considering the needs of each project.


title: Vanishing Zeeman energy in a two-dimensional hole gas

abstract: A clear signature of Zeeman split states crossing is observed in Landau fan diagram of strained germanium two-dimensional hole gas. The underlying mechanisms are discussed based on a perturbative model yielding a closed formula for the critical magnetic fields. These fields depend strongly on the energy difference between the top-most and the neighboring valence bands and are sensitive to the quantum well thickness, strain, and spin-orbit-interaction. The latter is a necessary feature for the crossing to occur. This framework enables a straightforward quantification of the hole-state parameters from simple measurements, thus paving the way for its use in design and modelling of hole-based quantum devices.


title: MDE-ITMF and DEwI: Two New Multiple Solution Algorithms for Multimodal Optimization

abstract: Mathematical formulations of real world optimization studies frequently present characteristics such as non-linearity, discontinuity and high complexity. This class of problems may also exhibit a high number of global minimum/maximum points, especially for optimization problems arising from nonlinear algebraic systems (where null minima correspond to the solutions of the original algebraic system). Due to the multimodal nature of these functions, multipopulation methods have been employed in order to obtain the highest number of points of global minimum/maximum. In this work, two new approaches were analyzed, employing an iterative penalization technique and a multipopulation procedure---together with the Differential Evolution algorithm---devoted to obtain the full set of solutions for multimodal optimization problems. The first method proposed is the Multipopulation Differential Evolution with iterative technique of modification of the objective function, MDE-ITMF, and the second method proposed is the Differential Evolution with Initialization, DEwI. In this second proposal, the MDE-ITMF method is used as an initializer of the initial populations and from a given moment the Differential Evolution is used to solve the problem at hand. In both approaches, subpopulations evolve simultaneously throughout the iterative process. MDE-ITMF and DEwI methods were applied in a set of ten multimodal benchmark functions. Based on the results obtained, we can conclude that MDE-ITMF and DEwI are suitable and promising tools for multimodal optimization.


title: OT-Flow: Fast and Accurate Continuous Normalizing Flows via Optimal Transport

abstract: A normalizing flow is an invertible mapping between an arbitrary probability distribution and a standard normal distribution; it can be used for density estimation and statistical inference. Computing the flow follows the change of variables formula and thus requires invertibility of the mapping and an efficient way to compute the determinant of its Jacobian. To satisfy these requirements, normalizing flows typically consist of carefully chosen components. Continuous normalizing flows (CNFs) are mappings obtained by solving a neural ordinary differential equation (ODE). The neural ODE's dynamics can be chosen almost arbitrarily while ensuring invertibility. Moreover, the log-determinant of the flow's Jacobian can be obtained by integrating the trace of the dynamics' Jacobian along the flow. Our proposed OT-Flow approach tackles two critical computational challenges that limit a more widespread use of CNFs. First, OT-Flow leverages optimal transport (OT) theory to regularize the CNF and enforce straight trajectories that are easier to integrate. Second, OT-Flow features exact trace computation with time complexity equal to trace estimators used in existing CNFs. On five high-dimensional density estimation and generative modeling tasks, OT-Flow performs competitively to state-of-the-art CNFs while on average requiring one-fourth of the number of weights with an 8x speedup in training time and 24x speedup in inference.


title: A Nonparametric Bayesian Item Response Modeling Approach for Clustering Items and Individuals Simultaneously

abstract: Item response theory (IRT) is a popular modeling paradigm for measuring subject latent traits and item properties according to discrete responses in tests or questionnaires. There are very limited discussions on heterogeneity pattern detection for both items and individuals. In this paper, we introduce a nonparametric Bayesian approach for clustering items and individuals simultaneously under the Rasch model. Specifically, our proposed method is based on the mixture of finite mixtures (MFM) model. MFM obtains the number of clusters and the clustering configurations for both items and individuals simultaneously. The performance of parameters estimation and parameters clustering under the MFM Rasch model is evaluated by simulation studies, and a real date set is applied to illustrate the MFM Rasch modeling.


title: Feedback stabilization of linear and bilinear unbounded systems in Banach space

abstract: We consider linear control systems of the form $\dot{y}(t)=Ay(t)-\mu B C y(t)$ where $\mu$ is a positive real parameter, $A$ is the state operator and generates a linear $C_0-$semigroup of contractions $S(t) $ on a Banach space $X$, $B$ and $C$ are respectively the operators of control and observability, which are defined in appropriate spaces in which they are unbounded in some sense. We aim to show the exponential stability of the above system under sufficient conditions which are expressed in term of admissibility and observability properties. The uniform exponential stabilization using bilinear control is considered as well. Applications to transport and heat equations are also provided.


title: A Low-Order Method for Prediction of Separation and Stall on Unswept Wings

abstract: A low-order method is presented for aerodynamic prediction of wings operating at near-stall and post-stall flight conditions. The method is intended for use in design, modeling, and simulation. In this method, the flow separation due to stall is modeled in a vortex-lattice framework as an effective reduction in the camber, or "decambering." For each section of the wing, a parabolic decambering flap, hinged at the separation location of the section, is calculated through iteration to ensure that the lift and moment coefficients of the section match with the values from the two-dimensional viscous input curves for the effective angle of attack of the section. As an improvement from earlier low-order methods, this method also predicts the separation pattern on the wing. Results from the method, presented for unswept wings having various airfoils, aspect ratios, taper ratios, and small, quasi-steady roll rates, are shown to agree well with experimental results in the literature, and computational solutions obtained as part of the current work.


title: First Measurement of Differential Charged Current Quasielastic-like $\nu_\mu$-Argon Scattering Cross Sections with the MicroBooNE Detector

abstract: We report on the first measurement of flux-integrated single differential cross sections for charged-current (CC) muon neutrino ($\nu_\mu$) scattering on argon with a muon and a proton in the final state, $^{40}$Ar($\nu_\mu$,$\mu$p)X. The measurement was carried out using the Booster Neutrino Beam at Fermi National Accelerator Laboratory and the MicroBooNE liquid argon time projection chamber detector with an exposure of 4.59 $\times$ 10$^{19}$ protons on target. Events are selected to enhance the contribution of CC quasielastic (CCQE) interactions. The data are reported in terms of a total cross section as well as single differential cross sections in final state muon and proton kinematics. We measure the integrated per-nucleus CCQE-like cross section (i.e. for interactions leading to a muon, one proton and no pions above detection threshold) of (4.93 $\pm$ 0.76stat $\pm$ 1.29sys) $\times$ 10$^{-38}$cm$^2$, in good agreement with theoretical calculations. The single differential cross sections are also in overall good agreement with theoretical predictions, except at very forward muon scattering angles that correspond to low momentum-transfer events.


title: Improving Qubit Readout with Hidden Markov Models

abstract: We demonstrate the application of pattern recognition algorithms via hidden Markov models (HMM) for qubit readout. This scheme provides a state-path trajectory approach capable of detecting qubit state transitions and makes for a robust classification scheme with higher starting state assignment fidelity than when compared to a multivariate Gaussian (MVG) or a support vector machine (SVM) scheme. Therefore, the method also eliminates the qubit-dependent readout time optimization requirement in current schemes. Using a HMM state discriminator we estimate fidelities reaching the ideal limit. Unsupervised learning gives access to transition matrix, priors, and IQ distributions, providing a toolbox for studying qubit state dynamics during strong projective readout.