An adaptive regularized proximal Newton-type methods for composite optimization over the Stiefel manifold von Wang, Qinsi, Yang, Wei Hong

Volltext

π-Extended triptycene-based material for capillary gas chromatographic separations von Yang, Yinhui, Wang, Qinsi, Qi, Meiling, Huang, Xuebin

Volltext

Verification of the Instantiation and Integration of Security Patterns von Peng, Tu, Wang, Shuliang, Geng, Jing, Wang, Qinsi, Yang, Yun, Zhang, Kang

Volltext

Methods to Expand Cell Signaling Models Using Automated Reading and Model Checking von Liang, Kai-Wen, Wang, Qinsi, Telmer, Cheryl, Ravichandran, Divyaa, Spirtes, Peter, Miskov-Zivanov, Natasa

Volltext

An Adaptive Regularized Proximal Newton-Type Methods for Composite Optimization over the Stiefel Manifold von Wang, Qinsi, Wei Hong Yang

Volltext

SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems von Wang, Qinsi, Zuliani, Paolo, Kong, Soonho, Gao, Sicun, Clarke, Edmund M.

Volltext

Formal Modeling and Analysis of Pancreatic Cancer Microenvironment von Wang, Qinsi, Miskov-Zivanov, Natasa, Liu, Bing, Faeder, James R., Lotze, Michael, Clarke, Edmund M.

Volltext

Diff-Transfer: Model-based Robotic Manipulation Skill Transfer via Differentiable Physics Simulation von Xiang, Yuqi, Chen, Feitong, Wang, Qinsi, Gang, Yang, Zhang, Xiang, Zhu, Xinghao, Liu, Xingyu, Shao, Lin

Volltext bestellen

MathNAS: If Blocks Have a Role in Mathematical Architecture Design von Wang Qinsi, Ke Jinghan, Liang Zhi, Zhang, Sihai

Volltext

Diff-Transfer: Model-based Robotic Manipulation Skill Transfer via Differentiable Physics Simulation von Xiang, Yuqi, Chen, Feitong, Wang, Qinsi, Yang, Gang, Zhang, Xiang, Zhu, Xinghao, Liu, Xingyu, Shao, Lin

Volltext

Model-Checking Signal Transduction Networks through Decreasing Reachability Sets von Claessen, Koen, Fisher, Jasmin, Ishtiaq, Samin, Piterman, Nir, Wang, Qinsi

Volltext

Methods to Expand Cell Signaling Models using Automated Reading and Model Checking von Liang, Kai-Wen, Wang, Qinsi, Telmer, Cheryl, Ravichandran, Divyaa, Spirtes, Peter, Miskov-Zivanov, Natasa

Volltext bestellen

Formal Modeling and Analysis of Pancreatic Cancer Microenvironment von Wang, Qinsi, Miskov-Zivanov, Natasa, Liu, Bing, Faeder, James R, Lotze, Michael, Clarke, Edmund M

Volltext bestellen

Serial compounds with triptycene as framework and in bridge connection with metalloporphyrin through pyrene tetrone and preparation method therefor von WANG QINSI, HUANG XUEBIN, ZHANG RUBO

Volltext bestellen

Electric meter box von ZHANG BINNA, WANG QINSI, SHI SHANGBIAO, WEN MENGJING, WANG QINLING, WANG SHENGSHU

Volltext bestellen

Preparation method and testing device of special high-flame-retardant high-strength non-toxic low-smoke composite material von WANG KAIFAN, ZHANG BINNA, WANG QINSI, SHI SHANGBIAO, WEN MENGJING, WANG QINLING, WANG SHENGSHU

Volltext bestellen

SReach: A Bounded Model Checker for Stochastic Hybrid Systems von Wang, Qinsi, Zuliani, Paolo, Kong, Soonho, Gao, Sicun, Clarke, Edmund M

Volltext bestellen

Gate system and evidence obtaining method thereof von LIU ZHENJIAN, CAI WEIZHOU, CHEN LANGXIAN, XIE PINGHAI, WANG QINSI, SU JUNFENG, XIA JIE, CHEN JIA, CHEN AO

Volltext bestellen

Protruding shaping surgical instruments behind percutaneous aspiration sacculus expansion centrum of improvement von WANG QINSI, BIAN YANYAN, LIU FEN, JIA BINGHAN, YANG YUEMEI

Volltext bestellen

Boosting lithium storage in covalent organic framework via activation of 14-electron redox chemistry von Lei, Zhendong, Yang, Qinsi, Xu, Yi, Guo, Siyu, Sun, Weiwei, Liu, Hao, Lv, Li-Ping, Zhang, Yong, Wang, Yong

Volltext