44 results about "Logic in computer science" patented technology

A controller for providing advertisements to a vehicle or a wearable housing, and a computer readable medium, when executed by one or more processors, performs an operation to provide an audio advertisement to the vehicle or wearable housing. A first signal input receives a first camera signal, a second signal input receives a second camera signal, and at least one signal output transmits to at least one acoustic transducer, which provides the audio advertisement to the user. The computer logic that may be arranged within the controller determines whether the direction of the captured images of the advertisements and the direction of the user's eye gaze correspond to one another, and, if so, the computer logic outputs the audio advertisement to the audio transducer.

An automated system and method for authenticating entities or individuals engaging in automated or electronic transactions or activities such as financial transactions, accessing computer applications, computer software, data networks or other automated or electronic devices requiring identity verification is provided. A unique Personal Identity Value is computed and stored in an Identity Register for the entity or individual and may be used for a variety of applications including recognizing incidents of identity theft. This Personal Identity Value is based on one or more computer logic resources that incorporate the relationship among a variety of identification information elements and parameters associated with the entity or individual, such as the entity's or individual's wireless device location, the entity's or individual's home location, other associated locations, automated activities engaged in and applications accessed.

Disclosed is an apparatus incorporating hardware based logic and a predetermined default list of software affecting responses to be taken in connection with temperatures sensed by thermal sensors checking the temperature of portions of computer logic. At the time application software is loaded, the software can modify the default response list. The list of responses to be taken and the over temperature conditions at which they are to be activated are stored in hardware directly accessible by hardware based thermal sensor monitoring logic for direct control of the hardware. The control can alter conditions such as clock frequency, stopping use of application software, interrupting OS functionality, removing power from components and so forth.

The invention provides a reconfigurable triple-redundancy computer system and a configuration degradation method thereof and belongs to the field of computers. After a triple-redundancy control computer system is power on, the system works in a hot standby redundancy manner; when any control computer goes wrong, the faulting computer is reset or power off, recoverable faults of one computer are eliminated; the restarted faulting computer acquires current working state information of the other two computers to complete reconfiguration; when multiple faults occur in one computer, a power failure operation is carried out on the computer; the remaining two computers at normal operation run in master-slave working modes of the two computers; when a host of the two computers goes wrong, the standby computer seizes the right of communication for an external interface and works in a standalone mode. Rapid data interaction is carried out on each control computer by use of three parallel storage data buffer areas, and the faulting computer and the working computer are reliably determined by use of two judgment methods. The computer logic is simple to realize, all primary faults and part of secondary faults of the computers can be solved, the reliability of the computer system is improved and an engineering application is facilitated.

Methods and systems for routing payment transactions electronically involve interrogating by computer logic each payment transaction received by a payments interface processor to identify a payment destination and a payment source and to determine, according to pre-defined parameters, whether the payment transaction is eligible for processing via an internal payment transaction processor of the financial institution that minimizes processing costs. Eligible payment transactions may be routed, for example, to an internal debit or credit card processor or ACH processor, and ineligible payment transactions may be routed to external card processing networks.

We describe an integrated waveguide device that creates entanglement between a sequence of periodically spaced (in time) photons in a single input and output mode. The device consists of a polarization maintaining integrated waveguide chip containing a number of delay lines, integrated multimode interferometers with the potential for rapid switching, a polarization controller and off chip computer logic and timing. The device is capable of creating a diverse array of outputs such as linear cluster states and ring cluster states in a single output mode.

A GNSS receiver and the associated method, for calculating an unbiased position and time measurement from a plurality of satellite positioning signals, the receiver comprising:

• • a plurality of circuits configured to receive positioning signals from a plurality of satellites in GNSS constellations,
  • a plurality of first and second signal processing channels configured for processing a first selection of said positioning signals and determining associated first pseudo ranges,
  • a computer logic,
• wherein:
  • the computer logic is configured to calculate the unbiased position and time measurement from pseudo ranges being determined from positioning signals originating from distinct satellites.

A GNSS receiver further comprising a second computer logic configured to calculate a second unbiased position and time from the first position and time, and the second signal processing signals.

An apparatus providing an integrated waveguide device that creates entanglement between a symmetrical sequence of periodically spaced (in time) photons in a single input and output mode. The invention comprises a polarization maintaining integrated waveguide chip containing a number of delay lines, integrated multimode interferometers with the potential for rapid switching, a polarization controller and off chip computer logic and timing.

A method includes de-identifying a data table containing protected health information by determining, based on a mappings file, that a first column of the data table is associated with a first data type, accessing each value of the first column, and, for each respective accessed value, automatically generating a de-identified value by applying one or more computer logic instructions associated with de-identification of the first data type to the respective accessed value to result in a respective de-identified value, and saving the respective de-identified value back to the data table in place of the respective accessed value; and utilizing the de-identified data table to test a computer software application.

Disclosed are a device and a method for preventing emulsion channeling between cold rolling unit frames. A liquid level meter and a concentration meter are arranged in an emulsion main box of the tail frame; the liquid level meter and the concentration meter are connected with a liquid level monitoring module and a concentration monitoring module of a computer logic system respectively; a pipeline which is connected between the emulsion main box of the tail frame and an emulsion main box of the previous frame is provided with a backflow pump; the computer logic system is used for performing real-time monitoring on the liquid level and the concentration of emulsion located in the emulsion main box of the tail frame and performing real-time deviation treatment on the liquid level and the concentration. According to the device and the method for preventing the emulsion channeling between the cold rolling unit frames, the problem of the emulsion channeling between the cold rolling unit frames especially the emulsion channeling between the cold rolling unit frames under the multi-concentration rolling condition is solved, the quality control capability of high surface quality requirements of products is ensured, the cost is reduced, the stability of the production process is improved, and the device and the method are suitable for the field for preventing the emulsion channeling between the various cold rolling unit frames.

Pertinent natural language authority documents are translated into corresponding statements in a system of predicate logic which statements are encoded into relations in a programming language. The authority documents are indexed into an electronic database to facilitate subsequent searching. User-entered query terms and/or query terms derived from pertinent prose are obtained, specifying at least one of a tax problem and an accounting problem; based on same, the electronic database is searched to locate applicable authority(ies). A comparison and inference engine executing on at least one hardware processor is activated to apply applicable relations in the programming language to a problem ascertainable from the query, to obtain a conclusion by applying derivation rules in the system of predicate logic. The conclusion is presented to a decision maker.

The present invention is a system and method for subject matter experts (SME) to develop a computer-based Question and Answer (QA) system for their own instructional materials. The authoring system is made up of third party components that have been augmented with templates comprising content, component connections, and computer logic needed to develop a computer-based QA system for instructional materials. The invention employs a method to guide SMEs in using the authoring system to create a computer-based QA system. The resulting QA system uses learning resources to answer learner questions posed in natural language that relate to the learning objectives of the instructional materials, the type of knowledge the learner is seeking, and the type of learner to identify the intent behind learner questions. The authoring system and method greatly reduces the work of developing a computer-based QA system and improves its accuracy in answering questions about instructional materials.

A method, apparatus and computer-readable medium for managing visual representations of relationships between active graphical areas such as text fields in a GUI and underlying software objects is presented. In one embodiment, the method includes the steps of receiving, by computer logic, a selection of an object graphical depiction of a data source software object, wherein the data source software object supports a field that is represented by a field graphical depiction in a Graphical User Interface (GUI); and in response to receiving the selection of the object graphical depiction, altering a physical appearance of the field graphical depiction, wherein altering the physical appearance of the field graphical depiction illustrates, in the GUI, a logical relationship between the data source software object and the field.