DeepGD: A Multi-Objective Black-Box Test Selection Approach for Deep
Neural Networks
March 8, 2023
| | |
Computer Science
Software Engineering
Performance
Machine Learning
Deep neural networks (DNNs) are widely used in various application domains
such as image processing, speech recognition, and natural language processing.
However, testing DNN models may be challenging due to the complexity and size
of their...
Electrical control of spin and valley in spin-orbit coupled graphene
multilayers
March 8, 2023
| | |
Physics
Strongly Correlated Electrons
Mesoscale and Nanoscale Physics
Electrical control of magnetism has been a major techonogical pursuit of the
spintronics community, owing to its far-reaching implications for data storage
and transmission. Here, we propose and analyze a new mechanism for electrical
switch...
Stabilized profunctors and stable species of structures
March 8, 2023
| |
Mathematics
Computer Science
Logic
Category Theory
Logic in Computer Science
We introduce a bicategorical model of linear logic which is a novel variation
of the bicategory of groupoids, profunctors, and natural transformations. Our
model is obtained by endowing groupoids with additional structure, called a
kit, to ...
Small amplitude red giants elucidate the nature of the Tip of the Red
Giant Branch as a standard candle
March 8, 2023
| |
Physics
Solar and Stellar Astrophysics
Instrumentation and Methods for Astrophysics
Astrophysics of Galaxies
Cosmology and Nongalactic Astrophysics
The tip of the red giant branch (TRGB) is an important standard candle for
determining luminosity distances. Although several 105 small amplitude red
giant stars (SARGs) have been discovered, variability was previously considered
irrelev...
Quotients of abelian varieties by reflection groups
March 8, 2023
Mathematics
Algebraic Geometry
We prove (by a case-by-case analysis) a conjecture of Bernstein/Schwarzman to
the effect that quotients of abelian varieties by suitable actions of (complex)
reflection groups are weighted projective spaces, and show that this remains
true ...
Minimum contrast for the first-order intensity estimation of spatial and
spatio-temporal point processes
March 8, 2023
|
Statistics
Methodology
In this paper, we harness a result in point process theory, specifically the
expectation of the weighted K-function, where the weighting is done by the
true first-order intensity function. This theoretical result can be employed as
an est...
Connecting finite-time Lyapunov exponents with supersaturation and
droplet dynamics in the bulk of a turbulent cloud
March 8, 2023
|
Physics
Fluid Dynamics
Atmospheric and Oceanic Physics
The impact of turbulent mixing on the droplet size distribution is studied
deep inside a warm ice-free cloud. A simplified cloud mixing model was
implemented therefore which summarizes the balance equations of water vapor
mixing ratio and t...
Magnushammer: A Transformer-Based Approach to Premise Selection
March 8, 2023
| | | | | | | | |
Computer Science
Machine Learning
Artificial Intelligence
Logic in Computer Science
This paper presents a novel approach to premise selection, a crucial
reasoning task in automated theorem proving. Traditionally, symbolic methods
that rely on extensive domain knowledge and engineering effort are applied to
this task. In co...
The uniform asymptotics for real double Hurwitz numbers with triple
ramification
March 7, 2023
| | | | | | |
Mathematics
Algebraic Geometry
Combinatorics
Algebraic Geometry
Combinatorics
We consider the problem of counting real ramified coverings of the complex
projective line CP1 by real Riemann surfaces of genus g,
where the ramification profiles over 0 and ∞ are λ and μ
respect...
Stability of complement value problems for p-L\'evy operators
March 7, 2023
|
Mathematics
Analysis of PDEs
Analysis of PDEs
We set up a general framework tailor-made to solve complement value problems
governed by symmetric nonlinear integrodifferential p-L\'evy operators. A
prototypical example of integrodifferential p-L\'evy operators is the
well-known frac...