Related papers: Module-less Synthesis on Cyberphysical Digital Mic…
Previous devices to separate cells by the characteristic force they experience due to dielectrophoresis, which depends on the size and electric properties of the particle, were limited by the flow rates and particle concentrations…
Biphilic microdome arrays are ubiquitous in nature, but their synthetic counterparts have been scarce. To bridge that gap, we leverage condensed droplet polymerization (CDP) to enable their template-free synthesis. During CDP, monomer…
Integrating biology with complementary metal-oxide-semiconductor (CMOS) sensors can enable highly parallel measurements with minimal parasitic effects, significantly enhancing sensitivity. However, realizing this potential often requires…
The intricate microstructure serves as the cornerstone for the composition/processing-structure-property (CPSP) connection in multiphase alloys. Traditional alloy design methods often overlook microstructural details, which diminishes the…
This paper proposes a mode multigrid (MMG) method, and applies it to accelerate the convergence of the steady state flow on unstructured grids. The dynamic mode decomposition (DMD) technique is used to analyze the convergence process of…
Microfluidic multipoles (MFMs) have been realized experimentally and hold promise for "open-space" biological and chemical surface processing. Whereas convective flow can readily be predicted using hydraulic-electrical analogies, the design…
Model-driven analysis of biophysical phenomena is gaining increased attention and utility for medical imaging applications. In magnetic resonance imaging (MRI), the availability of well-established models for describing the relations…
Microdialysis is a well-established method for in vivo neurochemical measurements of small molecules, with implanted concentric-design probes offering minimized tissue damage and good temporal and spatial resolution. However, the large…
Flow-matching models have enabled high-quality text-to-speech synthesis, but their iterative sampling process during inference incurs substantial computational cost. Although distillation is widely used to reduce the number of inference…
Amorphous molecular solids offer a promising alternative to inorganic semiconductors, owing to their mechanical flexibility and solution processability. The packing structure of these materials plays a crucial role in determining their…
We present a new technique for obtaining simultaneous multimodal quantitative phase and fluorescence microscopy of biological cells, providing both quantitative phase imaging and molecular specificity using a single camera. Our system is…
Label-free detecting multiple analytes in a high-throughput fashion has been one of the long-sought goals in biosensing applications. Yet, for all-optical approaches, interfacing state-of-the-art label-free techniques with microfluidics…
We address the problem of designing micro-fluidic chips for sample preparation, which is a crucial step in many experimental processes in chemical and biological sciences. One of the objectives of sample preparation is to dilute the sample…
We propose a synthesis method for the design of digital twins applicable to various systems (pneumatic, hydraulic, electrical/electronic circuits). The methodology allows representing the operation of these systems through an active digital…
We consider the problem of designing distributed controllers to guarantee dissipativity of a networked system comprised of dynamically coupled subsystems. We require that the control synthesis is carried out locally at the subsystem-level,…
Developing critical components, such as mission controllers or embedded systems, is a challenging task. Reactive synthesis is a technique to automatically produce correct controllers. Given a high-level specification written in LTL,…
Capturing biological specimens at large scales with sub-micron resolution is crucial for biomedical research, but conventional cameras often can't handle the pixel requirements. While most microscopes use motorized stages to move samples…
An important issue with oversampled FIR analysis filter banks (FBs) is to determine inverse synthesis FBs, when they exist. Given any complex oversampled FIR analysis FB, we first provide an algorithm to determine whether there exists an…
Traditional computer-aided synthesis planning (CASP) methods rely on iterative single-step predictions, leading to exponential search space growth that limits efficiency and scalability. We introduce a series of transformer-based models,…
Objective: We aim to improve operational robustness of liquid scanning probes. Two main failure modes to be addressed are an obstruction of the flow path of the processing liquid and a deviation from the desired gap distance between probe…