公开(公告)号：US11423247B2

公开(公告)日：2022-08-23

申请号：US16839982

申请日：2020-04-03

Applicant: SRI International

Inventor： Ashish Tiwari ,  Susmit Jha ,  Patrick Lincoln

IPC: H03M7/34 ,  H03M7/00 ,  G06K9/62 ,  G06F9/54 ,  H03M7/30 ,  H03M7/40

Abstract: Techniques are disclosed for identifying fixed bits of a bitstring format. One or more processors are configured to generate a first bitstring having respective first bit values that have a first satisfiability state and generate a second bitstring having respective second bit values that have a second satisfiability state. The one or more processors are configured to identify first potential free bits having respective first common values and generate a third bitstring having first potential free bits with the respective first common values and third remaining bits. The one or more processors are configured to identify second potential free bits having respective second common values and identify a fixed bit that is not included in the first potential free bits and is not included in the second potential free bits.

公开(公告)号：US11752339B2

公开(公告)日：2023-09-12

申请号：US15608872

申请日：2017-05-30

Applicant: SRI International

Inventor： Christopher Connolly ,  Patrick Lincoln ,  Maneesh Yadav ,  John Cornwell ,  Bhaskar Ramamurthy

IPC: A61N1/36 ,  A61F2/72 ,  A61B5/24 ,  A61B5/00 ,  G16H50/50 ,  G16H40/63 ,  G16H40/67 ,  G16H20/10 ,  G16H20/70

CPC classification number: A61N1/3605 ,  A61B5/24 ,  A61B5/4029 ,  A61F2/72 ,  A61N1/3606 ,  A61B5/4836 ,  A61B2503/40 ,  A61N1/36053 ,  G16H20/10 ,  G16H20/70 ,  G16H40/63 ,  G16H40/67 ,  G16H50/50

Abstract: Systems and methods of generating and applying a synthetic neuromodulatory signal are described. A subject may be put under a particular condition that causes an effect in the subject. While the subject is under the condition, a recording of neurogram signals derived from the condition can be made from the subject. For example, neuronal signals traveling on the vagus nerve of the subject may be monitored and recorded. The neurogram may then be used to create a synthetic neuromodulatory signal that can be administered to a user. When the synthetic neuromodulatory signal is administered to the user, the user may experience the same effect as the subject that had been placed in the condition, even though the user was never put under the same condition.

公开(公告)号：US11651227B2

公开(公告)日：2023-05-16

申请号：US16226286

申请日：2018-12-19

Applicant: SRI International

Inventor： Shalini Ghosh ,  Patrick Lincoln ,  Ashish Tiwari ,  Susmit Jha

IPC: G06N3/08 ,  G06N3/04 ,  G06N3/084

CPC classification number: G06N3/084 ,  G06N3/0454

Abstract: In general, the disclosure describes techniques for facilitating trust in neural networks using a trusted neural network system. For example, described herein are multi-headed, trusted neural network systems that can be trained to satisfy one or more constraints as part of the training process, where such constraints may take the form of one or more logical rules and cause the objective function of at least one the heads of the trusted neural network system to steer, during machine learning model training, the overall objective function for the system toward an optimal solution that satisfies the constraints. The constraints may be non-temporal, temporal, or a combination of non-temporal and temporal. The constraints may be directly compiled to a neural network or otherwise used to train the machine learning model.

公开(公告)号：US20220197881A1

公开(公告)日：2022-06-23

申请号：US17644946

申请日：2021-12-17

Applicant: SRI International

Inventor： Bruno Dutertre ,  Susmit Jha ,  Huascar Sanchez ,  Patrick Lincoln ,  Eric M. Pearson ,  Richard Dean ,  Ian A. Mason

IPC: G06F16/22 ,  G06F16/2453 ,  G06F16/242

Abstract: Processing circuitry is configured to obtain a data structure that defines a plurality of conversions of data between pairs of fields; perform a search to identify a plurality of paths from a source node of the data structure to a destination node of the data structure, wherein the source node corresponds to a first field of the fields and the destination node corresponds to a second field of the fields; convert, for each path of the plurality of paths, transforms represented by corresponding edges of the path to a sequence of transforms that conform to a solver format; process the sequence of transforms for each path to determine whether all paths of the plurality of paths are equivalent up to an equivalence relation; and output an indication of whether all paths of the plurality of paths are equivalent up to an equivalence relation.

公开(公告)号：US20170340881A1

公开(公告)日：2017-11-30

申请号：US15608872

申请日：2017-05-30

Applicant: SRI International

Inventor： Christopher Connolly ,  Patrick Lincoln ,  Maneesh Yadav ,  John Cornwell ,  Bhaskar Ramamurthy

IPC: A61N1/36 ,  A61F2/72 ,  A61B5/04

CPC classification number: A61N1/3605 ,  A61B5/04 ,  A61B5/04001 ,  A61B5/4029 ,  A61B5/4836 ,  A61B2503/40 ,  A61F2/72 ,  A61N1/36053 ,  A61N1/3606 ,  G16H40/63 ,  G16H40/67 ,  G16H50/50

Abstract: Systems and methods of generating and applying a synthetic neuromodulatory signal are described. A subject may be put under a particular condition that causes an effect in the subject. While the subject is under the condition, a recording of neurogram signals derived from the condition can be made from the subject. For example, neuronal signals traveling on the vagus nerve of the subject may be monitored and recorded. The neurogram may then be used to create a synthetic neuromodulatory signal that can be administered to a user. When the synthetic neuromodulatory signal is administered to the user, the user may experience the same effect as the subject that had been placed in the condition, even though the user was never put under the same condition.