Abstract: In an example, a method of designing a system or architecture includes, receiving a plurality of parameter values and a set of requirements for a plurality of objective functions related to a design problem; compressing the plurality of parameters to generate a latent representation; forward processing, with one or more Invertible Neural Networks (INNs), the latent representation to generate a plurality of objective values corresponding to the plurality of the objective functions; inverse processing the plurality of objective values; and generating, based on the latent representation, a plurality of solutions to the design problem that satisfy the set of requirements for the plurality of objective functions.

Abstract: A satellite orbiting the Earth may perform orbit-aware routing by receiving a data packet, determining whether a final destination plane of the data packet is different from an orbital plane of the satellite, in response to determining that the final destination plane of the data packet is different from the orbital plane of the satellite, determining whether the satellite is able to communicate with one or more cross-plane neighboring satellites, selecting a neighboring satellite to receive the data packet based at least in part on whether the satellite is able to communicate with one or more cross-plane neighboring satellites, and forwarding the data packet to the neighboring satellite.

Abstract: The invention teaches the use of an addressable nanoscale device to create a programmable substrate useful in selectively attracting proteins, nucleating protein crystals and growing protein crystals of a size amenable to diffraction analysis. Further taught is the use of nanoscale assemblies to create charge patterns, where such charge patterns are useful in purifying, nucleating or crystallizing protein molecules. Charge extension moieties, including water, are taught. The invention provides rapid and efficient identification, purification and detection of proteins and protein-related complexes.

Abstract: A method and apparatus for monitoring and detecting strings of interest to effect intrusion detection, packet filtering, load balancing, routing, and other network-related operations.

Abstract: The invention provides an imaging device comprised of nanoscale crossbar arrays upon a transmissive medium. The preferred embodiment employs a BOPET film as the transparent material bearing addressable nanoscale arrays, and the arrays connected to leads through micro lithographic techniques, and in turn connected to a logic device. An imaging volume is provided by stacking the array-bearing sheets. The volumetric imaging device functions omnidirectionally. By means of applying Fourier and/or geometric optics techniques to imaging data, various focal points and planes of focus can be calculated. The preferred embodiment is on the order of 1 cubic mm. Alternate embodiments include display and projection devices.

Abstract: The invention teaches the use of an addressable nanoscale device to create a programmable substrate useful in selectively attracting proteins, nucleating protein crystals and growing protein crystals of a size amenable to diffraction analysis. Further taught is the use of nanoscale assemblies to create charge patterns, where such charge patterns are useful in purifying, nucleating or crystallizing protein molecules. Charge extension moieties, including water, are taught. The invention provides rapid and efficient identification, purification and detection of proteins and protein-related complexes.

Abstract: The invention teaches the use of an addressable nanoscale device to create a programmable substrate useful in selectively attracting proteins, nucleating protein crystals and growing protein crystals of a size amenable to diffraction analysis. Further taught is the use of nanoscale assemblies to create charge patterns, where such charge patterns are useful in purifying, nucleating or crystallizing protein molecules. Charge extension moieties, including water, are taught. The invention provides rapid and efficient identification, purification and detection of proteins and protein-related complexes.

Abstract: The invention teaches the use of an addressable nanoscale device to create a programmable substrate useful in selectively attracting proteins, nucleating protein crystals and growing protein crystals of a size amenable to diffraction analysis. Further taught is the use of nanoscale assemblies to create charge patterns, where such charge patterns are useful in purifying, nucleating or crystallizing protein molecules. Charge extension moieties, including water, are taught. The invention provides rapid and efficient identification, purification and detection of proteins and protein-related complexes.

Abstract: Biological and chemical systems are represented as a symbolic model. Minimal sets of elements of the system are identified from the model, for example, by automatic inference. The model can be constructed from Boolean propositions that are mapped to a binary decision diagram. The model can also be probed using a branch and bound algorithm.

Abstract: Disclosed are methods, software, and systems for comparing biopolymer sequences. The model includes at least two different characterizations of states of matching between segments of sequences at defined positions. Examples of states of matching include: similarity and dissimilarity between objects, as well as similarity to a reference, e.g., a reference sequence or a sequence profile. A topology of particular match states can be used to identify classes of sequences, e.g., preprohormone sequences.

Abstract: A model is used to represent a set of structured data objects that include elements at defined positions. The model includes distributions of vectors, each distribution corresponding to particular positions in the respective structured data objects, each of the vectors comprising values for the particular positions; and comparing a given set of structured data objects to the model to determine a likelihood that the given set is represented by the model. At least some of the distributions of the model differ such that different states of matching are indicated. Distributions of the model can indicate: dissimilarity between the structured data objects at defined positions; similarity between the structured data objects at defined positions; or similarity to a reference structure data object at defined positions.

Abstract: A method and apparatus for monitoring and detecting strings of interest to effect intrusion detection, packet filtering, load balancing, routing, and other network-related operations.

Abstract: A model is used to represent a set of structured data objects that include elements at defined positions. The model includes distributions of vectors, each distribution corresponding to particular positions in the respective structured data objects, each of the vectors comprising values for the particular positions; and comparing a given set of structured data objects to the model to determine a likelihood that the given set is represented by the model. At least some of the distributions of the model differ such that different states of matching are indicated. Distributions of the model can indicate: dissimilarity between the structured data objects at defined positions; similarity between the structured data objects at defined positions; or similarity to a reference structure data object at defined positions.

Abstract: Biological and chemical systems are represented as a symbolic model. Minimal sets of elements of the system are identified from the model, for example, by automatic inference. The model can be constructed from Boolean propositions that are mapped to a binary decision diagram. The model can also be probed using a branch and bound algorithm.

Abstract: Biological systems are modeled using formal languages and theorem provers and model checkers and term rewriting systems. The models include rules that express a substitution of at least one symbol by at least another symbol. The symbols represent elements of the biological system, and the rules are expressed in a manner that, for example, enables an inference engine to infer alternative results from the system based on an initial hypothetical state.

Abstract: Disclosed are methods, software, and systems for comparing biopolymer sequences. The model includes at least two different characterizations of states of matching between segments of sequences at defined positions. Examples of states of matching include: similarity and dissimilarity between objects, as well as similarity to a reference, e.g., a reference sequence or a sequence profile. A topology of particular match states can be used to identify classes of sequences, e.g., preprohormone sequences.