Source author record

Guowei Yang

Guowei Yang appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

4works
8topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

4 published item(s)

preprint2025arXiv

Tuneable ion selectivity in vermiculite membranes intercalated with unexchangeable ions

Membranes selective to ions of the same charge are increasingly sought for wastewater processing and valuable element recovery. However, while narrow channels are known to be essential, other membrane parameters remain difficult to identify and control. Here we show that Zr$^{4+}$, Sn$^{4+}$, Ir$^{4+}$, and La$^{3+}$ ions intercalated into vermiculite laminate membranes become effectively unexchangeable, creating stable channels, one to two water layers wide, that exhibit robust and tuneable ion selectivity. Ion permeability in these membranes spans five orders of magnitude, following a trend dictated by the ions' Gibbs free energy of hydration. Unexpectedly, different intercalated ions lead to two distinct monovalent ion selectivity sequences, despite producing channels of identical width. The selectivity instead correlates with the membranes' stiffness and the entropy of hydration of the intercalated ions. These results introduce a new ion selectivity mechanism driven by entropic and mechanical effects, beyond classical size and charge exclusion.

preprint2020arXiv

Audio-Visual Event Localization via Recursive Fusion by Joint Co-Attention

The major challenge in audio-visual event localization task lies in how to fuse information from multiple modalities effectively. Recent works have shown that attention mechanism is beneficial to the fusion process. In this paper, we propose a novel joint attention mechanism with multimodal fusion methods for audio-visual event localization. Particularly, we present a concise yet valid architecture that effectively learns representations from multiple modalities in a joint manner. Initially, visual features are combined with auditory features and then turned into joint representations. Next, we make use of the joint representations to attend to visual features and auditory features, respectively. With the help of this joint co-attention, new visual and auditory features are produced, and thus both features can enjoy the mutually improved benefits from each other. It is worth noting that the joint co-attention unit is recursive meaning that it can be performed multiple times for obtaining better joint representations progressively. Extensive experiments on the public AVE dataset have shown that the proposed method achieves significantly better results than the state-of-the-art methods.

preprint2020arXiv

Constraint Solving with Deep Learning for Symbolic Execution

Symbolic execution is a powerful systematic software analysis technique, but suffers from the high cost of constraint solving, which is the key supporting technology that affects the effectiveness of symbolic execution. Techniques like Green and GreenTrie reuse constraint solutions to speed up constraint solving for symbolic execution; however, these reuse techniques require syntactic/semantic equivalence or implication relationship between constraints. This paper introduces DeepSover, a novel approach to constraint solving with deep learning for symbolic execution. Our key insight is to utilize the collective knowledge of a set of constraint solutions to train a deep neural network, which is then used to classify path conditions for their satisfiability during symbolic execution. Experimental evaluation shows DeepSolver is highly accurate in classifying path conditions, is more efficient than state-of-the-art constraint solving and constraint solution reuse techniques, and can well support symbolic execution tasks.