Abstract: A medical instrument is disclosed. The medical instrument includes at least one electrical contact element, a battery, a radio frequency (RF) generation circuit coupled to and operated by the battery and operable to generate an RF drive signal and to provide the RF drive signal to the at least one electrical contact, and a battery discharge circuit coupled to the battery. A processor is coupled to the battery discharge circuit and a memory is coupled to the processor. The memory stores machine executable instructions that when executed cause the processor to monitor activation of the RF generation circuit and disable the RF generation circuit when the RF drive signal is fired a predetermined number of times. The medical instrument may include an activation switch and/or a disposal switch supported by the housing.

Abstract: A medical instrument is disclosed. The medical instrument includes at least one electrical contact element, a battery, a radio frequency (RF) generation circuit coupled to and operated by the battery and operable to generate an RF drive signal and to provide the RF drive signal to the at least one electrical contact, and a battery discharge circuit coupled to the battery. A processor is coupled to the battery discharge circuit and a memory is coupled to the processor. The memory stores machine executable instructions that when executed cause the processor to monitor activation of the RF generation circuit and disable the RF generation circuit when the RF drive signal is fired a predetermined number of times. The medical instrument may include an activation switch and/or a disposal switch supported by the housing.

Abstract: A medical instrument is disclosed. The medical instrument includes a housing and a handle for gripping by a user, an end effector coupled to the handle and having at least one electrical contact, a battery, and a radio frequency (RF) generation circuit coupled to and operated by the battery. The RF generation circuit is operable to generate an RF drive signal and to provide the RF drive signal to the at least one electrical contact, wherein the RF generation circuit is supported by the housing. The RF generation circuit includes a resonant circuit that includes at least one inductive element constructed of litz wire.

Abstract: A medical instrument is disclosed. The medical instrument includes a housing, at least one electrical contact, a radio frequency (RF) generation circuit coupled to and operated by the battery and operable to generate an RF drive signal and to provide the RF drive signal to the at least one electrical contact, and a user interface supported by the housing. The user interface includes visual and audible feedback elements, wherein the state of the instrument can be determined by the state of the visual and audible feedback elements.

Abstract: A medical instrument is disclosed. The medical instrument includes at least one electrical contact, a radio frequency (RF) generation circuit coupled to and operated by the battery and operable to generate an RF drive signal and to provide the RF drive signal to the at least one electrical contact, a battery discharge circuit coupled to the RF generation circuit, a processor coupled to the battery discharge circuit, and a memory coupled to the processor. The memory stores computer instructions that when executed cause the processor to monitor battery capacity and send a signal to the battery discharge circuit to discharge a battery coupled to the battery discharge circuit when the battery capacity falls below a predetermined threshold.

Abstract: Technologies pertaining to attesting to computer-executable code residing on a robot are described herein. An attestation server includes a database that comprises file paths that correspond to files on the robot at a time of manufacture of the robot. The database also includes file digests that are indicative of content of the files on the robot. The attestation server randomly selects a file path and transmits the file path to the robot. The robot accesses the file at the file path and computes a file digest for that file. The robot then transmits the file digest to the attestation server, which compares the file digest from the robot with the file digest in the database. If the file digests match, then the attestation server attests to the computer-executable code on the robot.

Abstract: Provided are dielectrophoresis (DEP) devices and methods that allow cell sorting to identify, isolate, and/or separate cells of interest based on electrical and physical properties of the cells. Particularly, provided are systems and methods for manipulating particles suspended in a fluid, e.g., cells, micro- or nano-particles, using their electrical signatures. Such methods can be performed using DEP, iDEP, and/or cDEP (contactless dielectrophoresis, where direct contact between the electrodes and the sample is avoided). Typically, an electric field is induced in a sample comprising the target particles and/or cells, such as cancer cells, and the spatial distribution of cells is measured to identify one or more characteristics or properties of the cancer cells. The identified characteristics of the sorted cells can be used to determine drug efficacy and/or resistance with respect to the cells.

Abstract: Various technologies pertaining to three-party attestation of untrusted software on a robot are described herein. A robot includes trusted firmware, which includes read-only instructions. The robot also includes untrusted software. An attestation server is in communication with the robot by way of a network stack in the untrusted software. Messages are selectively transmitted amongst the firmware, the untrusted software, and the attestation server in connection with attesting to the untrusted software.

Abstract: Technologies pertaining to attesting to computer-executable code residing on a robot are described herein. An attestation server includes a database that comprises file paths that correspond to files on the robot at a time of manufacture of the robot. The database also includes file digests that are indicative of content of the files on the robot. The attestation server randomly selects a file path and transmits the file path to the robot. The robot accesses the file at the file path and computes a file digest for that file. The robot then transmits the file digest to the attestation server, which compares the file digest from the robot with the file digest in the database. If the file digests match, then the attestation server attests to the computer-executable code on the robot.

Abstract: Techniques are disclosed to provide security for graphical user interface elements being displayed in a system having a host operating system and a high assurance operating system. Graphical user interface elements associated with the high-assurance operating system may be prevented from being obscured and from any partial transparency. Additionally, a piece of secret information may be stored and displayed by graphical user interface elements associated with the high-assurance operating system. Coordinating certain elements of the graphical user interface elements associated with the high assurance operating system also helps to identify legitimate elements associated with the high assurance operating system. Public title information may be furnished to a host operating system windowing system to identify a window owned by a process running on a high-assurance operating system. Private title information associated with the same window may be used in the high assurance operating system.

Abstract: A security device watches over the secure functionality in a computer system. This “watcher” security device may be integrated within the computer system or may be separate from it. The security device queries the secure functionality to determine whether the state of the secure functionality is acceptable. If no satisfactory state exists, or if no response is received, then a signal is transmitted. The signal may be auditory (a buzzer) or visual (a flashing light) in order to signal to any user that the secure functionality has been compromised. Optionally, human input devices may be disabled, or a monitoring service notified, in conjunction with or in lieu of the signal. If the secure functionality includes a secret shared between the secure functionality and the user, then the security device may signal the secret. For example, where the secret is visual, the security device may display the secret.

Abstract: Systems and methods of optimizing a visual programming language dataflow diagram are disclosed herein. A set of work units of the visual programming language dataflow diagram is parsed. A subset of the set of work units that follow a programming pattern is identified. The programming pattern can be a set of criteria satisfied by the subset of work units. A comprehension work unit that maps to the programming pattern can be selected. In one embodiment, the comprehension work unit can be a run-length comprehension work unit, a join comprehension work unit, a choice comprehension work unit, or a merge comprehension work unit. The subset of work units in the visual programming language dataflow diagram is replaced with the comprehension work unit. Imperative computer code can then be generated from the visual programming language dataflow diagram.

Abstract: Techniques are disclosed to provide security for user output and input in which a first, host operating system is used along with a second, high assurance operating system (nexus), where the first system provides at least some of the infrastructure for the second system. A trusted UI engine has a trusted input manager and a trusted output manager. The trusted input manager controls access to trusted input, distributing decrypted input to the host operating system where appropriate, or to the appropriate process running in the nexus. The trusted output manager manages output to the display, and allows trusted agents in the nexus to output data for display without needing to be aware of output-device-dependent details.

Abstract: A system for distributed debugging of a visual programming language computer application. The system includes an execution environment such as a runtime environment to execute a visual programming language computer application. The system also includes a debugging engine to manipulate execution of the a visual programming language application being debugged. Both the execution environment and the debugging engine offer data and methods over a network connection such that either a networked or local debugger user interface may debug the visual programming language computer application. The debugger user interface may be instantiated on a world wide web browser using a received image file representing the visual programming language application, the debugging state, and presentation logic. More than one debugger user interface may interact with the debugging engine at one, allowing distributed debugging of the visual programming language application.

Abstract: Martial arts striking apparatus including a striking board and mounting apparatus for mounting the striking board at different vertical heights and at different angles with respect to the vertical and for mounting the striking board resiliently whereby the board will pivot in response to a received blow and will thereafter be returned to its initial position.

Abstract: A pressure responsive fluid bag ejector including an elongated flexible bder means which is capable of containing a fluid and which has an outlet end for expelling the fluid; and the bladder being progressively structurally stronger toward its outlet end so that upon application of the pressure the bladder will progressively eject the fluid toward the outlet.