Results 251 to 260 of about 88,869 (296)
Mathematical Notes of the Academy of Sciences of the USSR, 1990 See the review in Zbl 0714.03027.
A. L. Rastsvetaev
openaire +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
A Free Variable Version of the First-Order Predicate Calculus
Journal of Logic and Computation, 1991The authors present here a free variable version of the first-order predicate calculus. Based on some refinements of the Skolem functions and epsilon calculus, the paper develops in a purely technical and syntactical manner the equivalence of their free variable version of quantification with the usual first-order predicate calculus by showing that ...
Davis, Martin, Fechter, Ronald
openaire +1 more source
The Journal of the Association of Physicians of India, 1993 In 43 rural patients, all survivors of acute Myocardial infarction, left ventricular function was studied by 2-D echocardiography and evaluated in relation to 18 clinical predictors of left ventricular function. The mean left ventricular ejection fraction (LVEF) was 41.53 +/- 12.92% as compared to 70.02 +/- 7.02% in 506 healthy controls.
A P, Jain +4 more
openaire +2 more sources
Sketches: Fast Membership Scans for Continuous Variable Predicate Workloads
2020 IEEE International Conference on Big Data (Big Data), 2020We consider workloads reducible to membership checks against predicates over continuous variables, for which a scan is required. We explore trading-off storage of re-usable components to avoid repeated computation for each entry of a full scan. Our method renders effective the storage of reusable results in smaller faster memory.
openaire +1 more source
IV. SUBJECT-PREDICATE SYMMETRY: EXPLAINING VARIABLES AWAY
, 1973 John Heintz
openaire +2 more sources
Analysis and visualization of predicate dependence on formal parameters and global variables
IEEE Transactions on Software Engineering, 2004Empirical data concerning the qualitative and quantitative nature of program dependence is presented for a set of 20 programs ranging from 600 lines of code to 167,000 lines of code. The sources of dependence considered are global variables and formal parameters and the targets considered are a program's predicate nodes.
Binkley, D, Harman, M
openaire +2 more sources
Sparse Analysis of Variable Path Predicates Based upon SSA-Form
2016Static Single Assignment Form benefits data flow analysis by its static guarantees on the definitions and uses of variables. In this paper, we show how to exploit these guarantees to enable a sparse data flow analysis of variable predicates, for gaining a rich predicate-based and path-oriented characterization of the values of program variables.
Thomas S. Heinze, Wolfram Amme
openaire +1 more source
Improving Business Failure Predication Using Rough Sets with Non-financial Variables
2007Rough set models with financial variables have proven to be effective in predicting business failure. To enhance the predictive performance of rough set models, this paper includes a non-financial variable, auditor switching, into the modeling process, in addition to 14 financial ratios commonly used in business failure research.
Jao-Hong Cheng +2 more
openaire +1 more source
One Approach to synthesizing predicate circuits on the basis of generalized variables
Moscow University Computational Mathematics and Cybernetics, 2010zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Sociolinguistic Variability of Predicate Groups in Colloquial Russian Speech
2018The paper is devoted to the study of linear and structural orders in the syntactic constructions of colloquial Russian speech. The quantitative and structural characteristics of predicate groups in the replicas of oral speech are examined with the aim of revealing their typical structures and further analysis in the sociolinguistic aspect.
openaire +1 more source