Abstract: Methods, non-transitory computer readable media, and verifier and/or prover devices or query verification apparatuses are disclosed that generate a first commitment from received data and send the received data to a prover device for insertion into a table of a database. A query result and an overall proof are received from the prover device in response to a received query forwarded to the prover device and associated with the database table. The overall proof is generated from one or more partial proofs comprising one or more commitments generated from one or more intermediate values. The query result and an indication the query result was verified are returned in response to the received query after verifying the query result based on a second commitment to the query result generated using the first commitment and the overall proof.

Abstract: Methods, non-transitory computer-readable media, and query verification apparatuses are disclosed that receive a result vector, an index to the result vector, a range proof, and an inner product proof from a prover device after providing a query vector to the prover device. The prover device hosts a vector database with rows and columns. Second and third commitments to a distance vector and a random linear combination vector, respectively, are generated based on a first commitment to the rows. The range proof is checked using the second commitment and the inner product proof is checked using the third commitment and a generator used to generate the first commitment and identified based on the index. The result vector is returned after confirming that it is one of the rows and each of the rows is as far from the query vector as the result vector based on the check of the proofs.

Abstract: Methods, non-transitory computer readable media, and verifier and/or prover devices or query verification apparatuses are disclosed that generate a first commitment from received data and send the received data to a prover device for insertion into a table of a database. A query result and an overall proof are received from the prover device in response to a received query forwarded to the prover device and associated with the database table. The overall proof is generated from one or more partial proofs comprising one or more commitments generated from one or more intermediate values. The query result and an indication the query result was verified are returned in response to the received query after verifying the query result based on a second commitment to the query result generated using the first commitment and the overall proof.

Abstract: Methods, non-transitory computer readable media, and verifier and/or prover devices or query verification apparatuses are disclosed that generate a first commitment from received data and send the received data to a prover device for insertion into a table of a database. A query result and an overall proof are received from the prover device in response to a received query forwarded to the prover device and associated with the database table. The overall proof is generated from one or more partial proofs comprising one or more commitments generated from one or more intermediate values. The query result and an indication the query result was verified are returned in response to the received query after verifying the query result based on a second commitment to the query result generated using the first commitment and the overall proof.

Abstract: Methods, non-transitory computer readable media, and query verification apparatuses are disclosed that receive data, store the data into a table of a database, and receive a query that is associated with the database table. A query plan and a query result are generated for the query, one or more partial proofs are generated from one or more commitments, and an overall proof is generated from the one or more partial proofs. Each of the one or more partial proofs is associated with at least one node of the query plan in some examples, which can include a directed acyclic graph. The overall proof is returned along with the query result in response to the query to facilitate verification of the query result. One or more GPUs are configured to generate the one or more commitments in some examples to thereby accelerate the verification process and improve database scalability.

Abstract: A method, apparatus and system for transforming genomic data into a computer database environment comprising a forward lookup table and a plurality of reverse lookup tables which relate consecutive overlapping reference sequence segments to reference sequences stored in the forward lookup table enables rapid and precise matching of undefined biological sequences with reference sequences.

Abstract: A flange joint system for SRF cavities. The flange joint system includes a set of high force spring clamps that produce high force on the simple flanges of Superconducting Radio Frequency (SRF) cavities to squeeze conventional metallic seals. The system establishes the required vacuum and RF-tight seal with minimum particle contamination to the inside of the cavity assembly. The spring clamps are designed to stay within their elastic range while being forced open enough to mount over the flange pair. Upon release, the clamps have enough force to plastically deform metallic seal surfaces and continue to a new equilibrium sprung dimension where the flanges remain held against one another with enough preload such that normal handling will not break the seal.

Abstract: A method, apparatus and system for transforming genomic data into a computer database environment comprising a forward lookup table and a plurality of reverse lookup tables which relate consecutive overlapping reference sequence segments to reference sequences stored in the forward lookup table enables rapid and precise matching of undefined biological sequences with reference sequences.

Abstract: A method, apparatus and system for transforming genomic data into a computer database environment comprising a forward lookup table and a plurality of reverse lookup tables which relate consecutive overlapping reference sequence segments to reference sequences stored in the forward lookup table enables rapid and precise matching of undefined biological sequences with reference sequences.

Abstract: A flange joint system for SRF cavities. The flange joint system includes a set of high force spring clamps that produce high force on the simple flanges of Superconducting Radio Frequency (SRF) cavities to squeeze conventional metallic seals. The system establishes the required vacuum and RF-tight seal with minimum particle contamination to the inside of the cavity assembly. The spring clamps are designed to stay within their elastic range while being forced open enough to mount over the flange pair. Upon release, the clamps have enough force to plastically deform metallic seal surfaces and continue to a new equilibrium sprung dimension where the flanges remain held against one another with enough preload such that normal handling will not break the seal.

Abstract: A method, apparatus and system for transforming genomic data into a computer database environment comprising a forward lookup table and a plurality of reverse lookup tables which relate consecutive overlapping reference sequence segments to reference sequences stored in the forward lookup table enables rapid and precise matching of undefined biological sequences with reference sequences.

Abstract: A sensor calibration device and method of construction for a force variation machine includes a circular plate having a test measurement region defined thereon. The test measurement region has a circumferentially extending inner track and a circumferentially extending outer track, the outer track having a projection and a valley for sidewall bulge and valley simulation formed therein and the inner track having a first and a second step formed therein separating the inner track into outward and inward inner track portions. A circumferentially extending radial edge track is provided having a first and a second step formed therein separating the edge track into outward and inward edge track portions. The projection and valley on the outer track have a depth equivalent to tire sidewall bulge and valley limits, respectively. The first and second steps in the inner track have a depth equivalent to a tire lateral run-out limit.

Abstract: A sensor calibration device and method of construction for a force variation machine includes a circular plate having a test measurement region defined thereon. The test measurement region has a circumferentially extending inner track and a circumferentially extending outer track, the outer track having a projection and a valley for sidewall bulge and valley simultion formed therein and the inner track having a first and a second step formed therein separating the inner track into outward and inward inner track portions. A circumferentially extending radial edge track is provided having a first and a second step formed therein separating the edge track into outward and inward edge track portions. The projection and valley on the outer track have a depth equivalent to tire sidewall bulge and valley limits, respectively. The first and second steps in the inner track have a depth equivalent to a tire lateral run-out limit.

Abstract: The present invention utilizes the advantages provided by a portable, wearable timepiece such as an electronic wristwatch for integration with a security system and performing various functions as a result of the timekeeping integration. First, the control panel of the security system may be synchronized by the timepiece, either automatically or when selected by a user. Second, the timepiece may be programmed to send certain commands to the control panel at certain times, such as a command to arm the system at 11:00 PM every night. Third, the timepiece can be used to send commands to the control panel on detection of a button press, but only after a countdown delay specified by the user. This gives the user the ability to press a system arm command that would only be sent after a delay of, for example, 15 seconds.

Abstract: The present invention utilizes the advantages provided by a portable, wearable timepiece such as an electronic wristwatch for integration with a security system and performing various functions as a result of the timekeeping integration. First, the control panel of the security system may be synchronized by the timepiece, either automatically or when selected by a user. Second, the timepiece may be programmed to send certain commands to the control panel at certain times, such as a command to arm the system at 11:00 PM every night. Third, the timepiece can be used to send commands to the control panel on detection of a button press, but only after a countdown delay specified by the user. This gives the user the ability to press a system arm command that would only be sent after a delay of, for example, 15 seconds.

Abstract: An apparatus for measuring abradability of a sample comprises a rotating drum with a rough surface and a means for contacting a sample with the rough surface while the drum is rotating. The sample may be caused to rotate relative to the drum, and to translate across the drum while the drum is rotating. Environmental controls may be used to control the temperature and the atmospheric conditions of the test. In the method of the invention, energy consumed by contact between the sample and the drum, as well as the weight loss of the sample, may be measured.

Abstract: A rolling cutter drill bit comprises a body and three legs, each leg having a cantilevered bearing spindle, a rolling cutter rotatably mounted on the bearing spindle, lubricant delivering means within the bearing spindle, and a floating thrust bearing element configured to carry onward thrust loads from the rolling cutter onto the bearing spindle. Each floating thrust bearing element is formed of a wrought alloy material consisting primarily of chromium carbide and cobalt and having a yield strength of less than 120,000 psi and a ductility of at least 4%, both at room temperature.

Abstract: A device such as a watch, pager or combination pager/watch that can iteratively display status information messages for set predetermined periods of time at a predetermined location on the display. In normal operation, the device is displaying a variety of standard information. Upon the detection of a status condition, the device will alternately display the standard information and status information messages corresponding to the status condition to more effectively alert the user to the existence of the status condition.

Abstract: A communication device (100) provides an out-of-range battery saving function (700) for a receiver (104) which receives messages transmitted from at least one transmitter (902) over a radio frequency channel. The communication device (100) includes a signal quality detector (154) which detects when the communication device (100) is out-of-range of the transmitter 902, and a controller (108) which determines when the communication device (100) is out-of-range for a first predetermined period of time (726), generating an out-of-range confirmation signal (728). A first visual warning (214, 216, 222) is displayed on a display (128) and power to the receiver (104) is subsequently suspended by a power control circuit (154). Alternately, when out-of-range for a second predetermined period of time (722) less than the first period of time 726, an out-of-range notification signal (724) is generated.

Abstract: A rolling cutter drill bit comprises a body and three legs, each leg having a cantilevered bearing spindle, a rolling cutter rotatably mounted on the bearing spindle, lubricant delivering means within the beating spindle, and a floating thrust bearing element configured to carry onward thrust loads from the rolling cutter onto the bearing spindle. Each floating thrust bearing element is formed of a wrought alloy material consisting primarily of chromium carbide and cobalt and having a yield strength of less than 120,000 psi and a ductility of at least 4%, both at room temperature.