Inventor

JAIN JAWAHAR

US102 patents

⚠️ This page may combine multiple inventors who share the name “JAIN JAWAHAR”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

JAIN JAWAHAR

FUJITSU LTD

Method for verification of combinational circuits using a filtering oriented approach

Method for verifying and representing hardware by decomposition and partitioning

Method for verifying and representing hardware by decomposition and partitioning

Topology-based computer-aided design system for digital circuits and method thereof

Method of verifying and representing hardware by decomposition and partitioning

OBDD variable ordering using sampling based schemes

Circuit verification using multiple engines

Determining one or more reachable states in a circuit using distributed computing and one or more partitioned data structures

Multiple error and fault diagnosis based on Xlists

Verification of sequential circuits with same state encoding

Circuit verification

Multithreaded reachability

Validating one or more circuits using one of more grids

Performing latch mapping of sequential circuits

Method for verifying and representing hardware by decomposition and partitioning

Directed falsification of a circuit

Reachability-based verification of a circuit using one or more multiply rooted binary decision diagrams

System and method for building a binary decision diagram associated with a target circuit

JAIN JAWAHAR

Continuous monitoring of stress using environmental data

Triggering user queries based on sensor inputs

Data aggregation platform

Continuous monitoring of stress using accelerometer data

Continuous monitoring of stress using self-reported psychological or behavioral data

Calculating and monitoring the efficacy of stress-related therapies

Continuous monitoring of stress using a stress profile created by renal doppler sonography

Creating a personalized stress profile using renal doppler sonography

Identifying an event occurrence from sensor data streams

Graded escalation based triage

SAMSUNG ELECTRONICS CO LTD

Determining cardiovascular features using camera-based sensing

Determining a health status for a user

Image-analysis for assessing heart failure

Sensor assisted evaluation of health and rehabilitation

Determining health markers using portable devices

Determining baseline contexts and stress coping capacity

Performance of biological measurements in the presence of noise

Continuous stress measurement with built-in alarm fatigue reduction features

MARVIT DAVID L

Selecting tags for a document by analyzing paragraphs of the document

Automatic generation of ontologies using word affinities

Determining a document specificity

Refining a search space in response to user input

Modeling topics using statistical distributions

Recommending terms to specify ontology space

Automatically generating a hierarchy of terms

Identifying clusters of words according to word affinities

STERGIOU STERGIOS

Method and system for processing access control lists using a hashing scheme

Combining medical binary decision diagrams to determine data correlations

Range queries in binary decision diagrams

ADLER B THOMAS

Calculating and monitoring a composite stress index

Recording and analyzing data on a 3D avatar

FIJUTSU LIMITED

Method for verification of combinational circuits using a filtering oriented approach