Search Results

Select result number 1
1

Ownership guided C to Rust translation

by Zhang, Hanliang, David, Cristina, Yu, Yijun, Wang, Meng
Published 2023
“...Dubbed a safer C, Rust is a modern programming language that combines memory safety and low-level...”

Get access

Text
Select result number 2
2

CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle

by El-Korashy, Akram, Tsampas, Stelios, Patrignani, Marco, Devriese, Dominique, Garg, Deepak, Piessens, Frank
Published 2020
“... that it is fully abstract. The proof uses a novel proof technique (dubbed TrICL, read trickle), which should...”

Get access

Text
Select result number 3
3

Jet Latitude Regimes and the Predictability of the North Atlantic Oscillation

by Strommen, Kristian
Published in Quarterly Journal of the Royal Meteorological Society (2019)
“... time, these model predictions exhibit unusually low signal-to-noise ratios, in what has been dubbed a...”

Get access
Get access

Text
Select result number 4
4

FineMoGen: Fine-Grained Spatio-Temporal Motion Generation and Editing

by Zhang, Mingyuan, Li, Huirong, Cai, Zhongang, Ren, Jiawei, Yang, Lei, Liu, Ziwei
Published 2023
“... diffusion model with a novel transformer architecture dubbed Spatio-Temporal Mixture Attention (SAMI). SAMI...”

Get access

Text
Select result number 5
5

MVP: Unified Motion and Visual Self-Supervised Learning for Large-Scale Robotic Navigation

by Chancán, Marvin, Milford, Michael
Published 2020
“... and visual perception approach, dubbed MVP, that unifies these two sensor modalities for large-scale, target...”

Get access

Text
Select result number 6
6

Investigating Lorentz Violation with the long baseline experiment P2O

by Fiza, Nishat, Chowdhury, Nafis Rezwan Khan, Masud, Mehedi
Published in Journal of High Energy Physics (2022)
“... invariance violation (LIV). A proposed long baseline experiment, Protvino to ORCA (dubbed "P2O") with a...”

Get access
Get access

Text

Narrow Search