Results 241 to 250 of about 751,600 (289)

The cubature formulas computing modeling

Informatization and communication, 2021
Presented paper is related with the problem of hybrid computing structures design and their methodology. The main purpose is the theoretical basis for the automated design supercomputing devices development and the different restrictions accounting.
N.S. Krivsha, S.A. Butenkov, V.V. Krivsha   +2 more
openaire   +1 more source

Computing Smallest MUSes of Quantified Boolean Formulas

2022
Computing small (subset-minimal or smallest) explanations is a computationally challenging task for various logics and non-monotonic formalisms. Arguably the most progress in practical algorithms for computing explanations has been made for propositional logic in terms of minimal unsatisfiable subsets (MUSes) of conjunctive normal form formulas.
Niskanen Andreas, Mustonen Jere Verneri, Berg Jeremias, Järvisalo Matti   +3 more
openaire   +2 more sources

Formula Manipulation by Computer

1967
Publisher Summary “Formula manipulation” refers to the use of a computer to manipulate mathematical expressions in a formal fashion. The chapter presents a discussion of the main issues in a formula manipulation system, both from language and implementation points of view. It also discusses a particular large-scale system—namely, FORMAC.
openaire   +1 more source

Computing with Formulas

2011
Our first examples on computer programming involve programs that evaluate mathematical formulas. You will learn how to write and run a Python program, how to work with variables, how to compute with mathematical functions such as ex and \(\sin x\), and how to use Python for interactive calculations.
openaire   +1 more source

Computation Tree Logic Formula Model Checking Using DNA Computing

Journal of Nanoelectronics and Optoelectronics, 2020
Computation tree logic model checking is a formal verification technology that can ensure the correctness of systems. The vast storage density of deoxyribonucleic acid (DNA) molecules and the massive parallelism of DNA computing offer new methods for computation tree logic model checking.
Ying-Jie Han, Jian-Wei Wang, Chun Huang, Qing-Lei Zhou   +3 more
openaire   +1 more source

General Formula for Fan-Beam Computed Tomography

Physical Review Letters, 2005
In this Letter, we derive a general reconstruction formula for fan-beam computed tomography (CT) utilizing the two-dimensional Dirac function, which is useful in CT imaging for moving objects.
Yuchuan, Wei, Jiang, Hsieh, Ge, Wang
openaire   +2 more sources

Computational Formulas for t²

The American Statistician, 1958
(1958). Computational Formulas for t2. The American Statistician: Vol. 12, No. 3, pp. 18-19.
openaire   +1 more source

Recursive formula to compute Zernike radial polynomials

Optics Letters, 2013
In optics, Zernike polynomials are widely used in testing, wavefront sensing, and aberration theory. This unique set of radial polynomials is orthogonal over the unit circle and finite on its boundary. This Letter presents a recursive formula to compute Zernike radial polynomials using a relationship between radial polynomials and Chebyshev polynomials
Barmak, Honarvar Shakibaei, Raveendran, Paramesran   +1 more
openaire   +2 more sources

Explicit Formulae for Computing Stock-Control Levels

Journal of the Operational Research Society, 1979
Explicit formulae are developed for the control levels of the two most common stock-control systems—the reorder level of the reorder level system and the "order-up-to" level of the periodic review system. These formulae enable values of the control levels to be calculated directly for a chosen proportion of demand met ex-stock.
Barrington Taylor, P., Oke, K. H.
openaire   +2 more sources

Computer-aided formula optimization

2010
The purpose of this research project was to establish a formula optimization computer program to be used for quality control in the meat processing industry. In contrast to linear programming, such a program would search for the best quality formulations that meet predetermined product specifications within allowable cost ranges.
openaire   +1 more source