January 2022 arXiv papers — page 131

Márk Poór, Saharon Shelah

The paper settles the problem of the consistency of the existence of a single universal graph between a strong limit singular and its power. Assuming that in a model of $\mathbf{GCH}$ $κ$ is supercompact and the cardinals $θ< κ$, $λ> κ$ are regular, as an application of a more general method we obtain a forcing extension in which $\textrm{cf}(κ) = θ$, the Si

Davide Ginelli, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani

Automated Program Repair (APR) techniques typically exploit spectrum-based fault localization (SBFL) to identify the program locations that should be patched, making the effectiveness of APR techniques dependent on the effectiveness of fault localization. Indeed, results show that SBFL often does not localize faults accurately, hindering the effectiveness of

Letizia Ferbel, Stefano Veronesi, Stefan Heun

We present a study of the rubidium adsorption on the Si(111)-(7x7) surface and the related Rb-induced reconstructions as a function of deposition temperature and Rb-coverage via scanning tunneling microscopy (STM) and low-energy electron diffraction (LEED). Sample analysis via LEED allowed to observe for the first time a Rb/Si(111)-(6x1) reconstruction. The

Kayla A. Owens, Wendy L. Freedman, Barry F. Madore, Abigail J. Lee

Using parallaxes from Gaia Early Data Release 3 (EDR3), we determine multi-wavelength BVI, JHK, and [3.6] & [4.5] micron absolute magnitudes for 37 nearby Milky Way Cepheids, covering the period range between 5 and 60 days. We apply these period-luminosity relations to Cepheids in the Large and Small Magellanic Clouds, and find that the derived distances are

G. Barbero, L. R. Evangelista, E. K. Lenzi

We establish, in general terms, the conditions to be satisfied by a time-fractional approach formulation of the Poisson-Nernst-Planck model in order to guarantee that the total current across the sample be solenoidal, as required by the Maxwell equation. Only in this case the electric impedance of a cell can be determined as the ratio between the applied dif

Thibault Séjourné, François-Xavier Vialard, Gabriel Peyré

Unbalanced optimal transport (UOT) extends optimal transport (OT) to take into account mass variations to compare distributions. This is crucial to make OT successful in ML applications, making it robust to data normalization and outliers. The baseline algorithm is Sinkhorn, but its convergence speed might be significantly slower for UOT than for OT. In this

É. Dumur, K. J. Satzinger, G. A. Peairs, M. -H. Chou

Surface acoustic waves are commonly used in classical electronics applications, and their use in quantum systems is beginning to be explored, as evidenced by recent experiments using acoustic Fabry-Pérot resonators. Here we explore their use for quantum communication, where we demonstrate a single-phonon surface acoustic wave transmission line, which links t

Malin Sandström, Mathew Abrams, Jan Bjaalie, Mona Hicks

Digital services such as repositories and science gateways have become key resources for the neuroscience community, but users often have a hard time orienting themselves in the service landscape to find the best fit for their particular needs. INCF (International Neuroinformatics Coordinating Facility) has developed a set of recommendations and associated c

Mohammad A. Moghaddam, Ty P. A. Ferre, Xingyuan Chen, Kewei Chen

We examine the ability of machine learning (ML) and deep learning (DL) algorithms to infer surface/ground exchange flux based on subsurface temperature observations. The observations and fluxes are produced from a high-resolution numerical model representing conditions in the Columbia River near the Department of Energy Hanford site located in southeastern W

Bárbara Tavares, Cláudia Soares, Manuel Marques

Bike Sharing Systems (BSSs) are emerging as an innovative transportation service. Ensuring the proper functioning of a BSS is crucial given that these systems are committed to eradicating many of the current global concerns, by promoting environmental and economic sustainability and contributing to improving the life quality of the population. Good knowledge

Sankaran Nampoothiri, Enzo Orlandini, Flavio Seno, Fulvio Baldovin

We demonstrate that size fluctuations close to polymers critical point originate the non-Gaussian diffusion of their center of mass. Static universal exponents $γ$ and $ν$ -- depending on the polymer topology, on the dimension of the embedding space, and on equilibrium phase -- concur to determine the potential divergency of a dynamic response, epitomized by

Sara Malvar, Julio Romano Meneghini

At the end of 2019, the latest novel coronavirus Sars-CoV-2 emerged as a significant acute respiratory disease that has become a global pandemic. Countries like Brazil have had difficulty in dealing with the virus due to the high socioeconomic difference of states and municipalities. Therefore, this study presents a new approach using different machine learn

Yuyuan Yu, Guoxu Zhou, Haonan Huang, Shengli Xie

Distinguishing the importance of views has proven to be quite helpful for semi-supervised multi-view learning models. However, existing strategies cannot take advantage of semi-supervised information, only distinguishing the importance of views from a data feature perspective, which is often influenced by low-quality views then leading to poor performance. I

Nikhil Potu Surya Prakash

In this article, a brief description of Discrete Mechanics and Variational Integrators which preserve the symplectic structure of the flow will be provided and a Newton-Raphson algorithm that can be used to solve implicit equations on the SO(3) manifold will be developed. These techniques will be used to simulate the rotational dynamics of a rigid body evolv

J. Saqri, A. M. Veronig, A. Warmuth, E. C. M. Dickson

During its commissioning phase in 2020, the Spectrometer/Telescope for Imaging X-rays (STIX) on board the Solar Orbiter spacecraft observed 69 microflares. The two most significant events from this set (of GOES class B2 and B6) were observed on-disk from the spacecraft as well as from Earth and analysed in terms of the spatial, temporal, and spectral charact

Matthew C. B. Zaremsky

This note serves as a short and reader-friendly introduction to twisted Brin-Thompson groups, which were recently constructed by Belk and the author to provide a family of simple groups with a variety of interesting properties. Most notably, twisted Brin-Thompson groups can be used to show that every finitely generated group quasi-isometrically embeds as a s

Rüdiger Jehn

For numbers $x$ coprime to $10$ there exist infinitely many binary numbers $b$ such that the greatest common divisor of $b$ and rev($b$) = $x$ and the sum of digits of $b = x$ (rev($b$) is the digit reversal of $b$). In most cases, the smallest $b$ that fulfill these two constraints contain just a few zeros. But in some cases like for $x = 7, 11, 13$ and $37

Yajun Zhang, Jingtong Zhang, Xu He, Jie Wang

The fundamental properties of infinite-layer rare-earth nickelates (RNiO2) are carefully revisited and compared with those of CaCuO2 and RNiO3 perovskites. Combining first-principles and finite-temperature second-principles calculations, we highlight that bulk NdNiO2 compound are far from equivalent to CaCuO2, together at the structural, electronic, and magn

Krzysztof Bisewski

We derive a new theoretical lower bound for the expected supremum of drifted fractional Brownian motion with Hurst index $H\in(0,1)$ over (in)finite time horizon. Extensive simulation experiments indicate that our lower bound outperforms the Monte Carlo estimates based on very dense grids for $H\in(0,\tfrac{1}{2})$. Additionally, we derive the Paley-Wiener-Z

Shiyuan Sun, Fang Yang, Jian Song, Zhu Han

This letter investigates physical layer security in intelligent reflecting surface (IRS)-aided visible light communication (VLC). Under the point source assumption, we first elaborate the system model in the scenario with multiple legitimate users and one eavesdropper, where the secrecy rate maximization problem is transformed into an assignment problem by o

C. M. Raduta, A. A. Raduta, R. Poenaru, Al. H. Raduta

A particle-triaxial rigid core Hamiltonian is semi-classically treated. The coupling term corresponds to a particle rigidly coupled to the triaxial core, along a direction that does not belong to any principal plane of the inertia ellipsoid.The equations of motion for the angular momentum components provide a sixth-order algebraic equation for one component

Adam Šmelko, Soňa Molnárová, Miroslav Kratochvíl, Abhishek Koladiya

Dimensionality reduction methods have found vast application as visualization tools in diverse areas of science. Although many different methods exist, their performance is often insufficient for providing quick insight into many contemporary datasets, and the unsupervised mode of use prevents the users from utilizing the methods for dataset exploration and

Giuseppe Antonacci, Kareem Elsayad, Dario Polli

Noncontact Brillouin spectroscopy is a purely optical and label-free method to retrieve fundamental material viscoelastic properties. Recently, the extension to a three-dimensional imaging modality has paved the way to novel exciting opportunities in the biomedical field, yet the detection of the Brillouin spectrum remains challenging as a consequence of the

Haibin Sun, Fengning Liu, Leining Zhang, Ben McLean

Graphene nanoribbons (GNRs) are considered one of the most promising materials for next generation electronics, however a reliable and controllable synthesis method is still lacking. Here, we report the CVD growth of GNRs on a copper surface and the corresponding mechanisms of growth. One-dimensional GNR growth is enabled by a vapor-liquid-solid (VLS) graphe

Kwang Sik Jeong, Kohei Matsukawa, Shota Nakagawa, Fuminobu Takahashi

We study cosmological effects of explicit Peccei-Quinn breaking on the QCD axion dark matter. We find that the axion abundance decreases or increases significantly depending on the initial position, even for a tiny Peccei-Quinn breaking that satisfies the experimental bound of the neutron electric dipole measurements. If the axion first starts to oscillate a

Anders Rønn-Nielsen, Mads Stehr

We consider an infinitely divisible random field indexed by $\mathbb{R}^d$, $d\in\mathbb{N}$, given as an integral of a kernel function with respect to a Lévy basis with a Lévy measure having a regularly varying right tail. First we show that the tail of its supremum over any bounded set is asymptotically equivalent to the right tail of the Lévy measure time

Somreeta Pramanik, Adlen Ksentini, Carla Fabiana Chiasserini

The virtualization of radio access networks (RANs) is emerging as a key component of future wireless systems, as it brings agility to the RAN architecture and offers degrees of design freedom. In this paper, we investigate and characterize the computational and memory requirements of virtual RANs. To this end, we build a virtual RAN test-bed leveraging the s

Matteo Boffa, Zied Ben Houidi, Jonatan Krolikowski, Dario Rossi

Recent years have witnessed the promise that reinforcement learning, coupled with Graph Neural Network (GNN) architectures, could learn to solve hard combinatorial optimization problems: given raw input data and an evaluator to guide the process, the idea is to automatically learn a policy able to return feasible and high-quality outputs. Recent work have sh

Aofei Sang, Jie Jiang

Recently, it is found that the strong cosmic censorship (SCC) is violated in RNdS black hole by a minimal coupled neutral massless scalar field at the linear perturbation level. For the Einstein-Maxwell-Scalar-Gauss-Bonnet theory which is famous for the spontaneous scalarization phenomenon, there exists the scalar field coupled with the Gauss-Bonnet term. Wh

Kasturi Das, Srinivasan Krishnaswamy, Somanath Majhi

For a time-limited version of the H$_2$ norm defined over a fixed time interval, we obtain a closed form expression of the gradients. After that, we use the gradients to propose a time-limited model order reduction method. The method involves obtaining a reduced model which minimizes the time-limited H$_2$ norm, formulated as a nonlinear optimization problem

Mitali Mondal, Tanay Dey, Subhasis Chattopadhyay, Jogender Saini

The Muon Chamber (MuCh) is a sub-system of the Compressed Baryonic Matter (CBM) experiment for the detection of low-mass-vector mesons produced in high energy heavy-ion collisions at beam energies ranging from 2 AGeV to 11 AGeV and decaying in the di-muon channel. MuCh consists of a segmented absorber and four detector triplet stations sandwiched between the

K. Barr, T. Cookson, K. G. Lagoudakis

We demonstrate successful operation of a continuous flow liquid helium magnetic cryostat (Oxford Instruments, Microstat MO) in closed cycle operation using a modular cryocooling system (ColdEdge Technologies, Stinger). For the system operation, we have developed a custom gas handling manifold and we show that despite the lower cooling power of the cryocooler

Helmut Prodinger

Skew Dyck paths are a variation of Dyck paths, where additionally to steps $(1,1)$ and $(1,-1)$ a south-west step $(-1,-1)$ is also allowed, provided that the path does not intersect itself. Replacing the south-west step by a red south-east step, we end up with decorated Dyck paths. Sequence A128723 of the Encyclopedia of Integer Sequences considers such pat

J. Varela, D. A. Spong, L. Garcia, S. Ohdachi

The aim of the present study is to analyze the saturation regime of the energetic-ion-driven resistive interchange mode (EIC) in the LHD plasma. A set of non linear simulations are performed by the FAR3d code that uses a reduced MHD model for the thermal plasma coupled with a gyrofluid model for the energetic particles (EP) species. The hellically trapped EP

Xingyu Li, Min Cen, Jinfeng Xu, Hong Zhang

Due to lack of annotated pathological images, transfer learning has been the predominant approach in the field of digital pathology.Pre-trained neural networks based on ImageNet database are often used to extract &#34;off the shelf&#34; features, achieving great success in predicting tissue types, molecular features, and clinical outcomes, etc. We hypothesiz

T. Csengeri, F. Wyrowski, K. M. Menten, H. Wiesemeyer

Only recently, OD, the deuterated isotopolog of hydroxyl, OH, has become accessible in the interstellar medium; spectral lines from both species have been observed in the supra-Terahertz and far infrared regime. Here we study rotational lines of OD and OH towards 13 Galactic high-mass star forming regions, with the aim to constrain the OD abundance and infer

Suchandan Ghosh, Dharmendra Kumar, Harsh Prasad, Vivek Tewary

We prove existence of variational solutions for a class of doubly nonlinear nonlocal evolution equations whose prototype is the double phase equation \begin{align*} \partial_t u^m &+ \text{P.V.}\int_{\mathbb{R}^N} \frac{|u(x,t)-u(y,t)|^{p-2}(u(x,t)-u(y,t))}{|x-y|^{N+ps}}\\&+a(x,y)\frac{|u(x,t)-u(y,t)|^{q-2}(u(x,t)-u(y,t))}{|x-y|^{N+qr}} \,dy = 0,\,m>0,\,p>1,

Felipe A. Quezada, Cristóbal A. Navarro, Nancy Hitschfeld, Benjamin Bustos

This work presents Squeeze, an efficient compact fractal processing scheme for tensor core GPUs. By combining discrete-space transformations between compact and expanded forms, one can do data-parallel computation on a fractal with neighborhood access without needing to expand the fractal in memory. The space transformations are formulated as two GPU tensor-

V. P. Kosheleva, A. V. Volotka, D. A. Glazov, D. V. Zinenko

The bound-electron g factor is a stringent tool for tests of the Standard Model and the search for new physics. The comparison between an experiment on the g factor of lithiumlike silicon and the two recent theoretical values revealed the discrepancies of $1.7σ$ [D. A. Glazov $\textit{et al}$., Phys. Rev. Lett. $\textbf{123}$, 173001 (2019)] and $5.2σ$ [V. A

Abhishek Kumar, Francesca Telesio, Deborah Prezzi, Claudia Cardoso

We study surface charge transfer doping of exfoliated black phosphorus (bP) flakes by copper using scanning tunneling microscopy (STM) and spectroscopy (STS) at room temperature. The tunneling spectra reveal a gap in correspondence of Cu islands, which is attributed to Coulomb blockade phenomena. Moreover, using line spectroscopic measurements across small c

Jie Hu, Wei-Tao Lv, Hao-tian Zhu, Zheng Lou

Platelets corrugated horn is a promising technology for their scalability to a large corrugated horn array. In this paper, we present the design, fabrication, measurement and uncertainty analysis of a wideband 170-320 GHz platelet corrugated horn that features with low sidelobe across the band (<-30 dB). We also propose an accurate and universal method to an

Sajan Kumar, M. K. Gupta, Prabhatasree Goel, R. Mittal

Cu2Se and Cu2S are excellent model systems of superionic conductors with large diffusion coefficients that have been reported to exhibit different solid-liquid-like Cu-ion diffusion. In this paper, we clarify the atomic dynamics of these compounds with temperature-dependent ab-initio molecular dynamics (AIMD) simulations and inelastic neutron scattering (INS

Peter Beelen, Maria Montanucci, Lara Vicino

Let $\mathcal{X}$ be a projective, irreducible, nonsingular algebraic curve over the finite field $\mathbb{F}_q$ with $q$ elements and let $|\mathcal{X}(\mathbb{F}_q)|$ and $g(\mathcal X)$ be its number of rational points and genus respectively. The Ihara constant $A(q)$ has been intensively studied during the last decades, and it is defined as the limit sup

Neda Darvishi, M. R. Masouminia, Apostolos Pilaftsis

Maximally Symmetric $n$-Higgs Doublet Models (MS-$n$HDMs)define very economic settings that enable sharp Higgs-sector predictions beyond the Standard Model (SM) potentially testable at high-energy colliders. The scalar potential of a MS-$n$HDM obeys an $\mathrm{Sp(2}n)$ symmetry, which is softly broken by bilinear scalar masses and explicitly by hypercharge

Yang Liu

We investigate the effect of quantum correction on Hawking radiation for Schwarzschild black holes. We consider Hawking temperature and entropy to order G^2 and find that the area law of black holes should be modified. We think of Hawking radiation as tunneling and find that at certain frequency ω the radiation spectrum of black holes can be pure blackbody s

Manan Jhaveri, Devanshu Ramaiya, Harveen Singh Chadha

Toxic content is one of the most critical issues for social media platforms today. India alone had 518 million social media users in 2020. In order to provide a good experience to content creators and their audience, it is crucial to flag toxic comments and the users who post that. But the big challenge is identifying toxicity in low resource Indic languages

Rana Misato, Yoshiki Toba, Naomi Ota, Naoaki Yamamoto

We present herein a systematic X-ray analysis of blue galaxy-clusters at $z=0.84$ discovered by the Subaru telescope. The sample consisted of 43 clusters identified by combining red-sequence and blue-cloud surveys, covering a wide range of emitter fractions (i.e., 0.3--0.8). The spatial extent of the over-density region of emitter galaxies was approximately

Aurélien Brun, Davide Antonio Cucci, Jan Skaloud

With the objective of improving the registration of LiDAR point clouds produced by kinematic scanning systems, we propose a novel trajectory adjustment procedure that leverages on the automated extraction of selected reliable 3D point--to--point correspondences between overlapping point clouds and their joint integration (adjustment) together with all raw in

Haruhisa Enomoto

In this paper, we compute the posets of wide subcategories and ICE-closed subcategories from the lattice of torsion classes in an abelian length category in a purely lattice-theoretical way, by using the kappa map in a completely semidistributive lattice. As for the poset of wide subcategories, we give two more simple constructions via a bijection between wi

Ilja Behnke, Philipp Wiesner, Robert Danicki, Lauritz Thamsen

Low-level embedded systems are used to control cyber-phyiscal systems in industrial and autonomous applications. They need to meet hard real-time requirements as unanticipated controller delays on moving machines can have devastating effects. Modern developments such as the industrial Internet of Things and autonomous machines require these devices to connec

Vaclav Skala

A new line clipping algorithm against convex polyhedron in E3 with an expected complexity O(1) is presented. The suggested approach is based on two orthogonal projections to E2 co-ordinate system and on pre-processing of the given polyhedron. The pre-processing enables to speed up solution significantly. The proposed method is convenient for those applicatio

E. -A. Kolonia, C. J. A. P. Martins

We present a phenomenological analysis of current observational constraints on classes of FLRW cosmological models in which the matter side of Einstein&#39;s equations includes, in addition to the canonical term, a term proportional to some function of the energy-momentum tensor ($T^2=T_{αβ}T^{αβ}=ρ^2+3p^2$), or of its trace ($T=ρ-3p$). Qualitatively, one ma

Vaclav Skala, Duc Huy Bui

Many algorithms for clipping a line by a rectangular area or a convex polygon in E2 or by a non-convex or convex polyhedron in E3 have been published. The line segment clipping by the rectangular window in E2 is often restricted to the use of the Cohen-Sutherland (CS) algorithm or its modifications based on some presumptions like small clipping window or mor

Vaclav Skala, Duc Huy Bui

A new algorithm for clipping a line segment against a pyramid in E3 is presented. This algorithm avoids computation of intersection points which are not end-points of the output line segment. It also allows solving all cases more effectively. The performance of this algorithm is shown to be consistently better than existing algorithms, including the Cohen-Su

Rajat K. Dey, Animesh Basak, Sabyasachi Ray

Evidence for high-energy astrophysical PeV neutrinos has been found in the IceCube experiment from an analysis with a 7.5 year (2010 - 2017) data. Active galactic nuclei (AGN) are among the most prominent objects in the universe, and are widely speculated to be emitters of ultra-high-energy (UHE) cosmic rays with proton domination. Based on the standard two-

Amir Mojtahedi, Farid Sorouri, Alireza Najafi Souha, Aidin Molazadeh

Preventing and detecting intrusions and attacks on wireless networks has become an important and serious challenge. On the other hand, due to the limited resources of wireless nodes, the use of monitoring nodes for permanent monitoring in wireless sensor networks in order to prevent and detect intrusion and attacks in this type of network is practically non-

Wolfgang Rampeltshammer, Arvid Keemink, Menno Sytsma, Edwin van Asseldonk

Series elastic actuators (SEA) with their inherent compliance offer a safe torque source for robots that are interacting with various environments, including humans. These applications have high requirements for the SEA torque controllers, both in the torque response as well as interaction behavior with its the environment. To differentiate state of the art

Venkat Abhignan, R. Sankaranarayanan

The Casimir interaction energy for a class of discrete self-similar configuration of parallel plates is evaluated using existing methods. The similarities to characteristics of an attractive Casimir force is deduced only at infinite range of configuration. Further, the emergence of Casimir-like energy is qualitatively described for a Gaussian model of Landau

Matthias Niggli

Patent data provides rich information about technical inventions, but does not disclose the ethnic origin of inventors. In this paper, I use supervised learning techniques to infer this information. To do so, I construct a dataset of 95&#39;202 labeled names and train an artificial recurrent neural network with long-short-term memory (LSTM) to predict ethnic

K. S. Tanaka, K. Harada, T. Hayamizu, R. Kita

In Japan, research activities by junior and senior high school students show an upward trend. However, there are limited examples of research activities in the field of elementary particles and atoms. This is due to the difficulty associated with procuring research tools such as accelerators or particle detectors. Therefore, we hosted the &#34;Accel Kitchen&

J. Prados, A. Laghrissi, M. Bagaa, T. Taleb

Network Slicing (NS) is expected to be a key functionality of the upcoming 5G systems. Coupled with Software Defined Networking (SDN) and Network Function Virtualization (NFV),NS will enable a flexible deployment of Network Functions belonging to multiple Service Function Chains (SFC) over a shared infrastructure. To address the complexities that arise from

Davide Bolognini, Antonio Macchia, Francesco Strazzanti, Volkmar Welker

We explore the dependence of the Betti numbers of monomial ideals on the characteristic of the field. A first observation is that for a fixed prime $p$ either the $i$-th Betti number of all high enough powers of a monomial ideal differs in characteristic $0$ and in characteristic $p$ or it is the same for all high enough powers. In our main results we provid

Y. Dang, C. Benzaid, B. Yang, T. Taleb

Cellular-based Unmanned Aerial Vehicle (UAV) systems are a promising paradigm to provide reliable and fast Beyond Visual Line of Sight (BVLoS) communication services for UAV operations. However, such systems are facing a serious GPS spoofing threat for UAV&#39;s position. To enable safe and secure UAV navigation BVLoS, this paper proposes a cellular network

R. P. V. Rautio, A. E. Watkins, S. Comerón, H. Salo

We investigate the origin of the extraplanar diffuse ionized gas (eDIG) and its predominant ionization mechanisms in five nearby (17-46 Mpc) low-mass ($10^9\text{-}10^{10}$ $M_{\odot}$) edge-on disk galaxies: ESO 157-49, ESO 469-15, ESO 544-27, IC 217, and IC 1553. We acquired Multi Unit Spectroscopic Explorer (MUSE) integral field spectroscopy and deep narr

Tuomas Orponen

The purpose of this paper is to complete the proof of the following result. Let $0 < β\leq α< 1$ and $κ> 0$. Then, there exists $η> 0$ such that whenever $A,B \subset \mathbb{R}$ are Borel sets with $\dim_{\mathrm{H}} A = α$ and $\dim_{\mathrm{H}} B = β$, then $$\dim_{\mathrm{H}} \{c \in \mathbb{R} : \dim_{\mathrm{H}} (A + cB) \leq α+ η\} \leq \tfrac{α- β}{1

Dosti Kh. Abbas, Tarik A. Rashid, Karmand H. Abdallaand Nebojsa Bacanin, Abeer Alsadoon

This study presents a novel training algorithm depending upon the recently proposed Fitness Dependent Optimizer (FDO). The stability of this algorithm has been verified and performance-proofed in both the exploration and exploitation stages using some standard measurements. This influenced our target to gauge the performance of the algorithm in training mult

Benjamin Hilprecht, Carsten Binnig

In this paper, we introduce zero-shot cost models which enable learned cost estimation that generalizes to unseen databases. In contrast to state-of-the-art workload-driven approaches which require to execute a large set of training queries on every new database, zero-shot cost models thus allow to instantiate a learned cost model out-of-the-box without expe

Made Nindyatama Nityasya, Haryo Akbarianto Wibowo, Rendi Chevi, Radityo Eko Prasojo

We perform knowledge distillation (KD) benchmark from task-specific BERT-base teacher models to various student models: BiLSTM, CNN, BERT-Tiny, BERT-Mini, and BERT-Small. Our experiment involves 12 datasets grouped in two tasks: text classification and sequence labeling in the Indonesian language. We also compare various aspects of distillations including th

N. A. Vanyushkin, A. H. Gevorgyan, S. S. Golik

We propose a new method for calculating reflection and transmission coefficients for an arbitrarily polarized electromagnetic plane wave incident on a one-dimensional dielectric medium of finite thickness and with dielectric permittivity being an arbitrary continuous function of the coordinate. We have shown that the problem of plane wave scattering by an in

H. Yu, T. Taleb, J. Zhang

Along with the increasing demand for latencysensitive services and applications, Deterministic Network (DetNet) concept has been recently proposed to investigate deterministic latency assurance for services featured with bounded latency requirements in 5G edge networks. The Network Function Virtualization (NFV) technology enables Internet Service Providers (

H. Hellaoui, A. Chelli, M. Bagaa, T. Taleb

HTTP Adaptive Streaming (HAS) is becoming the de-facto video delivery technology over best-effort networks nowadays, thanks to the myriad advantages it brings. However, many studies have shown that HAS suffers from many Quality of Experience (QoE)-related issues in the presence of competing players. This is mainly caused by the selfishness of the players res

Zhuo Gao, Guan-Ying Wang, Qi-Fang Lü, Jingya Zhu

The $D_{s0}(2590)^{+}$ resonance observed by LHCb Collaboration is a strong candidate of the $D_{s}(2^1S_0)$ state according to its spin parity and strong decay mode. However, the measured mass seems relatively lower than the previous theoretical predictions, which interests the coupled channel interpretations in the literature. In this work, we adopt an alt

Dong Bai

Bootstrap is a novel and ambitious paradigm for quantum physics. It aims to solve the target problems by exploiting theoretical constraints from general physical principles and self-consistency conditions. The bootstrap philosophy dates back to the 1960s. Its real power has been recognized only recently in, e.g., conformal field theories and relativistic sca

Yunhui Zeng, Zijun Liao, Yuanzhi Dai, Rong Wang

The dynamic job-shop scheduling problem (DJSP) is a class of scheduling tasks that specifically consider the inherent uncertainties such as changing order requirements and possible machine breakdown in realistic smart manufacturing settings. Since traditional methods cannot dynamically generate effective scheduling strategies in face of the disturbance of en

Archana Kumari, Stefan Schiffner, Sandra Schmitz

An ever shorter technology lifecycle engendered the need for assessing new technologies w.r.t. their market readiness. Knowing the Technology readiness level (TRL) of a given target technology proved to be useful to mitigate risks such as cost overrun, product roll out delays, or early launch failures. Originally developed for space programmes by NASA, TRL b

Zoltán Kovács, Róbert Vajda

We introduced the package/subsystem GeoGebra Discovery to GeoGebra which supports the automated proving or discovering of elementary geometry inequalities. In this case study, for inequality exploration problems related to isosceles and right angle triangle subclasses, we demonstrate how our general real quantifier elimination (RQE) approach could be replace

Christopher W. Brown, Zoltán Kovács, Róbert Vajda

We introduce a system of software tools that can automatically prove or discover geometric inequalities. The system, called GeoGebra Discovery, consisting of an extended version of GeoGebra, a controller web service realgeom, and the computational tool Tarski (with the extensive help of the QEPCAD B system) successfully solves several non-trivial problems in

Philip Todd

The Naive Angle Method, used by Geometry Expressions for solving problems which involve only angle constraints, represents a geometrical configuration as a sparse linear system. Linear systems with the same underlying matrix structure underpin a number of different geometrical theorems. We use a graph theoretical approach to define a generalization of the ma

Richard Schmoetten, Jake Palmer, Jacques Fleuriot

This contribution reports on the continued formalisation of an axiomatic system for Minkowski spacetime (as used in the study of Special Relativity) which is closer in spirit to Hilbert&#39;s axiomatic approach to Euclidean geometry than to the vector space approach employed by Minkowski. We present a brief overview of the axioms as well as of a formalisatio

Nicolas Magaud

We study how to formalize in the Coq proof assistant the smallest projective space PG(3,2). We then describe formally the spreads and packings of PG(3,2), as well as some of their properties. The formalization is rather straightforward, however as the number of objects at stake increases rapidly, we need to exploit some symmetry arguments as well as smart pr

Predrag Janičić, Julien Narboux

We report on a new, simple, modular, and flexible approach for automated generation of illustrations for (readable) synthetic geometry proofs. The underlying proofs are generated using the Larus automated prover for coherent logic, and corresponding illustrations are generated in the GCLC language. Animated illustrations are also supported.

Pascal Schreck, Nicolas Magaud, David Braun

Several tools have been developed to enhance automation of theorem proving in the 2D plane. However, in 3D, only a few approaches have been studied, and to our knowledge, nothing has been done in higher dimensions. In this paper, we present a few examples of incidence geometry theorems in dimensions 3, 4, and 5. We then prove them with the help of a combinat

Jack Heimrath

The area method is a decision procedure for geometry developed by Chou et al. in the 1990&#39;s. The method aims to reduce the specified hypothesis to an algebraically verifiable form by applying elimination lemmas. The order in which the lemmas are applied is determined by the stated conjecture and the underlying geometric construction. In this paper we pre

Tetsuo Ida, Hidekazu Takahashi

This paper shows a cut along a crease on an origami sheet makes simple modeling of popular traditional basic folds such as a squash fold in computational origami. The cut operation can be applied to other classical folds and significantly simplify their modeling and subsequent implementation in the context of computational origami.

Zhenbing Zeng, Jian Lu, Yaochen Xu, Yuzheng Wang

In this paper, we prove a geometrical inequality which states that for any four points on a hemisphere with the unit radius, the largest sum of distances between the points is 4+4*sqrt(2). In our method, we have constructed a rectangular neighborhood of the local maximum point in the feasible set, which size is explicitly determined, and proved that (1): the

Vesna Marinković, Tijana Šukilović, Filip Marić

We describe first steps towards a system for automated triangle constructions in absolute and hyperbolic geometry. We discuss key differences between constructions in Euclidean, absolute and hyperbolic geometry, compile a list of primitive constructions and lemmas used for constructions in absolute and hyperbolic geometry, build an automated system for solvi

Christoph Koutschan

A minimally rigid graph, also called Laman graph, models a planar framework which is rigid for a general choice of distances between its vertices. In other words, there are finitely many ways, up to isometries, to realize such a graph in the plane. Using ideas from algebraic and tropical geometry, we derive a recursive formula for the number of such realizat

S. Korotin, A. Kučinskas

Earlier studies have suggested that deviations from the local thermodynamic equilibrium (LTE) play a minor role in the formation of Be II 313 nm resonance lines in solar and stellar atmospheres. Recent improvements in the atomic data allow a more complete model atom of Be to be constructed and the validity of these claims to be reassessed using more up-to-da

Arvind Kumar Shekar, Laureen Lake, Liang Gou, Liu Ren

The advent of Convolutional Neural Networks (CNNs) has led to their application in several domains. One noteworthy application is the perception system for autonomous driving that relies on the predictions from CNNs. Practitioners evaluate the generalization ability of such CNNs by calculating various metrics on an independent test dataset. A test dataset is

Sourav Bhadra, Siddhartha Gupta, Biman B. Nath, Prateek Sharma

We study the effect of cosmic ray (CR) acceleration in the massive compact star cluster Westerlund 1 in light of its recent detection in $γ$-rays. Recent observations reveal a $1/r$ radial distribution of the CR energy density. Here we theoretically investigate whether or not this profile can help to distinguish between (1) continuous CR acceleration in the

Soumendu Chakraborty, Satish Kumar Singh, Pavan Chakraborty

Feature description is one of the most frequently studied areas in the expert systems and machine learning. Effective encoding of the images is an essential requirement for accurate matching. These encoding schemes play a significant role in recognition and retrieval systems. Facial recognition systems should be effective enough to accurately recognize indiv

Nathalie Revol

Affine iterations of the form x(n+1) = Ax(n) + b converge, using real arithmetic, if the spectral radius of the matrix A is less than 1. However, substituting interval arithmetic to real arithmetic may lead to divergence of these iterations, in particular if the spectral radius of the absolute value of A is greater than 1. We will review different approaches

Feng Yuan, Haiyang Wang, Hai Yang

The supermassive black holes in most galaxies in the universe are powered by hot accretion flows. Both theoretical analysis and numerical simulations have indicated that, depending on the degree of magnetization, black hole hot accretion flow is divided into two modes, namely SANE (standard and normal evolution) and MAD (magnetically arrested disk). It has b

Soumendu Chakraborty, Satish Kumar Singh, Pavan Chakraborty

Facial features are defined as the local relationships that exist amongst the pixels of a facial image. Hand-crafted descriptors identify the relationships of the pixels in the local neighbourhood defined by the kernel. Kernel is a two dimensional matrix which is moved across the facial image. Distinctive information captured by the kernel with limited numbe

Susobhan Mandal

Derrick&#39;s theorem is an important result that decides the existence of soliton configurations in field theories in different dimensions. It is proved using the extremization of finite energy of configurations under the scaling transformation. According to this theorem, the $2+1$ dimension is the critical dimension for the existence of solitons in scalar

Soumendu Chakraborty, Satish Kumar Singh, Pavan Chakraborty

Local descriptors used in face recognition are robust in a sense that these descriptors perform well in varying pose, illumination and lighting conditions. Accuracy of these descriptors depends on the precision of mapping the relationship that exists in the local neighborhood of a facial image into microstructures. In this paper a local gradient hexa pattern

Yassine Laguel, Krishna Pillutla, Jérôme Malick, Zaid Harchaoui

R. Tyrell Rockafellar and collaborators introduced, in a series of works, new regression modeling methods based on the notion of superquantile (or conditional value-at-risk). These methods have been influential in economics, finance, management science, and operations research in general. Recently, they have been the subject of a renewed interest in machine

J. Kumar, S. Singh, S. Arora, J. Dabas

In this article, we are discussing a more vital concept of controllability, termed total controllability. We have considered a nonlocal semilinear functional evolution equations with non-instantaneous impulses and finite delay in Hilbert spaces. A set of sufficient conditions of total controllability is obtained for the evolution system under consideration,

Yassine Laguel, Jérôme Malick, Zaid Harchaoui

We consider a formulation of supervised learning that endows models with robustness to distributional shifts from training to testing. The formulation hinges upon the superquantile risk measure, also known as the conditional value-at-risk, which has shown promise in recent applications of machine learning and signal processing. We show that, thanks to a dire

Soumendu Chakraborty, Satish Kumar Singh, Pavan Chakraborty

In this paper R-Theta Local Neighborhood Pattern (RTLNP) is proposed for facial image retrieval. RTLNP exploits relationships amongst the pixels in local neighborhood of the reference pixel at different angular and radial widths. The proposed encoding scheme divides the local neighborhood into sectors of equal angular width. These sectors are again divided i