Academic Articles & Research Papers

An automated qualitative analysis of real-time systems using Timed Petri net and SPIN

Verification of real-time system properties using formal models can improve system design and quality. The Timed Petri net is a formal model for modelling and designing real-time systems with time constraints. Furthermore, model checking is...

Model Optimasi SVM Dengan PSO-GA dan SMOTE Dalam Menangani High Dimensional dan Imbalance Data Banjir

Banjir merupakan salah satu bencana alam yang sering terjadi di Indonesia, termasuk di Kota Samarinda dengan 18-33 titik desa terdampak dari tahun 2018-2021. Penggunaan machine learning dalam mengklasifikasi bencana banjir sangat penting un...

An Improved Supervised-LDA Text Model and Its Application

Supervised-Latent Dirichlet Distribution Allocation (s-LDA) model cannot handle the multi-label problem and s-LDA model is not correct distribution in the classification model.The Supervised Labled-LDA(sl-LDA) model is proposed by adding a ...

A database of experimentally measured lithium solid electrolyte conductivities evaluated with machine learning

Abstract The application of machine learning models to predict material properties is determined by the availability of high-quality data. We present an expert-curated dataset of lithium ion conductors and associated lithium ion conductivit...

A deep learning recognition model for landslide terrain based on multi-source data fusion

The traditional high-level remote landslide recognition efficiency which relies on the artificial discrimination of geological experts is low. In this paper, an automatic landslide terrain recognition model based on deep learning is develop...

A Novel Construction Method of Bayesian Neural Networks Based on Multi-type Engineering Knowledge

Abstract In the field of engineering, the utilization of surrogate models to replace computationally intensive simulation software has become a widely adopted approach. However, when addressing complex engineering problems, the costs of sim...

Software Engineering Project Management

From the Publisher: The 2nd edition of Thayer's popular, bestselling book presents a top-down practical view of managing a successful software engineering project. The book builds on a framework for project managements activities based on ...

Beginning Software Engineering

Beginning Software Engineering demystifies the software engineering methodologies and techniques that professional developers use to design and build robust, efficient, and consistently reliable software. Free of jargon and assuming no prev...

Systems and software engineering -- Vocabulary

The systems and software engineering disciplines are continuing to mature while information technology advances. This International Standard was prepared to collect and standardize terminology. Its purpose is to identify terms currently in ...

Collaboration in Software Engineering: A Roadmap

Software engineering projects are inherently cooperative, requiring many software engineers to coordinate their efforts to produce a large software system. Integral to this effort is developing shared understanding surrounding multiple arti...

Software engineering for security

Integrating Security Considerations smoothly into early life-cycle activities: uniform application of cost-benefit analyses to both functional, and security requrements; unified modeling approaches to integrate the engineering of both funct...

Models in software engineering ? an introduction

Introduction to Software Engineering

Practical Guidance on the Efficient Development of High-Quality Software Introduction to Software Engineering, Second Edition equips students with the fundamentals to prepare them for satisfying careers as software engineers regardless of f...

Optimizing supercritical antisolvent process parameters to minimize the particle size of paracetamol nanoencapsulated in L-polylactide

Mahshid Kalani, Robiah Yunus, Norhafizah AbdullahChemical and Environmental Engineering, Faculty of Engineering, University Putra Malaysia, Selangor Darul Ehsan, MalaysiaBackground: The aim of this study was to optimize the different proces...

Study on Contact Force and Vibration Characteristics of Composite Cylindrical Roller Bearing

The composite cylindrical roller is composed of a hollow cylindrical roller and a filler body and is a new type of structure roller bearing. In order to explore the influence of different parameters on the contact characteristics and vibrat...

Field-Aware Click-Through Rate Prediction Model Based on Attention Mechanism

Click-Through Rate(CTR) prediction is one of the most important tools for ad placement.Predicting the CTR of an ad and making recommendations to users can increase ad revenue.Field-aware click-through rate prediction models are superior to ...

Alterations in Hip and Knee Joint Contact Force Waveforms and Orientation Induced by Gait Modifications: A Case Study

Introduction & Purpose Idiopathic torsional deformities of lower limb bones can affect a patient’s gait pattern and joint health, while their cause remains unidentified (Koller et al., 2026). Abnormal joint loadings and the progression of ...

GERP: A Personality-Based Emotional Response Generation Model

It is important for chatbots to emotionally communicate with users. However, most emotional response generation models generate responses simply based on a specified emotion, neglecting the impacts of speaker’s personality on emotional expr...

Music Genre Recommendations Based on Spectrogram Analysis Using Convolutional Neural Network Algorithm with RESNET-50 and VGG-16 Architecture

Recommendations are a very useful tool in many industries. Recommendations provide the best selection of what the user wants and provide satisfaction compared to ordinary searches. In the music industry, recommendations are used to provide ...

An Intelligent Fuzzy System for Diabetes Disease Detection using Harris Hawks Optimization

This paper proposed a fuzzy expert system for diagnosing diabetes. In the proposed method, at first, the fuzzy rules are generated based on the Pima Indians Diabetes Database (PIDD) and then the fuzzy membership functions are tuned using th...