Verification of customizable blockchain consensus rule using a formal method
- Ryo Kawahara
- 2020
- ICBC 2020
Conference paper
Publications
1991 results for Impact Science
Using an unbiased symbolic movement representation to characterize Parkinson’s disease states
- Avner Abrami
- Stephen Heisig
- et al.
- 2020
- Scientific Reports
PaperSpatial Control of the Self-assembled Block Copolymer Domain Orientation and Alignment on Photopatterned Surfaces
- Ji Yeon Kim
- Philip Liu
- et al.
- 2020
- ACS AMI
PaperAssociation of Rare Pathogenic DNA Variants for Familial Hypercholesterolemia, Hereditary Breast and Ovarian Cancer Syndrome, and Lynch Syndrome with Disease Risk in Adults According to Family History
- Aniruddh P. Patel
- Minxian Wang
- et al.
- 2020
- JAMA network open
PaperEmergence of drift variants that may affect covid-19 vaccine development and antibody treatment
- Takahiko Koyama
- Dilhan Weeraratne
- et al.
- 2020
- Pathogens
PaperDBA: Distributed Backdoor Attacks against Federated Learning
- Chulin Xie
- Keli Huang
- et al.
- 2020
- ICLR 2020
Conference paperDiscovering new Social Determinants of Health concepts from Unstructured Data: Framework and Evaluation
- 2020
- MIE 2020
Conference paperInterpretation Method for Continuous Glucose Monitoring with Subsequence Time-Series Clustering
- Masaki Ono
- Takayuki Katsuki
- et al.
- 2020
- MIE 2020
Conference paperFeature Set for a Prediction Model of Diabetic Kidney Disease Progression
- Masaki Ono
- Takayuki Katsuki
- et al.
- 2020
- MIE 2020
PosterMachine Learning Approaches to Safeguarding Continuous Water Supply in the Arid and Semi-arid Lands of Northern Kenya
- Fred Otieno
- Timothy Nyota
- et al.
- 2020
- ICLR 2020
Workshop paper