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.
Topics: Nonlinear system, Volterra integral equation, Delay differential equation, Denaturation (biochemistry), Liquid crystal
Papers published on a yearly basis
Papers
More filters
••
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 Helmholtz, 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 considered 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
••
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
•
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
••
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
••
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
Name | H-index | Papers | Citations |
---|---|---|---|
Alan Jackson | 99 | 743 | 42969 |
Caroline Dive | 77 | 336 | 25656 |
Barry Smith | 75 | 550 | 24922 |
Carole Goble | 74 | 511 | 26919 |
Eric Emerson | 73 | 434 | 19776 |
Hans A. Bethe | 72 | 330 | 38859 |
Christopher J. Taylor | 71 | 415 | 30948 |
Timothy F. Cootes | 70 | 306 | 38335 |
Jamie A. Davies | 57 | 241 | 15124 |
Gareth A. Morris | 55 | 287 | 12490 |
Colin Booth | 49 | 301 | 8620 |
David R. Garrod | 48 | 117 | 8177 |
Harry J. Coles | 41 | 286 | 6982 |
Pankaj Vadgama | 40 | 251 | 5742 |
Declan P. Naughton | 39 | 214 | 5173 |