In this paper, we present AMIA, a workbench for developing knowledge-based discrete-time simulation systems. AMIA is original in two respects: first it uses an algebraic modeling language for combining numerical and symbolic knowledge. Second, it integrates two new simulation algorithms able to exploit this combination of numerical and symbolic knowledge. AMIA also includes a model management s...

The goals of this study were to assess the primary effects of the use of cognitive strategy and a combined measure of numeric ability on recall of every-day numeric information (i.e. prices). Additionally, numeric ability was assessed as a moderator in the relationship between strategy use and memory for prices. One hundred participants memorized twelve prices that varied from 1 to 6 digits; th...

Dear Editor, This letter proposes a new pattern matching method based on word embedding and dynamic time warping (DTW) to identify groups of similar alarm floods. First, messages are transformed into numeric values that represent alarms also reflect the relationships between occurrences. Then, similarities numerically encoded flood sequences calculated by DTW floods identified via clustering. T...

RANTANPLAN is a numeric planning solver that takes advantage of recent advances in SMT. It extends reduction to SAT approaches with an easy and efficient handling of numeric fluents using background theories. In this paper we describe the design choices and features of RANTANPLAN, especially, how numeric reasoning is integrated in the system. We also provide experimental results showing that RA...

Segmentation display plays a vital role to display numerals. But in today’s world matrix display is also used in displaying numerals. Because numerals has lots of curve edges which is better supported by matrix display. But as matrix display is costly and complex to implement and also needs more memory, segment display is generally used to display numerals. But as there is yet no proposed compa...

This paper is concerned with the use of ActiveX components for numerical computations from within the Microsoft Windows environment. Detailed information is provided concerning the use of these components from Microsoft Excel, Microsoft Visual Basic, Microsoft Web browsers and Inprise Delphi. The examples in the paper are based on the following ActiveX components: a fast Fourier transform Activ...

Twentyfive years ago when I studied Physics, only one of the students who participated in a laboratory course that I took was possessing one of the first calculators to process the data we were obtaining. Believe it or not, everybody else, including me, had to use a slide-rule for this purpose. Nowadays, the calculator is used by everybody, by far not only for academic purposes. Hence it is the...

Precise design and operational control of the polymerase chain reaction process is key to the performance of on-chip DNA analysis. This research is dedicated to understanding the fluid flow and heat transfer mechanisms occurring in continuous flow PCR chips from the engineering point of view. In this work, a 3-dimensional model was developed to simulate the electrical potential field, the flow ...