Computer-aided Formal Proofs about Dendritic Integration within a Neuron.
Ophélie GuinaudeauGilles BernotAlexandre MuzyDaniel GafféFranck GrammontPublished in: BIOINFORMATICS (2018)
Keyphrases
- computer aided
- formal proofs
- computer assisted
- computer aided diagnosis
- diagnosis of breast cancer
- neural network
- image analysis
- computer aided design
- fault tree
- capsule endoscopy
- early diagnosis
- process planning
- machine learning
- cad systems
- differential diagnosis
- prostate cancer
- relational databases
- feature extraction