Sign up for free
Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology

Research

Translating Scala Programs to Isabelle/HOL
Avatar for Lars Hupel larsrh
1
930
R&D as a source of Czech competitiveness (in Czech)
Avatar for Ondrej Krajicek ondrasek
0
55
Unified Cloud Application Management
Avatar for Stefan Kolb stfnklb
0
130
Morphology and dialectology in the Linguistic Survey of Scotland: A quantitative approach
Avatar for Pavel Iosad paveliosad
0
380
Memory for Data-Oblivious Computation
Avatar for David Evans evansuva
0
3k
Reproducible Research: ideas & solutions for actually doing it
Avatar for Dave Lunt davelunt
1
280
Putting Your Passwords On Self Destruct Mode: Beating Password Fatigue
Avatar for Huascar Sanchez hsanchez
0
79
From Monge-Kantorovich to Gromov-Wasserstein - Optimal Transport and Barycenters Between Several Metric Spaces
Avatar for Gabriel Peyré gpeyre
6
4.9k
ニコニコ学会βのその先へ / Towards the Post Niconico-Gakkai Beta
Avatar for Tsubasa Yumura yumu19
0
560
A Markov Random Fields Approach to the Gating of Flow Cytometry Data
Avatar for Kevin Brosnan significantstats
0
160
Type-Aware Entity Retrieval
Avatar for Darío Garigliotti dariogarigliotti
0
26
g0v summit 2016レポート
Avatar for Satoshi IIDA nyampire
0
2k
Type-Aware Entity Retrieval
Avatar for Darío Garigliotti dariogarigliotti
0
45
Vowel length in Shetland Norn: Contact, change and competing systems
Avatar for Pavel Iosad paveliosad
0
380
Design de cryptographie white-box : et à la fin, c’est Kerckhoffs qui gagne
Avatar for Philippe Teuwen doegox
1
280
Trends in Peer Review
Avatar for Ian Mulvany ianmulvany
1
550
CORESA 2016
Avatar for Olivier Lézoray lezoray
0
140
Declarative, Secure, Convergent Edge Computation
Avatar for Christopher Meiklejohn cmeiklejohn
1
150