Abstract: Methods and systems for circuit generation include generating a circuit design. Paths are extracted from the circuit design, with the paths representing sequences of connected circuit components from one terminal of the circuit to another. The extracted paths are embedded as respective vectors in a latent space. A property of the circuit design is determined using an ensemble of trained surrogate models that accept a sequence of the vectors as input.

Abstract: Methods, computer program products, and systems are presented. The method computer program products, and systems can include, for instance: obtaining movement path data that specifies a location of a mobile article over time within a geographical area having an infrastructure feature; determining by machine logic based on map data and based on the movement path data calibrated location data of the mobile article, wherein the determining based on map data and based on the movement path data calibrated location data of the mobile article includes using map data that specifies coordinate location data of the infrastructure feature; and providing one or more output based on the determining.

Abstract: Methods, computer program products, and systems are presented. The method computer program products, and systems can include, for instance: obtaining movement path data that specifies a location of a mobile article over time within a geographical area having an infrastructure feature; determining by machine logic based on map data and based on the movement path data calibrated location data of the mobile article, wherein the determining based on map data and based on the movement path data calibrated location data of the mobile article includes using map data that specifies coordinate location data of the infrastructure feature; and providing one or more output based on the determining.

Abstract: Methods, computer program products, and systems are presented. The method computer program products, and systems can include, for instance: obtaining movement path data that specifies a location of a mobile article over time within a geographical area having an infrastructure feature; determining by machine logic based on map data and based on the movement path data calibrated location data of the mobile article, wherein the determining based on map data and based on the movement path data calibrated location data of the mobile article includes using map data that specifies coordinate location data of the infrastructure feature; and providing one or more output based on the determining.

Abstract: Methods, computer program products, and systems are presented. The method computer program products, and systems can include, for instance: obtaining movement path data that specifies a location of a mobile article over time within a geographical area having an infrastructure feature; determining by machine logic based on map data and based on the movement path data calibrated location data of the mobile article, wherein the determining based on map data and based on the movement path data calibrated location data of the mobile article includes using map data that specifies coordinate location data of the infrastructure feature; and providing one or more output based on the determining.