Abstract: A method, apparatus, a product comprising: obtaining a propagator module of a quantum function of a quantum program, the propagator module is programmed using a classical programming language, the propagator module configured to obtain as input a first domain of values for a first circuit parameter and a second domain of values for a second circuit parameter, and to output first and second sub-domains of the first and second domains of values, respectively; obtaining constraints of the quantum function; obtaining an optimization scheme that is defined over the first and second circuit parameters; generating a constraint problem based on the propagator module, the constraints, and the optimization scheme; resolving the constraint problem based on a constraint solver, a resolution comprising at least first and second values for the first and second circuit parameter; and synthesizing the quantum function according to the resolution.

Abstract: A method, system and product comprising: obtaining a gate-level representation of a quantum circuit, wherein the gate-level representation comprises a set of quantum gates defining operations on a set of qubits, wherein the gate-level representation comprises a gate-level implementation of a functional block of a functional-level representation of the quantum circuit, wherein the functional block defines an operation of the quantum circuit over at least two cycles; obtaining metadata from a functional-level processing component, wherein the metadata comprise an artifact associated with the gate-level implementation of the functional block; and compiling the gate-level representation of the quantum circuit, wherein said compiling is performed based on the metadata.

Abstract: A method, system and product comprising: obtaining a functional-level representation of a quantum circuit that comprises a functional block, wherein the functional block defines an operation of the quantum circuit over at least two cycles; selecting from a function library an implementation for the functional block, wherein the function library comprises a plurality of alternative implementations of the functional block, wherein each implementation of the plurality of alternative implementations is configured to provide a same functionality of the functional block and is applicable to a quantum computer to be used for executing the quantum circuit; and generating a gate-level representation of the quantum circuit that comprises the implementation for the functional block.

Abstract: Method, apparatus and product for modeling of quantum circuits and usages thereof. A method comprises obtaining a model of a quantum circuit that comprises a set of decision variables, corresponding domains, and constraints, wherein the set of decision variables comprise gate assignment decision variables that define an assignment of a gate to a qubit in a cycle in the quantum circuit. The method comprises automatically determining a set of valuations for the set of decision variables. The set of valuations are selected from the corresponding domains and satisfy the constraints. Based on the set of valuations the quantum circuit is synthesized.

Abstract: A method, apparatus and product includes obtaining a logical representation of a quantum circuit that is implementable by a plurality of alternative physical representations of the quantum circuit, each of which implementing the logical representation with a different error correction scheme and defining error correction schemes for the quantum circuit. The defining error correction schemes includes implementing a search algorithm on the alternative physical representations, wherein the search algorithm is configured to search for a physical representation of the quantum circuit with an assignment of a plurality of physical qubits to a plurality of logical qubits that is defined in view of a quality score. A quality metric used to compute the quality score is monotonically correlated to error rates of logical output qubits of the quantum circuit when implementing each alternative physical representation. The assignment is utilized to define the error correction schemes for the quantum circuit.

Abstract: As described herein, a system, method, and computer program are provided for using moving network connected vehicles to deliver high level network connectivity. In use, a request for digital content to be provided to a requesting device is received, the requesting device being a residential network router or a mobile device of a user. Additionally, responsive to the request, one or more moving network connected vehicles available to obtain the digital content when moving in a vicinity of a network and to provide the digital content to the requesting device when moving in a vicinity of the requesting device are determined. Further, the one or more moving network connected vehicles are caused to obtain the digital content when moving in the vicinity of the network and to provide the digital content to the requesting device when moving in the vicinity of the requesting device.

Abstract: As described herein, a system, method, and computer program are provided for evaluating third party AI models. A request is received from an interested party to evaluate an AI model created by a third party, where the request includes a portion of private data of the interested party, and an expected output of the AI model when applied to the portion of private data of the interested party. The AI model created by the third party is received. The AI model is evaluated by: causing the AI model to process the portion of private data of the interested party, accessing an actual output of the AI model resulting from the processing, and comparing the actual output with the expected output to generate an evaluation of the AI model. The evaluation of the AI model is then reported to the interested party.

Abstract: An active sensor for performing active measurements of a scene is presented. The active sensor includes at least one transmitter configured to emit light pulses toward at least one target object in the scene, wherein the at least one target object is recognized in an image acquired by a passive sensor; at least one receiver configured to detect light pulses reflected from the at least one target object; a controller configured to control an energy level, a direction, and a timing of each light pulse emitted by the transmitter, wherein the controller is further configured to control at least the direction for detecting each of the reflected light pulses; and a distance measurement circuit configured to measure a distance to each of the at least one target object based on the emitted light pulses and the detected light pulses.

Abstract: A system for managing network connected devices, comprising at least one hardware processor adapted to produce a plurality of unique device descriptors, each describing one of a plurality of network connected devices, by: for each of a plurality of device descriptors, each having a plurality of supported actions, and one or more domain device identifiers, each identifier associating the device descriptor with one of a plurality of management domains: for each of the plurality of management domains not associated with the device descriptor: instructing execution on a network connected device described by the device descriptor a domain identification query according to the descriptor's plurality of supported actions, to determine a new domain device identifier; identifying in the plurality of device descriptors a second device descriptor having a domain device identifier equal to the new domain device identifier; and merging the device descriptor with the second device descriptor.

Abstract: A method, product and apparatus comprising: obtaining an indication of an execution task to be performed by a quantum computer, wherein the execution task comprises executing, by the quantum computer, a quantum program for a number of times that is larger than two times: obtaining a graph comprising nodes that are connected by edges, the graph represents a gate-level implementation of the quantum program, the graph depicts quantum restrictions of the quantum program; and packing multiple graphs according to the quantum restrictions to synthesize a joint circuit, the joint circuit is configured, when executed by the quantum computer, to implement the execution task, the multiple graphs comprise at least one instance of the graph, the one instance of the graph represents a single execution of the quantum program, whereby execution of the joint circuit implements execution of the quantum program for the number of times.

Abstract: Disclosed herein are methods and systems for operating automated vehicles to accomplish an agricultural mission according to a hierarchically computed mission plan, comprising receiving a plurality of mission parameters defining an agricultural related mission, computing a generic plan for executing the mission by one or more of a plurality of vehicle classes grouping automated vehicles sharing common vehicle parameters coupled with one or more of a plurality of payload classes grouping payloads sharing common payload parameters, computing a plurality of specific plans for executing the mission by one or more automated vehicles of the selected vehicle class(s) coupled with one or more payloads of the selected payload class(s), selecting one of the plurality of specific plans which reduces one or more mission attributes of the mission and outputting instructions for operating the selected automated vehicle(s) and the selected payload(s) to execute the mission according to the selected specific plan.

Abstract: A method, apparatus, and product comprising: obtaining an indication of an execution task, the execution task comprises executing a quantum program a number of times, the number of times is larger than two times; and selecting a quantum computer from a set of two or more quantum computers for performing the execution task, the set of two or more quantum computers comprise a first quantum computer and a second quantum computer, said selecting the quantum computer is performed based on a first value of a performance parameter that is associated with the first quantum computer and based on a second value of the performance parameter that is associated with the second quantum computer.

Abstract: A detection device includes a processing circuit that is configured to acquire an imaging video of a user to be authenticated, specify categories of micro-expressions of the user using the acquired imaging video, and determine whether an appearance pattern of each specified category for the micro-expressions is normal.

Abstract: A detection device monitors a communication event including communication by humans when a legitimate user accesses sensitive data for each legitimate user. The detection device builds a profile of the user indicating normal behavior when the user accesses the sensitive data by performing machine learning on a result of the monitoring. After that, the detection device acquires a communication event when a user to be authenticated accesses sensitive data. The detection device determines whether behavior of the user to be authenticated indicated in the acquired communication event corresponds to normal behavior when the user accesses the sensitive data indicated in a profile of the user, and outputs a result of the determination.

Abstract: A management system includes a user terminal, and a management device that manages data, wherein the management device include a memory; and a processor coupled to the memory and executes a process comprising: requesting remittance of a cryptocurrency that uses a public distributed ledger from the user terminal, upon receiving a request for accessing managed data from the user terminal, and authorizing the user terminal to access the data when a record of clearance of the remittance made by the user terminal is added to the public distributed ledger.

Abstract: A user authentication device includes: a collection part collecting information of a user; a generation part generating a question for the user on the basis of the information of the user collected by the collection part and a skill model of the user; a presentation part presenting the question for the user generated by the generation part to the user; a reception part receiving, from the user, a response to the question presented by the presentation part; and a determination part determining authentication of the user on the basis of the response received by the reception part.

Abstract: A wireless LAN router includes a directional antenna configured to transmit and receive wireless signals to and from each device, and a processing circuit. The processing circuit learns training data indicating an incoming direction of a wireless signal from an authorized device. The processing circuit then determines whether a wireless signal of a detection target device is a wireless signal from an authorized direction, using an incoming direction of the wireless signal from the detection target device received by the directional antenna and the training data obtained by the machine learning, and outputs a result of determination.

Abstract: Disclosed here are methods and systems for automatically operating automated vehicles moving through vegetation obstacles with minimal damage, comprising receiving image(s) depicting vegetation obstacle(s) blocking at least partially a path of an automated vehicle executing a mission, analyzing the image(s) to extract one or more obstacle attributes of the vegetation obstacle(s), computing a plurality of movement patterns for operating the automated to cross the vegetation obstacle(s) based on one or more vehicle attributes of the automated vehicle with respect to one or more of the obstacle attributes where each movement pattern defines one or more movement parameters of the automated vehicle, selecting one of the movement patterns estimated to reduce a cost of damage to the automated vehicle and/or to the one or more vegetation obstacles, and outputting instructions for operating the automated vehicle to move through the vegetation obstacle(s) according to the selected movement pattern.

Abstract: A computer-implemented method includes: (i) receiving location information that represents a physical location of a user; (ii) receiving a first image that has been captured by the user; (iii) in response to receiving the first image, obtaining a second image that has been captured by a camera and that depicts a particular object in an area around the physical location; (iv) determining whether the first image matches the second image; and (v) in response to determining that the first image matches the second image, determining that the user is authentic.

Abstract: A determination system includes: a memory; and a processor coupled to the memory and programmed to execute a process comprising: acquiring location data representing a location of one or more user devices including a first sensor; searching for one or more public devices that is at a location corresponding to the location of the user device and that includes a second sensor having a same function as that of the first sensor included in the user device; requesting the user device to measure using the first sensor to acquire measurement data of the first sensor; acquiring measurement data of the second sensor included in the public device; and determining whether a user of the user device is legitimate based on a result of matching the measurement data of the first sensor with the measurement data of the second sensor.