Search
Results
-
ACAI: Protecting Accelerator Execution with Arm Confidential Computing Architecture
(2023)arXivTrusted execution environments in several existing and upcoming CPUs demonstrate the success of confidential computing, with the caveat that tenants cannot securely use accelerators such as GPUs and FPGAs. In this paper, we reconsider the Arm Confidential Computing Architecture (CCA) design, an upcoming TEE feature in Armv9-A, to address this gap. We observe that CCA offers the right abstraction and mechanisms to allow confidential VMs ...Working Paper -
Betweenness centrality illuminates intermittent frictional dynamics
(2021)arXivDense granular systems subjected to an imposed shear stress undergo stick-slip dynamics with systematic patterns of dilation-compaction. During each stick phase, as the frictional strength builds up, the granular system dilates to accommodate shear strain, developing stronger force networks. During each slip event, when the stored energy is released, particles experience large rearrangements and the granular network can significantly ...Working Paper -
Design and Evaluation of User-Centered Exergames for Patients With Multiple Sclerosis: Multilevel Usability and Feasibility Studies
(2020)JMIR PreprintsBackground: Multiple sclerosis (MS) is a chronic inflammatory disease of the central nervous system and the commonest cause of neurological disabilities in young adults. MS patients suffer from a wide range of physical and cognitive dysfunctions that affect their quality of life. A promising training approach that concurrently trains physical and cognitive functions is video game-based physical exercising, so-called exergaming. Previous ...Working Paper -
Measuring what Really Matters: Optimizing Neural Networks for TinyML
(2021)arXivWith the surge of inexpensive computational and memory resources, neural networks (NNs) have experienced an unprecedented growth in architectural and computational complexity. Introducing NNs to resource-constrained devices enables cost-efficient deployments, widespread availability, and the preservation of sensitive data. This work addresses the challenges of bringing MachineLearning to microcontroller units (MCUs), where we focus on the ...Working Paper -
A G protein-coupled receptor is required in cartilaginous and dense connective tissues to maintain spine alignment
(2021)bioRxivAdolescent idiopathic scoliosis (AIS) is the most common spine disorder affecting children worldwide, yet little is known about the pathogenesis of this disorder. Here, we demonstrate that genetic regulation of structural components of the axial skeleton, the intervertebral discs and dense connective tissues (e.g., ligaments and tendons), are essential for maintenance of spinal alignment. We show that the G-coupled protein receptor Adgrg6, ...Working Paper -
The Manin-Drinfeld theorem and the rationality of Rademacher symbols
(2020)arXivFor any noncocompact Fuchsian group Γ, we show that periods of the canonical differential of the third kind associated to residue divisors of cusps are expressed in terms of Rademacher symbols for Γ - generalizations of periods appearing in the classical theory of modular forms. This result provides a relation between Rademacher symbols and the famous theorem of Manin and Drinfeld. On this basis, we present a straightforward group-theoretic ...Working Paper -
Translates of rationals along expanding closed horocycles on the modular surface
(2020)arXivWe study the limiting distribution of the rational points under a horizontal translation along a sequence of expanding closed horocycles on the modular surface. Using spectral methods we confirm equidistribution of these sample points for any translate when the sequence of horocycles expands within a certain polynomial range. We show that the equidistribution fails for generic translates and a slightly faster expanding rate. We also prove ...Working Paper -
Resolving brain organoid heterogeneity by mapping single cell genomic data to a spatial reference
(2020)bioRxivSelf-organizing tissues resembling brain regions grown in vitro from human stem cells (so-called organoids or spheroids) offer exciting possibilities to study human brain development, disease, and evolution. Brain organoids or spheroids are complex and can contain cells at various stages of differentiation from different brain structures. Single-cell genomic methods provide powerful approaches to explore cell composition, differentiation ...Working Paper -
Normed amenability and bounded cohomology over non-Archimedean fields
(2020)arXivWe study continuous bounded cohomology of totally disconnected locally compact groups with coefficients in a non-Archimedian field K. To capture the features of classical amenability that induce the vanishing of real bounded cohomology, we introduce the notion of normed K-amenability, of which we prove an algebraic characterization. It implies that normed K-amenable groups are locally elliptic, and it relates an invariant, the norm of a ...Working Paper -
Weak Transport for Non-Convex Costs and Model-independence in a Fixed-Income Market
(2020)arXivWe consider a model-independent pricing problem in a fixed-income market and show that it leads to a weak optimal transport problem as introduced by Gozlan et al. We use this to characterize the extremal models for the pricing of caplets on the spot rate and to establish a first robust super-replication result that is applicable to fixed-income markets. Notably, the weak transport problem exhibits a cost function which is non-convex and ...Working Paper