Abstract: Described herein is electroadhesion technology that permits controllable adherence between two objects. Electroadhesion uses electrostatic forces of attraction produced by an electrostatic adhesion voltage, which is applied using electrodes in an electroadhesive device. The electrostatic adhesion voltage produces an electric field and electrostatic adherence forces. When the electroadhesive device and electrodes are positioned near a surface of an object such as a vertical wall, the electrostatic adherence forces hold the electroadhesive device in position relative to the surface and object. This can be used to increase traction or maintain the position of the electroadhesive device relative to a surface. Electric control of the electrostatic adhesion voltage permits the adhesion to be controllably and readily turned on and off.

Abstract: Described herein is electroadhesion technology that permits controllable adherence between two objects. Electroadhesion uses electrostatic forces of attraction produced by an electrostatic adhesion voltage, which is applied using electrodes in an electroadhesive device. The electrostatic adhesion voltage produces an electric field and electrostatic adherence forces. When the electroadhesive device and electrodes are positioned near a surface of an object such as a vertical wall, the electrostatic adherence forces hold the electroadhesive device in position relative to the surface and object. This can be used to increase traction or maintain the position of the electroadhesive device relative to a surface. Electric control of the electrostatic adhesion voltage permits the adhesion to be controllably and readily turned on and off.

Abstract: A technique based on the use of a quantifier elimination decision procedure for real closed fields and simple theorem proving to construct a series of successively finer qualitative abstractions of hybrid automata is taught. The resulting abstractions are always discrete transition systems which can then be used by any traditional analysis tool. The constructed abstractions are conservative and can be used to establish safety properties of the original system. The technique works on linear and non-linear polynomial hybrid systems: the guards on discrete transitions and the continuous flows in all modes can be specified using arbitrary polynomial expressions over the continuous variables. An exemplar tool in the SAL environment built over the theorem prover PVS is detailed. The technique scales well to large and complex hybrid systems.

Abstract: Described herein is electroadhesion technology that permits controllable adherence between two objects. Electroadhesion uses electrostatic forces of attraction produced by an electrostatic adhesion voltage, which is applied using electrodes in an electroadhesive device. The electrostatic adhesion voltage produces an electric field and electrostatic adherence forces. When the electroadhesive device and electrodes are positioned near a surface of an object such as a vertical wall, the electrostatic adherence forces hold the electroadhesive device in position relative to the surface and object. This can be used to increase traction or maintain the position of the electroadhesive device relative to a surface. Electric control of the electrostatic adhesion voltage permits the adhesion to be controllably and readily turned on and off.

Abstract: Described herein is electroadhesion technology that permits controllable adherence between two objects. Electroadhesion uses electrostatic forces of attraction produced by an electrostatic adhesion voltage, which is applied using electrodes in an electroadhesive device. The electrostatic adhesion voltage produces an electric field and electrostatic adherence forces. When the electroadhesive device and electrodes are positioned near a surface of an object such as a vertical wall, the electrostatic adherence forces hold the electroadhesive device in position relative to the surface and object. This can be used to increase traction or maintain the position of the electroadhesive device relative to a surface. Electric control of the electrostatic adhesion voltage permits the adhesion to be controllably and readily turned on and off.

Abstract: A groupware management system for collaborative groups is disclosed that is scalable to support large, dynamic, multiple, and other virtual VPNs. The system may introduce a graph (or hierarchical) structure to the VPN, providing multiple master nodes controlling membership in subsets of the collaborative group. Use of multiple master nodes in a graph-structured (or hierarchical) network topology often relaxes the need for a single, centralized, globally consistent view of VPN group membership, and enables distribution of the management burden among multiple master nodes. Membership in the VPN may be changed dynamically by the second master node for the member nodes of the second subset, without requiring the first master node to dynamically update its group membership records to reflect the change and in many cases without even having to notify the first master node (and vice versa), for example.

Abstract: A scalable method and architecture for efficiently locating desired resources within a network containing a plurality of server nodes, each of which hosts or otherwise provides access to a subset of a global resource set. In one aspect of the invention, each of the server nodes are assigned membership in at least two sets, an “announce” set and a “request” set.

Abstract: A method, system, and apparatus for authenticating transactions and records is disclosed. A nonce stamp is a physical article that is relatively difficult to copy illicitly, and that bears a “nonce” number. The “nonce” is a relatively unique identifier, in that it is chosen from a distribution such that any given user/customer is extremely unlikely to obtain two nonce stamps bearing the same nonce. The method includes: presenting a nonce stamp having a nonce number; presenting a numbered digital certificate derived securely from the nonce number; and authenticating the transaction by comparing the number on the digital certificate and the nonce number. The digital certificate is typically obtained by users/customers in exchange for the purchase price of a desired transaction. The apparatus is an information-based indicium including a nonce stamp, and a digital certificate including a number derived securely from the nonce.

Abstract: A method and apparatus for deconstructing video into a hierarchical structure, distributing the deconstructed video and reconstructing the deconstructed video to form a video signal having characteristics that match the capabilities of a user device. The video stream may be deconstructed using a single dimension deconstruction or a multidimensional deconstruction.

Abstract: A memory array comprising nanoscale wires is disclosed. The nanoscale wires are addressed by means of controllable regions axially and/or radially distributed along the nanoscale wires. In a one-dimensional embodiment, memory locations are defined by crossing points between nanoscale wires and microscale wires. In a two-dimensional embodiment, memory locations are defined by crossing points between perpendicular nanoscale wires. In a three-dimensional embodiment, memory locations are defined by crossing points between nanoscale wires located in different vertical layers.

Abstract: Despite advances in recent years in the area of mandatory access control in database systems, today's information repositories remain vulnerable to inference and data association attacks that can result in serious information leakage. Without support for coping against these attacks, sensitive information can be put at risk because of release of other (less sensitive) related information. The ability to protect information disclosure against such improper leakage would be of great benefit to governmental, public, and private institutions, which are, today more than ever, required to make portions of their data available for external release. In accordance with the invention, a solution to the problem of classifying information by enforcing explicit data classification as well as inference and association constraints is provided.

Abstract: A method for controlling electric conduction on nanoscale wires is disclosed. The nanoscale wires are provided with controllable regions axially and/or radially distributed. Controlling those regions by means of microscale wires or additional nanoscale wires allows or prevents electric conduction on the controlled nanoscale wires. The controllable regions are of two different types. For example, a first type of controllable region can exhibit a different doping from a second type of controllable region. The method allows one or more of a set of nanoscale wires, packed at sublithographic pitch, to be independently selected.

Abstract: A method, system, and apparatus for authenticating transactions and records is disclosed. A nonce stamp is a physical article that is relatively difficult to copy illicitly, and that bears a “nonce” number. The “nonce” is a relatively unique identifier, in that it is chosen from a distribution such that any given user/customer is extremely unlikely to obtain two nonce stamps bearing the same nonce. The method includes: presenting a nonce stamp having a nonce number; presenting a numbered digital certificate derived securely from the nonce number; and authenticating the transaction by comparing the number on the digital certificate and the nonce number. The digital certificate is typically obtained by users/customers in exchange for the purchase price of a desired transaction. The apparatus is an information-based indicium including a nonce stamp, and a digital certificate including a number derived securely from the nonce.

Abstract: This invention provides methods for discovering a connectivity relationship among external connections to a two dimensional logic cell, such as a nanocell. The connectivity relationships may then be used to derive a logical relationship among the external connections. Knowledge of the logical relationship among the external connections is, in turn, used to program the logic cell. In one embodiment, voltage pulses of alternating polarity and progressively shorter duration are used to program a chain of interconnected devices within a logic cell. Characterization of connectivity, programming, re-programming and dynamic testing of logic cells, including nanocells, and cell assemblies are taught in the inventive method.

Abstract: A technique based on the use of a quantifier elimination decision procedure for real closed fields and simple theorem proving to construct a series of successively finer qualitative abstractions of hybrid automata is taught. The resulting abstractions are always discrete transition systems which can then be used by any traditional analysis tool. The constructed abstractions are conservative and can be used to establish safety properties of the original system. The technique works on linear and non-linear polynomial hybrid systems: the guards on discrete transitions and the continuous flows in all modes can be specified using arbitrary polynomial expressions over the continuous variables. An exemplar tool in the SAL environment built over the theorem prover PVS is detailed. The technique scales well to large and complex hybrid systems.

Abstract: A method for controlling electric conduction on nanoscale wires is disclosed. The nanoscale wires are provided with controllable regions axially and/or radially distributed. Controlling those regions by means of microscale wires or additional nanoscale wires allows or prevents electric conduction on the controlled nanoscale wires. The controllable regions are of two different types. For example, a first type of controllable region can exhibit a different doping from a second type of controllable region. The method allows one or more of a set of nanoscale wires, packed at sublithographic pitch, to be independently selected.

Abstract: A memory array comprising nanoscale wires is disclosed. The nanoscale wires are addressed by means of controllable regions axially and/or radially distributed along the nanoscale wires. In a one-dimensional embodiment, memory locations are defined by crossing points between nanoscale wires and microscale wires. In a two-dimensional embodiment, memory locations are defined by crossing points between perpendicular nanoscale wires. In a three-dimensional embodiment, memory locations are defined by crossing points between nanoscale wires located in different vertical layers.

Abstract: A scalable method and architecture for efficiently locating desired resources within a network containing a plurality of server nodes, each of which hosts or otherwise provides access to a subset of a global resource set. In one aspect of the invention, each of the server nodes are assigned membership in at least two sets, an “announce” set and a “request” set.

Abstract: Method, system, and apparatus for authenticating transactions and records. A nonce stamp is a physical article that is relatively difficult to copy illicitly, and that bears a “nonce” number. The “nonce” is a relatively unique identifier, in that it is chosen from a distribution such that any given user/customer is extremely unlikely to obtain two nonce stamps bearing the same nonce. The method includes: presenting a nonce stamp having a nonce number; presenting a numbered digital certificate derived securely from the nonce number; and authenticating the transaction by comparing the number on the digital certificate and the nonce number. The digital certificate is typically obtained by users/customers in exchange for the purchase price of a desired transaction. The apparatus is an information-based indicium including a nonce stamp, and a digital certificate including a number derived securely from the nonce.

Abstract: This invention provides methods for discovering a connectivity relationship among external connections to a two dimensional logic cell, such as a nanocell. The connectivity relationships may then be used to derive a logical relationship among the external connections. Knowledge of the logical relationship among the external connections is, in turn, used to program the logic cell. In one embodiment, voltage pulses of alternating polarity and progressively shorter duration are used to program a chain of interconnected devices within a logic cell. Characterization of connectivity, programming, re-programming and dynamic testing of logic cells, including nanocells, and cell assemblies are taught in the inventive method.