Results 31 to 40 of about 3,154,019 (343)

A Computer Program for Assessing Histoanatomical Morphometrics in Ultra-High-Frequency Ultrasound Images of the Bowel Wall in Children: Development and Inter-Observer Variability

Diagnostics, 2023
Ultra-high-frequency ultrasound (UHFUS) has a reported potential to differentiate between aganglionic and ganglionic bowel wall, referred to as histoanatomical differences.
Tobias Erlöv, Tebin Hawez, Christina Granéli, Maria Evertsson, Tomas Jansson, Pernilla Stenström, Magnus Cinthio   +6 more
doaj   +1 more source

The First Computer Program [PDF]

arXiv, 2023
In 1837, the first computer program in history was sketched by the renowned mathematician and inventor Charles Babbage. It was a program for the Analytical Engine. The program consists of a sequence of arithmetical operations and the necessary variable addresses (memory locations) of the arguments and the result, displayed in tabular fashion, like a ...
arxiv  

COMPUTER PROGRAM CALCULATION ACCURACYHINGE-BAR SYSTEMS

Structural Mechanics of Engineering Constructions and Buildings, 2017
This article gives an overview and analysis of previous studies, as well as computer programs for calculation of accuracy, including construction steel.
А B BОNDAREV
doaj   +2 more sources

Computer technologies of diagnostics of exactness of motive actions of man [PDF]

Fizičeskoe Vospitanie Studentov, 2010
The developed computer program is presented for registration of exactness and speed of implementation of motive tasks of sportsmen. In theory of principle possibility of registration of exactness of reproducing of trajectory of motion is grounded with ...
Ashanin V.S., Golosov P.P., Gorbatenko U.I.   +2 more
doaj  

Designing of the Software Program “Epidemic Potential of Natural Plague Foci in the Territory of the Russian Federation”

Проблемы особо опасных инфекций, 2014
Designed has been a computer program “Epidemic potential of natural plague foci in the Russian Federation” applied for the automatized evaluation of the epidemic hazard level of natural plague foci in relation to the population residing on the territory ...
E. V. Kouklev, V. A. Safronov, A. A. Lopatin, A. S. Razdorsky   +3 more
doaj   +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, Tobias Nipkow, Christine Rizkallah   +2 more
openaire   +3 more sources

Detailed kinship estimation for detecting bias among breeding families in a reintroduced population of the endangered bagrid catfish Tachysurus ichikawai

Population Ecology, EarlyView.
In the process of captive breeding and reintroduction of endangered animal species, it is crucial to minimize familial bias in reproductive success during the reintroduction phase to preserve genetic diversity. In this study, we attempted to identify the familial lineage of individuals of the endangered bagrid fish Tachysurus ichikawai born at the ...
Hinano Mizuno, Kouji Nakayama, Tetsuya Akita, Yasuyuki Hashiguchi, Tomonori Osugi, Hirohiko Takeshima   +5 more
wiley   +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, D. M. R. Park, Mike Paterson   +2 more
openaire   +1 more source

Optimal SNP filtering strategies for pedigree reconstruction: A case study with wild red‐spotted masu salmon population

Population Ecology, EarlyView.
In this article, we tested optimal SNP filtering strategies for accurate parentage assignment and pedigree reconstruction for a wild population of red‐spotted masu salmon, Oncorhynchus masou ishikawae. We found that mid‐point filtering in terms of call rate and minor allele frequency performs well for pedigree reconstruction.
Shohei Noda, Tetsuya Akita, Rui Ueda, Takafumi Katsumura, Yasuyuki Hashiguchi, Hirohiko Takeshima, Takuya Sato   +6 more
wiley   +1 more source

View factor computer program (VIEW) [PDF]

, 1975
Existing view factor program, RAVFAC, was modified to accept NASTRAN and/or RAVFAC surface descriptions.
Jackson, C. E., Jr., Puccinelli, E. F.
core   +1 more source