Inventors list

Assignees list

Classification tree browser

Top 100 Inventors

Top 100 Assignees


Mehra

Krishna Mehra, Bangalore IN

Patent application numberDescriptionPublished
20090006463OBJECT RELATIONAL MAP VERIFICATION SYSTEM - An object relational map verification system is described. In some embodiments, the object relational map verification system can verify object relational maps and identify counterexamples when an object relational map cannot be verified. The object relational map verification system can verify an object relational map by (1) receiving objects, database schemas, query views, and update views; (2) generating first order logic formulae corresponding to the received objects, database schemas, query views, and update views; and (3) proving theorems indicated by the generated first order logic formulae. When the theorems are proved, the object relational map is verified. In some embodiments, the object relational map verification system can also generate models illustrating counterexamples when the theorem cannot be proved. The counterexamples provide data that the object relational map does not consistently store and then retrieve.01-01-2009

Krishna Kumar Mehra, Kolkata IN

Patent application numberDescriptionPublished
20100088546STATISTICAL DEBUGGING USING PATHS AND ADAPTIVE PROFILING - The method executes the application and if there are no errors from the execution of the application, the method ends. If errors exist, the errors are collected from the execution of the application in an error report. Labeled application paths are created by adding a unique label to individual application paths where the application paths are individual loops and individual functions in the application. An analysis is created of the labeled application paths by executing the application with the labeled paths, reviewing the error report for data related to the labels and if an error is sufficiently related to application paths with labels, storing the path that created the errors in a report. If an error is not sufficient related to the application path with labels, the method is repeated by the creating the analysis again by substituting additional application paths for the application paths.04-08-2010
20120010931 MOBILE PHONE BASED MOBILE CUSTOMER RELATIONSHIP LOYALTY METHODOLOGY AND SERVICING SYSTEM WITH INSTANT ANALYTICS FEATURES THEREOF - A mobile phone based mobile customer relationship and loyalty servicing system and method thereof which involves media such as SMS, e-mail, instant messenger or a notification to a mobile application or website as well to identify and communicate with the customer in a customer friendly manner. It includes a unique code based operation and special feature of instant analytics for the customer, points/voucher validation and redemption, incentivized referral program, integrated campaigns and the like right at the POS terminal at client outlet enabling real time integration, analytics and communication. The system involving Mobile phones/like mobile operative devices of the end users/customers, at least one client component at the retail/sales outlets and a server component comprising an MCRLP main server system for operative connection to said one client component for customer relationship and loyalty servicing. The Customer interacts with the system and his behavior is modeled.01-12-2012

Krishna Kumar Mehra, Bangalore IN

Patent application numberDescriptionPublished
20090276763Bounding Resource Consumption Using Abstract Interpretation - Bounding resource consumption of code using abstract interpretation includes a static analysis to estimate a code's resource consumption in terms of units of resources utilized at any point during execution, expressed as a function of its scalar inputs. An instrumentation mechanism and an abstract interpretation mechanism are employed to compute bounds on the code resource consumption. The instrumentation mechanism includes incorporating one or more counter variables in the source code to count the number of loop iterations and recursive procedure call invocations. The abstract interpretation mechanism includes computing invariants on the instrumented counter variables and scalar program variables to obtain bounds on the number of loop iterations and recursive procedure call invocations, which are then composed together to obtain resource bounds for the entire program.11-05-2009
20090319608AUTOMATED TASK CENTERED COLLABORATION - An automated task centered collaboration technique is described that significantly lowers the technological entry barrier for the development and deployment of a broad class of collaborative applications, which are termed Task Centered Collaboration (TCC) applications. TCC applications facilitate the processing of a large number of work items, or tasks, by people working independently or in small, synchronously collaborating groups. The technique also provides a mechanism for the study of computer mediated communication and human-computer interactions for this class of applications. The technique creates an abstraction applicable to the broad class of TCC applications, which enables the factoring out of significant portions of the application into a common infrastructure. It provides a programming model that enables a developer to focus on the User Interface and logic associated with operations on a single task, without being exposed to issues such as security, authentication, binding users to activities, synchronization, concurrency and persisting data.12-24-2009
20090327809DOMAIN-SPECIFIC GUIDANCE SERVICE FOR SOFTWARE DEVELOPMENT - During software development, both before and after release, information may be collected and stored that may provide insight to developers as a generalized service. For example, data from past debugging sessions, source code in various repositories, bug repositories, discussion groups, and various documents may provide relevant information for software developers to fix current problems when this information is coherently matched with the problem. Using various sources, a system may mine the stored data to give the current developer information related to past code development, and reveal why the code changed throughout previous development. Using sophisticated analyses to identify similar code patterns across multiple large software projects, discovering patterns in normal and abnormal uses of particular software interfaces, and employing other mining techniques, a developer may find domain-specific information to facilitate ongoing software development.12-31-2009
20100088684Calculating Resource Bounds Of Programs Manipulating Recursive Data Structures And Collections - Bounding resource consumption of code that processes recursive data structures and collections includes making use of quantitative functions (based on user input) that are associated with a tuple of data-structures and whose semantics is specified by describing the effect of various data-structure methods on the relevant quantitative functions. Counter variables are incorporated into source code to count loop iterations (and number of recursive procedure call invocations). Relevant quantitative functions are incorporated into the source code to allow computation of invariants (and hence bounds) on the incorporated counter variables in terms of the quantitative functions.04-08-2010

Mahendra S. Mehra, Bangalore IN

Patent application numberDescriptionPublished
20110200432REVERSE FLOW TOLERANT SPRING ACTIVATED BRUSH SEAL - A reverse flow tolerant brush seal arrangement for restricting the transfer of a pressurized fluid between a first and a second chamber along a moving shaft. Opposing backing plates are provided to stiffen brush bristle alignment on the moving shaft. Differential pressure between the chambers is aided by spring biasing to seat axial movement of a sliding brush seal against one of the opposing backing plates for stiffening to maintain a design clearance with a shaft being sealed.08-18-2011

Mahendra Singh Mehra, Bangalore IN

Patent application numberDescriptionPublished
20110214426TURBINE SYSTEM INCLUDING VALVE FOR LEAK OFF LINE FOR CONTROLLING SEAL STEAM FLOW - A turbine system includes a valve coupled to a leak off line from a leak packing of a first turbine, the valve controlling a first steam flow used to maintain a constant self-sustaining sealing pressure to a second turbine across numerous loading conditions. A related method is also provided.09-08-2011
20110247333DOUBLE FLOW LOW-PRESSURE STEAM TURBINE - A double flow low-pressure (LP) steam turbine with an LP section that can be engaged and disengaged from a drive train is provided, as are methods for its use. In one embodiment, the invention provides a steam turbine comprising: a high pressure (HP) section; an intermediate pressure (IP) section adjacent the HP section; a first low pressure (LP) section; a second LP section; a crossover pipe connecting the IP section to the first LP section and the second LP section; a drive train extending through the HP section, the IP section, the first LP section, and the second LP section; a device for engaging and disengaging the second LP section from the drive train; a valve for alternately opening and closing a portion of the crossover pipe connecting the IP section to the second LP section; and at least one extraction port for extracting a quantity of steam from at least one of the following: the crossover pipe or an exhaust of the IP section.10-13-2011
20120027582FLOATING PACKING RING ASSEMBLY - A packing ring assembly for use between a rotating and a stationary component in a turbomachine is disclosed, the assembly including an arcuate packing ring casing, an arcuate packing ring segment positioned at least partially within the packing ring casing, and a resistance component configured to allow movement of the packing ring segment in an axial direction, relative to the rotating component, between a first and second position in response to a pressure condition. In one embodiment, the resistance component allows movement when the pressure condition comprises approximately 30% of the turbomachine load. Also disclosed is an altered surface topography of the rotating component to accommodate variable length teeth extending from the packing ring segment, such that when the packing ring segment is in the first position, a clearance between the packing ring segment and the rotating component is larger than when the packing ring segment is in the second position.02-02-2012

Mahendra Singh Mehra, Bangalore Karnataka IN

Patent application numberDescriptionPublished
20110236177Steam Seal System - The present application provides a variable steam seal system for use with a steam turbine. The variable steam seal system may include a seal steam header, a first pressure section, a first pressure seal positioned about the first pressure section, and a flow path through the first pressure seal and extending to the seal steam header. The first pressure seal may include a moveable seal packing ring for varying the flow path through the first pressure seal to the seal steam header.09-29-2011

Niven Mehra, Utrecht NL

Patent application numberDescriptionPublished
20090098563Diagnosis of (a risk of) disease and monitoring of therapy - Provided are methods for typing a sample of an individual suffering from, or at risk of suffering from, a disease and a method for monitoring treatment of an individual suffering from a disease comprising determining whether a sample from the individual comprises an expression product of AC133 in an amount that is indicative for the disease or for the treatment thereof. That amount may be quantified and compared with a reference value. In one aspect, the amount is compared with an amount of the expression product present in a sample that was obtained from the individual before treatment. Use of a nucleic acid molecule comprising at least part of a sequence of AC133, or an analogue thereof, for monitoring a treatment of an individual suffering from a disease is also provided, as well as a diagnostic kit comprising such nucleic acid molecule.04-16-2009

Rajesh Mehra, Jaipur IN

Patent application numberDescriptionPublished
20120056815Linguistic Script Text Input Mechanism - The described systems and methods relate to a user friendly, efficient and easy to use keyboard and/or keypad device for entering characters of a script, wherein the characters, diacritic marks, and extended sets thereof are assigned to one or more phonetically similar English alphabet character keys of existing keyboards/keypads. In an embodiment, to access assigned phonetically similar characters of a script or diacritic marks or extended sets thereof through the existing keyboard and/or keypad device, the desired and corresponding English alphabet character key is multi-tapped to sequentially generate and display all assigned phonetically similar characters of a linguistic script, which can be then selected based on desired text to be input.03-08-2012

Sumat Mehra, Kanput IN

Patent application numberDescriptionPublished
20100146165REMOTE CONTROL APPARATUS FOR CONSUMER ELECTRONIC APPLIANCES - An apparatus for the remote wireless control of a consumer electronic audio visual appliance such as a TV set, and/or for internet uploading, includes a remote control handset and a wireless receiver for connection to the appliance. The remote control unit is adapted to transmit audio and/or visual data (A/V data) and control codes to the receiver. The receiver is responsive to the A/V data and control codes to control the appliance to play and/or display the A/V data. The remote control unit includes a reader for a storage medium for A/V data, or a cable or wireless interface to an A/V acquisition device such as digital video or digital still camera or digital music player or recorder.06-10-2010