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

Research

Formal Verification of C code
Avatar for Denis efremov
0
14
A Comparison of Three Algorithms for Computing Truck Factors (ICPC 2017)
Avatar for ASERG, DCC, UFMG aserg_ufmg
0
200
Webサーバの高集積マルチテナント アーキテクチャに関する研究 / Studies on Highly Integrated Multi-Tenant Architecture for Web Servers
Avatar for MATSUMOTO Ryosuke matsumoto_r
PRO
2
2.2k
Deep Learning 6.3-6.4
Avatar for Kento Nozawa nzw0301
3
500
Recurrent neural network based language model
Avatar for 自然言語処理研究室 jnlp
0
150
Sponsored
Share. Educate. Inspire. Entertain.
Fireside
DOI Links on English, Japanese, and Chinese Wikipedias by Jiro Kikkawa #WikiCite / WikiCite2017
Avatar for Jiro Kikkawa corgies
1
490
CodeEurope_2017_Deep_Learning.pdf
Avatar for Ankit Bahuguna netankit
5
160
An Introduction to Truffle and Graal
Avatar for Benoit Daloze eregon
0
320
IWSSIP 2017
Avatar for Olivier Lézoray lezoray
0
75
Assessing Code Authorship: The Case of the Linux Kernel (OSS 2017)
Avatar for ASERG, DCC, UFMG aserg_ufmg
0
270
RefDiff: Detecting Refactorings in Version Histories (MSR 2017)
Avatar for ASERG, DCC, UFMG aserg_ufmg
0
270
NETGEAR Bug Bounty
Avatar for Lays l4ys
2
1k
FTfJP 2017
Avatar for Luca Franceschini lucafranceschini
1
39
Just-Right Consistency - Closing the CAP Gap
Avatar for Christopher Meiklejohn cmeiklejohn
3
300
Deep Learning Image Manipulation
Avatar for Leszek Rybicki lunardog
2
220
Automated Gating for Flow Cytometry
Avatar for Kevin Brosnan significantstats
0
200
統計的学習の基礎 - 4章 / castella-book-chap4
Avatar for ysekky ysekky
0
1.4k