Robert S Wiener, 8617113 Courtside Lndg Dr, Cornelius, NC 28031

8365281, Jan 29, 2013

Nov 19, 2010

12/950432

Takaaki Tateishi - Kanagawa-ken, JP
Marco Pistoia - Hawthorne NY, US
Omer Tripp - Herzelyia, IL
Ryan Berg - Littleton MA, US
Robert Wiener - Littleton MA, US

International Business Machines Corporation - Armonk NY

G06F 11/00
G06F 11/30
H04L 29/06
H04L 9/32

726 22, 713166, 713180, 713188

An illegal pattern and a computer program having a method are received. The method has one or more return statements, and a number of basic blocks. The method is normalized so that each return statement of the target method relating to the illegal pattern returns a constant Boolean value. A first path condition and a second path condition for one or more corresponding paths is determined such that one or more corresponding basic blocks return a constant Boolean value of true for the first path condition and a constant Boolean value of false for the second path condition. An unsatisfiability of each path condition is determined using a monadic second-order logic (M2L) technique. Where the unsatisfiability of either path condition is false, the method is reported as not being a validator. Where the unsatisfiability of either path condition is true, the method is reported as being a validator.

4573351, Mar 4, 1986

Feb 13, 1984

6/579863

Robert P. Wiener - White Plains NY

Litton Systems, Inc. - Mount Vernon NY

G01C 2100

73178H

A hub moment sensor is disclosed for an aircraft having a horizontal rotor, a rotor fixed mast for supporting the rotor above the aircraft body, and a support ring formed on the aircraft body for attachment to the rotor fixed mast. The sensor comprises an annular flange formed on the end of the rotor fixed mast remote from the rotor, and coupling means for securing the flange to the support ring, the coupling means including stress measuring means, whereby the moments acting on the aircraft may be sensed.

4143546, Mar 13, 1979

Jan 23, 1978

5/871428

Robert P. Wiener - White Plains NY

Litton Systems, Inc. - Mount Vernon NY

E21B 4700

73151

The work done by a sucker rod pump is read through the use of a pendulum potentiometer mounted on the walking beam of the pump and a load sensing pin located at the lower end of the wire line which is suspended from the horsehead. Meters mounted in a portable reading instrument show the maximum rod pull, the minimum rod pull, the stroke of the pump, and the area of the force-versus-stroke diagram. A display of the shape of the force-versus-stroke diagram may be given through the use of an X-Y plotter.

4143852, Mar 13, 1979

Jan 7, 1976

5/647188

Robert Wiener - New York NY

B29C 104

249135

A reusable gasket for use in and in combination with a molding apparatus for casting articles of acrylic monomer plastic or the like. The gasket comprises a mold and casting release surface for contact with a cast plastic article and the two mold surfaces and includes a core of elastomeric material completely, but loosely encased in a tube impervious to passage therethrough by the material of the core and the material of the plastic article to be cast. The impervious tube may be of polytetrafluoroethylene, polyamide, polyethylene, or like material. The mold and casting release surface is preferably silver. A plurality of gasket members are placed in end-to-end relationship between a pair of plate members in a molding apparatus to define a casting cavity. A plug in the form of a wedge may be used to close a gap between adjacent ends of two gasket members through which casting material may be flowed into the cavity prior to closing the gap.

4525698, Jun 25, 1985

Feb 2, 1984

6/576216

Arnold S. Louis - Hastings-on-Hudson NY
Robert P. Wiener - White Plains NY

Litton Systems, Inc. - Mount Vernon NY

H01L 1010
H01C 1038

338 39

A pneumatically actuated pressure transducer has a wiper assembly which is movable from an off position through a range of positions wherein the transducer has a varying voltage output. The pressure transducer comprises a high thermal conductivity substrate which forms a base for a potentiometer element and a resistance path coated onto the substrate. The resistance path includes a first area of low resistance material and a second area of high resistance material which meet in a chevron shaped transition zone. An insulating material coated onto the substrate defines the off position for the transducer.