Membership
Tour
Register
Log in
Cristina CORNELIO
Follow
Person
White Plains, NY, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Capturing the global structure of logical formulae with graph long...
Patent number
11,741,375
Issue date
Aug 29, 2023
International Business Machines Corporation
Maxwell Crouse
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Experimental design for symbolic model discovery
Patent number
11,657,194
Issue date
May 23, 2023
International Business Machines Corporation
Lior Horesh
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Problem manipulators for language-independent computerized reasoning
Patent number
11,544,597
Issue date
Jan 3, 2023
International Business Machines Corporation
Cristina Cornelio
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Automatic transformation of complex tables in documents into comput...
Patent number
11,308,083
Issue date
Apr 19, 2022
International Business Machines Corporation
Mustafa Canim
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Automatic transformation of complex tables in documents into comput...
Patent number
11,194,798
Issue date
Dec 7, 2021
International Business Machines Corporation
Mustafa Canim
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Automatic transformation of complex tables in documents into comput...
Patent number
11,194,797
Issue date
Dec 7, 2021
International Business Machines Corporation
Mustafa Canim
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
PROBLEM MANIPULATORS FOR LANGUAGE-INDEPENDENT COMPUTERIZED REASONING
Publication number
20210342710
Publication date
Nov 4, 2021
International Business Machines Corporation
Cristina Cornelio
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Experimental Design for Symbolic Model Discovery
Publication number
20210334432
Publication date
Oct 28, 2021
International Business Machines Corporation
Lior Horesh
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
CAPTURING THE GLOBAL STRUCTURE OF LOGICAL FORMULAE WITH GRAPH LONG...
Publication number
20210150373
Publication date
May 20, 2021
International Business Machines Corporation
Maxwell Crouse
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
AUTOMATIC TRANSFORMATION OF COMPLEX TABLES IN DOCUMENTS INTO COMPUT...
Publication number
20200334249
Publication date
Oct 22, 2020
International Business Machines Corporation
Mustafa CANIM
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
AUTOMATIC TRANSFORMATION OF COMPLEX TABLES IN DOCUMENTS INTO COMPUT...
Publication number
20200334250
Publication date
Oct 22, 2020
International Business Machines Corporation
Mustafa CANIM
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
AUTOMATIC TRANSFORMATION OF COMPLEX TABLES IN DOCUMENTS INTO COMPUT...
Publication number
20200334251
Publication date
Oct 22, 2020
International Business Machines Corporation
Mustafa CANIM
G06 - COMPUTING CALCULATING COUNTING