title: Estimation and numerical validation of inf-sup constant for bilinear form (p, div u)

abstract: We give a derivation for the value of inf-sup constant for the bilinear form (p, div u). We prove that the value of inf-sup constant is equal to 1.0 in all cases and is independent of the size and shape of the domain. Numerical tests for validation of inf-sup constants is performed using finite dimensional spaces defined in \cite{2020jain} on two test domains i) a square of size $\Omega = [0,1]^2$, ii) a square of size $\Omega = [0,2]^2$, for varying mesh sizes and polynomial degrees. The numeric values are in agreement with the theoretical value of inf-sup term.


title: Rings on Abelian Torsion-Free Groups of Finite Rank

abstract: In the class of reduced Abelian torsion-free groups $G$ of finite rank, we describe TI-groups, this means that every associative ring on $G$ is filial. If every associative multiplication on $G$ is the zero multiplication, then $G$ is called a $nil_a$-group. It is proved that a reduced Abelian torsion-free group $G$ of finite rank is a $TI$-group if and only if $G$ is a homogeneous Murley group or $G$ is a $nil_a$-group. We also study the interrelations between the class of homogeneous Murley groups and the class of $nil_a$-groups. For any type $t\ne (\infty,\infty,\ldots)$ and every integer $n>1$, there exist $2^{\aleph_0}$ pairwise non-quasi-isomorphic homogeneous Murley groups of type $t$ and rank $n$ which are $nil_a$-groups. We describe types $t$ such that there exists a homogeneous Murley group of type $t$ which is not a $nil_a$-group. This paper will be published in Beitr\"{a}ge zur Algebra und Geometrie / Contributions to Algebra and Geometry.


title: Locally private online change point detection

abstract: We study online change point detection problems under the constraint of local differential privacy (LDP) where, in particular, the statistician does not have access to the raw data. As a concrete problem, we study a multivariate nonparametric regression problem. At each time point $t$, the raw data are assumed to be of the form $(X_t, Y_t)$, where $X_t$ is a $d$-dimensional feature vector and $Y_t$ is a response variable. Our primary aim is to detect changes in the regression function $m_t(x)=\mathbb{E}(Y_t |X_t=x)$ as soon as the change occurs. We provide algorithms which respect the LDP constraint, which control the false alarm probability, and which detect changes with a minimal (minimax rate-optimal) delay. To quantify the cost of privacy, we also present the optimal rate in the benchmark, non-private setting. These non-private results are also new to the literature and thus are interesting \emph{per se}. In addition, we study the univariate mean online change point detection problem, under privacy constraints. This serves as the blueprint of studying more complicated private change point detection problems.


title: Phase Entrainment by Periodic Stimuli In Silico: A Quantitative Study

abstract: We present a quantitative study of phase entrainment by periodic visual stimuli in a biologically inspired neural network. The objective is to understand the neuronal population dynamics that underlie phase entrainment of brain oscillations by external stimuli, which is used for therapeutic treatment in neurological disorders, for example in Parkinsonian tremor. Yet, the neuronal dynamics underpinning such entrainment is not fully understood. Rhythmic sensory stimulation is one way of studying phase synchronization in the brain. A recent experimental study has reported phase entrainment of brain oscillations during steady state visually evoked potentials (SSVEP), which are scalp electroencephalogram corresponding to periodic stimuli. We have simulated SSVEP-like signals corresponding to periodic pulse input to our in silico model. We have used phase locking values, normalised Shannon entropy and conditional probability as synchronisation indices to show phase synchrony in the neuronal populations. Our experiment demonstrates that the phase synchronisation disappears with jitter in the input inter-pulse intervals, and this would not be the case if the output signal were to be the superposition of the responses to the different input signals. Thus, the phase synchronisation implies entrainment of the network response by the periodic input. Overall, our study shows the plausibility of using biologically inspired in silico models, validated by experimental works, to understand and make testable predictions on brain entrainment as a therapeutic treatment in specific neurological disorders.


title: Probabilistic Fixed Ballot Rules and Hybrid Domains

abstract: We study a class of preference domains that satisfies the familiar properties of minimal richness, diversity and no-restoration. We show that a specific preference restriction, hybridness, has been embedded in these domains so that the preferences are single-peaked at the "extremes" and unrestricted in the "middle". We also study the structure of strategy-proof and unanimous Random Social Choice Functions on these domains. We show them to be special cases of probabilistic fixed ballot rules (introduced by Ehlers, Peters, and Storcken (2002)).


title: Video-based Person Re-identification without Bells and Whistles

abstract: Video-based person re-identification (Re-ID) aims at matching the video tracklets with cropped video frames for identifying the pedestrians under different cameras. However, there exists severe spatial and temporal misalignment for those cropped tracklets due to the imperfect detection and tracking results generated with obsolete methods. To address this issue, we present a simple re-Detect and Link (DL) module which can effectively reduce those unexpected noise through applying the deep learning-based detection and tracking on the cropped tracklets. Furthermore, we introduce an improved model called Coarse-to-Fine Axial-Attention Network (CF-AAN). Based on the typical Non-local Network, we replace the non-local module with three 1-D position-sensitive axial attentions, in addition to our proposed coarse-to-fine structure. With the developed CF-AAN, compared to the original non-local operation, we can not only significantly reduce the computation cost but also obtain the state-of-the-art performance (91.3% in rank-1 and 86.5% in mAP) on the large-scale MARS dataset. Meanwhile, by simply adopting our DL module for data alignment, to our surprise, several baseline models can achieve better or comparable results with the current state-of-the-arts. Besides, we discover the errors not only for the identity labels of tracklets but also for the evaluation protocol for the test data of MARS. We hope that our work can help the community for the further development of invariant representation without the hassle of the spatial and temporal alignment and dataset noise. The code, corrected labels, evaluation protocol, and the aligned data will be available at https://github.com/jackie840129/CF-AAN.


title: Tensor products of coherent configurations

abstract: A Cartesian decomposition of a coherent configuration $\cal X$ is defined as a special set of its parabolics that form a Cartesian decomposition of the underlying set. It turns out that every tensor decomposition of $\cal X$ comes from a certain Cartesian decomposition. It is proved that if the coherent configuration $\cal X$ is thick, then there is a unique maximal Cartesian decomposition of $\cal X$, i.e., there is exactly one internal tensor decomposition of $\cal X$ into indecomposable components. In particular, this implies an analog of the Krull--Schmidt theorem for the thick coherent configurations. A polynomial-time algorithm for finding the maximal Cartesian decomposition of a thick coherent configuration is constructed.


title: Cybercosm: New Foundations for a Converged Science Data Ecosystem

abstract: Scientific communities naturally tend to organize around data ecosystems created by the combination of their observational devices, their data repositories, and the workflows essential to carry their research from observation to discovery. However, these legacy data ecosystems are now breaking down under the pressure of the exponential growth in the volume and velocity of these workflows, which are further complicated by the need to integrate the highly data intensive methods of the Artificial Intelligence revolution. Enabling ground breaking science that makes full use of this new, data saturated research environment will require distributed systems that support dramatically improved resource sharing, workflow portability and composability, and data ecosystem convergence. The Cybercosm vision presented in this white paper describes a radically different approach to the architecture of distributed systems for data-intensive science and its application workflows. As opposed to traditional models that restrict interoperability by hiving off storage, networking, and computing resources in separate technology silos, Cybercosm defines a minimally sufficient hypervisor as a spanning layer for its data plane that virtualizes and converges the local resources of the system's nodes in a fully interoperable manner. By building on a common, universal interface into which the problems that infect today's data-intensive workflows can be decomposed and attacked, Cybercosm aims to support scalable, portable and composable workflows that span and merge the distributed data ecosystems that characterize leading edge research communities today.


title: Connection between the Riemann integrability of a multi-valued function and of its convex hull

abstract: For a Banach space $X$ we demonstrate the equivalence of the following two properties: (1) $X$ is B-convex (that is, possesses a nontrivial infratype), and (2) if ${F: [0,1] \to 2^{X} \setminus \{\varnothing\}}$ is a {multifunction}, $\mathrm{conv} F$ denotes the mapping $t \mapsto \mathrm{conv} F(t)$, then the Riemann integrability of $\mathrm{conv} F$ is equivalent to the Riemann integrability of $F$. For multifunctions with compact values the Riemann integrability of $\mathrm{conv} F$ is equivalent to the Riemann integrability of $F$ without any restrictions on the Banach space $X$.


title: Feasible Actor-Critic: Constrained Reinforcement Learning for Ensuring Statewise Safety

abstract: The safety constraints commonly used by existing safe reinforcement learning (RL) methods are defined only on expectation of initial states, but allow each certain state to be unsafe, which is unsatisfying for real-world safety-critical tasks. In this paper, we introduce the feasible actor-critic (FAC) algorithm, which is the first model-free constrained RL method that considers statewise safety, e.g, safety for each initial state. We claim that some states are inherently unsafe no matter what policy we choose, while for other states there exist policies ensuring safety, where we say such states and policies are feasible. By constructing a statewise Lagrange function available on RL sampling and adopting an additional neural network to approximate the statewise Lagrange multiplier, we manage to obtain the optimal feasible policy which ensures safety for each feasible state and the safest possible policy for infeasible states. Furthermore, the trained multiplier net can indicate whether a given state is feasible or not through the statewise complementary slackness condition. We provide theoretical guarantees that FAC outperforms previous expectation-based constrained RL methods in terms of both constraint satisfaction and reward optimization. Experimental results on both robot locomotive tasks and safe exploration tasks verify the safety enhancement and feasibility interpretation of the proposed method.


title: The Bluedisk survey: thickness of HI layers in gas rich spiral galaxies

abstract: We use an empirical relation to measure the HI scale height of relatively HI rich galaxies using 21-cm observations. The galaxies were selected from the BLUEDISK, THINGS and VIVA surveys. We aim to compare the thickness of the HI layer of unusually HI rich with normal spiral galaxies and find any correlation between the HI scale height with other galaxies properties. We found that on average the unusually HI rich galaxies have similar HI disk thickness to the control sample and the galaxies selected from the THINGS and VIVA surveys within their uncertainties. Our result also show that the average thickness of the neutral hydrogen inside the optical disk is correlated with the atomic gas fraction inside the optical disk with a scatter of ~ 0.22 dex. A correlation is also found between the HI scale height with the atomic-to-molecular gas ratio which indicates the link between star formation and the vertical distribution of HI which is consistent with previous studies. This new scaling relation between the HI scale height and atomic gas fraction will allow us to predict the HI scale height of a large number of galaxies but a larger sample is needed to decrease the scatter.


title: Thickness-Driven Quantum Anomalous Hall Phase Transition in Magnetic Topological Insulator Thin Films

abstract: The quantized version of anomalous Hall effect realized in magnetic topological insulators (MTIs) has great potential for the development of topological quantum physics and low-power electronic/spintronic applications. To enable dissipationless chiral edge conduction at zero magnetic field, effective exchange field arisen from the aligned magnetic dopants needs to be large enough to yield specific spin sub-band configurations. Here we report the thickness-tailored quantum anomalous Hall (QAH) effect in Cr-doped (Bi,Sb)2Te3 thin films by tuning the system across the two-dimensional (2D) limit. In addition to the Chern number-related metal-to-insulator QAH phase transition, we also demonstrate that the induced hybridization gap plays an indispensable role in determining the ground magnetic state of the MTIs, namely the spontaneous magnetization owning to considerable Van Vleck spin susceptibility guarantees the zero-field QAH state with unitary scaling law in thick samples, while the quantization of the Hall conductance can only be achieved with the assistance of external magnetic fields in ultra-thin films. The modulation of topology and magnetism through structural engineering may provide a useful guidance for the pursuit of QAH-based new phase diagrams and functionalities.


title: Nonlinear Lie-Type Derivations of finitary Incidence Algebras and Related Topics

abstract: This is a continuation of our earlier works \cite{KhrypchenkoWei, Yang20211, Yang20212} with respect to (non-)linear Lie-type derivations of finitary incidence algebras. Let $X$ be a pre-ordered set, $\mathcal{R}$ be a $2$-torsionfree and $(n-1)$-torsionfree commutative ring with identity, where $n\geq 2$ is an integer. Let $FI(X,\mathcal{R})$ be the finitary incidence algebra of $X$ over $\mathcal{R}$. In this paper, a complete clarification is obtained for the structure of nonlinear Lie-type derivations of $FI(X,\mathcal{R})$. We introduce a new class of derivations on $FI(X,\mathcal{R})$ named inner-like derivations, and prove that each nonlinear Lie $n$-derivation on $FI(X,\mathcal{R})$ is the sum of an inner-like derivation, a transitive induced derivation and a quasi-additive induced Lie $n$-derivation. Furthermore, if $X$ is finite, we show that a quasi-additive induced Lie $n$-derivation can be expressed as the sum of an additive induced Lie derivation and a central-valued map annihilating all $(n-1)$-th commutators. We also provide a sufficient and necessary condition such that every nonlinear Lie $n$-derivation of $FI(X,\mathcal{R})$ is of proper form. Some related topics for further research are proposed in the last section of this article.


title: Towards Automatic Recognition of Pure & Mixed Stones using Intraoperative Endoscopic Digital Images

abstract: Objective: To assess automatic computer-aided in-situ recognition of morphological features of pure and mixed urinary stones using intraoperative digital endoscopic images acquired in a clinical setting. Materials and methods: In this single-centre study, an experienced urologist intraoperatively and prospectively examined the surface and section of all kidney stones encountered. Calcium oxalate monohydrate (COM/Ia), dihydrate (COD/IIb) and uric acid (UA/IIIb) morphological criteria were collected and classified to generate annotated datasets. A deep convolutional neural network (CNN) was trained to predict the composition of both pure and mixed stones. To explain the predictions of the deep neural network model, coarse localisation heat-maps were plotted to pinpoint key areas identified by the network. Results: This study included 347 and 236 observations of stone surface and stone section, respectively. A highest sensitivity of 98 % was obtained for the type "pure IIIb/UA" using surface images. The most frequently encountered morphology was that of the type "pure Ia/COM"; it was correctly predicted in 91 % and 94 % of cases using surface and section images, respectively. Of the mixed type "Ia/COM+IIb/COD", Ia/COM was predicted in 84 % of cases using surface images, IIb/COD in 70 % of cases, and both in 65 % of cases. Concerning mixed Ia/COM+IIIb/UA stones, Ia/COM was predicted in 91 % of cases using section images, IIIb/UA in 69 % of cases, and both in 74 % of cases. Conclusions: This preliminary study demonstrates that deep convolutional neural networks are promising to identify kidney stone composition from endoscopic images acquired intraoperatively. Both pure and mixed stone composition could be discriminated. Collected in a clinical setting, surface and section images analysed by deep CNN provide valuable information about stone morphology for computer-aided diagnosis.


title: Normalising Lustre Preserves Security

abstract: The synchronous reactive data flow language LUSTRE is an expressive language, equipped with a suite of tools for modelling, simulating and model-checking a wide variety of safety-critical systems. A critical intermediate step in the formally certified compilation of LUSTRE involves translation to a well-behaved sub-language called "Normalised LUSTRE" (NLUSTRE). Recently, we proposed a simple Denning-style lattice-based secure information flow type system for NLUSTRE, and proved its soundness by establishing that security-typed programs are non-interfering with respect to the co-inductive stream semantics. In this paper, we propose a similar security type system for unrestricted LUSTRE, and show that Bourke et al.'s semantics-preserving normalisation transformations from LUSTRE to NLUSTRE are security-preserving as well. A novelty is the use of refinement security types for node calls. The main result is the preservation of security types by the normalisation transformations. The soundness of our security typing rules is shown by establishing that well-security-typed programs are non-interfering, via a reduction to type-preservation (here), semantics-preservation (Bourke et al.) and our previous result of non-interference for NLUSTRE.


title: V2V Spatiotemporal Interactive Pattern Recognition and Risk Analysis in Lane Changes

abstract: In complex lane change (LC) scenarios, semantic interpretation and safety analysis of dynamic interactive pattern are necessary for autonomous vehicles to make appropriate decisions. This study proposes an unsupervised learning framework that combines primitive-based interactive pattern recognition methods and risk analysis methods. The Hidden Markov Model with the Gaussian mixture model (GMM-HMM) approach is developed to decompose the LC scenarios into primitives. Then the Dynamic Time Warping (DTW) distance based K-means clustering is applied to gather the primitives to 13 types of interactive patterns. Finally, this study considers two types of time-to-collision (TTC) involved in the LC process as indicators to analyze the risk of the interactive patterns and extract high-risk LC interactive patterns. The results obtained from The Highway Drone Dataset (highD) demonstrate that the identified LC interactive patterns contain interpretable semantic information. This study explores the spatiotemporal evolution law and risk formation mechanism of the LC interactive patterns and the findings are useful for comprehensively understanding the latent interactive patterns, improving the rationality and safety of autonomous vehicle's decision-making.


title: An Algorithm for Reordering Buffer Management Problem and Experimental Evaluations on Discrete Distributions

abstract: In the reordering buffer management problem, a sequence of requests must be executed by a service station, where a cost occurs for each pair of consecutive requests with different attributes. A reordering buffer management algorithm aims to permute the input sequence using the buffer to minimize the total cost. Reordering buffers has many potential applications in computer sciences and economics. In this article, we proved the minimum buffer length for the optimal solution to the reordering buffer management problem in the offline setting. With the assumption that color selection is always made when the buffer is full, selecting the most frequent color from the buffer given the smallest buffer size $k$ that satisfies either $o_1 < 2 \cdot \lceil \frac{k}{\sigma} \rceil$ OR $o_2 < \lceil \frac{k}{\sigma} \rceil$ guarantees the optimal solution, where $o_1$ and $o_2$ represent respectively the frequency of the most and the second most frequent colors in the input sequence $\mathcal{X}$, and $\sigma$ is the number of distinct colors appearing in $\mathcal{X}$. We proposed a new algorithm for the online setting of the problem that uses the results of the proof made on the minimum buffer length required for the optimal solution. Moreover, we presented the results of the first experimental setup that uses input sequences following discrete distributions to evaluate the performance of algorithms. Out of 432 cases, the new algorithm showed the best performance in 409 cases that is approximately $95\%$ of all cases.


title: Resource and Response Aware Path Planning for Long-term Autonomy of Ground Robots in Agriculture

abstract: Achieving long-term autonomy for mobile robots operating in real-world unstructured environments such as farms remains a significant challenge. This is made increasingly complex in the presence of moving humans or livestock. These environments require a robot to be adaptive in its immediate plans, accounting for the state of nearby individuals and the response that they might have to the robot's actions. Additionally, in order to achieve longer-term goals, consideration of the limited on-board resources available to the robot is required, especially for extended missions such as weeding an agricultural field. To achieve efficient long-term autonomy, it is thus crucial to understand the impact that online dynamic updates to an energy efficient offline plan might have on resource usage whilst navigating through crowds or herds. To address these challenges, a hierarchical planning framework is proposed, integrating an online local dynamic path planner with an offline longer-term objective-based planner. This framework acts to achieve long-term autonomy through awareness of both dynamic responses of individuals to a robot's motion and the limited resources available. This paper details the hierarchical approach and its integration on a robotic platform, including a comprehensive description of the planning framework and associated perception modules. The approach is evaluated in real-world trials on farms, requiring both consideration of limited battery capacity and the presence of nearby moving individuals. These trials additionally demonstrate the ability of the framework to adapt resource use through variation of the local dynamic planner, allowing adaptive behaviour in changing environments. A summary video is available at https://youtu.be/DGVTrYwJ304.


title: Discrete time-dependent wave equations I. Semiclassical analysis

abstract: In this paper we consider a semiclassical version of the wave equations with singular H\"{o}lder time-dependent propagation speeds on the lattice $\hbar\mathbb{Z}^{n}$. We allow the propagation speed to vanish leading to the weakly hyperbolic nature of the equations. Curiously, very much contrary to the Euclidean case considered by Colombini, de Giorgi and Spagnolo [2] and by other authors, the Cauchy problem, in this case, is well-posed in $\ell^2(\hbar\mathbb{Z}^{n})$. However, we also recover the well-posedness results in the intersection of certain Gevrey and Sobolev spaces in the limit of the semiclassical parameter $\hbar\to 0$.


title: Off-Diagonal Long-Range Order Implies Vanishing Charge Gap

abstract: For a large class of quantum many-body systems with U(1) symmetry, we prove a general inequality that relates the (off-diagonal) long-range order with the charge gap. For a system of bosons or fermions on a lattice or in the continuum, the inequality implies that a ground state with off-diagonal long-range order inevitably has a vanishing charge gap, and hence is characterized by nonzero charge susceptibility. For a quantum spin system, the inequality implies that a ground state within a magnetization plateau cannot have transverse long-range order.

categories: cond-mat.quant-gas cond-mat.stat-mech cond-mat.str-el cond-mat.supr-con quant-ph


title: Directional dark-field implicit x-ray speckle tracking using an anisotropic-diffusion Fokker-Planck equation

abstract: When a macroscopic-sized non-crystalline sample is illuminated using coherent x-ray radiation, a bifurcation of photon energy flow may occur. The coarse-grained complex refractive index of the sample may be considered to attenuate and refract the incident coherent beam, leading to a coherent component of the transmitted beam. Spatially-unresolved sample microstructure, associated with the fine-grained components of the complex refractive index, introduces a diffuse component to the transmitted beam. This diffuse photon-scattering channel may be viewed in terms of position-dependent fans of ultra-small-angle x-ray scatter. These position-dependent fans, at the exit surface of the object, may under certain circumstances be approximated as having a locally-elliptical shape. By using an anisotropic-diffusion Fokker-Planck approach to model this bifurcated x-ray energy flow, we show how all three components (attenuation, refraction and locally-elliptical diffuse scatter) may be recovered. This is done via x-ray speckle tracking, in which the sample is illuminated with spatially-random x-ray fields generated by coherent illumination of a spatially-random membrane. The theory is developed, and then successfully applied to experimental x-ray data.


title: Local origin of the strong field-space anisotropy in the magnetic phase diagrams of Ce$_{1-x}$La$_x$B$_6$ measured in a rotating magnetic field

abstract: Cubic f-electron compounds commonly exhibit highly anisotropic magnetic phase diagrams consisting of multiple long-range ordered phases. Field-driven metamagnetic transitions between them may depend not only on the magnitude, but also on the direction of the applied magnetic field. Examples of such behavior are plentiful among rare-earth borides, such as RB$_6$ or RB$_{12}$ ($R$ = rare earth). In this work, for example, we use torque magnetometry to measure anisotropic field-angular phase diagrams of La-doped cerium hexaborides, Ce$_{1-x}$La$_x$B$_6$ ($x$ = 0, 0.18, 0.28, 0.5). One expects that field-directional anisotropy of phase transitions must be impossible to understand without knowing the magnetic structures of the corresponding competing phases and being able to evaluate their precise thermodynamic energy balance. However, this task is usually beyond the reach of available theoretical approaches, because the ordered phases can be noncollinear, possess large magnetic unit cells, involve higher-order multipoles of 4f ions rather than simple dipoles, or just lack sufficient microscopic characterization. Here we demonstrate that the anisotropy under field rotation can be qualitatively understood on a much more basic level of theory, just by considering the crystal-electric-field scheme of a pair of rare-earth ions in the lattice, coupled by a single nearest-neighbor exchange interaction. Transitions between different crystal-field ground states, calculated using this minimal model for the parent compound CeB6, possess field-directional anisotropy that strikingly resembles the experimental phase diagrams. This implies that the anisotropy of phase transitions is of local origin and is easier to describe than the ordered phases themselves.


title: Kaehler Ricci solitons induced by infinite dimensional complex space forms

abstract: We exhibit families of non trivial (i.e. not Kaehler-Einstein) radial Kaehler-Ricci solitons (KRS), both complete and not complete, which can be Kaehler immersed into infinite dimensional complex space forms. This result shows that the triviality of a KRS induced by a finite dimensional complex space form proved in [12] does not hold when the ambient space is allowed to be infinite dimensional. Moreover, we show that the radial potential of a radial KRS induced by a non-elliptic complex space form is necessarily defined at the origin.


title: Bianchi II, VIII, and IX viscous fluid cosmology

abstract: In this paper we study the exact solutions for a viscous fluid distribution in Bianchi II, VIII, and IX models. The metric is simplified by assuming a relationship between the coefficients and the metric tensor. Solutions are obtained in two special cases: in one, an additional assumption is made where the matter density and the expansion scalar have a definite relation and in the other a barotropic equation of state between the matter density and the thermodynamic pressure is assumed. While the Bianchi II solutions are already found in the literature the other two classes of solutions are apparently new.


title: ADNet: Attention-guided Deformable Convolutional Network for High Dynamic Range Imaging

abstract: In this paper, we present an attention-guided deformable convolutional network for hand-held multi-frame high dynamic range (HDR) imaging, namely ADNet. This problem comprises two intractable challenges of how to handle saturation and noise properly and how to tackle misalignments caused by object motion or camera jittering. To address the former, we adopt a spatial attention module to adaptively select the most appropriate regions of various exposure low dynamic range (LDR) images for fusion. For the latter one, we propose to align the gamma-corrected images in the feature-level with a Pyramid, Cascading and Deformable (PCD) alignment module. The proposed ADNet shows state-of-the-art performance compared with previous methods, achieving a PSNR-$l$ of 39.4471 and a PSNR-$\mu$ of 37.6359 in NTIRE 2021 Multi-Frame HDR Challenge.


title: Sub-Wavelength Plasmon Polaritons Channeling of Whispering Gallery Modes of Fluorescent Silica Microresonator

abstract: Herein, we report sub-wavelength propagation and directional out-coupling of whispering gallery modes (WGMs) of a fluorescent silica microsphere resonator mediated via plasmon polaritons in a single crystalline silver nanowire. Fluorescent spectral signatures of emission from the nanowire ends confirm efficient guiding of WGMs via nanowire plasmons. By employing Fourier plane optical microscopy, we reveal and quantify the directional fluorescence emission of WGMs from the ends of the nanowire. Given that the discussed geometry is self-assembled from a solution-phase, our results will find relevance in WGM-based soft-photonic platforms including miniaturized optical resonators and couplers.

categories: physics.optics cond-mat.mes-hall cond-mat.soft physics.app-ph


title: Denoising Noisy Neural Networks: A Bayesian Approach with Compensation

abstract: Deep neural networks (DNNs) with noisy weights, which we refer to as noisy neural networks (NoisyNNs), arise from the training and inference of DNNs in the presence of noise. NoisyNNs emerge in many new applications, including the wireless transmission of DNNs, the efficient deployment or storage of DNNs in analog devices, and the truncation or quantization of DNN weights. This paper studies a fundamental problem of NoisyNNs: how to reconstruct the DNN weights from their noisy manifestations. While all prior works relied on the maximum likelihood (ML) estimation, this paper puts forth a denoising approach to reconstruct DNNs with the aim of maximizing the inference accuracy of the reconstructed models. The superiority of our denoiser is rigorously proven in two small-scale problems, wherein we consider a quadratic neural network function and a shallow feedforward neural network, respectively. When applied to advanced learning tasks with modern DNN architectures, our denoiser exhibits significantly better performance than the ML estimator. Consider the average test accuracy of the denoised DNN model versus the weight variance to noise power ratio (WNR) performance. When denoising a noisy ResNet34 model arising from noisy inference, our denoiser outperforms ML estimation by up to 4.1 dB to achieve a test accuracy of 60%.When denoising a noisy ResNet18 model arising from noisy training, our denoiser outperforms ML estimation by 13.4 dB and 8.3 dB to achieve test accuracies of 60% and 80%, respectively.


title: Soccer Player Tracking in Low Quality Video

abstract: In this paper we propose a system capable of tracking multiple soccer players in different types of video quality. The main goal, in contrast to most state-of-art soccer player tracking systems, is the ability of execute effectively tracking in videos of low-quality. We adapted a state-of-art Multiple Object Tracking to the task. In order to do that adaptation, we created a Detection and a Tracking Dataset for 3 different qualities of video. The results of our system are conclusive of its high performance.


title: Amplitude mediated spiral chimera pattern in a nonlinear reaction-diffusion system

abstract: Formation of diverse patterns in spatially extended reaction-diffusion systems is an important aspect of study which is pertinent to many chemical and biological processes. Of special interest is the peculiar phenomenon of chimera state having spatial coexistence of coherent and incoherent dynamics in a system of identically interacting individuals. In the present article, we report the emergence of various collective dynamical patterns while considering a system of prey-predator dynamics in presence of a two-dimensional diffusive environment. Particularly, we explore the observance of four distinct categories of spatial arrangements among the species, namely spiral wave, spiral chimera, completely synchronized oscillations, and oscillation death states in a broad region of the diffusion-driven parameter space. Emergence of amplitude mediated spiral chimera states displaying drifted amplitudes and phases in the incoherent subpopulation is detected for parameter values beyond both Turing and Hopf bifurcations. Transition scenarios among all these distinguishable patterns are numerically demonstrated for a wide range of the diffusion coefficients which reveal that the chimera states arise during the transition from oscillatory to steady state dynamics. Furthermore, we characterize the occurrence of each of the recognizable patterns by estimating the strength of incoherent subpopulations in the two-dimensional space.


title: Automated Knee X-ray Report Generation

abstract: Gathering manually annotated images for the purpose of training a predictive model is far more challenging in the medical domain than for natural images as it requires the expertise of qualified radiologists. We therefore propose to take advantage of past radiological exams (specifically, knee X-ray examinations) and formulate a framework capable of learning the correspondence between the images and reports, and hence be capable of generating diagnostic reports for a given X-ray examination consisting of an arbitrary number of image views. We demonstrate how aggregating the image features of individual exams and using them as conditional inputs when training a language generation model results in auto-generated exam reports that correlate well with radiologist-generated reports.


title: On anisotropic non-Lipschitz restoration model: lower bound theory and convergent algorithm

abstract: For nonconvex and nonsmooth restoration models, the lower bound theory reveals their good edge recovery ability, and related analysis can help to design convergent algorithms. Existing such discussions are focused on isotropic regularization models, or only the lower bound theory of anisotropic model with a quadratic fidelity. In this paper, we consider a general image recovery model with a non-Lipschitz anisotropic composite regularization term and an $\ell_q$ norm ($1\leq q<+\infty$) data fidelity term. We establish the lower bound theory for the anisotropic model with an $\ell_1$ fidelity, which applies to impulsive noise removal problems. For the general case with $1\leq q<+\infty$, a support inclusion analysis is provided. To solve this non-Lipschitz composite minimization model, we are then motivated to introduce a support shrinking strategy in the iterative algorithm and relax the support constraint to a thresholding support constraint, which is more computationally practical. The objective function at each iteration is also linearized to construct a strongly convex subproblem. To make the algorithm more implementable, we compute an approximation solution to this subproblem at each iteration, but not exactly solve it. The global convergence result of the proposed inexact iterative thresholding and support shrinking algorithm with proximal linearization is established. The experiments on image restoration and two stage image segmentation demonstrate the effectiveness of the proposed algorithm.


title: Nash-Bargaining-Based Models for Matching Markets: One-Sided and Two-Sided; Fisher and Arrow-Debreu

abstract: This paper addresses two deficiencies of models in the area of matching-based market design. The first arises from the recent realization that the most prominent solution that uses cardinal utilities, namely the Hylland-Zeckhauser (HZ) mechanism, is intractable; computation of even an approximate equilibrium is PPAD-complete. The second is the extreme paucity of models that use cardinal utilities. Our paper addresses both these issues by proposing Nash-bargaining-based matching market models. Since the Nash bargaining solution is captured by a convex program, efficiency follows. In addition, it possesses several desirable game-theoretic properties. Our approach yields a rich collection of models: for one-sided as well as two-sided markets, for Fisher as well as Arrow-Debreu settings, and for a wide range of utility functions, all the way from linear to Leontief. We give very fast implementations for these models using Frank-Wolfe and Cutting Plane algorithms. These help solve large instances with several thousand agents and goods in a matter of minutes on a PC, even for a one-sided matching market under piecewise-linear concave utility functions and a two-sided matching market under linear utility functions. In contrast, using HZ, going beyond even $n = 10$ is prohibitive. Several new ideas were needed, beyond the standard methods, to obtain these implementations. In particular, we present several lower bounding schemes, which not only help improve the convergence of our solution methods but also shed light on fairness properties of the Nash-bargaining-based models.


title: Correlation-driven topological and valley states in monolayer VSi$_{2}$P$_{4}$

abstract: Electronic correlations could have significant impact on the material properties. They are typically pronounced for localized orbitals and enhanced in low-dimensional systems, so two-dimensional (2D) transition metal compounds could be a good platform to study their effects. Recently, a new class of 2D transition metal compounds, the MoSi$_2$N$_4$-family materials, have been discovered, and some of them exhibit intrinsic magnetism. Here, taking monolayer VSi$_{2}$P$_{4}$ as an example from the family, we investigate the impact of correlation effects on its physical properties, based on the first-principles calculations. We find that different correlation strength can drive the system into a variety of interesting ground states, with rich magnetic, topological and valley features. With increasing correlation strength, while the system favors a ferromagnetic semiconductor state for most cases, the magnetic anisotropy and the band gap type undergo multiple transitions, and in the process, the band edges can form single, two or three valleys for electrons or holes. Remarkably, there is a quantum anomalous Hall (QAH) insulator phase, which has a unit Chern number. The boundary of the QAH phase correspond to the half-valley semimetal state with fully valley polarized bulk carriers. We further show that for phases with the out-of-plane magnetic anisotropy, the interplay between spin-orbit coupling and orbital character of valleys enable an intrinsic valley polarization for electrons but not for holes. This electron valley polarization can be switched by reversing the magnetization direction, providing a new route of magnetic control of valleytronics. Our result sheds light on the possible role of correlation effects in the 2D transition metal compounds, and it will open new perspectives for spintronic, valleytronic and topological nanoelectronic applications based on these materials.


title: Electronic structure of SrTi$_{1-x}$V$_x$O$_3$ films studied by ${\it in\ situ}$ photoemission spectroscopy: Screening for a transparent electrode material

abstract: This study investigated the electronic structure of SrTi$_{1-x}$V$_x$O$_3$ (STVO) thin films, which are solid solutions of strongly correlated transparent conductive oxide (TCO) SrVO$_3$ and oxide semiconductor SrTiO$_3$, using ${in situ}$ photoemission spectroscopy. STVO is one of the most promising candidates for correlated-metal TCO because it has the capability of optimizing the performance of transparent electrodes by varying ${x}$. Systematic and significant spectral changes were found near the Fermi level (${E_{\rm F}}$) as a function of ${x}$, while the overall electronic structure of STVO is in good agreement with the prediction of band structure calculations. As ${x}$ decreases from 1.0, spectral weight transfer occurs from the coherent band near ${E_{\rm F}}$ to the incoherent states (lower Hubbard band) around 1.0-1.5 eV. Simultaneously, a pseudogap is formed at ${E_{\rm F}}$, indicating a significant reduction in quasiparticle spectral weight within close vicinity of ${E_{\rm F}}$. This pseudogap seems to evolve into an energy gap at ${x}$ = 0.4, suggesting the occurrence of a composition-driven metal-insulator transition. From angle-resolved photoemission spectroscopic results, the carrier concentration ${n}$ changes proportionally as a function of ${x}$ in the metallic range of ${x}$ = 0.6-1.0. In contrast, the mass enhancement factor, which is proportional to the effective mass (${m^*}$), does not change significantly with varying ${x}$. These results suggest that the key factor of ${n/m^*}$ in optimizing the performance of correlated-metal TCO is tuned by ${x}$, highlighting the potential of STVO to achieve the desired TCO performance in the metallic region.


title: Adversarial Attacks and Mitigation for Anomaly Detectors of Cyber-Physical Systems

abstract: The threats faced by cyber-physical systems (CPSs) in critical infrastructure have motivated research into a multitude of attack detection mechanisms, including anomaly detectors based on neural network models. The effectiveness of anomaly detectors can be assessed by subjecting them to test suites of attacks, but less consideration has been given to adversarial attackers that craft noise specifically designed to deceive them. While successfully applied in domains such as images and audio, adversarial attacks are much harder to implement in CPSs due to the presence of other built-in defence mechanisms such as rule checkers(or invariant checkers). In this work, we present an adversarial attack that simultaneously evades the anomaly detectors and rule checkers of a CPS. Inspired by existing gradient-based approaches, our adversarial attack crafts noise over the sensor and actuator values, then uses a genetic algorithm to optimise the latter, ensuring that the neural network and the rule checking system are both deceived.We implemented our approach for two real-world critical infrastructure testbeds, successfully reducing the classification accuracy of their detectors by over 50% on average, while simultaneously avoiding detection by rule checkers. Finally, we explore whether these attacks can be mitigated by training the detectors on adversarial samples.


title: Modified Bose-Einstein condensation in an optical quantum gas

abstract: Open quantum systems can be systematically controlled by making changes to their environment. A well-known example is the spontaneous radiative decay of an electronically excited emitter, such as an atom or a molecule, which is significantly influenced by the feedback from the emitter's environment, for example, by the presence of reflecting surfaces. A prerequisite for a deliberate control of an open quantum system is to reveal the physical mechanisms that determine the state of the system. Here, we investigate the Bose-Einstein condensation of a photonic Bose gas in an environment with controlled dissipation and feedback realised by a potential landscape that effectively acts as a Mach-Zehnder interferometer. Our measurements offer a highly systematic picture of Bose-Einstein condensation under non-equilibrium conditions. We show that the condensation process is an interplay between minimising the energy of the condensate, minimising particle losses and maximising constructive feedback from the environment. In this way our experiments reveal physical mechanisms involved in the formation of a Bose-Einstein condensate, which typically remain hidden when the system is close to thermal equilibrium. Beyond a deeper understanding of Bose-Einstein condensation, our results open new pathways in quantum simulation with optical Bose-Einstein condensates.


title: Inclusion of Domain-Knowledge into GNNs using Mode-Directed Inverse Entailment

abstract: We present a general technique for constructing Graph Neural Networks (GNNs) capable of using multi-relational domain knowledge. The technique is based on mode-directed inverse entailment (MDIE) developed in Inductive Logic Programming (ILP). Given a data instance $e$ and background knowledge $B$, MDIE identifies a most-specific logical formula $\bot_B(e)$ that contains all the relational information in $B$ that is related to $e$. We represent $\bot_B(e)$ by a "bottom-graph" that can be converted into a form suitable for GNN implementations. This transformation allows a principled way of incorporating generic background knowledge into GNNs: we use the term `BotGNN' for this form of graph neural networks. For several GNN variants, using real-world datasets with substantial background knowledge, we show that BotGNNs perform significantly better than both GNNs without background knowledge and a recently proposed simplified technique for including domain knowledge into GNNs. We also provide experimental evidence comparing BotGNNs favourably to multi-layer perceptrons (MLPs) that use features representing a "propositionalised" form of the background knowledge; and BotGNNs to a standard ILP based on the use of most-specific clauses. Taken together, these results point to BotGNNs as capable of combining the computational efficacy of GNNs with the representational versatility of ILP.


title: Diophantus Equations and Partially Ordered Sets

abstract: In [1] it is shown that the Diophantine equation $(k!)^n+k^n=(n!)^k+n^k$ only has the trivial solution $n=k$, and $(k!)^n-k^n=(n!)^k-n^k$ only has the solutions $n=k$, $(n, k)=(1, 2),$ and $(2, 1)$. In this article we find all solutions of the Diophantine Equations $a_1!a_2!\cdots a_n! \pm a_1a_2 \cdots a_n = b_1!b_2! \cdots b_k! \pm b_1b_2 \cdots b_k$, where $a_i$ majorizes $b_i$. Furthermore we find a sufficient condition on a function $f:N\to R^+$ to guarantee that $f$ gives a monotone function on the POSET of all finite sequences of natural numbers. We then use that to solve other Diophantine equations involving factorials and generalize the results of [2]. We also explore similar Diophantine Equations for the Fibonacci Sequence and other sequences of natural numbers given by linear recursions of the form $A_{n+2}=aA_{n+1}+bA_{n}$.


title: Genus three embedded doubly periodic minimal surfaces with parallel ends

abstract: We construct a one-parameter family of embedded doubly periodic minimal surfaces of genus three with four parallel ends. The Weierstrass data for each surface of the family are given and the two dimensional period problem is solved.


title: 27.5-29.5 GHz Switched Array Sounder for Dynamic Channel Characterization: Design, Implementation and Measurements

abstract: A pre-requisite for the design of wireless systems is the understanding of the propagation channel. While a wealth of propagation knowledge exists for bands below 6 GHz, the same can not be said for bands approaching millimeter-wave frequencies. In this paper, we present the design, implementation and measurement-based verification of a re-configurable 27.5-29.5 GHz channel sounder for measuring dynamic directional channels. Based on the switched array principle, our design is capable of characterizing 128$\times$256 dual-polarized channels with snapshot times of around 600 ms. This is in sharp contrast to measurement times on the order of tens-of-minutes with rotating horn antenna sounders. Our design lends itself to high angular resolution at both link ends with calibrated antenna arrays sampled at 2$^\circ$ and 5$^\circ$ intervals in the azimuth and elevation domains. This is complemented with a bandwidth of up to 2 GHz, enabling nanosecond-level delay resolution. The short measurement times and stable radio frequency design facilitates real-time processing and averaging of the received wavefronts to gain measurement signal-to-noise ratio and dynamic range. After disclosing the sounder design and implementation, we demonstrate its capabilities by presenting dynamic and static measurements at 28 GHz over a 1 GHz bandwidth in an office corridor environment.


title: Spin Seebeck effect of correlated magnetic molecules

abstract: In this paper we investigate the spin-resolved thermoelectric properties of strongly correlated molecular junctions in the linear response regime. The magnetic molecule is modeled by a single orbital level to which the molecular core spin is attached by an exchange interaction. Using the numerical renormalization group method we analyze the behavior of the (spin) Seebeck effect, heat conductance and figure of merit for different model parameters of the molecule. We show that the thermopower strongly depends on the strength and type of the exchange interaction as well as the molecule's magnetic anisotropy. When the molecule is coupled to ferromagnetic leads, the thermoelectric properties reveal an interplay between the spin-resolved tunneling processes and intrinsic magnetic properties of the molecule. Moreover, in the case of finite spin accumulation in the leads, the system exhibits the spin Seebeck effect. We demonstrate that a considerable spin Seebeck effect can develop when the molecule exhibits an easy-plane magnetic anisotropy, while the sign of the spin thermopower depends on the type and magnitude of the molecule's exchange interaction.


title: Liftings of polynomial systems decreasing the mixed volume

abstract: The BKK theorem states that the mixed volume of the Newton polytopes of a system of polynomial equations upper bounds the number of isolated torus solutions of the system. Homotopy continuation solvers make use of this fact to pick efficient start systems. For systems where the mixed volume bound is not attained, such methods are still tracking more paths than necessary. We propose a strategy of improvement by lifting a system to an equivalent system with a strictly lower mixed volume at the expense of more variables. We illustrate this idea providing lifting constructions for arbitrary bivariate systems and certain dense-enough systems.


title: SPATO: A Student Project Allocation Based Task Offloading in IoT-Fog Systems

abstract: The Internet of Things (IoT) devices are highly reliant on cloud systems to meet their storage and computational demands. However, due to the remote location of cloud servers, IoT devices often suffer from intermittent Wide Area Network (WAN) latency which makes execution of delay-critical IoT applications inconceivable. To overcome this, service providers (SPs) often deploy multiple fog nodes (FNs) at the network edge that helps in executing offloaded computations from IoT devices with improved user experience. As the FNs have limited resources, matching IoT services to FNs while ensuring minimum latency and energy from an end-user's perspective and maximizing revenue and tasks meeting deadlines from an SP's standpoint is challenging. Therefore in this paper, we propose a student project allocation (SPA) based efficient task offloading strategy called SPATO that takes into account key parameters from different stakeholders. Thorough simulation analysis shows that SPATO is able to reduce the offloading energy and latency respectively by 29% and 40% and improves the revenue by 25% with 99.3% of tasks executing within their deadline.


title: Attention-based Reinforcement Learning for Real-Time UAV Semantic Communication

abstract: In this article, we study the problem of air-to-ground ultra-reliable and low-latency communication (URLLC) for a moving ground user. This is done by controlling multiple unmanned aerial vehicles (UAVs) in real time while avoiding inter-UAV collisions. To this end, we propose a novel multi-agent deep reinforcement learning (MADRL) framework, coined a graph attention exchange network (GAXNet). In GAXNet, each UAV constructs an attention graph locally measuring the level of attention to its neighboring UAVs, while exchanging the attention weights with other UAVs so as to reduce the attention mismatch between them. Simulation results corroborates that GAXNet achieves up to 4.5x higher rewards during training. At execution, without incurring inter-UAV collisions, GAXNet achieves 6.5x lower latency with the target 0.0000001 error rate, compared to a state-of-the-art baseline framework.


title: Closure relations during the plateau emission of Swift GRBs and the fundamental plane

abstract: The Neil Gehrels Swift observatory observe Gamma-Ray bursts (GRBs) plateaus in X-rays. We test the reliability of the closure relations through the fireball model when dealing with the GRB plateau emission. We analyze 455 X-ray lightcurves (LCs) collected by \emph{Swift} from 2005 (January) until 2019 (August) for which the redshift is both known and unknown using the phenomenological Willingale 2007 model. Using these fits, we analyze the emission mechanisms and astrophysical environments of these GRBs through the closure relations within the time interval of the plateau emission. Finally, we test the 3D fundamental plane relation (Dainotti relation) which connects the prompt peak luminosity, the time at the end of the plateau (rest-frame), and the luminosity at that time, on the GRBs with redshift, concerning groups determined by the closure relations. This allows us to check if the intrinsic scatter \sigma_{int} of any of these groups is reduced compared to previous literature. The most fulfilled environments for the electron spectral distribution, p>2, are Wind Slow Cooling (SC) and ISM Slow Cooling for cases in which the parameter q, which indicates the flatness of the plateau emission and accounts for the energy injection, is =0 and =0.5, respectively, both in the cases with known and unknown redshifts. We also find that for the sGRBs All ISM Environments with $q=0$ have the smallest \sigma_{int}=0.04 \pm 0.15 in terms of the fundamental plane relation holding a probability of occurring by chance of p=0.005. We have shown that the majority of GRBs presenting the plateau emission fulfil the closure relations, including the energy injection, with a particular preference for the Wind SC environment. The subsample of GRBs that fulfil given relations can be used as possible standard candles and can suggest a way to reduce the intrinsic scatter of these studied relationships.


title: Second order estimates for a class of complex Hessian equations on Hermitian manifolds

abstract: In this paper, we derive an \emph{a priori} second order estimate for solutions which are in $\Gamma_{k+1}$ cone to a class of complex Hessian equations with both sides of the equation depending on the gradient on compact Hermitian manifolds.


title: Can We Faithfully Represent Masked States to Compute Shapley Values on a DNN?

abstract: Masking some input variables of a deep neural network (DNN) and computing output changes on the masked input sample represent a typical way to compute attributions of input variables in the sample. People usually mask an input variable using its baseline value. However, there is no theory to examine whether baseline value faithfully represents the absence of an input variable, \emph{i.e.,} removing all signals from the input variable. Fortunately, recent studies show that the inference score of a DNN can be strictly disentangled into a set of causal patterns (or concepts) encoded by the DNN. Therefore, we propose to use causal patterns to examine the faithfulness of baseline values. More crucially, it is proven that causal patterns can be explained as the elementary rationale of the Shapley value. Furthermore, we propose a method to learn optimal baseline values, and experimental results have demonstrated its effectiveness.


title: Designing Limitless Path in Virtual Reality Environment

abstract: Walking in a Virtual Environment is a bounded task. It is challenging for a subject to navigate a large virtual environment designed in a limited physical space. External hardware support may be required to achieve such an act in a concise physical area without compromising navigation and virtual scene rendering quality. This paper proposes an algorithmic approach to let a subject navigate a limitless virtual environment within a limited physical space with no additional external hardware support apart from the regular Head-Mounted-Device (HMD) itself. As part of our work, we developed a Virtual Art Gallery as a use-case to validate our algorithm. We conducted a simple user-study to gather feedback from the participants to evaluate the ease of locomotion of the application. The results showed that our algorithm could generate limitless paths of our use-case under predefined conditions and can be extended to other use-cases.


title: From Finite to Countable-Armed Bandits

abstract: We consider a stochastic bandit problem with countably many arms that belong to a finite set of types, each characterized by a unique mean reward. In addition, there is a fixed distribution over types which sets the proportion of each type in the population of arms. The decision maker is oblivious to the type of any arm and to the aforementioned distribution over types, but perfectly knows the total number of types occurring in the population of arms. We propose a fully adaptive online learning algorithm that achieves O(log n) distribution-dependent expected cumulative regret after any number of plays n, and show that this order of regret is best possible. The analysis of our algorithm relies on newly discovered concentration and convergence properties of optimism-based policies like UCB in finite-armed bandit problems with "zero gap," which may be of independent interest.


title: Trade-off Energy and Spectral Efficiency in 5G Massive MIMO System

abstract: A massive multiple input multiple-output system is very important to optimize the trade-off energy efficiency and spectral efficiency in fifth-generation cellular networks. The challenges for the next generation depend on increasing the high data traffic in the wireless communication system for both EE and SE. In this paper, the trade off energy efficiency and spectral efficiency based on the first derivative of transmit antennas and transmit power in a downlink massive MIMO system has been investigated. The trade off EE-SE by using a multiobjective optimization problem to decrease transmit power has been analyzed. The EE and SE based on constraint maximum transmit power allocation and a number of antennas by computing the first derivative of transmit power to maximize the trade-off energy efficiency and spectral efficiency has been improved. From the simulation results, the optimum trade-off between EE and SE can be obtained based on the first derivative by selecting the optimal antennas with a low cost of transmit power. Therefore, based on an optimal optimization problem is flexible to make trade-offs between EE-SE for distinct preferences


title: Machine Learning Regression based Single Event Transient Modeling Method for Circuit-Level Simulation

abstract: In this paper, a novel machine learning regression based single event transient (SET) modeling method is proposed. The proposed method can obtain a reasonable and accurate model without considering the complex physical mechanism. We got plenty of SET current data of SMIC 130nm bulk CMOS by TCAD simulation under different conditions (e.g. different LET and different drain bias voltage). A multilayer feedfordward neural network is used to build the SET pulse current model by learning the data from TCAD simulation. The proposed model is validated with the simulation results from TCAD simulation. The trained SET pulse current model is implemented as a Verilog-A current source in the Cadence Spectre circuit simulator and an inverter with five fan-outs is used to show the practicability and reasonableness of the proposed SET pulse current model for circuit-level single-event effect (SEE) simulation.


title: Crawling Twitter data through API: A technical/legal perspective

abstract: The popularity of the online media-driven social network relation is proven in today's digital era. The many challenges that these emergence has created include a huge growing network of social relations, and the large amount of data which is continuously been generated via the different platform of social networking sites, viz. Facebook, Twitter, LinkedIn, Instagram, etc. These data are Personally Identifiable Information (PII) of the users which are also publicly available for some platform, and others allow with some restricted permission to download it for research purposes. The users' accessible data help in providing with better recommendation services to users, however, the PII can be used to embezzle the users and cause severe detriment to them. Hence, it is crucial to maintain the users' privacy while providing their PII accessible for various services. Therefore, it is a burning issue to come up with an approach that can help the users in getting better recommendation services without their privacy being harmed. In this paper, a framework is suggested for the same. Further, how data through Twitter API can be crawled and used has been extensively discussed. In addition to this, various security and legal perspectives regarding PII while crawling the data is highlighted. We believe the presented approach in this paper can serve as a benchmark for future research in the field of data privacy.


title: A Nakai-Moishezon type criterion for supercritical deformed Hermitian-Yang-Mills equation

abstract: The deformed Hermitian-Yang-Mills equation is a complex Hessian equation on compact K\"ahler manifolds that corresponds to the special Lagrangian equation in the context of the Strominger-Yau-Zaslow mirror symmetry. Recently, Chen proved that the existence of the solution is equivalent to a uniform stability condition in terms of holomorphic intersection numbers along test families. In this paper, we establish an analogous stability result not involving a uniform constant in accordance with a recent work on the $J$-equation by Song, which makes further progress toward Collins-Jacob-Yau's original conjecture in the supercritical phase case. In particular, we confirm this conjecture for projective manifolds in the supercritical phase case.


title: Automatic task-based parallelization of C++ applications by source-to-source transformations

abstract: Currently, multi/many-core CPUs are considered standard in most types of computers including, mobile phones, PCs or supercomputers. However, the parallelization of applications as well as refactoring/design of applications for efficient hardware usage remains restricted to experts who have advanced technical knowledge and who can invest time tuning their software. In this context, the compilation community has proposed different methods for automatic parallelization, but their focus is traditionally on loops and nested loops with the support of polyhedral techniques. In this study, we propose a new approach to transform sequential C++ source code into a task-based parallel one by inserting annotations. We explain the different mechanisms we used to create tasks at each function/method call, and how we can limit the number of tasks. Our method can be implemented on top of the OpenMP 4.0 standard. It is compiler-independent and can rely on external well-optimized OpenMP libraries. Finally, we provide preliminary performance results that illustrate the potential of our method.


title: Reduction in Circulating Current with Improved Secondary Side Modulation in Isolated Current-Fed Half Bridge AC-DC Converter

abstract: Current-fed half bridge converter with bidirectional switches on ac side and a full bridge converter on dc side of a high frequency transformer is an optimal topology for single stage galvanically isolated ac-dc converter for onboard vehicle charging application. AC side switches are actively commutated to achieve zero current switching (ZCS) using single phase shift modulation (SPSM) and discontinuous current phase shift modulation (DCPSM). Furthermore, zero voltage turn-on (ZVS) is achieved for dc side switches. Compared to SPSM, DCPSM maintains a constant peak current in the converter throughout the grid cycle of ac mains voltage. However, constant peak current contributes to a high circulating current near the zero crossings of ac mains voltage and also at light load conditions. This paper proposes an improved discontinuous current phase shift modulation (IDCPSM) to increase the efficiency of the converter across different loading conditions. A dual control variable is adopted to actively reduce the circulating current while maintaining soft switching of both ac and dc side switches across the grid cycle of ac mains voltage. A 1.5 kW laboratory prototype has been developed to experimentally validate the analysis, design and improvement in performance for different loading conditions.


title: Effects of 2HDM in electroweak phase transition

abstract: The entropy production scenarios due to electroweak phase transition (EWPT) in the framework of the minimal extension of standard model namely two Higgs doublet model(2HDM) is revisited. The possibility of first order phase transition is discussed. Intense parameter scanning is done with the help of BSMPT, a C++ package. Numerical calculations are performed in order to calculate the entropy production with numerous benchmark points.


title: Q-learning algorithm for resource allocation in WDMA-based optical wireless communication networks

abstract: Visible Light Communication (VLC) has been widely investigated during the last decade due to its ability to provide high data rates with low power consumption. In general, resource management is an important issue in cellular networks that can highly effect their performance. In this paper, an optimisation problem is formulated to assign each user to an optimal access point and a wavelength at a given time. This problem can be solved using mixed integer linear programming (MILP). However, using MILP is not considered a practical solution due to its complexity and memory requirements. In addition, accurate information must be provided to perform the resource allocation. Therefore, the optimisation problem is reformulated using reinforcement learning (RL), which has recently received tremendous interest due to its ability to interact with any environment without prior knowledge. In this paper, we investigate solving the resource allocation optimisation problem in VLC systems using the basic Q-learning algorithm. Two scenarios are simulated to compare the results with the previously proposed MILP model. The results demonstrate the ability of the Q-learning algorithm to provide optimal solutions close to the MILP model without prior knowledge of the system.


title: Origin Pilot: a Quantum Operating System for Effecient Usage of Quantum Resources

abstract: The operating system is designed to manage the hardware and software resources of a computer. With the development of quantum computing, the management of quantum resources and cooperation between quantum systems and other computing resources (e.g. CPU, GPU and FPGA etc.) become the key challenge for the application of quantum computing to solve real world problems. In this paper we propose a quantum operating system, Origin Pilot. Origin Pilot includes the module of quantum task scheduling, quantum resource management, quantum program compilation and qubits' automatic calibration. With these modules, Origin Pilot can manage the quantum computing resources and solve the multi-quantum processor scheduling problem. It can also allow the parallel execution of multiple quantum programs and calibrate the quantum resource effectively. Thus, the performance of resources is guaranteed and the resource utilization is improved. By comparing the results with and without Origin Pilot, we evaluate the impact on a quantum circuit's fidelity of qubits mapping algorithm. We also evaluate the effectiveness of automatic calibration and parallel execution of multi-quantum processors. Finally, Origin Pilot can be easily customized for hybrid computing resources.


title: A systematic review of physical-digital play technology and developmentally relevant child behaviour

abstract: New interactive physical-digital play technologies are shaping the way children plan. These technologies refer to digital play technologies that engage children in analogue forms of behaviour, either alone or with others. Current interactive physical-digital play technologies include robots, digital agents, mixed or augmented reality devices, and smart-eye based gaming. Little is known, however, about the ways in which these technologies could promote or damage child development. This systematic review was aimed at understanding if and how these physical-digital play technologies promoted developmentally relevant behaviour in typically developing 0 to 12 year-olds. Psychology, Education, and Computer Science databases were searched producing 635 paper. A total of 31 papers met the inclusion criteria, of which 17 were of high enough quality to be included for synthesis. Results indicate that these new interactive play technologies could have a positive effect on children's developmentally relevant behaviour. The review indicated specific ways in which different behaviour were promoted. Providing information about own performance promoted self-monitoring. Slowing interactivity, play interdependency, and joint object accessibility promoted collaboration. Offering delimited choices promoted decision making. Problem solving and physical activity were promoted by requiring children to engage in them to keep playing. Four principles underpinned the ways in which physical digital play technologies afforded child behaviour. These included social expectations framing play situations, the directiveness of action regulations (inviting, guiding or forcing behaviours), the technical features of play technologies (digital play mechanics and physical characteristics), and the alignment between play goals, play technology and the play behaviours promoted.


title: Photoinduced spin-Hall resonance in a k^3-Rashba spin-orbit coupled two dimensional hole system

abstract: We study the band structure modulation and spin-Hall effect of a two-dimensional heavy-hole system with $k^3$-Rashba spin-orbit coupling (RSOC), irradiated by linearly polarized light. We find that the band structure becomes anisotropic under the illumination by the light. Most remarkably, a pair of additional spin-degeneracy points (apart from $\Gamma$ point) emerge in the energy dispersion, the locations of which are solely determined by the strength of the amplitude of the incident light. If this degeneracy occurs around the Fermi level, the spin-Hall conductivity (SHC) exhibits a resonance. Away from the degeneracy points, the light rotates the average spin polarization. The possible effects of $k^3$-Dresselhaus spin-orbit coupling are also discussed.


title: Asymptotically flat Fredholm bundles and assembly

abstract: Almost flat finitely generated projective Hilbert C*-module bundles were successfully used by Hanke and Schick to prove special cases of the Strong Novikov Conjecture. Dadarlat later showed that it is possible to calculate the index of a K-homology class $\eta\in K_*(M)$ twisted with an almost flat bundle in terms of the image of $\eta$ under Lafforgue's assembly map and the almost representation associated to the bundle. Mishchenko used flat infinite-dimensional bundles equipped with a Fredholm operator in order to prove special cases of the Novikov higher signature conjecture. We show how to generalize Dadarlat's theorem to the case of an infinite-dimensional bundle equipped with a continuous family of Fredholm operators on the fibers. Along the way, we show that special cases of the Strong Novikov Conjecture can be proven if there exist sufficiently many almost flat bundles with Fredholm operator. To this end, we introduce the concept of an asymptotically flat Fredholm bundle and its associated asymptotic Fredholm representation, and prove an index theorem which relates the index of the asymptotic Fredholm bundle with the so-called asymptotic index of the associated asymptotic Fredholm representation.


title: Non-Degenerate Two-Photon Absorption in ZnSe: Experiment and Theory

abstract: We experimentally and theoretically investigate the non-degenerate two-photon absorption coefficient $\beta(\omega_1,\omega_2)$ in the prototypical semiconductor ZnSe. In particular, we provide a comprehensive data set on the dependence of $\beta(\omega_1,\omega_2)$ on the non-degeneracy parameter $\omega_1/\omega_2$ with the total frequency sum $\omega_1+\omega_2$ kept constant. We find a substantial increase of the two-photon absorption strength with increasing $\omega_1/\omega_2$. In addition, different crystallographic orientations and polarization configurations are investigated. The nonlinear optical response is analyzed theoretically by evaluating the multiband semiconductor Bloch equations including inter- and intraband excitations in the length gauge. The band structure and the matrix elements are taken an eight-band k.p model. The simulation results are in very good agreement with the experiment.


title: PAL: Intelligence Augmentation using Egocentric Visual Context Detection

abstract: Egocentric visual context detection can support intelligence augmentation applications. We created a wearable system, called PAL, for wearable, personalized, and privacy-preserving egocentric visual context detection. PAL has a wearable device with a camera, heart-rate sensor, on-device deep learning, and audio input/output. PAL also has a mobile/web application for personalized context labeling. We used on-device deep learning models for generic object and face detection, low-shot custom face and context recognition (e.g., activities like brushing teeth), and custom context clustering (e.g., indoor locations). The models had over 80\% accuracy in in-the-wild contexts (~1000 images) and we tested PAL for intelligence augmentation applications like behavior change. We have made PAL is open-source to further support intelligence augmentation using personalized and privacy-preserving egocentric visual contexts.


title: How They Tweet? An Insightful Analysis of Twitter Handles of Saudi Arabia

abstract: The emergence of social network site has attracted many users across the world to share their feeling, news, achievements and personal thoughts over several platforms. The recent crisis due to worldwide lockdown amid COVID 19 has shown how these online social platforms have grown stronger and turned up as the major source of connection among people when there is social distancing everywhere. Therefore, we have surveyed Twitter users and their mannerism with respect to languages, frequency of tweets, the region of belonging, etc. The above observations have been considered especially with respect to Saudi Arabia. An insightful analysis of the tweets and twitter handles of the kingdom has been presented. The results show some interesting facts that are envisaged to lay a platform for further research in the field of social, political and data sciences related to the Middle East.


title: A note on efficient audit sample selection

abstract: Auditing is a widely used method for quality improvement, and many guidelines are available advising on how to draw samples for auditing. However, researchers or auditors sometimes find themselves in situations that are not straightforward and the standard sampling techniques are not sufficient, for example when a selective sample has initially been audited and the auditor desires to re-use as many cases as possible from this initial audit in a new audit sample that is representative with respect to some background characteristics. In this paper, we introduce a method that selects an audit sample that re-uses initially audited cases by considering the selection of a representative audit sample as a constrained minimization problem. In addition, we evaluate the performance of this method by means of a simulation study and we apply the method to draw an audit sample of establishments to evaluate the quality of an establishment registry used to produce statistics on energy consumption per type of economic activity.


title: MIASSR: An Approach for Medical Image Arbitrary Scale Super-Resolution

abstract: Single image super-resolution (SISR) aims to obtain a high-resolution output from one low-resolution image. Currently, deep learning-based SISR approaches have been widely discussed in medical image processing, because of their potential to achieve high-quality, high spatial resolution images without the cost of additional scans. However, most existing methods are designed for scale-specific SR tasks and are unable to generalise over magnification scales. In this paper, we propose an approach for medical image arbitrary-scale super-resolution (MIASSR), in which we couple meta-learning with generative adversarial networks (GANs) to super-resolve medical images at any scale of magnification in (1, 4]. Compared to state-of-the-art SISR algorithms on single-modal magnetic resonance (MR) brain images (OASIS-brains) and multi-modal MR brain images (BraTS), MIASSR achieves comparable fidelity performance and the best perceptual quality with the smallest model size. We also employ transfer learning to enable MIASSR to tackle SR tasks of new medical modalities, such as cardiac MR images (ACDC) and chest computed tomography images (COVID-CT). The source code of our work is also public. Thus, MIASSR has the potential to become a new foundational pre-/post-processing step in clinical image analysis tasks such as reconstruction, image quality enhancement, and segmentation.


title: On the Decycling Number of Bubble-sort Star Graphs

abstract: Bubble-sort star graphs are a combination of star graphs and bubble sort graphs. They are bipartite graphs and also form a family of Cayley graphs. The decycling number of a graph is the minimum number of vertices whose removal from the graph results in an acyclic subgraph. In this paper, we prove the decycling number D(n) of an n-dimensional bubble-sort star graph for n <= 5. We also show D(n) satisfies the inequalities for n >= 6.


title: A First-Order Complete Temporal Logic for Structured Context-Free Languages

abstract: The problem of model checking procedural programs has fostered much research towards the definition of temporal logics for reasoning on context-free structures. The most notable of such results are temporal logics on Nested Words, such as CaRet and NWTL. Recently, the logic OPTL was introduced, based on the class of Operator Precedence Languages (OPLs), more powerful than Nested Words. We define the new OPL-based logic POTL and prove its FO-completeness. POTL improves on NWTL by enabling the formulation of requirements involving pre/post-conditions, stack inspection, and others in the presence of exception-like constructs. It improves on OPTL too, which instead we show not to be FO-complete; it also allows to express more easily stack inspection and function-local properties. In a companion paper we report a model checking procedure for POTL and experimental results based on a prototype tool developed therefor. For completeness a short summary of this complementary result is provided in this paper too.


title: Tuning of Drone PD Controller Parameters for Medical Supplies Delivery

abstract: During the COVID-19 pandemic and similar outbreaks in the future, drones can be set up to reduce human interaction for medical supplies delivery, which is crucial in times of pandemic. In this short paper, we introduce the use of two evolutionary algorithms for multi-objective optimization (MOO) and tuning the parameters of the PD controller of a drone to follow the 3D desired path.


title: Parameterized Complexity of Locally Minimal Defensive Alliances

abstract: A set $S$ of vertices of a graph is a defensive alliance if, for each element of $S$, the majority of its neighbours is in $S$. We consider the notion of local minimality in this paper. We are interested in locally minimal defensive alliance of maximum size. We also look at connected version of defensive alliance. This problem is known to be NP-hard but its parameterized complexity remains open until now. We enhance our understanding of the problem from the viewpoint of parameterized complexity. The main results of the paper are the following: (1) Locally Minimal Defensive Alliance is NP-complete, even when restricted to planar graphs, (2) a randomized FPT algorithm for Exact Connected Locally Minimal Defensive Alliance parameterized by solution size, (3) Locally Minimal Defensive Alliance is fixed-parameter tractable (FPT) when parametrized by neighbourhood diversity, (4) Locally Minimal Defensive Alliance parameterized by treewidth is W[1]-hard and thus not FPT (unless FPT=W[1]), (5) Locally Minimal Defensive Alliance can be solved in polynomial time for graphs of bounded treewidth.


title: Dominance Solvability in Random Games

abstract: We study the effectiveness of iterated elimination of strictly-dominated actions in random games. We show that dominance solvability of games is vanishingly small as the number of at least one player's actions grows. Furthermore, conditional on dominance solvability, the number of iterations required to converge to Nash equilibrium grows rapidly as action sets grow. Nonetheless, when games are highly imbalanced, iterated elimination simplifies the game substantially by ruling out a sizable fraction of actions. Technically, we illustrate the usefulness of recent combinatorial methods for the analysis of general games.


title: Rigidity of four-dimensional Gradient shrinking Ricci solitons

abstract: Let $(M, g, f)$ be a $4$-dimensional complete noncompact gradient shrinking Ricci soliton with the equation $Ric+\nabla^2f=\lambda g$, where $\lambda$ is a positive real number. We prove that if $M$ has constant scalar curvature $S=2\lambda$, it must be a quotient of $\mathbb{S}^2\times \mathbb{R}^2$. Together with the known results, this implies that a $4$-dimensional complete gradient shrinking Ricci soliton has constant scalar curvature if and only if it is rigid, that is, it is either Einstein, or a finite quotient of Gaussian shrinking soliton $\Bbb{R}^4$, $\Bbb{S}^{2}\times\Bbb{R}^{2}$ or $\Bbb{S}^{3}\times\Bbb{R}$.


title: Modular knots obey the Chebotarev law

abstract: We refine McMullen's construction of sequences of knots in $S^3$ obeying the Chebotarev law by invoking the notion of rational Fried surgeries, and improve the argument for the planetary links. Furthermore, we point out that the set of modular knots around any torus knot in $S^3$ together with the missing torus knot also obey the Chebotarev law, and deduce an equidistribution theorem for the classical Rademacher symbol.


title: Centralized Learning of the Distributed Downlink Channel Estimators in FDD Systems using Uplink Data

abstract: In this work, we propose a convolutional neural network (CNN) based low-complexity approach for downlink (DL) channel estimation (CE) in frequency division duplex (FDD) systems. In contrast to existing work, we use training data which solely stems from the uplink (UL) domain. This allows to learn the CNN centralized at the base station (BS). After training, the network parameters are offloaded to mobile terminals (MTs) within the coverage area of the BS. The MTs can then obtain channel state information (CSI) of the MIMO channels with the low-complexity CNN estimator. This circumvents the necessity of an infeasible amount of feedback, i.e., acquisition of training data at the user, and the offline training phase at each MT. Numerical results show that the CNN which is trained solely based on UL data performs equally well as the network trained based on DL data. Furthermore, the approach is able to outperform state-of-the-art CE algorithms.


title: Finite Blocklength Secrecy Analysis of Polar and Reed-Muller Codes in BEC Semi-Deterministic Wiretap Channels

abstract: In this paper, we consider a semi-deterministic wiretap channel where the main channel is noiseless and the eavesdropper's channel is a binary erasure channel (BEC). We provide a lower bound for the achievable secrecy rates of polar and Reed Muller codes and compare it to the second order coding rate for the semi-deterministic wiretap channel. To the best of our knowledge, this is the first work which demonstrates the secrecy performance of polar and Reed-Muller codes in short blocklengths. The results show that under a total variation secrecy metric, Reed Muller codes can achieve secrecy rates very close to the second order approximation rate. On the other hand, we observe a significant gap between the lower bound for the achievable rates of polar codes and the the second order approximation rate for short blocklengths.


title: Blow-up solutions of the intercritical inhomogeneous NLS equation: the non-radial case

abstract: In this paper we consider the inhomogeneous nonlinear Schr\"odinger (INLS) equation \begin{align}\label{inls} i \partial_t u +\Delta u +|x|^{-b} |u|^{2\sigma}u = 0, \,\,\, x \in \mathbb{R}^N \end{align} with $N\geq 3$. We focus on the intercritical case, where the scaling invariant Sobolev index $s_c=\frac{N}{2}-\frac{2-b}{2\sigma}$ satisfies $0<s_c<1$. In a previous work, for radial initial data in $\dot H^{s_c}\cap \dot H^1$, we prove the existence of blow-up solutions and also a lower bound for the blow-up rate. Here we extend these results to the non-radial case. We also prove an upper bound for the blow-up rate and a concentration result for general finite time blow-up solutions in $H^1$.


title: Electric field dissociation of weakly bound molecular ions

abstract: We present a full quantal study on the dissociation of a weakly bound molecular ion in the presence of an external time-dependent electric field. We focus on the dissociation dynamics of a molecular ion in a Paul trap relevant for atom-ion hybrid traps. Our results show that a weakly bound molecular ion survives in a Paul trap giving a theoretical ground to previous experimental findings [A. Kr\"ukow et al. Phys. Rev. Lett. 116, 193201 (2016) and A. Mohammadi et al. Phys. Rev. Research 3, 013196 (2021)]. In particular, we find that weakly bound molecular ions are more likely to survive in traps with large RF frequency. Similarly, we show that applying an electric field ramp is an efficient method to state-selectively detect weakly bound molecular ions, analogous to the well-known selective field ionization technique applied in Rydberg atoms, that it may also be used to detect these species in atom-ion hybrid traps.


title: Parabolic-accelerating vector waves

abstract: Complex vector light fields have become a topic of late due to their exotic features, such as their non--homogeneous transverse polarisation distributions and the non-separable coupling between their spatial and polarisation degrees of freedom. In general, vector beams propagate in free space along straight lines, being the Airy-vector vortex beams the only known exception. Here, we introduce a new family of vector beams that exhibit novel properties that have not been observed before, such as their ability to freely accelerate along parabolic trajectories. In addition, their transverse polarisation distribution only contains polarisation states oriented at exactly the same angle but of different ellipticity. We anticipate that these novel vector beams might not only find applications in fields such as optical manipulation, microscopy or laser material processing, but extend to others.


title: Attosecond Intramolecular-Scattering and Vibronic Delay

abstract: The photoionization of the CO molecule from the C$-1s$ orbital does not obey the Franck-Condon approximation, as a consequence of the nuclear recoil that accompanies the direct emission and intra-molecular scattering of the photoelectron. We use an analytical model to investigate the temporal signature of the entangled nuclear and electronic motion in this process. We show that the photoelectron emission delay can be decomposed into its localization and resonant-confinement components. Finally, photoionization by a broadband soft-x-ray pulse results in a coherent vibrational ionic state with a tunable delay with respect to the classical sudden-photoemission limit.


title: On Symmetric Invertible Binary Pairing Functions

abstract: We construct a symmetric invertible binary pairing function $F(m,n)$ on the set of positive integers with a property of $F(m,n)=F(n,m)$. Then we provide a complete proof of its symmetry and bijectivity, from which the construction of symmetric invertible binary pairing functions on any custom set of integers could be seen.


title: Differential graded algebras, Steenrod cup-one products, binomial operations, and Massey products

abstract: Motivated by the construction of Steenrod cup-$i$ products in the singular cochain algebra of a space and in the algebra of non-commutative differential forms, we define a category of binomial cup-one differential graded algebras over the integers and over prime fields of positive characteristic. The Steenrod and Hirsch identities bind the cup-product, the cup-one product, and the differential in a package that we further enhance with a binomial ring structure arising from a ring of integer-valued rational polynomials. This structure allows us to define the free binomial cup-one differential graded algebra generated by a set and derive its basic properties. It also provides the context for defining restricted triple Massey products, which have a smaller indeterminacy than the classical ones, and hence, give stronger homotopy type invariants.


title: Effects of VR Gaming and Game Genre on Player Experience

abstract: With the increasing availability of modern virtual reality (VR) headsets, the use and applications of VR technology for gaming purposes have become more pervasive than ever. Despite the growing popularity of VR gaming, user studies into how it might affect the player experience (PX) during the gameplay are scarce. Accordingly, the current study investigated the effects of VR gaming and game genre on PX. We compared PX metrics for two game genres, strategy (more interactive) and racing (less interactive), across two gaming platforms, VR and traditional desktop gaming. Participants were randomly assigned to one of the gaming platforms, played both a strategy and racing game on their corresponding platform, and provided PX ratings. Results revealed that, regardless of the game genre, participants in the VR gaming condition experienced a greater level of sense of presence than did those in the desktop gaming condition. That said, results showed that the two gaming platforms did not significantly differ from one another in PX ratings. As for the effect of game genre, participants provided greater PX ratings for the strategy game than for the racing game, regardless of whether the game was played on a VR headset or desktop computer. Collectively, these results indicate that although VR gaming affords a greater sense of presence in the game environment, this increase in presence does not seem to translate into a more satisfactory PX when playing either a strategy or racing game.


title: SDN assisted UAV communication systems : Efficient Deployment Strategies

abstract: Recently, Unmanned Aerial Vehicle (UAV) based communications systems have attracted increasing research and commercial interest due to their cost effective deployment and ease of mobility.During natural disasters and emergencies, such networks are extremely useful to provide communication service. In such scenarios, UAVs position and trajectory must be optimal to maintain Quality of Service at the user end. This paper focuses on the deployment of an SDN-based UAV network providing communication service to the users. We consider the deployment of the system in stadiums and events. In this paper, we propose a scheme to allocate UAVs to the users and a traffic congestion algorithm to reduce the number of packets dropped to avoid re-transmissions from the user end. We also propose an energy efficient multi hop routing mechanism to avoid the high power requirement to transmit longer distances. We assume that all the back-haul links have sufficient capacities to carry all the traffic from the front-haul links and the design of UAVs must consider their power requirements for both flight and transmission.


title: The Efficacy of a Virtual Reality-Based Mindfulness Intervention

abstract: Mindfulness can be defined as increased awareness of and sustained attentiveness to the present moment. Recently, there has been a growing interest in the applications of mindfulness for empirical research in wellbeing and the use of virtual reality (VR) environments and 3D interfaces as a conduit for mindfulness training. Accordingly, the current experiment investigated whether a brief VR-based mindfulness intervention could induce a greater level of state mindfulness, when compared to an audio-based intervention and control group. Results indicated two mindfulness interventions, VR-based and audio-based, induced a greater state of mindfulness, compared to the control group. Participants in the VR-based mindfulness intervention group reported a greater state of mindfulness than those in the guided audio group, indicating the immersive mindfulness intervention was more robust. Collectively, these results provide empirical support for the efficaciousness of a brief VR-based mindfulness intervention in inducing a robust state of mindfulness in laboratory settings.


title: Periodic forcing of a heteroclinic network

abstract: We present a comprehensive mechanism for the emergence of rotational horseshoes and strange attractors in a class of two-parameter families of periodically-perturbed differential equations defining a flow on a three-dimensional manifold. When both parameters are zero, its flow exhibits an attracting heteroclinic network associated to two periodic solutions. After slightly increasing both parameters, while keeping a two-dimensional connection unaltered, we focus our attention in the case where the two-dimensional invariant manifolds of the periodic solutions do not intersect. We prove a wide range of dynamical behaviour, ranging from an attracting quasi-periodic torus to rotational horseshoes and H\'enon-like strange attractors. We illustrate our results with an explicit example.


title: Multi-Feature Fusion-based Scene Classification Framework for HSR Images

abstract: To realize high-accuracy classification of high spatial resolution (HSR) images, this letter proposes a new multi-feature fusion-based scene classification framework (MF2SCF) by fusing local, global, and color features of HSR images. Specifically, we first extract the local features with the help of image slicing and densely connected convolutional networks (DenseNet), where the outputs of dense blocks in the fine-tuned DenseNet-121 model are jointly averaged and concatenated to describe local features. Second, from the perspective of complex networks (CN), we model a HSR image as an undirected graph based on pixel distance, intensity, and gradient, and obtain a gray-scale image (GSI), a gradient of image (GoI), and three CN-based feature images to delineate global features. To make the global feature descriptor resist to the impact of rotation and illumination, we apply uniform local binary patterns (LBP) on GSI, GoI, and feature images, respectively, and generate the final global feature representation by concatenating spatial histograms. Third, the color features are determined based on the normalized HSV histogram, where HSV stands for hue, saturation, and value, respectively. Finally, three feature vectors are jointly concatenated for scene classification. Experiment results show that MF2SCF significantly improves the classification accuracy compared with state-of-the-art LBP-based methods and deep learning-based methods.