Abstract: Disclosed herein are system, computer-readable storage medium, and method embodiments of machine-learning (ML)-based static verification for derived hardware-design elements. A system including at least one processor may be configured to extract a feature set from a hardware description and evaluate a similarity index of a first hardware element with respect to a second hardware element, using an ML process based on the feature set, wherein the first hardware element is described in the hardware description. The at least one processor may be further configured to update one or more parameters corresponding to a static verification of the hardware description while the static verification is being performed, by providing at least one test attribute, corresponding to the second hardware element, applicable to the first hardware element, in response to determining that the similarity index is within a specified range, and additionally output a first result of the static verification.

Abstract: State table complexity reduction in a hierarchical verification flow is provided by identifying peripheral supplies and non-peripheral supplies in a hierarchical group in a hierarchical logical block model of a circuit based on whether logic blocks associated with the power supplies provide outputs to or receive inputs from circuity external to the hierarchical group; merging associated power state tables for the peripheral supplies and the non-peripheral supplies in the hierarchical group to create a merged power state table for the hierarchical group; removing, by a processing device, any power states associated with the non-peripheral supplies from the merged power state table to create a reduced power state table; and modeling a reduced logical block based on the reduced power state table.

Abstract: An integral nozzle with a section of pipe having a weld end and a flange end. Proximate the flange end there can be a thickened section to strengthen and stabilize the integral nozzle. The wall thickness of the section of pipe can be less than a standard size, such as schedule 40 or schedule 80 pipe, thereby reducing the weight, overall circumference of the weld end, and required material to make the integral nozzle.

Abstract: State table complexity reduction in a hierarchical verification flow is provided by identifying peripheral supplies and non-peripheral supplies in a hierarchical group in a hierarchical logical block model of a circuit based on whether logic blocks associated with the power supplies provide outputs to or receive inputs from circuity external to the hierarchical group; merging associated power state tables for the peripheral supplies and the non-peripheral supplies in the hierarchical group to create a merged power state table for the hierarchical group; removing, by a processing device, any power states associated with the non-peripheral supplies from the merged power state table to create a reduced power state table; and modeling a reduced logical block based on the reduced power state table.

Abstract: A gearbox assembly comprising: a gearbox having a plurality of gears, an air turbine starter, and a transfer shaft. The transfer shaft has a first end portion engaged with a gear of the gearbox and an opposing second end portion configured for operative connection with a core shaft of the turbine engine. The air turbine starter is operatively engaged with the transfer shaft between the first and second end portions so as to be rotatable by the air turbine starter.

Abstract: Described is a system for geocoding social networks by minimizing total variation. A set of social media data from a social media platform having users is received. A social network is generated from the set of social media data based on communication between users. A ground truth set of locations is determined for users who make their locations public, and the ground truth set of locations is propagated across the social network to generate a location estimate for each user. A confidence measure for each location estimate is then generated.

Abstract: A method and EDA software tool for analyzing and verifying that a multi-level power managed system description (IC design) is free of power-state combination conflicts by way of identifying and reconciling voltage level and power-state combination conflicts caused by reused blocks (IP cores). The reconciliation process involves generating Power-State Tables (PSTs) associated with each hierarchical circuit level (e.g., top/system level and lower/block levels) of the IC design using both initial power supply voltage values and reconciled/revised voltage values, which are determined by the main driver voltage levels of each power supply. Initial supply relationships generated using the initial PSTs are then compared with final supply relationships generated using the reconciled PSTs, whereby conflicts are identified when one or more initial supply relationship fails to match a final supply relationship, or when one or more final supply relationship fails to match an initial supply relationship.

Abstract: Described is a system for explaining how the human brain represents conceptual knowledge. A semantic model is developed, and a behavioral exam is performed to assess a calibration subject into a cohort and reveal semantic relationships to modify a personalized semantic space developed by the semantic model. Semantic features are extracted from the personalized semantic space. Neural features are extracted from neuroimaging of the human subject. A neuroceptual lattice is created having nodes representing attributes by aligning the semantic features and the neural features. Structures in the neuroceptual lattice are identified to quantify an extent to which the set of neural features represents a target concept. The identified structures are used to interpret conceptual knowledge in the brain of a test subject.

Abstract: Described is a system for early detection of events via social media mining. The system receives, as input, social media blog posts comprising textual data. The system processes the social media blog posts through a cascade of filters. The cascade of filters comprises an event term detection filter, a location term detection filter following the event term detection filter, and a future date detection filter following the location term detection filter. A plurality of candidate social media blog posts describing an event of interest on a future date is output to a user for further analysis.

Abstract: A method and apparatus for improving a performance of an antenna system. An influence network is generated for an array of elements in the antenna system using a reconfiguration algorithm. The influence network indicates an influence of an undesired event occurring at any element in the array of elements on a remaining portion of the array of elements given a current state of the array of elements. A relative ranking of vulnerability is created for elements in the array of elements based on the influence network. The reconfiguration algorithm is modified to take into account the relative ranking of vulnerability to form a modified reconfiguration algorithm. The antenna system using the modified reconfiguration algorithm to compensate for undesired events improves the performance of the antenna system.

Abstract: Described is a system and method for automated discovery of unknown patterns from multiple heterogeneous datasets in support of decision making. The system processes input data with a coarse-graining module to generate multi-scale symbolic representations of the input data having various levels of granularity. If the input data contains missing data, then values are computed for the missing data with an effective information transfer module. The multi-scale symbolic representations are sent to a local information dynamics module and a non-myopic value of information module. Previously unknown patterns in the multi-scale symbolic representations are discovered and extracted with the local information dynamics module. The previously unknown patterns and the multi -scale symbolic representations of the input data are analyzed, and the value of acquiring new input data is ranked with the non-myopic value of information module.

Abstract: Failure in a self-healing array may be handled by: detecting a failing element of the self-healing array by monitoring characteristics of the failing element; auto-correcting a failing element of the self-healing array by adjusting characteristics of the failing element to compensate for a portion of the failing element which is failing; or correcting performance of the self-healing array when one or more elements of the self-healing array fail by detecting and modeling an impact of the one or more elements of the self-healing array which failed on the performance of the self-healing array.

Abstract: A method for optimizing a phased array antenna. A predicted future health state for elements in the phased array antenna is identified. A configuration for the elements to use a radiation pattern based on the predicted future health state for the elements taking into account potential degradation of a group of the elements in the predicted future health state is also identified.

Abstract: Described is a system for detecting group behaviors in dynamic relational data by monitoring individual events of interest. Data is collected from a domain of interest at predetermined time intervals. Examples of domains of interest include internet data, video behavior analysis, social networks, and diagnosis and prognosis. The data is then monitored for at least one local event of interest defined by a user. The system is configured to analyze a relationship between at least two monitored local events of interest. Finally, a visual representation of the relationship between the monitored local events of interest is generated and presented to the user for further analysis. Also described is a method and computer program product for detecting group behaviors in data.

Abstract: Random sampling techniques include techniques for reducing or eliminating errors in the output of capacitive sensor arrays such as touch panels. The channels of the touch panel are periodically sampled to determine the presence of one or more touch events. Each channel is individually sampled in a round robin fashion, referred to as a sampling cycle. During each sampling cycle, all channels are sampled once. Multiple sampling cycles are performed such that each channel is sampled multiple times. Random sampling techniques are used to sample each of the channels. One random sampling technique randomizes a starting channel in each sampling cycle. Another random sampling technique randomizes the selection of all channels in each sampling cycle. Yet another random sampling technique randomizes the sampling cycle delay period between each sampling cycle. Still another random sampling technique randomizes the channel delay period between sampling each channel.

Abstract: A method and system for video-content based retrieval is described. A query video depicting an activity is processed using interest point selection to find locations in the video that are relevant to that activity. A set of spatio-temporal descriptors such as self-similarity and 3-D SIFT are calculated within a local neighborhood of the set of interest points. An indexed video database containing videos similar to the query video is searched using the set of descriptors to obtain a set of candidate videos. The videos in the video database are indexed hierarchically using a vocabulary tree or other hierarchical indexing mechanism.

Abstract: Described is a system for supporting human intelligence analysis. The system detects changes in social relations among users within a dynamic information network and enables understanding of a current social situation in the dynamic information network through multiple integrated modules. An active network mining module identifies incomplete data that is related to at least one change in the social relations and resolves conflicting and missing data in the dynamic information network. A relevant network discovery module constructs a relevant network from hidden relations within the dynamic information network. An information-aware social network module constructs an information-aware social network using the relevant network, then classifies and prioritizes items of interest to provide an assessment of a current social situation to a user.

Abstract: A method and apparatus for improving a performance of a system. An influence network is generated for an array of elements in the system using a reconfiguration algorithm. The influence network indicates an influence of an undesired event occurring at any element in the array of elements on a remaining portion of the array of elements given a current state of the array of elements. A relative ranking of vulnerability is created for elements in the array of elements based on the influence network. The reconfiguration algorithm is modified to take into account the relative ranking of vulnerability to form a modified reconfiguration algorithm. The system using the modified reconfiguration algorithm to compensate for undesired events improves the performance of the system.

Abstract: Described is a cyber security system for digital artifact genetic modeling and forensic analysis. The system identifies the provenance (origin) of a digital artifact by first receiving a plurality of digital artifacts, each digital artifact possessing features. Raw features are extracted from the digital artifacts. The raw features are classified into descriptive genotype-phonotype structures. Finally, lineage, heredity, and provenance of the digital artifacts are determined based on mapping of the genotype-phenotype structures.