Abstract: Bipolar surgical forceps having argon plasma coagulation capability are shown. The surgical forceps include in their body a channel for receiving a flexible tube having a wire within it. The flexible tubing and wire within it are connected to a generator that provides electrical energy to the wire and argon or other inert gas to the tube. The flexible tubing travels a portion of the length of the forceps and ends with a coaxial connector in the proximity of the points of the scissors. An argon plasma coagulation sleeve is placed on the point of one or both limbs of the forceps and is connected to the flexible tubing and wire through the coaxial connector.

Abstract: A method and an apparatus for verification of arithmetic digital circuits is disclosed, wherein a first circuit, called a specification, is compared for equivalence with a further circuit called an implementation, with equivalence occurring when and only when the specification and implementation always produce the same output signals for the same input signals. The gate level description of the specification and implementation are converted to a network of elementary arithmetic 1-bit operations (XOR, half-adders, full adders) and the equivalence of the specification and implementation is identified in that a comparison of the resultant networks from elementary arithmetic 1-bit operations is carried out directly.

Abstract: A motion sensing device is embedded in a firearm. A processor in the firearm senses the pattern of motion of the firearm, and on sensing a specified sequence of motions, the processor permits operation of the firearm. The operator would move the firearm in a prescribed fashion to “unlock the gun.” For example, the operator might trace out his or her initials with the muzzle of a pistol. Unlocking would stay valid until the operator released the gun handle or squeezed extra hard on the handle.

Abstract: A scalable mass interconnect device having a receiver assembly with module mounting members positioned in the receiver frame in a direction parallel to a plane of movement of the engagement cams in the receiver. Modules are mounted in the module mounting members such that the modules are perpendicular to a plane of movement of the engagement cams in the receiver.

Abstract: The invention permits a comparison of two technical systems, which according to conventional opinion is not possible to carry out, based on a substantially simpler, technically achievable comparison, in which part systems of one or both systems are specifically replaced. The replacements are performed in a controlled manner by monitoring a replacement condition with constraints. The monitoring of the replacement condition and the generation and monitoring of the necessary constraints occur automatically. A comparison of both systems can thus be carried out based on the replacement of the part systems without introducing a loss of precision in the comparison.

Abstract: The invention relates to a system and method of conducting surveillance of stolen vehicles. Stolen vehicle information is downloaded from a database to a central server. At the central server, vehicle information is parsed to the specific requirements. Each subscribing jurisdiction downloads its area-specific stolen vehicle database to a subscriber workstation, e.g., via the Internet or an intranet. Police cars have on-board mobile surveillance points having a camera and a processor. A copy of the area-specific stolen vehicle database is loaded into each car's processor. The mobile surveillance point reads license plates of vehicles in traffic, and the processor compares the license plates to stolen plate numbers stored in the database. The processor activates a signal to alert the officer. Stationary checkpoints located in the jurisdiction have a stationary surveillance point having a camera and a processor. The surveillance system stores images and creates a database of all vehicle plates in the area.

Abstract: A bistatic radar system having a transmitter that generates unique signals at spatially independent transmitter degrees of freedom and a receiver that filters the signal at each receiver degree of freedom into a group of signals identical in number to the number of transmitter degrees of freedom. The receiver formats the filtered signals into a 2-dimensional array of elements. The receiver rotates the array so that the new axes are aligned with the Doppler gradient. The data is then re-sampled and projected to linearize the clutter signal. The receiver may be integrated with a broad class of adaptive and non-adaptive clutter mitigation approaches such as electronic clutter tuning and projected bistatic space-time adaptive processing, or STAP.

Abstract: An intraluminal device has an elongated body member having a series of independent inflatable sections along its length. At least one inflating/deflating line extends from each inflatable section to a distal end of the body member. The device may be used for positing, isolating or identifying a lumen by giving shape to a collapsed viscus. The device may also be used to visualize intraluminal structure or control pressure within a hollow viscus from within the hollow viscus.

Abstract: A modular interface connection system having a receiver and a test adapter. The receiver includes a non-circular torsion shaft for providing improved strength and ease of assembly and a cover for providing safety. The test adapter has a frame, a shield, and one or more bushings, which provides easy access to contacts, patchcords and modules in the test adapter for troubleshooting, repairs and maintenance.

Abstract: Compressed Bloom filters that act as a message as well as a data structure provide smaller false positive rates, reduced bits broadcast and/or reduced computational overhead in distributed Web proxy servers and other distributed networks.

Abstract: A modular interface test adapter having a base, a cover and a bushing or card support that permits easy access to modules, pins and patchcords in the test adapter for activities such as troubleshooting and repairs. The cover is removable and has a structure, such as a tongue and groove, for mating with a corresponding structure in a base. The bushing or card support is removable from the cover.