Results 21 to 30 of about 2,584,848 (276)
Human Psychophysiological Activity Estimation Based on Smartphone Camera and Wearable Electronics
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
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
Programmed Safety through Programmed Learning [PDF]
A study was conducted to determine the relative effectiveness of various safety training techniques on industrial accident occurrence. A punch press simulator was designed and equipped with special electronic instrumentation to record the occurrence of simulated accidents as well as to indicate the production of substandard simulated parts.
J H, Leslie, S K, Adams
openaire +2 more sources
Edge Colouring of Neutrosophic Graphs and Its Application in Detection of Phishing Website
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
Strategic programming meets adaptive programming [PDF]
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
Shallow EDSLs and Object-Oriented Programming: Beyond Simple Compositionality [PDF]
Context: Embedded Domain-Specific Languages (EDSLs) are a common and widely used approach to DSLs in various languages, including Haskell and Scala. There are two main implementation techniques for EDSLs: shallow embeddings and deep embeddings.
Oliveira, Bruno, Zhang, Weixin
core +2 more sources
MODELLING OF TURBULENT WAKE FOR TWO WIND TURBINES
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
Special Type Routing Problems in Plane Graphs
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
Program Synthesis for Program Analysis [PDF]
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
A nonvolatile analog programmable voltage source using the VIPMOS EEPROM structure [PDF]
A programmable voltage source using the vertical injection punchthrough based MOS (VIPMOS) EEPROM structure is presented. The circuit operates at a single 5-V supply and the output voltage is continuously available even during programming.
Hoen, Klaas +4 more
core +2 more sources

