title: A new type of boundary layers, a representative model, and surface wrinkling in inhomogeneous plates

abstract: We find a new type of boundary layers that occur at the top and bottom surfaces of an inhomogeneous plate. The boundary layers of this type never occur in homogeneous plates or plates made of layers of homogeneous materials. The thickness of such a boundary layer is usually less than that of a one single fiber of the plate. Moreover, we introduce a new notion of representative plate as a plate whose stress-strain state in some parts is similar to the stress-strain state in the original plate. In addition, every part of the original plate has a corresponding part in the representative plate. We demonstrate that a three-layered plate can be representative of a plate formed of an arbitrary number of layers. We also demonstrate a wrinkling phenomenon that happens on the top and bottom surfaces of inhomogeneous plates. This effect does not occur in homogeneous plates or plates made of layers of homogeneous materials. Such wrinkling can become a significant adverse effect, and thus should be given utmost attention.


title: Exploring Temporal Coherence for More General Video Face Forgery Detection

abstract: Although current face manipulation techniques achieve impressive performance regarding quality and controllability, they are struggling to generate temporal coherent face videos. In this work, we explore to take full advantage of the temporal coherence for video face forgery detection. To achieve this, we propose a novel end-to-end framework, which consists of two major stages. The first stage is a fully temporal convolution network (FTCN). The key insight of FTCN is to reduce the spatial convolution kernel size to 1, while maintaining the temporal convolution kernel size unchanged. We surprisingly find this special design can benefit the model for extracting the temporal features as well as improve the generalization capability. The second stage is a Temporal Transformer network, which aims to explore the long-term temporal coherence. The proposed framework is general and flexible, which can be directly trained from scratch without any pre-training models or external datasets. Extensive experiments show that our framework outperforms existing methods and remains effective when applied to detect new sorts of face forgery videos.


title: Martingale Transformations of Brownian Motion with Application to Functional Equations

abstract: We describe the classes of functions $f=(f(x), x\in R)$, for which processes $f(W_t)-Ef(W_t)$ and $f(W_t)/Ef(W_t)$ are martingales. We apply these results to give a martingale characterization of general solutions of the quadratic and the D'Alembert functional equations. We study also the time-dependent martingale transformations of a Brownian Motion.


title: U-mesh: Human Correspondence Matching with Mesh Convolutional Networks

abstract: The proliferation of 3D scanning technology has driven a need for methods to interpret geometric data, particularly for human subjects. In this paper we propose an elegant fusion of regression (bottom-up) and generative (top-down) methods to fit a parametric template model to raw scan meshes. Our first major contribution is an intrinsic convolutional mesh U-net architecture that predicts pointwise correspondence to a template surface. Soft-correspondence is formulated as coordinates in a newly-constructed Cartesian space. Modeling correspondence as Euclidean proximity enables efficient optimization, both for network training and for the next step of the algorithm. Our second contribution is a generative optimization algorithm that uses the U-net correspondence predictions to guide a parametric Iterative Closest Point registration. By employing pre-trained human surface parametric models we maximally leverage domain-specific prior knowledge. The pairing of a mesh-convolutional network with generative model fitting enables us to predict correspondence for real human surface scans including occlusions, partialities, and varying genus (e.g. from self-contact). We evaluate the proposed method on the FAUST correspondence challenge where we achieve 20% (33%) improvement over state of the art methods for inter- (intra-) subject correspondence.


title: Automated Enterprise Architecture Model Mining

abstract: Metadata are like the steam engine of the 21st century, driving businesses and offer multiple enhancements. Nevertheless, many companies are unaware that these data can be used efficiently to improve their own operation. This is where the Enterprise Architecture Framework comes in. It empowers an organisation to get a clear view of their business, application, technical and physical layer. This modelling approach is an established method for organizations to take a deeper look into their structure and processes. The development of such models requires a great deal of effort, is carried out manually by interviewing stakeholders and requires continuous maintenance. Our new approach enables the automated mining of Enterprise Architecture models. The system uses common technologies to collect the metadata based on network traffic, log files and other information in an organisation. Based on this, the new approach generates EA models with the desired views points. Furthermore, a rule and knowledge-based reasoning is used to obtain a holistic overview. This offers a strategic decision support from business structure over process design up to planning the appropriate support technology. Therefore, it forms the base for organisations to act in an agile way. The modelling can be performed in different modelling languages, including ArchiMate and the Nato Architecture Framework (NAF). The designed approach is already evaluated on a small company with multiple services and an infrastructure with several nodes.


title: Windowed Decoding for Delayed Bit-Interleaved Coded Modulation

abstract: Delayed bit-interleaved coded modulation (DBICM) generalizes bit-interleaved coded modulation (BICM) by modulating differently delayed sub-blocks of codewords onto the same signals. DBICM improves transmission reliability over BICM due to its capability of detecting undelayed sub-blocks with the extrinsic information of the decoded delayed sub-blocks. In this work, we propose a novel windowed decoding algorithm for DBICM, which uses the extrinsic information of both the decoded delayed and undelayed sub-blocks, to improve the detection on all sub-blocks. Numerical results show that the proposed windowed decoding significantly outperforms the original decoding.


title: Optical variability of a newly discovered blazar sample from the BZCAT Catalog

abstract: In an optical monitoring program to characterize the variability properties of blazar, we observed 10 sources from the Roma-BZCAT catalogue for 26 nights in V and R bands during October 2014 to June 2015 with two telescopes located in India. The sample includes mainly newly discovered BL Lacs where the redshift of some sources are not known yet. We present the results of flux and color variations of the sample on intraday and short time scales obtained by using the power-enhanced F-test and the nested-ANOVA tests, along with their spectral behavior. We find significant intraday variability in the single FSRQ in our sample, having an amplitude of variation ~12%. Although a few of BL Lacs showed probable variation in some nights, none of them passes the variability tests at 99.9% significance level. We find that 78% of the sample showed significant negative colour--magnitude correlations i.e., a redder-when-brighter spectral evolution. Those which do not show strong or clear chromatism, predominantly exhibit a redder-when-brighter trends. Unlike on hourly timescales, the high synchrotron peaked (HSP) blazars in the sample (BZGJ0656+4237, BZGJ0152+0147 and BZBJ1728+5013) show strong flux variation on days to months timescales, where again we detect a decreasing trend of the spectral slope with brightness. We observe a global steepening of the optical spectrum with increasing flux on intranight timescale for the entire blazar sample. Non-variability in the BL Lacs in our sample could be resulted by distinct contribution from the disk as well as from other components in the studied energy range.


title: Efficient Anytime CLF Reactive Planning System for a Bipedal Robot on Undulating Terrain

abstract: We propose and experimentally demonstrate a reactive planning system for bipedal robots on unexplored, challenging terrains. The system consists of a low-frequency planning thread (5 Hz) to find an asymptotically optimal path and a high-frequency reactive thread (300 Hz) to accommodate robot deviation. The planning thread includes: a multi-layer local map to compute traversability for the robot on the terrain; an anytime omnidirectional Control Lyapunov Function (CLF) for use with a Rapidly Exploring Random Tree Star (RRT*) that generates a vector field for specifying motion between nodes; a sub-goal finder when the final goal is outside of the current map; and a finite-state machine to handle high-level mission decisions. The system also includes a reactive thread to obviate the non-smooth motions that arise with traditional RRT* algorithms when performing path following. The reactive thread copes with robot deviation while eliminating non-smooth motions via a vector field (defined by a closed-loop feedback policy) that provides real-time control commands to the robot's gait controller as a function of instantaneous robot pose. The system is evaluated on various challenging outdoor terrains and cluttered indoor scenes in both simulation and experiment on Cassie Blue, a bipedal robot with 20 degrees of freedom. All implementations are coded in C++ with the Robot Operating System (ROS) and are available at https://github.com/UMich-BipedLab/CLF_reactive_planning_system.


title: Exploration of the hidden charm decays of $Z_{cs}(3985)$

abstract: In the present work, we investigate the decays of $Z^-_{cs}(3985)$ in the $D_s^{-} D^{\ast0} + D_s^{\ast -}D^0$ molecular frame. By using an effective Lagrangian approach, the branching ratios of $Z^-_{cs}\rightarrow J/\psi K^-$ and $Z^-_{cs}\rightarrow \eta_c K^{\ast-}$ are estimated. It is found that the dominating decay mode of $Z^-_{cs}(3985)$ is open charm channel, while, the branching ratio of the hidden charm decay channels is about $20\%$. In particular, the branching ratios of $Z^-_{cs}\rightarrow J/\psi K^-$ and $Z^-_{cs}\rightarrow \eta_c K^{\ast-}$ are predicted to be of order of $10\%$. Moreover, our estimation indicates that the fraction of the quasi-two-body cascade decay via $Z_{cs}(3985)$ and the total cross section of $e^+ e^- \to K^+ K^- J/\psi$ around 4.68 GeV is $\left(6.8^{+10.5}_{-6.2} \right)\%$. All the predicted branching ratios in the present work could be tested by further measurements in BESIII and Belle II.


title: Reference Service Model for Federated Identity Management

abstract: With the pandemic of COVID-19, people around the world increasingly work from home. Each natural person typically has several digital identities with different associated information. During the last years, various identity and access management approaches have gained attraction, helping for example to access other organization's services within trust boundaries. The resulting heterogeneity creates a high complexity to differentiate between these approaches and scenarios as participating entity; combining them is even harder. Last but not least, various actors have a different understanding or perspective of the terms, like 'service', in this context. Our paper describes a reference service with standard components in generic federated identity management. This is utilized with modern Enterprise Architecture using the framework ArchiMate. The proposed universal federated identity management service model (FIMSM) is applied to describe various federated identity management scenarios in a generic service-oriented way. The presented reference design is approved in multiple aspects and is easily applicable in numerous scenarios.


title: Deepfake Representation with Multilinear Regression

abstract: Generative neural network architectures such as GANs, may be used to generate synthetic instances to compensate for the lack of real data. However, they may be employed to create media that may cause social, political or economical upheaval. One emerging media is "Deepfake".Techniques that can discriminate between such media is indispensable. In this paper, we propose a modified multilinear (tensor) method, a combination of linear and multilinear regressions for representing fake and real data. We test our approach by representing Deepfakes with our modified multilinear (tensor) approach and perform SVM classification with encouraging results.


title: Mithril: Cooperative Row Hammer Protection on Commodity DRAM Leveraging Managed Refresh

abstract: Since its public introduction in the mid-2010s, the Row Hammer (RH) phenomenon has drawn significant attention from the research community due to its security implications. Although many RH-protection schemes have been proposed by processor vendors, DRAM manufacturers, and academia, they still have shortcomings. Solutions implemented in the memory controller (MC) incur increasingly higher costs due to their conservative design for the worst case in terms of the number of DRAM banks and RH threshold to support. Meanwhile, DRAM-side implementation either has a limited time margin for RH-protection measures or requires extensive modifications to the standard DRAM interface. Recently, a new command for RH-protection has been introduced in the DDR5/LPDDR5 standards, referred to as refresh management (RFM). RFM enables the separation of the tasks for RHprotection to both MC and DRAM by having the former generate an RFM command at a specific activation frequency and the latter take proper RH-protection measures within a given time window. Although promising, no existing study presents and analyzes RFM-based solutions for RH-protection. In this paper, we propose Mithril, the first RFM interfacecompatible, DRAM-MC cooperative RH-protection scheme providing deterministic protection guarantees. Mithril has minimal energy overheads for common use cases without adversarial memory access patterns. We also introduce Mithril+, an optional extension to provide minimal performance overheads at the expense of a tiny modification to the MC, while utilizing existing DRAM commands.


title: STAR-RIS Aided NOMA in Multi-Cell Networks: A General Analytical Framework with Gamma Distributed Channel Modeling

abstract: The simultaneously transmitting and reflecting reconfigurable intelligent surface (STAR-RIS) is capable of providing full-space coverage of smart radio environments. This work investigates STAR-RIS aided downlink non-orthogonal multiple access (NOMA) multi-cell networks, where the energy of incident signals at STAR-RISs is split into two portions for transmitting and reflecting. We first propose a fitting method to model the distribution of composite small-scale fading power as the tractable Gamma distribution. Then, a unified analytical framework based on stochastic geometry is provided to capture the random locations of RIS-RISs, base stations (BSs), and user equipments (UEs). Based on this framework, we derive the coverage probability and ergodic rate of both the typical UE and the connected UE. In particular, we obtain closed-form expressions of the coverage probability in interference-limited scenarios. We also deduce theoretical expressions in conventional RIS aided networks for comparison. The analytical results show that optimal energy splitting coefficients of STAR-RISs exist to simultaneously maximize the system coverage and ergodic rate. The numerical results demonstrate that: 1) STAR-RISs are able to meet different demands of UEs located on different sides; 2) STAR-RISs with appropriate energy splitting coefficients outperform conventional RISs in the coverage and the rate performance.


title: A Qualitative Study of Architectural Design Issues in DevOps

abstract: Software architecture is critical in succeeding with DevOps. However, designing software architectures that enable and support DevOps (DevOps-driven software architectures) is a challenge for organizations. We assert that one of the essential steps towards characterizing DevOps-driven architectures is to understand architectural design issues raised in DevOps. At the same time, some of the architectural issues that emerge in the DevOps context (and their corresponding architectural practices or tactics) may stem from the context (i.e., domain) and characteristics of software organizations. To this end, we conducted a mixed-methods study that consists of a qualitative case study of two teams in a company during their DevOps transformation and a content analysis of Stack Overflow and DevOps Stack Exchange posts to understand architectural design issues in DevOps. Our study found eight specific and contextual architectural design issues faced by the two teams and classified architectural design issues discussed in Stack Overflow and DevOps Stack Exchange into 11 groups. Our aggregated results reveal that the main characteristics of DevOps-driven architectures are: being loosely coupled and prioritizing deployability, testability, supportability, and modifiability over other quality attributes. Finally, we discuss some concrete implications for research and practice.


title: Temporal Action Segmentation with High-level Complex Activity Labels

abstract: The temporal action segmentation task segments videos temporally and predicts action labels for all frames. Fully supervising such a segmentation model requires dense frame-wise action annotations, which are expensive and tedious to collect. This work is the first to propose a Constituent Action Discovery (CAD) framework that only requires the video-wise high-level complex activity label as supervision for temporal action segmentation. The proposed approach automatically discovers constituent video actions using an activity classification task. Specifically, we define a finite number of latent action prototypes to construct video-level dual representations with which these prototypes are learned collectively through the activity classification training. This setting endows our approach with the capability to discover potentially shared actions across multiple complex activities. Due to the lack of action-level supervision, we adopt the Hungarian matching algorithm to relate latent action prototypes to ground truth semantic classes for evaluation. We show that with the high-level supervision, the Hungarian matching can be extended from the existing video and activity levels to the global level. The global-level matching allows for action sharing across activities, which has never been considered in the literature before. Extensive experiments demonstrate that our discovered actions can help perform temporal action segmentation and activity recognition tasks.


title: SwarMS: Swarm-Computations for Mobile Scenarios

abstract: Nowadays, most network systems are based on fixed and reliable infrastructure. In this context Information Centric Networking (ICN) is a novel network approach, where data is in the focus instead of hosts. Therefore, requests for data are independent from the location where the data is actually stored on. This property is optimal for infrastructure-less and swarm networking. However, the ICN does not provide support for networks without infrastructure. In this paper we present SwarMS, an architecture for swarm on-boarding, swarm coordination and swarm computations in ICN style networks. We use append-only logs to solve the challenges of loose mobile swarm organisation and executing computations. By replicating tasks on multiple nodes we achieve more reliability and trust in results.


title: Manifolds for which Huber's Theorem holds

abstract: Extensions of Huber's Theorem to higher dimensions with $L^\frac{n}{2}$ bounded scalar curvature have been extensively studied over the years. In this paper, we delve into the properties of conformal metrics on a punctured ball with $\|R\|_{L^\frac{n}{2}}<+\infty$, aiming to identify necessary geometric constraints for Huber's theorem to be applicable. Unexpectedly, such metrics are more rigid than we initially anticipated. For instance, we found that the volume density at infinity is precisely one, and the blow-down of the metric is $\mathbb{R}^n$. Specifically, in four dimensions, we derive the $L^2$-integrability of the Ricci curvature, which directly leads to the conclusion that the Pfaffian 4-form is integrable and adheres to a Gauss-Bonnet-Chern formula. Additionally, we demonstrate that a Gauss-Bonnet-Chern formula, previously verified by Lu and Wang under the assumption that the second fundamental form belongs to $L^4$, remains valid for $R \in L^2$. Consequently, on an orientable 4-dimensional manifold conformal to a domain in a closed manifold, Huber's Theorem holds when $R \in L^2$, if and only if the negative part of the Pfaffian 4-form is integrable.


title: SPG: Unsupervised Domain Adaptation for 3D Object Detection via Semantic Point Generation

abstract: In autonomous driving, a LiDAR-based object detector should perform reliably at different geographic locations and under various weather conditions. While recent 3D detection research focuses on improving performance within a single domain, our study reveals that the performance of modern detectors can drop drastically cross-domain. In this paper, we investigate unsupervised domain adaptation (UDA) for LiDAR-based 3D object detection. On the Waymo Domain Adaptation dataset, we identify the deteriorating point cloud quality as the root cause of the performance drop. To address this issue, we present Semantic Point Generation (SPG), a general approach to enhance the reliability of LiDAR detectors against domain shifts. Specifically, SPG generates semantic points at the predicted foreground regions and faithfully recovers missing parts of the foreground objects, which are caused by phenomena such as occlusions, low reflectance or weather interference. By merging the semantic points with the original points, we obtain an augmented point cloud, which can be directly consumed by modern LiDAR-based detectors. To validate the wide applicability of SPG, we experiment with two representative detectors, PointPillars and PV-RCNN. On the UDA task, SPG significantly improves both detectors across all object categories of interest and at all difficulty levels. SPG can also benefit object detection in the original domain. On the Waymo Open Dataset and KITTI, SPG improves 3D detection results of these two methods across all categories. Combined with PV-RCNN, SPG achieves state-of-the-art 3D detection results on KITTI.


title: Tangle Centric Networking (TCN)

abstract: Today's Internet is heavily used for multimedia streaming from cloud backends, while the Internet of Things (IoT) reverses the traditional data flow, with high data volumes produced at the network edge. Information Centric Networking (ICN) advocates against a host-centric communication model which is promising for distributed edge computing environments and the execution of IoT applications in a decentralized fashion. By using naming schemes, data is tightly coupled to names instead of hosts which simplifies discovery and access to data and services. However, the tight coupling challenges network performance due to additional synchronization overhead of large data volumes and services. We present Tangle Centric Networking (TCN) -- a decentralized data structure for coordinated distributed applications and data exchange following principles of ICN. TCN can react on data and service changes and update them accordingly in network nodes, provide distributed data structures and enable cooperative work on the same data without huge overhead by using Tangles for coordination. We implemented TCN in simulations and evaluated the concept against a base line scenario.


title: Towards Understanding Theoretical Advantages of Complex-Reaction Networks

abstract: Complex-valued neural networks have attracted increasing attention in recent years, while it remains open on the advantages of complex-valued neural networks in comparison with real-valued networks. This work takes one step on this direction by introducing the \emph{complex-reaction network} with fully-connected feed-forward architecture. We prove the universal approximation property for complex-reaction networks, and show that a class of radial functions can be approximated by a complex-reaction network using the polynomial number of parameters, whereas real-valued networks need at least exponential parameters to reach the same approximation level. For empirical risk minimization, our theoretical result shows that the critical point set of complex-reaction networks is a proper subset of that of real-valued networks, which may show some insights on finding the optimal solutions more easily for complex-reaction networks.


title: HiTab: A Hierarchical Table Dataset for Question Answering and Natural Language Generation

abstract: Tables are often created with hierarchies, but existing works on table reasoning mainly focus on flat tables and neglect hierarchical tables. Hierarchical tables challenge existing methods by hierarchical indexing, as well as implicit relationships of calculation and semantics. This work presents HiTab, a free and open dataset to study question answering (QA) and natural language generation (NLG) over hierarchical tables. HiTab is a cross-domain dataset constructed from a wealth of statistical reports (analyses) and Wikipedia pages, and has unique characteristics: (1) nearly all tables are hierarchical, and (2) both target sentences for NLG and questions for QA are revised from original, meaningful, and diverse descriptive sentences authored by analysts and professions of reports. (3) to reveal complex numerical reasoning in statistical analyses, we provide fine-grained annotations of entity and quantity alignment. HiTab provides 10,686 QA pairs and descriptive sentences with well-annotated quantity and entity alignment on 3,597 tables with broad coverage of table hierarchies and numerical reasoning types. Targeting hierarchical structure, we devise a novel hierarchy-aware logical form for symbolic reasoning over tables, which shows high effectiveness. Targeting complex numerical reasoning, we propose partially supervised training given annotations of entity and quantity alignment, which helps models to largely reduce spurious predictions in the QA task. In the NLG task, we find that entity and quantity alignment also helps NLG models to generate better results in a conditional generation setting. Experiment results of state-of-the-art baselines suggest that this dataset presents a strong challenge and a valuable benchmark for future research.


title: Channel State Acquisition in Uplink NOMA for Cellular-Connected UAV: Exploitation of Doppler and Modulation Diversities

abstract: Integration of unmanned aerial vehicles (UAVs) for surveillance or monitoring applications into fifth generation (5G) New Radio (NR) cellular networks is an intriguing problem that has recently tackled a lot of interest in both academia and industry. For an efficient spectrum usage, we consider a recently-proposed sky-ground nonorthogonal multiple access (NOMA) scheme, where a cellular-connected UAV acting as aerial user (AU) and a static terrestrial user (TU) are paired to simultaneously transmit their uplink signals to a base station (BS) in the same time-frequency resource blocks. In such a case, due to the highly dynamic nature of the UAV, the signal transmitted by the AU experiences both time dispersion due to multipath propagation effects and frequency dispersion caused by Doppler shifts. On the other hand, for a static ground network, frequency dispersion of the signal transmitted by the TU is negligible and only multipath effects have to be taken into account. To decode the superposed signals at the BS through successive interference cancellation, accurate estimates of both the AU and TU channels are needed. In this paper, we propose channel estimation procedures that suitably exploit the different circular/noncircular modulation formats (modulation diversity) and the different almost-cyclostationarity features (Doppler diversity) of the AU and TU by means of widely-linear time-varying processing. Our estimation approach is semi-blind since Doppler shifts and time delays of the AU are estimated based on the received data only, whereas the remaining relevant parameters of the AU and TU channels are acquired relying also on the available training symbols. Monte Carlo numerical results demonstrate that the proposed channel estimation algorithms can satisfactorily acquire all the relevant parameters in different operative conditions.


title: Convergence Rate Analysis for Fixed-Point Iterations of Generalized Averaged Nonexpansive Operators

abstract: We estimate convergence rates for fixed-point iterations of a class of nonlinear operators which are partially motivated from solving convex optimization problems. We introduce the notion of the generalized averaged nonexpansive (GAN) operator with a positive exponent, and provide a convergence rate analysis of the fixed-point iteration of the GAN operator. The proposed generalized averaged nonexpansiveness is weaker than the averaged nonexpansiveness while stronger than nonexpansiveness. We show that the fixed-point iteration of a GAN operator with a positive exponent converges to its fixed-point and estimate the local convergence rate (the convergence rate in terms of the distance between consecutive iterates) according to the range of the exponent. We prove that the fixed-point iteration of a GAN operator with a positive exponent strictly smaller than 1 can achieve an exponential global convergence rate (the convergence rate in terms of the distance between an iterate and the solution). Furthermore, we establish the global convergence rate of the fixed-point iteration of a GAN operator, depending on both the exponent of generalized averaged nonexpansiveness and the exponent of the H$\ddot{\text{o}}$lder regularity, if the GAN operator is also H$\ddot{\text{o}}$lder regular. We then apply the established theory to three types of convex optimization problems that appear often in data science to design fixed-point iterative algorithms for solving these optimization problems and to analyze their convergence properties.


title: Characterization of Fe_3 O_4/Au-Ag@MoS_2 nanoparticles for brain cancer treatment using magneto plasmonic approach

abstract: This study investigates the treatment of brain cancer by the magnetic hyperthermia approach and nanoparticles including Fe_3 O_4 core with gold, silver alloy shell, and MoS_2 coating. Optical properties of these nanoparticles within the tumor, including the extinction coefficient and surface plasmon peak (SPR) as a function of size, structure, different compositions, and thickness are also investigated using the effective medium theory. Moreover, the impact of temperature distribution was assessed through the analytical modeling of alternating current (AC) magnetic field. The results of this study indicated that nanoparticles with a compound of Fe_3 O_4 - Au_0.25 Ag_0.75@MoS_2 and a thickness of 3 nm of gold-silver alloy and 3 layers of MoS_2 have the best coefficient of extinction and SPR in the biological window. The gold-silver alloy improved the extinction coefficient and, at the same time, prevented the accumulation of magnetic nanoparticles. Since the gold-silver alloy alone cannot function within the range of biological windows, MoS_2 was used, which increased the extinction efficiency at higher wavelengths. Examination of the temperature distribution in the tumor for the proposed alloy compound indicated that after a short time from the start of irradiation, the tumor temperature reaches 45 C degree. Also, the temperature distribution within the tumor tissue reached its maximum value at the center of the tumor and decreased dramatically as getting away from the center. The use of magnetic hyperthermia enabled localized delivery of therapeutic dose to malignant brain tumors; hence, exhibiting superior performance/efficiency over the photothermal method.


title: Inclusive approach to hunt for the beauty-charmed baryons $\Xi_{bc}$

abstract: With a distinctive internal structure from all established hadrons, the beauty-charmed baryons $\Xi_{bc}$ can provide us with new points of view to decipher the strong interaction. In this work, we point out that the inclusive $\Xi_{bc} \to \Xi_{cc}^{++}+X$ decay is a golden channel for the experimental discovery of $\Xi_{bc}$ at the LHC. A unique feature of this process is that the $\Xi_{cc}^{++}$ is displaced, which greatly reduces the combinatorial background. A feasibility analysis is performed on the $\Xi_{bc}^+$ search, which is expected to have a longer lifetime than $\Xi_{bc}^0$ and thus a better displacement resolution. The $\Xi_{bc}^+ \to \Xi_{cc}^{++}+X$ branching ratio is calculated within the heavy diquark effective theory. Combining the $\Xi_{bc}$ production rate and the $\Xi_{cc}^{++}$ detection efficiency, we anticipate that hundreds of signal events will be collected during LHCb Run 3.


title: Time delay estimation of traffic congestion propagation due to accidents based on statistical causality

abstract: The accurate estimation of time delays is crucial in traffic congestion analysis, as this information can be used to address fundamental questions regarding the origin and propagation of traffic congestion. However, the exact measurement of time delays during congestion remains a challenge owing to the complex propagation process between roads and high uncertainty regarding future behavior. To overcome this challenge, we propose a novel time delay estimation method for the propagation of traffic congestion due to accidents using lag-specific transfer entropy (TE). The proposed method adopts Markov bootstrap techniques to quantify uncertainty in the time delay estimator. To the best of our knowledge, our proposed method is the first to estimate time delays based on causal relationships between adjacent roads. We validated the method's efficacy using simulated data, as well as real user trajectory data obtained from a major GPS navigation system in South Korea.


title: Spin susceptibility for orbital-singlet Cooper pair in the three-dimensional Sr$_2$RuO$_4$ superconductor

abstract: We study the spin susceptibility of the orbital-singlet pairings, including the spin-triplet/orbital-singlet/$s$-wave $E_g$ representation proposed by Suh \textit{et al}., [H.\ G.\ Suh \textit{et al}., Phys.\ Rev.\ Research \textbf{2}, 032023 (2020)], for a three-orbital model of superconducting Sr$_2$RuO$_4$ in three dimensions. For the pseudospin-singlet states represented in the band basis, the spin susceptibility decreases when reducing the temperature, irrespective of the direction of the applied magnetic fields, even if they are spin-triplet/orbital-singlet pairings in the spin-orbital space. However, because the pseudospin-triplet \textbf{d}-vector in the band basis is not completely aligned in the $xy$-plane (along $z$-axis) owing to the strong atomic spin-orbit coupling, the spin susceptibility for spin-singlet/orbital-singlet/odd-parity pairings is reduced around $5$-$10$ percent with the decrease of the temperature along the $z$ ($x$) axis. We can determine the symmetry of the pseudospin structure of the Cooper pair by the temperature dependence of the spin susceptibility measured by nuclear magnetic resonance experiments. Our obtained results serve as a guide to determine the pairing symmetry of Sr$_2$RuO$_4$.


title: Synchronization of Frequency Modulated Multi-Agent Systems

abstract: Oscillation synchronization phenomenon is widely observed in natural systems through frequency modulated signals, especially in biological neural networks. Frequency modulation is also one of most widely used technologies in engineering. However, due to the technical difficulty, oscillations are always simplified as unmodulated sinusoidal-like waves in studying the synchronization mechanism in the bulky literature over the decades. It lacks mathematical principles, especially systems and control theories, for frequency modulated multi-agent systems. This paper aims to bring a new formulation of synchronization of frequency modulated multi-agent systems. It develops new tools to solve the synchronization problem by addressing three issues including frequency observation in nonlinear frequency modulated oscillators subject to network influence, frequency consensus via network interaction subject to observation error, and a well placed small gain condition among them. The architecture of the paper consists of a novel problem formulation, rigorous theoretical development, and numerical verification.


title: Audio2Gestures: Generating Diverse Gestures from Speech Audio with Conditional Variational Autoencoders

abstract: Generating conversational gestures from speech audio is challenging due to the inherent one-to-many mapping between audio and body motions. Conventional CNNs/RNNs assume one-to-one mapping, and thus tend to predict the average of all possible target motions, resulting in plain/boring motions during inference. In order to overcome this problem, we propose a novel conditional variational autoencoder (VAE) that explicitly models one-to-many audio-to-motion mapping by splitting the cross-modal latent code into shared code and motion-specific code. The shared code mainly models the strong correlation between audio and motion (such as the synchronized audio and motion beats), while the motion-specific code captures diverse motion information independent of the audio. However, splitting the latent code into two parts poses training difficulties for the VAE model. A mapping network facilitating random sampling along with other techniques including relaxed motion loss, bicycle constraint, and diversity loss are designed to better train the VAE. Experiments on both 3D and 2D motion datasets verify that our method generates more realistic and diverse motions than state-of-the-art methods, quantitatively and qualitatively. Finally, we demonstrate that our method can be readily used to generate motion sequences with user-specified motion clips on the timeline. Code and more results are at https://jingli513.github.io/audio2gestures.


title: Training for the Future: A Simple Gradient Interpolation Loss to Generalize Along Time

abstract: In several real world applications, machine learning models are deployed to make predictions on data whose distribution changes gradually along time, leading to a drift between the train and test distributions. Such models are often re-trained on new data periodically, and they hence need to generalize to data not too far into the future. In this context, there is much prior work on enhancing temporal generalization, e.g. continuous transportation of past data, kernel smoothed time-sensitive parameters and more recently, adversarial learning of time-invariant features. However, these methods share several limitations, e.g, poor scalability, training instability, and dependence on unlabeled data from the future. Responding to the above limitations, we propose a simple method that starts with a model with time-sensitive parameters but regularizes its temporal complexity using a Gradient Interpolation (GI) loss. GI allows the decision boundary to change along time and can still prevent overfitting to the limited training time snapshots by allowing task-specific control over changes along time. We compare our method to existing baselines on multiple real-world datasets, which show that GI outperforms more complicated generative and adversarial approaches on the one hand, and simpler gradient regularization methods on the other.


title: Spinning Guest Fields during Inflation: Leftover Signatures

abstract: We consider the possibility of extra spinning particles during inflation, focussing on the spin-2 case. Our analysis relies on the well-known fully non-linear formulation of interacting spin-2 theories. We explore the parameter space of the corresponding inflationary Lagrangian and identify regions therein exhibiting signatures within reach of upcoming CMB probes. We provide a thorough study of the early and late-time dynamics ensuring that stability conditions are met throughout the cosmic evolution. We characterise in particular the gravitational wave spectrum and three-point function finding a local-type non-Gaussianity whose amplitude may be within the sensitivity range of both the LiteBIRD and CMB-S4 experiments.


title: Self-supervised Contrastive Learning of Multi-view Facial Expressions

abstract: Facial expression recognition (FER) has emerged as an important component of human-computer interaction systems. Despite recent advancements in FER, performance often drops significantly for non-frontal facial images. We propose Contrastive Learning of Multi-view facial Expressions (CL-MEx) to exploit facial images captured simultaneously from different angles towards FER. CL-MEx is a two-step training framework. In the first step, an encoder network is pre-trained with the proposed self-supervised contrastive loss, where it learns to generate view-invariant embeddings for different views of a subject. The model is then fine-tuned with labeled data in a supervised setting. We demonstrate the performance of the proposed method on two multi-view FER datasets, KDEF and DDCF, where state-of-the-art performances are achieved. Further experiments show the robustness of our method in dealing with challenging angles and reduced amounts of labeled data.


title: Graph maps with zero topological entropy and sequence entropy pairs

abstract: We show that graph map with zero topological entropy is Li-Yorke chaotic if and only if it has an NS-pair (a pair of non-separable points containing in a same solenoidal $\omega$-limit set), and a non-diagonal pair is an NS-pair if and only if it is an IN-pair if and only if it is an IT-pair. This completes characterization of zero topological sequence entropy for graph maps.


title: Bond Bipolarons: Sign-free Monte Carlo Approach

abstract: Polarons originating from phonon displacement modulated hopping have relatively light masses and, thus, are of significant current interest as candidates for bipolaron mechanism of high-temperature superconductivity [Phys. Rev. Lett. {\bf 121}, 247001 (2018)]. We observe that the bond model, when the dominant coupling comes from atomic vibrations on lattice bonds, can be solved by efficient sign-free Monte Carlo methods based on the path-integral formulation of the particle sector in combination with either the (real-space) diagrammatic or Fock-path-integral representation of the phonon sector. We introduce the corresponding algorithms and provide illustrative results for bipolarons in two dimensions. The results suggest that the route towards high-temperature superconductivity (if any) in the multiparametric space of the model lies between the Scylla of large size of moderately light bipolarons and Charybdis of large mass of compact bipolarons. As a result, on-site repulsion is helping $s$-wave superconductivity in sharp contrast with existing expectations.


title: Global existence and decay estimates of strong solutions for compressible non-isentropic magnetohydrodynamic flows with vacuum

abstract: We study the Cauchy problem of three-dimensional compressible non-isentropic magnetohydrodynamic (MHD) fluids in $\mathbb{R}^3$. Applying delicate energy estimates, initial layer analysis, and continuation theory, we establish the global existence and uniqueness of strong solutions, which may be of possibly large oscillations, provided that the initial data are of small total energy. In particular, both interior and far field vacuum states are allowed. This improves our previous work where the initial quantity $\|\rho_0\|_{L^\infty}+\|H_0\|_{L^3}$ must be small enough and the viscosity coefficients should satisfy $3\mu>\lambda$. Furthermore, we also derive the algebraic decay estimates of the solution. To our best knowledge, this is the first result on time-decay rates of solutions to the Cauchy problem of multi-dimensional compressible non-isentropic MHD equations with vacuum.


title: Universality: new criterion for non-existence

abstract: We find new "reasons" for a class of models for not having a universal model in a cardinal $\lambda$. This work, though it has consequences in model theory, is really in combinatorial set theory. We concentrate on a prototypical class which is a simply defined class of models, of combinatorial character - models of $T_{\rm ceq}$ (essentially another representation of $T_{\rm feq}$ which was already considered but the proof with $T_{\rm ceq}$ is more transparent). Models of $T_{\rm ceq}$ consist essentially of an equivalence relation on one set and a family of choice functions for it. This class is not simple (in the model theoretic sense) but seems to be very low among the non-simple (first order complete countable) ones. We give sufficient conditions for the non-existence of a universal model for it in $\lambda$. This work is continued in [Sh:F2071].


title: Learning Dynamical System for Grasping Motion

abstract: Dynamical System has been widely used for encoding trajectories from human demonstration, which has the inherent adaptability to dynamically changing environments and robustness to perturbations. In this paper we propose a framework to learn a dynamical system that couples position and orientation based on a diffeomorphism. Different from other methods, it can realise the synchronization between positon and orientation during the whole trajectory. Online grasping experiments are carried out to prove its effectiveness and online adaptability.


title: Dissipative probability vector fields and generation of evolution semigroups in Wasserstein spaces

abstract: We introduce and investigate a notion of multivalued $\lambda$-dissipative probability vector field (MPVF) in the Wasserstein space $\mathcal{P}_2(\mathsf X)$ of Borel probability measures on a Hilbert space $\mathsf X$. Taking inspiration from the theory of dissipative operators in Hilbert spaces and of Wasserstein gradient flows of geodesically convex functionals, we study local and global well posedness of evolution equations driven by dissipative MPVFs. Our approach is based on a measure-theoretic version of the Explicit Euler scheme, for which we prove novel convergence results with optimal error estimates under an abstract CFL stability condition, which do not rely on compactness arguments and also hold when $\mathsf X$ has infinite dimension. We characterize the limit solutions by a suitable Evolution Variational Inequality (EVI), inspired by the B\'enilan notion of integral solutions to dissipative evolutions in Banach spaces. Existence, uniqueness and stability of EVI solutions are then obtained under quite general assumptions, leading to the generation of a semigroup of nonlinear contractions.


title: Towards Visual Explainable Active Learning for Zero-Shot Classification

abstract: Zero-shot classification is a promising paradigm to solve an applicable problem when the training classes and test classes are disjoint. Achieving this usually needs experts to externalize their domain knowledge by manually specifying a class-attribute matrix to define which classes have which attributes. Designing a suitable class-attribute matrix is the key to the subsequent procedure, but this design process is tedious and trial-and-error with no guidance. This paper proposes a visual explainable active learning approach with its design and implementation called semantic navigator to solve the above problems. This approach promotes human-AI teaming with four actions (ask, explain, recommend, respond) in each interaction loop. The machine asks contrastive questions to guide humans in the thinking process of attributes. A novel visualization called semantic map explains the current status of the machine. Therefore analysts can better understand why the machine misclassifies objects. Moreover, the machine recommends the labels of classes for each attribute to ease the labeling burden. Finally, humans can steer the model by modifying the labels interactively, and the machine adjusts its recommendations. The visual explainable active learning approach improves humans' efficiency of building zero-shot classification models interactively, compared with the method without guidance. We justify our results with user studies using the standard benchmarks for zero-shot classification.


title: The centralizers of root subgroups in Kac-Moody Steinberg groups

abstract: For the affine and hyperbolic root system the symmetric part of the centralizers of root subgroups in the corresponding Steinberg groups are calculated. In the affine case the corresponding root subsystems can be computed in term of the centralizers in the spherical root systems, while in the hyperbolic case there emerges a "zoo" of examples, many of them non-hyperbolic. This also delivers many examples of naturally occuring root subsystems of infinite rank.


title: Zariski dense orbits for regular self-maps of split semiabelian varieties in positive characteristic

abstract: We prove the Zariski dense orbit conjecture in positive characteristic for regular self-maps of split semiabelian varieties.


title: Strong Identification Codes for Graphs

abstract: For any graph~\(G,\) a set of vertices~\({\cal V}\) is said to be dominating if every vertex of~\(G\) contains at least one node of~\(G\) and separating if each vertex~\(v\) contains a unique neighbour~\(u_v \in {\cal V}\) that is adjacent to no other vertex of~\(G.\) If~\({\cal V}\) is both dominating and separating, then~\({\cal V}\) is defined to be an identification code. In this paper, we study strong identification codes with an index~\(r,\) by imposing the constraint that each vertex of~\(G\) contains at least~\(r\) unique neighbours in~\({\cal V}.\) We use the probabilistic method to study both the minimum size of strong identification codes and the existence of graphs that allow an identification code with a given index.


title: Effective and Efficient Graph Learning for Multi-view Clustering

abstract: Despite the impressive clustering performance and efficiency in characterizing both the relationship between data and cluster structure, existing graph-based multi-view clustering methods still have the following drawbacks. They suffer from the expensive time burden due to both the construction of graphs and eigen-decomposition of Laplacian matrix, and fail to explore the cluster structure of large-scale data. Moreover, they require a post-processing to get the final clustering, resulting in suboptimal performance. Furthermore, rank of the learned view-consensus graph cannot approximate the target rank. In this paper, drawing the inspiration from the bipartite graph, we propose an effective and efficient graph learning model for multi-view clustering. Specifically, our method exploits the view-similar between graphs of different views by the minimization of tensor Schatten p-norm, which well characterizes both the spatial structure and complementary information embedded in graphs of different views. We learn view-consensus graph with adaptively weighted strategy and connectivity constraint such that the connected components indicates clusters directly. Our proposed algorithm is time-economical and obtains the stable results and scales well with the data size. Extensive experimental results indicate that our method is superior to state-of-the-art methods.


title: A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries

abstract: Within electrical distribution networks, substation constraints management requires that aggregated power demand from residential users is kept within suitable bounds. Efficiency of substation constraints management can be measured as the reduction of constraints violations w.r.t. unmanaged demand. Home batteries hold the promise of enabling efficient and user-oblivious substation constraints management. Centralized control of home batteries would achieve optimal efficiency. However, it is hardly acceptable by users, since service providers (e.g., utilities or aggregators) would directly control batteries at user premises. Unfortunately, devising efficient hierarchical control strategies, thus overcoming the above problem, is far from easy. We present a novel two-layer control strategy for home batteries that avoids direct control of home devices by the service provider and at the same time yields near-optimal substation constraints management efficiency. Our simulation results on field data from 62 households in Denmark show that the substation constraints management efficiency achieved with our approach is at least 82% of the one obtained with a theoretical optimal centralized strategy.


title: Two Applications of Graph Minor Reduction

abstract: In this paper, we study two applications of graph minor reduction. In the first part of the paper, we introduce a variant of the boxicity, called strong boxicity, where the rectangular representation satisfies an additional condition that each rectangle contains at least one point not present in any other rectangle. We show how the strong boxicity of a graph~\(G\) can be estimated in terms of the strong boxicity of a minor~\(H\) and the number of edit operations needed to obtain~\(H\) from~\(G.\) In the second part of the paper, we consider false data injection (attack) in a flow graph~\(G\) and quantify the subsequent effect on the state of edges of~\(G\) via the \emph{edge variation factor}~\(\theta.\) We use minor reduction techniques to obtain bounds on~\(\theta\) in terms of the connectivity parameters of~\(G,\) when the attacker has complete knowledge of~\(G\) and also discuss stealthy attacks with partial knowledge of the flow graph.


title: A gravitating pattern unifies the living and physical worlds

abstract: The inflationary hot big bang model of cosmology explains the birth of the universe, the appearance of atoms and that of large-scale structures, altogether omitting any reference to the living world. Yet, like the physical world, the living world occupies space, is composed of baryonic matter, and is submitted to the four fundamental forces. To bridge this break in continuity, a study relying solely on the laws of physics was conducted to seek a pattern that would unite both worlds. Here we show evidence of a common pattern that is based on a gravitating organization. Seven criteria were worked out to define a gravitating concept that applies to any attractive force. A scan through the second version of the Integrative levels classification system revealed that the following six types of objects satisfy the criteria: atoms, eukaryotic cells, vertebrates, nation-states, planetary systems, and galaxies. A comparative diameter study was carried out on objects confined to the Solar System in the Milky Way. The trendline linking the average diameters follows an exponential function f(x)=0.2527x10^6.23x, with a coefficient of determination of 0.9904. The objects assemble into a superstructure spanning 32 orders of magnitude, systematically skipping 6.23 orders of magnitude at each level. The unity of structure revealed in this study suggests that both worlds result from a common underlying organizing process. Furthermore, the gradual and uninterrupted sequence leading to complex structures supports the idea that the gravitating organization offers a favorable pathway to complexity. The framework presented in this study may help address complex phenomena such as emergence and agency, broaden the scope of the theory of evolution and fuel the debate on the definition of life itself. Ultimately, it may contribute to a more complete understanding of the universe.


title: Socio-Technological Challenges and Opportunities: Paths Forward

abstract: Advancements in digital technologies have a bootstrapping effect. The past fifty years of technological innovations from the computer architecture community have brought innovations and orders-of-magnitude efficiency improvements that engender use cases that were not previously possible -- stimulating novel application domains and increasing uses and deployments at an ever-faster pace. Consequently, computing technologies have fueled significant economic growth, creating education opportunities, enabling access to a wider and more diverse spectrum of information, and, at the same time, connecting people of differing needs in the world together. Technology must be offered that is inclusive of the world's physical, cultural, and economic diversity, and which is manufactured, used, and recycled with environmental sustainability at the forefront. For the next decades to come, we envision significant cross-disciplinary efforts to build a circular development cycle by placing pervasive connectivity, sustainability, and demographic inclusion at the design forefront in order to sustain and expand the benefits of a technologically rich society. We hope this work will inspire our computing community to take broader and more holistic approaches when developing technological solutions to serve people from different parts of the world.


title: Bistability in a one-dimensional model of a two-predators-one-prey population dynamics system

abstract: In this paper, we study the classical two-predators-one-prey model. The classical model described by a system of 3 ordinary differential equations can be reduced to a one-dimensional bimodal map. We prove that this map has at most two stable periodic orbits. Besides, we describe the structure of bifurcations of the map. Taking this mechanism into account, one can easily detect parameter regions where cycles with arbitrary high periods or chaotic attractors with arbitrary high numbers of bands coexist pairwise.


title: A fast iterative PDE-based algorithm for feedback controls of nonsmooth mean-field control problems

abstract: We propose a PDE-based accelerated gradient algorithm for optimal feedback controls of McKean-Vlasov dynamics that involve mean-field interactions both in the state and action. The method exploits a forward-backward splitting approach and iteratively refines the approximate controls based on the gradients of smooth costs, the proximal maps of nonsmooth costs, and dynamically updated momentum parameters. At each step, the state dynamics is approximated via a particle system, and the required gradient is evaluated through a coupled system of nonlocal linear PDEs. The latter is solved by finite difference approximation or neural network-based residual approximation, depending on the state dimension. We present exhaustive numerical experiments for low and high-dimensional mean-field control problems, including sparse stabilization of stochastic Cucker-Smale models, which reveal that our algorithm captures important structures of the optimal feedback control and achieves a robust performance with respect to parameter perturbation.


title: A Donaldson-Uhlenbeck-Yau theorem for normal varieties and semistable bundles on degenerating families

abstract: In this paper, we first prove a Donaldson-Uhlenbeck-Yau theorem over projective normal varieties smooth in codimension two. As a consequence we deduce the polystability of (dual) tensor products of stable reflexive sheaves, and we give a new proof of the Bogomolov-Gieseker inequality, along with a precise characterization of the case of equality. This also improves several previously known algebro-geometric results on normalized tautological classes. We study the limiting behavior of semistable bundles over a degenerating family of projective normal varieties. In the case of a family of stable vector bundles, we study the degeneration of the corresponding HYM connections and these can be characterized from the algebro-geometric perspective. In particular, this proves another version of the singular Donaldson-Uhlenbeck-Yau theorem for the normal projective varieties in the central fiber. As an application, we apply the results to the degeneration of stable bundles through the deformation to projective cones, and we explain how our results are related to the Mehta-Ramanathan restriction theorem.


title: Development of the InBan_CIDO Ontology by Reusing the Concepts along with Detecting Overlapping Information

abstract: The covid19 pandemic is a global emergency that badly impacted the economies of various countries. Covid19 hit India when the growth rate of the country was at the lowest in the last 10 years. To semantically analyze the impact of this pandemic on the economy, it is curial to have an ontology. CIDO ontology is a well standardized ontology that is specially designed to assess the impact of coronavirus disease and utilize its results for future decision forecasting for the government, industry experts, and professionals in the field of various domains like research, medical advancement, technical innovative adoptions, and so on. However, this ontology does not analyze the impact of the Covid19 pandemic on the Indian banking sector. On the other side, Covid19IBO ontology has been developed to analyze the impact of the Covid19 pandemic on the Indian banking sector but this ontology does not reflect complete information of Covid19 data. Resultantly, users cannot get all the relevant information about Covid19 and its impact on the Indian economy. This article aims to extend the CIDO ontology to show the impact of Covid19 on the Indian economy sector by reusing the concepts from other data sources. We also provide a simplified schema matching approach that detects the overlapping information among the ontologies. The experimental analysis proves that the proposed approach has reasonable results.


title: Exploring Generalization Ability of Pretrained Language Models on Arithmetic and Logical Reasoning

abstract: To quantitatively and intuitively explore the generalization ability of pre-trained language models (PLMs), we have designed several tasks of arithmetic and logical reasoning. We both analyse how well PLMs generalize when the test data is in the same distribution as the train data and when it is different, for the latter analysis, we have also designed a cross-distribution test set other than the in-distribution test set. We conduct experiments on one of the most advanced and publicly released generative PLM - BART. Our research finds that the PLMs can easily generalize when the distribution is the same, however, it is still difficult for them to generalize out of the distribution.


title: Deformations and homotopy theory of Rota-Baxter algebras of any weight

abstract: This paper studies formal deformations and homotopy theory of Rota-Baxter algebras of any weight. We define an $L_\infty$-algebra, which controls simultaneous deformations of associative products and Rota-Baxter operators. As a consequence, we develop a cohomology theory of Rota-Baxter algebras of any weight and justify it by interpreting lower degree cohomology groups as formal deformations and abelian extensions. The notion of homotopy Rota-Baxter algebras is introduced and it is shown that the operad governing homotopy Rota-Baxter algebras is a minimal model of the operad of Rota-Baxter algebras.


title: How we browse: Measurement and analysis of digital behavior

abstract: Accurately analyzing and modeling online browsing behavior play a key role in understanding users and technology interactions. In this work, we design and conduct a user study to collect browsing data from 31 participants continuously for 14 days and self-reported browsing patterns. We combine self-reports and observational data to provide an up-to-date measurement study of online browsing behavior. We use these data to empirically address the following questions: (1) Do structural patterns of browsing differ across demographic groups and types of web use?, (2) Do people have correct perceptions of their behavior online?, and (3) Do people change their browsing behavior if they are aware of being observed? In response to these questions, we find significant differences in level of activity based on user age, but not based on race or gender. We also find that users have significantly different behavior on Security Concerns websites, which may enable new behavioral methods for automatic detection of security concerns online. We find that users significantly overestimate the time they spend online, but have relatively accurate perceptions of how they spend their time online. We find no significant changes in behavior over the course of the study, which may indicate that observation had no effect on behavior, or that users were consciously aware of being observed throughout the study


title: Imaging calibration of AstroSat Cadmium Zinc Telluride Imager (CZTI)

abstract: AstroSat is India's first space-based astronomical observatory, launched on September 28, 2015. One of the payloads aboard AstroSat is the Cadmium Zinc Telluride Imager (CZTI), operating at hard X-rays. CZTI employs a two-dimensional coded aperture mask for the purpose of imaging. In this paper, we discuss various image reconstruction algorithms adopted for the test and calibration of the imaging capability of CZTI and present results from CZTI on-ground as well as in-orbit image calibration.


title: SOTR: Segmenting Objects with Transformers

abstract: Most recent transformer-based models show impressive performance on vision tasks, even better than Convolution Neural Networks (CNN). In this work, we present a novel, flexible, and effective transformer-based model for high-quality instance segmentation. The proposed method, Segmenting Objects with TRansformers (SOTR), simplifies the segmentation pipeline, building on an alternative CNN backbone appended with two parallel subtasks: (1) predicting per-instance category via transformer and (2) dynamically generating segmentation mask with the multi-level upsampling module. SOTR can effectively extract lower-level feature representations and capture long-range context dependencies by Feature Pyramid Network (FPN) and twin transformer, respectively. Meanwhile, compared with the original transformer, the proposed twin transformer is time- and resource-efficient since only a row and a column attention are involved to encode pixels. Moreover, SOTR is easy to be incorporated with various CNN backbones and transformer model variants to make considerable improvements for the segmentation accuracy and training convergence. Extensive experiments show that our SOTR performs well on the MS COCO dataset and surpasses state-of-the-art instance segmentation approaches. We hope our simple but strong framework could serve as a preferment baseline for instance-level recognition. Our code is available at https://github.com/easton-cau/SOTR.


title: The quirk signal at FASER and FASER 2

abstract: We study FASER and FASER 2 sensitivities to the quirk signal by simulating the motions of quirks that are travelling through several infrastructures from the ATLAS interaction point to the FASER (2) detector. The ionization energy losses for a charged quirk travelling in different materials are treated carefully. We calculate the expected numbers of quirk events that can reach the FASER (2) detector for an integrated luminosity of 150 (3000) fb$^{-1}$. Scenarios for quirks with four different quantum numbers, and different masses and confinement scales are studied.


title: Exponential stability of a damped beam-string-beam transmission problem

abstract: We consider a beam-string-beam transmission problem, where two structurally damped or undamped beams are coupled with a frictionally damped string by transmission conditions. We show that for this type of structure, the dissipation produced by the frictional part is strong enough to produce exponential decay of the solution no matter how small is its size: for the exponential stability in the damped-damped-damped situation we use energy method and in the undamped-damped-undamped situation we use a frequency domain method from the semigroups theory, which combines a contradiction argument with the multiplier technique to carry out a special analysis for the resolvent. Additionally, we show that the solution first defined by the weak formulation, in fact, has higher Sobolev space regularity.


title: Regularity of symbolic powers of square-free monomial ideals

abstract: We study the regularity of symbolic powers of square-free monomial ideals. We prove that if $I = I_\Delta$ is the Stanley-Reisner ideal of a simplicial complex $\Delta$, then $\reg(I^{(n)}) \leqslant \delta(n-1) +b$ for all $n\geqslant 1$, where $\delta = \lim\limits_{n\to\infty} \reg(I^{(n)})/n$, and $b = \max\{\reg(I_\Gamma) \mid \Gamma \text{ is a subcomplex of } \Delta \text{ with } \F(\Gamma) \subseteq \F(\Delta)\}$. This bound is sharp for any $n$. When $I = I(G)$ is the edge ideal of a simple graph $G$, we obtain a general linear upper bound $\reg(I^{(n)}) \leqslant 2n + \ordmatch(G)-1$, where $\ordmatch(G)$ is the ordered matching number of $G$.


title: Weyl symmetry for curve counting invariants via spherical twists

abstract: We study the curve counting invariants of Calabi--Yau 3-folds via the Weyl reflection along a ruled divisor. We obtain a new rationality result and functional equation for the generating functions of Pandharipande--Thomas invariants. When the divisor arises as resolution of a curve of $A_1$-singularities, our results match the rationality of the associated Calabi--Yau orbifold. The symmetry on generating functions descends from the action of an infinite dihedral group of derived auto-equivalences, which is generated by the derived dual and a spherical twist. Our techniques involve wall-crossing formulas and generalized DT invariants for surface-like objects.


title: New Binary and Ternary Quasi-Cyclic Codes with Good Properties

abstract: One of the most important and challenging problems in coding theory is to construct codes with best possible parameters and properties. The class of quasi-cyclic (QC) codes is known to be fertile to produce such codes. Focusing on QC codes over the binary field, we have found 113 binary QC codes that are new among the class of QC codes using an implementation of a fast cyclic partitioning algorithm and the highly effective ASR algorithm. Moreover, these codes have the following additional properties: a) they have the same parameters as best known linear codes, and b) many of the have additional desired properties such as being reversible, LCD, self-orthogonal or dual-containing. Additionally, we present an algorithm for the generation of new codes from QC codes using ConstructionX, and introduce 35 new record breaking linear codes produced from this method.


title: Learning Open-World Object Proposals without Learning to Classify

abstract: Object proposals have become an integral preprocessing steps of many vision pipelines including object detection, weakly supervised detection, object discovery, tracking, etc. Compared to the learning-free methods, learning-based proposals have become popular recently due to the growing interest in object detection. The common paradigm is to learn object proposals from data labeled with a set of object regions and their corresponding categories. However, this approach often struggles with novel objects in the open world that are absent in the training set. In this paper, we identify that the problem is that the binary classifiers in existing proposal methods tend to overfit to the training categories. Therefore, we propose a classification-free Object Localization Network (OLN) which estimates the objectness of each region purely by how well the location and shape of a region overlap with any ground-truth object (e.g., centerness and IoU). This simple strategy learns generalizable objectness and outperforms existing proposals on cross-category generalization on COCO, as well as cross-dataset evaluation on RoboNet, Object365, and EpicKitchens. Finally, we demonstrate the merit of OLN for long-tail object detection on large vocabulary dataset, LVIS, where we notice clear improvement in rare and common categories.


title: Hypergeometric functions over finite fields

abstract: We give a definition of generalized hypergeometric functions over finite fields using modified Gauss sums, which enables us to find clear analogy with classical hypergeometric functions over the complex numbers. We study their fundamental properties and prove summation formulas, transformation formulas and product formulas. An application to zeta functions of K3-surfaces is given. In the appendix, we give an elementary proof of the Davenport-Hasse multiplication formula for Gauss sums.


title: Electrical manipulation of skyrmions in a chiral magnet

abstract: Writing, erasing and computing are three fundamental operations required by any working electronic devices. Magnetic skyrmions could be basic bits in promising in emerging topological spintronic devices. In particular, skyrmions in chiral magnets have outstanding properties like compact texture, uniform size and high mobility. However, creating, deleting and driving isolated skyrmions, as prototypes of aforementioned basic operations, have been grand challenge in chiral magnets ever since the discovery of skyrmions, and achieving all these three operations in a single device is highly desirable. Here, by engineering chiral magnet Co$_8$Zn$_{10}$Mn$_2$ into the customized micro-devices for in-situ Lorentz transmission electron microscopy observations, we implement these three operations of skyrmions using nanosecond current pulses with a low a current density about $10^{10}$ A/m$^2$ at room temperature. A notched structure can create or delete magnetic skyrmions depending on the direction and magnitude of current pulses. We further show that the magnetic skyrmions can be deterministically shifted step-by-step by current pulses, allowing the establishment of the universal current-velocity relationship. These experimental results have immediate significance towards the skyrmion-based memory or logic devices.


title: RLIBM-ALL: A Novel Polynomial Approximation Method to Produce Correctly Rounded Results for Multiple Representations and Rounding Modes

abstract: Mainstream math libraries for floating point (FP) do not produce correctly rounded results for all inputs. In contrast, CR-LIBM and RLIBM provide correctly rounded implementations for a specific FP representation with one rounding mode. Using such libraries for a representation with a new rounding mode or with different precision will result in wrong results due to double rounding. This paper proposes a novel method to generate a single polynomial approximation that produces correctly rounded results for all inputs for multiple rounding modes and multiple precision configurations. To generate a correctly rounded library for $n$-bits, our key idea is to generate such a polynomial approximation for a representation with $n+2$-bits using the \emph{round-to-odd} mode. We prove that the resulting polynomial approximation will produce correctly rounded results for all five rounding modes in the standard and for multiple representations with $k$-bits such that $|E| +1 < k \leq n$, where $|E|$ is the number of exponent bits in the representation. Building on our prior work in the RLIBM project, we also approximate the correctly rounded result when we generate the library with $n+2$-bits using the round-to-odd mode. We also generate polynomial approximations by structuring it as a linear programming problem but propose enhancements to polynomial generation to handle the round-to-odd mode. Our prototype is the first 32-bit float library that produces correctly rounded results with all rounding modes in the IEEE standard for all inputs with a single polynomial approximation. It also produces correctly rounded results for any FP configuration ranging from 10-bits to 32-bits while also being faster than mainstream libraries.


title: Isotropy groups of the action of orthogonal similarity on symmetric matrices

abstract: We find an algorithmic procedure that enables to compute and to describe the structure of the isotropy subgroups of the group of complex orthogonal matrices with respect to the action of similarity on complex symmetric matrices. A key step in our proof is to solve a certain rectangular block upper-triangular Toeplitz matrix equation.


title: An Investigation of Replay-based Approaches for Continual Learning

abstract: Continual learning (CL) is a major challenge of machine learning (ML) and describes the ability to learn several tasks sequentially without catastrophic forgetting (CF). Recent works indicate that CL is a complex topic, even more so when real-world scenarios with multiple constraints are involved. Several solution classes have been proposed, of which so-called replay-based approaches seem very promising due to their simplicity and robustness. Such approaches store a subset of past samples in a dedicated memory for later processing: while this does not solve all problems, good results have been obtained. In this article, we empirically investigate replay-based approaches of continual learning and assess their potential for applications. Selected recent approaches as well as own proposals are compared on a common set of benchmarks, with a particular focus on assessing the performance of different sample selection strategies. We find that the impact of sample selection increases when a smaller number of samples is stored. Nevertheless, performance varies strongly between different replay approaches. Surprisingly, we find that the most naive rehearsal-based approaches that we propose here can outperform recent state-of-the-art methods.


title: A Morphing Quadrotor that Can Optimize Morphology for Transportation

abstract: Multirotors can be effectively applied to various tasks, such as transportation, investigation, exploration, and lifesaving, depending on the type of payload. However, due to the nature of multirotors, the payload loaded on the multirotor is limited in its position and weight, which presents a major disadvantage when the multirotor is used in various fields. In this paper, we propose a novel method that greatly improves the restrictions on payload position and weight using a morphing quadrotor system. Our method can estimate the drone's weight, center of gravity position, and inertia tensor in real-time, which change depending on payload, and determine the optimal morphology for efficient and stable flight. An adaptive control method that can reflect the change in flight dynamics by payload and morphing is also presented. Experiments were conducted to confirm that the proposed morphing quadrotor improves the stability and efficiency in various situations of transporting payloads compared with the conventional quadrotor systems.


title: A Cascaded Zoom-In Network for Patterned Fabric Defect Detection

abstract: Nowadays, Deep Convolutional Neural Networks (DCNNs) are widely used in fabric defect detection, which come with the cost of expensive training and complex model parameters. With the observation that most fabrics are defect free in practice, a two-step Cascaded Zoom-In Network (CZI-Net) is proposed for patterned fabric defect detection. In the CZI-Net, the Aggregated HOG (A-HOG) and SIFT features are used to instead of simple convolution filters for feature extraction. Moreover, in order to extract more distinctive features, the feature representation layer and full connection layer are included in the CZI-Net. In practice, Most defect-free fabrics only involve in the first step of our method and avoid a costive computation in the second step, which makes very fast fabric detection. More importantly, we propose the Locality-constrained Reconstruction Error (LCRE) in the first step and Restrictive Locality-constrained Coding (RLC), Bag-of-Indexes (BoI) methods in the second step. We also analyse the connections between different coding methods and conclude that the index of visual words plays an essential role in the coding methods. In conclusion, experiments based on real-world datasets are implemented and demonstrate that our proposed method is not only computationally simple but also with high detection accuracy.


title: Multi-Slice Dense-Sparse Learning for Efficient Liver and Tumor Segmentation

abstract: Accurate automatic liver and tumor segmentation plays a vital role in treatment planning and disease monitoring. Recently, deep convolutional neural network (DCNNs) has obtained tremendous success in 2D and 3D medical image segmentation. However, 2D DCNNs cannot fully leverage the inter-slice information, while 3D DCNNs are computationally expensive and memory intensive. To address these issues, we first propose a novel dense-sparse training flow from a data perspective, in which, densely adjacent slices and sparsely adjacent slices are extracted as inputs for regularizing DCNNs, thereby improving the model performance. Moreover, we design a 2.5D light-weight nnU-Net from a network perspective, in which, depthwise separable convolutions are adopted to improve the efficiency. Extensive experiments on the LiTS dataset have demonstrated the superiority of the proposed method.


title: Localization transition induced by programmable disorder

abstract: We investigate the occurrence of many-body localization (MBL) on a spin-1/2 transverse-field Ising model defined on a Chimera connectivity graph with random exchange interactions and longitudinal fields. We observe a transition from an ergodic phase to a non-thermal phase for individual energy eigenstates induced by a critical disorder strength for the Ising parameters. Our result follows from the analysis of both the mean half-system block entanglement and the energy level statistics. We identify the critical point associated with this transition using the maximum variance of the block entanglement over the disorder ensemble as a function of the disorder strength. The calculated energy density phase diagram shows the existence of a mobility edge in the energy spectrum. In terms of the energy level statistics, the system changes from the Gaussian orthogonal ensemble for weak disorder to a Poisson distribution limit for strong randomness, which implies localization behavior. We then realize the time-independent disordered Ising Hamiltonian experimentally using a reverse annealing quench-pause-quench protocol on a D-Wave 2000Q programmable quantum annealer. We characterize the transition from the thermal to the localized phase through magnetization measurements at the end of the annealing dynamics, and the results are compatible with our theoretical prediction for the critical point. However, the same behavior can be reproduced using a classical spin-vector Monte Carlo simulation, which suggests that genuine quantum signatures of the phase transition remain out of reach using this experimental platform and protocol.


title: Two Eyes Are Better Than One: Exploiting Binocular Correlation for Diabetic Retinopathy Severity Grading

abstract: Diabetic retinopathy (DR) is one of the most common eye conditions among diabetic patients. However, vision loss occurs primarily in the late stages of DR, and the symptoms of visual impairment, ranging from mild to severe, can vary greatly, adding to the burden of diagnosis and treatment in clinical practice. Deep learning methods based on retinal images have achieved remarkable success in automatic DR grading, but most of them neglect that the presence of diabetes usually affects both eyes, and ophthalmologists usually compare both eyes concurrently for DR diagnosis, leaving correlations between left and right eyes unexploited. In this study, simulating the diagnostic process, we propose a two-stream binocular network to capture the subtle correlations between left and right eyes, in which, paired images of eyes are fed into two identical subnetworks separately during training. We design a contrastive grading loss to learn binocular correlation for five-class DR detection, which maximizes inter-class dissimilarity while minimizing the intra-class difference. Experimental results on the EyePACS dataset show the superiority of the proposed binocular model, outperforming monocular methods by a large margin.


title: Optimal Scheduling of Isolated Microgrids Using Automated Reinforcement Learning-based Multi-period Forecasting

abstract: In order to reduce the negative impact of the uncertainty of load and renewable energies outputs on microgrid operation, an optimal scheduling model is proposed for isolated microgrids by using automated reinforcement learning-based multi-period forecasting of renewable power generations and loads. Firstly, a prioritized experience replay automated reinforcement learning (PER-AutoRL) is designed to simplify the deployment of deep reinforcement learning (DRL)-based forecasting model in a customized manner, the single-step multi-period forecasting method based on PER-AutoRL is proposed for the first time to address the error accumulation issue suffered by existing multi-step forecasting methods, then the prediction values obtained by the proposed forecasting method are revised via the error distribution to improve the prediction accuracy; secondly, a scheduling model considering demand response is constructed to minimize the total microgrid operating costs, where the revised forecasting values are used as the dispatch basis, and a spinning reserve chance constraint is set according to the error distribution; finally, by transforming the original scheduling model into a readily solvable mixed integer linear programming via the sequence operation theory (SOT), the transformed model is solved by using CPLEX solver. The simulation results show that compared with the traditional scheduling model without forecasting, this approach manages to significantly reduce the system operating costs by improving the prediction accuracy.


title: Occlusion-Aware Video Object Inpainting

abstract: Conventional video inpainting is neither object-oriented nor occlusion-aware, making it liable to obvious artifacts when large occluded object regions are inpainted. This paper presents occlusion-aware video object inpainting, which recovers both the complete shape and appearance for occluded objects in videos given their visible mask segmentation. To facilitate this new research, we construct the first large-scale video object inpainting benchmark YouTube-VOI to provide realistic occlusion scenarios with both occluded and visible object masks available. Our technical contribution VOIN jointly performs video object shape completion and occluded texture generation. In particular, the shape completion module models long-range object coherence while the flow completion module recovers accurate flow with sharp motion boundary, for propagating temporally-consistent texture to the same moving object across frames. For more realistic results, VOIN is optimized using both T-PatchGAN and a new spatio-temporal attention-based multi-class discriminator. Finally, we compare VOIN and strong baselines on YouTube-VOI. Experimental results clearly demonstrate the efficacy of our method including inpainting complex and dynamic objects. VOIN degrades gracefully with inaccurate input visible mask.


title: The evolution equation: an application of groupoids to material evolution

abstract: The aim of this paper is to study the evolution of a material point of a body by itself, and not the body as a whole. To do this, we construct a groupoid encoding all the intrinsic properties of the particle and its characteristic foliations, which permits us to define the evolution equation. We also discuss phenomena like remodeling and aging.


title: Stress-Energy in Liouville Conformal Field Theory on Compact Riemann Surfaces

abstract: We derive the conformal Ward identities for the correlation functions of the Stress--Energy tensor in probabilistic Liouville Conformal Field Theory on compact Riemann surfaces by varying the correlation functions with respect to the background metric. The conformal Ward identities show that the correlation functions of the Stress--Energy tensor can be expressed as a differential operator with meromorphic coefficient acting on the correlation functions of the primary fields of Liouville Conformal Field Theory. Variations of the metric come in three different forms: reparametrizations, conformal scalings and deformations of the conformal structure. Conformal symmetry makes it easy to treat variations of the metric that do not deform the conformal structure. Variations that deform the conformal structure have to be treated separately, and this part of the computation relies on regularity and integrability properties of the correlation functions of Liouville Conformal Field Theory.


title: Connected and Disconnected Sea Partons from CT18 Parametrization of PDFs

abstract: The separation of the connected and disconnected sea partons, which were uncovered in the Euclidean path-integral formulation of the hadronic tensor, is accommodated with the CT18 parametrization of the global analysis of the parton distribution functions (PDFs). This is achieved with the help of the distinct small $x$ behaviors of these two sea parton components and the constraint from the lattice calculation of the ratio of the strange momentum fraction to that of the ${\bar u}$ or ${\bar d}$ in the disconnected insertion. This allows lattice calculations of separate flavors in both the connected and disconnected insertions to be directly compared with the global analysis results term by term.


title: Integral boundary conditions in phase field models

abstract: Modeling the microstructure evolution of a material embedded in a device often involves integral boundary conditions. Here we propose a modified Nitsche's method to solve the Poisson equation with an integral boundary condition, which is coupled to phase-field equations of the microstructure evolution of a strongly correlated material undergoing metal-insulator transitions. Our numerical experiments demonstrate that the proposed method achieves optimal convergence rate while the rate of convergence of the conventional Lagrange multiplier method is not optimal. Furthermore, the linear system derived from the modified Nitsche's method can be solved by an iterative solver with algebraic multigrid preconditioning. The modified Nitsche's method can be applied to other physical boundary conditions mathematically similar to this electric integral boundary condition.


title: Forces from stochastic density functional theory under nonorthogonal atom-centered basis sets

abstract: We develop a formalism for calculating forces on the nuclei within the linear-scaling stochastic density functional theory (sDFT) in a nonorthogonal atom-centered basis-set representation (Fabian et al. WIREs Comput Mol Sci. 2019;e1412. https://doi.org/10.1002/wcms.1412) and apply it to Tryptophan Zipper 2 (Trp-zip2) peptide solvated in water. We use an embedded-fragment approach to reduce the statistical errors (fluctuation and systematic bias), where the entire peptide is the main fragment and the remaining 425 water molecules are grouped into small fragments. We analyze the magnitude of the statistical errors in the forces and find that the systematic bias is of the order of $0.065\,eV/\r{A}$ ($\sim1.2\times10^{-3}E_{h}/a_{0}$) when 120 stochastic orbitals are used, independently of systems size. This magnitude of bias is sufficiently small to ensure that the bond lengths estimated by stochastic DFT (within a Langevin molecular dynamics simulation) will deviate by less than 1% from those predicted by a deterministic calculation.


title: NPBDREG: Uncertainty Assessment in Diffeomorphic Brain MRI Registration using a Non-parametric Bayesian Deep-Learning Based Approach

abstract: Quantification of uncertainty in deep-neural-networks (DNN) based image registration algorithms plays a critical role in the deployment of image registration algorithms for clinical applications such as surgical planning, intraoperative guidance, and longitudinal monitoring of disease progression or treatment efficacy as well as in research-oriented processing pipelines. Currently available approaches for uncertainty estimation in DNN-based image registration algorithms may result in sub-optimal clinical decision making due to potentially inaccurate estimation of the uncertainty of the registration stems for the assumed parametric distribution of the registration latent space. We introduce NPBDREG, a fully non-parametric Bayesian framework for uncertainty estimation in DNN-based deformable image registration by combining an Adam optimizer with stochastic gradient Langevin dynamics (SGLD) to characterize the underlying posterior distribution through posterior sampling. Thus, it has the potential to provide uncertainty estimates that are highly correlated with the presence of out of distribution data. We demonstrated the added-value of NPBDREG, compared to the baseline probabilistic VoxelMorph model (PrVXM), on brain MRI image registration using $390$ image pairs from four publicly available databases: MGH10, CMUC12, ISBR18 and LPBA40. The NPBDREG shows a better correlation of the predicted uncertainty with out-of-distribution data ($r>0.95$ vs. $r<0.5$) as well as a 7.3%improvement in the registration accuracy (Dice score, $0.74$ vs. $0.69$, $p \ll 0.01$), and 18% improvement in registration smoothness (percentage of folds in the deformation field, 0.014 vs. 0.017, $p \ll 0.01$). Finally, NPBDREG demonstrated a better generalization capability for data corrupted by a mixed structure noise (Dice score of $0.73$ vs. $0.69$, $p \ll 0.01$) compared to the baseline PrVXM approach.


title: Dilated Inception U-Net (DIU-Net) for Brain Tumor Segmentation

abstract: Magnetic resonance imaging (MRI) is routinely used for brain tumor diagnosis, treatment planning, and post-treatment surveillance. Recently, various models based on deep neural networks have been proposed for the pixel-level segmentation of tumors in brain MRIs. However, the structural variations, spatial dissimilarities, and intensity inhomogeneity in MRIs make segmentation a challenging task. We propose a new end-to-end brain tumor segmentation architecture based on U-Net that integrates Inception modules and dilated convolutions into its contracting and expanding paths. This allows us to extract local structural as well as global contextual information. We performed segmentation of glioma sub-regions, including tumor core, enhancing tumor, and whole tumor using Brain Tumor Segmentation (BraTS) 2018 dataset. Our proposed model performed significantly better than the state-of-the-art U-Net-based model ($p<0.05$) for tumor core and whole tumor segmentation.


title: Low-cost experiment to measure the speed of light

abstract: In this paper, we demonstrate a low-cost method to measure the speed of light. It uses instruments which are readily available in any undergraduate laboratory in a developing country and some components which are inexpensive. The method is direct as it measures the time of flight of the LASER beam and easy to implement. It will allow students to verify the finite value of the speed of light first hand. It can be part of the undergraduate syllabus as a regular experiment or a demonstration experiment.


title: Products of composition and differentiation operators on the Hardy space

abstract: We consider the products of composition and differentiation operators on the Hardy space. We provide a complete characterization of the boundedness and compactness of these operators. Furthermore, we obtain the explicit condition for these operators to be Hilbert-Schmidt operators.


title: Limits of Jensen polynomials for partitions and other sequences

abstract: It was discovered recently by Griffin, Ono, Rolen and Zagier that the Jensen polynomials associated to many sequences have Hermite polynomial limits. We develop this theory in detail, based on the log-polynomial property which is a refinement of log-concavity and log-convexity. Applications to various partition sequences are given. An application to the sequence of factorials leads naturally to evaluating limits of generalized Laguerre polynomials.


title: CVaR-based Safety Analysis in the Infinite Time Horizon Setting

abstract: We develop a risk-averse safety analysis method for stochastic systems on discrete infinite time horizons. Our method quantifies the notion of risk for a control system in terms of the severity of a harmful random outcome in a fraction of the worst cases. In contrast, classical methods quantify risk in terms of the probability of a harmful event. Our theoretical arguments are based on the analysis of a value iteration algorithm on an augmented state space. We provide conditions to guarantee the existence of an optimal policy on this space. We illustrate the method numerically using an example from the domain of stormwater management.