Generic regular decompositions for generic zero-dimensional systems von Tang, XiaoXian, Chen, ZhengHong, Xia, BiCan

Volltext

Television video recording probe applied to drilling von CHEN BICAN, TIAN YUNFEI, ZHENG XIAO, XIANG BAOGANG, PAN LUANYOU, WANG HUANYU, WAN CONG, ZHANG NING

Volltext bestellen

Method and system for determining geometric heterogeneity of crystalline rock minerals von CHEN BICAN, TANG HAO, ZHAO HUI, HUANG ZHONGCHUN, ZHANG HAORAN, ZHANG NING, ZENG WEIGUO

Volltext bestellen

Generic Regular Decompositions for Parametric Polynomial Systems von CHEN Zhenghong TANG Xiaoxian XIA Bican

Volltext

Kneading device for animal experiment von LI ZHOUJIN, CHEN BICAN, TANG WEI, LIU YIWEI, HUANG HUITAO, MAO JIAWEN, GENG XIAOXI, YE YONG, LONG QIAN, WANG WENXING, SHAO XIA, WANG HUIJUAN, PENG HONGHAI, FENG ZHIQIANG, WANG JIANGCHENG, MA QINGHUA, WANG ZHE

Volltext bestellen

Device and method for detecting harmful gas in exploration drilling layering von CHEN BICAN, WANG SHAOBIAO, HUANG JIANLONG, SUN HAILUN, ZENG HONGHUI, DONG RUYI, ZENG WEIGUO, TANG HAO, WU FEI, LIU CHAOWEI, ZHAO HUI, WANG GANG, ZHAN JIANXIN, BAO XUN, TANG HONG

Volltext bestellen

Reduction of CO2 to CO via reverse water-gas shift reaction over CeO2 catalyst von Dai, Bican, Cao, Shiquan, Xie, Hongmei, Zhou, Guilin, Chen, Shengming

Volltext

Reachability Analysis for Solvable Dynamical Systems von Gan, Ting, Chen, Mingshuai, Li, Yangjia, Xia, Bican, Zhan, Naijun

Volltext

Isolating all the real roots of a mixed trigonometric-polynomial von Chen, Rizeng, Li, Haokun, Xia, Bican, Zhao, Tianqi, Zheng, Tao

Volltext

A decision procedure for string constraints with string/integer conversion and flat regular constraints von Wu, Hao, Chen, Yu-Fang, Wu, Zhilin, Xia, Bican, Zhan, Naijun

Volltext

Reaction kinetics analysis of branched-chain alkyl esters of palmitic acid and cold flow properties von Ni, Zihao, Zhai, Yuling, Li, Fashe, Wang, Hua, Yang, Kai, Wang, Bican, Chen, Yu

Volltext

Generic regular decompositions for parametric polynomial systems von Chen, Zhenghong, Tang, Xiaoxian, Xia, Bican

Volltext

Triangular decomposition of semi-algebraic systems von Chen, Changbo, Davenport, James H., May, John P., Moreno Maza, Marc, Xia, Bican, Xiao, Rong

Volltext

Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF von Gan, Ting, Dai, Liyun, Xia, Bican, Zhan, Naijun, Kapur, Deepak, Chen, Mingshuai

Volltext

Computing with semi-algebraic sets: Relaxation techniques and effective boundaries von Chen, Changbo, Davenport, James H., Moreno Maza, Marc, Xia, Bican, Xiao, Rong

Volltext

Decidability of the Reachability for a Family of Linear Vector Fields von Gan, Ting, Chen, Mingshuai, Dai, Liyun, Xia, Bican, Zhan, Naijun

Volltext

Isolating Bounded and Unbounded Real Roots of a Mixed Trigonometric-Polynomial von Chen, Rizeng, Li, Haokun, Xia, Bican, Zhao, Tianqi, Zheng, Tao

Volltext bestellen

Hierarchical Comprehensive Triangular Decomposition von Chen, Zhenghong, Tang, Xiaoxian, Xia, Bican

Volltext

Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems von Chen, Yinghua, Xia, Bican, Yang, Lu, Zhan, Naijun, Zhou, Chaochen

Volltext

Isolating Bounded and Unbounded Real Roots of a Mixed Trigonometric-Polynomial von Chen, Rizeng, Li, Haokun, Xia, Bican, Zhao, Tianqi, Zheng, Tao

Volltext