Results 31 to 40 of about 7,986,871 (308)
EXTENSION OF CRITICAL PROGRAMS OF THE COMPUTATIONAL THEORY OF MIND [PDF]
Filozofia i Nauka, 2022 Technological advances in computer science have secured the computer metaphor status of a heuristic methodological toolused to answer the question about the nature of mind.
Pavel N. Baryshnikov
doaj +1 more source
The Journal of Engineering, 2019 Currently, some five-axis CNC machine tools have almost achieved the same advanced level of the western countries in terms of functionality and performance. However, the reliability of system is much lower than similar foreign products.
Pengjia Wang, Hongjun Wang, Xiumei Chen
doaj +1 more source
Advances in Differential Equations, 2015 The aim of this work is to demonstrate the effectiveness of the extension theory of symmetric operators in the investigation of the stability of standing waves for the nonlinear Schrodinger equations with two types of non-linearities (power and ...
J. Pava, Nataliia Goloshchapova
semanticscholar +1 more source
Landslide early warning for open-pit mine based on PCA-G1-ET
Gong-kuang zidonghuaThe occurrence of open-pit mine landslides is influenced by multiple factors such as geological conditions, meteorological conditions, and human mining activities.
YUAN Liwei +4 more
doaj +1 more source
New Power Quality Analysis Method Based on Chaos Synchronization and Extension Neural Network
Energies, 2014 A hybrid method comprising a chaos synchronization (CS)-based detection scheme and an Extension Neural Network (ENN) classification algorithm is proposed for power quality monitoring and analysis. The new method can detect minor changes in signals of the
Meng-Hui Wang, Her-Terng Yau
doaj +1 more source
The Independence of Markov's Principle in Type Theory [PDF]
Logical Methods in Computer Science, 2017 In this paper, we show that Markov's principle is not derivable in dependent type theory with natural numbers and one universe. One way to prove this would be to remark that Markov's principle does not hold in a sheaf model of type theory over Cantor ...
Thierry Coquand, Bassel Mannaa
doaj +1 more source
Two-Dimensional Discommensurations: An Extension to McMillan’s Ginzburg–Landau Theory
Condensed Matter, 2023 Charge density waves (CDWs) profoundly affect the electronic properties of materials and have an intricate interplay with other collective states, like superconductivity and magnetism.
Lotte Mertens +2 more
doaj +1 more source
MachinesThis research addresses the coupling issue between speed tracking and vertical posture in articulated unmanned mining trucks within unstructured environments.
Xinying Li +3 more
doaj +1 more source
Energies, 2016 An Extension Taguchi Method (ETM) is proposed on the optimized allocation of equipment capacity for solar cell power generation, wind power generation, full cells, electrolyzer and hydrogen tanks.
Meng-Hui Wang +3 more
doaj +1 more source
Nonlinear perturbation theory extension of the Boltzmann code CLASS
Physical Review D, 2020 We present a new open-source code that calculates one-loop power auto- and cross-power spectra for matter fields and biased tracers in real and redshift space.
A. Chudaykin +3 more
semanticscholar +1 more source