scispace - formally typeset
Search or ask a question
Institution

Victoria University of Manchester

About: Victoria University of Manchester is a based out in . It is known for research contribution in the topics: Nonlinear system & Volterra integral equation. The organization has 391 authors who have published 402 publications receiving 7514 citations. The organization is also known as: Owens College & Owens College, Manchester.


Papers
More filters
Journal ArticleDOI
TL;DR: In this paper, Smoluchowski deduced the expression U = DXζ/4π η (1) for the cataphoretic velocity U ; X is the applied field strength, ζ the potential difference across the double layer, D the dielectric constant and η the viscosity of the medium.
Abstract: § 1. The theory of cataphoresis, and of the complementary phenomenon of electrosmosis, is based on the conception of an “ electrical double layer ” at the interface between the two phases whose relative motion is under consideration.* In the original theory, as propounded by Quincke and Helm­holtz, this electrical double layer was regarded as a kind of parallel plate condenser made up of two laminar distributions of electrification, of which one—the so-called “ inner sheet ”—was firmly attached to the rigid phase, while the other—the “ outer sheet ”—resided in the mobile phase ; the separation between the two was considered to be a distance of the order of molecular dimensions. The currently accepted view, initiated by Gouy, differs from that of Helmholtz chiefly in that the outer sheet of the double layer is con­sidered to be a diffuse distribution of electrification—an “ ionic atmosphere ” of the type investigated by Debye and his collaborators in connection with the theory of strong electrolytes. The net electric density in the ionic atmosphere varies continuously from a maximum in the immediate neighbourhood of the fixed inner sheet, to a negligibly small value in the bulk of the liquid, over a distance which is a function of the ionic concentration, and which lies as a rule between molecular dimensions and some thousand micromillimetres. In a deduction which appears to be completely consistent with this more modern view of the double layer, Smoluchowski deduced the expression U = DXζ/4π η (1) for the cataphoretic velocity U ; X is the applied field strength, ζ the potential difference across the double layer, D the dielectric constant and η the viscosity of the medium. The equation is identical with that developed by Helmholtz except for the inclusion of the dielectric constant, but was deduced on a much more general basis, and is claimed by Smoluchowski to be valid for rigid electrically insulating particles of any shape, subject only to the following four restrictions :— 1) That the usual hydrodynamical equations for the motion of a viscous fluid may be assumed to hold both in the bulk of the liquid and within the double layer; (2) That the motion is “stream line motion,” and slow enough for the “inertia terms” in the hydrodynamic equations to be neglected ; (3) That the applied field may be taken as simply superimposed on the field due to the electrical double layer ; and (4) That the thickness of the double layer ( i. e, the distance normal to the interface over which the potential differs appreciably from that in the bulk of the liquid) is small compared with the radius of curvature at any point of the surface.

821 citations

Journal ArticleDOI
TL;DR: In this paper, the authors considered the problem of numerical solution of stochastic delay differential equations of Ito form d X(t)=f(X(t),X (t−τ)) d t+g(X,t,X(τ)), d W(t,T), t∈[0,T] with given f,g, Wiener noise W and given τ>0, with a prescribed initial function Ψ.

181 citations

Posted Content
TL;DR: A normal form for temporal formulae is defined and it is shown how arbitrary temporalformulae can be translated into the normal form, while preserving satisfiability, to examine how clausal resolution can be applied to a specific, but widely used, nonclassical logic.
Abstract: In this article, we examine how clausal resolution can be applied to a specific, but widely used, non-classical logic, namely discrete linear temporal logic. Thus, we first define a normal form for temporal formulae and show how arbitrary temporal formulae can be translated into the normal form, while preserving satisfiability. We then introduce novel resolution rules that can be applied to formulae in this normal form, provide a range of examples and examine the correctness and complexity of this approach is examined and. This clausal resolution approach. Finally, we describe related work and future developments concerning this work.

169 citations

Journal ArticleDOI
TL;DR: In this article, clausal resolution is applied to nonclassical temporal logic, namely discrete linear temporal logic (DLTL), and a normal form for temporal formulae is defined, which can be translated into the normal form while preserving satisfiability.
Abstract: In this article, we examine how clausal resolution can be applied to a specific, but widely used, nonclassical logic, namely discrete linear temporal logic. Thus, we first define a normal form for temporal formulae and show how arbitrary temporal formulae can be translated into the normal form, while preserving satisfiability. We then introduce novel resolution rules that can be applied to formulae in this normal form, provide a range of examples, and examine the correctness and complexity of this approach. Finally, we describe related work and future developments concerning this work.

168 citations

Journal ArticleDOI
TL;DR: Investigation of substrate and inhibitor specificity, pH optimum, chromatography on Sephadex G-200, disc electrophoresis, ultraviolet absorption spectrum and the effects of temperature and ionic strength variation are described.
Abstract: A peroxidase has been isolated from pooled specimens of human cervical mucus. Investigation of substrate and inhibitor specificity, pH optimum, chromatography on Sephadex G-200, disc electrophoresis, ultraviolet absorption spectrum and the effects of temperature and ionic strength variation are described. A study of the steady-state kinetics is reported using hydrogen peroxide and 2,2'-azinobis(3-ethylbenzothiazoline-6-sulfonic acid) as substrates and a catalytic mechanism is proposed.

166 citations


Authors

Showing all 391 results

NameH-indexPapersCitations
Alan Jackson9974342969
Caroline Dive7733625656
Barry Smith7555024922
Carole Goble7451126919
Eric Emerson7343419776
Hans A. Bethe7233038859
Christopher J. Taylor7141530948
Timothy F. Cootes7030638335
Jamie A. Davies5724115124
Gareth A. Morris5528712490
Colin Booth493018620
David R. Garrod481178177
Harry J. Coles412866982
Pankaj Vadgama402515742
Declan P. Naughton392145173
Network Information
Related Institutions (5)
University of Edinburgh
151.6K papers, 6.6M citations

79% related

University of London
88K papers, 4M citations

79% related

University of Bristol
113.1K papers, 4.9M citations

79% related

University of Cambridge
282.2K papers, 14.4M citations

79% related

University of Nottingham
119.6K papers, 4.2M citations

78% related

Performance
Metrics
No. of papers from the Institution in previous years
YearPapers
20092
20084
20071
20055
20048
20036