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

Research

Deductive verification of unmodified Linux kernel library functions
Avatar for Denis efremov
1
59
平成30年北海道胆振東部地震における国⼟地理院の取組（公開用4up）_国⼟地理院北海道地⽅測量部_清水乙彦氏/2018-11-06_iburiEMT01
Avatar for dhlab dh
0
44
tfug-alcohol-7.pdf
Avatar for Shuhei Fujiwara shuheif
2
1.1k
般若心経/Heart Sutra
Avatar for Ara avcdsld
0
92
Pointwise HSIC: A Linear-Time Kernelized Co-occurrence Norm for Sparse Linguistic Expressions
Avatar for Sho Yokoi eumesy
PRO
0
1.3k
Geo and BIM does not make a GeoBIM
Avatar for Francesca Noardo francescanoardo
1
4.8k
StringBeginners#1
Avatar for Shunsuke Kanda kampersanda
2
240
Using requirements specification to speed up STPA-BDD in agile development
Avatar for Stefan Wagner wagnerst
0
860
Labora @ Civic Tech YVR #14 | Culture and the Digital Economy
Avatar for Alberto Lusoli albertolusoli
0
240
Logically Bypassing Browser Security Boundaries
Avatar for Jun Kokatsu shhnjk
5
3.5k
Overview of Machine Learning Methods for Reconstruction of Imaging Data
Avatar for Jong Chul Ye jongcye
0
160
Making the Most of Petabases of Genomic Data
Avatar for Ben Langmead benlangmead
0
170
IntentsKB: A Knowledge Base of Entity-Oriented Search Intents
Avatar for Darío Garigliotti dariogarigliotti
0
34
Reproducibility and Selection Bias in Machine Learning
Avatar for Valerio Maggio leriomaggio
1
450
文献紹介: Confidence Modeling for Neural Semantic Parsing
Avatar for Yumeto Inaoka yumeto
3
240
システムログ書式の構造に着目した システム異常検出手法の検討 /css2018-mizutani
Avatar for Masayoshi Mizutani mizutani
3
1.9k
Evidence for Stratal Phonology: Stem-level phonology and morphological structure
Avatar for Pavel Iosad paveliosad
0
570
Methodology of Multi-Criteria Comparison and Typology of Open Source Projects
Avatar for Fedir RYKHTIK fedir
0
160