Results 1  10
of
15,290
A quantitative description of membrane currents and its application to conduction and excitation in nerve
 Journal of Physiology
, 1952
"... This article concludes a series of papers concerned with the flow of electric current through the surface membrane of a giant nerve fibre (Hodgkin, Huxley & Katz, 1952; Hodgkin & Huxley, 1952 ac). Its general object is to discu the results of the preceding papers (Part I), to put them into ..."
Abstract

Cited by 1924 (2 self)
 Add to MetaCart
into mathematical form (Part II) and to show that they will account for conduction and excitation in quantitative terms (Part III). PART I. DISCUSSION OF EXPERIMENTAL RESULTS The results described in the preceding papers suggest that the electrical behaviour of the membrane may be represented by the network shown
An Introduction to the Kalman Filter
 UNIVERSITY OF NORTH CAROLINA AT CHAPEL HILL
, 1995
"... In 1960, R.E. Kalman published his famous paper describing a recursive solution to the discretedata linear filtering problem. Since that time, due in large part to advances in digital computing, the Kalman filter has been the subject of extensive research and application, particularly in the area o ..."
Abstract

Cited by 1146 (13 self)
 Add to MetaCart
estimations of past, present, and even future states, and it can do so even when the precise nature of the modeled system is unknown.
The purpose of this paper is to provide a practical introduction to the discrete Kalman filter. This introduction includes a description and some discussion of the basic
Mathematical Control Theory: Deterministic Finite Dimensional Systems
 of Texts in Applied Mathematics
, 1990
"... The title of this book gives a very good description of its contents and style, although I might have added “Introduction to ” at the beginning. The style is mathematical: precise, clear statements (i.e., theorems) are asserted, then carefully proved. The book covers many of the key topics in contro ..."
Abstract

Cited by 485 (121 self)
 Add to MetaCart
The title of this book gives a very good description of its contents and style, although I might have added “Introduction to ” at the beginning. The style is mathematical: precise, clear statements (i.e., theorems) are asserted, then carefully proved. The book covers many of the key topics
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
 IEEE Transactions on Software Engineering
, 1990
"... This paper provides an overview of the STATEMATE system, constructed over the past several years by the authors and their colleagues at Ad Cad Ltd., the R&D subsidiary of iLogix, Inc. STATEMATE is a set of tools, with a heavy graphical orientation, in tended for the specification, analysis, d ..."
Abstract

Cited by 485 (7 self)
 Add to MetaCart
, design, and documentation of large and complex reactive systems, such as realtime embedded sys tems, control and communication systems, and interactive software or hardware. It enables a user to prepare, analyze, and debug diagram matic, yet precise, descriptions of the system under development from
The PHANToM haptic interface: A device for probing virtual objects
 Proceedings of the ASME Dynamic Systems and Control Division
, 1994
"... This paper describes the PHANTOM haptic interface a device which measures a user’s finger tip position and exerts a precisely controlled force vector on the finger tip. The device has enabled users to interact with and feel a wide variety of virtual objects and will be used for control of remote ma ..."
Abstract

Cited by 448 (4 self)
 Add to MetaCart
This paper describes the PHANTOM haptic interface a device which measures a user’s finger tip position and exerts a precisely controlled force vector on the finger tip. The device has enabled users to interact with and feel a wide variety of virtual objects and will be used for control of remote
Anti de Sitter space and holography
, 1998
"... Recently, it has been proposed by Maldacena that large N limits of certain conformal field theories in d dimensions can be described in terms of supergravity (and string theory) on the product of d+1dimensional AdS space with a compact manifold. Here we elaborate on this idea and propose a precise ..."
Abstract

Cited by 383 (7 self)
 Add to MetaCart
Recently, it has been proposed by Maldacena that large N limits of certain conformal field theories in d dimensions can be described in terms of supergravity (and string theory) on the product of d+1dimensional AdS space with a compact manifold. Here we elaborate on this idea and propose a precise
The string dual of a confining fourdimensional gauge theory
, 2000
"... We study N = 1 gauge theories obtained by adding finite mass terms to N = 4 YangMills theory. The Maldacena dual is nonsingular: in each of the many vacua, there is an extended brane source, arising from Myers’ dielectric effect. The source consists of one or more (p,q) 5branes. In particular, the ..."
Abstract

Cited by 353 (8 self)
 Add to MetaCart
, condensates and instantons, have new, quantitatively precise, dual descriptions. We also briefly consider two QCDlike theories. Our method extends to the nonsupersymmetric case. As expected, the N = 4 matter cannot be decoupled within the supergravity regime.
Blobworld: A System for RegionBased Image Indexing and Retrieval
 In Third International Conference on Visual Information Systems
, 1999
"... . Blobworld is a system for image retrieval based on finding coherent image regions which roughly correspond to objects. Each image is automatically segmented into regions ("blobs") with associated color and texture descriptors. Querying is based on the attributes of one or two regions of ..."
Abstract

Cited by 375 (4 self)
 Add to MetaCart
of interest, rather than a description of the entire image. In order to make largescale retrieval feasible, we index the blob descriptions using a tree. Because indexing in the highdimensional feature space is computationally prohibitive, we use a lowerrank approximation to the highdimensional distance
Fuzzy identitybased encryption
 In EUROCRYPT
, 2005
"... We introduce a new type of IdentityBased Encryption (IBE) scheme that we call Fuzzy IdentityBased Encryption. In Fuzzy IBE we view an identity as set of descriptive attributes. A Fuzzy IBE scheme allows for a private key for an identity, ω, to decrypt a ciphertext encrypted with an identity, ω ′ , ..."
Abstract

Cited by 377 (20 self)
 Add to MetaCart
We introduce a new type of IdentityBased Encryption (IBE) scheme that we call Fuzzy IdentityBased Encryption. In Fuzzy IBE we view an identity as set of descriptive attributes. A Fuzzy IBE scheme allows for a private key for an identity, ω, to decrypt a ciphertext encrypted with an identity, ω
Specification Matching of Software Components
 ACM Transactions on Software Engineering and Methodology
, 1996
"... Specification matching is a way to compare two software components based on descriptions of the components' behaviors. In the context of software reuse and library retrieval, it can help determine whether one component can be substituted for another or how one can be modified to fit the requ ..."
Abstract

Cited by 358 (4 self)
 Add to MetaCart
Specification matching is a way to compare two software components based on descriptions of the components' behaviors. In the context of software reuse and library retrieval, it can help determine whether one component can be substituted for another or how one can be modified to fit
Results 1  10
of
15,290