Results 21 to 30 of about 366,476 (269)
Program Transformation for Program Verification
EPiC Series in Computing, 2018 We present a transformational approach to program verification and software model checking that uses three main ingredients:(i) Constraint Logic Programming (CLP),(ii) metaprogramming and program specialization, and(iii) proof by transformation.
PETTOROSSI, ALBERTO, Proietti, M.
openaire +5 more sources
Human Psychophysiological Activity Estimation Based on Smartphone Camera and Wearable Electronics
Future Internet, 2020 This paper presents a study related to human psychophysiological activity estimation based on a smartphone camera and sensors. In recent years, awareness of the human body, as well as human mental states, has become more and more popular.
Alexey Kashevnik +8 more
doaj +1 more source
Some New Upper Bounds for the Y-Index of Graphs
Journal of Mathematics, 2022 In mathematical chemistry, the topological indices with highly correlation factor play a leading role specifically for developing crucial information in QSPR/QSAR analysis.
Durbar Maji +2 more
doaj +1 more source
Edge Colouring of Neutrosophic Graphs and Its Application in Detection of Phishing Website
Discrete Dynamics in Nature and Society, 2022 Graph colouring enjoys many practical as well as theoretical uses. Graph colouring is still a very active subject of research. This article introduces a new concept of the chromatic number of the neutrosophic graph (NG).
Rupkumar Mahapatra +2 more
doaj +1 more source
MODELLING OF TURBULENT WAKE FOR TWO WIND TURBINES
Научный вестник МГТУ ГА, 2018 The construction of several large wind farms (The Ulyanovsk region, the Republic of Adygea, the Kaliningrad region, the North of the Russian Federation) is planned on the territory of the Russian Federation in 2018–2020.
A. S. Kryuchkova, S. V. Strijhak
doaj +1 more source
An investigation of edge F-index on fuzzy graphs and application in molecular chemistry
Complex & Intelligent Systems, 2022 The molecular descriptors are a useful tool in the spectral graph, molecular chemistry and several fields of chemistry and mathematics. The edge F-index is proposed for fuzzy graphs (FGs) here. Bounds of this index are calculated for FGs. The FG has been
Sk Rabiul Islam, Madhumangal Pal
doaj +1 more source
Special Type Routing Problems in Plane Graphs
Mathematics, 2022 We considered routing problems for plane graphs to solve control problems of cutting machines in the industry. According to the cutting plan, we form its homeomorphic image in the form of a plane graph G.
Tatiana Makarovskikh, Anatoly Panyukov
doaj +1 more source
A machine learning approach to analyze customer satisfaction from airline tweets
Journal of Big Data, 2019 Customer’s experience is one of the important concern for airline industries. Twitter is one of the popular social media platform where flight travelers share their feedbacks in the form of tweets.
Sachin Kumar, Mikhail Zymbler
doaj +1 more source
The Reformulated F-Index of Vertex and Edge F-Join of Graphs
Journal of Chemistry, 2022 The valency based topological indices (TIs) are defined by algebraic functions as the chemical graph theory tools in which the structural parameters are used as input and the output is related with the topology of chemical species.
Durbar Maji +2 more
doaj +1 more source
Static analysis of function calls in Erlang [PDF]
e-Informatica Software Engineering Journal, 2013 Functions and their relations can affect numerous properties and metrics of a functional program. To identify and represent the functions and their calling connections, software analysers commonly apply semantic function analysis, which derives the ...
Dániel Horpácsi, Judit Kőszegi
doaj +1 more source