Double covers of smooth quadric threefolds with Artin-Mumford
obstructions to rationality
April 19, 2023
Mathematics
Algebraic Geometry
We study obstructions to rationality on a nodal Fano threefold M that is a
double cover of a smooth quadric threefold ramified over an intersection with a
quartic threefold in P4. We prove that if M admits an
Artin--Mumford ...
Approximate non-linear model predictive control with safety-augmented
neural networks
April 19, 2023
| | |
Electrical Engineering and Systems Science
Computer Science
Mathematics
Systems and Control
Machine Learning
Systems and Control
Optimization and Control
Model predictive control (MPC) achieves stability and constraint satisfaction
for general nonlinear systems, but requires computationally expensive online
optimization. This paper studies approximations of such MPC controllers via
neural ne...
Progressive-Hint Prompting Improves Reasoning in Large Language Models
April 19, 2023
| | | |
Computer Science
Computation and Language
Machine Learning
The performance of Large Language Models (LLMs) in reasoning tasks depends
heavily on prompt design, with Chain-of-Thought (CoT) and self-consistency
being critical methods that enhance this ability. However, these methods do not
fully expl...
Pulse shape and voltage-dependent synchronization in spiking neuron
networks
April 19, 2023
Quantitative Biology
Physics
Neurons and Cognition
Adaptation and Self-Organizing Systems
Biological Physics
Pulse-coupled spiking neural networks are a powerful tool to gain mechanistic
insights into how neurons self-organize to produce coherent collective
behavior. These networks use simple spiking neuron models, such as the
θ-neuron or t...
Maybenot: A Framework for Traffic Analysis Defenses
April 19, 2023
|
Computer Science
Cryptography and Security
End-to-end encryption is a powerful tool for protecting the privacy of
Internet users. Together with the increasing use of technologies such as Tor,
VPNs, and encrypted messaging, it is becoming increasingly difficult for
network adversarie...
Lipschitz truncation method for parabolic double-phase systems and
applications
April 19, 2023
| |
Mathematics
Analysis of PDEs
We discuss a Lipschitz truncation technique for parabolic double-phase
problems of p-Laplace type in order to prove energy estimates and uniqueness
results for the Dirichlet problem. Moreover, we show existence for a
non-homogeneous doubl...
Visualising Personal Data Flows: Insights from a Case Study of
Booking.com
April 19, 2023
| | | |
Computer Science
Cryptography and Security
Information Retrieval
Commercial organisations are holding and processing an ever-increasing amount
of personal data. Policies and laws are continually changing to require these
companies to be more transparent regarding the collection, storage, processing
and s...
The construction and characterization of MgO transmission dynodes
April 19, 2023
| | | | | | |
Physics
Instrumentation and Detectors
In this work we demonstrate that ultra-thin (5 and 15 nm) MgO transmission
dynodes (tynodes) with sufficient high transmission electron yield (TEY) can be
constructed. These tynodes act as electron amplification stages in a novel
vacuum ele...
Patching Approximately Safe Value Functions Leveraging Local
Hamilton-Jacobi Reachability Analysis
April 19, 2023
| | | |
Computer Science
Electrical Engineering and Systems Science
Robotics
Systems and Control
Systems and Control
Safe value functions, such as control barrier functions, characterize a safe
set and synthesize a safety filter, overriding unsafe actions, for a dynamic
system. While function approximators like neural networks can synthesize
approximately...
Cheeger-M\"uller theorem for a wedge singularity along an embedded
submanifold
April 19, 2023
|
Mathematics
Differential Geometry
Algebraic Topology
Spectral Theory
In this paper we equate the analytic and the intersection Reidemeister
torsions on spaces with a specific type of wedge singularities, which arise by
turning the disc cross-sections in the tubular neighborhood of an embedded
submanifold of ...