Results 71 to 80 of about 231,375 (285)
Splitting Proofs for Interpolation
, 2017 We study interpolant extraction from local first-order refutations. We present a new theoretical perspective on interpolation based on clearly separating the condition on logical strength of the formula from the requirement on the com- mon signature ...
A Cimatti +14 more
core +2 more sources
Potential therapeutic targeting of BKCa channels in glioblastoma treatment
Molecular Oncology, EarlyView.This review summarizes current insights into the role of BKCa and mitoBKCa channels in glioblastoma biology, their potential classification as oncochannels, and the emerging pharmacological strategies targeting these channels, emphasizing the translational challenges in developing BKCa‐directed therapies for glioblastoma treatment.
Kamila Maliszewska‐Olejniczak +4 more
wiley +1 more source
The antenna near-field measurement error correction method based on Kriging interpolation
Dianzi Jishu YingyongWith the continuous advancement of antenna technology, the importance of near-field measurement techniques is also increasing. In near-field measurements, probe malfunctions or overly large sampling intervals can lead to significant errors in the ...
Li Zhihang, Zhang Wei
doaj +1 more source
A Programmable Look-Up Table-Based Interpolator with Nonuniform Sampling Scheme
International Journal of Reconfigurable Computing, 2012 Interpolation is a useful technique for storage of complex functions on limited memory space: some few sampling values are stored on a memory bank, and the function values in between are calculated by interpolation.
Élvio Carlos Dutra e Silva Júnior +3 more
doaj +1 more source
THE COORDINATE TRANSFORMATION METHOD OF HIGH RESOLUTION DEM DATA [PDF]
ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2018 Coordinate transformation methods of DEM data can be divided into two categories. One reconstruct based on original vector elevation data. The other transforms DEM data blocks by transforming parameters.
C. Yan, W. Guo, A. Li
doaj +1 more source
Predictive Encoding of Contextual Relationships for Perceptual Inference, Interpolation and Prediction [PDF]
, 2015 We propose a new neurally-inspired model that can learn to encode the global relationship context of visual events across time and space and to use the contextual information to modulate the analysis by synthesis process in a predictive coding framework.
Lee, Tai Sing +3 more
core
, 2012 A new approach is proposed to the solution of the quantum mechanical inverse scattering problem at fixed energy. The method relates the fixed energy phase shifts to those arising in an auxiliary Sturm-Liouville problem via the interpolation theory of the
Apagyi B +13 more
core +1 more source
Molecular Oncology, EarlyView.The LINC01116 long noncoding RNA is induced by hypoxia and associated with poor prognosis and high recurrence rates in two cohorts of lung adenocarcinoma patients. Here, we demonstrate that besides its expression in cancer cells, LINC01116 is markedly expressed in lymphatic endothelial cells of the tumor stroma in which it participates in hypoxia ...
Marine Gautier‐Isola +12 more
wiley +1 more source
Effect of curvature variation on the accuracy of blade NC interpolation
Journal of Advanced Mechanical Design, Systems, and ManufacturingThe curvature variation regularity of the blade surface is complex and requires a high level of machining accuracy. In order to research the influence of interpolation tolerance on the machining accuracy of blade surface at different positions, the non ...
Jiaheng MA +4 more
doaj +1 more source
Modeling and Parameterization of Fuel Economy in Heavy Duty Vehicles (HDVs)
Energies, 2014 The present paper suggests fuel consumption modeling for HDVs based on the code from the Japanese Ministry of the Environment. Two interpolation models (inversed distance weighted (IDW) and Hermite) and three types of fuel efficiency maps (coarse, medium,
Yunjung Oh, Sungwook Park
doaj +1 more source