Results 91 to 100 of about 3,740,015 (392)
Program Analysis (an Appetizer) [PDF]
arXiv, 2020 This book is an introduction to program analysis that is meant to be considerably more elementary than our advanced book Principles of Program Analysis (Springer, 2005). Rather than using flow charts as the model of programs, the book follows our introductory book Formal Methods an Appetizer (Springer, 2019) using program graphs as the model of ...
arxiv
Computers, programming and people [PDF]
Computer, 2002 Now part of consumer society and marketed globally, computers are designed to be sold rather than used. Software marketers, e-businesses, and their technicians consider having an understanding of how the underlying machinery works to be utterly irrelevant. For them, the most important skills are marketing, management, and graphical expertise.
openaire +3 more sources
Optical design computer program: LENS II [PDF]
, 1975 Differential-correction program evaluates optical lens ...
core +1 more source
A comparative study of circulating tumor cell isolation and enumeration technologies in lung cancer
Molecular Oncology, EarlyView.Lung cancer cells were spiked into donor blood to evaluate the recovery rates of the following circulating tumor cell (CTC) enrichment technologies: CellMag™, EasySep™, RosetteSep™, Parsortix® PR1, and Parsortix® Prototype systems. Each method's advantages and disadvantages are described.
Volga M Saini +11 more
wiley +1 more source
Stable models and an alternative logic programming paradigm [PDF]
The Logic Programming Paradigm, K.R. Apt, V.W. Marek, M.
Truszczynski, D.S. Warren (eds.), pp. 375-398. Springer-Verlag, 1999, 1998 In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate that inherent features of stable model semantics naturally lead to a logic programming system that offers an interesting alternative to more traditional logic programming ...
arxiv
Exploration and Practice of Improving Programming Ability for the Undergraduates Majoring in Computer Science [PDF]
10.18178/ijiet.2021.11.2.1491Programming ability is one of the most important abilities for the undergraduates majoring in computer science. Taking Yunnan University as an example, the necessity and importance of improving the ability of programming is analyzed in this paper. The exploration and practice of improving students' ability of programming are discussed from four aspects:
arxiv +1 more source
Source deck compression and update program (CAPS) [PDF]
, 1972 Computer program for compressing program source decks and other data coded in Hollerith format is described. Compression of card image record by substitution of special code characters is discussed.
Merrill, E. O.
core +1 more source
Cell‐free and extracellular vesicle microRNAs with clinical utility for solid tumors
Molecular Oncology, EarlyView.Cell‐free microRNAs (cfmiRs) are small‐RNA circulating molecules detectable in almost all body biofluids. Innovative technologies have improved the application of cfmiRs to oncology, with a focus on clinical needs for different solid tumors, but with emphasis on diagnosis, prognosis, cancer recurrence, as well as treatment monitoring.
Yoshinori Hayashi +6 more
wiley +1 more source
Estimation of Reshaped Profile of Berm Breakwaters Using Experimental Data
International Journal of Maritime Technology, 2014 A reshaping berm breakwater is a type of rubble mound breakwater in which, its seaward slope is allowed to reshape under wave attacks. There are some key parameters in the reshaped seaward profiles, which can schematize the reshaped profile of a berm ...
Alireza Sadat Hosseini, Mehdi Shafieefar
doaj
CSM programs SM RCS propellant quantity gaging systems program [PDF]
, 1971 Computer program calculates actual and useable remaining propellant quantities as required in positive expulsion rocket engine propellant feed system. Program establishes relationship between helium system pressures and temperatures and propellant weight
Cox, G. R., Reynolds, R. G.
core +1 more source