Results (2353)
Search Parameters:
Keyword: ROUsing Formal Methods to Model a Smart School System via TLA+ and its TLC Model Checker for Validation
Formal methods are one of the efficient tools to verify and validate designs for different kinds of systems. Smart systems are attracting researchers’ attention due to the rapid spread of new technologies all over the world. Modeling a smart system requires connecting heterogeneous subsystems together to build it. Our contribution to this work is in…
Read MoreAdvanced Multiple Linear Regression Based Dark Channel Prior Applied on Dehazing Image and Generating Synthetic Haze
Haze removal is an extremely challenging task, and object detection in the hazy environment has recently gained much attention due to the popularity of autonomous driving and traffic surveillance. In this work, the authors propose a multiple linear regression haze removal model based on a widely adopted dehazing algorithm named Dark Channel Prior. Training this…
Read MoreBLDC Motor Vibration Identification by Finite Element Method and Measurements
Within the results of scientific research, vibrations and their reduction have been described for the brushless direct current motor with permanent magnets (BLDC motor). In this paper, calculations (the finite element method using commercial Finite Element Software Ansys) and measurements were performed to identifying the sources of vibrations in BLDC motor. The article presents numerical…
Read MoreActual Traffic Based Load-Aware Dynamic Point Selection for LTE-Advanced System
Coordinated MultiPoint (CoMP) has been introduced for LTE-Advanced system to overcome the inter-cell interference problems and enhance the signal quality of cell-edge UEs (User Equipments). With such concept, the overall system performance should be improved considerably to support the significantly increasing amount of demand on data transmission via mobile communication that happens nowadays. Dynamic Point…
Read MoreConvolutional Neural Network Based on HOG Feature for Bird Species Detection and Classification
This work is concerned with the detection and classification of birds that have applications like monitoring extinct and migrated birds. Recent computer vision algorithms can precise this kind of task but still there are some dominant issues like low light, very little differences between subspecies of birds, etc are to be studied. As Convolution Neural…
Read MoreSecuring IPv6 Neighbor Discovery using Pre-Shared Key
Neighbor Discovery Protocol (NDP) is used to discover the MAC address of the connected hosts in Internet Protocol Version 6 (IPv6) in a networked environment. Neighbor Cache Entry (NCE) table holds the association between a host’s IP address and MAC address. However, according to the protocol, the MAC address could be overwritten by sending a…
Read MoreDependence of the Knowledge Structure of the Company Employees on a Set of the Competencies
The article substantiates the relevance of conducting research on the structural characteristics of a company’s employee knowledge, which is the result of his mental activity and his practical experience. The conditions under which information becomes a source of employee knowledge are determined. An abstract analysis of the process of transforming knowledge into an intellectual product…
Read MoreFood Price Prediction Using Time Series Linear Ridge Regression with The Best Damping Factor
Forecasting food prices play an important role in livestock and agriculture to maximize profits and minimizing risks. An accurate food price prediction model can help the government which leads to optimization of resource allocation. This paper uses ridge regression as an approach for forecasting with many predictors that are related to the target variable. Ridge…
Read MoreAnalyze Performance of Enterprise Supervision System by Game Theory-Take the case of Tatung Management Rights Competition as Example
Protecting the rights and interests of shareholders is the important research topic. This study takes ” Tatung Operation Rights Competition” as an example to execute case study. Game tools are applied to analyze which corporate supervision strategies should be used by government. The research and analysis results show that both the corporate group and the…
Read MoreComparative Analysis of Land Use/Land Cover Change and Watershed Urbanization in the Lakeside Counties of the Kenyan Lake Victoria Basin Using Remote Sensing and GIS Techniques
The ecosystems and landscape patterns in Lake Victoria basin are increasingly being modified by changes in land use/land cover. Understanding dynamics of these changes is essential for appropriate planning. This study evaluated changes in landscape environment, of the lakeside counties of the Kenyan Lake Victoria basin, which have occurred over a forty-year period (1978-2018) and…
Read MoreQuality Function Deployment: Comprehensive Framework for Patient Satisfaction in Private Hospitals
This paper addresses the quality of private healthcare services in the western region of the Kingdom of Saudi Arabia (KSA) and provides a comprehensive analysis of the customer requirement to improve the quality of these services. The study begins by reviewing literature on the subject of quality in general and then in terms of the…
Read MoreNode-Node Data Exchange in IoT Devices Using Twofish and DHE
Internet of Things provides the support for devices, people and things to collaborate in collecting, analyzing and sharing sensitive information from one device onto the other through the internet. The internet of things is thriving largely due to access, connectivity, artificial intelligence and machine learning approaches that it supports. The stability and enhanced speed of…
Read MoreA Framework for the Alignment of ICT with Green IT
The Public Administration is forced to transform itself by taking advantage of the contribution of ICT to in the process of reducing bureaucracy and increase transparency, promoting the dematerialization of processes, increasing the quality of online services, allowing greater ubiquity of access, reducing response times, in the search for improvement of the quality of life…
Read MoreUsing Supervised Classification Methods for the Analysis of Multi-spectral Signatures of Rice Varieties in Panama
In this article supervised classification methods for the analysis of local Panamanian rice crops using Near-Infrared (NIR) spectral signatures are assessed. Neural network ( Multilayer Perceptron-MLP) and Tree based (Decision Trees-DT and Random Forest-RF) algorithms are used as regression and supervised classification of the spectral signatures by rice varieties, against other crops and by plant…
Read MoreA Model for the Application of Automatic Speech Recognition for Generating Lesson Summaries
Automatic Speech Recognition (ASR) technology has the potential to improve the learning experience of students in the classroom. This article addresses some of the key theoretical areas identified in the pursuit of implementing a speech recognition system, capable of lesson summary generation in the educational setting. The article discusses: some of the applica- tions of…
Read MoreRecycling and Reuse of Wastewater Generated in Car-Washing Facilities
Fresh water is already scarce in the world, especially in the Middle East (ME). Desalination industry is the main supplier of the potable water to the municipalities in the ME region. It is well known the high cost of a liter of water produced by the desalination process. Unfortunately, car-washing service consumes substantial amount of…
Read MoreTeaching/Learning Strategies in Context of Education 4.0
Coronavirus pandemic and transition to distance learning have significantly accelerated the introduction of Education 3.0 – 4.0 technologies into traditional educational process. This paper discusses questions of training of IT- specialists in context of Education 4.0. Based on our experience, approaches to the organization of the educational process of IT- students are considered. It is…
Read MoreApplication of Polynomial Regression Analysis in Evaluating the Techno-Economic Performance of DSPV Transformers
To this extent, the delineation of techno-economic evaluations for transformers becomes more intricate through a lens of Distributed Solar Photovoltaic (DSPV) market in South Africa. Essentially, the transformer price and loss evaluation techniques should be tailored for calculating the Total Ownership Cost (TOC) of transformers facilitating decentralized energy systems. In South Africa, the traditional coal…
Read MoreSurvey of Agent-Based Simulations for Modelling COVID-19 Pandemic
On the 11th of March 2020, the World Health Organization (WHO) declared COVID-19 as a pandemic. Part of controlling measures of the pandemic is to understand the disease’s trajectories. There are several possible interventions that can prevent and control its spread. Determining an optimal strategy is critical for policymakers to understand the impact of different…
Read MoreVehicle Number Plate Detection and Recognition Techniques: A Review
Vehicle number plate detection and recognition is an integral part of the Intelligent Transport System (ITS) as every vehicle has a number plate as part of its identity. The quantity of vehicles on road is growing in the modern age, so numerous crimes are also increasing day by day. Almost every day the news of…
Read MoreSEA WAF: The Prevention of SQL Injection Attacks on Web Applications
The security of website application has become important in the last decades. According to the Open Web Application Security Project (OWASP), the SQL Injection is classified as one of the major vulnerabilities found in web application security. This research is focused on improving website security in dealing with SQL Injection attacks by stopping, monitoring, and…
Read MoreOntology Based Privacy Preservation over Encrypted Data using Attribute-Based Encryption Technique
The web documents are automatically interacting to discover the information by web mining, which is one of the applications of Cloud Computing (CC) technologies. These documents may be in the form of structured, semi-structured, or unstructured formats. In current web technologies, the Semantic Web is an extension for better enabling the people and computers to…
Read MoreArchitecture of Real-Time Patient Health Monitoring Based on 5G Technologies
Worldwide, the epidemiological situation is constantly changing and with the exponential increase in the number of confirmed coronavirus cases, the number of health care workers has decreased significantly and this is due to the direct and daily contact of patients. One of the major challenges of the last few months is to prevent the spread…
Read MoreFactors Affecting Behavioural Intention to Shop in Self-Service Retail Case Study: JD.ID X Mart
This paper aims to measure the acceptance level of Indonesian customers to JD.ID X retail and to reveal the driving factors of behavioral intention to shop at the retail. JD.ID X is new retail that implements a new shopping technology called Just walk-out technology (JWOT) also known as retail without a cashier. JWOT is one…
Read MoreBlockchain Technology-Based Good Distribution Practice Model of Pharmacy Industry in Indonesia
Distribution is the main activity in integrated product supply chain management. In the pharmaceutical industry, the process of drug distribution is important because of the handling, storage, and distribution of medicinal products with good standards and quality. The problem that occurs in the pharmaceutical industry is the circulation of counterfeit drugs by related parties, for…
Read More
