Abstract: A method includes receiving input data comprising a plurality of bits and processing an access control list into an ESOP expression comprising a plurality of product terms. The method also includes storing a plurality of bits associated with the plurality of product terms in a TCAM comprising a plurality of rows and comparing the plurality of bits associated with the input data to the plurality of bits associated with the product terms stored in each row of the plurality of rows, such that each row of the TCAM outputs a plurality of signals, such that each of the plurality of signals indicate a match or no match for each bit stored in the selected row. The method includes receiving the plurality of signals from the plurality of rows by an ESOP evaluator and outputting an address associated with a selected row from the plurality of rows of the TCAM.

Abstract: A method of geotagging based on specified criteria is described. The method may include analyzing a data stream indicating a variable parameter associated with an object to determine data within the data stream satisfying a specified criteria. The method may also include obtaining geospatial information for the object or another object corresponding to a time the data was generated. Relevant data collected at the time the data satisfies the specified criteria may be tagged with the geospatial information. Related systems are also described.

Abstract: A method of determining stress based on renal blood flow. The method includes receiving data indicating renal blood flow of a subject. The method also includes calculating a power spectrum of a signal derived from the data. The power spectrum indicates a stress level of the subject.

Abstract: According to certain embodiments, one or more sets of model samples of model sensor data are accessed. Each set comprises one or more model samples corresponding to an annotation of one or more annotations. The following are performed for each set to yield one or more annotated model characteristic functions: represent each model sample of the each set as a model minterm to yield a set of model minterms; generate a model characteristic function from the set of model minterms, the model characteristic function indicating whether a given minterm is a member of the set of model minterms; and annotate the model characteristic function to yield an annotated model characteristic function. A general model characteristic function is generated from the one or more annotated model characteristic functions.

Abstract: One embodiment accesses a binary decision diagram (BDD) representing a function having 4 variables, variables 1, 2, 3, and 4, wherein the BDD comprises 4 layers, layers 1, 2, 3, and 4, corresponding to the 4 variables, respectively; determines an optimum variable order of the BDD by performing at most 19 layer swaps during at most 13 iterations, wherein each of 6 iterations of the at most 13 iterations comprises: determines a first size of the layers 1 and 2 and a first size of the layers 3 and 4; swaps the layers 1 and 2 and the layers 3 and 4 concurrently; determines a second size of the layers 1 and 2 and a second size of the layers 3 and 4; and determines 1 variable order among 4 variable orders obtained during the iteration that yields a smallest size among the 4 variable orders obtained during the iteration.

Abstract: In particular embodiments, a method includes accessing data streams from a mood sensor and one or more of a heart-rate monitor, a blood-pressure monitor, a pulse oximeter, or an accelerometer monitoring a person, analyzing data sets collected from the person when the person is stressed and unstressed, analyzing the data sets, and determining a current stress index of the person based on the analysis.

Abstract: In particular embodiments, a method includes accessing data streams from an accelerometer and one or more of a heart-rate monitor, a blood-pressure monitor, a pulse oximeter, or a mood sensor monitoring a person, analyzing data sets collected from the person when the person is engaged in various activities, and determining a current stress index of the person based on the analysis.

Abstract: In particular embodiments, a method includes accessing data streams from at least two of an accelerometer, a heart-rate monitor, a blood-pressure monitor, a pulse oximeter, or a mood sensor monitoring a person, analyzing data sets collected from the person when the person is engage and not engaged in a therapy, and determining a current stress factor for the therapy on the person based on the analysis.

Abstract: In particular embodiments, a method includes accessing data streams from an environmental sensor, and one or more of a mood sensor, a heart-rate monitor, a blood-pressure monitor, a pulse oximeter, or an accelerometer monitoring a person, analyzing data sets collected from the person when the person is exposed to various environmental states, and determining a current stress index of the person based on the analysis.

Abstract: In particular embodiments, a method includes accessing a first binary decision diagram (BDD) representing data streams from sensors, accessing a second BDD representing health states associated with specified data ranges, and constructing a third BDD by performing an AND operation between the first and second BDDs.

Abstract: One embodiment accesses a binary decision diagram (BDD) representing a function having n variables, where n?2, wherein the BDD comprises n layers corresponding to the n variables, respectively; and reorders the n variables of the BDD by iteratively and alternating reordering k consecutive layers, where 1<k?n, until a size of the BDD has reached a desired threshold, wherein each iteration comprises: selects k consecutive layers from the n layers, wherein the k consecutive layers selected during a current iteration differ from the k consecutive layers selected during a previous iteration immediately preceding the current iteration; determines a locally optimum variable order of the k consecutive layers; and reorders the k consecutive layers according to the locally optimum variable order of the k consecutive layers.

Abstract: A system and method for running multiple image computation approaches in parallel and selecting an optimal one of the image computation approaches for verification use based on efficiency of individual approaches. The method automatically determines an optimal approach with respect to modifications of parameters that can affect efficiency of the verification.

Abstract: One embodiment accesses a binary decision diagram (BDD) representing a function having n variables, where n?2, wherein the BDD comprises n layers corresponding to the n variables, respectively; separates the n variables into n ! 2 ? n / 2 ? groups, wherein each group comprises ? n 2 ? ordered sets, and each set in each group comprises 1 or 2 variables; for each of the n ! 2 ? n / 2 ? groups, determines a locally optimum variable order that yields a smallest size among 2?n/2? different variable orders of the BDD obtained within the group; and selects from n ! 2 ? n / 2 ? locally optimum variable orders corresponding to the n ! 2 ? n / 2 ? groups an optimum variable order of the BDD that yields a smallest size among the n ! 2 ? n / 2 ? locally optimum variable orders.

Abstract: One embodiment accesses a binary decision diagram (BDD) representing a function having n variables; and reorders the n variables of the BDD by iteratively moving k variables of the n variables to their locally optimum layers, until a size of the BDD has reached a desired threshold, wherein each iteration comprises: selects from the n layers k layers that currently have the k largest sizes among the n layers, wherein the k variables are currently positioned at the k layers; iteratively and concurrently moves the k variables to different layers of the BDD until each of the k variables has been at all the n layers to determine a locally optimum layer for each of the k variables, wherein the locally optimum layer of a variable during each iteration is one of the n layers that currently yields a smallest size among the n layers with the variable at each of the n layers; and concurrently moves the k variables to their respective locally optimum layers.

Abstract: According to certain embodiments, a first Boolean function and a second Boolean function are received. The first Boolean function represents a first data set, and the second Boolean function represents a second data set. The first Boolean function and the second Boolean function are transformed to a first arithmetic function and a second arithmetic function, respectively. A first hash code and a second hash code are calculated from the first arithmetic function and the second arithmetic function, respectively. If the first hash code equals the second hash code, the first Boolean function and the second Boolean function are designated as equivalent; otherwise, the first Boolean function and the second Boolean function are designated as not equivalent.

Abstract: One embodiment accesses a binary decision diagram (BDD) representing a function having n variables, where n?2, wherein the BDD comprises n layers corresponding to the n variables, respectively; and reorders the n variables of the BDD by iteratively and alternating reordering a plurality of disjoint sets of k consecutive layers in parallel, where 1<k<n, until a size of the BDD has reached a desired threshold, wherein each iteration comprises: divides the n layers into the plurality of disjoint sets of k consecutive layers, wherein the plurality of disjoint sets of k consecutive layers formed during a current iteration differs from the plurality of disjoint sets of k consecutive layers formed during a previous iteration immediately preceding the current iteration; and concurrently reorders the plurality sets of k consecutive layers.

Abstract: According to certain embodiments, a first characteristic function representing a first set of samples and a second characteristic function representing a second set of samples are generated. The first characteristic function and the second characteristic function are transformed to a first arithmetic function and a second arithmetic function, respectively. A first hash code and a second hash code are calculated from the first arithmetic function and the second arithmetic function, respectively. If the first hash code equals the second hash code, the first set of samples and the second set of samples are designated as equivalent; otherwise, the first set of samples and the second set of samples are designated as not equivalent.

Abstract: In one embodiment, generating an ontology includes accessing an inverted index comprising a plurality of inverted index lists. An inverted index list may correspond to a term of a language. Each inverted index list may comprise a term identifier of the term and one or more document identifiers indicating one or more documents of a document set in which the term appears. The embodiment also includes generating a term identifier index according to the inverted index. The term identifier index comprises a plurality of sections and each section corresponds to a document. Each section may comprise one or more term identifiers of one or more terms that appear in the document.

Abstract: In particular embodiments, a method includes accessing data streams from one or more of a heart-rate monitor, a blood-pressure monitor, a pulse oximeter, a mood sensor, or an accelerometer monitoring a person, accessing a stress model, analyzing the data streams with respect to the stress model, and determining based on the analysis a current stress index of the person.

Abstract: In one embodiment, determining a document specificity includes accessing a record that records the clusters of documents. The number of themes of a document is determined from the number of clusters of the document. The specificity of the document is determined from the number of themes.