Results 21 to 30 of about 4,194,434 (347)
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
Fluids, 2021 This paper presents the Eulerian–Lagrangian approach for numerical modeling of high-speed gas-droplet flows and aeroacoustics. The proposed hybrid approach is implemented using the OpenFOAM library and two different methods.
Valeriia G. Melnikova +2 more
doaj +1 more source
Clafer: Lightweight Modeling of Structure, Behaviour, and Variability [PDF]
, 2018 Embedded software is growing fast in size and complexity, leading to intimate mixture of complex architectures and complex control. Consequently, software specification requires modeling both structures and behaviour of systems.
Antkiewicz, Michal +5 more
core +2 more sources
Strategic programming meets adaptive programming [PDF]
Proceedings of the 2nd international conference on Aspect-oriented software development, 2003 Strategic programming is a generic programming idiom for processing compound data such as terms or object structures. At the heart of the approach is the separation of two concerns: basic dataprocessing computations vs. traversal schemes. Actual traversals are composed by passing the former as arguments to the latter.
Lämmel, R., Visser, E., Visser, J.
openaire +2 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
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
A framework for understanding the factors influencing pair programming success [PDF]
, 2005 Pair programming is one of the more controversial aspects of several Agile system development methods, in particular eXtreme Programming (XP). Various studies have assessed factors that either drive the success or suggest advantages (and disadvantages ...
C. Poole +11 more
core +3 more sources
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
Program Synthesis for Program Analysis [PDF]
ACM Transactions on Programming Languages and Systems, 2018 In this article, we propose a unified framework for designing static analysers based on program synthesis . For this purpose, we identify a fragment of second-order logic with restricted quantification that is expressive enough to model numerous static analysis problems (e.g., safety proving,
Cristina David +3 more
openaire +4 more sources
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