Zobrazeno 1 - 10
of 33
pro vyhledávání: '"Mingshuai Chen"'
Autor:
Tingyu Yang, Haiwei Zhang, Fukang Li, Ting Yang, Yuecheng Shi, Xinyi Gu, Mingshuai Chen, Shuochen Jiang
Publikováno v:
Agriculture, Vol 14, Iss 10, p 1768 (2024)
Ratoon rice occupies an important position in rice production owing to its time-saving, labor-saving and low-pollution planting, and increased benefits. However, the impact of tillage management on the yield in rice ratooning system has not yet been
Externí odkaz:
https://doaj.org/article/637c9f77aebf4a288df8d32edaded800
Publikováno v:
Mathematical Biosciences and Engineering, Vol 19, Iss 12, Pp 13829-13850 (2022)
Biological sequence analysis is an important basic research work in the field of bioinformatics. With the explosive growth of data, machine learning methods play an increasingly important role in biological sequence analysis. By constructing a classi
Externí odkaz:
https://doaj.org/article/e5edf62019494d7fb4384055a021070e
Publikováno v:
Energies, Vol 16, Iss 15, p 5809 (2023)
With the rapid development of smart grids and distributed energy sources, the home energy management system (HEMS) is becoming a hot topic of research as a hub for connecting customers and utilities for energy visualization. Accurate forecasting of f
Externí odkaz:
https://doaj.org/article/f30ddc98d993427e9180f00fa01bbb2b
Publikováno v:
Dalton Transactions: An International Journal of Inorganic Chemistry; 12/7/2023, Vol. 52 Issue 45, p16943-16950, 8p
Autor:
Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan
Publikováno v:
Proceedings of the ACM on programming languages 7(OOPSLA1), 99 (2023). doi:10.1145/3586051
International Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 2023, Cascais, Portugal, 2023-10-23-2023-10-27
International Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 2023, Cascais, Portugal, 2023-10-23-2023-10-27
We present a new proof rule for verifying lower bounds on quantities of probabilistic programs. Our proof rule is not confined to almost-surely terminating programs -- as is the case for existing rules -- and can be used to establish non-trivial lowe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1e7f77b1c130d22c5d52946d36d60087
Autor:
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
Publikováno v:
Lecture Notes in Computer Science 13994, (2023). doi:10.1007/978-3-031-30820-8_25
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II / edited by Sriram Sankaranarayanan, Natasha Sharygina
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II / edited by Sriram Sankaranarayanan, Natasha SharyginaTools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783031308192
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Tools and Algorithms for the Construction and Analysis of Systems
Batz, K, Chen, M, Junges, S, Kaminski, B L, Katoen, J P & Matheja, C 2023, Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants . in Proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems . vol. 13994, Springer, pp. 410-429, 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 22/04/2023 . https://doi.org/10.1007/978-3-031-30820-8_25
Sankaranarayanan, S. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II, pp. 410-429
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II / edited by Sriram Sankaranarayanan, Natasha Sharygina
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II / edited by Sriram Sankaranarayanan, Natasha SharyginaTools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783031308192
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Tools and Algorithms for the Construction and Analysis of Systems
Batz, K, Chen, M, Junges, S, Kaminski, B L, Katoen, J P & Matheja, C 2023, Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants . in Proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems . vol. 13994, Springer, pp. 410-429, 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 22/04/2023 . https://doi.org/10.1007/978-3-031-30820-8_25
Sankaranarayanan, S. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II, pp. 410-429
Essential tasks for the verification of probabilistic programs include bounding expected outcomes and proving termination in finite expected runtime. We contribute a simple yet effective inductive synthesis approach for proving such quantitative reac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c58a0c7b34fb626880a7d16efce703d2
Publikováno v:
Computer Aided Verification ISBN: 9783031131844
Cham : Springer International Publishing, Lecture Notes in Computer Science 13371, 79-101 (2022). doi:10.1007/978-3-031-13185-1_5
Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I / edited by Sharon Shoham, Yakir Vizel
Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I / edited by Sharon Shoham, Yakir Vizel34. International Conference on Computer Aided Verification, CAV 2022, Haifa, Israel, 2022-08-07-2022-08-10
Cham : Springer International Publishing, Lecture Notes in Computer Science 13371, 79-101 (2022). doi:10.1007/978-3-031-13185-1_5
Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I / edited by Sharon Shoham, Yakir Vizel
Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I / edited by Sharon Shoham, Yakir Vizel34. International Conference on Computer Aided Verification, CAV 2022, Haifa, Israel, 2022-08-07-2022-08-10
We study discrete probabilistic programs with potentially unbounded looping behaviors over an infinite state space. We present, to the best of our knowledge, the first decidability result for the problem of determining whether such a program generate
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3eac947c10c2405fa3214637bba23be5
https://doi.org/10.1007/978-3-031-13185-1_5
https://doi.org/10.1007/978-3-031-13185-1_5
Publikováno v:
ACM SIGLOG News. 6:19-39
Hybrid automata are an elegant formal model seamlessly integrating differential equations representing continuous dynamics with automata capturing switching behavior. Since the introduction of the computational model more than a quarter of a century
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::de30a63dc21ab59ecbdfd5c13c29489d
https://doi.org/10.1145/3313909.3313913
https://doi.org/10.1145/3313909.3313913
Publikováno v:
Science China Information Sciences. 63
Software-defined networking (SDN) is a revolutionary technology that facilitates network management and enables programmatically efficient network configuration, thereby improving network performance and flexibility. However, as the application progr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1313d0eec355df6e75acfb046b255b40
https://doi.org/10.1007/s11432-019-2644-8
https://doi.org/10.1007/s11432-019-2644-8
Publikováno v:
Acta Informatica
Acta informatica 58(5), 497-528 (2020). doi:10.1007/s00236-020-00374-7
Acta informatica 58(5), 497-528 (2020). doi:10.1007/s00236-020-00374-7
Acta informatica xx, xx-xx (2020). doi:10.1007/s00236-020-00374-7
Published by Springer, New York, NY
Published by Springer, New York, NY
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::67ae2fe2531a45f40bad8d8fc0c0f179