E-LIB Suche - Ergebnisse für: Chen, Mingshuai

1

Controlled synthesis of NiFeCr-S/Ni3S2 as efficient hydroge..:

Wu, Guangping ; Chen, Mingshuai ; Du, Xiaoqiang.
Fuel. 368 (2024) - p. 131660 , 2024

2

Exact Bayesian Inference for Loopy Probabilistic Programs u..:

Klinkenberg, Lutz ; Blumenthal, Christian ; Chen, Mingshuai..
Proceedings of the ACM on Programming Languages. 8 (2024) OOPSLA1 - p. 923-953 , 2024

Link: https://doi.org/10.1145/..

3

Quantifying the mutual effects of water trading and systema..:

Chen, Mingshuai ; Zhang, Junlong ; Wang, Taishan...
Water Research. 257 (2024) - p. 121712 , 2024

Link: https://doi.org/10.1016/..

4

Water rights trading planning and its application in water ..:

Wu, Kexin ; Wen, Hongqi ; Wang, Taishan...
Environmental Research. 249 (2024) - p. 118377 , 2024

Link: https://doi.org/10.1016/..

5

PseU-KeMRF: A novel method for identifying RNA pseudouridin..:

Chen, Mingshuai ; Zou, Quan ; Qi, Ren.
IEEE/ACM Transactions on Computational Biology and Bioinformatics. , 2024

Link: https://doi.org/10.1109/..

6

MorphQPV: Exploiting Isomorphism in Quantum Programs to Fac..:

, In: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3,

Tan, Siwei ; Xiang, Debin ; Lu, Liqiang... - p. 671-688 , 2024

Link: https://dl.acm.org/doi/1..

7

QuFEM: Fast and Accurate Quantum Readout Calibration Using ..:

, In: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2,

Tan, Siwei ; Lu, Liqiang ; Zhang, Hanyu... - p. 948-963 , 2024

Link: https://dl.acm.org/doi/1..

8

Fuzzy kernel evidence Random Forest for identifying pseudou..:

Chen, Mingshuai ; Sun, Mingai ; Su, Xi..
Briefings in Bioinformatics. 25 (2024) 3 - p. , 2024

Link: https://doi.org/10.1093/..

9

Design of polymetallic sulfide NiS2@Co4S3@FeS as bifunction..:

Chen, Mingshuai ; Wu, Guangping ; Du, Xiaoqiang.
Dalton Transactions. 52 (2023) 45 - p. 16943-16950 , 2023

Link: https://doi.org/10.1039/..

10

Lower Bounds for Possibly Divergent Probabilistic Programs:

Feng, Shenghua ; Chen, Mingshuai ; Su, Han...
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA1 - p. 696-726 , 2023

Link: https://doi.org/10.1145/..

11

Probabilistic Program Verification via Inductive Synthesis ..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Batz, Kevin ; Chen, Mingshuai ; Junges, Sebastian... - p. 410-429 , 2023

Link: https://doi.org/10.1007/..

12

RAVAR: a curated repository for rare variant–trait associat..:

Cao, Chen ; Shao, Mengting ; Zuo, Chunman...
Nucleic Acids Research. 52 (2023) D1 - p. D990-D997 , 2023

Link: https://doi.org/10.1093/..

13

Review of Family-Level Short-Term Load Forecasting and Its ..:

Ma, Ping ; Cui, Shuhui ; Chen, Mingshuai..
Energies. 16 (2023) 15 - p. 5809 , 2023

Link: https://doi.org/10.3390/..

14

Encoding inductive invariants as barrier certificates: Synt..:

Wang, Qiuye ; Chen, Mingshuai ; Xue, Bai..
Information and Computation. 289 (2022) - p. 104965 , 2022

Link: https://doi.org/10.1016/..

15

Does a Program Yield the Right Distribution?: Verifying Pro..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Chen, Mingshuai ; Katoen, Joost-Pieter ; Klinkenberg, Lutz. - p. 79-101 , 2022

Link: https://doi.org/10.1007/..