BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Fang Yu

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

ResearcherUnclaimed source record
Logic in Computer Sciencemath.APArtificial IntelligenceComputation and Languagecond-mat.mes-hallcond-mat.mtrl-sciCryptography and SecurityFormal Languages and Automata Theoryhep-thInformation RetrievalMachine Learningphysics.ins-detphysics.opticsquant-phSoftware Engineering

Catalog footprint

What is connected

10works
15topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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

10 published item(s)

preprint2026arXiv

Neuro-Symbolic Compliance: Integrating LLMs and SMT Solvers for Automated Financial Legal Analysis

Financial regulations are increasingly complex, hindering automated compliance-especially the maintenance of logical consistency with minimal human oversight. We introduce a Neuro-Symbolic Compliance Framework that integrates Large Language Models (LLMs) with Satisfiability Modulo Theories (SMT) solvers to enable formal verifiability and optimization-based compliance correction. The LLM interprets statutes and enforcement cases to generate SMT constraints, while the solver enforces consistency and computes the minimal factual modification required to restore legality when penalties arise. Unlike transparency-oriented methods, our approach emphasizes logic-driven optimization, delivering verifiable, legally consistent reasoning rather than post-hoc explanation. Evaluated on 87 enforcement cases from Taiwan's Financial Supervisory Commission (FSC), the system attains 86.2% correctness in SMT code generation, improves reasoning efficiency by over 100x, and consistently corrects violations-establishing a preliminary foundation for optimization-based compliance applications.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Cryptanalysis and improvement of a semi-quantum private comparison protocol based on Bell states

Semi-quantum private comparison (SQPC) allows two participants with limited quantum ability to securely compare the equality of their secrets with the help of a semi-dishonest third party (TP). Recently, Jiang proposed a SQPC protocol based on Bell states (Quantum Inf Process 19(6): 180, 2020) and claimed it is secure. In this paper, we present two types of attack on Jiang's SQPC protocol. In the first type of attack, an outside eavesdropper will make participants accept a wrong result. In the second type of attack, a malicious participant will not only make the other participant accept a wrong result, but also learn the secret of the honest participant. Neither type of attack will be detected. In addition, we propose an improved SQPC protocol that can resist these two types of attack.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Extracting Lifestyle Factors for Alzheimer's Disease from Clinical Notes Using Deep Learning with Weak Supervision

Since no effective therapies exist for Alzheimer's disease (AD), prevention has become more critical through lifestyle factor changes and interventions. Analyzing electronic health records (EHR) of patients with AD can help us better understand lifestyle's effect on AD. However, lifestyle information is typically stored in clinical narratives. Thus, the objective of the study was to demonstrate the feasibility of natural language processing (NLP) models to classify lifestyle factors (e.g., physical activity and excessive diet) from clinical texts. We automatically generated labels for the training data by using a rule-based NLP algorithm. We conducted weak supervision for pre-trained Bidirectional Encoder Representations from Transformers (BERT) models on the weakly labeled training corpus. These models include the BERT base model, PubMedBERT(abstracts + full text), PubMedBERT(only abstracts), Unified Medical Language System (UMLS) BERT, Bio BERT, and Bio-clinical BERT. We performed two case studies: physical activity and excessive diet, in order to validate the effectiveness of BERT models in classifying lifestyle factors for AD. These models were compared on the developed Gold Standard Corpus (GSC) on the two case studies. The PubmedBERT(Abs) model achieved the best performance for physical activity, with its precision, recall, and F-1 scores of 0.96, 0.96, and 0.96, respectively. Regarding classifying excessive diet, the Bio BERT model showed the highest performance with perfect precision, recall, and F-1 scores. The proposed approach leveraging weak supervision could significantly increase the sample size, which is required for training the deep learning models. The study also demonstrates the effectiveness of BERT models for extracting lifestyle factors for Alzheimer's disease from clinical notes.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Security Improvements of Several Basic Quantum Private Query Protocols with O(log N) Communication Complexity

New quantum private database (with N elements) query protocols are presented and analyzed. Protocols preserve O(logN) communication complexity of known protocols for the same task, but achieve several significant improvements in security, especially concerning user privacy. For example, the randomized form of our protocol has a cheat-sensitive property - it allows the user to detect a dishonest database with a nonzero probability, while the phase-encoded private query protocols for the same task do not have such a property. Moreover, when the database performs the computational basis measurement, a particular projective measurement which can cause a significant loss of user privacy in the previous private query protocols with O(logN) communication complexity, at most half of the user privacy could leak to such a database in our protocol, while in the QPQ protocol, the entire user privacy could leak out. In addition, it is proved here that for large N, the user could detect a cheating via the computational basis measurement, with a probability close to 1/2 using O(\sqrt{N}) special queries. Finally, it is shown here, for both forms of our protocol, basic and randomized, how a dishonest database has to act in case it could not learn user's queries.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Generation and Detection of Surface Plasmon Polaritons by Transition Metal Dichalcogenides for Chip-level Electronic-Photonic Integrated Circuits

The monolithic integration of electronics and photonics has attracted enormous attention due to its potential applications. However, the realization of such hybrid circuits has remained a challenge because it requires optical communication at nanometer scales. A major challenge to this integration is the identification of a suitable material. After discussing the material aspect of the challenge, we identified atomically thin transition metal dichalcogenides (TMDs) as a perfect material platform to implement the circuit. The selection of TMDs is based on their very distinct property: monolayer TMDs are able to emit and absorb light at the same wavelength determined by direct exciton transitions. To prove the concept, we fabricated simple devices consisting of silver nanowires as plasmonic waveguides and monolayer TMDs as active optoelectronic media. Using photoexcitation, direct optical imaging and spectral analysis, we demonstrated generation and detection of surface plasmon polaritons by monolayer TMDs. Regarded as novel materials for electronics and photonics, transition metal dichalcogenides are expected to find new applications in next generation integrated circuits.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Structurally Stable Singularities for a Nonlinear Wave Equation

For the nonlinear wave equation $u_{tt} - c(u)\big(c(u) u_x\big)_x~=~0$, it is well known that solutions can develop singularities in finite time. For an open dense set of initial data, the present paper provides a detailed asymptotic description of the solution in a neighborhood of each singular point, where $|u_x|\to\infty$. The different structure of conservative and dissipative solutions is analyzed.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

A holographic p-wave superfluid

In the probe limit, we numerically construct a holographic p-wave superfluid model in the 4D and 5D AdS black holes coupled to a Maxwell-complex vector field. We find that, for the condensate with the fixed superfluid velocity, the results are similar to the s-wave cases in both 4D and 5D spacetimes. In particular, "The Cave of Winds" and the phase transition always being the second order take place in the 5D case. Moreover, we find the second-first order translating point $\frac{S_y}μ$ increases with the mass squared. Furthermore, for the supercurrent with the fixed temperature, the results agree with the GL prediction near the critical temperature. In addition, this complex vector superfluid model is still a generalization of the SU(2) superfluid model, and also provides a holographic realization of the $He_3$ superfluid system.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Structural Stability of Supersonic Contact Discontinuities in Three-Dimensional Compressible Steady Flows

In this paper, we study the structurally nonlinear stability of supersonic contact discontinuities in three-dimensional compressible isentropic steady flows. Based on the weakly linear stability result and the $L^2$-estimates obtained by the authors in J. Diff. Equ. 255(2013), for the linearized problems of three-dimensional compressible isentropic steady equations at a supersonic contact discontinuity satisfying certain stability conditions, we first derive tame estimates of solutions to the linearized problem in higher order norms by exploring the behavior of vorticities. Since the supersonic contact discontinuities are only weakly linearly stable, so the tame estimates of solutions to the linearized problems have loss of regularity with respect to both of background states and initial data, so to use the tame estimates to study the nonlinear problem we adapt the Nash-Moser-Hörmander iteration scheme to conclude that weakly linearly stable supersonic contact discontinuities in three-dimensional compressible steady flows are also structurally nonlinearly stable.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Total dose radiation and annealing responses of the back transistor of Silicon-On-Insulator pMOSFETs

The total dose radiation and annealing responses of the back transistor of Silicon-On-Insulator (SOI) pMOSFETs have been studied by comparing with those of the back transistor of SOI nMOSFETs fabricated on the same wafer. The transistors were irradiated by 60Co γ-rays with various doses, and the front transistors are biased in a Float-State and Off-State, respectively, during irradiation. The total dose radiation responses of the back transistors are characterized by their threshold voltage shifts. The results show that the total dose radiation response of the back transistor of SOI pMOSFETs, similar to that of SOI nMOSFETs, depends greatly on their bias conditions during irradiation. However, with the Float-State bias, rather than the Off-State bias, the back transistors of SOI pMOSFETs reveal a much higher sensitivity to total dose radiation, which is contrary to those of SOI nMOSFETs. In addition, it is also found that the total dose radiation effect of the back transistor of SOI pMOSFETs irradiated with Off-State bias, as well as that of the SOI nMOSFETs, exhibits an increasing trend as the channel length decreases. The annealing response of the back transistors after irradiation at room temperature without bias, characterized by their threshold voltage shifts, indicates that there is a relatively complex annealing mechanism associated with channel length and type, bias condition during irradiation. In particular, for all the transistors irradiated with Off-State bias, their back transistors show an abnormal annealing effect during early annealing. All the results have been discussed and analyzed in detail by the aid of simulation.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Proceedings 13th International Workshop on Verification of Infinite-State Systems

This volume contains the proceedings of the 13th International Workshop on Verification of Infinite-State Systems (INFINITY 2011). The workshop was held in Taipei, Taiwan on October 10, 2011, as a satellite event to the 9th International Symposium on Automated Technology for Verification and Analysis (ATVA). The INFINITY workshop aims at providing a forum for researchers who are interested in the development of formal methods and algorithmic techniques for the analysis of systems with infinitely many states, and their application in automated verification of complex software and hardware systems.

0 citations0 reviewsNo code linkedOpen access