Abstract: Aspects of the present invention provide a tool for analyzing and remediating an update-related failure. In an embodiment, a failure state of a computer system that has been arrived at as a result of an update is captured. A semantic diff that includes the difference between the failure state and at least one of an original state or a completion state is then computed. This semantic diff is transformed into a feature vector format. Then the transformed semantic diff is analyzed to determine a remediation for the update. Failure and/or resolution signatures can be constructed using the semantic diff and contextual data, and these signatures can be used in comparison and analysis of failures and resolutions.

Abstract: A semiconductor structure is described, including a semiconductor substrate and a semiconductor layer disposed on the semiconductor substrate. The semiconductor layer is both compositionally graded and structurally graded. Specifically, the semiconductor layer is compositionally graded through its thickness from substantially intrinsic at the interface with the substrate to substantially doped at an opposite surface. Further, the semiconductor layer is structurally graded through its thickness from substantially crystalline at the interface with the substrate to substantially amorphous at the opposite surface. Related methods are also described.

Abstract: A method for managing a virtual machine image includes receiving a request to change a package configuration of a machine, processing an image action received in the request, wherein the processing the image action received includes, opening the image action with associated action inputs, comparing the opened image action inputs with inputs associated with action instances in a database, determining whether the compared opened image action inputs match the inputs associated with action instances, retrieving from the database, image difference data associated with the image action responsive to determining that the compared opened image action inputs match the inputs associated with action instances in the database, and applying the image difference data to an image to transform the image, determining whether each image action in the request has been processed and processing a second image action responsive to determining that each image action has not been processed.

Abstract: Access is obtained to a plurality of information technology services problem tickets. At least a first subset of the tickets include free text tickets with server names embedded in unstructured text fields. The server names are extracted from the first subset of the tickets via a statistical machine learning technique. Using the extracted server names, those of the first subset of the tickets from which the server names have been extracted are linked to corresponding server entries in a configuration information database to facilitate resolution of problems associated with the first subset of the tickets from which the server names have been extracted; and/or at least one of the extracted server names is identified as missing from a list of known server names.

Abstract: The invention provides methods for determining the activity of a plurality of nucleic acid regulatory elements. These methods may facilitate, e.g., the systematic reverse engineering, and optimization of mammalian cis-regulatory elements at high resolution and at a large scale. The method may include integration of multiplexed DNA synthesis and sequencing technologies to generate and quantify the transcriptional regulatory activity of e.g., thousands of arbitrary DNA sequences in parallel in cell-based as says (e.g., mammalian cell based assays).

Abstract: An arbitrary customer instance is transferred from a customer environment to a target managed-infrastructure-as-a-service cloud environment as a transferred image. An image adjustment plan, capturing at least one adjustment required to render the transferred image compliant with standards of the target managed-infrastructure-as-a-service cloud environment, is formulated. The image adjustment plan is executed to adjust the transferred image to obtain an adjusted image compliant with standards of the target managed-infrastructure-as-a-service cloud environment. The adjusted image is on-boarded into the managed-infrastructure-as-a-service cloud environment as a standard image thereof.

Abstract: A foreign instance is transferred from a customer environment to a target infrastructure-as-a-service cloud environment as an image. The foreign instance is adjusted to standards of the infrastructure-as-a-service cloud environment to obtain an adjusted instance. The adjusted instance is registered into a management system of the infrastructure-as-a-service cloud environment.

Abstract: During a process of migrating a source system into a standardized virtual environment, virtual machine instances of the source system executing in a hypervisor are snapshotted as virtual machine images in an operational repository of the hypervisor. The virtual machine images in the operational repository are short-term snapshots. From time to time during the migration process, long-term snapshots of the source system are created by checking given ones of the virtual machine images from the hypervisor operational repository into an image library as image objects.

Abstract: Methods and apparatus are provided for distributing a composite software stack as a virtual appliance. A new virtual appliance is published by obtaining a parent virtual appliance; configuring the new virtual appliance; obtaining file level differences between the parent virtual appliance and the new virtual appliance; and publishing the new virtual appliance as a patch comprising the file level differences relative to the parent virtual appliance. The file level differences comprise one or more of additions, deletions and modifications to the parent virtual appliance. An update to a given virtual appliance can be published as a fix pack, wherein the fix pack comprises file level differences relative to the given virtual appliance.

Abstract: A unified program analysis framework that facilitates the analysis of complex multi-language software systems, analysis reuse, and analysis comparison, by employing techniques such as program translation and automatic results mapping, is presented. The feasibility and effectiveness of such a framework are demonstrated using a sample application of the framework. The comparison yields new insights into the effectiveness of the techniques employed in both analysis tools. These encouraging results yield the observation that such a unified program analysis framework will prove to be valuable both as a testbed for examining different language analysis techniques, and as a unified toolset for broad program analysis.

Abstract: Aspects of the present invention provide a tool for analyzing and remediating an update-related failure. In an embodiment, a failure state of a computer system that has been arrived at as a result of an update is captured. A semantic diff that includes the difference between the failure state and at least one of an original state or a completion state is then computed. This semantic diff is transformed into a feature vector format. Then the transformed semantic diff is analyzed to determine a remediation for the update. Failure and/or resolution signatures can be constructed using the semantic diff and contextual data, and these signatures can be used in comparison and analysis of failures and resolutions.

Abstract: Aspects of the present invention provide a tool for analyzing and remediating an update-related failure. In an embodiment, a failure state of a computer system that has been arrived at as a result of an update is captured. A semantic diff that includes the difference between the failure state and at least one of an original state or a completion state is then computed. This semantic diff is transformed into a feature vector format. Then the transformed semantic diff is analyzed to determine a remediation for the update. Failure and/or resolution signatures can be constructed using the semantic diff and contextual data, and these signatures can be used in comparison and analysis of failures and resolutions.

Abstract: A method comprising, receiving a source code, identifying a data structure access in the source code, determining whether the data structure access is associated with a security check function, defining the data structure access as a security sensitive operation responsive to determining that the data structure access is associated with the security check function, and defining a security specification to include the security check function and the security sensitive operation.

Abstract: Biomarkers for determining a kidney and glomerular pathologies and methods of using the same are described.

Abstract: Aspects of the present invention provide a solution for passively monitoring a computer system. In an embodiment, a virtual server is accessed by an indexing agent that is contained in an indexing appliance. The virtual server is located on a physical server and is one of a plurality of virtual system instances on a common physical server. The indexing appliance is separate from the virtual server and, as such, the indexing agent is not executed within the virtual server, itself. The indexing agent retrieves a virtual image of the virtual server and indexes the virtual image to extract features indicative of changes in the virtual server. These features are analyzed to perform passive monitoring of the virtual server. Since the indexing appliance is separate from the virtual server for which passive monitoring is being performed, the indexing agent can perform the retrieving and the indexing without utilizing agents executing within the virtual server.

Abstract: A composite software stack is distributed as a virtual appliance. A new virtual appliance is published by obtaining a parent virtual appliance; configuring the new virtual appliance; obtaining file level differences between the parent virtual appliance and the new virtual appliance; and publishing the new virtual appliance as a patch comprising the file level differences relative to the parent virtual appliance. The file level differences comprise additions, deletions and/or modifications to the parent virtual appliance. An update to a given virtual appliance can be published as a fix pack, wherein the fix pack comprises file level differences relative to the given virtual appliance. An end user obtains a desired virtual appliance by selecting the desired virtual appliance; obtaining metadata for the desired virtual appliance comprising an identifier of a patch file and a parent virtual appliance; and applying the patch file to the parent virtual appliance to get a modified virtual appliance.

Abstract: A unified program analysis framework that facilitates the analysis of complex multi-language software systems, analysis reuse, and analysis comparison, by employing techniques such as program translation and automatic results mapping, is presented. The feasibility and effectiveness of such a framework are demonstrated using a sample application of the framework. The comparison yields new insights into the effectiveness of the techniques employed in both analysis tools. These encouraging results yield the observation that such a unified program analysis framework will prove to be valuable both as a testbed for examining different language analysis techniques, and as a unified toolset for broad program analysis.

Abstract: Techniques for composing an application resource model are disclosed.

Abstract: Biomarkers for determining a kidney flare episode in systemic lupus erythematosus are described.

Abstract: Techniques for composing an application resource model in a data stream processing system are disclosed. The application resource model may be used to understand what resources will be consumed by an application when executed by the data stream processing system. For example, a method for composing an application resource model for a data stream processing system comprises the following steps. One or more operator-level metrics are obtained from an execution of a data stream processing application in accordance with a first configuration. The application is executed by one or more nodes of the data stream processing system, and the application is comprised of one or more processing elements that are comprised of one or more operators. One or more operator-level resource functions are generated based on the obtained one or more operator-level metrics. A processing element-level resource function is generated based on the one or more generated operator-level resource functions.