Author of the publication

The localized method of fundamental solutions for 2D and 3D inhomogeneous problems.

, , , , and . Math. Comput. Simul., (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The localized method of fundamental solutions for 2D and 3D inhomogeneous problems., , , , and . Math. Comput. Simul., (2022)Backoff algorithm based on frame transmission efficiency in Ad hoc network., and . BMEI, page 734-739. IEEE, (2013)Conditional Variational Encoder Classifier for Open Set Fault Classification of Rotating Machinery Vibration Signals., , , , and . IEEE Trans. Ind. Informatics, 20 (3): 3038-3049 (March 2024)Correlation between Acoustic Emission Behaviour and Dynamics Model during Three-Stage Deformation Process of Soil Landslide., , , , , , , , , and . Sensors, 21 (7): 2373 (2021)Formalizing SPARCv8 Instruction Set Architecture in Coq., , , and . SETTA, volume 10606 of Lecture Notes in Computer Science, page 300-316. Springer, (2017)A Practical Verification Framework for Preemptive OS Kernels., , , , , and . CAV (2), volume 9780 of Lecture Notes in Computer Science, page 59-79. Springer, (2016)The Fractional Brownian Channel Model Considering the Statistical Characters in WCDMA., , , and . CSIE (1), page 73-76. IEEE Computer Society, (2009)Using concurrent relational logic with helpers for verifying the AtomFS file system., , , , , and . SOSP, page 259-274. ACM, (2019)Reasoning about Optimistic Concurrency Using a Program Logic for History., , , , and . CONCUR, volume 6269 of Lecture Notes in Computer Science, page 388-402. Springer, (2010)A Concurrent Temporal Programming Model with Atomic Blocks., , , and . ICFEM, volume 7635 of Lecture Notes in Computer Science, page 22-37. Springer, (2012)