Details

<p>Part 1: Applied Mathematics (Control Systems, Mathematical Simulation, and Modeling).- H. Margaretha, N. Satyahadi and F. V. Ferdinand, Simulation of Investment Behaviors using Risk-Influenced Utility Models of Health and Wealth.- R. K. Dewi, I. Magdalena and I. Marcela, Wave Attenuation by a Combination of Mangroves and Reefball.- R. M. Valerio and I. Magdalena, Resonance Detection in a Semi-Closed Basin with Constant Height and Triangular Width.- R. Rahmawati, L. Harsyiah and Z. W. Baskara, Comparison of Ridge Regression and Principal Component Regression in Overcoming Multicolinierity of Factors Affecting Poverty in Indonesia.- Ahmadin, J. Naiborhu, Fatmawati and Windarto, Identification on Class Nonlinear Control System with Relative Degree Two.- A. F. Khariri, P. K. Intan, Moh. Hafiyusholeh, A. H. Asyhar and A. Fanani, Implementation of K-Means Particle Swarm Optimisation for Clustering Football Players in The Top Five European Football Leagues.- M. Widianto, C. Imron and B. Widodo, A short review of numerical modelling for photocatalytic degradation in dye systems.- S. Subchan, H. Purnawan, T. Asfihani and L. R. Amalia, Reference Tracking of Quadrotor using Modified Nonlinear Model Predictive Control based on Nonlinear Disturbance Observer.- D. Savitri, M. Jakfar and L. Putri, Numerical Simulation and Dynamics of Sedimentation Rate with Seagrass Growth Considering Dredging Factors.- H. Nuha, N. Siswanto and E. Widodo, A Mixed Integer Nonlinear Programming for Allocation Polyethylene Terephthalate (PET) Waste Management in Reverse Logistic Network.- A. Zaki Al Muntazhar, D. Ratna Sulistyaningrum and Subiono, Quantum K-Nearest Neighbors For Object Recognition.- T. Asfihani, F. N. Sihan Novita Lutfiani, A. Maulana Syafi'I, Subchan Subchan and A. Hasan, Adaptive Kalman Filter for Automated Actuator Fault Diagnosis in Unmanned Surface Vehicle.- E. R M Putri, A. Wahyu Widianto, A. Hakam, V. Ryan Tjahjono and H. Susanto, A moving average genetic algorithm (MA-GA)for estimating the COVID-19 dynamic based on a stochastic SIRD model.- A. Hakam, E. R M Putri and L. Mardiyanto, A general solution of Black-Scholes equations on some Rainbow options.- F. Ardhiansyah, R. W. Prastianto, M. Murdjito, K. Suastika and S. Nugroho, Dynamic Response of Floating Crane During Lifting Operation: A Parametric Study.- Part 2: Computational Mathematics (Formal Methods and Data Science): M. T. Ammar, M. Arzaki and G. S. Wulandari, Efficient SAT-Based Approach for Solving Juosan Puzzles.- J. E. Sakti, M. Arzaki and G. S. Wulandari, Modeling Path Puzzles as SAT Problems and How to Solve Them.- H. Tanabe and M. Kimura, A trustworthiness scoring model for reviews using a graph structure.- M. Iqbal, A. Afandy and N. Hidayat, Non-Linear Reward Deep Q Networks for Smooth Action in A Car Game.- Arthur de Clairval, L. A. Erwin Schuler, M. F. Rellier, M. Isa Irawan, I. Mukhlash and M. Iqbal, College Student Activity Recognition from Smartwatch Dataset.- A. Taryana, D. Adzkiya, M. Syifa'ul Mufid, I. Mukhlash and A. Abate, LTL Model Checking for Verification of Electronic Medical Record (EMR) Design.- G. I. Permata Sari, Hsing-Kuo Pao, R. C. Hario Pribadi and M. Iqbal, Multi-Feature Subgraph Fusion with Text Knowledge on Citation Link Prediction.- I Komang Pande Prajadhita Wibawa Putra, I. Irhamah, Nur Iriawan and K. Fithriasari, Predicting Poverty Percentage Based on Satellite Imagery and Point of Interest Using Support Vector Regression and Random Forest Regression (Case Study of Central Java Province).- M. Hutapea, G. Wulandari and M. Arzaki, Preliminary Analysis of Isabelle Proof Assistant in Graph Programming Verification with GP2.- Part 3: Pure Mathematics (Graph Theory and Analysis): T. Irvan Haryadi, R. Rinurwati, D. Winda Setyawati, S. Soleha, I. Herisman, K. Baihaqi and S. Sadjidon, Nonlocal Edge Metric Dimension on Corona Multiproduct Graphs.- N. Ain Supu, I. M. Alamsyah and E. Suwastika, The Vertex Degree of Relative g-noncommuting Graph of the Dihedral Groups.- S. Wibowo and C. R. Indrati, On Conformable Fractional Riesz Bounded p-Variation of Order- α.- H. K. Ningrum, E. Y. Asmarani, I Gede Adhitya Wisnu Wardhana, S. Salwa and Z. Y. Awanis, The Wiener Index, The Harmonic Index, and The Graph Representation of the Prime Ideal Graph for the Integers Modulo Rings with Prime Power Order.- R. Rinurwati, M. Chalid Fansury, A. Hevita G.K. Saefulloh and T. I. Haryadi, Multiplicative Sum Nano Zagreb Index of Various 2-Power Corona Graphs.<br></p>

<p><strong>Dieky Adzkiya </strong>is Assistant Professor at the Department of Mathematics, Institut Teknologi Sepuluh Nopember, Indonesia. He earned his Ph.D. degree in system and control from the Delft University of Technology, in 2014. His research interests include formal verification and max-plus algebra.</p>

<p><strong>Kistosil Fahim </strong>is Assistant Professor at the Department of Mathematics, Institut Teknologi Sepuluh Nopember, Indonesia. He earned his Ph.D. degree in stochastic processes from the Montanuniversitaet Leoben, Austria, in 2021. His research interests include stochastic partial differential equations and stochastic control systems.</p>

This book collects selected, peer-reviewed research presented at the 8th International Conference on Mathematics: Pure, Applied, and Computation, held in Lombok, Indonesia, on 30 September 2023. Organised into three parts—Part I: Control Systems, Mathematical Simulation and Modeling; Part II: Formal Methods and Data Science; Part III: Graph Theory and Analysis—the book contains 29 peer-reviewed chapters. Ranging from theoretical to applied results, the book addresses the mathematical models for several phenomena such as investment behavior, unmanned surface vehicles and electronic medical records. It also highlights the progress in the use of satisfiability methods and tools to solve puzzle and pencil games. It showcases how mathematics is used to solve real-world problems.

Focusses on major topics in pure, applied and computational mathematics Discusses mathematical models of investment behavior, unmanned surface vehicles and electronic medical records Studies the satisfiability methods in solving puzzle and pencil games