Results 1 to 10 of about 11,107,816 (386)
Programming the social computer [PDF]
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 2013 The aim of ‘programming the global computer’ was identified by Milner and others as one of the grand challenges of computing research. At the time this phrase was coined, it was natural to assume that this objective might be achieved primarily through extending programming and specification languages.
D. Robertson, Giunchiglia, Fausto
openaire +4 more sources
Software survey: VOSviewer, a computer program for bibliometric mapping
Scientometrics, 2009 We present VOSviewer, a freely available computer program that we have developed for constructing and viewing bibliometric maps. Unlike most computer programs that are used for bibliometric mapping, VOSviewer pays special attention to the graphical ...
Nees Jan van Eck, L. Waltman
semanticscholar +1 more source
On formalised computer programs
Journal of Computer and System Sciences, 1970 In [2] Ianov introduced a simple abstract model of a computer program (called a program schema) based on the notion of a program as a finite linear sequence of instructions of two types: computational instructions and conditional binary transfer instructions.
D. C. Luckham +2 more
openaire +2 more sources
Programming in Biomolecular Computation
Electronic Notes in Theoretical Computer Science, 2010 AbstractOur goal is to provide a top-down approach to biomolecular computation. In spite of widespread discussion about connections between biology and computation, one question seems notable by its absence: Where are the programs? We introduce a model of computation that is evidently programmable, by programs reminiscent of low-level computer machine ...
Hartmann, Lars Røeboe +2 more
openaire +3 more sources
Computer programming as an art [PDF]
Communications of the ACM, 1974 When Communications of the ACM began publication in 1959, the members of ACM's Editorial Board made the following remark as they described the purposes of ACM's periodicals [2]: “If computer programming is to become an important part of computer research and development, a transition of programming from an art to a ...
openaire +3 more sources
RDP3: a flexible and fast computer program for analyzing recombination
Bioinform., 2010 Summary: RDP3 is a new version of the RDP program for characterizing recombination events in DNA-sequence alignments. Among other novelties, this version includes four new recombination analysis methods (3SEQ, VISRD, PHYLRO and LDHAT), new tests for ...
D. Martin +5 more
semanticscholar +1 more source
featureCounts: an efficient general purpose program for assigning sequence reads to genomic features [PDF]
Bioinform., 2013 MOTIVATION Next-generation sequencing technologies generate millions of short sequence reads, which are usually aligned to a reference genome. In many applications, the key information required for downstream analysis is the number of reads mapping to ...
Yang Liao, G. Smyth, Wei Shi
semanticscholar +1 more source
A computer program for grain-size data [PDF]
, 1965 The computer program presented here seeks to improve estimation of statistical parameters for grain-size data by use of interpolated values. Interpolation is made by fitting a series of overlapping parabolas to the data, and follows the method of Snyder
Schlee, John Stevens +1 more
core +1 more source
A computer program for fast non-LTE analysis of interstellar line spectra With diagnostic plots to interpret observed line intensity ratios [PDF]
, 2007 : The large quantity and high quality of modern radio and infrared line observations require efficient modeling techniques to infer physical and chemical parameters such as temperature, density, and molecular abundances.
F. V. D. Tak +4 more
semanticscholar +1 more source
Verification of program computations
, 2015 Die formale Verifikation der Implementierung komplexer Algorithmen ist schwierig. Sie übersteigt die Möglichkeiten der heutigen Verifikationswerkzeuge und erfordert für gewöhnlich komplexe mathematische Theoreme. Zertifizierende Algorithmen berechnen zu jeder Ausgabe ein Zerfitikat, das die Korrektheit der Antwort bestätigt. Ein Checker für ein solches
Kurt Mehlhorn +2 more
openaire +3 more sources