Efficient and Adaptive Error Recovery in a Micro-Electrode-Dot-Array Digital Microfluidic Biochip

Keyphrases

• Error Recovery 100%
• Digital Microfluidic Biochips 100%
• Micro-electrode-dot-array 100%
• Biochip 50%
• Recovery Strategy 50%
• Local Recovery 50%
• Recovery Method 33%
• Reconfiguration 16%
• Recovery Time 16%
• Synthesis Methods 16%
• Control Flow 16%
• Technology Platform 16%
• Laboratory Procedures 16%
• Error Types 16%
• Droplet Manipulation 16%
• Real-time Sensing 16%
• Integer Linear Programming 16%
• Sensing Ability 16%
• Time-varying Data 16%
• Biochemical Experiment 16%
• Droplet Sensing 16%
• Global Error 16%
• PRISM Model Checker 16%
• On-chip Sensor 16%
• On-demand Synthesis 16%
• Probabilistic Timed Automata 16%

Computer Science

• Recovery Strategy 100%
• Synthesis Technique 33%
• Control Flow 33%
• Technology Platform 33%
• Integer-Linear Programming 33%
• Sensing Ability 33%
• Timed Automaton 33%
• model checker 33%
• Laboratory Experiment 33%
• Recovery Procedure 33%