Results 91 to 100 of about 3,154,019 (343)
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
FEBS Letters, EarlyView.Venom peptides have shown promise in treating pain. Our study uses computer screening to identify a peptide that targets a sodium channel (NaV1.7) linked to chronic pain. We produced the peptide in the laboratory and refined its design, advancing the search for innovative pain therapies.
Gagan Sharma +8 more
wiley +1 more source
A Computer Program for Population Analysis [PDF]
, 1974 A computer program for population analysis has been developed that is simply written, but relatively sophisticated. It consists of three parts: computation and tabulation of data, statistical analysis and plotting.
Manger, Walter L., Rice, W. Ralph
core +2 more sources
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
Molecular Oncology, EarlyView.Urine is a rich source of biomarkers for cancer detection. Tumor‐derived material is released into the bloodstream and transported to the urine. Urine can easily be collected from individuals, allowing non‐invasive cancer detection. This review discusses the rationale behind urine‐based cancer detection and its potential for cancer diagnostics ...
Birgit M. M. Wever +1 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
Automatic computer subprogram selection from application-program libraries - ALTLIB [PDF]
, 1972 General purpose computer program for access and use of alternate library file with minimum programming effort by user is described. Manner in which program is implemented after determining external requirements is analyzed.
Drozdowski, J. M.
core +2 more sources
Subpar reporting of pre‐analytical variables in RNA‐focused blood plasma studies
Molecular Oncology, EarlyView.Pre‐analytical variables strongly influence the analysis of extracellular RNA (cell‐free RNA; exRNA) derived from blood plasma. Their reporting is essential to allow interpretation and replication of results. By evaluating 200 exRNA studies, we pinpoint a lack of reporting pre‐analytical variables associated with blood collection, plasma preparation ...
Céleste Van Der Schueren +16 more
wiley +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