August 2022 arXiv papers — page 99

Chentao Cao, Zhuo-Xu Cui, Yue Wang, Shaonan Liu

Diffusion models with continuous stochastic differential equations (SDEs) have shown superior performances in image generation. It can serve as a deep generative prior to solving the inverse problem in magnetic resonance (MR) reconstruction. However, low-frequency regions of $k$-space data are typically fully sampled in fast MR imaging, while existing diffus

Markus Grassl

We present a new propagation rule for CSS codes. Starting with a CSS code $[\![n,k,d]\!]_q$, we construct a CSS code with parameters $[\![n-2,k,d-1]\!]_q$. In general, one would only obtain a code with parameters $[\![n-2,k,d-2]\!]_q$. The construction applies to asymmetric quantum codes from the CSS construction as well.

Ngoc Cuong Nguyen, Andrew Rohskopf

We present the proper orthogonal descriptors for efficient and accuracy representation of the potential energy surface. The potential energy surface is represented as a many-body expansion of parametrized potentials in which the potentials are functions of atom positions and parameters. The Karhunen-Lo\`eve (KL) expansion is employed to decompose the paramet

Oded Cats

Human mobility is subject to collective dynamics that are the outcome of numerous individual choices. Smart card data which originated as a means of facilitating automated fare collections has emerged as an invaluable source for analyzing human mobility patterns. A variety of clustering and segmentation techniques has been adopted and adapted for application

Ying Yang, Jiliang Jing, Zehua Tian

Quantum metrology studies the ultimate precision limit of physical quantities by using quantum strategy. In this paper we apply the quantum metrology technologies to the relativistic framework for estimating the deficit angle parameter of cosmic string spacetime. We use a two-level atom coupled to electromagnetic fields as the probe and derive its dynamical

Emanuele Santellani, Christian Sormann, Mattia Rossi, Andreas Kuhn

Establishing a sparse set of keypoint correspon dences between images is a fundamental task in many computer vision pipelines. Often, this translates into a computationally expensive nearest neighbor search, where every keypoint descriptor at one image must be compared with all the descriptors at the others. In order to lower the computational cost of the ma

Tyrus Berry, Suddhasattwa Das

The task of modelling and forecasting a dynamical system is one of the oldest problems, and it remains challenging. Broadly, this task has two subtasks - extracting the full dynamical information from a partial observation; and then explicitly learning the dynamics from this information. We present a mathematical framework in which the dynamical information

Jingsong Lv, Zhao Li, Hongyang Chen, Yao Qi

In this paper, we propose a Path-aware Siamese Graph neural network(PSG) for link prediction tasks. First, PSG captures both nodes and edge features for given two nodes, namely the structure information of k-neighborhoods and relay paths information of the nodes. Furthermore, a novel multi-task GNN framework with self-supervised contrastive learning is propo

Elizabeth A. K. Adams, B. Adebahr, W. J. G. de Blok, H. Denes

(Abridged) Apertif is a phased-array feed system for WSRT, providing forty instantaneous beams over 300 MHz of bandwidth. A dedicated survey program started on 1 July 2019, with the last observations taken on 28 February 2022. We describe the release of data products from the first year of survey operations, through 30 June 2020. We focus on defining quality

Maximilian Speicher

Data-driven design is a proven success factor that more and more digital businesses embrace. At the same time, academics and practitioners alike warn that when virtually everything must be tested and proven with numbers, that can stifle creativity and innovation. This article argues that Taleb's Black Swan theory can solve this dilemma. It shows that online

Jad Beyhum, Jean-Pierre Florens, Elia Lapenta, Ingrid Van Keilegom

The hypothesis of homogeneous treatment effects is central to the instrumental variables literature. This assumption signifies that treatment effects are constant across all subjects. It allows to interpret instrumental variable estimates as average treatment effects over the whole population of the study. When this assumption does not hold, the bias of inst

A. M. Kutkin, T. A. Oosterloo, R. Morganti, E. A. K. Adams

The first data release of Apertif survey contains 3074 radio continuum images covering a thousand square degrees of the sky. The observations were performed during August 2019 to July 2020. The continuum images were produced at a central frequency 1355 MHz with the bandwidth of $\sim$150 MHz and angular resolution reaching 10". In this work we introduce and

Siba Moussa, Michael Kilgour, Clara Jans, Alex Hernandez-Garcia

Inverse design of short single-stranded RNA and DNA sequences (aptamers) is the task of finding sequences that satisfy a set of desired criteria. Relevant criteria may be, for example, the presence of specific folding motifs, binding to molecular ligands, sensing properties, etc. Most practical approaches to aptamer design identify a small set of promising c

Giancarlo Rinaldo, Rajib Sarkar

We prove that level binomial edge ideals with regularity 2 and pseudo-Gorenstein binomial edge ideals with regularity 3 are cones, and we describe them completely. Also, we characterize level and pseudo-Gorenstein binomial edge ideals of bipartite graphs.

Rowdy Chotkan, Jérémie Decouchant, Johan Pouwelse

Self-Sovereign Identity (SSI) aspires to create a standardised identity layer for the Internet by placing citizens at the centre of their data, thereby weakening the grip of big tech on current digital identities. However, as millions of both physical and digital identities are lost annually, it is also necessary for SSIs to possibly be revoked to prevent mi

Pablo Gómez, Håvard Hem Toftevaag, Torbjørn Bogen-Storø, Derek Aranguren van Egmond

In the recent decade, computational tools have become central in material design, allowing rapid development cycles at reduced costs. Machine learning tools are especially on the rise in photonics. However, the inversion of the Maxwell equations needed for the design is particularly challenging from an optimization standpoint, requiring sophisticated softwar

Philippa Liggins, Sean Jordan, Paul B. Rimmer, Oliver Shorttle

Volcanism is a major and long-term source of volatile elements such as C and H to Earth's atmosphere, likely has been to Venus's atmosphere, and may be for exoplanets. Models simulating volcanic growth of atmospheres often make one of two assumptions: either that atmospheric speciation is set by the high-temperature equilibrium of volcanism; or, that volcani

Robert Finn, Stefan Schulz

Light emitters based on the semiconductor alloy aluminium gallium nitride ((Al,Ga)N) have gained significant attention in recent years due to their potential for a wide range of applications in the ultraviolet (UV) spectral window. However, current state-of-the-art (Al,Ga)N light emitters exhibit very low internal quantum efficiencies (IQEs). Therefore, unde

Nicholas Rungi, Andrea Tamburelli

In this paper we study a broad class of complete Hamiltonian integrable systems, namely the ones whose associated Lagrangian fibration is complete and has non compact fibres. By studying the associated complete Lagrangian fibration, we show that, under suitable assumptions, the integrals of motion can be taken as action coordinates for the Hamiltonian system

Xiaoling Hu, Chenxi Liu, Mugen Peng, Caijun Zhong

In this paper, we establish an integrated sensing and communication (ISAC) system based on a distributed semi-passive intelligent reflecting surface (IRS), which allows location sensing and data transmission to be carried out simultaneously, sharing the same frequency and time resources. The detailed working process of the proposed IRS-based ISAC system is d

Imad Aouali, Achraf Ait Sidi Hammou, Otmane Sakhi, David Rohde

We introduce Probabilistic Rank and Reward (PRR), a scalable probabilistic model for personalized slate recommendation. Our approach allows off-policy estimation of the reward in the scenario where the user interacts with at most one item from a slate of K items. We show that the probability of a slate being successful can be learned efficiently by combining

P. H. M. van Spaendonck

The busy-forbidden protocol is a new readers-writer lock with no resource contention between readers, which allows it to outperform other locks. For its verification, specifications of its implementation and its less complex external behavior are provided by the original authors but are only proven equivalent for up to 7 threads. We provide a general proof u

Mehdi Molkaraie

We present local mappings that relate the marginal probabilities of a global probability mass function represented by its primal normal factor graph to the corresponding marginal probabilities in its dual normal factor graph. The mapping is based on the Fourier transform of the local factors of the models. Details of the mapping are provided for the Ising mo

Chungsun Lee, Simon C. Webster, Jacopo Mosca Toba, Ollie Corfield

Measurement-based cooling is a method by which a quantum system, initially in a thermal state, can be prepared in its ground state through some sort of measurement. This is done by making a measurement that heralds the system being in the desired state. Here we demonstrate the application of a measurement-based cooling technique to a trapped atomic ion. The

Andrea Appel, Valerio Toledano-Laredo

Let g be a symmetrisable Kac-Moody algebra and U_h(g) its quantised enveloping algebra. Answering a question of P. Etingof, we prove that the quantum Weyl group operators of U_h(g) give rise to a canonical action of the pure braid group of g on any category O (not necessarily integrable) U_h(g)-module V. By relying on our recent results in arXiv:1512.03041,

Sebastiaan de Haas, Pablo Bosch, Philipp Mösta, Sanjana Curtis

We investigate the influence of parametric magnetic field configurations of a hypermassive neutron star (HMNS) on electromagnetic (EM) observables, specifically the kilonova lightcurves and nucleosynthesis yields. We perform three-dimensional (3D) dynamical-spacetime general-relativistic magnetohydrodynamic (GRMHD) simulations, including a neutrino leakage s

Domenico Fiorini, Miguel Alfonso Mendez, Alessia Simonini, Johan Steelant

The contact angle between a gas-liquid interface and a solid surface is a function of the dynamic conditions of the contact line. Classic steady correlations link the contact angle to the contact line velocity. However, it is not clear whether they hold in presence of inertia and in the case of perfect wetting fluids. We analyze the shape of a liquid interfa

Zhouyuan Yu, Xiaoling Hu, Chenxi Liu, Mugen Peng

Intelligent reflecting surface (IRS) has shown its effectiveness in facilitating orthogonal time-division integrated sensing and communications (TD-ISAC), in which the sensing task and the communication task occupy orthogonal time-frequency resources, while the role of IRS in the more interesting scenarios of non-orthogonal ISAC (NO-ISAC) systems has so far

William Detmold, William I. Jay, David J. Murphy, Patrick R. Oare

This work presents a determination of potential short-distance contributions to the unphysical $\pi^-\rightarrow\pi^+ e^- e^-$ decay through lattice QCD calculations. The hadronic contributions to the transition amplitude are described by the pion matrix elements of five Standard Model Effective Field Theory operators, which are computed on five ensembles of

Wangmeng Xiang, Chao Li, Yuxuan Zhou, Biao Wang

Skeleton-based action recognition has recently received considerable attention. Current approaches to skeleton-based action recognition are typically formulated as one-hot classification tasks and do not fully exploit the semantic relations between actions. For example, "make victory sign" and "thumb up" are two actions of hand gestures, whose major differen

Kazuya Kikuchi

This paper studies the allocation of voting weights in a committee representing groups of different sizes. We introduce a partial ordering of weight allocations based on stochastic comparison of social welfare. We show that when the number of groups is sufficiently large, this ordering asymptotically coincides with the total ordering induced by the cosine pr

Saibal Ray, Arijit Panda, Bivash Majumder, Md. Rabiul Islam

In this paper, we study the collapsing scenario for the k-essence emergent Vaidya spacetime in the context of massive gravity's rainbow. For this study, we consider that the background metric is Vaidya spacetime in massive gravity's rainbow. We show that the k-essence emergent gravity metric resembles closely to the new type of generalized Vaidya massive gra

Valentin De Bortoli

Denoising diffusion models are a recent class of generative models exhibiting state-of-the-art performance in image and audio synthesis. Such models approximate the time-reversal of a forward noising process from a target distribution to a reference density, which is usually Gaussian. Despite their strong empirical results, the theoretical analysis of such m

Michael Moortgat, Gijs Wijnholds

The workshop End-to-End Compositional Models of Vector-Based Semantics was held at NUI Galway on 15 and 16 August 2022 as part of the 33rd European Summer School in Logic, Language and Information (ESSLLI 2022). The workshop was sponsored by the research project 'A composition calculus for vector-based semantic modelling with a localization for Dutch' (Dutch

Rafał R. Suszek

The super-$\sigma$-model of dynamics of the super-charged loop in an ambient supermanifold in the presence of worldsheet defects of arbitrary topology is formalised within Gaw\c{e}dzki's higher-cohomological approach, drawing inspiration from the precursor arXiv:0808.1419 [hep-th]. A distinguished class of the corresponding backgrounds (supertargets with add

Manjeet Seth, Kinkar Saha, Sudipa Upadhaya, Soumitra Maity

Keeping in the mind about Van der Walls gas equation, we have explore PV diagram of quark matter by using PNJL model and we find a qualitative similarity.

Jens Keim, Claus-Dieter Munz, Christian Rohde

The Navier-Stokes-Korteweg (NSK) system is a classical diffuse interface model which is based on van der Waals theory of capillarity. Diffuse interface methods have gained much interest to model two-phase flow in porous media. However, for the numerical solution of the NSK equations two major challenges have to be faced. First, an extended numerical stencil

Nuno M. Guerreiro, Elena Voita, André F. T. Martins

Although the problem of hallucinations in neural machine translation (NMT) has received some attention, research on this highly pathological phenomenon lacks solid ground. Previous work has been limited in several ways: it often resorts to artificial settings where the problem is amplified, it disregards some (common) types of hallucinations, and it does not

Cairong Chen, Dongmei Yu, Deren Han, Changfeng Ma

A new equivalent reformulation of the absolute value equations associated with second-order cone (SOCAVEs) is emphasised, from which a dynamical system based on projection operator for solving SOCAVEs is constructed. Under proper assumptions, the equilibrium points of the dynamical system exist and could be (globally) asymptotically stable. Some numerical si

V. P. Savin, Yu. A. Koksharov

A counterintuitive effect of a repulsion between uncharged and charged conductors is considered. Our numerical calculations prove this effect for various axially symmetric systems of a neutral conductor in an electric field of a point charge. The presence of a cavity in the conductor is very important for the repulsion effect. Our simple analytical model exp

Adam E. A. Fouda, Dimitris Koulentianos, Linda Young, Gilles Doumy

Intense few-to-sub-femtosecond soft x-ray pulses can produce neutral, two-site excited double-core-hole states by promoting two core electrons to the same unoccupied molecular orbital. We theoretically investigate double nitrogen K-edge excitations of nitrous oxide (N2O) with multiconfigurational electronic structure calculations. We show that the second cor

Konstantinos A. Mountris, Mingjing Li, Richard Schilling, Leiting Dong

This research explored a novel explicit total Lagrangian Fragile Points Method (FPM) for finite deformation of hyperelastic materials. In contrast to mesh-based methods, where mesh distortion may pose numerical challenges, meshless methods are more suitable for large deformation modelling since they use enriched shape functions for the approximation of displ

Suvarna Kadam, Vinay G. Vaidya

Detection of diseases through medical imaging is preferred due to its non-invasive nature. Medical imaging supports multiple modalities of data that enable a thorough and quick look inside a human body. However, interpreting imaging data is often time-consuming and requires a great deal of human expertise. Deep learning models can expedite interpretation and

Yanmeng Xing, Ying Fan, Roberta Sinatra, An Zeng

Mentoring is a key component of scientific achievements, contributing to overall measures of career success for mentees and mentors. A common success metric in the scientific enterprise is acquiring a large research group, which is believed to indicate excellent mentorship and high-quality research. However, large, competitive groups might also amplify dropo

Lijie Liu, Martin Bureau, Guang-Xing Li, Timothy A. Davis

We present a study of molecular structures (clumps and clouds) in the dwarf galaxy NGC 404 using high-resolution (0.86x0.51 pc^2) Atacama Large Millimeter/sub-millimeter Array ^{12}CO(2-1) observations. We find two distinct regions in NGC 404: a gravitationally-stable central region (Toomre parameter Q=3-30) and a gravitationally-unstable molecular ring (Q<=

Sherwin Bahmani, Oliver Hahn, Eduard Zamfir, Nikita Araslanov

The lack of out-of-domain generalization is a critical weakness of deep networks for semantic segmentation. Previous studies relied on the assumption of a static model, i. e., once the training process is complete, model parameters remain fixed at test time. In this work, we challenge this premise with a self-adaptive approach for semantic segmentation that

Sandra Siegfried, Lucas Kook, Torsten Hothorn

We introduce a generalized additive model for location, scale, and shape (GAMLSS) next of kin aiming at distribution-free and parsimonious regression modelling for arbitrary outcomes. We replace the strict parametric distribution formulating such a model by a transformation function, which in turn is estimated from data. Doing so not only makes the model dis

Aishwarya Bhaskaran, Matt P. Wand

We extend a recently established asymptotic normality theorem for generalized linear mixed models to include the dispersion parameter. The new results show that the maximum likelihood estimators of all model parameters have asymptotically normal distributions with asymptotic mutual independence between fixed effects, random effects covariance and dispersion

Zhouyuan Yu, Xiaoling Hu, Chenxi Liu, Mugen Peng

This paper explores the potential of the intelligent reflecting surface (IRS) in realizing multi-user concurrent communication and localization, using the same time-frequency resources. Specifically, we propose an IRS-enabled multi-user integrated sensing and communication (ISAC) framework, where a distributed semi-passive IRS assists the uplink data transmi

Ibrahim Issah, Jesse Pietila, Tommi Kujala, Matias Koivurova

In this work, we propose epsilon-near-zero (ENZ) nanoparticles formed of metal and dielectric bilayers and employ the effective medium approach for multilayered nanospheres to study their optical response. We obtained a passive tunable ENZ region by varying the radii of the proposed bilayer nanospheres, ranging from visible to near-IR. In addition, we presen

Alexander V. Aksenov, Konstantin P. Druzhkov, Oleg V. Kaptsov

The one-dimensional system of equations of isentropic gas dynamics is considered. First-order invariants of characteristics of this system are classified. Second-order invariants of characteristics are classified for polytropic processes. The infinite sequence of Darboux integrable systems is described. The approach to construction of smooth solutions withou

Chian-Chou Chen, Zhen-Kai Gao, Qi-Ning Hsu, Cheng-Lin Liao

We report morphological analyses of seven submillimeter galaxies (SMGs) at $z\sim2$ using the JWST NIRCam images taken as part of the public CEERS and PRIMER surveys. Through two-dimensional surface brightness profile fittings we find evidence of bulges in all the sample SMGs, in particular at F444W filter, suggesting an ubiquitous presence of stellar bulges

Benjamin Sorkin, Joshua Ricouvier, Haim Diamant, Gil Ariel

We derive a functional for the entropy contributed by any microscopic degrees of freedom as arising from their measurable pair correlations. Applicable both in and out of equilibrium, this functional yields the maximum entropy which a system can have given a certain correlation function. When applied to different correlations, the method allows us to identif

Elena Prudnikov, Iryna Polishchuk, Andy Sand, Hanan Abu Hamad

Superhydrophobcity is a well-known wetting phenomenon found in numerous plants and insects. It is achieved by the combination of the surfaces chemical properties and its surface roughness. Inspired by nature, numerous synthetic superhydrophobic surfaces have been developed for various applications. Designated surface coating is one of the fabrication routes

Tom Glint, Chandan Kumar Jha, Manu Awasthi, Joycee Mekie

Traditional computers with von Neumann architecture are unable to meet the latency and scalability challenges of Deep Neural Network (DNN) workloads. Various DNN accelerators based on Conventional compute Hardware Accelerator (CHA), Near-Data-Processing (NDP) and Processing-in-Memory (PIM) paradigms have been proposed to meet these challenges. Our goal in th

Andronick Arutyunov

This paper is devoted to derivations in bimodules over group rings using previously proposed methods which are related to character spaces over groupoids. The theorem describing the arising spaces of derivations is proved. We consider some examples, in particular the case of $(\sigma, \tau)$-derivations.

Adrián Gómez Pueyo, Alaska Subedi

Light has a wavelength that is usually longer than the size of the unit cell of crystals. Hence, even intense light pulses are not expected to break the translation symmetry of materials. However, certain materials, including KTaO$_3$, exhibit peaks in their Raman spectra corresponding to their Brillouin zone boundary phonons due to second-order Raman proces

Mohd Shadab Danish, Pritam Ranjan, Ruchi Sharma

The purpose of this paper is to use patent level characteristics to estimate the survival of resident patents (filed at the Indian Patent Office (IPO) and assigned to firms in India). This study uses the renewal information of firm-level patents applied during 1st January 1995 and 31st December 2005, which were eventually granted. The data provided by IPO co

Sergiy Tkachuk, Anna Wróblewska, Jacek Dąbrowski, Szymon Łukasik

Recent years brought an increasing interest in the application of machine learning algorithms in e-commerce, omnichannel marketing, and the sales industry. It is not only to the algorithmic advances but also to data availability, representing transactions, users, and background product information. Finding products related in different ways, i.e., substitute

Nguyen Thanh Son, Tatjana Stykel

Symplectic eigenvalues are conventionally defined for symmetric positive-definite matrices via Williamson's diagonal form. Many properties of standard eigenvalues, including the trace minimization theorem, are extended to the case of symplectic eigenvalues. In this note, we will generalize Williamson's diagonal form for symmetric positive-definite matrices t

Dariusz Miskowiec

Selection of recent (in March 2022) results from the heavy-ion experiment ALICE at the CERN LHC, chosen to address various stages of the nucleus-nucleus reaction.

Cezary Gonera, Joanna Gonera, Piotr Kosinski

We generalize the results obtained recently (Nonlinearity \underline{36} (2023), 1143) by providing a very simple proof of the superintegrability of the Hamiltonian $H=\vec{p}\,^{2}+F(\vec{q}\cdot\vec{p})$, $\vec{q}, \vec{p}\in\mathbb{R}^{2}$, for any analytic function $F$. The additional integral of motion is constructed explicitly and shown to reduce to a

Stefan Hoffelner, Paul Larson, Ralf Schindler, Liuzhen Wu

We show that under $\BMM$ and "there exists a Woodin cardinal$"$, the nonstationary ideal on $\omega_1$ can not be defined by a $\Sigma_1$ formula with parameter $A \subset \omega_1$. We show that the same conclusion holds under the assumption of Woodin's $(\ast)$-axiom. We further show that there are universes where $\BPFA$ holds and $\NS$ is $\Sigma_1(\ome

Samuel Horváth, Konstantin Mishchenko, Peter Richtárik

In this work, we propose new adaptive step size strategies that improve several stochastic gradient methods. Our first method (StoPS) is based on the classical Polyak step size (Polyak, 1987) and is an extension of the recent development of this method for the stochastic optimization-SPS (Loizou et al., 2021), and our second method, denoted GraDS, rescales s

Amar Chidouh, Rahima Atmania, Delfim F. M. Torres

We study a class of nonlinear fractional differential equations with multiple delays, which is represented by the Voigt creep fractional model of viscoelasticity. We discuss two Voigt models, the first being linear and the second being nonlinear. The linear Voigt model give us the physical interpretation and is associated with important results since the cre

Giorgio Piras, Maura Pintor, Luca Demetrio, Battista Biggio

One of the most common causes of lack of continuity of online systems stems from a widely popular Cyber Attack known as Distributed Denial of Service (DDoS), in which a network of infected devices (botnet) gets exploited to flood the computational capacity of services through the commands of an attacker. This attack is made by leveraging the Domain Name Syst

Torbjörn Sjöstrand

Soft QCD is beyond perturbative control, and therefore phenomenological models have to be developed. These are implemented and combined within event generators. Typical aspects considered are multiparton interactions, colour reconnection, and hadronization. Of special interest are non-universal features of hadronization at the LHC, such as the recently obser

Guo-Jie Feng, Ali Esamdin, Jian-Ning Fu, Hu-Biao Niu

KIC 10417986 is a short orbital period (0.0737 d) ellipsoidal variable star with a {\delta} Scuti and {\gamma} Doradus hybrid pulsations component discovered by Kepler. The ground-based spectroscopic observations were carried out in the winters of 2020 and 2021 to investigate the binary nature of this star. We derive the orbital parameters using the rvfit co

Fahri Wisnu Murti, Samad Ali, George Iosifidis, Matti Latva-aho

Virtualized Radio Access Networks (vRANs) are fully configurable and can be implemented at a low cost over commodity platforms to enable network management flexibility. In this paper, a novel vRAN reconfiguration problem is formulated to jointly reconfigure the functional splits of the base stations (BSs), locations of the virtualized central units (vCUs) an

Hui Huang, Hansol Park

In this paper, we investigate the consensus models on the sphere with control signals, where both the first and second order systems are considered. We provide the existence of the optimal control-trajectory pair and derive the first order optimality condition taking the form of the Pontryagin Minimum Principle. Numeric simulations are also presented to show

Jacqueline Höllig, Cedric Kulbach, Steffen Thoma

With the increasing application of deep learning algorithms to time series classification, especially in high-stake scenarios, the relevance of interpreting those algorithms becomes key. Although research in time series interpretability has grown, accessibility for practitioners is still an obstacle. Interpretability approaches and their visualizations are d

Daiki Takahashi, Ken Kaneiwa

On the Semantic Web, metadata and ontologies are used to enable computers to read data. The Web Ontology Language (OWL) has been proposed as a standard ontological language, and various inference systems for this language have been studied. Description logics are regarded as the theoretical foundations of OWL; they provide the syntax and semantics of a forma

Xiaoran Liang, Eleanor Sanderson, Frank Windmeijer

In a linear instrumental variables (IV) setting for estimating the causal effects of multiple confounded exposure/treatment variables on an outcome, we investigate the adaptive Lasso method for selecting valid instrumental variables from a set of available instruments that may contain invalid ones. An instrument is invalid if it fails the exclusion condition

Joseph J. Armstrong, Nicholas J. Wright, R. D. Jeffries, R. J. Jackson

The kinematics of stars in OB associations can provide insights into their formation, dynamical evolution, and eventual fate. The low-mass stellar content of OB associations are sufficiently numerous as to provide a detailed sampling of their kinematic properties, however spectroscopy is required to confirm the youth of individual stars and to get 3D kinemat

Susmita Mallick

In this article, we concurrently explore the class of m-bi-ideals as well as the class of m- interior ideals in an ordered semigroup. We call these class of ideals as m-bi-interior ideals. Here, m-simple, m-regular ordered semigroups and their various subclasses get characterized in diverse manners as per their m-bi-interior ideals.

Nils Kolja Wessling, Saptarsi Ghosh, Benoit Guilhabert, Menno Kappers

We demonstrate the back-end integration of broadband, high-NA GaN micro-lenses by micro-assembly onto non-native semiconductor substrates. We developed a highly parallel micro-fabrication process flow to suspend micron scale plano-convex lens platelets from 6" Si growth wafers and show their subsequent transfer-printing integration. A growth process targeted

Mohd Shadab Danish, Pritam Ranjan, Ruchi Sharma

This study assesses the degree to which the social value of patents can be connected to the private value of patents across discrete and complex innovation. The underlying theory suggests that the social value of cumulative patents is less related to the private value of patents. We use the patents applied between 1995 to 2002 and granted on or before Decemb

Anthony Dell'Eva, Marco Orsingher, Massimo Bertozzi

Generating dense point clouds from sparse raw data benefits downstream 3D understanding tasks, but existing models are limited to a fixed upsampling ratio or to a short range of integer values. In this paper, we present APU-SMOG, a Transformer-based model for Arbitrary Point cloud Upsampling (APU). The sparse input is firstly mapped to a Spherical Mixture of

Maike Schwammberger, Christopher Harper, Gleifer Vaz Alves, Greg Chance

Automated Vehicles (AVs) are rapidly maturing in the transportation domain. However, the complexity of the AV design problem is such that no single technique is sufficient to provide adequate validation of key properties such as safety, reliability or trustworthiness. In this vision paper, a combination of a spatial traffic logic and agent-based verification

Tamara Civera

The Centro de Estudios de F\'isica del Cosmos de Arag\'on (CEFCA) is carrying out from the Observatorio Astrof\'isico de Javalambre (OAJ, Teruel, Spain) two large area multiband photometric sky surveys, J-PLUS and J-PAS, covering the entire optical spectrum using narrow and broad band filters. J-PAS and J-PLUS include coadded and individual frame images and

Peng Ye, Baopu Li, Tao Chen, Jiayuan Fan

Semantic segmentation is a popular research topic in computer vision, and many efforts have been made on it with impressive results. In this paper, we intend to search an optimal network structure that can run in real-time for this problem. Towards this goal, we jointly search the depth, channel, dilation rate and feature spatial resolution, which results in

Mojdeh S. Najafabadi, Daniel Schumayer, Chee Kong Lee, Dieter Jaksch

A large class of optimisation problems can be mapped to the Ising model where all details are encoded in the coupling of spins. The task of the original mathematical optimisation is then equivalent to finding the ground state of the corresponding spin system which can be achieved via quantum annealing relying on the adiabatic theorem. Some of the inherent di

Ali Krayani, Atm S. Alam, Lucio Marcenaro, Arumugam Nallanathan

This work proposes a novel resource allocation strategy for anti-jamming in Cognitive Radio using Active Inference ($\textit{AIn}$), and a cognitive-UAV is employed as a case study. An Active Generalized Dynamic Bayesian Network (Active-GDBN) is proposed to represent the external environment that jointly encodes the physical signal dynamics and the dynamic i

Simen Kvaal

Moreau-Yosida regularization is introduced into the framework of exact DFT. Moreau-Yosida regularization is a lossless operation on lower semicontinuous proper convex functions over separable Hilbert spaces, and when applied to the universal functional of exact DFT (appropriately restricted to a bounded domain), gives a reformulation of the ubiquitous $v$-re

Vidyesh Rao Anisetti, A. Kandala, B. Scellier, J. M. Schwarz

We introduce frequency propagation, a learning algorithm for nonlinear physical networks. In a resistive electrical circuit with variable resistors, an activation current is applied at a set of input nodes at one frequency, and an error current is applied at a set of output nodes at another frequency. The voltage response of the circuit to these boundary cur

Jose Beltrán Jiménez, Tomi S. Koivisto

In this essay, we immerse into the framework of normed division algebras as a suitable arena to accommodate the standard model of elementary particles, and we explore some applications to cosmology. Remarkably, they permit interesting non-trivial realisations of the cosmological principle with an interplay between the symmetry groups of the quaternions and o

Avik De, Loo Tee How

In Phys. Rev. D 102, 024057 (2020), the authors studied energy conditions in $f(Q)$ theory following the same path as researchers handled the energy conditions in the curvature-based modified gravity theories, like $f(R)$ or $f(R,G)$ theories. However, the field equations in the $f(Q)$ theory was not expressed as an effective theory in the literature earlier

Maurice H. ter Beek, Alessio Ferrari

Empirical studies on formal methods and tools are rare. In this paper, we provide guidelines for such studies. We mention their main ingredients and then define nine different study strategies (laboratory experiments with software and human subjects, usability testing, surveys, qualitative studies, judgment studies, case studies, systematic literature review

Nithin Babu, Igor Donevski, Alvaro Valcarce, Petar Popovski

In this work, we optimize the 3D trajectory of an unmanned aerial vehicle (UAV)-based portable access point (PAP) that provides wireless services to a set of ground nodes (GNs). Moreover, as per the Peukert effect, we consider pragmatic non-linear battery discharge for the battery of the UAV. Thus, we formulate the problem in a novel manner that represents t

Dinusha Vatsalan, Raghav Bhaskar, Mohamed Ali Kaafar

Privacy-preserving estimation of counts of items in streaming data finds applications in several real-world scenarios including word auto-correction and traffic management applications. Recent works of RAPPOR and Apple's count-mean sketch (CMS) algorithm propose privacy preserving mechanisms for count estimation in large volumes of data using probabilistic d

Shidong Zhang, Zhengchun Zhou, Guolong Cui, Xiaohu Tang

Sensor arrays play a significant role in direction of arrival (DOA) estimation. Specifically, arrays with low redundancy and reduced mutual coupling are desirable. In this paper, we investigate a sensor array configuration that has a restricted sensor spacing and propose a closed-form expression. We also propose several classes of low redundancy (LR) arrays.

D. Śnieżek, Jarosław Wróbel, M. Kojdecki, C. Śliwa

Measurements of magnetotransport in SnTe/PbTe heterojunctions grown by the MBE technique on (001) undoped CdTe substrates were performed. At low magnetic fields, quantum corrections to conductivity were observed that may be attributed to the presence of topological states at the junction interface. For a sample with 5 nm thick SnTe layer, the data analysis s

Faisal N. Abu-Khzam, Henning Fernau, Kevin Mann

The concept of Roman domination has recently been studied concerning enumerating and counting (WG 2022). It has been shown that minimal Roman dominating functions can be enumerated with polynomial delay, contrasting what is known about minimal dominating sets. The running time of the algorithm could be estimated as $\mathcal{O}(1.9332^n)$ on general graphs o

Xi Liu, Senmao Tan, Qing-hai Wang, Longwen Zhou

This work provides a convenient and powerful means towards the engineering of Floquet bands via Bloch oscillations, by adding a tilted linear potential to periodically driven lattice systems. The added linear field not only restricts the spreading of a time-evolving wavepacket but also, depending on the ratio between the Bloch oscillation frequency and the m

Olga Borysenko, Oleksandr Borysenko

The existence and uniqueness of a global positive solution is proven for the system of stochastic differential equations describing a nonautonomous stochastic density dependent predator-prey model with Holling-type II functional response disturbed by white noise, centered and non-centered Poisson noises. Sufficient conditions are obtained for stochastic ulti

Mara Belotti, Marta Panizzut

We prove quadratic generation for the ideal of the Cox ring of the blow-up of $\mathbb{P}^3$ at $7$ points, solving a conjecture of Lesieutre and Park. To do this we compute Khovanskii bases, implementing techniques which proved successful in the case of Del Pezzo surfaces. Such bases give us degenerations to toric varieties whose associated polytopes encode

Waqas Ahmed, Tianjun Li, Shabbar Raza

With the grand desert hypothesis, we have proposed to probe the supersymmetric Grand Unified Theories (GUTs) at the future proton-proton (pp) colliders and Hyper-Kamiokande experiment previously. In this paper, we study the supersymmetric GUTs with gravity mediated supersymmetry breaking in details. First, considering the dimension-six proton decay via heavy

Xiaoheng Jiang, Xinyi Wu, Hisham Cholakkal, Rao Muhammad Anwer

Convolutional Neural Network (CNN) based crowd counting methods have achieved promising results in the past few years. However, the scale variation problem is still a huge challenge for accurate count estimation. In this paper, we propose a multi-scale feature aggregation network (MSFANet) that can alleviate this problem to some extent. Specifically, our app

Vladimir Ya. Kezerashvili, Roman Ya. Kezerashvili, Olga L. Starinova

In the framework of a strict mathematical approach based on classical theory of elasticity we present an idea of the deployment and stretching of the circular solar sail attached to the inflatable toroidal shell. It is predicted that by introducing the gas into the inflatable toroidal shell one can deploy and stretch a large size circular solar sail membrane

Richard Evan Schwartz

We study the geometry of some proper 4-colorings of the vertices of sphere triangulations with degree sequence 6,...,6,2,2,2. Such triangulations are the simplest examples which have non-negative combinatorial curvature. The examples we construct, which are roughly extremal in some sense, are based on a novel geometric interpretation of continued fractions.