บทความวิจัยพ.ศ. 2560Local model checking algorithm based on mu-calculus with partial orders พ.ศ. 2560 ติดต่อนักวิจัย แชร์ บันทึกคำสำคัญComputational complexityModel checkingFixpointPartitioned dependency graphPropositional mu-calculusงานวิจัยในหัวข้อใกล้เคียงSimultaneous computation of model order and parameter estimation for ARX model based on single Swarm and Multi Swarm simulated Kalman filter Universiti Teknologi Malaysia พ.ศ. 2560Fractional order system identification based on genetic algorithms พ.ศ. 2556A fast and reliable algorithm for evaluating n-th order k-tridiagonal determinants พ.ศ. 2558การสร้างแผนการทดลองแบบละตินไฮเปอร์คิวบ์ที่เหมาะสมโดยใช้อัลกอริทึม การค้นหาเฉพาะที่แบบวนซ้ำอนามัย นาอุดม มหาวิทยาลัยนเรศวร พ.ศ. 2556A novel self-tuning fractional order PID control based on optimal model reference adaptive system พ.ศ. 2562A self-tuned simulated annealing algorithm using hidden markov model พ.ศ. 2561A Mathematical Approach to Derive the Optimal Ordering Policy with Backorders and Inspection พ.ศ. 2561Adaptive Particle Swarm Algorithm for Parameters Tuning of Fractional Order PID Controller พ.ศ. 2559การประยุกต์ใช้เทคนิคการหาค่าเหมาะสมเชิงคอมบินาทอริคเพื่อสร้างตัวแปรสุ่มหลายตัวที่สัมพันธ์กันสำหรับการจำลองมอนติคาร์โลอนามัย นาอุดม มหาวิทยาลัยนเรศวร พ.ศ. 2555Model reference self-tuning fractional order pid control based on for a power system stabilizer พ.ศ. 2563