Abstract: To provide geographic data to client devices for offline use, a system receives, from a client device via a communication network, an indication of a current location of the client device. The system identifies geographic data to be provided to the client device to define an area of offline coverage, which includes determining boundaries of the area of offline coverage based on an amount of geographic data the client device is expected to receive prior to reaching certain points within the area of offline coverage. The system provides the geographic data to the client device.

Abstract: Geographic data corresponding to a certain geographic area of offline coverage is stored in a memory of a computing device. An indication of a geographic boundary delimiting a region smaller than, and contained within, the geographic area is obtained. A current location of the computing device relative to the geographic boundary is determined and, in response to determining that the current location is outside the region, additional geographic data is retrieved via a wireless communication network to expand the geographic area of offline coverage. At least some of the geographic data corresponding to the expanded geographic area is provided via a user interface of the computing device when the computing device is offline.

Abstract: Geographic data corresponding to a certain geographic area of offline coverage is stored in a memory of a computing device. An indication of a geographic boundary delimiting a region smaller than, and contained within, the geographic area is obtained. A current location of the computing device relative to the geographic boundary is determined and, in response to determining that the current location is outside the region, additional geographic data is retrieved via a wireless communication network to expand the geographic area of offline coverage. At least some of the geographic data corresponding to the expanded geographic area is provided via a user interface of the computing device when the computing device is offline.

Abstract: An exemplary additive manufacturing method includes receiving a build file comprising instructions for controlling the manufacturing hardware to generate an object, receiving a material identifier indicating a particular lot of manufacturing media, validating the build file and the material identifier via a distributed ledger to verify both an author of the build file and an origin of the particular lot of manufacturing media, causing manufacturing hardware to generate the object using the build file and the particular lot of manufacturing media, generating an object manufactured transaction to the distributed ledger indicating a result of the validation of the origin of the at least one of the build file or the material identifier, and certifying the object in response to verifying the author of the build file and the origin of the particular lot of manufacturing media, and wherein the object manufactured transaction indicates that the object is certified.

Abstract: Some aspects are directed to additive manufacturing systems. An example additive manufacturing system controller is configured to receive a build file comprising instructions for controlling the manufacturing hardware to generate the object, receive a material identifier indicating a particular lot of manufacturing media, validate the build file and the material identifier via a distributed ledger to verify at least one of an author of the build file or an origin of the particular lot of manufacturing media, control the manufacturing hardware using the build file to generate the object using the particular lot of manufacturing media, and in response to completion of the generation of the object, generate an object manufactured transaction to the distributed ledger indicating a result of the validation of the origin of the at least one of the build file or the material identifier.

Abstract: An exemplary additive manufacturing method includes receiving a build file comprising instructions for controlling the manufacturing hardware to generate an object, receiving a material identifier indicating a particular lot of manufacturing media, validating the build file and the material identifier via a distributed ledger to verify both an author of the build file and an origin of the particular lot of manufacturing media, causing manufacturing hardware to generate the object using the build file and the particular lot of manufacturing media, generating an object manufactured transaction to the distributed ledger indicating a result of the validation of the origin of the at least one of the build file or the material identifier, and certifying the object in response to verifying the author of the build file and the origin of the particular lot of manufacturing media, and wherein the object manufactured transaction indicates that the object is certified.

Abstract: According to some embodiments, a system may include a communication port to exchange information with a client device associated with an industrial control system. A network security server coupled to the communication port may include a computer processor adapted to provide a network security service for the client device. The computer processor may further be adapted to record security information about the client device via a blockchain verification process (e.g., by registering a validation result within a distributed ledger). The network security service might comprise, for example, an integrity attestation service providing software verification for the client device.

Abstract: According to some embodiments, a system may include a communication port to exchange information with a client device associated with an industrial control system. A network security server coupled to the communication port may include a computer processor adapted to provide a network security service for the client device. The computer processor may further be adapted to record security information about the client device via a blockchain verification process (e.g., by registering a validation result within a distributed ledger). The network security service might comprise, for example, an integrity attestation service providing software verification for the client device.

Abstract: A system for at least a partial underwriting of insurance policies is described. Various rules are created, along with a degree of satisfaction for each rule. Rules may be directed toward various insurance underwriting components (e.g., cholesterol levels, blood pressure, etc.). Based on the degree of satisfaction for each rule, a component may be assigned to a category. Based on the category for each component, the insurance application may be assigned an underwriting category.

Abstract: Some aspects are directed to additive manufacturing systems. An example additive manufacturing system controller is configured to receive a build file comprising instructions for controlling the manufacturing hardware to generate the object, receive a material identifier indicating a particular lot of manufacturing media, validate the build file and the material identifier via a distributed ledger to verify at least one of an author of the build file or an origin of the particular lot of manufacturing media, control the manufacturing hardware using the build file to generate the object using the particular lot of manufacturing media, and in response to completion of the generation of the object, generate an object manufactured transaction to the distributed ledger indicating a result of the validation of the origin of the at least one of the build file or the material identifier.

Abstract: A map data server may provide metadata about available indoor map data that accompanies map data for drawing a base map. For example, map data may include vector data for drawing a footprint of a building, and the metadata may include information about the physical properties of the building (e.g., an indication of how many floors the building has and if detailed map data is available for the indicated floors, etc.). A mapping application running on the client can use this metadata to display an interface that allows a user to select floors or otherwise interact with the floor data. Further, the metadata accompanying map data can include a bounding box, or a bounding polygon, for one or more floors. The mapping application can use these bounding shapes to properly reposition the viewport as map data for a new floor is being loaded, for example.

Abstract: A system includes a processor and a non-transitory computer-readable medium. The computer-readable medium includes instructions that when executed by the processor perform a method. The method comprises receiving component data from a plurality of actors and determining a pre-optimization validation of a supply chain optimization model. The supply chain optimization model is created using a linear optimization technique when the pre-optimization validation indicates a valid supply chain optimization model where creating comprises executing an optimization algorithm. Results associated with a supply chain systems model are displayed.

Abstract: The subject matter of this specification can be implemented in, among other things, a computer-implemented method for accessing map tiles. The method includes receiving a first request from a computing device for a portion of a map. The portion of the map includes combined map tiles that are a combination of corresponding ones of first map tiles from a first type of map and second map tiles from a second type of map. The method further includes providing first tile version identifiers and second tile version identifiers to the computing device in response to receiving the first request. The method further includes providing instructions to the computing device for using the first tile version identifiers and the second tile version identifiers to request the combined map tiles.

Abstract: The subject matter of this specification can be implemented in, among other things, a computer-implemented method for accessing map tiles. The method includes receiving a first request from a computing device for a portion of a map. The portion of the map includes combined map tiles that are a combination of corresponding ones of first map tiles from a first type of map and second map tiles from a second type of map. The method further includes providing first tile version identifiers and second tile version identifiers to the computing device in response to receiving the first request. The method further includes providing instructions to the computing device for using the first tile version identifiers and the second tile version identifiers to request the combined map tiles.

Abstract: The subject matter of this specification can be implemented in, among other things, a computer-implemented method for managing updates to map tiles. The method includes receiving an update to a feature in geospatial information that describes a map. The map is represented by multiple tiles. The method further includes rerendering at least one tile from the tiles based on the update to generate an individual rerendered instance of the tile. The method further includes generating a tile version identifier that uniquely identifies the individual rerendered instance of the tile. The method further includes storing the tile version identifier and an association between the tile version identifier and the individual rerendered instance of the tile. The method further includes providing, to a computing device, the tile version identifier and instructions for using the tile version identifier to send a request for the individual rerendered instance of the tile.

Abstract: A map data server may provide metadata about available indoor map data that accompanies map data for drawing a base map. For example, map data may include vector data for drawing a footprint of a building, and the metadata may include information about the physical properties of the building (e.g., an indication of how many floors the building has and if detailed map data is available for the indicated floors, etc.). A mapping application running on the client can use this metadata to display an interface that allows a user to select floors or otherwise interact with the floor data. Further, the metadata accompanying map data can include a bounding box, or a bounding polygon, for one or more floors. The mapping application can use these bounding shapes to properly reposition the viewport as map data for a new floor is being loaded, for example.

Abstract: A system for at least a partial underwriting of insurance policies is described. Various rules are created, along with a degree of satisfaction for each rule. Rules may be directed toward various insurance underwriting components (e.g., cholesterol levels, blood pressure, etc.). Based on the degree of satisfaction for each rule, a component may be assigned to a category. Based on the category for each component, the insurance application may be assigned an underwriting category.

Abstract: A map data server may provide map data to a client device by generating a description of a geographic area that includes outdoor map features including a multi-story building. The multi-story building includes a “default” floor. The map data server may also provide data to the client device to graphically represent the indoor features of the default floor in the description of the geographic area. The indoor map features may be annotated to allow the client device to selectively activate or deactivate the display of the indoor map features.

Abstract: Systems and methods for rendering and downsampling an image are provided. In some aspects, a system includes an instructions module configured to receive one or more drawing instructions associated with a first image. The instructions module is further configured to generate line operations based on the one or more drawing instructions by encoding the first image. Each of the line operations corresponds to a scanline of the first image and comprises a run-length encoded version of a corresponding scanline of the first image. The system also includes a playback module configured to render a portion of the first image at a time based on a predetermined number of the line operations. The predetermined number is based on a downsampling factor for downsampling the first image.

Abstract: A computer-implemented method includes receiving instructions to execute an analytic, wherein the instructions comprise one or more analytic inputs and a corresponding one or more uncertainty values, and wherein the analytic defines a continuous, monotonic mathematical function. The method includes executing the analytic using the one or more analytic inputs to determine one or more analytic outputs. The method also includes executing an uncertainty calculation to estimate one or more uncertainty outputs corresponding to the one or more analytic outputs, based, at least in part, on the one or more analytic inputs and the corresponding one or more uncertainty values. The method further includes providing the one or more analytic outputs as well as the corresponding one or more uncertainty outputs.