نتایج جستجو برای: numeric integration

تعداد نتایج: 230673  

Journal: :Journal of personality and social psychology 2015
Ellen Peters Par Bjalkebring

A growing body of evidence demonstrates the practical and theoretical importance of numeracy in evaluations and choices involving numeric information, an importance that goes beyond simple accuracy in performing mathematical computations. Numeric competency, however, may be multiply determined, but little research has examined potentially separable influences in evaluations and choice. In the p...

Journal: :Notices of the American Mathematical Society 2013

Journal: :Journal of Artificial Intelligence Research 2012

2002

One approach is to provide Dynamic Link Libraries (DLLs) which allow Mathematical software to be used from within Excel, Visual Basic, Visual C++, Visual Fortran etc. However, to call a DLL routine directly from Visual Basic requires detailed knowledge of both the routine’s arguments and also the manner in which they are passed to the Visual Basic calling program. It is therefore essential that...

2016
Johannes Aldinger

Planning is the art to automatically find solutions to problems where a model of the world is described in terms of variables and actions. A solution to such a planning problem is a sequence of actions (called plan) transforming the initial situation to a state that satisfies a goal description. In classical planning, the world is described by Boolean variables and the field is well studied wit...

2009
J. T. Butler T. Sasao S. Nagayama

We show the architecture and design of a numeric function generator that realizes, at high speed, arithmetic functions, like log x, sin x, 1 x , etc.. This approach is general; different circuits are not needed for different functions. Further, composite functions, like log (sin ( 1 x )) can be realized as easily as individual functions. A tutorial description of the method is presented, follow...

2012
Vincent St-Amour Sam Tobin-Hochstadt Matthew Flatt Matthias Felleisen

In the past, the creators of numerical programs had to choose between simple expression of mathematical formulas and static type checking. While the Lisp family and its dynamically typed relatives support the straightforward expression via a rich numeric tower, existing statically typed languages force programmers to pollute textbook formulas with explicit coercions or unwieldy notation. In thi...

2004
Michael Lebowitz

Learning programs that try to generalize from real-world examples may have to deal with many different kinds of data. Continuous numeric data may cause problems for algorithms that search for identical aspects of examples. This problem can be .. . surmounted by categori=ing the nume-ric data. However, this process has problems of its own. In this paper we look at the need for categorizing numer...

2011
Siddharth Srivastava Shlomo Zilberstein Neil Immerman Hector Geffner

We consider a new class of planning problems involving a set of non-negative real variables, and a set of non-deterministic actions that increase or decrease the values of these variables by some arbitrary amount. The formulas specifying the initial state, goal state, or action preconditions can only assert whether certain variables are equal to zero or not. Assuming that the state of the varia...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید