Abstract: A surgical instrument, has an end effector that includes an ultrasonic blade, and a clamp arm that moves relative to the ultrasonic blade from an opened position toward an intermediate position and a closed position. The clamp arm is offset from the ultrasonic blade to define a predetermined gap in the intermediate position between the opened position and the closed position. A clamp arm actuator connects to the clamp arm and moves from an opened configuration to a closed configuration to direct the clamp arm from the opened position toward the intermediate position and the closed position. A spacer connects with the clamp arm to inhibit movement of the clamp arm from the intermediate position toward the closed position for maintaining the predetermined gap between the clamp arm and the ultrasonic blade.

Abstract: Personal care formulation is provided having multistage polymer, comprising: acrylate rich stage comprising: (a) structural units of monomer selected from C1-22 alkyl (meth)acrylates and structural units of first carbosiloxane monomer of formula (I); and (b) carbosiloxane rich stage, comprising: structural units of second carbosiloxane monomer of formula (I); wherein a is 0 to 3; wherein d is 0 or 1; wherein R1 is selected from hydrogen, C1-10 alkyl group and aryl group; wherein R2 is selected from hydrogen and C1-10 alkyl group; wherein R8 is —O—Si(CH3)3 group; wherein Y is selected from formula (II), (III) and (IV); wherein R4 and R6 are selected from hydrogen and methyl group; wherein R3 and R5 are C1-10 alkylene group; wherein R7 is C1-10 alkyl group; wherein b is 0 to 4 and wherein c is 0 or 1; and wherein the first and second carbosiloxane monomer of formula (I) are same or different.

Abstract: Technologies are provided for correlating experimental biological datasets. The disclosed technologies may be used for data dependent socialization for life scientists and organizations. Data dependent socialization may be based on statistical correlations between experimental life science data.

Abstract: Methods, systems, and computer program products for generating computer source code products are disclosed. According to one method, an engineer creating or modifying an implementation of computer source code selects abstractions of computer program design from a catalog of design patterns. Design patterns are known abstractions that solve specific problems of computer program design and implementation. The selected design patterns are then bound to elements within a representation of the implementation known as a model. The model is then converted into a representation using elemental design patterns, and this abstraction model is used to generate computer source code in any programming language. The abstraction model is also suitable as input for an automated inference engine for validation or verification purposes prior to, or after, the generation of the computer source code.

Abstract: Methods, systems, and computer program products for generating computer source code products. According to one method, an engineer creating or modifying an implementation of computer source code selects design patterns from a catalog of pre-existing design patterns. The design patterns are known abstractions that solve specific problems of computer program design and implementation. The selected design patterns are then bound to elements within a representation of the implementation known as a model. The model is then converted into a representation using elemental design patterns, and this abstraction model is used to generate the computer source code in any programming language. The abstraction model is also suitable as input for an automated inference engine for validation or verification purposes prior to or after the generation of the computer source code.

Abstract: Technologies are provided for correlating experimental biological datasets. The disclosed technologies may be used for data dependent socialization for life scientists and organizations. Data dependent socialization may be based on statistical correlations between experimental life science data.

Abstract: Technologies are provided for correlating experimental biological datasets. The disclosed technologies may be used for data dependent socialization for life scientists and organizations. Data dependent socialization may be based on statistical correlations between experimental life science data.

Abstract: Methods, systems, and computer program products for generating computer source code products are disclosed. According to one method, an engineer creating or modifying an implementation of computer source code selects abstractions of computer program design from a catalog of design patterns. Design patterns are known abstractions that solve specific problems of computer program design and implementation. The selected design patterns are then bound to elements within a representation of the implementation known as a model. The model is then converted into a representation using elemental design patterns, and this abstraction model is used to generate computer source code in any programming language. The abstraction model is also suitable as input for an automated inference engine for validation or verification purposes prior to, or after, the generation of the computer source code.

Abstract: Methods, systems, and computer program products for generating computer source code products. According to one method, an engineer creating or modifying an implementation of computer source code selects abstractions of computer program design from a catalog of design patterns. Design patterns are known abstractions that solve specific problems of computer program design and implementation. The selected design patterns are then bound to elements within a representation of the implementation known as a model. The model is then converted into a representation using elemental design patterns, and this abstraction model is used to generate computer source code in any programming language. The abstraction model is also suitable as input for an automated inference engine for validation or verification purposes prior to, or after, the generation of the computer source code.

Abstract: Technologies are provided for correlating experimental biological datasets. The disclosed technologies may be used for data dependent socialization for life scientists and organizations. Data dependent socialization may be based on statistical correlations between experimental life science data.

Abstract: Technologies are provided for correlating experimental biological datasets. The disclosed technologies may be used for data dependent socialization for life scientists and organizations. Data dependent socialization may be based on statistical correlations between experimental life science data.

Abstract: Methods, systems, and computer program products for generating computer source code products are disclosed. According to one method, an engineer creating or modifying an implementation of computer source code selects abstractions of computer program design from a catalog of design patterns. Design patterns are known abstractions that solve specific problems of computer program design and implementation. The selected design patterns are then bound to elements within a representation of the implementation known as a model. The model is then converted into a representation using elemental design patterns, and this abstraction model is used to generate computer source code in any programming language. The abstraction model is also suitable as input for an automated inference engine for validation or verification purposes prior to, or after, the generation of the computer source code.

Abstract: Technologies are provided for correlating experimental biological datasets. The disclosed technologies may be used for data dependent socialization for life scientists and organizations. Data dependent socialization may be based on statistical correlations between experimental life science data.

Abstract: Technologies are provided for data dependent socialization for life scientists and organizations. Data dependent socialization may be based on statistical correlations between experimental life science data. A service may provide individuals with an interface for providing experimental data, and the service may generate a visual connection report representing potential connections for collaboration.

Abstract: Technologies relating to efficient memory management for parallel synchronous computing systems are disclosed. Parallel synchronous computing systems may include, for example, a host, a memory management subsystem, and an array of processing units adapted to execute in parallel. Memory management may be implemented at least in part via the memory management subsystem. A memory management subsystem may include one or more memory subsystem layers deployed between the host and the array of processing units. Each memory subsystem layer may have a local memory accessible by entities (whether the host or another layer) above the memory subsystem layer; and a memory controller adapted to manage communications between the entities (whether another layer or the processing units in the array) below the memory subsystem layer.

Abstract: Technologies are provided for data dependent socialization for life scientists and organizations. Data dependent socialization may be based on statistical correlations between experimental life science data. A service may provide individuals with an interface for providing experimental data, and the service may generate a visual connection report representing potential connections for collaboration.

Abstract: Technologies relating to efficient memory management for parallel synchronous computing systems are disclosed. Parallel synchronous computing systems may include, for example, a host, a memory management subsystem, and an array of processing units adapted to execute in parallel. Memory management may be implemented at least in part via the memory management subsystem. A memory management subsystem may include one or more memory subsystem layers deployed between the host and the array of processing units. Each memory subsystem layer may have a local memory accessible by entities (whether the host or another layer) above the memory subsystem layer; and a memory controller adapted to manage communications between the entities (whether another layer or the processing units in the array) below the memory subsystem layer.

Abstract: Technologies relating to real time logic simulation within a mixed mode simulation network are described. Mixed mode simulation networks may comprise Boolean Processing Units (BPUs) and Real Time Processing Units (RTPUs). Mixed mode simulation networks may send an input simulation state vector to the processing units, and the processing units may process portions thereof to calculate portions of an output simulation state vector. BPUs may be adapted to calculate portions of the output simulation state vector without accounting for delay times attributable to operation of a simulated system, while RTPUs may be adapted to calculate portions of the output simulation state vector with accounting for delay times attributable to operation of the simulated system. The calculated portions of the output simulation state vector may be combined in a computational memory, and the resulting output simulation state vector may be used as an input simulation state vector in a next simulation calculation cycle.

Abstract: Pattern harvesting is disclosed, using an automated exemplar-directed approach to harvest patterns from a model-operative pattern representation. A domain is identified, and existing pattern occurrences are detected therein in an automated manner. The detected pattern occurrences are used for creating a new pattern specification.

Abstract: Methods and systems for enhancing the security of data during input and output on a client computer system are provided to prevent attempts by unauthorized code to access, intercept, and/or modify data. Example embodiments provide a plurality of obfuscation techniques and security enhanced drivers that use these obfuscation techniques to prohibit unauthorized viewing/receiving of valid data. When the drivers are used together with the various obfuscation techniques, the security enhanced drivers provide mechanisms for “scheduling” the content of the storage areas used to store the data so that valid data is not available to unauthorized recipients. When unauthorized recipients attempt to access the “data,” they perceive or receive obfuscated data. The obfuscation techniques described include “copy-in,” “replace and restore,” and “in-place replacement” de-obfuscation/re-obfuscation techniques.