Search

Understanding how colloids move in crowded environments is key for gaining control over their transport in applications such as drug delivery, filtration, contaminant/microplastic remediation and agriculture. The classical models of colloid transport in porous media rely on geometric characteristics of the medium, and hydrodynamic/non-hydrodynamic equilibrium interactions to predict their behavior. However, chemical gradients are ubiquitous in these environments and can lead to the non-equilibrium diffusiophoretic migration of colloids. Here, combining microfluidic experiments, numerical simulations, and theoretical modeling we demonstrate that diffusiophoresis leads to significant macroscopic changes in the dispersion of colloids in porous media. We displace a suspension of colloids dispersed in a background salt solution with a higher/lower salinity solution and monitor the removal of the colloids from the medium. While mixing weakens the solute gradients, leading to the diffusiophoretic velocities that are orders of magnitude weaker than the background fluid flow, we show that the cross-streamline migration of colloids changes their macroscopic transit time and dispersion through the medium by an order of magnitude compared to the control case with no salinity gradients. Our observations demonstrate that solute gradients modulate the influence of geometric disorder on the transport, pointing to the need for revisiting the classical models of colloid transport in porous media to obtain predictive models for technological, medical, and environmental applications.

Semiconductor heterojunctions are foundational to many advanced electronic and optoelectronic devices. However, achieving high-quality, lattice-mismatched interfaces remains challenging, limiting both scalability and device performance. Semiconductor grafting offers a promising solution by directly forming electrically active, lattice-mismatched heterojunctions between dissimilar materials. However, its scalability and uniformity at the wafer level have yet to be demonstrated. This work demonstrates the achievement of highly uniform, reproducible results across silicon, sapphire, and gallium nitride (GaN) substrates using wafer-scale semiconductor grafting. To illustrate this scalability, we conducted an in-depth study of a grafted Si/GaN heterojunction, examining band alignment through X-ray photoelectron spectroscopy and confirming crystallinity and interfacial integrity with scanning transmission electron microscopy. The resulting p-n diodes exhibit significantly enhanced electrical performance and wafer-scale uniformity compared to conventional approaches. This work establishes wafer-scale semiconductor grafting as a versatile and scalable technology, bridging the gap between laboratory-scale research and industrial manufacturing for heterogeneous semiconductor integration, and paving the way for novel, high-performance electronic and optoelectronic devices., Comment: 23 pages, 6 figures

An in-house numerical model has been developed to study the temperature destratification induced by bubble plumes in reservoirs. The mean flow of the mixed fluid phase is solved using the Reynolds-Averaged Navier-Stokes Equations, while the bubble phase is calculated by employing the advection-diffusion equation of air concentration. The change of water temperature is tracked by solving the energy equation. The two-equation turbulence model, considering the effect of bubble buoyancy and the change of temperature, is adopted to model the turbulent dissipation in two-phase fluid. To validate the accuracy of the numerical model, the numerical results are compared with available experimental data. In addition, the destratification of temperature-layered water in a tank by bubble plumes is simulated by the numerical model, which is also validated by experimental data and the numerical results of another model. This three-dimensional model can reflect various physical quantities in the entire computed filed, such as thermal structure, gas concentration distribution, velocity distribution and turbulence intensity. Furthermore, by utilizing the validated model, a series of factors on reservoir destratification, including the aeration rate and the aeration location are analyzed and discussed in this study. A non-dimensional number Nt is introduced to determine the optimal aeration rate of the fasted destratification. The extent to which bubble plumes can affect the destratification is also simulated and discussed. Meanwhile, the mechanism of destratification in a large water area is described in detail. Suggestions on how to apply bubble plumes to improve the water quality of a reservoir are given.

We report the fabrication and characteristics of GaAs/Si p+/n+ heterojunction tunnel diodes. These diodes were fabricated via grafting the freestanding single-crystalline p-type degenerately doped GaAs (4E19 cm-3) nanomembrane (NM) onto single-crystalline n-type Si (5E19 cm-3) substrate. At the heterointerface, an amorphous ultrathin oxygen-enriched layer (UOL) was intentionally engineered through chemical oxidation and atomic layer deposition (ALD). Scanning transmission electron microscopy (STEM) confirmed the formation of the UOL and the single crystallinity of the grafted junction. The resulting tunnel diodes consistently exhibited negative differential resistance (NDR) behavior at room temperature, with a high maximum peak-to-valley current ratio (PVCR) of 36.38, valley voltages ranging from 1.3 to 1.8 V, and a peak tunneling current density of 0.95 kA/cm2. This study not only highlights the critical roles of the UOL as both an interface improvement layer and a quantum tunneling medium, but also establishes "semiconductor grafting" as an effective and versatile method for high-performance, lattice-mismatched heterojunction devices., Comment: 4 pages, 5 figures

Group IV GeSn double-heterostructure (DHS) lasers offer unique advantages of a direct bandgap and CMOS compatibility. However, further improvements in laser performance have been bottlenecked by limited junction properties of GeSn through conventional epitaxy and wafer bonding. This work leverages semiconductor grafting to synthesize and characterize optically pumped ridge edge-emitting lasers (EELs) with an AlGaAs nanomembrane (NM) transfer-printed onto an epitaxially grown GeSn substrate, interfaced by an ultrathin Al2O3 layer. The grafted AlGaAs/GeSn DHS lasers show a lasing threshold of 11.06 mW at 77 K and a maximum lasing temperature of 130 K. These results highlight the potential of the grafting technique for enhancing charge carrier and optical field confinements, paving the way for room-temperature electrically injected GeSn lasers., Comment: 5 pages, 5 figures. Supplementary Information included

Unsupervised anomaly detection is a challenging computer vision task, in which 2D-based anomaly detection methods have been extensively studied. However, multimodal anomaly detection based on RGB images and 3D point clouds requires further investigation. The existing methods are mainly inspired by memory bank based methods commonly used in 2D-based anomaly detection, which may cost extra memory for storing mutimodal features. In present study, a novel memoryless method MDSS is proposed for multimodal anomaly detection, which employs a light-weighted student-teacher network and a signed distance function to learn from RGB images and 3D point clouds respectively, and complements the anomaly information from the two modalities. Specifically, a student-teacher network is trained with normal RGB images and masks generated from point clouds by a dynamic loss, and the anomaly score map could be obtained from the discrepancy between the output of student and teacher. Furthermore, the signed distance function learns from normal point clouds to predict the signed distances between points and surface, and the obtained signed distances are used to generate anomaly score map. Subsequently, the anomaly score maps are aligned to generate the final anomaly score map for detection. The experimental results indicate that MDSS is comparable but more stable than the SOTA memory bank based method Shape-guided, and furthermore performs better than other baseline methods., Comment: 14 pages, 4 figures, 2 tables, to be published in PRCV-2024

This study presents the fabrication and characterizations of an Al$_{0.3}$Ga$_{0.7}$As/Ge$_{0.87}$Sn$_{0.13}$/GeSn p-i-n double heterostructure (DHS) diode following the grafting approach for enhanced optoelectronic applications. By integrating ultra-thin Al$_2$O$_3$ as a quantum tunneling layer and enhancing interfacial double-side passivation, we achieved a heterostructure with a substantial 1.186 eV conduction band barrier between AlGaAs and GeSn, along with a low interfacial density of states. The diode demonstrated impressive electrical characteristics with high uniformity, including a mean ideality factor of 1.47 and a mean rectification ratio of 2.95E103 at +/-2 V across 326 devices, indicating high-quality device fabrication. Comprehensive electrical characterizations, including C-V and I-V profiling, affirm the diode's capability to provide robust electrical confinement and efficient carrier injection. These properties make the Al$_{0.3}$Ga$_{0.7}$As/Ge$_{0.87}$Sn$_{0.13}$/GeSn DHS a promising candidate for next-generation electrically pumped GeSn lasers, potentially operable at higher temperatures. Our results provide a viable pathway for further advancements in various GeSn-based devices., Comment: 5 pages, 4 figures

Attributed networks containing entity-specific information in node attributes are ubiquitous in modeling social networks, e-commerce, bioinformatics, etc. Their inherent network topology ranges from simple graphs to hypergraphs with high-order interactions and multiplex graphs with separate layers. An important graph mining task is node clustering, aiming to partition the nodes of an attributed network into k disjoint clusters such that intra-cluster nodes are closely connected and share similar attributes, while inter-cluster nodes are far apart and dissimilar. It is highly challenging to capture multi-hop connections via nodes or attributes for effective clustering on multiple types of attributed networks. In this paper, we first present AHCKA as an efficient approach to attributed hypergraph clustering (AHC). AHCKA includes a carefully-crafted K-nearest neighbor augmentation strategy for the optimized exploitation of attribute information on hypergraphs, a joint hypergraph random walk model to devise an effective AHC objective, and an efficient solver with speedup techniques for the objective optimization. The proposed techniques are extensible to various types of attributed networks, and thus, we develop ANCKA as a versatile attributed network clustering framework, capable of attributed graph clustering (AGC), attributed multiplex graph clustering (AMGC), and AHC. Moreover, we devise ANCKA with algorithmic designs tailored for GPU acceleration to boost efficiency. We have conducted extensive experiments to compare our methods with 19 competitors on 8 attributed hypergraphs, 16 competitors on 6 attributed graphs, and 16 competitors on 3 attributed multiplex graphs, all demonstrating the superb clustering quality and efficiency of our methods., Comment: 25 pages, 15 figures

Graph Neural Networks (GNNs) excel in machine learning tasks involving graphs, such as node classification, graph classification, and link prediction. However, explaining their decision-making process is challenging due to the complex transformations GNNs perform by aggregating relational information from graph topology. Existing methods for explaining GNNs face key limitations: (1) lack of flexibility in generating explanations at varying levels, (2) difficulty in identifying unique substructures relevant to class differentiation, and (3) little support to ensure the trustworthiness of explanations. To address these challenges, we introduce GNNAnatomy, a visual analytics system designed to generate and evaluate multi-level GNN explanations for graph classification tasks. GNNAnatomy uses graphlets, primitive graph substructures, to identify the most critical substructures in a graph class by analyzing the correlation between GNN predictions and graphlet frequencies. These correlations are presented interactively for user-selected group of graphs through our visual analytics system. To further validate top-ranked graphlets, we measure the change in classification confidence after removing each graphlet from the original graph. We demonstrate the effectiveness of GNNAnatomy through case studies on synthetic and real-world graph datasets from sociology and biology domains. Additionally, we compare GNNAnatomy with state-of-the-art explainable GNN methods to showcase its utility and versatility.

Communication among healthcare professionals (HCPs) is crucial for the quality of patient treatment. Surrounding each patient's treatment, communication among HCPs can be examined as temporal networks, constructed from Electronic Health Record (EHR) access logs. This paper introduces a visual analytics system designed to study the effectiveness and efficiency of temporal communication networks mediated by the EHR system. We present a method that associates network measures with patient survival outcomes and devises effectiveness metrics based on these associations. To analyze communication efficiency, we extract the latencies and frequencies of EHR accesses. Our visual analytics system is designed to assist in inspecting and understanding the composed communication effectiveness metrics and to enable the exploration of communication efficiency by encoding latencies and frequencies in an information flow diagram. We demonstrate and evaluate our system through multiple case studies and an expert review.

Recent advancements in pre-trained large-scale language-image models have ushered in a new era of visual comprehension, offering a significant leap forward. These breakthroughs have proven particularly instrumental in addressing long-standing challenges that were previously daunting. Leveraging these innovative techniques, this paper tackles two well-known issues within the realm of visual analytics: (1) the efficient exploration of large-scale image datasets and identification of potential data biases within them; (2) the evaluation of image captions and steering of their generation process. On the one hand, by visually examining the captions automatically generated from language-image models for an image dataset, we gain deeper insights into the semantic underpinnings of the visual contents, unearthing data biases that may be entrenched within the dataset. On the other hand, by depicting the association between visual contents and textual captions, we expose the weaknesses of pre-trained language-image models in their captioning capability and propose an interactive interface to steer caption generation. The two parts have been coalesced into a coordinated visual analytics system, fostering mutual enrichment of visual and textual elements. We validate the effectiveness of the system with domain practitioners through concrete case studies with large-scale image datasets.

The inherent diversity of computation types within the deep neural network (DNN) models often requires a variety of specialized units in hardware processors, which limits computational efficiency, increasing both inference latency and power consumption, especially when the hardware processor needs to support and execute different neural networks. In this study, we introduce NeuralMatrix, which elastically transforms the computations of entire DNNs into linear matrix operations. This transformation allows seamless execution of various DNN models all with matrix operations and paves the way for running versatile DNN models with a single General Matrix Multiplication (GEMM) accelerator.Extensive experiments with both CNN and transformer-based models demonstrate the potential of NeuralMatrix to accurately and efficiently execute a wide range of DNN models, achieving 2.17-38.72 times computation efficiency (i.e., throughput per power) compared to CPUs, GPUs, and SoC platforms. This level of efficiency is usually only attainable with the accelerator designed for a specific neural network., Comment: 9 pages, 8figures, Submitted to The 39th Annual AAAI Conference on Artificial Intelligence

Vision transformer (ViT) expands the success of transformer models from sequential data to images. The model decomposes an image into many smaller patches and arranges them into a sequence. Multi-head self-attentions are then applied to the sequence to learn the attention between patches. Despite many successful interpretations of transformers on sequential data, little effort has been devoted to the interpretation of ViTs, and many questions remain unanswered. For example, among the numerous attention heads, which one is more important? How strong are individual patches attending to their spatial neighbors in different heads? What attention patterns have individual heads learned? In this work, we answer these questions through a visual analytics approach. Specifically, we first identify what heads are more important in ViTs by introducing multiple pruning-based metrics. Then, we profile the spatial distribution of attention strengths between patches inside individual heads, as well as the trend of attention strengths across attention layers. Third, using an autoencoder-based learning solution, we summarize all possible attention patterns that individual heads could learn. Examining the attention strengths and patterns of the important heads, we answer why they are important. Through concrete case studies with experienced deep learning experts on multiple ViTs, we validate the effectiveness of our solution that deepens the understanding of ViTs from head importance, head attention strength, and head attention pattern., Comment: Accepted by PacificVis 2023 and selected to be published in TVCG

Adversarial attacks on a convolutional neural network (CNN) -- injecting human-imperceptible perturbations into an input image -- could fool a high-performance CNN into making incorrect predictions. The success of adversarial attacks raises serious concerns about the robustness of CNNs, and prevents them from being used in safety-critical applications, such as medical diagnosis and autonomous driving. Our work introduces a visual analytics approach to understanding adversarial attacks by answering two questions: (1) which neurons are more vulnerable to attacks and (2) which image features do these vulnerable neurons capture during the prediction? For the first question, we introduce multiple perturbation-based measures to break down the attacking magnitude into individual CNN neurons and rank the neurons by their vulnerability levels. For the second, we identify image features (e.g., cat ears) that highly stimulate a user-selected neuron to augment and validate the neuron's responsibility. Furthermore, we support an interactive exploration of a large number of neurons by aiding with hierarchical clustering based on the neurons' roles in the prediction. To this end, a visual analytics system is designed to incorporate visual reasoning for interpreting adversarial attacks. We validate the effectiveness of our system through multiple case studies as well as feedback from domain experts., Comment: Accepted by the Special Issue on Human-Centered Explainable AI, ACM Transactions on Interactive Intelligent Systems

We construct a continuous domain for temporal discretization of differential equations. By using this domain, and the domain of Lipschitz maps, we formulate a generalization of the Euler operator, which exhibits second-order convergence. We prove computability of the operator within the framework of effectively given domains. The operator only requires the vector field of the differential equation to be Lipschitz continuous, in contrast to the related operators in the literature which require the vector field to be at least continuously differentiable. Within the same framework, we also analyze temporal discretization and computability of another variant of the Euler operator formulated according to Runge-Kutta theory. We prove that, compared with this variant, the second-order operator that we formulate directly, not only imposes weaker assumptions on the vector field, but also exhibits superior convergence rate. We implement the first-order, second-order, and Runge-Kutta Euler operators using arbitrary-precision interval arithmetic, and report on some experiments. The experiments confirm our theoretical results. In particular, we observe the superior convergence rate of our second-order operator compared with the Runge-Kutta Euler and the common (first-order) Euler operators., Comment: 50 pages, 6 figures

Agglomeration, adsorption, and extraction in dispersed multiphase systems are ubiquitously encountered in biological systems, energy industry, and medical science. In this work, a novel lattice model is extended to the three-component complex systems and criterions based on the determinant \Delta_i=F_i-K_c,i are accordingly proposed to predict the aforementioned behaviors based on a Helmholtz free energy formulation. Here, three characteristic factors F_i's are introduced to describe the internal energy effect, i.e.,F_1=A^11+A^22-2A^12 (agglomeration), F_2=A^22+A^13-A^12-A^23 (adsorption) and F_3=A^22+2A^13-A^33-2A^12 (extraction), where A_ij denotes the conservative potential coefficient between liquid particles in phase i and j, while the entropy factors K_c,i's in the determinants depend on the local structure of the liquid. To verify the theoretical criterions, many-body dissipative particle dynamics (mDPD) are employed to simulate the phase transition phenomena in various many-body dissipative systems, including agglomeration in a binary system, adsorption on solid surfaces from the liquid phase, and extraction-adsorption around an immiscible liquid-liquid interface. The simulation results show the notable dependence of the dispersed phase distribution transition on the quasi-order parameters \Delta_i's, which indicates the great potential of our model to analyzing various dispersed multiphase systems. The criterions are expected to be extended to study the structure effect induced by the temperature and dispersed particle shape on the phase transition phenomena in those complex systems.

Purpose: Arterial spin labeling (ASL) perfusion imaging indicates direct and absolute measurement of cerebral blood flow (CBF). Arterial transit time (ATT) is a related physiological parameter reflecting the duration for the labeled spins to reach the brain region of interest. Multiple post-labeling delay (PLDs) can provide robust measures of both CBF and ATT, allowing for optimization of regional CBF modeling based on ATT. The prolonged acquisition time can potentially reduce the quality and accuracy of the CBF and ATT estimation. We proposed a novel network to significantly reduce the number of PLDs with higher signal-to-noise ratio (SNR). Method: CBF and ATT estimations were performed for one PLD and two PLDs sepa-rately. Each model was trained independently to learn the nonlinear transformation from perfusion weighted image (PWI) to CBF and ATT images. Results: Both one-PLD and two-PLD models outperformed the conventional method visually on CBF and two-PLD model showed more accurate structure on ATT estima-tion. The proposed method significantly reduces the number of PLDs from 6 to 2 on ATT and even to single PLD on CBF without sacrificing the SNR. Conclusion: It is feasible to generate CBF and ATT maps with reduced PLDs using deep learning with high quality.

A domain-theoretic framework is presented for validated robustness analysis of neural networks. First, global robustness of a general class of networks is analyzed. Then, using the fact that Edalat's domain-theoretic L-derivative coincides with Clarke's generalized gradient, the framework is extended for attack-agnostic local robustness analysis. The proposed framework is ideal for designing algorithms which are correct by construction. This claim is exemplified by developing a validated algorithm for estimation of Lipschitz constant of feedforward regressors. The completeness of the algorithm is proved over differentiable networks, and also over general position ReLU networks. Computability results are obtained within the framework of effectively given domains. Using the proposed domain model, differentiable and non-differentiable networks can be analyzed uniformly. The validated algorithm is implemented using arbitrary-precision interval arithmetic, and the results of some experiments are presented. The software implementation is truly validated, as it handles floating-point errors as well., Comment: 35 pages, 10 figures, 3 tables