November 2022 arXiv papers — page 144
Showing 14,301–14,400 of 17,114 papers
High-Fidelity Simulation and Novel Data Analysis of the Bubble Creation and Sound Generation Processes in Breaking Waves
physics.flu-dynQiang Gao, Grant B. Deane, Saswata Basak, Umberto Bitencourt
Recent increases in computing power have enabled the numerical simulation of many complex flow problems that are of practical and strategic interest for naval applications. A noticeable area of advancement is the computation of turbulent, two-phase flows resulting from wave breaking and other multiphase flow processes such as cavitation that can generate und
Weikai Wang, Xian Chen
In this paper, a condition-based imperfect maintenance model based on piecewise deterministic Markov process (PDMP) is constructed. The degradation of the system includes two types: natural degradation and random shocks. The natural degradation is deterministic and can be nonlinear. The damage increment caused by a random shock follows a certain distribution
Amol Salunkhe, Dwyer Deighan, Paul Desjardin, Varun Chandola
Modeling of turbulent combustion system requires modeling the underlying chemistry and the turbulent flow. Solving both systems simultaneously is computationally prohibitive. Instead, given the difference in scales at which the two sub-systems evolve, the two sub-systems are typically (re)solved separately. Popular approaches such as the Flamelet Generated M
Xin Huang, Jongryool Kim, Bradley Rees, Chul-Ho Lee
Graph neural networks (GNNs) have received great attention due to their success in various graph-related learning tasks. Several GNN frameworks have then been developed for fast and easy implementation of GNN models. Despite their popularity, they are not well documented, and their implementations and system performance have not been well understood. In part
Leveraging Haptic Feedback to Improve Data Quality and Quantity for Deep Imitation Learning Models
cs.ROCatie Cuan, Allison Okamura, Mohi Khansari
Learning from demonstration is a proven technique to teach robots new skills. Data quality and quantity play a critical role in the performance of models trained using data collected from human demonstrations. In this paper we enhance an existing teleoperation data collection system with real-time haptic feedback to the human demonstrators; we observe improv
Dennis Fedorishin, Deen Dayal Mohan, Bhavin Jawade, Srirangaraj Setlur
Learning to localize the sound source in videos without explicit annotations is a novel area of audio-visual research. Existing work in this area focuses on creating attention maps to capture the correlation between the two modalities to localize the source of the sound. In a video, oftentimes, the objects exhibiting movement are the ones generating the soun
Thai Binh Nguyen, Linh Nguyen, Tanveer Choudhury, Kathleen Keogh
By utilizing only depth information, the paper introduces a novel but efficient local planning approach that enhances not only computational efficiency but also planning performances for memoryless local planners. The sampling is first proposed to be based on the depth data which can identify and eliminate a specific type of in-collision trajectories in the
Learning-based Inverse Rendering of Complex Indoor Scenes with Differentiable Monte Carlo Raytracing
cs.CVJingsen Zhu, Fujun Luan, Yuchi Huo, Zihao Lin
Indoor scenes typically exhibit complex, spatially-varying appearance from global illumination, making inverse rendering a challenging ill-posed problem. This work presents an end-to-end, learning-based inverse rendering framework incorporating differentiable Monte Carlo raytracing with importance sampling. The framework takes a single image as input to join
I. Bolognino
The SABRE (Sodium iodide with Active Background REjection) experiment aims to detect an annual rate modulation from dark matter interactions in ultra-high purity NaI(Tl) crystals in order to provide a model independent test of the signal observed by DAMA/LIBRA. It is made up of two separate detectors; SABRE South located at the Stawell Underground Physics La
Experience Report on the Challenges and Opportunities in Securing Smartphones Against Zero-Click Attacks
cs.CRNarmeen Shafqat, Cem Topcuoglu, Engin Kirda, Aanjhan Ranganathan
Zero-click attacks require no user interaction and typically exploit zero-day (i.e., unpatched) vulnerabilities in instant chat applications (such as WhatsApp and iMessage) to gain root access to the victim's smartphone and exfiltrate sensitive data. In this paper, we report our experiences in attempting to secure smartphones against zero-click attacks. We a
Michael Starks, Aryan Gupta, Sanjay Sarma Oruganti Venkata, Ramviyas Parasuraman
Experiments using large numbers of miniature swarm robots are desirable to teach, study, and test multi-robot and swarm intelligence algorithms and their applications. To realize the full potential of a swarm robot, it should be capable of not only motion but also sensing, computing, communication, and power management modules with multiple options. Current
Rui Zheng, Rong Bao, Yuhao Zhou, Di Liang
Recent works on Lottery Ticket Hypothesis have shown that pre-trained language models (PLMs) contain smaller matching subnetworks(winning tickets) which are capable of reaching accuracy comparable to the original models. However, these tickets are proved to be notrobust to adversarial examples, and even worse than their PLM counterparts. To address this prob
Dinesh Kumar, Farid Ahmed, Shoaib Usman, Ayodeji Alajo
In the last few decades, uncertainty quantification (UQ) methods have been used widely to ensure the robustness of engineering designs. This chapter aims to detail recent advances in popular uncertainty quantification methods used in engineering applications. This chapter describes the two most popular meta-modeling methods for uncertainty quantification sui
Gandharv Patil, Aditya Mahajan, Doina Precup
Reinforcementlearning(RL)folkloresuggeststhathistory-basedfunctionapproximationmethods,suchas recurrent neural nets or history-based state abstraction, perform better than their memory-less counterparts, due to the fact that function approximation in Markov decision processes (MDP) can be viewed as inducing a Partially observable MDP. However, there has been
Higher-order-modes enhanced phase-matched dispersive-wave generation in the deep-blue and UV spectral region
physics.opticsX. T. Yang, Z. Z. Luo, J. P. Huang, W. Y. Sun
During the last few decades, solid-core photonic crystal fibers (PCFs) have been extensively explored to generate broadband, high-coherence supercontinua (SC). Limited by the material absorption and relatively low nonlinearity of fused silica, spectral broadening in silica PCF-based SCs is usually restricted to the blue to near-infrared spectral regions, eve
Vara Bhavya Sri Malli
Flexible task planning is still a significant challenge for robots. The inability of robots to creatively adapt their task plans to new or unforeseen challenges is largely attributable to their limited understanding of their activities and the environment. Cooking, for example, requires a person to occasionally take risks that a robot would find extremely da
Generalization and Personalization of Mobile Sensing-Based Mood Inference Models: An Analysis of College Students in Eight Countries
cs.HCLakmal Meegahapola, William Droz, Peter Kun, Amalia de Gotzen
Mood inference with mobile sensing data has been studied in ubicomp literature over the last decade. This inference enables context-aware and personalized user experiences in general mobile apps and valuable feedback and interventions in mobile health apps. However, even though model generalization issues have been highlighted in many studies, the focus has
Liwei Duan, Yan-Zhi Wang, Qing-Hu Chen
We study the coupled-top model with three large spins located on a triangle. Depending on the coupling strength, there exist three phases: disordered paramagnetic phase, ferromagnetic phase, and frustrated antiferromagnetic phase, which can be distinguished by the mean-field approach. The paramagnetic-ferromagnetic phase transition is accompanied by the brea
A Geometrically Constrained Point Matching based on View-invariant Cross-ratios, and Homography
cs.CVYueh-Cheng Huang, Ching-Huai Yang, Chen-Tao Hsu, Jen-Hui Chuang
In computer vision, finding point correspondence among images plays an important role in many applications, such as image stitching, image retrieval, visual localization, etc. Most of the research worksfocus on the matching of local feature before a sampling method is employed, such as RANSAC, to verify initial matching results via repeated fitting of certai
D. R. Junior, L. E. Oxman, H. Reinhardt
Inspired by the center-vortex dominance in the infrared sector of $SU(N)$ Yang-Mills theory observed on the lattice, we propose a vacuum wave functional localized on an ensemble of correlated center vortices endowed with stiffness and magnetic monopoles that change the orientation of the vortex flux. In the electric-field representation, this wave functional
Graph Reinforcement Learning Application to Co-operative Decision-Making in Mixed Autonomy Traffic: Framework, Survey, and Challenges
cs.ROQi Liu, Xueyuan Li, Zirui Li, Jingda Wu
Proper functioning of connected and automated vehicles (CAVs) is crucial for the safety and efficiency of future intelligent transport systems. Meanwhile, transitioning to fully autonomous driving requires a long period of mixed autonomy traffic, including both CAVs and human-driven vehicles. Thus, collaboration decision-making for CAVs is essential to gener
Gabriele Goletto, Mirco Planamente, Barbara Caputo, Giuseppe Averta
To enable a safe and effective human-robot cooperation, it is crucial to develop models for the identification of human activities. Egocentric vision seems to be a viable solution to solve this problem, and therefore many works provide deep learning solutions to infer human actions from first person videos. However, although very promising, most of these do
Yu Yang, Xiaotian Cheng, Hakan Bilen, Xiangyang Ji
The success of state-of-the-art deep neural networks heavily relies on the presence of large-scale labelled datasets, which are extremely expensive and time-consuming to annotate. This paper focuses on tackling semi-supervised part segmentation tasks by generating high-quality images with a pre-trained GAN and labelling the generated images with an automatic
Abhijit Chakraborty, Tetsuo Hatsuda, Yuichi Ikeda
Cryptoassets are becoming essential in the digital economy era. XRP is one of the large market cap cryptoassets. Here, we develop a novel method of correlation tensor spectra for the dynamical XRP networks, which can provide an early indication for XRP price. A weighed directed weekly transaction network among XRP wallets is constructed by aggregating all tr
Geonsun Lee, Jennifer Healey, Dinesh Manocha
Virtual reality (VR) offers the promise of an infinite office and remote collaboration, however, existing interactions in VR do not strongly support one of the most essential tasks for most knowledge workers, reading. This paper presents VRDoc, a set of gaze-based interaction methods designed to improve the reading experience in VR. We introduce three key co
Yu Yang, Xiaotian Cheng, Chang Liu, Hakan Bilen
In recent years, generative adversarial networks (GANs) have been an actively studied topic and shown to successfully produce high-quality realistic images in various domains. The controllable synthesis ability of GAN generators suggests that they maintain informative, disentangled, and explainable image representations, but leveraging and transferring their
Bharat Ratra
We construct non-linear inflaton potential energy densities that describe not-necessarily very-slowly-rolling closed and open inflation models, and compute tilted primordial spatial inhomogeneity power spectra that follow from quantum mechanical fluctuations during inflation in these models. Earlier non-flat inflation model power spectra computations assumed
Jae Kwang Kim, Kosuke Morikawa
We address the weighting problem in voluntary samples under a nonignorable sample selection model. Under the assumption that the sample selection model is correctly specified, we can compute a consistent estimator of the model parameter and construct the propensity score estimator of the population mean. We use the empirical likelihood method to construct th
Bernstein spectral method for quasinormal modes of a generic black hole spacetime and application to instability of dilaton-de Sitter solution
gr-qcR. A. Konoplya, A. Zhidenko
We present the improved Mathematica code which computes quasinormal frequencies with the help of the Bernstein spectral method for a general class of black holes, allowing for asymptotically flat, de Sitter or anti-de Sitter asymptotic. The method is especially efficient when searching for purely imaginary and unstable modes and here it is used for detecting
K. Chandrasekran, D. J. Prabhakaran
In this article, Using Hadamard product for $_4F_3\left(^{a_1,\, a_2,\, a_3,\, a_4}_{b_1,\, b_2,\, b_3};z\right)$ hypergeometric function with normalized analytic functions in the open unit disc, an operator $\mathcal{I}^{a_1,a_2,a_3,a_4}_{b_1,b_2,b_3}(f)(z)$ is introduced. Geometric properties of $_4F_3\left(^{a_1,\, a_2,\, a_3,\, a_4}_{b_1,\, b_2,\, b_3};z
Xiaopeng Shi, Chuanhou Gao, Denis Dochain
Regulation of multiple reaction modules is quite common in molecular computation and deep learning networks construction through chemical reactions, as is always a headache for that sequential execution of modules goes against the intrinsically parallel nature of chemical reactions. Precisely switching multiple reaction modules both on and off acts as the co
Joshua Zelinsky
Define $||n||$ to be the \emph{complexity} of $n$, which is the smallest number of $1$s needed to write $n$ using an arbitrary combination of addition and multiplication. John Selfridge showed that $||n|| \geq 3\log_3 n$ for all $n$. Richard Guy noted the trivial upper bound that $||n|| \leq 3\log_2 n$ for all $n>1$ by writing $n$ in base 2. An upper bound f
Jinlu Li
In this oaper, we prove some fixed point theorems in metric vector spaces, in which the continuity is not required for the considered mappings to satisfy. We provide some concrete examples to demonstrate these theorems. We also give some counterexamples to show that every condition in the theorems is necessary for the considered mapping to have a fixed point
Daoji Huang, Mark Shimozono, Tianyi Yu
We introduce a new row insertion algorithm on decreasing tableaux and increasing tableaux, generalizing Edelman-Greene (EG) row insertion. Our row insertion algorithm is a nontrivial variation of Hecke column insertion which generalizes EG column insertion. Similar to Hecke column insertion, our row insertion is bijective and respects Hecke equivalence, and
Ujwal Saini
We have designed three search methods for producing the task trees for the provided goal nodes using the Functional Object-Oriented Network. This paper details the strategy, the procedure, and the outcomes.
Sharp Adams inequalities with exact growth conditions on metric measure spaces and applications
math.APCarlo Morpurgo, Liuyu Qin
Adams inequalities with exact growth conditions are derived for Riesz-like potentials on metric measure spaces. The results extend and improve those obtained recently on $\mathbb R^n$ by the second author, for Riesz-like convolution operators. As a consequence, we will obtain new sharp Moser-Trudinger inequalities with exact growth conditions on $\mathbb R^n
Steven Campbell, Ting-Kam Leonard Wong
Convex PCA, which was introduced in Bigot et al. (2017), modifies Euclidean PCA by restricting the data and the principal components to lie in a given convex subset of a Hilbert space. This setting arises naturally in many applications, including distributional data in the Wasserstein space of an interval, and ranked compositional data under the Aitchison ge
Aryan Jadon, Avinash Patil, Shruti Jadon
Time Series Forecasting has been an active area of research due to its many applications ranging from network usage prediction, resource allocation, anomaly detection, and predictive maintenance. Numerous publications published in the last five years have proposed diverse sets of objective loss functions to address cases such as biased data, long-term foreca
Thomas Planche
In this paper we demonstrate that cyclotrons can be made to have precisely constant betatron tunes over wide energy ranges. In particular, we show that the horizontal tune can be made constant and does not have to follow the Lorentz factor gamma, while still perfectly satisfying the isochronous condition. To make this demonstration we developed a technique b
Ari Azarafrooz
A Differentiable Neural Computer (DNC) is a neural network with an external memory which allows for iterative content modification via read, write and delete operations. We show that information theoretic properties of the memory contents play an important role in the performance of such architectures. We introduce a novel concept of memory demon to DNC arch
Paolo Aschieri, Giovanni Landi, Chiara Pagani
We consider noncommutative principal bundles which are equivariant under a triangular Hopf algebra. We present explicit examples of infinite dimensional braided Lie and Hopf algebras of infinitesimal gauge transformations of bundles on noncommutative spheres. The braiding of these algebras is implemented by the triangular structure of the symmetry Hopf algeb
Accurate prediction of chemical short-range order and its effect on thermodynamic, structural, and electronic properties of disordered alloys: exemplified in Cu$_{3}$Au
cond-mat.mtrl-sciWill Morris, Duane D. Johnson, Prashant Singh
Electronic-structure methods based on density-functional theory (DFT) were used to directly quantify the effect of chemical short-range order (SRO) on thermodynamic, structural, and electronic properties of archetypal face-centered-cubic (fcc) Cu$_{3}$Au alloy. We show that SRO can be tuned to alter bonding and lattice dynamics (i.e., phonons) and detail how
N. A. Carella
The equidistribution of the double sign patterns of the Liouville function $\lambda$ is proved unconditionally. As application, it is shown that the computable real number $$\sum_{n \geq 1} \frac{1+\lambda(n)}{2^{n}}$$ is a simply normal number in base 4.
Jerson Pérez, Carlos Uzcátegui
Let $\Gamma(X)$ be the inverse semigroup of partial homeomorphisms between open subsets of a compact metric space $X$. There is a topology, denoted $\tau_{hco}$, that makes $\Gamma(X)$ a topological inverse semigroup. We address the question of whether $\tau_{hco}$ is Polish. For a 0-dimensional compact metric space $X$, we prove that $(\Gamma(X), \tau_{hco}
Romi Lifshitz
One of the challenges currently facing the quantum computing community is the design of quantum circuits which can efficiently run on near-term quantum computers, known as the quantum compiling problem. Algorithms such as the Variational Quantum Eigensolver (VQE), Quantum Approximate Optimization Algorithm (QAOA), and Quantum Architecture Search (QAS) have b
David J. Moss
We experimentally investigate power sensitive photothermal tuning (PTT) of two dimensional (2D) graphene oxide (GO) films coated on integrated optical waveguides. We measure the light power thresholds for reversible and permanent GO reduction in silicon nitride (SiN) waveguides integrated with 1 and 2 layers of GO. Raman spectra at different positions of a h
Johannes Scherer, Ansgar Scherp, Deepayan Bhowmik
Annotation of multimedia data by humans is time-consuming and costly, while reliable automatic generation of semantic metadata is a major challenge. We propose a framework to extract semantic metadata from automatically generated video captions. As metadata, we consider entities, the entities' properties, relations between entities, and the video category. W
Adam Bosak, Dmytro Mishagli, Jakub Marecek
Statistical static timing analysis (SSTA) is studied from the point of view of mathematical optimization. We present two formulations of the problem of finding the critical path delay distribution that were not known before: (i) a formulation of the SSTA problem using Binary--Integer Programming and (ii) a practical formulation using Geometric Programming. F
Levent Karacan, Tolga Kerimoğlu, İsmail İnan, Tolga Birdal
Giving machines the ability to imagine possible new objects or scenes from linguistic descriptions and produce their realistic renderings is arguably one of the most challenging problems in computer vision. Recent advances in deep generative models have led to new approaches that give promising results towards this goal. In this paper, we introduce a new met
Katja-Sophia Csizi, Markus Reiher
Quantum mechanics/molecular mechanics (QM/MM) hybrid models allow one to address chemical phenomena in complex molecular environments. Whereas this modeling approach can cope with a large system size at moderate computational costs, the models are often tedious to construct and require manual preprocessing and expertise. As a result, transferability to new a
C. M. Naón, F. A. Schaposnik
We discuss bosonization of non-Hermitian PT invariant fermion models in $d=2$ space-time dimensions within the path-integral approach in which the generating functionals associated to the fermion and boson models can be related. We first discuss the PT symmetric Thirring-sine-Gordon connection and then extend the treatment to bosonize the Gross-Neveu model.
Giuseppe Gaeta, Miguel Angel Rodriguez
The classification of scalar Ito equations with a single noise source which admit a so called standard symmetry and hence are -- by the Kozlov construction -- integrable is by now complete. In this paper we study the situation, occurring in physical as well as biological applications, where there are two independent noise sources. We determine all such auton
Sumana Biswas, Karen Young, Josephine Griffith
Labelling a large quantity of social media data for the task of supervised machine learning is not only time-consuming but also difficult and expensive. On the other hand, the accuracy of supervised machine learning models is strongly related to the quality of the labelled data on which they train, and automatic sentiment labelling techniques could reduce th
Wei Zhang, Jr-Shin Li
Ensemble control, an emerging research field focusing on the study of large populations of dynamical systems, has demonstrated great potential in numerous scientific and practical applications. Striking examples include pulse design for exciting spin ensembles in quantum physics, neurostimulation for relieving neurological disorder symptoms, and path plannin
Marco Abbadini, Guram Bezhanishvili, Luca Carai
$\mathsf{S5}$-subordination algebras are a natural generalization of de Vries algebras. Recently it was proved that the category $\mathsf{SubS5^S}$ of $\mathsf{S5}$-subordination algebras and compatible subordination relations between them is equivalent to the category of compact Hausdorff spaces and closed relations. We generalize MacNeille completions of b
Tatiana Gelvez-Barrera, Jorge Bacca, Henry Arguello
This paper proposes a non-data-driven deep neural network for spectral image recovery problems such as denoising, single hyperspectral image super-resolution, and compressive spectral imaging reconstruction. Unlike previous methods, the proposed approach, dubbed Mixture-Net, implicitly learns the prior information through the network. Mixture-Net consists of
Inside Out: Transforming Images of Lab-Grown Plants for Machine Learning Applications in Agriculture
cs.CVA. E. Krosney, P. Sotoodeh, C. J. Henry, M. A. Beck
Machine learning tasks often require a significant amount of training data for the resultant network to perform suitably for a given problem in any domain. In agriculture, dataset sizes are further limited by phenotypical differences between two plants of the same genotype, often as a result of differing growing conditions. Synthetically-augmented datasets h
Learning to Infer from Unlabeled Data: A Semi-supervised Learning Approach for Robust Natural Language Inference
cs.CLMobashir Sadat, Cornelia Caragea
Natural Language Inference (NLI) or Recognizing Textual Entailment (RTE) aims at predicting the relation between a pair of sentences (premise and hypothesis) as entailment, contradiction or semantic independence. Although deep learning models have shown promising performance for NLI in recent years, they rely on large scale expensive human-annotated datasets
Canonical and canonoid transformations for Hamiltonian systems on (co)symplectic and (co)contact manifolds
math-phR. Azuaje, A. M. Escobar-Ruiz
In this paper we present canonical and canonoid transformations considered as global geometrical objects for Hamiltonian systems. Under the mathematical formalisms of symplectic, cosymplectic, contact and cocontact geometry, the canonoid transformations are defined for (co)symplectic, (co)contact Hamiltonian systems, respectively. The local characterizations
M. Chamorro-Cazorla, A. Gil de Paz, A. Castillo-Morales, J. Gallego
The main interest of the Science Team for the exploitation of the MEGARA instrument at the 10.4m Gran Telescopio Canarias (GTC hereafter) is devoted to the study of nearby galaxies, with focus on the research of the history of star formation, and chemical and kinematical properties of disc systems. We refer to this project as MEGADES: MEGARA Galaxy Discs Evo
Effect of various electron and hole transport layers on the performance of CsPbI3-based perovskite solar cells: A numerical investigation in DFT, SCAPS-1D, and wxAMPS frameworks
cond-mat.mtrl-sciM. Khalid Hossain, Mirza Humaun Kabir Rubel, G. F. Ishraque Toki, Intekhab Alam
CsPbI3 has recently received tremendous attention as a possible absorber of perovskite solar cells (PSCs). However, CsPbI3-based PSCs have yet to achieve the high performance of the hybrid PSCs. In this work, we performed a density functional theory (DFT) study using the Cambridge Serial Total Energy Package (CASTEP) code for the cubic CsPbI3 absorber to com
Elias Villalvazo-Avila, Francisco Lopez-Tiro, Jonathan El-Beze, Jacques Hubert
This contribution presents a deep learning method for the extraction and fusion of information relating to kidney stone fragments acquired from different viewpoints of the endoscope. Surface and section fragment images are jointly used during the training of the classifier to improve the discrimination power of the features by adding attention layers at the
Classical-trajectory time-dependent mean-field theory for ion-molecule collision problems
physics.atom-phAlba Jorge, Marko Horbatsch, Tom Kirchner
A mean-field model to describe electron transfer processes in ion-molecule collisions at the $\hbar =0$ level is presented and applied to collisions involving water and ammonia molecules. Multicenter model potentials account for the molecular structure and geometry. They include charge screening parameters which in the most advanced version of the model depe
A. H. M. Nazmus Sakib, Promit Basak, Syed Doha Uddin, Shahamat Mustavi Tasin
Skeleton-based Motion Capture (MoCap) systems have been widely used in the game and film industry for mimicking complex human actions for a long time. MoCap data has also proved its effectiveness in human activity recognition tasks. However, it is a quite challenging task for smaller datasets. The lack of such data for industrial activities further adds to t
Long Feng, Binghui Liu, Yanyuan Ma
Testing for multi-dimensional white noise is an important subject in statistical inference. Such test in the high-dimensional case becomes an open problem waiting to be solved, especially when the dimension of a time series is comparable to or even greater than the sample size. To detect an arbitrary form of departure from high-dimensional white noise, a few
Wei Zhang, Yanjun Han, Zhengyuan Zhou, Aaron Flores
With the advent and increasing consolidation of e-commerce, digital advertising has very recently replaced traditional advertising as the main marketing force in the economy. In the past four years, a particularly important development in the digital advertising industry is the shift from second-price auctions to first-price auctions for online display ads.
J. L. Castiglioni, V. Fernández, H. F. Mallea, H. J. San Martín
Subresiduated lattices were introduced during the decade of 1970 by Epstein and Horn as an algebraic counterpart of some logics with strong implication previously studied by Lewy and Hacking. These logics are examples of subuintuitionistic logics, i.e., logics in the language of intuitionistic logic that are defined semantically by using Kripke models, in th
Debraj Chandra, Nur Alam
We consider certain star versions of the Menger, Hurewicz and Rothberger properties. Few important observations concerning these properties are presented, which have not been investigated in earlier works. A variety of investigations is performed using Alster covers and critical cardinalities $\mathfrak{d}$, $\mathfrak{b}$ and ${\sf cov}(\mathcal{M})$. Our s
Giovanni Gallavotti
General considerations on the Equivalence conjectures and a review of few mathematical results.
Zhenjiu Wang, Fakher Assaad, Maksim Ulybyshev
The Nielson-Ninomiya theorem states that a chirally invariant free fermion lattice action, which is local, translation invariant, and real necessarily has fermion doubling. The SLAC approach gives up on locality and long range hopping leads to a linear dispersion with singularity at the zone boundary. We introduce a SLAC Hamiltonian formulation that is expec
Quark generalized TMDs at skewness and Wigner Distribution in boost invariant longitudinal space
hep-phVikash Kumar Ojha, Sujit Jana, Tanmay Maji
The boost-invariant longitudinal space, defined by the parameter $\sigma=\frac{1}{2}b^-P^+$ can be studied from the Fourier transformation of distributions over the conjugate variable skewness $\xi$. We investigate quark Wigner distributions in the $\sigma$ space in dressed quark model and found diffraction patterns that are analogous to the single slit expe
Luther Rinehart
The generalization of the Larmor radiation formula in gravitational fields and with accelerating observers was obtained by Hirayama and others. We verify a special case of their result by explicit computation using a family of displaced Rindler frames. We discuss the role of observer-dependence of energy and simultaneity. We also include a discussion of cons
Piotr Krylov, Askar Tuganbaev
We consider realization and isomorphism problems for formal matrix rings over a given ring. Principal multiplier matrices of such rings play an important role in this case.\\ The work of A.A.Tuganbaev is supported by Russian Scientific Foundation, project 22-11-00052.
Ying Yin, Ivan Habernal
Pre-training large transformer models with in-domain data improves domain adaptation and helps gain performance on the domain-specific downstream tasks. However, sharing models pre-trained on potentially sensitive data is prone to adversarial privacy attacks. In this paper, we asked to which extent we can guarantee privacy of pre-training data and, at the sa
Tamás Csizmadia, Zoltán Filus, Tímea Grósz, Peng Ye
We present the experimental realization of spectrally tunable, ultrashort, quasi-monochromatic extreme ultraviolet (XUV) pulses generated at 100 kHz repetition rate in a user-oriented gas high harmonic generation (GHHG) beamline of the Extreme Light Infrastructure - Attosecond Light Pulse Source (ELI ALPS) facility. Versatile spectral and temporal shaping of
Shivajee Gupta, Akshaa Vatwani
We formulate a generalization of Riesz-type criteria in the setting of $L$-functions belonging to the Selberg class. We obtain a criterion which is sufficient for the Grand Riemann Hypothesis (GRH) for $L$-functions satisfying axioms of the Selberg class without imposing the Ramanujan hypothesis on their coefficients. We also construct a subclass of the Selb
Chance-constrained allocation of UFLS candidate feeders under high penetration of distributed generation
math.OCLuis Badesa, Cormac O'Malley, Maria Parajeles, Goran Strbac
Under-Frequency Load Shedding (UFLS) schemes are the last resort to contain a frequency drop in the grid by disconnecting part of the demand. The allocation methods for selecting feeders that would contribute to the UFLS scheme have traditionally relied on the fact that electric demand followed fairly regular patterns, and could be forecast with high accurac
Eker Onur, Bal Murat
Facial recognition is fundamental for a wide variety of security systems operating in real-time applications. In video surveillance based face recognition, face images are typically captured over multiple frames in uncontrolled conditions; where head pose, illumination, shadowing, motion blur and focus change over the sequence. We can generalize that the thr
Dmitry Zubarev, Carlos Raoni Mendes, Emilio Vital Brazil, Renato Cerqueira
There is an increasing need in our society to achieve faster advances in Science to tackle urgent problems, such as climate changes, environmental hazards, sustainable energy systems, pandemics, among others. In certain domains like chemistry, scientific discovery carries the extra burden of assessing risks of the proposed novel solutions before moving to th
Joachim Gudmundsson, Martin P. Seybold, Sampson Wong
Map matching is a common preprocessing step for analysing vehicle trajectories. In the theory community, the most popular approach for map matching is to compute a path on the road network that is the most spatially similar to the trajectory, where spatial similarity is measured using the Fr\'echet distance. A shortcoming of existing map matching algorithms
Leonard Bongard, Lena Held, Ivan Habernal
We present a new NLP task and dataset from the domain of the U.S. civil procedure. Each instance of the dataset consists of a general introduction to the case, a particular question, and a possible solution argument, accompanied by a detailed analysis of why the argument applies in that case. Since the dataset is based on a book aimed at law students, we bel
Manu Jayadharan, Ivan Yotov
We develop a mixed finite element domain decomposition method on non-matching grids for the Biot system of poroelasticity. A displacement-pressure vector mortar function is introduced on the interfaces and utilized as a Lagrange multiplier to impose weakly continuity of normal stress and normal velocity. The mortar space can be on a coarse scale, resulting i
Gayatri Mohan, Umananda Dev Goswami
Galactic rotation curve is a powerful indicator of the state of the gravitational field within a galaxy. The flatness of these curves indicates the presence of dark matter in galaxies and their clusters. In this paper, we focus on the possibility of explaining the rotation curves of spiral galaxies without postulating the existence of dark matter in the fram
Sanchar Palit, Biplab Banerjee, Subhasis Chaudhuri
Scarcity of data and incremental learning of new tasks pose two major bottlenecks for many modern computer vision algorithms. The phenomenon of catastrophic forgetting, i.e., the model's inability to classify previously learned data after training with new batches of data, is a major challenge. Conventional methods address catastrophic forgetting while compr
HREyes: Design, Development, and Evaluation of a Novel Method for AUVs to Communicate Information and Gaze Direction
cs.HCMichael Fulton, Aditya Prabhu, Junaed Sattar
We present the design, development, and evaluation of HREyes: biomimetic communication devices which use light to communicate information and, for the first time, gaze direction from AUVs to humans. First, we introduce two types of information displays using the HREye devices: active lucemes and ocular lucemes. Active lucemes communicate information explicit
Rolf Sören Kraußhar, Anastasiia Legatiuk, Dmitrii Legatiuk
In recent years, there is a growing interest in the studying octonions, which are 8-dimensional hypercomplex numbers forming the biggest normed division algebras over the real numbers. In particular, various tools of the classical complex function theory have been extended to the octonionic setting in recent years. However not so many results related to a di
Breaking the trade-off in personalized speech enhancement with cross-task knowledge distillation
eess.ASHassan Taherian, Sefik Emre Eskimez, Takuya Yoshioka
Personalized speech enhancement (PSE) models achieve promising results compared with unconditional speech enhancement models due to their ability to remove interfering speech in addition to background noise. Unlike unconditional speech enhancement, causal PSE models may occasionally remove the target speech by mistake. The PSE models also tend to leak interf
Mihir Kulkarni, Satvik Golechha, Rishi Raj, Jithin Sreedharan
Tuberculosis (TB), an infectious bacterial disease, is a significant cause of death, especially in low-income countries, with an estimated ten million new cases reported globally in $2020$. While TB is treatable, non-adherence to the medication regimen is a significant cause of morbidity and mortality. Thus, proactively identifying patients at risk of droppi
A. F. Bonfils, Dhrubaditya Mitra, W. Moon, J. S. Wettlaufer
Motivated by wind blowing over water, we use asymptotic methods to study the evolution of short wavelength interfacial waves driven by the combined action of these flows. We solve the Rayleigh equation for the stability of the shear flow, and construct a uniformly valid approximation for the perturbed streamfunction, or eigenfunction. We then expand the real
Benjamin L. Badger
Supervised deep learning is most commonly applied to difficult problems defined on large and often extensively curated datasets. Here we demonstrate the ability of deep representation learning to address problems of classification and regression from small and poorly formed tabular datasets by encoding input information as abstracted sequences composed of a
Effective Audio Classification Network Based on Paired Inverse Pyramid Structure and Dense MLP Block
cs.SDYunhao Chen, Yunjie Zhu, Zihui Yan, Yifan Huang
Recently, massive architectures based on Convolutional Neural Network (CNN) and self-attention mechanisms have become necessary for audio classification. While these techniques are state-of-the-art, these works' effectiveness can only be guaranteed with huge computational costs and parameters, large amounts of data augmentation, transfer from large datasets
Jie Liu, Antonio Bellon, Andrea Simonetto, Martin Takac
Transmission-constrained problems in power systems can be cast as polynomial optimization problems whose coefficients vary over time. We consider the complications therein and suggest several approaches. On the example of the alternating-current optimal power flows (ACOPFs), we illustrate one of the approaches in detail. For the time-varying ACOPF, we provid
Tadahiro Oh, Younes Zine
In recent study of partial differential equations (PDEs) with random initial data and singular stochastic PDEs with random forcing, it is essential to study the regularity property of various stochastic objects. These stochastic objects are often given as products of simpler stochastic objects. As pointed out in Hairer(2014), by using a multiple stochastic i
Xudong Zhang, Zhilin Lu, Rui Zeng, Jintao Wang
In massive multiple-input multiple-output (MIMO) systems, the user equipment (UE) needs to feed the channel state information (CSI) back to the base station (BS) for the following beamforming. But the large scale of antennas in massive MIMO systems causes huge feedback overhead. Deep learning (DL) based methods can compress the CSI at the UE and recover it a
Learning the shape of protein micro-environments with a holographic convolutional neural network
physics.bio-phMichael N. Pun, Andrew Ivanov, Quinn Bellamy, Zachary Montague
Proteins play a central role in biology from immune recognition to brain activity. While major advances in machine learning have improved our ability to predict protein structure from sequence, determining protein function from structure remains a major challenge. Here, we introduce Holographic Convolutional Neural Network (H-CNN) for proteins, which is a ph
Junjie Li, Jietong Zhao, Yanqing Su, Jiahao Shen
High order structures (cavities and cliques) of the gene network of influenza A virus reveal tight associations among viruses during evolution and are key signals that indicate viral cross-species infection and cause pandemics. As indicators for sensing the dynamic changes of viral genes, these higher order structures have been the focus of attention in the
Rajesh Biswas, Asaad Daher, Arpan Das, Wojciech Florkowski
Boost-invariant equations of spin hydrodynamics confined to the first-order terms in gradients are numerically solved. The spin equation of state, relating the spin density tensor to the spin chemical potential, is consistently included in the first order. Depending on its form and the structure of the spin transport coefficients, we find solutions which are
Jing Guo, Heping Zhang
A graph $G$ of order $n$ is said to be $k$-factor-critical for integers $1\leq k < n$, if the removal of any $k$ vertices results in a graph with a perfect matching. A $k$-factor-critical graph $G$ is called minimal if for any edge $e\in E(G)$, $G-e$ is not $k$-factor-critical. In 1998, O. Favaron and M. Shi conjectured that every minimal $k$-factor-critical
Rankers, Rankees, & Rankings: Peeking into the Pandora's Box from a Socio-Technical Perspective
cs.HCJun Yuan, Julia Stoyanovich, Aritra Dasgupta
Algorithmic rankers have a profound impact on our increasingly data-driven society. From leisurely activities like the movies that we watch, the restaurants that we patronize; to highly consequential decisions, like making educational and occupational choices or getting hired by companies -- these are all driven by sophisticated yet mostly inaccessible ranke
Ramón Bécar, P. A. González, Yerko Vásquez
We consider the propagation of a charged massive scalar field in the background of a four-dimensional Ernst black hole and study its stability analyzing the quasinormal modes (QNMs), which are calculated using the semi-analytical Wentzel-Kramers-Brillouin method and numerically using the continued fraction method. Mainly, we find that for a scalar field mass