Matches in SemOpenAlex for { <https://semopenalex.org/work/W1736583231> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1736583231 endingPage "230" @default.
- W1736583231 startingPage "216" @default.
- W1736583231 abstract "In this paper, we present a formalization of an algorithm to construct admissible discrete vector fields in the Coq theorem prover taking advantage of the SSReflect library. Discrete vector fields are a tool which has been welcomed in the homological analysis of digital images since it provides a procedure to reduce the amount of information but preserving the homological properties. In particular, thanks to discrete vector fields, we are able to compute, inside Coq, homological properties of biomedical images which otherwise are out of the reach of this system." @default.
- W1736583231 created "2016-06-24" @default.
- W1736583231 creator A5004006176 @default.
- W1736583231 creator A5008590671 @default.
- W1736583231 creator A5034271146 @default.
- W1736583231 date "2012-01-01" @default.
- W1736583231 modified "2023-09-26" @default.
- W1736583231 title "Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging" @default.
- W1736583231 cites W1487820530 @default.
- W1736583231 cites W1847528365 @default.
- W1736583231 cites W1964618504 @default.
- W1736583231 cites W1992656112 @default.
- W1736583231 cites W2005079627 @default.
- W1736583231 cites W2027737519 @default.
- W1736583231 cites W2036798279 @default.
- W1736583231 cites W2064020260 @default.
- W1736583231 cites W4242126179 @default.
- W1736583231 cites W55003788 @default.
- W1736583231 doi "https://doi.org/10.1007/978-3-642-31374-5_15" @default.
- W1736583231 hasPublicationYear "2012" @default.
- W1736583231 type Work @default.
- W1736583231 sameAs 1736583231 @default.
- W1736583231 citedByCount "6" @default.
- W1736583231 countsByYear W17365832312013 @default.
- W1736583231 countsByYear W17365832312014 @default.
- W1736583231 crossrefType "book-chapter" @default.
- W1736583231 hasAuthorship W1736583231A5004006176 @default.
- W1736583231 hasAuthorship W1736583231A5008590671 @default.
- W1736583231 hasAuthorship W1736583231A5034271146 @default.
- W1736583231 hasBestOaLocation W17365832312 @default.
- W1736583231 hasConcept C11413529 @default.
- W1736583231 hasConcept C115961682 @default.
- W1736583231 hasConcept C136119220 @default.
- W1736583231 hasConcept C154945302 @default.
- W1736583231 hasConcept C199360897 @default.
- W1736583231 hasConcept C202444582 @default.
- W1736583231 hasConcept C206880738 @default.
- W1736583231 hasConcept C2524010 @default.
- W1736583231 hasConcept C2780801425 @default.
- W1736583231 hasConcept C33923547 @default.
- W1736583231 hasConcept C41008148 @default.
- W1736583231 hasConcept C42781572 @default.
- W1736583231 hasConcept C80444323 @default.
- W1736583231 hasConcept C91188154 @default.
- W1736583231 hasConcept C9417928 @default.
- W1736583231 hasConcept C9652623 @default.
- W1736583231 hasConceptScore W1736583231C11413529 @default.
- W1736583231 hasConceptScore W1736583231C115961682 @default.
- W1736583231 hasConceptScore W1736583231C136119220 @default.
- W1736583231 hasConceptScore W1736583231C154945302 @default.
- W1736583231 hasConceptScore W1736583231C199360897 @default.
- W1736583231 hasConceptScore W1736583231C202444582 @default.
- W1736583231 hasConceptScore W1736583231C206880738 @default.
- W1736583231 hasConceptScore W1736583231C2524010 @default.
- W1736583231 hasConceptScore W1736583231C2780801425 @default.
- W1736583231 hasConceptScore W1736583231C33923547 @default.
- W1736583231 hasConceptScore W1736583231C41008148 @default.
- W1736583231 hasConceptScore W1736583231C42781572 @default.
- W1736583231 hasConceptScore W1736583231C80444323 @default.
- W1736583231 hasConceptScore W1736583231C91188154 @default.
- W1736583231 hasConceptScore W1736583231C9417928 @default.
- W1736583231 hasConceptScore W1736583231C9652623 @default.
- W1736583231 hasLocation W17365832311 @default.
- W1736583231 hasLocation W17365832312 @default.
- W1736583231 hasLocation W17365832313 @default.
- W1736583231 hasOpenAccess W1736583231 @default.
- W1736583231 hasPrimaryLocation W17365832311 @default.
- W1736583231 hasRelatedWork W1736583231 @default.
- W1736583231 hasRelatedWork W1969324738 @default.
- W1736583231 hasRelatedWork W2351491280 @default.
- W1736583231 hasRelatedWork W2351571780 @default.
- W1736583231 hasRelatedWork W2355833191 @default.
- W1736583231 hasRelatedWork W2357752163 @default.
- W1736583231 hasRelatedWork W2372148503 @default.
- W1736583231 hasRelatedWork W303980170 @default.
- W1736583231 hasRelatedWork W630570861 @default.
- W1736583231 hasRelatedWork W2592569039 @default.
- W1736583231 isParatext "false" @default.
- W1736583231 isRetracted "false" @default.
- W1736583231 magId "1736583231" @default.
- W1736583231 workType "book-chapter" @default.