Abstract: A system and method for updating and correcting facts that receives proposed values for facts from users and determines a correctness score which is used to automatically accept or reject the proposed values.

Abstract: A computer implemented method for certifying robustness of image classification in a neural network is provided. The method includes initializing a neural network model. The neural network model includes a problem space and a decision boundary. A processor receives a data set of images, image labels, and a perturbation schedule. Images are drawn from the data set in the problem space. A distance from the decision boundary is determined for the images in the problem space. A re-weighting value is applied to the images. A modified perturbation magnitude is applied to the images. A total loss function for the images in the problem space is determined using the re-weighting value. A confidence level of the classification of the images in the data set is evaluated for certifiable robustness.

Abstract: A certification method, system, and computer program product include certifying an adversarial robustness of a convolutional neural network by deriving an analytic solution for a neural network output using an efficient upper bound and an efficient lower bound on an activation function and applying the analytic solution in computing a certified robustness.

Abstract: An end effector for engaging flexible packaging materials includes a frame, along with a first and second wheel mounted for rotation with respect to the frame. The first wheel and the second wheel are mounted to the frame relative to each other so that the outer surfaces of the two wheels are positioned opposite of each other. The first wheel and the second wheel can be driven in opposing directions to effectively define a roller intake which can be used to draw the flexible packaging materials of a target parcel between the first wheel and the second wheel. The end effector of the present invention can be combined with a robot to provide an improved system for engaging the flexible packaging materials of a parcel.

Abstract: A plurality of stimulations is transmitted to tissue or other material using one or more transmitters. The plurality of signals associated with the excited tissue and the transmitted stimulations are measured. The measured signals are processed to generate field-related quantities, such as B1+ and/or MR signal maps. Field-related quantities are generated also from simulation, by calculating the one or more incident fields from a simulator model of the one or more transmitters and assuming a given distribution of electrical properties in the tissue or other material. Field-related quantities generated from simulation and experimental procedures are compared to each other. The assumed electrical properties distribution is updated and the procedure is repeated iteratively until the difference between simulated and experimental field-related quantities is smaller than a threshold.

Abstract: An end effector for engaging flexible packaging materials includes a frame, along with a first and second wheel mounted for rotation with respect to the frame. The first wheel and the second wheel are mounted to the frame relative to each other so that the outer surfaces of the two wheels are positioned opposite of each other. The first wheel and the second wheel can be driven in opposing directions to effectively define a roller intake which can be used to draw the flexible packaging materials of a target parcel between the first wheel and the second wheel. The end effector of the present invention can be combined with a robot to provide an improved system for engaging the flexible packaging materials of a parcel.

Abstract: A certification method, system, and computer program product include certifying an adversarial robustness of a convolutional neural network by deriving an analytic solution for a neural network output using an efficient upper bound and an efficient lower bound on an activation function and applying the analytic solution in computing a certified robustness.

Abstract: A system and method for measuring a hydration level in human tissue. The system includes a coaxial probe have a first end configured to be in contract with human tissue and configured to be emit and receive signals associated with a spectroscopic technique and having a second end adapted to be coupled to transmit and receive circuitry. The system further includes a patch or other means coupled to the coaxial probe and configured to be adhered to human tissue so as to provide a force upon at least a portion of the coaxial probe configured to be in contact with human tissue. In embodiments, the system may further include means coupled to receive signals from the coaxial probe, for determining an amount of liquid within a portion of human tissue in contact with the first end of the probe.

Abstract: A cleanable reversible socket and driver for a hex head fastener having a driver shank with a hex shaped shaft, or otherwise splined, having a tool mounting end and a socket mounting end and a collar therebetween. A cleanable reversible socket is provided having a hex, or otherwise splined, passage therethrough rotationally lockable with the similarly shaped driver shank shaft. The socket is removably, nonrotatably mountable onto the driver shank shaft at the socket mounting end up to the collar having two different sized hex socket ends. A magnet on the socket mounting end of the driver shank is to be located at a bottom of one of the two hex socket ends when the socket is mounted on the driver shank to hold the hex head fastener in one of the socket ends.

Abstract: A method of determining a decoupling matrix of a decoupling system for an array of coils of a parallel transmission magnetic resonance imaging (MRI) system includes obtaining impedance matrix data for the array of coils without the decoupling system, determining, based on the impedance matrix data for the array of coils, an objective function representative of deviation from a decoupled operating condition for the array of coils in which the array of coils are decoupled via the decoupling system, and defining, with a processor, a decoupling matrix representative of a set of impedances of the decoupling system with an iterative procedure that optimizes elements of the decoupling matrix to minimize the objective function and reach the decoupled operating condition.

Abstract: A cleanable reversible socket and driver for a hex head fastener having a driver shank with a hex shaped shaft, or otherwise splined, having a tool mounting end and a socket mounting end and a collar therebetween. A cleanable reversible socket is provided having a hex, or otherwise splined, passage therethrough rotationally lockable with the similarly shaped driver shank shaft. The socket is removably, nonrotatably mountable onto the driver shank shaft at the socket mounting end up to the collar having two different sized hex socket ends. A magnet on the socket mounting end of the driver shank is to be located at a bottom of one of the two hex socket ends when the socket is mounted on the driver shank to hold the hex head fastener in one of the socket ends.

Abstract: A magnetic resonance imaging (MRI) system includes a plurality of transmitters to generate a parallel transmission radio frequency (RF) pulse, an array of coils coupled to the plurality of transmitters to apply the parallel transmission RF pulse to a subject, and a decoupling system connected to the plurality of transmitters and the array of coils. The decoupling system includes a plurality of hybrid couplers, each hybrid coupler of the plurality of hybrid couplers being coupled to a respective pair of the plurality of transmitters and to a respective pair of the array of coils. The plurality of hybrid couplers are configured to diagonalize an impedance matrix of the plurality of coils.

Abstract: The present invention is a folding bicycle that folds along a vertical axis into a compact, free standing unit. Specifically, the present invention comprises a front frame assembly and a rear frame assembly connected at a hinge point. The method of folding the bicycle is quick and easy, resulting in a folded position wherein the front and rear wheels are near adjacent. An optional bushing assembly at the hinge point laterally separates the front and rear frame assemblies as the bicycle folds. The folded bicycle can be easily rolled while folded to another location. When stationary, the seat post and saddle act as a floor rest to keep the folded bicycle balanced in its upright position. The folding mechanism can be locked or unlocked using a remote wireless device, such as a mobile phone.

Abstract: A cleanable reversible socket and driver for a hex head fastener having a driver shank with a hex shaped shaft having a tool mounting end and a socket mounting end and a collar therebetween. A cleanable reversible socket is provided having a hex passage therethrough rotationally lockable with the driver shank hex shaped shaft, The socket is removably, nonrotatably mountable onto the driver shank shaft at the socket mounting end up to the collar having two different sized hex socket ends. A magnet on the socket mounting end of the driver shank is to be located at a bottom of one of the two hex socket ends when the socket is mounted on the driver shank to hold the hex head fastener in one of the socket ends.

Abstract: A promotion server is provided including a promotion processing circuitry configured to receive transaction data from a point-of-sale device (POS) for a fueling environment. The POS is configured to facilitate a sale of goods or services and includes POS processing circuitry configured to receive the transaction data indicative of a good or service. The promotion processing circuitry is further configured to determine promotional data associated with one or more promotions based on the transaction data and cause display data associated with the one or more promotions to be transmitted to a display to be displayed to a customer. Only the promotion server performs the determination of promotional data.

Abstract: A cleanable reversible socket and driver for a hex head fastener having a driver shank with a hex shaped shaft, or otherwise splined, having a tool mounting end and a socket mounting end and a collar therebetween. A cleanable reversible socket is provided having a hex, or otherwise splined, passage therethrough rotationally lockable with the similarly shaped driver shank shaft. The socket is removably, nonrotatably mountable onto the driver shank shaft at the socket mounting end up to the collar having two different sized hex socket ends. A magnet on the socket mounting end of the driver shank is to be located at a bottom of one of the two hex socket ends when the socket is mounted on the driver shank to hold the hex head fastener in one of the socket ends.