Kristen L Carlson

US Patent:

20220203111, Jun 30, 2022

Filed:

Dec 29, 2021

Appl. No.:

17/564858

Inventors:

- Root D4, CH
Kristen W. CARLSON - Concord MA, US

Assignee:

Novocure GmbH - Root D4

International Classification:

A61N 1/40

Abstract:

A method of applying tumor treating fields to a subject's body includes: inducing a modulated electric field between a first transducer and a second transducer to treat a tumor of the subject's body, wherein the first transducer is located at a first location of the subject's body, and wherein the second transducer is located at a second location of the subject's body.

US Patent:

20230098801, Mar 30, 2023

Filed:

Sep 29, 2022

Appl. No.:

17/955656

Inventors:

- Root D4, CH
Kristen W. CARLSON - Concord MA, US

Assignee:

Novocure GmbH - Root D4

International Classification:

A61N 1/40

Abstract:

When treating a subject using alternating electric fields (e.g., using TTFields to treat a tumor), some subjects experience an electrosensation effect when the alternating electric field switches direction. This application describes a variety of approaches for reducing or eliminating this electrosensation. More specifically, during the course of treatment using alternating electric fields, additional electrical signals that reduce the subject's sensation are applied during each of a plurality of time intervals, and these additional electrical signals interact with the relevant nerve cells to reduce the sensations.

US Patent:

20230008689, Jan 12, 2023

Filed:

Jun 30, 2022

Appl. No.:

17/855712

Inventors:

Kristen William Carlson - Concord MA, US

International Classification:

G06N 5/02
G06N 7/00
G06N 5/04
H04L 9/32

Abstract:

A method to prove the safety (e.g., value-alignment) and other properties of artificial intelligence systems possessing general and/or super-human intelligence (together, AGI). The method uses probabilistic proofs in Interactive proof systems (IPS), in which a Verifier queries a computationally more powerful Prover and reduces the probability of the Prover deceiving the Verifier to any specified low probability (e.g., 2) IPS-based procedures can be used to test AGI behavior control systems that incorporate hard-coded ethics or valuelearning methods. An embodiment of the method, mapping the axioms and transformation rules of a behavior control system to a finite set of prime numbers, makes it possible to validate safe behavior via IPS number-theoretic methods. Other IPS embodiments can prove an unlimited number of AGI properties. Multi-prover IPS, program-checking IPS, and probabilistically checkable proofs extend the power of the paradigm. The method applies to value-alignment between future AGI generations of disparate power.

US Patent:

20210397998, Dec 23, 2021

Filed:

Jan 31, 2020

Appl. No.:

16/779574

Inventors:

Kristen William Carlson - Concord MA, US

International Classification:

G06N 5/04
H04L 9/32

Abstract:

in an artificial general intelligence system that is safe for humans, distributed ledger technology (DLT, ‘blockchain’) is integral to the methods to reduce the probability of hacking, provide an audit trail to cheaply detect and correct errors or identify components causing vulnerability or failure and replace them or shut them down remotely and/or automatically. Smart contracts based on DLT are necessary to address evolution of AI that will be too fast for human monitoring and intervention. Proposed methods of a safe AGI system: 1) Access to technology by market license. 2) Transparent ethics embodied in DLT. 3) Morality encrypted via DLT. 4) Behavior control structure with values (ethics) at roots. 5) Individual bar-code identification of all critical components. 6) Configuration Item (from business continuity/disaster recovery planning). 7) Identity verification secured via multi-factor authentication and DLT. 8) ‘Smart’ automated contracts based on DLT. 9) Decentralized applications—AI software code modules encrypted via DLT. 10) Audit trail of component usage stored via DLT. 11) Social ostracism (denial of societal resources) augmented by DLT petitions.