- Service-Oriented Architecture and Web Services
- Topic Modeling
- Model-Driven Software Engineering Techniques
- Software Testing and Debugging Techniques
- Monoclonal and Polyclonal Antibodies Research
- Advanced Software Engineering Methodologies
- Semantic Web and Ontologies
- Glycosylation and Glycoproteins Research
- Software Reliability and Analysis Research
- Viral Infectious Diseases and Gene Expression in Insects
- Natural Language Processing Techniques
- Formal Methods in Verification
- Advanced Graph Neural Networks
- Data Quality and Management
- Autonomous Vehicle Technology and Safety
- Business Process Modeling and Analysis
- Protein purification and stability
- Embedded Systems Design Techniques
- Real-Time Systems Scheduling
- Micro and Nano Robotics
- Multimodal Machine Learning Applications
- Advanced Computational Techniques and Applications
- Web Data Mining and Analysis
- Digital Transformation in Industry
- Simulation Techniques and Applications
Nanjing University of Aeronautics and Astronautics
2017-2025
University of Michigan
2022-2023
Zhejiang University-University of Edinburgh Institute
2023
Zhejiang University
2023
Zhejiang International Studies University
2023
Ministry of Industry and Information Technology
2020-2022
Johns Hopkins University
2019-2022
BioSurfaces (United States)
2022
Critical Software (Portugal)
2021
San Jose State University
2017
Therapeutic antibody development requires selection and engineering of molecules with high affinity other drug-like biophysical properties. Co-optimization multiple properties remains a difficult time-consuming process that impedes drug development. Here we evaluate the use machine learning to simplify co-optimization for clinical-stage (emibetuzumab) displays levels both on-target (antigen) off-target (non-specific) binding. We mutate sites in complementarity-determining regions, sort...
Autonomous vehicles must operate safely in their dynamic and continuously-changing environment. However, the operating environment of an autonomous vehicle is complicated full various types uncertainties. Additionally, has many configurations, including static obstacles with which avoid collisions. Though approaches targeting configuration for have shown promising results, effectiveness dealing a continuous-changing limited. Thus, it essential to learn realistic configurations environment,...
With the fast growth of artificial intelligence and big data computing technologies, more software service systems have been developed using diverse machine learning models technologies to make business intelligent decisions based on their multimedia input achieve features, such as image recognition, recommendation, decision making, prediction, etc. Nevertheless, there are increasing quality problems resulting in erroneous testing costs enterprises businesses. Existing work seldom discusses...
The traditional synthesis problem aims to automatically construct a reactive system (if it exists) satisfying given Linear Temporal Logic (LTL) specifications, and is often referred as qualitative problem. There also class of problems aiming at quantitative properties, such mean-payoff values, this type called For the two types problems, research on former has been relatively mature, latter received huge amounts attention. System designers prefer synthesize systems that satisfy resource...
Fc-mediated effector functions are key for conferring potent antibody-mediated killing of cancer cells. However, it is difficult to achieve highly selective targeting cells while minimizing toxicity on healthy tissue because the expression most receptors, albeit at lower levels, non-cancer Previous attempts increase selectivity have sought reduce binding affinity and/or avidity, which typically results in modest improvements selectivity. To overcome this limitation, we report use mixtures...
Abstract Chinese hamster ovary (CHO) cells, predominant hosts for recombinant biotherapeutics production, generate lactate as a major glycolysis by‐product. High levels adversely impact cell growth and productivity. The goal of this study was to reduce in CHO cultures by adding chemical inhibitors hexokinase‐2 (HK2), the enzyme catalyzing conversion glucose 6‐phosphate, examine their on accumulation, growth, protein titers, N ‐glycosylation. Five HK2 at different concentrations were...
Abstract Identifying, designing, deploying and maintaining accurate collaborative networks of organizations (e.g. responders in a crisis situation) are key activities nowadays ecosystems. However, there is lack regarding formal approaches dedicated to characterize organizations. Formal descriptions situations, that could be used, transformed, computed exploited would great benefit for the quality such networks. This article presents model‐based AI framework describing situations associated...
The N-glycan pattern of an IgG antibody, attached at a conserved site within the fragment crystallizable (Fc) region, is critical antibody quality attribute whose structural variability can also impact function. For tailoring Fc glycoprofile, glycoengineering in cell lines as well amino acid mutations have been applied. Multiple glycoengineered Chinese hamster ovary were generated, including defucosylated (FUT8KO), α-2,6-sialylated (ST6KI), and (FUT8KOST6KI), expressing either wild-type...
With the increasing demand to provide more detailed quality attributes, sophisticated glycan analysis tools are highly desirable for biopharmaceutical manufacturing. Here, we performed an intact glycopeptide method simultaneously analyze site-specific N- and O-glycan profiles of recombinant erythropoietin Fc (EPO-Fc) protein secreted from a Chinese hamster ovary glutamine synthetase stable cell line compared effects two commercial culture media, EX-CELL (EX) immediate advantage (IA) on...
Glycoproteomic analysis of three Chinese hamster ovary (CHO) suspension host cell lines (CHO-K1, CHO-S, and CHO-Pro5) commonly utilized in biopharmaceutical settings for recombinant protein production is reported. Intracellular secreted glycoproteins were examined. We an immobilization chemoenzymatic strategy our analysis. Glycoproteins or glycopeptides first immobilized through reductive amination, the sialyl moieties amidated protection. The desired N- O-glycans released from resin by...
Autonomous driving simulators are commonly used to develop autonomous systems (ADS) since they provide the flexibility experiment with scenarios that could even be dangerous in a real setting. This flexibility, however, comes possibility of experimenting unrealistic scenarios. To this end, we present an initial co-simulation framework integrating OpenModelica and CARLA enable real-time communication between them. As proof concept, experimented two Modelica models (air resistance energy...
With the rapid advance of mobile computing technology and wireless networking, there is a significant increase subscriptions.This brings new business requirements demands in software testing, causes issues challenges testing automation.As are multiple platforms for diverse devices, engineers suffer from different scripting languages to write platform-specific test scripts.In addition, unified automation infrastructure not offered with existing platform.This paper proposes novel approach...
Summary Collaborative and autonomous driving vehicles combine hardware software complex processes, also are heavily dependent on influenced by the world of physical cyber interactions. They have enabled many new features advanced functionalities, such as stochastic hybrid natures, mobile spatial topologies, time‐critical dependability. However, existing modeling verification techniques not established faith in proving correctness safety. Spatial time collision avoidance remains crucial...