Results 271 to 280 of about 151,349 (311)
Some of the next articles are maybe not open access.
Implicative formulae in the proofs of computations' analogy
Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90, 1990In [As87] a correspondence between the subset of Linear Logic [Gi86] involving the conjunctive tensor product only and Place/Transition Petri Nets [Rei85] is established. In this correspondence, formulae are regarded as distributed states and provable sequents are computations in the net.
Andrea Asperti +2 more
openaire +2 more sources
Formula Manipulation by Computer
1967Publisher 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
A computer program for the computation of the molecular formula
Chemometrics and Intelligent Laboratory Systems, 1989Abstract Furst, A., Clerc, J.-T. and Pretsch, E., 1989. A computer program for the computation of the molecular formula. Chemometrics and Intelligent Laboratory Systems, 5: 329–334. A new algorithm has been developed for the rapid calculation of the empirical formula of organic compounds on the basis of the molecular mass (high or low resolution ...
Andràs Fürst +2 more
openaire +1 more source
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
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
The Obsolescence of Computational Formulae
Teaching Statistics, 2009SummaryComputational formulae are a throwback to a time when computers were not widely available. Today their teaching obscures important underpinnings of statistical theory and practice.
openaire +1 more source
Chemical formulae for computer input and output
Computers & Chemistry, 1978Abstract This paper discusses the input and output of chemical formulae by computer peripherals in an unambiguous form which corresponds as closely as possible to normal chemical notation. A special convention is described for chemical formulae presented on a single line for input and output by a teletype. Illustrations are given of chemical formulae
G. H. Kirby, C. H. Morgan
openaire +1 more source
Algorithms for computing backbones of propositional formulae [PDF]
AI Communications, 2015 The problem of propositional satisfiability (SAT) has found a number of applications in both theoretical and practical computer science. In many applications, however, knowing a formula's satisfiability alone is insufficient. Often, some other properties of the formula need to be computed.
Mikolás Janota +2 more
openaire +1 more source
Formulas and Computations in Agriculture
2018This book aims to be a basic and fundamental book for the students and researchers in numerical solving. The book has been designed in a very simple language. Formulas have been presented in the most fundamental and basic calculations. The book has been divided into several chapters and broadly reflects the need of such subject selection as most of the
null Brajendra, A.K. Vishwakarma
openaire +1 more source
Embedded computing and Formula One racing
IEEE Pervasive Computing, 2005In countries around the globe, the high end of auto racing is epitomized by Formula One. F1 cars are marvels of high technology. Connected to an experimental transmission and placed in a body designed for its aerodynamic properties, F1's equipment requires constant innovation.
openaire +1 more source
A new formula for computing implied volatility
Applied Mathematics and Computation, 2005zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources