Matches in SemOpenAlex for { <https://semopenalex.org/work/W3043779982> ?p ?o ?g. }
- W3043779982 endingPage "234" @default.
- W3043779982 startingPage "187" @default.
- W3043779982 abstract "A computational logic is a logic that enables proofs on the computer, that is, mechanized reasoning: one of the foundations of artificial intelligence. This chapter advocates the use of computational logic as a unified and safe approach to both specifying and analyzing biological systems. It presents two applications areas of the approach: biomedicine and neuroscience. The chapter presents the use of logical frameworks, and more precisely linear logic, to model and analyzes biological systems in the biomedicine area. It then focuses on metastatic breast cancer, which is representative of the approach. The chapter also uses Coq to prove four important properties of neurons and archetypes. It provides a discrete version of the leaky integrate and fire model. The chapter presents the Coq model for neural networks, which includes definitions of neurons, operations on them and the combination of neurons into archetypes." @default.
- W3043779982 created "2020-07-23" @default.
- W3043779982 creator A5003922862 @default.
- W3043779982 creator A5047180960 @default.
- W3043779982 creator A5050652250 @default.
- W3043779982 creator A5056748708 @default.
- W3043779982 creator A5073799150 @default.
- W3043779982 creator A5090020170 @default.
- W3043779982 date "2023-08-04" @default.
- W3043779982 modified "2023-10-18" @default.
- W3043779982 title "Computational Logic for Biomedicine and Neurosciences" @default.
- W3043779982 cites W1495793844 @default.
- W3043779982 cites W1535220465 @default.
- W3043779982 cites W1538462273 @default.
- W3043779982 cites W1553511155 @default.
- W3043779982 cites W1586735752 @default.
- W3043779982 cites W1604675118 @default.
- W3043779982 cites W1926086117 @default.
- W3043779982 cites W1973749796 @default.
- W3043779982 cites W1974076274 @default.
- W3043779982 cites W1985940938 @default.
- W3043779982 cites W1986649132 @default.
- W3043779982 cites W1986837879 @default.
- W3043779982 cites W1988383139 @default.
- W3043779982 cites W1993332991 @default.
- W3043779982 cites W1995341919 @default.
- W3043779982 cites W2001661334 @default.
- W3043779982 cites W2033813295 @default.
- W3043779982 cites W2050426505 @default.
- W3043779982 cites W2070324762 @default.
- W3043779982 cites W2094650757 @default.
- W3043779982 cites W2103017472 @default.
- W3043779982 cites W2103496339 @default.
- W3043779982 cites W2104990432 @default.
- W3043779982 cites W2106190666 @default.
- W3043779982 cites W2122133822 @default.
- W3043779982 cites W2127480960 @default.
- W3043779982 cites W2140849218 @default.
- W3043779982 cites W2148105023 @default.
- W3043779982 cites W2157239334 @default.
- W3043779982 cites W2163493106 @default.
- W3043779982 cites W2168456547 @default.
- W3043779982 cites W2169215357 @default.
- W3043779982 cites W2325643235 @default.
- W3043779982 cites W2429691055 @default.
- W3043779982 cites W2518349977 @default.
- W3043779982 cites W2525290462 @default.
- W3043779982 cites W2527059948 @default.
- W3043779982 cites W2620242164 @default.
- W3043779982 cites W2627861920 @default.
- W3043779982 cites W2647814435 @default.
- W3043779982 cites W2664426418 @default.
- W3043779982 cites W2765869690 @default.
- W3043779982 cites W2768313389 @default.
- W3043779982 cites W2788500133 @default.
- W3043779982 cites W2807721467 @default.
- W3043779982 cites W2807744179 @default.
- W3043779982 cites W2811205482 @default.
- W3043779982 cites W2888094747 @default.
- W3043779982 cites W2888697098 @default.
- W3043779982 cites W2898966813 @default.
- W3043779982 cites W2899277158 @default.
- W3043779982 cites W2904723107 @default.
- W3043779982 cites W2911865844 @default.
- W3043779982 cites W2912640545 @default.
- W3043779982 cites W2939287701 @default.
- W3043779982 cites W2941911965 @default.
- W3043779982 cites W3100329089 @default.
- W3043779982 cites W3181070739 @default.
- W3043779982 cites W344865353 @default.
- W3043779982 cites W4213108508 @default.
- W3043779982 cites W4238614602 @default.
- W3043779982 doi "https://doi.org/10.1002/9781394229086.ch6" @default.
- W3043779982 hasPublicationYear "2023" @default.
- W3043779982 type Work @default.
- W3043779982 sameAs 3043779982 @default.
- W3043779982 citedByCount "0" @default.
- W3043779982 crossrefType "other" @default.
- W3043779982 hasAuthorship W3043779982A5003922862 @default.
- W3043779982 hasAuthorship W3043779982A5047180960 @default.
- W3043779982 hasAuthorship W3043779982A5050652250 @default.
- W3043779982 hasAuthorship W3043779982A5056748708 @default.
- W3043779982 hasAuthorship W3043779982A5073799150 @default.
- W3043779982 hasAuthorship W3043779982A5090020170 @default.
- W3043779982 hasBestOaLocation W30437799822 @default.
- W3043779982 hasConcept C102993220 @default.
- W3043779982 hasConcept C10418432 @default.
- W3043779982 hasConcept C108710211 @default.
- W3043779982 hasConcept C11413529 @default.
- W3043779982 hasConcept C124047733 @default.
- W3043779982 hasConcept C124952713 @default.
- W3043779982 hasConcept C131017901 @default.
- W3043779982 hasConcept C142362112 @default.
- W3043779982 hasConcept C154945302 @default.
- W3043779982 hasConcept C15744967 @default.
- W3043779982 hasConcept C188147891 @default.
- W3043779982 hasConcept C2524010 @default.
- W3043779982 hasConcept C33923547 @default.