搜索结果: 1-15 共查到“Synthesis”相关记录564条 . 查询时间(0.109 秒)
作为生物制造核心“芯片”，酶元件广泛应用于包括食品、饲料、纺织、材料、发酵、能源、精细化学品和化学药品制造等重要工业领域。酶工程可有效提升天然酶的工业应用属性，近年来该领域广受学术界及产业界关注。
Chemists at MIT have developed a novel way to synthesize himastatin, a natural compound that has shown potential as an antibiotic.
中国科学院兰州化学物理研究所编著的《Catalytic Amination for N-Alkyl Amine Synthesis》正式出版发行（图）
中国科学院兰州化学物理研究所 N-烷基化胺 催化胺化反应
2018/3/27
近日，由中国科学院兰州化学物理研究所羰基合成与选择氧化国家重点实验室石峰研究员和崔新江博士编著的《Catalytic Amination for N-Alkyl Amine Synthesis》一书由Elsevier/Academic Press出版社正式发行。羰基合成与选择氧化国家重点实验室纳米催化课题组多位老师和同学参与该著作部分内容的编写。
第25届国际有机化学合成研讨会（25th International Symposium:Synthesis in Organic Chemistry）
第25届 国际有机化学合成 研讨会
2017/1/20
The Synthesis in Organic Chemistry conference is a flagship event for the international organic chemistry community.The first meeting of this internationally renowned symposium was held in Oxford in 1...
Chemistry is an enabling science. No material of any type can be studied or utilized in a larger context unless it can be prepared, and thus Chemical Synthesis plays a central role in science, technol...
21st IUPAC International Conference on Organic Synthesis (ICOS 21)
synthetic biology pharmaceutical
2016/7/26
We are glad to welcome you to the 21st International Conference on Organic Synthesis (ICOS 21) to be held in Mumbai, India from December 11th - 16th, 2016. ICOS, renowned for leveraging the research f...
The 2016 symposium will be held on 20th September at Sygnature Discovery, BioCity, Nottingham.
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data typ...
We describe an approach for synthesizing data representations for concurrent programs. Our compiler takes as input a program written using concurrent relations and synthesizes a representation of the ...
Stratified Synthesis: Automatically Learning the x86-64 Instruction Set
ISA specification program synthesis x86-64
2016/5/24
The x86-64 ISA sits at the bottom of the software stack of most desktop and server software. Because of its importance,many software analysis and verification tools depend, either explicitly or implic...
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach,abstract data type...
Synthesis and Spectroscopic Properties of a Novel Cofacial Chlorophyll-Based Dimer
Synthesis Spectroscopic Properties Cofacial Chlorophyll-Based Dimer
2016/5/20
We wish to report the synthesis and unique spectroscopic properties of a novel, doubly linked, cofacial chlorophyll (Chl) dimer. Considerable effort has been directed toward the synthesis and characte...
GPCAD: A tool for CMOS op-amp synthesis
Automation components transistors operational amplifiers design variables and functions
2015/8/11
We present a method for optimizing and automating component and transistor sizing for CMOS operational amplifiers. We observe that a wide variety of performance measures can be formulated as posynomia...
Control system analysis and synthesis via linear matrix inequalities
Control system analysis synthesis linear matrix inequalities
2015/7/13
A wide variety of problems in systems and control theory can be cast or recast as convex problems that involve linear matrix inequalities (LMIs). For a few very special cases there are “analytical sol...
Antenna Array Pattern Synthesis via Convex Optimization
Antenna Array Pattern Synthesis Convex Optimization
2015/7/13
We show that a variety of antenna array pattern synthesis problems can be expressed as convex optimization problems, which can be (numerically) solved with great efficiency by recently developed inter...