Abstract: A method and a device are described for verifying a mathematical proof which is formulated in a typed high-order language as a sequence of lines. From this sequence a sequence of sub-sequences is formed. These sub-sequences are successively assigned to verification processors; when all verification processes are engaged in the verification, the row of sub-sequences already having been assigned is uninterrupted. Each verification process produces a positive result, a negative result, or is trapped in an infinitely long verification process. As a result of the specific organization of the assignment, in the latter case one veritification process will always produce a negative verification. A fast procedure is achieved by assignment to a plurality of verification processes.
Abstract: An electronic cash register is provided which an operator can operate by inserting a card therein on which at least an operable period of time for which said register is operable has been recorded. The register can be operated when the present time is within the operable period of time recorded on the card.
Abstract: Disclosed is a system and method for measuring the emotional response of a subject to a chosen focus in order to reliably produce objective data representing that emotional response. The subject is put in contact with the chosen focus, and the emotional response of that subject to the chosen focus is determined in order to provide initial response emotions and the intensities of these emotions. The intensity of these same emotions without attention directed to the chosen focus is also evaluated in order to provide tabulated baseline intensities. Utilizing the initial response emotion intensities and the baseline emotion intensities, clarified emotion intensities are determined for use in a variety of decision making applications.
Abstract: The properties of the skin are quantitatively defined by inducing shear waves in the outermost layers of the skin. The response of the skin to these waves is measured in terms of changes in the phase and amplitude of the waves as they propagate through the skin. From such measurements, various relationships of the viscoelastic properties of the skin are determined. These viscoelastic properties are expressed in terms of the viscosity of each of the stratum corneum and epidermal layers as well as the elasticity of the stratum corneum. These quantitative parameters can then be used to generate various moduli which can be displayed in a manner that enables changes in such properties to be readily perceived.
Abstract: A method for encoding cash tills for the purpose of automating cash till reconciliation and operator sign-in. Encoding is done by use of a series of notches or apertures on the back of each till and reading the notches or apertures (go - no go) with switch-type sensors to identify the till and/or the operator. The applications include (1) more than one cash till per operator or (2) more than one operator per cash till, (3) identification of the cash till when placed in operation, or (4) identification of the cash till with each operation thereof. Reconciliation may occur at any desired interval of time such as daily, weekly or monthly--dependent upon the capacity of the cash till or the amount of activity.
Abstract: A control system for a heating appliance, such as a microwave oven, includes a display and electronic circuitry for controlling operation of the appliance and the display. One of the control operations involves the timing of an interval, such as a cooking interval. Another such operation involves the selection of a power level. The display and a memory associated with the circuitry include predetermined dedicated time intervals and/or power level values depicted thereon and stored therein, respectively. Appropriate data-entry keys allow for the selection of these time and/or power values by slewing the display and thus the memory through the dedicated values. Separate keys may be provided for respectively incrementing and decrementing time and power.