Abstract: A method and a system for ride-sharing are provided. A share-ride request including source and destination locations is received from a passenger device of a first passenger. A first score is determined based on at least one of historical or real-time signals associated with one or more routes including the source and destination locations. The first score indicates matching of the first passenger with at least a second passenger for the share-ride. A second score is determined based on a count of vehicles available for the share-ride. A share-ride discount for the share-ride is determined based on at least the first and second scores. The vehicle selected from the available vehicles is allocated to the first passenger for the share-ride. The selected vehicle is allocated based on a confirmation of a share-ride fare, including at least the share-ride discount, for the share-ride provided by the first passenger.

Abstract: Methods, systems, and computer program products for secure distance computations are provided herein.

Abstract: Disclosed herein are representative embodiments of methods, apparatus, and systems for performing formal verification of circuit descriptions. In certain example embodiments, the disclosed technology involves the formal verification of a register-transfer-level (“RTL”) circuit description produced from a high level synthesis tool (e.g., a C++ or SystemC synthesis tool) relative to the original high level code from which the RTL description was synthesized (e.g., the original C++ or SystemC description) using sub-functional-call-level transactions.

Abstract: One embodiment provides a method, including: receiving, at a data service provider, a request from an information purchaser, wherein the request comprises (i) a budget identifying an amount of money to be spent on information and (ii) an objective function identifying a type of information that the information purchaser is requesting; accessing at least a subset of at least one information set of at least one information seller, wherein each of the at least one information sets comprises an information set available for purchase from the information seller; identifying whether at least one accessed information set that fulfills the received request; and providing, if at least one accessed information set fulfills the received request, a recommendation of an information set for purchase by the information purchaser, wherein the provided recommendation comprises at least one of the identified information sets that fulfills the received request.

Abstract: A margin extension device and method are disclosed herein. The margin extension device can be used for ablating one or several cancer cells and can include a contact member and a plurality of electrodes. The contact member can be electrically conductive, and can electrically connect the electrodes. The margin extension device can further include one or several leads that connect the electrodes of the margin extension device to a treatment controller. The treatment controller can include a pulse generator that can generate one or several electrical pulses that generate one or several electrical fields in tissue proximate to the margin extension device.

Abstract: Methods, systems, and computer program products for enabling distance-based algorithms on data encrypted using a 2DNF homomorphic encryption scheme with inefficient decryption are provided herein. A computer-implemented method includes generating multiple versions of a data point, wherein each of the multiple versions of the data point comprises a distinct value corresponding to a distinct Euclidean space; encrypting each of the multiple versions of the data point; storing the multiple encrypted versions of the data point across multiple databases; and executing one or more distance-based algorithms on the multiple encrypted versions of the data point by using a finite decryption table across the multiple databases, wherein the finite decryption table stores a set of plaintext-ciphertext mappings between (i) multiple plaintext values and (ii) multiple encrypted ciphertext values corresponding to the multiple plaintext values.

Abstract: A knitted component may include a knit element with a first surface and an opposite second surface. An inlaid yarn may extend through the knit element and between the first surface and the second surface. A secured area where the first surface and the second surfaces are secured together may be included, where the inlaid yarn is secured by loops forming the first surface and the second surface. A cushioning area may be included, where the cushioning area has a tubular construction such that the first surface and the second surface are separable, forming a cavity therebetween, and where the inlaid yarn extends through the cavity formed between the first surface and the second surface.

Abstract: A circuit breaker system includes an internal operating handle disposed inside an enclosure and coupled to a shaft extending from a circuit breaker. The internal operating handle includes a dog clutch coupled to the shaft and a rotary handle coupled to the dog clutch. The rotary handle is operative to rotate the shaft when the dog clutch is engaged. A safety operating handle system for turning a shaft to operate a circuit breaker includes a rotary handle and a dog clutch having a first clutch member coupled to the rotary handle and having a second clutch member coupled to the shaft. The dog clutch is operative to transmit a rotation of the rotary handle to the shaft when the first clutch member is in an engagement position.

Abstract: A margin extension device and method are disclosed herein. The margin extension device can be used for ablating one or several cancer cells and can include a contact member and a plurality of electrodes. The contact member can be electrically conductive, and can electrically connect the electrodes. The margin extension device can further include one or several leads that connect the electrodes of the margin extension device to a treatment controller. The treatment controller can include a pulse generator that can generate one or several electrical pulses that generate one or several electrical fields in tissue proximate to the margin extension device.

Abstract: A cleaner device is adapted to clean a blood vessel sealer device. The cleaner device includes a series of brushes that can move relative to blood vessel sealer device to scrub and clean the blood vessel sealer device when coupled to the cleaner device. The brushes can be made of any material that is adapted to clean the blood vessel sealer device. The cleaner device can also be motorized to facilitate cleaning of the blood vessel sealer device.

Abstract: One embodiment provides a method, including: receiving, from a data owner, an input string of plaintext data comprising a plurality of characters for storage in a database of a third-party storage provider; arranging the plurality of characters of the input string as a half pyramid, wherein the half pyramid comprises a plurality of rows, each row comprising at least one more character than a preceding row; encrypting, using a secure encryption scheme and based upon a key, each row of the half pyramid independently from each other row of the half pyramid; and storing, in the database of the third-party storage provider, the encrypted rows of the half pyramid. Other aspects are claimed and described.

Abstract: According to some aspects, an additive fabrication device and a build platform suitable for use within an additive fabrication device are provided. The build platform may include a build surface on which material may be formed by the additive fabrication device when the build platform is installed within the additive fabrication device. According to some embodiments, the build platform may include a flexible build layer and at least one removal mechanism configured to be actuated to apply a force to the flexible build layer. Such actuation may cause the flexible build layer to deform, thereby enabling separation of material adhered to the build surface from the build platform. According to some embodiments, the build platform may comprise a restorative mechanism that acts to return the flexible build layer to a flat state so that subsequent additive fabrication may form material on a flat build surface.

Abstract: A hand tool has a pivot connection pivotally attaching a first arm to a second arm, with the pivot connection fixed relative to the first arm and movable to first and second positions relative to the second arm. A spring urges the pivot connection into the first position. When jaws on the front ends of the arms clamp tissue with force greater than a pre-set threshold, the spring force is overcome and the jaws may move linearly apart, allowing for more uniform clamping of the tissue. The first arm may have an arm spring extending between a front segment pivotally attached to a rear segment of the first arm.

Abstract: In one aspect of the disclosure, a knitted component for use in an article of footwear may include a first layer with a multi-bed first area having a first surface and an opposite facing second surface. The knitted component may include a second layer with a second area overlapping the first area. The second area may have a first surface and an opposite facing second surface. The knitted component may include a plurality of interlayer knit stitches interlooping at least one yarn of the first layer with at least one yarn of the second layer at an interface between the second surfaces of the first and second areas. The interior surfaces of the first area and the second area may define at least part of a freely separable area between the first and second areas.

Abstract: This invention teaches to the details of an interference suppressing receiver for suppressing intra-cell and inter-cell interference in coded, multiple-access, spread spectrum transmissions that propagate through frequency selective communication channels to a multiplicity of receive antennas. The receiver is designed or adapted through the repeated use of symbol-estimate weighting, subtractive suppression with a stabilizing step-size, and mixed-decision symbol estimates. Receiver embodiments may be designed, adapted, and implemented explicitly in software or programmed hardware, or implicitly in standard RAKE-based hardware either within the RAKE (i.e., at the finger level) or outside the RAKE (i.e., at the user or subchannel symbol level). Embodiments may be employed in user equipment on the forward link or in a base station on the reverse link. It may be adapted to general signal processing applications where a signal is to be extracted from interference.

Abstract: Methods, systems, and computer program products for secure distance computations are provided herein.

Abstract: A feeder for a knitting machine may include a carrier configured to secure the feeder to a knitting machine such that the feeder is movable along a rail of the knitting machine and a feeder arm extending from the carrier. The feeder arm may include a dispensing area configured for supplying a yarn to a needle bed of the knitting machine, and the carrier may include a first actuation surface, a second actuation surface, and a third actuation surface, where the feeder performs a first knitting function when a plunger actuates the feeder by applying a force on the first actuation surface, where the feeder performs a second knitting function when the plunger actuates the feeder by contacting the second actuation surface, and where the feeder performs a third knitting function when the plunger actuates the feeder by contacting the third actuation surface.

Abstract: A knitting machine may include a needle bed and a carriage that is movable along the needle bed. The carriage may be configured to engage at least one feeder to move a dispensing area of the feeder along the needle bed while dispensing a yarn, where the carriage includes an interface for providing power to an auxiliary component.

Abstract: A feeder for a knitting machine may include: a carrier configured to secure the feeder to a knitting machine such that the feeder is movable along an axis with respect to a rail of the knitting machine; a feeder arm extending from the carrier, the feeder arm including a dispensing area configured for supplying a yarn to a needle bed of the knitting machine; and a cutting device coupled to the feeder arm, where the cutting device includes a cutting edge for cutting the yarn to disengage an upper portion of the yarn from the needle bed of the knitting machine.

Abstract: Methods, systems, and computer program products for securely processing range predicates on cloud databases are provided herein. A computer-implemented method includes separately encrypting a set of plain text data using two or more encryption functions, thereby producing an encrypted domain comprising at least two distinct groups of encrypted data items; converting a range query over plain text data items into a query over at least one of the distinct groups of encrypted data items; and combining results from the query over the distinct groups of encrypted data items, thereby generating a final encrypted result to the range query.