Model checking QCTL plus on quantum Markov chains von Xu, Ming, Fu, Jianling, Mei, Jingyi, Deng, Yuxin

Volltext

An algebraic method to fidelity-based model checking over quantum Markov chains von Xu, Ming, Fu, Jianling, Mei, Jingyi, Deng, Yuxin

Volltext

Quantitative controller synthesis for consumption Markov decision processes von Fu, Jianling, Huang, Cheng-Chao, Li, Yong, Mei, Jingyi, Xu, Ming, Zhang, Lijun

Volltext

Hypoxia facilitates proliferation of smooth muscle cells derived from pluripotent stem cells for vascular tissue engineering von Fang, Lijun, Mei, Jingyi, Yao, Boqian, Liu, Jiang, Liu, Peng, Wang, Xichun, Zhou, Jiahui, Lin, Zhanyi

Volltext

Neurotoxicological effects induced by up-regulation of miR-137 following triclosan exposure to zebrafish (Danio rerio) von Liu, Jinfeng, Xiang, Chenyan, Huang, Wenhao, Mei, Jingyi, Sun, Limei, Ling, Yuhang, Wang, Caihong, Wang, Xuedong, Dahlgren, Randy A., Wang, Huili

Volltext

Analysis and Design of High Order Active Filter Circuit von LIU Yuran, ZHANG Xiang, DAI Bowen, MEI Jingyi, MA Yannan

Volltext

Simulating Quantum Circuits by Model Counting von Mei, Jingyi, Bonsangue, Marcello, Laarman, Alfons

Volltext bestellen

低氧环境可体外促进人诱导多能干细胞分化为拟胚体 von 方丽君, 冯子倍, 梅静怡, 周嘉辉, 林展翼

Volltext

Advancing Quantum Computing with Formal Methods von Quist, Arend-Jan, Mei, Jingyi, Coopmans, Tim, Laarman, Alfons

Volltext bestellen

Equivalence Checking of Quantum Circuits by Model Counting von Mei, Jingyi, Coopmans, Tim, Bonsangue, Marcello, Laarman, Alfons

Volltext bestellen

Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains von Mei, Jingyi, Xu, Ming, Guan, Ji, Deng, Yuxin, Yu, Nengkun

Volltext bestellen

Simulating Quantum Circuits by Model Counting von Mei, Jingyi, Bonsangue, Marcello, Laarman, Alfons

Volltext

Socket von MEI JINGYI

Volltext bestellen

Model Checking Quantum Continuous-Time Markov Chains von Xu, Ming, Mei, Jingyi, Guan, Ji, Yu, Nengkun

Volltext

An Algebraic Method to Fidelity-based Model Checking over Quantum Markov Chains von Xu, Ming, Fu, Jianling, Mei, Jingyi, Deng, Yuxin

Volltext

Advancing Quantum Computing with Formal Methods von Arend-Jan Quist, Mei, Jingyi, Coopmans, Tim, Laarman, Alfons

Volltext

Equivalence Checking of Quantum Circuits by Model Counting von Mei, Jingyi, Coopmans, Tim, Bonsangue, Marcello, Laarman, Alfons

Volltext

Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains von Mei, Jingyi, Xu, Ming, Guan, Ji, Deng, Yuxin, Yu, Nengkun

Volltext

Intelligent school desk von MEI JINGYI

Volltext bestellen

Automated Reasoning in Quantum Circuit Compilation von Thanos, Dimitrios, Villoria, Alejandro, Brand, Sebastiaan, Quist, Arend-Jan, Mei, Jingyi, Coopmans, Tim, Laarman, Alfons

Volltext