output
20062024
most citedPreliminary Report: Missense mutations in the APOL gene family are associated with end stage kidney disease risk previously attributed to the MYH9 gene

654 citations

6 papers

cs.CV2024★ 21 cited

Simplicits: Mesh-Free, Geometry-Agnostic, Elastic Simulation

Vismay Modi, Nicholas Sharp, Or Perel +2

The proliferation of 3D representations, from explicit meshes to implicit neural fields and more, motivates the need for simulators agnostic to representation. We present a data-,…

cs.CV2023★ 58 cited

CALM: Conditional Adversarial Latent Models for Directable Virtual Characters

Chen Tessler, Yoni Kasten, Yunrong Guo +3

In this work, we present Conditional Adversarial Latent Models (CALM), an approach for generating diverse and directable behaviors for user-controlled interactive virtual character…

cs.NI2021★ 3 cited

Energy-Proportional Data Center Network Architecture Through OS, Switch and Laser Co-design

Haiyang Han, Nikos Terzenidis, Dimitris Syrivelis +8

Optical interconnects are already the dominant technology in large-scale data center networks. However, the high optical loss of many optical components coupled with the low effici…

cs.CR2016★ 1 cited

Fault Attacks on Encrypted General Purpose Compute Platforms

Robert Buhren, Shay Gueron, Jan Nordholz +2

Adversaries with physical access to a target platform can perform cold boot or DMA attacks to extract sensitive data from the RAM. In response, several main-memory encryption schem…

q-bio.PE2010★ 654 cited

Preliminary Report: Missense mutations in the APOL gene family are associated with end stage kidney disease risk previously attributed to the MYH9 gene

Shay Tzur, Saharon Rosset, Revital Shemer +9

MYH9 has been proposed as a major genetic risk locus for a spectrum of non-diabetic end stage kidney disease (ESKD). We use recently released sequences from the 1000 Genomes Projec…

cs.LO2006

A Scalable Algorithm for Minimal Unsatisfiable Core Extraction

Nachum Dershowitz, Ziyad Hanna, Alexander Nadel

We propose a new algorithm for minimal unsatisfiable core extraction, based on a deeper exploration of resolution-refutation properties. We provide experimental results on formal v…