Browsing by Subject "Artificial neural networks"
Now showing items 1-9 of 9
-
A neural network algorithm for hardware-software verification
( IEEE , 2003 , Conference Paper)Formal verification is the task of proving that a property holds for a model of a design. This paper examines the idea of a Neural Network-based algorithm used to find the set of states that makes a specification valid. ... -
An Artificial Intelligence Approach to Estimate Travel Time along Public Transportation Bus Lines
( Qatar Univesrity Press , 2020 , Conference Paper)Public transportation sectors have played significant roles in accommodating passengers and commodities efficiently and effectively. The modes of public transportation often follow pre-defined operation schedules and routes. ... -
Automated knowledge discovery in facility layout planning
( International Business Information Management Association, IBIMA , 2014 , Conference Paper)This paper proposes a novel methodology for facilities layout planning and optimization in which fitness evaluation of layout alternatives is done in an automated manner using an artificial neural network trained to user ... -
Estimating Turning Movements at Signalized Intersections Using Artificial Neural Networks
( Institute of Electrical and Electronics Engineers (IEEE) , 2018 , Article)Intersection turning movements' counts are critical input data for traffic studies, analysis, and forecasting. These types of counts are often used to analyze operational performance of signalized intersections under ... -
Global evaluation of WBGT and SET indices for outdoor environments using thermal imaging and artificial neural networks
( Elsevier , 2020 , Article)The health and well-being of occupants of outdoor environments are largely affected by thermal stress, and therefore a global assessment is essential. Wet-bulb globe-temperature (WBGT) is used as a heat stress indicator ... -
Modeling and optimization of biogas production from a waste digester using artificial neural network and genetic algorithm
( Elsevier B.V. , 2009 , Article)Artificial neural networks (ANNs) and genetic algorithms (GA) are considered among the latest tools that are used to solve complicated problems that cannot be solved by conventional solutions. The present study utilizes ... -
Multiple linear regression and artificial neural networks for delta-endotoxin and protease yields modelling of Bacillus thuringiensis
( Springer Verlag , 2017 , Article)The aim of the present work was to develop a model that supplies accurate predictions of the yields of delta-endotoxins and proteases produced by B. thuringiensis var. kurstaki HD-1. Using available medium ingredients as ... -
Predicting the performance of multi-media filters using artificial neural networks
( IWA Publishing , 2016 , Article)The impact of flow rate and turbidity on the performance of multi-media filtration has been studied using an artificial neural network (ANN) based model. The ANN model was developed and tested based on experimental data ... -
Prediction of seismic damage spectra using computational intelligence methods
( Elsevier , 2021 , Article)Predicting seismic damage spectra, capturing both structural and earthquake features, is useful in performance-based seismic design and quantifying the potential seismic damage of structures. The objective of this paper ...