Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Presuppositions and Information Updating
Abstract: "Presupposition failures are errors occurring during the left-right processing of a computer program or natural language text. A general method for analysing such errors with dynamic logic is presented, based on the idea that sequential processing changes context dynamically and that this process of context change can be made the object of analysis in dynamic modal logic."
LTWI
None
VLUGR3: a Vectorizable Adaptive Grid Solver for PDEs in 3D. II. Code Description
Abstract: "This paper describes an ANSI FORTRAN 77 code, VLUGR3, auto-vectorizable on the Cray Y-MP, that is based on an adaptive-grid finite-difference method to solve time-dependent three-dimensional systems of partial differential equations."
CWI tracts
None
VLUGR3: a Vectorizable Adaptive Grid Solver for PDEs in 3D. I. Algorithmic Aspects and Applications
Abstract: "This paper describes an adaptive-grid finite- difference solver for time-dependent three-dimensional systems of partial differential equations. The robustness and the efficiency of the solver, both for vector and scalar processors, is illustrated by the application of the code to three example problems."
