BioScript: programming safe chemistry on laboratories-on-a-chip

This paper introduces BioScript, a domain-specific language (DSL) for programmable biochemistry which executes on emerging microfluidic platforms. The goal of this research is to provide a simple, intuitive, and type-safe DSL that is accessible to life science practitioners. The novel feature of the language is its syntax, which aims to optimize human readability; the technical contributions of the paper include the BioScript type system and relevant portions of its compiler. The type system ensures that certain types of errors, specific to biochemistry, do not occur, including the interaction of chemicals that may be unsafe. The compiler includes novel optimizations that place biochemical operations to execute concurrently on a spatial 2D array platform on the granularity of a control flow graph, as opposed to individual basic blocks. Results are obtained using both a cycle-accurate microfluidic simulator and a software interface to a real-world platform

Paper and Fiber-Based Bio-Diagnostic Platforms: Current Challenges and Future Needs

In this perspective article, some of the latest paper and fiber-based bio-analytical platforms are summarized, along with their fabrication strategies, the processing behind the product development, and the embedded systems in which paper or fiber materials were integrated. The article also reviews bio-recognition applications of paper/fiber-based devices, the detected analytes of interest, applied detection techniques, the related evaluation parameters, the type and duration of the assays, as well as the advantages and disadvantages of each technique. Moreover, some of the existing challenges of utilizing paper and/or fiber materials are discussed. These include control over the physical characteristics (porosity, permeability, wettability) and the chemical properties (surface functionality) of paper/fiber materials are discussed. Other aspects of the review focus on shelf life, the multi-functionality of the platforms, readout strategies, and other challenges that have to be addressed in order to obtain reliable detection outcomes. Keywords: paper-based bio-analytical devices; shelf life; equipment-free bio-recognition; flow rate; readout strategies; multi-functional platform

Design and Optimization Methods for Pin-Limited and Cyberphysical Digital Microfluidic Biochips

<p>Microfluidic biochips have now come of age, with applications to biomolecular recognition for high-throughput DNA sequencing, immunoassays, and point-of-care clinical diagnostics. In particular, digital microfluidic biochips, which use electrowetting-on-dielectric to manipulate discrete droplets (or "packets of biochemical payload") of picoliter volumes under clock control, are especially promising. The potential applications of biochips include real-time analysis for biochemical reagents, clinical diagnostics, flash chemistry, and on-chip DNA sequencing. The ease of reconfigurability and software-based control in digital microfluidics has motivated research on various aspects of automated chip design and optimization.</p><p>This thesis research is focused on facilitating advances in on-chip bioassays, enhancing the automated use of digital microfluidic biochips, and developing an "intelligent" microfluidic system that has the capability of making on-line re-synthesis while a bioassay is being executed. This thesis includes the concept of a "cyberphysical microfluidic biochip" based on the digital microfluidics hardware platform and on-chip sensing technique. In such a biochip, the control software, on-chip sensing, and the microfluidic operations are tightly coupled. The status of the droplets is dynamically monitored by on-chip sensors. If an error is detected, the control software performs dynamic re-synthesis procedure and error recovery.</p><p>In order to minimize the size and cost of the system, a hardware-assisted error-recovery method, which relies on an error dictionary for rapid error recovery, is also presented. The error-recovery procedure is controlled by a finite-state-machine implemented on a field-programmable gate array (FPGA) instead of a software running on a separate computer. Each state of the FSM represents a possible error that may occur on the biochip; for each of these errors, the corresponding sequence of error-recovery signals is stored inside the memory of the FPGA before the bioassay is conducted. When an error occurs, the FSM transitions from one state to another, and the corresponding control signals are updated. Therefore, by using inexpensive FPGA, a portable cyberphysical system can be implemented.</p><p>In addition to errors in fluid-handling operations, bioassay outcomes can also be erroneous due the uncertainty in the completion time for fluidic operations. Due to the inherent randomness of biochemical reactions, the time required to complete each step of the bioassay is a random variable. To address this issue, a new "operation-interdependence-aware" synthesis algorithm is proposed in this thesis. The start and stop time of each operation are dynamically determined based on feedback from the on-chip sensors. Unlike previous synthesis algorithms that execute bioassays based on pre-determined start and end times of each operation, the proposed method facilitates "self-adaptive" bioassays on cyberphysical microfluidic biochips.</p><p>Another design problem addressed in this thesis is the development of a layout-design algorithm that can minimize the interference between devices on a biochip. A probabilistic model for the polymerase chain reaction (PCR) has been developed; based on the model, the control software can make on-line decisions regarding the number of thermal cycles that must be performed during PCR. Therefore, PCR can be controlled more precisely using cyberphysical integration.</p><p>To reduce the fabrication cost of biochips, yet maintain application flexibility, the concept of a "general-purpose pin-limited biochip" is proposed. Using a graph model for pin-assignment, we develop the theoretical basis and a heuristic algorithm to generate optimized pin-assignment configurations. The associated scheduling algorithm for on-chip biochemistry synthesis has also been developed. Based on the theoretical framework, a complete design flow for pin-limited cyberphysical microfluidic biochips is presented.</p><p>In summary, this thesis research has led to an algorithmic infrastructure and optimization tools for cyberphysical system design and technology demonstrations. The results of this thesis research are expected to enable the hardware/software co-design of a new class of digital microfluidic biochips with tight coupling between microfluidics, sensors, and control software.</p>Dissertatio

Microspinning: Local Surface Mixing via Rotation of Magnetic Microparticles for Efficient Small-Volume Bioassays

The need for high-throughput screening has led to the miniaturization of the reaction volume of the chamber in bioassays. As the reactor gets smaller, surface tension dominates the gravitational or inertial force, and mixing efficiency decreases in small-scale reactions. Because passive mixing by simple diffusion in tens of microliter-scale volumes takes a long time, active mixing is needed. Here, we report an efficient micromixing method using magnetically rotating microparticles with patterned magnetization induced by magnetic nanoparticle chains. Because the microparticles have magnetization patterning due to fabrication with magnetic nanoparticle chains, the microparticles can rotate along the external rotating magnetic field, causing micromixing. We validated the reaction efficiency by comparing this micromixing method with other mixing methods such as simple diffusion and the use of a rocking shaker at various working volumes. This method has the potential to be widely utilized in suspension assay technology as an efficient mixing strategy

A Methodology to Design Pipelined Simulated Annealing Kernel Accelerators on Space-Borne Field-Programmable Gate Arrays

Increased levels of science objectives expected from spacecraft systems necessitate the ability to carry out fast on-board autonomous mission planning and scheduling. Heterogeneous radiation-hardened Field Programmable Gate Arrays (FPGAs) with embedded multiplier and memory modules are well suited to support the acceleration of scheduling algorithms. A methodology to design circuits specifically to accelerate Simulated Annealing Kernels (SAKs) in event scheduling algorithms is shown. The main contribution of this thesis is the low complexity scoring calculation used for the heuristic mapping algorithm used to balance resource allocation across a coarse-grained pipelined data-path. The methodology was exercised over various kernels with different cost functions and problem sizes. These test cases were benchedmarked for execution time, resource usage, power, and energy on a Xilinx Virtex 4 LX QR 200 FPGA and a BAE RAD 750 microprocessor

Micro- and Nanofluidics for Bionanoparticle Analysis

Bionanoparticles such as microorganisms and exosomes are recoganized as important targets for clinical applications, food safety, and environmental monitoring. Other nanoscale biological particles, includeing liposomes, micelles, and functionalized polymeric particles are widely used in nanomedicines. The recent deveopment of microfluidic and nanofluidic technologies has enabled the separation and anslysis of these species in a lab-on-a-chip platform, while there are still many challenges to address before these analytical tools can be adopted in practice. For example, the complex matrices within which these species reside in create a high background for their detection. Their small dimension and often low concentration demand creative strategies to amplify the sensing signal and enhance the detection speed. This Special Issue aims to recruit recent discoveries and developments of micro- and nanofluidic strategies for the processing and analysis of biological nanoparticles. The collection of papers will hopefully bring out more innovative ideas and fundamental insights to overcome the hurdles faced in the separation and detection of bionanoparticles