Proceedings of the Seventh International Conference on Mathematics and Computing: ICMC 2021 (Advances in Intelligent Systems and Computing, 1412)

This book features selected papers from the 7th International Conference on Mathematics and Computing (ICMC 2021), organized by Indian Institute of Engineering Science and Technology (IIEST), Shibpur, India, during March 2021. It covers recent advances in the field of mathematics, statistics, and scientific computing. The book presents innovative work by leading academics, researchers, and experts from industry. Committee Preface Message from General Co-Chairs Message from Program Co-Chairs Contents A Blind Signature Scheme Based on Bilinear Pairings 1 Introduction 2 Preliminaries 3 Self-Pairings 4 Proposed Blind Signature Scheme 5 Security Aspects of the Proposed Scheme 6 Conclusion References Security Analysis via Algebraic Attack Against ``A New Encryption Scheme for Multivariate Quadratic System'' 1 Introduction 2 Preliminaries 2.1 Multivariate Public Key Cryptography (MPKC) 2.2 Chen et al.'s Encryption Scheme 2.3 Algebraic Attack and Previous Analysis Against Chen et al. Scheme 3 Revisiting the Algebraic Attack Against Chen et al. Scheme 3.1 Experiments for Algebraic Attack 3.2 A Key Property of the Public Key P 3.3 Reduction to a Smaller MQ-Problem 4 Security Analysis for Chen et al. Scheme 4.1 Theoretical Description of the Algebraic Attack and Complexity Estimation 4.2 The Actual Security Level for the Selected 80- and 128-bit Security Parameters (A) and (B) in Table1 5 Conclusion References CArrency: An Energy-Efficient Proof-of-Work Scheme for Crypto-Currencies 1 Introduction 1.1 Our Contributions 1.2 Organization of the Paper 2 Background in Cellular Automata 3 CArrency: A New Proof-of-work Scheme 3.1 The Challenge Phase 3.2 The Verification Phase 4 Security Analysis of CArrency 4.1 CAT: The CA Transition Problem 5 Hardware Design 5.1 Challenge Module 5.2 Verification Module 6 Experimental Results 7 Conclusion and Open Problems References A Study on Randomness Used in Signature Generation of UOV 1 Introduction 2 Unbalanced Oil and Vinegar (UOV) Signature Scheme 2.1 Multivariate Signature Schemes 2.2 Construction of the UOV Scheme 2.3 Main Attacks Against the UOV Scheme 3 Description of Signature Generation of the UOV Scheme 3.1 How to Solve the Linear System Associated with Signature Generation 3.2 The Restriction of Randomness 4 Analysis of Randomness Used in Signature Generation of UOV Scheme 4.1 Preliminaries 4.2 A Random Message Attack Against the UOV Scheme 4.3 Experimental Results with Small r for the Random Message Attack in Sect. 4.2 5 Conclusion References On the Inadequacy of Multimodal Maps for Cryptographic Hash Applications with Phase-Space Modulation 1 Introduction 2 Mathematical Introduction of the Scope Under Study 3 Collision Analysis of Hash Functions Based on Multimodal Maps 4 Collision Analysis of a Cryptographic Hash Function 5 Discussion 6 Conclusion References Image Encryption with Parallel Evolution of 2-D Cellular Automata 1 Introduction 2 Fundamentals of Two Dimensional (2-D) Cellular Automata (CA) 2.1 Linear Algebraic Characterization of CA 3 Image Encryption Using 2-D CA 3.1 Transposer 3.2 Encryption and Decryption 4 Security Analysis 4.1 Key-Space Analysis 4.2 Statistical Analysis 4.3 Differential Attack 4.4 Speed Analysis 5 Conclusion References A New Identity-Based Multivariate Signature Scheme 1 Introduction 2 Preliminaries 2.1 Identity-Based Signature Scheme 2.2 Existential Unforgeability Against Adaptive Chosen Message Attack 2.3 Commitment Scheme 2.4 Identification Scheme 2.5 Fiat–Shamir Transformation 3 Multivariate Public Key Cryptography 3.1 MQ Problem 3.2 Sakumoto Et Al.'s Identification Scheme 3.3 Rainbow Signature Scheme 4 Proposed Signature Scheme 5 Comparison 6 Performance Analysis 7 Conclusion References Encrypted Operator Design with Domain Aware Practical Performance Improvement 1 Introduction 2 Related Works 3 Designs of Encrypted Operators 3.1 Exponent Operator Computation 3.2 Logarithm Operator Computation 3.3 Sigmoid Function Computation 4 Results 5 Conclusion References A Comprehensive Review of Fraudulent Email Detection Models 1 Introduction 2 Methodology 2.1 Research Questions 3 Analysis of the Research Questions 3.1 RQ1: Types of Spam and How They Are Used by Spammers 3.2 RQ2: Which Data Pre-processing Techniques Have Been Implemented for Preparing the Data? 3.3 RQ3: Which ML and DL Techniques Have Been Used for Classification of the Emails? 3.4 RQ4: What Datasets Have Been Utilized Across the Literature? 3.5 RQ5: What Evaluation Metrics Have Been Most Commonly Used in the Literature? 3.6 RQ6: What Are Some of the Strengths and Shortcomings of the Different Techniques Used? 4 Conclusion References DDoS Detection in Software-Defined Network Using Entropy Method 1 Introduction 1.1 Reflection-Based Flooding Attacks 1.2 Protocol Exploitation Flooding Attacks 1.3 Reflection- and Amplification-Based Flooding Attacks 2 DDoS Attack Detection Techniques in SDN 2.1 Entropy 2.2 Machine Learning 2.3 Traffic Pattern Analysis 2.4 Connection Rate 2.5 SNORT and OpenFlow Integration 3 Entropy-Based Approaches for DDoS Attack Detection 4 Proposed Entropy Method 5 Simulation 6 Conclusions References New Records of Pre-image Search of Reduced SHA-1 Using SAT Solvers 1 Introduction 2 Related Works 3 A Brief Introduction to SHA-1 4 SAT Solvers 5 Modeling SHA-1 as Satisfiability Problem 6 Experimental Results 7 Conclusions References OpenPGP Email Forwarding via Diverted Elliptic Curve Diffie-Hellman Key Exchanges 1 Introduction 1.1 Forwarding PGP Messages 1.2 A BBS-like Transformation in OpenPGP 2 The Forwarding Scheme 2.1 Asynchronous ECDH Exchanges 2.2 Diverting the Secret 2.3 Transformation Proxy as a Multiplication Oracle 3 OpenPGP Implementation 3.1 Client Tasks 3.2 Server Tasks 3.3 Implementation Details 4 Security Analysis 4.1 Threat Model 4.2 Semi-honest Parties 4.3 Malicious Parties 5 Conclusions 6 Simulation-Based Proof 6.1 Security Definitions 6.2 Forwarding Ideal Functionality 6.3 Security Against Colluded, Eavesdropper Semi-honest Parties References A Survey on Machine Learning-Based Ransomware Detection 1 Introduction 2 Description of the Machine Learning Algorithms 3 Description of the Ransomware Research Datasets 4 ML-based Ransomware Detection Methods and Techniques 5 Detailed Discussion 5.1 Host-Based Detection 5.2 Network-Based Detection 6 Conclusion References Variant of Niederreiter-Based Signature Scheme for Blockchain Technology 1 Introduction 2 Preliminaries 3 Niederreiter-Based Signature Scheme 4 Code-Based Signature Scheme on Blockchain 5 Conclusions References Chaos-Based Uncompressed Frame Level Video Encryption 1 Introduction 2 Related Work 3 Proposed Framework 3.1 Pseudorandom Sequence Generation 3.2 Sort Index-Based Shuffling 3.3 Block-Level Diffusion 3.4 Time Complexity 4 Experimental Results 4.1 Correlation Analysis 4.2 Entropy Analysis 4.3 Histogram Analysis 4.4 NPCR and UACI Analysis 4.5 Mean Encryption Time 4.6 Analysis of Secret Key 4.7 Robustness Against Noise 4.8 Security Analysis 4.9 External Comparisons 5 Conclusion References Comparison of Algorithms for Style Transfer of Images Using Texture Synthesis 1 Introduction 2 Motivation 3 Literature Review 3.1 Related Work 3.2 Outcome of Literature Survey 3.3 Problem Statement 3.4 Objectives 4 Methodology 4.1 For Style Transfer Using Kwatra's Approach 4.2 For Style Transfer Using Portrait Aware Artistic Style Approach 4.3 Evaluation Metrics 5 Results and Analysis 5.1 Tests Performed on Algorithm Based on Kwatra's Approach 5.2 Tests Performed on Modified Gatys' Approach 5.3 Final Output 6 Conclusion and Future Work References Ear Localization Based on YOLOv3 Detector 1 Introduction 2 Proposed Approach 3 Experiments 3.1 Dataset Description 3.2 Experimental Result 4 Conclusion References A Novel Reversible Data Hiding in Encrypted Images by Controlled Swapping of Adjacent Pixels 1 Introduction 1.1 Challenges in the Existing Scheme 2 Proposed Scheme 2.1 Proposed RDH Scheme in Encrypted Images 2.2 Data Extraction and Image Recovery 3 Experimental Study and Result Analysis 3.1 Analysis of Embedding Rate and Bit Error Rate 3.2 Analysis of Entropy and Histogram 4 Conclusion References Color Image Contrast Enhancement Through Hybrid PCA-Linear Image Fusion 1 Introduction 2 Review of Explored Image Enhancement Techniques 2.1 Adaptive Gamma Correction with Weighting Distribution 2.2 Adaptive Contrast Enhancement Using Modified Histogram Equalization 2.3 Weighted Adaptive Approximation Histogram Equalization 3 Proposed Two-Level Hybrid Image Fusion Technique 3.1 Overview of the Explored Image Fusion Approaches 3.2 Proposed Technique 4 Results and Discussion 5 Conclusion References A New Class of Quantum Codes Associate with a Class of Maps 1 Introduction 2 Homological Quantum Codes Associate with Maps 3 Codes Associate with dth Cover Maps 4 Table of Quantum Codes 5 Conclusion References Big Five Personality Prediction from Handwritten Character Features and Word `of' Using Multi-label Classification 1 Introduction 2 Previous Work 3 Preliminary Concepts 3.1 Big Five Personality Model 3.2 Multi-label Classification 3.3 Evaluation Metrics 4 Proposed Work 4.1 Dataset Creation 4.2 Handwriting Feature Extraction 5 Experimental Results and Discussion 6 Conclusion References A Comparative Study of Pre-trained Gene Embeddings for COVID-19 mRNA Vaccine Degradation Prediction 1 Introduction 2 Literature Review 3 Dataset Description 4 Experimental Setup 5 Hyperparameter Tuning 6 Results and Discussions 7 Conclusion and Future Scope References MACI: Malicious API Call Identifier Model to Secure the Host Platform 1 Introduction 2 Related Work 3 Malicious API Call Identifier Model 3.1 Methodology 3.2 Extracting API Call Sequences 3.3 Evaluation Parameters 4 Performance Evaluation and Analysis 4.1 Benchmarks 4.2 Results and Observations 4.3 Comparative Analysis with State-of-Art Works 5 Conclusion and Future Scope References Multivariate Deep Learning Model with Ensemble Pruning for Time Series Forecasting 1 Introduction 2 Literature Review 3 Methodology 4 Experiment Analysis 4.1 Variables and Data Types 4.2 Evaluation Metric 4.3 Complexity and Scalability Analysis 5 Results and Discussions 6 Conclusion References Deep Photo Classification Based on Geometrical Shape of Principal Object Presents in Photographs via VGG16 DCNN 1 Introduction 2 Literature Review 3 Ground Truth Dataset (Shape-Detection) 4 Proposed Method 4.1 Fine-Tuning the Pre-Trained VGG16 Network 4.2 Experimental Result 5 Conclusion and Future Work References Multitask Deep Learning Model with Efficient Encoding Layer and Enhanced Parallel Convolution Block 1 Introduction 2 Related Work 3 Proposed Multitask Model 3.1 Input Layer 3.2 Image Encoding Layer with Parallel Blocks of Convolution 3.3 Dense Layers for Desired Classification 4 Experimental Setup 4.1 Baseline Multitask Models 4.2 Datasets 4.3 Evaluation Measures 5 Result Analysis and Discussion 5.1 Execution Time During Training Phase 5.2 Loss Comparison During Training Phase 5.3 Accuracy Comparison During Training Phase 5.4 Classification Accuracy with Test Data 6 Conclusion References Genetic Algorithm-Based Deep Learning Models: A Design Perspective 1 Introduction 2 Evolutionary Deep Learning Models 2.1 Generic Framework of Evolutionary Algorithms 2.2 Evolutionary Deep Learning Model 3 GA-Based Deep Learning 3.1 Automation of Network Design 3.2 Parameter Tuning 4 Discussions 4.1 Inefficacy of GA 4.2 Challenges in Application of GA in Deep Learning 5 Conclusion References Automated System for Face-Mask Detection Using Convolutional Neural Network 1 Introduction 2 Materials and Methodology 2.1 Dataset 2.2 Data Labelling and Augmentation 2.3 The Deep Learning Model: NASNet-Mobile 2.4 Real-Time Video-Based Detection 3 Results 4 Conclusion and Future Work References Using Protein Interactome Similarity to Improve Random Walk with Restart Model for Drug Repurposing 1 Introduction 2 Related Work 3 Proposed Method 3.1 Disease-Drug Heterogeneous Network Creation 3.2 Applying Relevant Random Walk Model on the Heterogeneous Network 4 Experiments and Results 4.1 Experimental Setup 4.2 Evaluation Measures 4.3 Evaluation Results 5 Conclusion and Future Work References COVID-19 Detection on Chest X-Ray and CT Scan Images Using Multi-image Augmented Deep Learning Model 1 Introduction 2 Proposed Work 2.1 Hybrid Filter Generation 2.2 Multi-image Representation 2.3 Training and Classification of CNN-Based Deep Learning Model 3 Evaluation 3.1 Experimental Protocol and Metrics 3.2 Experimental Results 3.3 Comparison 4 Conclusion and Future Work References Identification of Relevant Quantities in Arithmetic Word Problems Using Siamese Neural Network 1 Introduction 2 Related Work 3 Dataset 4 Sentence Relevancy Classification Using Siamese Deep Neural Network with Binary Classifier 5 System Prototype (Case study) and Results 5.1 Experimental Results 5.2 Performance Comparison of Our Case Study 5.3 Success and Failure Scenarios in Identifying Relevant Quantities: Examples 6 Conclusion References Time Synchronization in Underwater Wireless Sensor Networks: A Survey 1 Introduction 2 Background of Time Synchronization 3 Existing Approaches of Time Synchronization 3.1 Static Approaches 3.2 Dynamic Approaches 4 Comparative Study of Time Synchronization 5 Conclusion References Stock Market Predictions Using FastRNN-Based Model 1 Introduction 2 Literature Review 3 Proposed Model 3.1 Proposed FastRNN-Based Model 4 Experimental Results and Discussions 4.1 Experimental Setup 4.2 Results 5 Conclusions References Ceiling Improvement on Breast Cancer Prediction Accuracy Using Unary KNN and Binary LightGBM Stacked Ensemble Learning 1 Introduction 1.1 Contribution Highlights 1.2 Organization of the Paper 2 Literature Review 3 Preliminaries and Statistical Terminologies 3.1 Information and Decision System 3.2 Linearly Separable Data-Aided Binary Classification 4 Our Framework, Modeling Pipeline and Results Discussion 4.1 Modeling and Simulation Setup 4.2 Dataset Detail 4.3 Scenario I: Model Pipeline and Output Results 4.4 Scenario II: Model Pipeline and Output Results 4.5 Comparative Analysis 5 Conclusion References An Opportunistic Ensemble Learning Framework for Network Traffic Classification in IoT Environments 1 Introduction 2 Background Studies 3 Proposed Framework 3.1 AdaBoost Algorithm 3.2 Naïve Bayes Algorithm 4 Results and Discussions 4.1 Performance Evaluation 4.2 Experimental Results 5 Conclusion and Future Challenges References Predicting and Analysing Pedestrian Injury Severity: A Machine Learning-Based Approach 1 Introduction 1.1 Research Issues 1.2 Contributions of the Work 2 Materials and Methods 2.1 Data and Data Pre-processing Stage 2.2 Methods 3 Results and Discussion 3.1 Training and Validation Design and Attribute Importance 3.2 Rules Generation and Interpretation 4 Conclusions References Fog Computing Applications with Decentralized Computing Infrastructure—Systematic Review 1 Introduction 2 Benefits and Applications of IoT Cloud Models 3 Fog Computing 4 Related Work 4.1 Healthcare 4.2 Smart Cities 4.3 Vehicular Fog Computing (VFC) 5 Outcomes 6 Conclusion References Investigating External Audit Records to Detect Fraudulent Firms Employing Various Machine Learning Methods 1 Introduction 2 Proposed Methodology 2.1 Data Collection 2.2 Correlation Analysis and Feature Transformation Methods 2.3 Classification Methods 2.4 Performance Metrics 3 Experiment Result 4 Discussion 5 Conclusion and Future Work References An Enhanced Quality of Service-Based Trust Model for Cloud Computing 1 Introduction 2 Related Work 2.1 Quality of Service in Cloud Computing 2.2 Trust Computing in Cloud Systems 3 Trust Metrics 3.1 Performance Metrics 3.2 Computation of Overall Trust 3.3 Computing Trust Score with Different Priorities 4 Results and Discussion 5 Conclusions References DEA for Measuring the Performance of Higher Education Sector: A Case Study of Myanmar 1 Introduction 2 Data Envelopment Analysis (DEA) 3 Case Study: Higher Education Sector in Myanmar 4 Results and Discussion 4.1 Performance Assessment of the 14 DMUs 4.2 Performance Assessment in Terms of Regions and States 4.3 Comparison in Terms of Administrative Divisions 5 Conclusion References Synchronizing Words for Real-Time Deterministic Pushdown Automata 1 Background and New Challenges 1.1 Finite-State Automata and Synchronizing Words 1.2 From Finite Automata to Pushdown Automata 2 Preparations: Basic Notions and Notation 2.1 Numbers, Sets, and Languages 2.2 Real-Time Deterministic Pushdown Automata 2.3 Synchronizing Pushdown Automata and Synchronizing Words 3 Properties of Synchronizing Pushdown Automata 3.1 Length of Synchronizing Words 3.2 Complexity of Searching Synchronizing Words References A 2-Competitive Largest Job on Least Loaded Machine Online Algorithm Based on the Multi List Scheduling Model 1 Introduction 1.1 Motivation 1.2 Related Work 1.3 Our Contribution 2 Our Proposed Multi List Scheduling Model 3 Our Proposed Online Algorithm: LJLLM 4 Our Results on Competitive Analysis of Algorithm LJLLM for Online Scheduling over MLS Model 5 Conclusion and Future Scope References Hardware Implementation of Multiplication over Quartic Extension Fields 1 Introduction 2 Background 2.1 Notation 2.2 Arithmetic for Pairing-Based Cryptography 2.3 Key Size Update and Complexity Evaluation 2.4 Multiplications over Extension Fields 3 Our Proposition for Extensions-Fields of Degree 4 4 A Dedicated Arithmetic Logic Unit (ALU) for Extension Field Operations 4.1 Overall Presentation 4.2 Multiplication 4.3 Exact Division by a Small Constant 4.4 Design of Custom ``Adder'' 5 Hardware Implementation of Multiplications over Extension Fields 5.1 Implementation of Base Fields Operations 5.2 Multiplications over Extension Fields 5.3 Comparison with Previous Work 6 Refine Estimations of Pairings Implementations 7 Conclusion and Future Work References Deriving Bounds on L(k1,k2) Labeling of Triangular Lattice by Exploring Underlined Graph Structures 1 Introduction 2 Problem Statement and Key Ideas 3 Results 3.1 Determining λ(TΔ;f) When x y for All x, y inTΔ with d(x,y)=3 . 3.2 Determining λ(TΔ;f) When x simy for at Least a Pair of Vertices x, y inTΔ with d(x,y)=3 4 Conclusions References The Spanning Maximal Planar Subgraph Problem for Some Classes of Complete 4-Partite Graphs 1 Introduction 2 Results and Discussion 3 Conclusions References On Column Competent Matrices and Linear Complementarity Problem 1 Introduction 2 Preliminaries 2.1 Degree Theory 3 Results on Column Competent Matrices 3.1 Solution of Linear Complementarity Problem with Column Competent Matrices 4 Conclusion References On Differential Uniformity and Nonlinearity of Permutations on mathbbZn 1 Introduction 2 Preliminaries 3 An Alternate Expression for Δ 4 Relation Between Differential Uniformity and Nonlinearity of Any Bijective Map on mathbbZn 5 Some Results on the Graph of Permutations 6 Conclusion References Computing the 2-Adic Canonical Lift of Genus 2 Curves 1 Introduction 1.1 Notation and Convention 2 Arithmetic Invariant Theory of Genus 2 Hyperelliptic Curves 2.1 Invariants of Sextic Forms 2.2 Arithmetic Invariants 2.3 Converting Between Models and Invariants 2.4 Absolute Invariants 2.5 Absolute Invariants in All Characteristic 3 Modular Polynomials in Dimension 2 3.1 Theta Functions 3.2 Modular Functions for Γ2 3.3 Siegel Modular Polynomials 4 2-Adic Canonical Lift of Genus 2 Curves 4.1 Kronecker Conditions 4.2 Computing the Lift of Invariants 4.3 2-Adic Lift of the Curves 4.4 Reduction of the Weierstrass Points 4.5 Computing the Lifted Frobenius 5 Application to Point Counting 5.1 Description and Complexity of the Algorithm 5.2 Example 6 Computing the Normal Form from an Hyperelliptique Model 6.1 If the Characteristic of Is 2 6.2 If the Characteristic of Is Different from 2 References Application of mathcalT-Direct Codes in Multiple-Rate Codes 1 Introduction 2 Preliminaries 2.1 Self-dual Bases 2.2 Rank Distance Codes 2.3 mathcalT-Direct Codes 3 A Systematized Construction of a mathcalT-Direct Code 4 Construction of Multiple-Rate Codes Using mathcalTmathbbK-Direct Codes 4.1 Encoding 4.2 Decoding 4.3 An Example 5 Conclusion References Sufficient Optimality Criteria for Optimization Problem Involving Pseudoconvex Interval Objective Function 1 Introduction 2 Prerequisites 3 gH-pseudoconvex Interval Function 4 Solution of Interval-Valued Minimization Problem 5 Conclusion References Sufficient Conditions for the Uniqueness of Solution of the Weighted Norm Minimization Problem 1 Introduction 2 Basics of Compressed Sensing 3 CS with Partial Support Constraint 4 Unique Recovery of Weighted 0-Norm Problem 5 Unique Recovery of Weighted 1-Norm Problem 6 Analysis and Comparison of Uniqueness Conditions 7 Conclusion References On the Exponential Diophantine Equation px+qy=z3: Theorems and Conjectures 1 Introduction 2 Main Results 2.1 Solving px+qy=z3, where p=8N+1 and q=8N+3 2.2 Solving px+qy=z3, where p=8N+3 and q=8N+5 2.3 Solving px+qy=z3, where p=8N+5 and q=8N+7 2.4 Solving px+qy=z3, where p=8N+7 and q=8N+9 References On the Construction of 4 times4 Lightweight Involutory MDS Matrices Over mathbbF28 1 Introduction 1.1 Motivation and Contribution 1.2 Organization 2 Preliminaries 3 GHadamard Matrix Form 4 Experimental Results for 4 times4 Involutory MDS Matrices Over mathbbF28 4.1 Local Optimization Results 4.2 Global Optimization Results 5 Conclusion References Factual Power Loss Reduction by Meadow Fritillary Butterfly Optimization Algorithm 1 Introduction 2 Problem Formulation 3 Improved Meadow Fritillary Butterfly Optimization Algorithm 4 Simulation Results 5 Conclusion References A Two-Fold Multi-objective Multi-verse Optimization-Based Time Series Forecasting 1 Introduction 2 Literature Review 2.1 Contributions of the Work 3 Methodology 3.1 TFMOMVO Feature Selection with Personal Best (TFMOMVO-pbest) 3.2 Convolutional Neural Network (CNN) 3.3 Dynamic Error Correction (DEC) 4 Results and Discussions 5 Conclusion References A Novel Ranking-Based Non-linear Programming Approach to Solve Bi-matrix Games in Dense Fuzzy Environment 1 Introduction 2 Preliminaries 3 Defuzzification of TDFLS 3.1 Comparison with the Existing Defuzzification Method of TDFLS 4 Model Formulation of Bi-matrix Games in Dense Fuzzy Environment 4.1 Some Special Cases 5 Numerical Illustration 5.1 Tourism Planning Strategy Problem 5.2 Results and Discussions 6 Conclusion References Real-Time Error Correction Codes for Deletable Errors 1 Introduction 2 Main Results 3 Proof of Theorem 2 4 Proof of Theorem 1 References Lyapunov-Type Inequalities for Fractional Differential Operators with Non-singular Kernels 1 Introduction 2 Preliminaries 3 CF Fractional BVPs 4 ABC Fractional BVPs 5 Application 6 Conclusion References Chebyshev Spectral Projection Methods for Fredholm Integral Equations of the Second Kind 1 Introduction 2 Chebyshev Spectral Projection Methods 3 Convergence Rates 3.1 Chebyshev Spectral Galerkin Methods 3.2 Chebyshev Collocation Methods 4 Numerical Results References Some Sequence Spaces of Weight f 1 Introduction 2 A New Sequence Space References Generalized Libera Operator on Mixed-Norm Spaces 1 Introduction 2 Basic Lemmas 3 Generalized Libera Operator on Mixed-Norm Spaces References Improving the Monitoring of Mortality Surveillance by Analyzing Regression Approach 1 Introduction 2 Materials 3 Analytical Parts 3.1 Consisting Pattern Using LR Technique 3.2 Weekly Estimation by Using the EN Model 4 Result 4.1 Consisting Pattern 4.2 Weekly Estimation 5 Concluding Remarks References Motion Forecast of Dynamical Systems 1 Introduction 2 Problem Statement 2.1 Some Definitions 2.2 Mathematical Descriptions Adequacy of Quantitative Type 3 Guaranteed Estimation of Forecast of Dynamic System Motion 3.1 Criterion of Qualitative Type Adequacy 3.2 Possible Method of Forecast Estimation with Guaranty 4 Conclusion References Modeling of Nonlinear Wave Phenomena in Interstellar Superthermal Plasma 1 Introduction 2 Mathematical Modeling 3 Formulation of Evolution Equations 3.1 KdV Equation 3.2 Modified KdV Equation 4 Phase Plane Analysis 4.1 Solitary Wave Solutions 5 Conclusion References Application of Group Methods in Solving Wave Equations 1 Introduction 2 Invariance Condition for Partial Differential Equations of Second Order 3 Symmetry Analysis of the Wave Equation 4 Conclusion References Traveling Wave Solutions of Some Coupled Nonlinear Systems by Sine–Cosine Approach 1 Introduction 2 Mathematical Formulation of the Sine–Cosine Approach 3 Sine–Cosine Approach and Exact Solutions 3.1 The Nonlinear Maccari System (NMS) 3.2 The Coupled Nonlinear Higgs Equation (CNHE) 3.3 The Coupled Nonlinear Konno–Oono Equation (CNKOE) 4 Conclusion References Several Families of New Exact Solutions for Wave-Like Equations with Variable Coefficients 1 Introduction 2 Exact Solutions of Wave-Like Equation 2.1 First Set of Exact Solutions 2.2 Second Set of Exact Solutions 3 Conclusion References Coexistence of Chaotic, Quasiperiodic and Multiperiodic Features in Quantum Plasma 1 Introduction 2 Normalized Governing Equations 3 Dynamical System 4 Coexisting Features 5 Conclusion References New Classes of Exact Solutions to Three-dimensional Schrodinger Equation 1 Introduction 2 Exact Solutions 2.1 Case I 2.2 Case II 2.3 Case III 3 Non-zero Energy Solutions 4 Conclusion References Dynamical Properties of Shock and Snoidal Waves in a Superthermal Multi-ion Dusty Plasma 1 Introduction 2 Model Equations 3 Burgers Equation 4 Planar Dynamical System (PDS) 5 Kink and Anti-kink Waves 6 Snoidal Wave 7 Perturbed Dynamical Structure (PRDS) and Quasi-periodicity 8 Conclusions References A Simple Model on Streamflow Management with a Dynamic Risk Measure 1 Introduction 2 Problem Formulation 2.1 System Dynamics 2.2 Performance Functional 2.3 HJBI Equation 3 Mathematical Analysis 3.1 Explicit Solution 3.2 Brief Application 4 Conclusion References Implementation Report of the Kohel–Lauter–Petit–Tignol Algorithm for the Constructive Deuring Correspondence 1 Introduction 2 Mathematical Background 2.1 Quaternion Algebras 2.2 Elliptic Curves, Isogenies, and Endomorphism Rings 2.3 The Deuring Correspondence over Supersingular Elliptic Curves 3 Improvements and Implementation of the KLPT Algorithm 3.1 The Original KLPT Algorithm 3.2 Improvements of the KLPT Algorithm 3.3 Implementation and Experiments 4 Conclusion and Future Work References New Results on Competitive Analysis of Online SRPT Scheduling 1 Introduction 2 Background and SRPT Algorithm 2.1 Basic Terminologies and Notations 2.2 SRPT Algorithm 3 Our Competitive Analysis Results for Algorithm SRPT Based on Special Classes of Input Job Sequences 4 Conclusion References Perturbation Technique on MHD Slip Flow of an Accelerated Plate with Hall Current 1 Introduction 2 Formulation and Mathematical Analysis 3 Mathematical Solutions 3.1 Solution Using Perturbation Analysis 3.2 Solution Using Laplace Transformation Technique 4 Results and Discussions 5 Conclusions References Simulation of Two-Dimensional Nonlinear Model for Washing of Pulp Fiber Bed Using Quintic Hermite Interpolation Polynomials 1 Introduction 2 Mathematical Model 2.1 Model Equation for the Particle Phase 2.2 Model Equation for Fluid Phase 3 Numerical Procedure 4 Results and Discussions 4.1 Comparison Between Experimental and Numerical Values 4.2 Effect of Some Important Parameters 5 Conclusions References Semi-Markov Decision Processes with Vector Pay-Offs 1 Introduction 2 Preliminaries 3 Main Results in Pareto-Optimal Strategy Spaces 4 Pareto Curves and Multi-objective Linear Programming Problem 5 Multi-objective Linear Programming Formulation of a Discounted SMDP with Vector Pay-Offs 6 Pareto-Realizability Problem for Discounted SMDP with Vector Pay-Offs 7 Conclusion References Sonar Sensing-Based Human Leg Localization Using Gaussian Process Regression 1 Introduction 2 Gaussian Process Regression 3 Proposed Human Position Estimation Approach 3.1 Framework for Data Acquirement 3.2 Proposed Measurement Model 4 Experimental Results 4.1 Experimental Setup 4.2 Dataset Generation 4.3 Performance Evaluations 5 Conclusions References Steady-State Analysis of a Vacation Queue with Random Serving Capacity and Batch-Size-dependent Service 1 Introduction 2 Model Description 3 Steady-State System Equations 4 Joint Probabilities of Queue Length and Server Content 4.1 Determination of Unknowns in the Numerator of (25) 4.2 Extraction Procedure of Joint Probabilities 5 Probabilities of Queue Length Along with Server Content at Random Epoch 6 Performance Measures 7 Numerical Illustrations 8 Conclusion References Computing Prices for Target Profits in Contracts 1 Introduction 2 Target Profits with Given Demand Profile 3 Target Profits with Given Quality Profile 4 Conclusion and Future Work References On the Solution of Bush and Wilson's Stochastic Model for Two-Choice Behavior of the Paradise Fish Approached by the Fixed-Point Method 1 Introduction 2 The Experimental Work of Bush and Wilson on Paradise Fish 3 Mathematical Modeling of the Proposed Model 4 Main Results 5 Question and Open Problem References A Fine-tuning Retrieval System for Mathematical Information 1 Introduction 2 Related Works 3 Proposed Architecture 3.1 Corpus Description 3.2 System Description 4 Experimental Design and Results 4.1 Queryset Description 4.2 Gold Dataset Description 4.3 Format of Result Set 4.4 Evaluation Parameters 4.5 Results Analysis 5 Conclusions and Future Scope References Wind Response Evaluation of Limb-Shifted U-Shaped Building Using CFD 1 Introduction 2 Details of Building Models 3 Solution Methodology 3.1 Computational Domain Setup 3.2 Generation of Mesh 3.3 Mesh Sensitivity Study 3.4 Validation 4 Results and Discussion 4.1 Variation in Wind Flow Streamline 4.2 Variation in Force Coefficients 4.3 Variation in Pressure Coefficients 5 Conclusion References Author Index