FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W98738610> ?p ?o ?g. }

• W98738610 endingPage "104" @default.
• W98738610 startingPage "96" @default.
• W98738610 abstract "The semi-tensor product (STP) of matrices was used in the article, as a new matrix analysis tool, to investigate the problem of verification of self-verifying automata (SVA). SVA is a special variant of finite automata which is essential to nondeterministic communication with a limited number of advice bits. The status, input and output symbols are expressed in vector forms, the dynamic behaviour of SVA is modelled as an algebraic equation of the states and inputs, in which the matrix product is STP. By such algebraic formulation, three necessary and sufficient conditions are presented for the verification problem, by which three algorithms are established to find out all the strings which are accepted, rejected, or unrecognized by a SVA. Testing examples show the correctness of the results." @default.
• W98738610 created "2016-06-24" @default.
• W98738610 creator A5019147450 @default.
• W98738610 creator A5037667256 @default.
• W98738610 creator A5073105796 @default.
• W98738610 date "2014-08-01" @default.
• W98738610 modified "2023-10-16" @default.
• W98738610 title "Verification analysis of self-verifying automata via semi-tensor product of matrices" @default.
• W98738610 cites W1978638999 @default.
• W98738610 cites W1980470571 @default.
• W98738610 cites W2020196141 @default.
• W98738610 cites W2020497406 @default.
• W98738610 cites W2025661389 @default.
• W98738610 cites W2028979408 @default.
• W98738610 cites W2030393377 @default.
• W98738610 cites W2042506710 @default.
• W98738610 cites W2045860040 @default.
• W98738610 cites W2057351461 @default.
• W98738610 cites W2072453354 @default.
• W98738610 cites W2077450865 @default.
• W98738610 cites W2094700336 @default.
• W98738610 cites W2117011945 @default.
• W98738610 cites W2153364687 @default.
• W98738610 cites W2168776529 @default.
• W98738610 cites W2171084562 @default.
• W98738610 cites W2214188879 @default.
• W98738610 doi "https://doi.org/10.1016/s1005-8885(14)60322-8" @default.
• W98738610 hasPublicationYear "2014" @default.
• W98738610 type Work @default.
• W98738610 sameAs 98738610 @default.
• W98738610 citedByCount "6" @default.
• W98738610 countsByYear W987386102015 @default.
• W98738610 countsByYear W987386102016 @default.
• W98738610 countsByYear W987386102017 @default.
• W98738610 countsByYear W987386102019 @default.
• W98738610 countsByYear W987386102022 @default.
• W98738610 crossrefType "journal-article" @default.
• W98738610 hasAuthorship W98738610A5019147450 @default.
• W98738610 hasAuthorship W98738610A5037667256 @default.
• W98738610 hasAuthorship W98738610A5073105796 @default.
• W98738610 hasConcept C106487976 @default.
• W98738610 hasConcept C112505250 @default.
• W98738610 hasConcept C11413529 @default.
• W98738610 hasConcept C121332964 @default.
• W98738610 hasConcept C134306372 @default.
• W98738610 hasConcept C136119220 @default.
• W98738610 hasConcept C159985019 @default.
• W98738610 hasConcept C17349429 @default.
• W98738610 hasConcept C176181172 @default.
• W98738610 hasConcept C192562407 @default.
• W98738610 hasConcept C202444582 @default.
• W98738610 hasConcept C2524010 @default.
• W98738610 hasConcept C33923547 @default.
• W98738610 hasConcept C41008148 @default.
• W98738610 hasConcept C51255310 @default.
• W98738610 hasConcept C55439883 @default.
• W98738610 hasConcept C62520636 @default.
• W98738610 hasConcept C80444323 @default.
• W98738610 hasConcept C84114770 @default.
• W98738610 hasConcept C90673727 @default.
• W98738610 hasConcept C9376300 @default.
• W98738610 hasConceptScore W98738610C106487976 @default.
• W98738610 hasConceptScore W98738610C112505250 @default.
• W98738610 hasConceptScore W98738610C11413529 @default.
• W98738610 hasConceptScore W98738610C121332964 @default.
• W98738610 hasConceptScore W98738610C134306372 @default.
• W98738610 hasConceptScore W98738610C136119220 @default.
• W98738610 hasConceptScore W98738610C159985019 @default.
• W98738610 hasConceptScore W98738610C17349429 @default.
• W98738610 hasConceptScore W98738610C176181172 @default.
• W98738610 hasConceptScore W98738610C192562407 @default.
• W98738610 hasConceptScore W98738610C202444582 @default.
• W98738610 hasConceptScore W98738610C2524010 @default.
• W98738610 hasConceptScore W98738610C33923547 @default.
• W98738610 hasConceptScore W98738610C41008148 @default.
• W98738610 hasConceptScore W98738610C51255310 @default.
• W98738610 hasConceptScore W98738610C55439883 @default.
• W98738610 hasConceptScore W98738610C62520636 @default.
• W98738610 hasConceptScore W98738610C80444323 @default.
• W98738610 hasConceptScore W98738610C84114770 @default.
• W98738610 hasConceptScore W98738610C90673727 @default.
• W98738610 hasConceptScore W98738610C9376300 @default.
• W98738610 hasIssue "4" @default.
• W98738610 hasLocation W987386101 @default.
• W98738610 hasOpenAccess W98738610 @default.
• W98738610 hasPrimaryLocation W987386101 @default.
• W98738610 hasRelatedWork W1574120008 @default.
• W98738610 hasRelatedWork W1667647204 @default.
• W98738610 hasRelatedWork W1988549452 @default.
• W98738610 hasRelatedWork W2018477250 @default.
• W98738610 hasRelatedWork W2060032524 @default.
• W98738610 hasRelatedWork W2242035652 @default.
• W98738610 hasRelatedWork W2404647514 @default.
• W98738610 hasRelatedWork W3008339103 @default.
• W98738610 hasRelatedWork W3119814709 @default.
• W98738610 hasRelatedWork W35919320 @default.
• W98738610 hasVolume "21" @default.
• W98738610 isParatext "false" @default.

• next