Results 21 to 30 of about 87,616 (237)
Retrieving library functions by unifying types modulo linear isomorphism [PDF]
RAIRO - Theoretical Informatics and Applications, 1993 Summary: An improved method to retrieve a library function via its Hindley/Milner type is described. Previous retrieval systems have identified types that are isomorphic in any Cartesian closed category (CCC), and have retrieved library functions of types that are either isomorphic to the query, or have instances that are.
openaire +2 more sources
Material Effectiveness Model for the Construction of Aluminum Hull
Kapal, 2021 Construction of a hull generally requires several plates and profile material. Early indications for shipbuilding indicate that in manner, the linear function approach for installed material was 75% to 90%, and waste material was 10% to 25%.
Bagiyo Suwasono +2 more
doaj +1 more source
Task-Dependent and Query-Dependent Subspace Learning for Cross-Modal Retrieval
IEEE Access, 2018 Most existing cross-modal retrieval approaches learn the same couple of projection matrices for different sub-retrieval tasks (such as, image retrieves text and text retrieves image) and various queries. They ignore the important fact that, different sub-
Li Wang +4 more
doaj +1 more source
Daytime Land Surface Temperature Extraction from MODIS Thermal Infrared Data under Cirrus Clouds
Sensors, 2015 Simulated data showed that cirrus clouds could lead to a maximum land surface temperature (LST) retrieval error of 11.0 K when using the generalized split-window (GSW) algorithm with a cirrus optical depth (COD) at 0.55 μm of 0.4 and in nadir view.
Xiwei Fan +4 more
doaj +1 more source
Peers Influence Mathematics Strategy Use in Early Elementary School
International Journal of Educational Psychology, 2016 This study examined the impact of performance goals on arithmetic strategy use in first graders, and also how same-sex peer groups contributed to the selection of strategies used by elementary school children.
Martha Carr +2 more
doaj +1 more source
Complexity, 2022 The article is devoted to the problem of optimization of search request ranking algorithms in the digital information retrieval system. The algorithm of functioning of the neural network ranking unit based on Hopfield neural network is built. The ability
Viera Bartosova +4 more
doaj +1 more source
Atmosphere, 2016 The microwave humidity and temperature sounder (MWHTS) on the Fengyun (FY)-3C satellite measures the outgoing radiance from the Earth’s surface and atmospheric constituents.
Qiurui He, Zhenzhan Wang, Jieying He
doaj +1 more source
Quantification and parametrization of non-linearity effects by higher-order sensitivity terms in scattered light differential optical absorption spectroscopy [PDF]
Atmospheric Measurement Techniques, 2016 We address the application of differential optical absorption spectroscopy (DOAS) of scattered light observations in the presence of strong absorbers (in particular ozone), for which the absorption optical depth is a non-linear function of the trace gas ...
J. Puķīte, T. Wagner
doaj +1 more source
Existence and Ulam Type Stability for Impulsive Fractional Differential Systems with Pure Delay
Fractal and Fractional, 2022 Through literature retrieval and classification, it can be found that for the fractional delay impulse differential system, the existence and uniqueness of the solution and UHR stability of the fractional delay impulse differential system are rarely ...
Chaowen Chen, Mengmeng Li
doaj +1 more source
Tropospheric temperature measurements with the pure rotational Raman lidar technique using nonlinear calibration functions [PDF]
Atmospheric Measurement Techniques, 2017 Among lidar techniques, the pure rotational Raman (PRR) technique is the best suited for tropospheric and lower stratospheric temperature measurements. Calibration functions are required for the PRR technique to retrieve temperature profiles from lidar ...
V. V. Zuev +4 more
doaj +1 more source