Results 11 to 20 of about 1,682,433 (269)
, 2015 machines for the strong evaluation of lambda-terms (that is, under abstractions) are a mostly neglected topic, despite their use in the implementation of proof assistants and higher-order logic programming languages.
Accattoli, Beniamino +2 more
core +5 more sources
GDP Forecasting: Machine Learning, Linear or Autoregression?
Frontiers in Artificial Intelligence, 2021 This paper compares the predictive power of different models to forecast the real U.S. GDP. Using quarterly data from 1976 to 2020, we find that the machine learning K-Nearest Neighbour (KNN) model captures the self-predictive ability of the U.S. GDP and
Giovanni Maccarrone +3 more
doaj +1 more source
Energies, 2017 C-core linear flux-switching permanent magnet (PM) machines (LFSPMs) are attracting more and more attention due to their advantages of simplicity and robustness of the secondary side, high power density and high torque density, in which both PMs and ...
Yi Du +5 more
doaj +1 more source
Locally Linear Factorization Machines [PDF]
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017 Factorization Machines (FMs) are a widely used method for efficiently using high-order feature interactions in classification and regression tasks. Unfortunately, despite increasing interests in FMs, existing work only considers high order information of the input features which limits their capacities in non-linear problems and fails to capture the ...
Chenghao Liu +4 more
openaire +1 more source
Informatics in Medicine Unlocked, 2021 Generally, health care costs from chronic diseases have positive skew and this gives problems on using traditional statistical models. Machine learning is a conventional method producing accurate prediction with large sample size.
Wichayaporn Thongpeth, M.N.S. +4 more
doaj +1 more source
Analytical and experimental study of feed rate in high-speed milling [PDF]
, 2013 In the context of high-speed milling (HSM), during the machining process dynamic machine response has to be identified. To achieve this, we have to calculate the feed rate evolution in linear and circular interpolation according to dynamic performance of
Baili, Maher +4 more
core +3 more sources
Magnetic Flux Distribution of Linear Machines with Novel Three-Dimensional Hybrid Magnet Arrays
Sensors, 2017 The objective of this paper is to propose a novel tubular linear machine with hybrid permanent magnet arrays and multiple movers, which could be employed for either actuation or sensing technology.
Nan Yao +3 more
doaj +1 more source
Dynamic Modeling of a Front-Loading Type Washing Machine and Model Reliability Investigation
Machines, 2021 A linear dynamic model of a front-loading type washing machine was developed in this study. The machine was conceptualized with three moving rigid bodies, revolute joints, springs, and dampers along with prescribed rotational drum motion.
Jungjoon Park, Sinwoo Jeong, Honghee Yoo
doaj +1 more source
LINEAR FRICTION WELDING – PROCESS CONTROL AND MACHINE TECHNOLOGY [PDF]
MATEC Web of Conferences, 2020 Linear Friction Welding (LFW) is well adapted to produce titanium aircraft engine and structure parts, as an alternative to machining from solid, from forging or from electron beam welded blanks.
PIOLLE N.
doaj +1 more source
Study on Predictive Maintenance of V-Belt in Milling Machines Using Machine Learning
Journal of Mechanical Engineering Science and Technology, 2022 Towards industry 4.0, monitoring the degradation of machine tools’ components becomes a key feature so that smooth productivity is achieved. To preserve the functionality and performance of the machine tools, proper maintenance activities must be planned
Reza Aulia Rahman +2 more
doaj +1 more source