Cycling stress assessment, which quantifies cyclists' perceived stress
i...
This paper presents a language, Alda, that supports all of logic rules, ...
The generalization of neural networks is a central challenge in machine
...
Software is constantly changing, requiring developers to perform several...
This paper presents a novel Fourier spectral method that utilizes
optimi...
Limbless robots have the potential to maneuver through cluttered environ...
We present a simple domain generalization baseline, which wins second pl...
We present a novel machine learning-based approach to solving bilevel
pr...
Self-distillation exploits non-uniform soft supervision from itself duri...
Logic rules are powerful for expressing complex reasoning and analysis
p...
Software Fault Localization refers to the activity of finding code eleme...
The invariant distribution, which is characterized by the stationary
Fok...
Women, visible minorities, and other socially disadvantaged groups conti...
We consider general systems of ordinary differential equations with mono...
The quasipotential is a natural generalization of the concept of energy
...
Snake robots composed of alternating single-axis pitch and yaw joints ha...
The past decade has seen a rapid penetration of electric vehicles (EV) i...
The number of linear regions is one of the distinct properties of the ne...
The committor function is a central object of study in understanding
tra...
The interfaces exposed by commonly used cryptographic libraries are clum...
We introduce a novel framework for the statistical analysis of phylogene...
In mechanism design, for a given type space, there may be incentive
comp...
In mechanism design, for a given type space, there may be incentive
comp...