Results 291 to 300 of about 757,721 (338)

Machine learning methods for designing a carbon dot based photoluminescent multimodal nanosensor. [PDF]

open access: yesSci Rep
Chugreeva G   +6 more
europepmc   +1 more source

Investigation of Formulas and Surface Modelling of MOF-5 Using Computational Chemistry and Machine Learning

open access: green
Najwa Khairannisa   +4 more
openalex   +1 more source

Formulas for threshold computations

Computers and Biomedical Research, 1991
Given a continuous variable S, which density functions on two subgroups omega + and omega - of a population omega are known (with for instance a higher mean value on omega + than on omega -), we first define two strategies for classification in these groups; the first one (MWC) consists in determining a threshold alpha such that classifying in omega ...
C, Robert   +4 more
openaire   +2 more sources

Implicative formulae in the proofs of computations' analogy

Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90, 1990
In [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

A computer program for the computation of the molecular formula

Chemometrics and Intelligent Laboratory Systems, 1989
Abstract 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

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

The Obsolescence of Computational Formulae

Teaching Statistics, 2009
SummaryComputational 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

Algorithms for computing backbones of propositional formulae [PDF]

open access: possibleAI 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

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

Home - About - Disclaimer - Privacy