Blood is a highly complex bio-fluid with cellular components making up >40% of the total volume, thus making its analysis challenging and time-consuming. In this work, we introduce a high-throughput size-based separation method for processing diluted blood using inertial microfluidics. The technique takes advantage of the preferential cell focusing in high aspect-ratio microchannels coupled wit...

A gentle, but fast means for low-stress, high-throughput platelet purification is of significant clinical and biotechnological utility. Current implementations to sort platelets, however, require an external physical field, specialized buffer, or the harsh separation condition of high shear stress that tends to cause platelet stimulation. Here we report the use of hydrophoretic size separation ...

A fast non-convex low-rank matrix decomposition method for potential field data separation is presented. The singular value of the large size trajectory matrix, which also a block Hankel obtained using randomized algorithm in matrix-vector multiplications are implemented with minimal memory storage. This integrated into \begin{docum...

Charge separation and exciton dynamics play a crucial role in determining the performance of excitonic photovoltaics. Using time-dependent density functional theory with a range-separated exchange-correlation functional as well as nonadiabatic ab initio molecular dynamics, we have studied the formation and dynamics of charge-transfer (CT) excitons at polymer/ZnO interface. The interfacial atomi...

When searching a target in a natural scene, both the target’s visual properties and similarity to the background influence whether (and how fast) humans are able to find it. However, thus far it has been unclear whether searchers adjust the dynamics of their eye movements (e.g., fixation durations, saccade amplitudes) to the target they search for. In our experiment participants searched natura...

organic solvents. In this study, NiFe2O4/sawdust nanocomposite was synthesized for removingoil pollutants. The oil-adsorbing nanocomposite could be easily separated from water bymagnet bar. The XRD results show tetragonal phase proving the composite formation. TheFESEM pictures successfully reveal the growth of NiFe2O4 on the sawdust template. The FTIRbands at 422 cm-1 and 615 cm-1correspond to...

We present a sound verification approach for verifying input/output properties of programs. Our approach supports defining highlevel I/O actions on top of low-level ones (compositionality), defining input/output actions without taking into account which other actions exist (modularity), and other features. As the key ingredient, we developed a separation logic over Petri nets. We also show how ...