A5041128299- Chemical Synthesis and Analysis
- Crystal structures of chemical compounds
- Natural Language Processing Techniques
- Photosynthetic Processes and Mechanisms
- Monoclonal and Polyclonal Antibodies Research
- Advanced Photocatalysis Techniques
- X-ray Diffraction in Crystallography
- Protein purification and stability
- Synthesis and Characterization of Heterocyclic Compounds
- Semantic Web and Ontologies
- Logic, programming, and type systems
- Molecular Sensors and Ion Detection
- Electrochemical sensors and biosensors
- Model-Driven Software Engineering Techniques
- Advanced biosensing and bioanalysis techniques
- Pancreatic function and diabetes
- Electrocatalysts for Energy Conversion
- Crystallization and Solubility Studies
- Polyoxometalates: Synthesis and Applications
- Topic Modeling
Peking University
2004-2024
Dalian University
2020
Dalian University of Technology
2020
Fudan University
2013
Equivalence checking, i.e., determining whether two programs produce identical outputs for all possible inputs, underpins a broad range of applications, including software refactoring, testing, and optimization. We present the task equivalence checking as new way to evaluate code reasoning abilities large language models (LLMs). introduce EquiBench, dataset 2400 program pairs spanning four programming languages six categories. These are systematically generated through analysis, compiler...
The continued interest in protein engineering has led to intense efforts developing novel stable enzymes, which could not only give boost industrial and biomedical applications, but also enhance our understanding of the structure-function relationships proteins. We present here generation three hybrid proteins cytochrome c (cyt c) peroxidase via structure-based rational mutagenesis cyt c. Several residues (positions 67, 70, 71 80) distal heme region were mutated highly conserved amino acids...
Syntactic sugar plays a crucial role in engineering programming languages. It offers convenient syntax and higher-level of abstractions, as witnessed by its pervasive use both general-purpose domain-specific contexts. Unfortunately, the traditional approach translating programs containing syntactic sugars into host language can lead to abstraction leakage, breaking promise convenience hindering program comprehension. To address this challenge, we introduce idea semantics lifting that aims...
Journal Article Effects of Deletion and Shift the A20–B19 Disulfide Bond on Structure, Activity, Refolding Proinsulin Get access Zhao-Hui Wang, Wang National Laboratory Protein Engineering Plant Genetic Engineering, College Life Sciences, Peking University, Beijing, 100871, People’s Republic China Search for other works by this author on: Oxford Academic PubMed Google Scholar Ying Liu, Liu Jian-Guo Ji, Ji Tang The Biochemistry, Volume 135, Issue 1, January 2004, Pages 25–31,...
In the title compound, C12H18O6.CH3CN, both components have crystallographically imposed C3 symmetry. The hydrogen bonds between three carboxylic acid groups of (1α,3α,5α)-1,3,5-trimethyl-1,3,5-cyclohexanetricarboxylic (Kemp's triacid) and other triacid moieties make a three-dimensional hydrogen-bonding network producing large intermolecular cavities.
Two derivatives of Kemp's triacid (cis,cis-1,3,5-trimethylcyclohexane-1,3,5-tricarboxylic acid) have been structurally characterized. The imide cis,cis-N-(4-n-butylphenyl)-5-carboxy-1,3,5-trimethylcyclohexane-1,3-dicarboximide crystallizes either pure (C 22 H 29 NO 4 ) or as a methanol solvate .CH 3 OH) in which the solvent molecule is hydrogen bonded to and carboxyl-O atoms. triester derivative, tribenzyl cis,cis-1,3,5-trimethylcyclohexane-1,3,5-tricarboxylate 33 36 O 6 ), presents concave...