Abstract: A system and method for function summarization. In some embodiments, the method includes: identifying a basic function called by a first function, the first function having a signature; determining a first type, the first type being a type of an argument of the basic function or a type of a return value of the basic function; and propagating the first type, to determine a first portion of the signature of the first function.

Abstract: A system and method for function summarization. In some embodiments, the method includes: identifying a basic function called by a first function, the first function having a signature; determining a first type, the first type being a type of an argument of the basic function or a type of a return value of the basic function; and propagating the first type, to determine a first portion of the signature of the first function.

Abstract: A method of authenticating an entity comprises generating, at a one-time pad authenticator associated with a user, a first code corresponding to a first part of a first one-time pad stored on the one-time pad authenticator, the first point having a starting address within the first-one time pad. The method comprises transmitting, from a user device to the entity, a request for the entity to authenticate itself, the request comprising the starting address. In response to receiving the request, the method comprises generating, by the entity, a second code corresponding to the first part of a second one-time pad stored on the entity, wherein the first part of the second one-time pad is determined using the received starting address. The method further comprises transmitting the second code to the user device; and receiving, at the user device, the second code for comparison with the first code, wherein, if the first code is equal to the second code, the entity is authenticated.

Abstract: A mobile communications network comprising a plurality of nodes, each node being disposed on a vehicle, wherein the plurality of nodes are configured to be connected to any one or more of a plurality of mobile devices, and the mobile communications network further comprising a planning and control module configured to: receive or obtain first location data representative of a first location of at least one of the plurality of mobile devices and receive, periodically or otherwise, respective updated location data representative of the current location of the respective mobile devices; receive, periodically or otherwise, second data from each of the nodes, the second data being representative of the respective coverage capability of the nodes; receive data representative of a coverage requirement associated with a specified one or more of the mobile devices; and generate, using the updated location data and the second data, an output to cause the coverage capability of one or more of the nodes to be adjusted

Abstract: A remote authentication device includes a memory. The memory includes a one time pad comprising a series of bits. The memory includes circuitry arranged to retrieve a plurality of the bits from the one time pad. The circuitry is arranged to form a key from the plurality of bits and to use the key in a hash to generate an authentication code. The retrieval of the bits, forming of the key, and generation of the authentication code are repeated a plurality of times using a different plurality of bits from the one time pad.

Abstract: A mobile communications network comprising a plurality of nodes, each node being disposed on a vehicle, wherein the plurality of nodes are configured to be connected to any one or more of a plurality of mobile devices, and the mobile communications network further comprising a planning and control module configured to: receive or obtain first location data representative of a first location of at least one of the plurality of mobile devices and receive, periodically or otherwise, respective updated location data representative of the current location of the respective mobile devices; receive, periodically or otherwise, second data from each of the nodes, the second data being representative of the respective coverage capability of the nodes; receive data representative of a coverage requirement associated with a specified one or more of the mobile devices; and generate, using the updated location data and the second data, an output to cause the coverage capability of one or more of the nodes to be adjusted

Abstract: In one embodiment of the invention, an apparatus comprises: a golf equipment holder comprising a top component and a bottom component; a plurality of tubes disposed between and coupled to the top component and bottom component, wherein at least one of the tubes is configured to removably hold a golf club; wherein the top component comprises a plurality of apertures, wherein each of the plurality of apertures is vertically aligned with a corresponding one of the plurality of tubes; a handle pivotally attached to the top component, wherein the handle comprises an attachment component for removable mounting to a golf cart; and a club slide-lock mechanism configured to securely lock the golf club in the one of the tubes.

Abstract: A golf equipment holder for attachment to a golf cart. The holder has a golf rack with an elongated top bracket having apertures disposed along its length and a plurality of small holes. The golf rack further includes an elongated bottom bracket having apertures disposed along its length. Down tubes are disposed between the top and bottom bracket apertures. The down tubes are configured to receive the shafts of golf clubs while the small holes are configured to receive golf tees. The down tubes include bumpers for protecting the golf clubs during transit and drain plugs for draining water. The golf equipment holder beneficially also includes a putter holder, a golf bag holder, and a golf shoe cleaner. The golf equipment holder pivot mounts on a golf cart to provide better access to the golf equipment.

Abstract: An endoprosthetic metatarsal-phalangeal replacement joint is described. The joint includes a distal metatarsal component having a part-spherical convex distal superior phalangeal articular surface, and two inferior "side-by-side" sesamoidal articular surfaces, separated by an intersesamoidal ridge. The proximal phalangeal component is provided with a proximal circular surface at least a major portion of which has a part spherical concave surface having similar radius of curvature as the distal superior phalangeal surface of the metatarsal component. Natural, natural-resurfaced or prosthetic sesamoids are secured to a flexible mesh element arranged to be secured between the phalangeal component and the phalanx so that the sesamoids are positioned for articulation with the two inferior sesamoidal surfaces of the distal metatarsal component.