Matches in SemOpenAlex for { <https://semopenalex.org/work/W4308757599> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W4308757599 abstract "Recent advances in digital microfluidic (DMF) technologies offer a promising platform for a wide variety of biochemical applications, such as DNA analysis, automated drug discovery, and toxicity monitoring. For on-chip implementation of complex bioassays, automated synthesis tools have been developed to meet the design challenges. Currently, the synthesis tools pass through a number of complex design steps to realize a given biochemical protocol on a target DMF architecture. Thus, design errors can arise during the synthesis steps. Before deploying a DMF biochip on a safety critical system, it is necessary to ensure that the desired biochemical protocol has been correctly implemented, i.e., the synthesized output (actuation sequences for the biochip) is free from any design or realization errors. We propose a symbolic constraint-based analysis framework for checking the correctness of a synthesized biochemical protocol with respect to the original design specification. The verification scheme based on this framework can detect several post-synthesis fluidic violations and realization errors in 2D-array based or pin-constrained biochips as well as in cyberphysical systems. It further generates diagnostic feedback for error localization. We present experimental results on the polymerase chain reaction (PCR) and in-vitro multiplexed bioassays to demonstrate the proposed verification approach." @default.
- W4308757599 created "2022-11-15" @default.
- W4308757599 creator A5056246212 @default.
- W4308757599 creator A5062886706 @default.
- W4308757599 creator A5067730042 @default.
- W4308757599 creator A5076542292 @default.
- W4308757599 date "2022-11-09" @default.
- W4308757599 modified "2023-09-27" @default.
- W4308757599 title "A Framework for Automated Correctness Checking of Biochemical Protocol Realizations on Digital Microfluidic Biochips" @default.
- W4308757599 doi "https://doi.org/10.48550/arxiv.2211.04719" @default.
- W4308757599 hasPublicationYear "2022" @default.
- W4308757599 type Work @default.
- W4308757599 citedByCount "0" @default.
- W4308757599 crossrefType "posted-content" @default.
- W4308757599 hasAuthorship W4308757599A5056246212 @default.
- W4308757599 hasAuthorship W4308757599A5062886706 @default.
- W4308757599 hasAuthorship W4308757599A5067730042 @default.
- W4308757599 hasAuthorship W4308757599A5076542292 @default.
- W4308757599 hasBestOaLocation W43087575991 @default.
- W4308757599 hasConcept C105795698 @default.
- W4308757599 hasConcept C11413529 @default.
- W4308757599 hasConcept C118524514 @default.
- W4308757599 hasConcept C120314980 @default.
- W4308757599 hasConcept C142724271 @default.
- W4308757599 hasConcept C149635348 @default.
- W4308757599 hasConcept C171250308 @default.
- W4308757599 hasConcept C192562407 @default.
- W4308757599 hasConcept C204787440 @default.
- W4308757599 hasConcept C2780385302 @default.
- W4308757599 hasConcept C2781089630 @default.
- W4308757599 hasConcept C33923547 @default.
- W4308757599 hasConcept C41008148 @default.
- W4308757599 hasConcept C55439883 @default.
- W4308757599 hasConcept C71924100 @default.
- W4308757599 hasConcept C87892846 @default.
- W4308757599 hasConcept C9390403 @default.
- W4308757599 hasConceptScore W4308757599C105795698 @default.
- W4308757599 hasConceptScore W4308757599C11413529 @default.
- W4308757599 hasConceptScore W4308757599C118524514 @default.
- W4308757599 hasConceptScore W4308757599C120314980 @default.
- W4308757599 hasConceptScore W4308757599C142724271 @default.
- W4308757599 hasConceptScore W4308757599C149635348 @default.
- W4308757599 hasConceptScore W4308757599C171250308 @default.
- W4308757599 hasConceptScore W4308757599C192562407 @default.
- W4308757599 hasConceptScore W4308757599C204787440 @default.
- W4308757599 hasConceptScore W4308757599C2780385302 @default.
- W4308757599 hasConceptScore W4308757599C2781089630 @default.
- W4308757599 hasConceptScore W4308757599C33923547 @default.
- W4308757599 hasConceptScore W4308757599C41008148 @default.
- W4308757599 hasConceptScore W4308757599C55439883 @default.
- W4308757599 hasConceptScore W4308757599C71924100 @default.
- W4308757599 hasConceptScore W4308757599C87892846 @default.
- W4308757599 hasConceptScore W4308757599C9390403 @default.
- W4308757599 hasLocation W43087575991 @default.
- W4308757599 hasLocation W43087575992 @default.
- W4308757599 hasOpenAccess W4308757599 @default.
- W4308757599 hasPrimaryLocation W43087575991 @default.
- W4308757599 hasRelatedWork W108742494 @default.
- W4308757599 hasRelatedWork W1517743118 @default.
- W4308757599 hasRelatedWork W2024218563 @default.
- W4308757599 hasRelatedWork W2072806201 @default.
- W4308757599 hasRelatedWork W2281090687 @default.
- W4308757599 hasRelatedWork W2965845133 @default.
- W4308757599 hasRelatedWork W4243553186 @default.
- W4308757599 hasRelatedWork W1602178951 @default.
- W4308757599 hasRelatedWork W1670831115 @default.
- W4308757599 hasRelatedWork W2468989706 @default.
- W4308757599 isParatext "false" @default.
- W4308757599 isRetracted "false" @default.
- W4308757599 workType "article" @default.