Results 11 to 20 of about 1,081,314 (373)
Testing refinements by refining tests [PDF]
, 1998 One of the potential benefits of formal methods is that they offer the possibility of reducing the costs of testing. A specification acts as both the benchmark against which any implementation is tested, and also as the means by which tests are generated.
John Derrick, Eerke Albert Boiten
openaire +7 more sources
Research of a fibrous layer at refining in the refiners [PDF]
IOP Conference Series: Earth and Environmental Science, 2019 Abstract A subject of research – a fibrous layer in the refiners at refining. By means of the tension compression chart it is shown that parameters of a fibrous layer are adequately described by Maxwell-Thompson’s model for liquid friction and the Hooke model for boundary friction of a plate.
Vikharev, S. N.
openaire +4 more sources
Refinable subspaces of a refinable space [PDF]
Proceedings of the American Mathematical Society, 1999 A function \(\varphi:\mathbb{R} \to\mathbb{R}^n\) with components in \(L^1_{ \text{loc}}\) is called a generator. A generator is said to be refinable if there exists a finitely supported sequence \(b:\mathbb{Z} \to\mathbb{R}^{n \times n}\), called a mask for \(\varphi\), for which \[ \varphi= \sum_{j\in \mathbb{Z}} \varphi(2 \cdot-j)b (j).
Thomas A. Hogan, Douglas P. Hardin
openaire +3 more sources
SSRN Electronic Journal, 2014 Households that fail to refinance their mortgage when interest rates decline can lose out on substantial savings. Based on a large random sample of outstanding U.S. mortgages in December of 2010, we estimate that approximately 20% of households for whom refinancing would be optimal and who appeared unconstrained to do so, had not taken advantage of the
Jaren C. Pope +4 more
openaire +3 more sources
HYDROGENOLYSIS OF PALM OIL DERIVED METHYL ESTERS OVER NIOBIUM AND TUNGSTEN BASE CATALYSTS
Studia Universitatis Babes-Bolyai Chemia, 2023 Vegetable oils are widely available in nature and are one of the most important sustainable feedstocks for biofuel production. W/Pd/γ-Al2O3-ZnZSM-5 and Nb/Pd/γ-Al2O3-ZnZSM-5 catalysts where prepared, characterized and tested in the hydrogenolysis ...
Mihai MARINESCU +5 more
doaj +1 more source
Initializing Then Refining: A Simple Graph Attribute Imputation Network
International Joint Conference on Artificial Intelligence, 2022 Representation learning on the attribute-missing graphs, whose connection information is complete while the attribute information of some nodes is missing, is an important yet challenging task.
Wenxuan Tu +7 more
semanticscholar +1 more source
Economical Assessment of Replacing and Refining Methods of Hydraulic Oil of Sugarcane Harvesters in Sugarcane Cultivation Industry of Khuzestan [PDF]
Journal of Agricultural Machinery, 2021 Contamination due to hydraulic fluids exerts deleterious effects after a long time, however this factor is often ignored or its consecutive breakdowns and system failures are considered due to other factors.
H Nematpour Malek Abad +3 more
doaj +1 more source
Mathematics of Computation, 1973 We study mesh refinement techniques for first-order hyperbolic equations. A refinement method for use with the leap-frog scheme is defined and its stability established. The remainder of the paper is devoted to a discussion of the effects of nonuniform grids and the circumstances under which they may be used.
Browning, Gerald +2 more
openaire +2 more sources
Reduction and Refinement [PDF]
Electronic Notes in Theoretical Computer Science, 2008 In this paper we explore the relation between refinement and reduction, especially as it is used in the context of cryptography. We show how refinement is a special case of reduction, and more interestingly, how reduction is an instance of a novel generalisation, ''refinement with context''.
Eerke Albert Boiten, Dan Grundy
openaire +2 more sources
Adaptive NMS: Refining Pedestrian Detection in a Crowd [PDF]
Computer Vision and Pattern Recognition, 2019 Pedestrian detection in a crowd is a very challenging issue. This paper addresses this problem by a novel Non-Maximum Suppression (NMS) algorithm to better refine the bounding boxes given by detectors.
Songtao Liu, Di Huang, Yunhong Wang
semanticscholar +1 more source