Results 141 to 150 of about 3,154,019 (343)
Significance arithmetic experimental package (SIGPAC) [PDF]
, 1972 Method for use by computing facility to determine accuracy of computer calculations is presented. Primary goals of error analysis program are described.
Cole, I.
core +1 more source
An Unfolding-Based Semantics for Logic Programming with Aggregates [PDF]
arXiv, 2006 The paper presents two equivalent definitions of answer sets for logic programs with aggregates. These definitions build on the notion of unfolding of aggregates, and they are aimed at creating methodologies to translate logic programs with aggregates to normal logic programs or positive programs, whose answer set semantics can be used to defined the ...
arxiv
An Axiomatic Basis for Computer Programming
Communications of the ACM, 1969 In this paper an attempt is made to explore the logical foundations of computer programming by use of techniques which were first applied in the study of geometry and have later been extended to other branches of mathematics. This involves the elucidation of sets of axioms and rules of inference which can be used in proofs of the properties of computer
openaire +3 more sources
Molecular Oncology, EarlyView.Breast tumor samples scored for metabolic deregulation (M1 to M3) were given a hypoxia score (HS). The highest HS occurred in patients with strongest metabolic deregulation (M3), supporting tumor aggressiveness. HS correlated with the highest number of metabolic pathways in M1. This suggests hypoxia to be an early event in metabolic deregulation.
Raefa Abou Khouzam +2 more
wiley +1 more source
Computer program analyzes generalized environmental control and life support systems [PDF]
, 1967 Versatile computer program analyzes environmental control and life support systems. The program permits changes of system component arrangements, component design details, and operating modes.
Vaughan, R. L.
core +1 more source
Program slicing techniques and its applications [PDF]
arXiv, 2011 Program understanding is an important aspect in Software Maintenance and Reengineering. Understanding the program is related to execution behaviour and relationship of variable involved in the program. The task of finding all statements in a program that directly or indirectly influence the value for an occurrence of a variable gives the set of ...
arxiv
Crosstalk between gut microbiota and tumor: tumors could cause gut dysbiosis and metabolic imbalance
Molecular Oncology, EarlyView.In this research, we analyzed the relationship between gut microbiota and tumor. We discovered that both subcutaneous and metastatic tumors would alter the composition and metabolic function of gut microbiota. Meanwhile, fecal microbiota transplantation also indicated the anti‐tumor role of the gut microbiota, revealing the crosstalk between tumor and ...
Siyuan Zhang +8 more
wiley +1 more source
Regenerative cooling design and analysis computer program [PDF]
, 1975 Program evaluates influences of heat transfer, stress, and cycle life. Coolant passages may be tubes or channels, with or without gas-side wall coating. Program options include two-dimensional thermal analysis model of tube or channel cross-section using
Gerstley, J. G., Tobin, R. D.
core +1 more source
Discussion: “Synthesis of Path-Generating Mechanisms by Means of a Programmed Digital Computer” (Freudenstein, Ferdinand, and Sandor, George N., 1959, ASME J. Eng. Ind., 81, pp. 159–167) [PDF]
, 1959 T. P. Goodman
openalex +1 more source