A5100402983- Formal Methods in Verification
- Adversarial Robustness in Machine Learning
- Logic, programming, and type systems
- Software Testing and Debugging Techniques
- Model-Driven Software Engineering Techniques
- Real-Time Systems Scheduling
- Software Reliability and Analysis Research
- Advanced Software Engineering Methodologies
- Higher Education and Teaching Methods
- Software Engineering Research
- Distributed systems and fault tolerance
- Security and Verification in Computing
- Service-Oriented Architecture and Web Services
- Anomaly Detection Techniques and Applications
- Embedded Systems Design Techniques
- Advanced Neural Network Applications
- Nanoplatforms for cancer theranostics
- Advanced Computational Techniques and Applications
- Software Engineering Techniques and Practices
- Natural Language Processing Techniques
- semigroups and automata theory
- Ideological and Political Education
- Software System Performance and Reliability
- Generative Adversarial Networks and Image Synthesis
- Rough Sets and Fuzzy Logic
Shanghai Normal University
2019-2025
Changzhi Medical College
2024-2025
Guilin University of Electronic Technology
2025
Tianjin University of Traditional Chinese Medicine
2023-2025
Shanghai Key Laboratory of Trustworthy Computing
2015-2024
East China Normal University
2015-2024
China Pharmaceutical University
2012-2024
National University of Defense Technology
2018-2024
Tongji University
2012-2024
Hetao College
2024
The black-box adversarial attack has attracted impressive attention for its practical use in the field of deep learning security. Meanwhile, it is very challenging as there no access to network architecture or internal weights target model. Based on hypothesis that if an example remains multiple models, then more likely transfer capability other ensemble-based methods are efficient and widely used attacks. However, ways ensemble rather less investigated, existing attacks simply fuse outputs...
The resistance of cancer cells to photothermal therapy is closely related the overexpression heat shock proteins (HSPs), which are abnormally upregulated when under lethal stresses. Common strategies that use small molecule inhibitors against HSPs enhance hyperthermia effect lack spatial and temporal control drug release, leading unavoidable systemic toxicity. Herein, a versatile platform developed composed hollow gold nanoshell core densely packed with interfering RNAs protein 70 (Hsp70)....
Abstract Tidal flats play a critical role in supporting biodiversity and providing ecosystem services but are rapidly disappearing because of human activities. The Yangtze Estuary is one the world’s largest alluvial estuaries adjacent to most developed economic zone China. Using as study region, we an automatic algorithm estimate tidal flat areas based on Land Surface Water Index Normalized Difference Vegetation Index. total area has decreased by 36% over past three decades, including 38%...
Abstract Summary: A new pKa prediction web server is released, which implements DelPhi Gaussian dielectric function to calculate electrostatic potentials generated by charges of biomolecules. Topology parameters are extended include atomic information nucleotides RNA and DNA, extends the capability calculations beyond proteins. The allows end-user protonate biomolecule at particular pH based on calculated values provides downloadable file in PQR format. Several tests performed benchmark...
Chloramphenicol (CAP) is one of the most effective antimicrobial agents, but its therapeutic efficacy greatly limited by nonspecific distribution and consequent side effects in neutrophils. Targeting to infection sites, thus restricting CAP nonselective delivery, provides an alternative way overcome this limitation. The antibacterial peptide fragment UBI29-41 was identified have a high bacterial affinity. However, no research so far has been carried out utilize as ligand for...
Photodynamic therapy (PDT) has recently emerged as an approach to enhance intratumoral accumulation of nanoparticles. However, conventional PDT is greatly limited by the inability excitation light sufficiently penetrate tissue, rendering ineffective in relatively deep tumors. To address this limitation, we developed a novel platform and reported for first time effect deep-tissue on nanoparticle uptake This employed c(RGDyK)-conjugated upconversion nanoparticles (UCNPs), which facilitate...
Synthesis and characterization of multifunctional theranostic microcapsules for combined chemotherapy photothermal therapy.
Nanomedicine platforms that have the potential to simultaneously provide function of molecular imaging and therapeutic treatment in one system are beneficial address challenges cancer heterogeneity adaptive resistance. In this study, Cyclic RGD peptide (cRGD), a less-expensive active tumor targeting tri-peptide, doxorubicin (DOX), widely used chemotherapeutic drug, were covalently attached Ag2S quantum dots (QDs) form nano-conjugates Ag2S-DOX-cRGD. The optical characterization Ag2S-DOX-cRGD...
Programmable drug delivery systems hold great promise to enhance cancer treatment. Herein, a programmable system using chondroitin sulfate (CS)-based composite nanoparticle was developed for enhancing and sensitizing chemotherapy drug-resistant cancer. The composed of cross-linked CS hydrogel shell hydrophobic cores containing both free drugs CS-linked prodrugs. Interestingly, the could mediate tumor-specific CD44 targeting. After specific cellular uptake, payloads were suddenly released...
Due to deeply intertwined physical and hardware/software components together with an increasing number of interconnected heterogeneous devices powered by artificial intelligence (AI) techniques, the design complexity cyber–physical systems (CPSs) becomes skyrocketing. Model-driven engineering (MDE) methods have been proven be effective in productivity CPS design. However, there is still a lack MDE approaches that enable space exploration as well code generation for Artificial Intelligence...
Traditional Chinese medicine (TCM) has been extensively employed for the treatment of coronavirus disease 2019 (COVID-19) caused by severe acute respiratory syndrome 2 (SARS-CoV-2). However, there is demand discovering more SARS-CoV-2 Mpro inhibitors with diverse scaffolds to optimize anti-SARS-CoV-2 lead compounds. In this study, comprehensive in silico and vitro assays were utilized determine potential from TCM compounds against Mpro, which an important therapeutic target SARS-CoV-2. The...
Abstract In many large estuaries there are significant variations in flow conditions due to the interaction between tide (with spring–neap changes) and river discharge wet–dry seasons), which is key understanding evolution of morphology resultant equilibrium state. To explore whether exists an state, what might control such a state dynamic environment, both numerical analytical methods have been used investigate relative importance contributions work done locally globally over wide range...
Image Inpainting has recently become an important research problem due to the rise of generative image synthesis models. While many solutions have been proposed for this problem, it is challenging establish a testbed different possible types inpainting masks e.g., completion mask, expand thick brushes etc. Most shine on object removal or texture synthesis, while semantic generation still difficult achieve. To address these issues, we introduce first general Challenge. The target develop that...
Prophylactic respiratory support for patients after extubation is effective in improving their outcomes and prognosis. However, the optimal post-extubation different populations disease types of mechanically ventilated remains controversial, there a lack detailed, multidisciplinary, evidence-based recommendations clinical application. Methods Analysis This protocol strictly follows development process outlined WHO Handbook Guideline Development Guidelines 2.0, as well guidelines relevant...
Abstract. Delta cities are increasingly vulnerable to flood risks due the uncertainties surrounding climate change and socioeconomic development. Decision-makers face significant challenges in determining whether invest high-level defenses for long-term planning. Adaptation solutions should be given considerable attention not only robustness but also adaptiveness if future unfolds as expectation. To support decision-making meet multi-objective targets, we propose a synthesized framework that...
This study developed and tested a model linking independent self-construal to radical creativity by utilizing the framework of uniqueness theory. We administered time-lagged surveys 277 dyads employees their immediate supervisors. The results showed that had significant positive effect on creativity, while need for played mediating role in this relationship. Furthermore, an error-management climate positively moderated both relationship between uniqueness, indirect through uniqueness....
Virtual film production requires intricate decision-making processes, including scriptwriting, virtual cinematography, and precise actor positioning actions. Motivated by recent advances in automated with language agent-based societies, this paper introduces FilmAgent, a novel LLM-based multi-agent collaborative framework for end-to-end automation our constructed 3D spaces. FilmAgent simulates various crew roles, directors, screenwriters, actors, cinematographers, covers key stages of...