Abstract: Methods, computer-readable media, systems and apparatuses for determining and implementing risk unit usage-based insurance policies. In some arrangements, sensor data associated with vehicle operation data, driving data, and the like, may be received and analyzed to determine a consumption rate of risk units in the risk unit usage-based insurance policy. In some examples, one or more driving behaviors may also be identified (e.g., from the sensor data, historical data, and the like). In some examples, one or more user interfaces may be generated displaying the determined consumption rate and/or driving behaviors. In some arrangements, additional information, such as one or more recommendations for improving (e.g., reducing) consumption rate may be generated and provided via the generated user interface.

Abstract: Devices and methods of rocket propulsion are disclosed. In one aspect, a staged combustion liquid rocket engine with preburner and turbopump unit (TPU) integrated into the structure of the combustion chamber is described. An initial propellant mixture is combusted in a preburner combustion chamber formed as an annulus around a main combustion chamber, the combustion products from the preburner driving the turbine of the TPU and subsequently injected into the main combustion chamber for secondary combustion along with additional propellants, generating thrust through a supersonic nozzle. The preburner inner cylindrical wall is shared with the outer cylindrical wall of the engine's main combustion chamber and the turbine is axially aligned with the main combustion chamber.

Abstract: Described herein are systems and methods for automatically building automations from desktop recordings using program synthesis. The problem of building automations for desktop applications can be lifted to a generalized concept of automations that operate on worlds whose “world state” can change asynchronously to the actions of the automation. Advantageously, in contrast with synthesis systems that take input-output demonstrations to synthesize a function that maps between them, the method presented here can synthesize from time-series traces of actions to automations that generalizes each step.

Abstract: Methods, computer-readable media, systems and apparatuses for determining and implementing risk unit usage-based insurance policies. In some arrangements, sensor data associated with vehicle operation data, driving data, and the like, may be received and analyzed to determine a consumption rate of risk units in the risk unit usage-based insurance policy. In some examples, one or more driving behaviors may also be identified (e.g., from the sensor data, historical data, and the like). In some examples, one or more user interfaces may be generated displaying the determined consumption rate and/or driving behaviors. In some arrangements, additional information, such as one or more recommendations for improving (e.g., reducing) consumption rate may be generated and provided via the generated user interface.

Abstract: Methods, computer-readable media, systems and apparatuses for determining a blind corner navigational score based on real-time or near real-time navigational analysis using sensor data, digital image data, and a map database are discussed. In some arrangements, detection of a blind sensor may be performing using sensor data, digital image data, and navigational data from a map database system. In at least some arrangements, a warning signal or a vehicle control signal may be transmitted to a vehicle in response to a determination that the blind corner navigational score is above a threshold. In at least some arrangements, route correction and/or route modification based on an upcoming blind corner may be performed if a blind corner navigational score is above a threshold.

Abstract: Indexing a data corpus to a set of multidimensional points, including: generating a set of points in a multidimensional space; identifying, for each sample in a plurality of samples in a data corpus, a nearest point in the set of points; and generating an index mapping each sample with the nearest point in the set of points.

Abstract: An apparatus comprises an interconnect providing communication paths between agents coupled to the interconnect. A coordination agent is provided which performs an operation requiring sending a request to each of a plurality of target agents, and receiving a response from each of the target agents, the operation being unable to complete until the response has been received from each of the target agents. Storage circuitry is provided which is accessible to the coordination agent and configured to store, for each agent that the coordination agent may communicate with via the interconnect, a latency indication for communication between that agent and the coordination agent. The coordination agent is configured, prior to performing the operation, to determine a sending order in which to send the request to each of the target agents, the sending order being determined in dependence on the latency indication for each of the target agents.

Abstract: Apparatus comprises a plurality of processing elements; and control circuitry to communicate with the plurality of processing elements by a data communication path; the control circuitry being configured, in response to a request issued by a given processing element of the plurality of processing elements, to initiate a hybrid operation by issuing a command defining the hybrid operation to a group of processing elements comprising at least a subset of the plurality of processing elements, the hybrid operation comprising performance of a control function selected from a predetermined set of one or more control functions and initiation of performance of a synchronization event, the synchronization event comprising each of the group of processing elements providing confirmation that any control functions pending at that processing element have reached at least a predetermined stage of execution; in which the given processing element is configured to inhibit the issuance of any further requests to the control cir

Abstract: An apparatus and method are provided for monitoring events in a data processing system. The apparatus has first event monitoring circuitry for monitoring occurrences of a first event within a data processing system, and for asserting a first signal to indicate every m-th occurrence of the first event, where m is an integer of 1 or more. In addition second event monitoring circuitry is used to monitor occurrences of a second event within the data processing system, and to assert a second signal to indicate every n-th occurrence of the second event, where n is an integer of 1 or more. History maintenance circuitry then maintains event history information which is updated in dependence on the asserted first and second signals.

Abstract: An apparatus and method are provided for handling transactions in a system employing transactional memory. The apparatus has processing circuitry for performing data processing in response to instructions, and transactional memory support circuitry for supporting execution of a transaction within a thread of data processing by the processing circuitry. The transaction comprises a sequence of instructions executed speculatively and for which the processing circuitry prevents commitment of results of those instructions until the transaction has reached a transaction end point. The transactional memory support circuitry comprises abort event detection circuitry that causes execution of the transaction to be aborted when an abort event is detected before the transaction has reached the transaction end point, and which causes abort status information to be stored for later reference when determining whether to retry execution of the transaction.

Abstract: An apparatus comprises an interconnect providing communication paths between agents coupled to the interconnect. A coordination agent is provided which performs an operation requiring sending a request to each of a plurality of target agents, and receiving a response from each of the target agents, the operation being unable to complete until the response has been received from each of the target agents. Storage circuitry is provided which is accessible to the coordination agent and configured to store, for each agent that the coordination agent may communicate with via the interconnect, a latency indication for communication between that agent and the coordination agent. The coordination agent is configured, prior to performing the operation, to determine a sending order in which to send the request to each of the target agents, the sending order being determined in dependence on the latency indication for each of the target agents.

Abstract: A fluid dispenser for measuring and dispensing fluid from a container includes a housing having a measurement chamber that defines a volume for receiving a predefined quantity of the fluid, a fluid flow passage having an inlet configured to be in fluid communication with the fluid in the container, and an outlet in fluid communication with the measurement chamber, such that the fluid flow passage permits fluid flow between the container and the measurement chamber. A valve member is provided that is movable in the flow passage to open the flow passage to permit fluid flow from the container to the measurement chamber to thereby allow the volume of the measurement chamber to fill with the predefined quantity of fluid; and to close the flow passage to restrict fluid flow from the container to the measurement chamber, and to isolate the predefined quantity of fluid to the measurement chamber.

Abstract: A data processing apparatus is provided which controls the use of data in respect of a further operation. The data processing apparatus identifies whether data is trusted or untrusted by identifying whether or not the data was determined by a speculatively executed resolve-pending operation. A permission control unit is also provided to control how the data can be used in respect of a further operation according to a security policy while the speculatively executed operation is still resolve-pending.

Abstract: An apparatus and method are provided for monitoring events in a data processing system. The apparatus has first event monitoring circuitry for monitoring occurrences of a first event within a data processing system, and for asserting a first signal to indicate every m-th occurrence of the first event, where m is an integer of 1 or more. In addition second event monitoring circuitry is used to monitor occurrences of a second event within the data processing system, and to assert a second signal to indicate every n-th occurrence of the second event, where n is an integer of 1 or more. History maintenance circuitry then maintains event history information which is updated in dependence on the asserted first and second signals.

Abstract: An apparatus and method of operating the apparatus are provided for performing a count operation. Instruction decoder circuitry is responsive to a count instruction specifying an input data item to generate control signals to control the data processing circuitry to perform a count operation. The count operation determines a count value indicative of a number of input elements of a subset of elements in the specified input data item which have a value which matches a reference value in a reference element in a reference data item. A plurality of count operations may be performed to determine a count data item corresponding to the input data item. A register scatter storage instruction, a gather index generation instruction, and respective apparatuses responsive to them, as well as simulator implementations, are also provided.

Abstract: A fluid dispenser for measuring and dispensing fluid from a container includes a housing having a measurement chamber that defines a volume for receiving a predefined quantity of the fluid, a fluid flow passage having an inlet configured to be in fluid communication with the fluid in the container, and an outlet in fluid communication with the measurement chamber, such that the fluid flow passage permits fluid flow between the container and the measurement chamber. A valve member is provided that is movable in the flow passage to open the flow passage to permit fluid flow from the container to the measurement chamber to thereby allow the volume of the measurement chamber to fill with the predefined quantity of fluid; and to close the flow passage to restrict fluid flow from the container to the measurement chamber, and to isolate the predefined quantity of fluid to the measurement chamber.

Abstract: An apparatus and a method of operating the apparatus are provided for performing a comparison operation to match a given sequence of values within an input vector. Instruction decoder circuitry is responsive to a string match instruction specifying a segment of an input vector to generate control signals to control the data processing circuitry to perform a comparison operation. The comparison operation determines a comparison value indicative of whether each input element of a required set of consecutive input elements of the segment has a value which matches a respective value in consecutive reference elements of the reference data item. A plurality of comparison operations may be performed to determine a match vector corresponding to the segment of the input vector to indicate the start position of the substring in the input vector. A string match instruction, as well as simulator virtual machine implementations, are also provided.

Abstract: Methods and devices for discovering multiple instances of recurring values within a vector are disclosed. A first method calculates the prior instances of the vector. A second method calculates the last unique instances of the vector. An implementation of these methods as SIMD instructions is proposed. Sequential and parallel CAM implementations are also disclosed. The proposed methods can be used to correct conflicting indexes in vector memory indexed operations. Furthermore, an application to a vectorized sorting algorithm is proposed.

Abstract: An apparatus and a method of operating the apparatus are provided for performing a comparison operation to match a given sequence of values within an input vector. Instruction decoder circuitry is responsive to a string match instruction specifying a segment of an input vector to generate control signals to control the data processing circuitry to perform a comparison operation. The comparison operation determines a comparison value indicative of whether each input element of a required set of consecutive input elements of the segment has a value which matches a respective value in consecutive reference elements of the reference data item. A plurality of comparison operations may be performed to determine a match vector corresponding to the segment of the input vector to indicate the start position of the substring in the input vector. A string match instruction, as well as simulator virtual machine implementations, are also provided.