Here a posteriori error estimate for the numerical solution of nonlinear Voltena- Hammerstein equations is given. We present an error upper bound for nonlinear Voltena-Hammastein integral equations, in which the form of nonlinearity is algebraic and develop a posteriori error estimate for the recently proposed method of Brunner for these problems (the implicitly linear collocation method)...

I am grateful to Philip Goff and David Papineau, Geoff Lee, and Joe Levine for their commentaries on The Character of Consciousness. All of the articles in this symposium focus on the first half of the book, especially section III on the metaphysics of consciousness. Each of them addresses my arguments against materialism and offers interesting responses to them. The main focus is on the two-di...

the problems of sequential change-point have several important applications in quality control, signal processing, and failure detection in industry and finance. we discuss a bayesian approach in the context of statistical process control: at an unknown time $tau$, the process behavior changes and the distribution of the data changes from p0 to p1. two cases are considered: (i) p0 and p1 are fu...

‎in this paper‎, ‎we study spectral element approximation for a constrained‎ ‎optimal control problem in one dimension‎. ‎the equivalent a posteriori error estimators are derived for‎ ‎the control‎, ‎the state and the adjoint state approximation‎. ‎such estimators can be used to‎ ‎construct adaptive spectral elements for the control problems.

In philosophical logic necessity is usually conceived as a sentential operator rather than a predicate. An intensional sentential operator does not allow one to express quantified statements such as ‘There are necessary a posteriori propositions’ or ‘All laws of physics are necessary’ in first-order logic in a straightforward way, while they are readily formalised if necessity is formalised by ...

We consider first order modal logic C firstly defined by Carnap in “Meaning and Necessity” [1]. We prove elimination of nested modalities for this logic, which gives additionally the Skolem-Löwenheim theorem for C. We also evaluate the degree of unsolvability for C, by showing that it is exactly 0′. We compare this logic with the logics of Henkin quantifiers, Σ1 logic, and SO. We also shortly d...

here a posteriori error estimate for the numerical solution of nonlinear voltena- hammerstein equations is given. we present an error upper bound for nonlinear voltena-hammastein integral equations, in which the form of nonlinearity is algebraic and develop a posteriori error estimate for the recently proposed method of brunner for these problems (the implicitly linear collocation method).we al...