Gradus (Geert) Janssen

Follow

Person

Putnam Valley, NY, US

People

Patents Grantslast 30 patents

Information Patent Grant
Neural network training using a data flow graph and dynamic memory...
- Patent number 11,521,062
- Issue date Dec 6, 2022
- International Business Machines Corporation
- Gradus Janssen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Predictive analytics for failure detection
- Patent number 11,340,977
- Issue date May 24, 2022
- International Business Machines Corporation
- Emrah Acar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Predictive analytics for failure detection
- Patent number 11,327,825
- Issue date May 10, 2022
- International Business Machines Corporation
- Emrah Acar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Solving satisfiability problems through search
- Patent number 9,665,538
- Issue date May 30, 2017
- International Business Machines Corporation
- Gradus Janssen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Circuit verification using computational algebraic geometry
- Patent number 8,640,065
- Issue date Jan 28, 2014
- International Business Machines Corporation
- Gradus (Geert) Janssen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Design of a pointerless BDD package
- Patent number 6,993,732
- Issue date Jan 31, 2006
- International Business Machines Corporation
- Gradus Janssen
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
NEURAL NETWORK TRAINING USING A DATA FLOW GRAPH AND DYNAMIC MEMORY...
- Publication number 20210174190
- Publication date Jun 10, 2021
- International Business Machines Corporation
- Gradus Janssen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PREDICTIVE ANALYTICS FOR FAILURE DETECTION
- Publication number 20180197091
- Publication date Jul 12, 2018
- International Business Machines Corporation
- Emrah Acar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PREDICTIVE ANALYTICS FOR FAILURE DETECTION
- Publication number 20180197092
- Publication date Jul 12, 2018
- International Business Machines Corporation
- Emrah Acar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOLVING SATISFIABILITY PROBLEMS THROUGH SEARCH
- Publication number 20150186505
- Publication date Jul 2, 2015
- International Business Machines Corporation
- GRADUS JANSSEN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CIRCUIT VERIFICATION USING COMPUTATIONAL ALGEBRAIC GEOMETRY
- Publication number 20130198705
- Publication date Aug 1, 2013
- International Business Machines Corporation
- Gradus (Geert) Janssen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Design of a pointerless BDD package
- Publication number 20020174405
- Publication date Nov 21, 2002
- IBM Corporation
- Gradus Janssen
- G06 - COMPUTING CALCULATING COUNTING