Amdocs Development Limited

International Business Machines Corporation

Shmuel Ur Innovation Ltd

Classiq Technologies Ltd.

Empire Technology Development LLC

Nippon Telegraph and Telephone Corporation

Amdocs Software Systems Limited

Source Ltd.

Get Fabric Ltd.

Blue White Robotics Ltd

Other

Axonius Solutions Ltd.

Intsights Cyber Intelligence Ltd.

Jfrog, Ltd.

Vayavision Sensing, Ltd.

Shmuel Ur

Amir Naveh

Ofek Kirzner

Yehuda Naveh

Eran Yosef Paran

Nir Minerbi

Ofer Hermoni

Eyal Felstaine

Vlad Grigore Dabija

Ziv Glazberg

Itzik Kitroser

Sarit Chehanowitz

Liat Taub Bahar

Eyal Cornfeld

Adam Goldfeld

David Ash

Ravid Alon

Nir Fattal

Eitan D Farchi

Tal Goren

Lior Gazit

Aviad Zlotnick

Yarden Nir-Buchbinder

Youval Nehmadi

Rachel Tzoref

Ariel Fligler

Ronny Cohen

Ilya Dubinsky

Dean Sysman

Alon Ascher

Ben Alfi

Aviram Shmueli

David Hirshberg

Orna Raz-Pelleg

Guy Blotnik

Avidor Bartov

Ofri Shur

Itay Weiss

Avihai Ben-Yosef

Nadav Applebaum

Tal Elyashiv

Yoseph Taguri

Dan S Pelleg

Elad Yom-Tov

Avi Ziv

Amir Hozez

Gal Ben David

Shai Fine

Alon Arvatz

Guy Nizan

Gad Yitzhak Weissman

Oded Avital

Avi Mandelberg

Simon Rushton

Eyal Aharoni

Itzhack Goldberg

Gad Shlomo Sheaffer

Shachar Fienblit

Roy Levin

Boaz Mizrachi

Dale E Blue

Ishai Rabinovitz

Kenneth Nagin

Onn Menahem Shehory

Amiram Hayardeny

Alan Hartman

Daniel Geist

Gad Haber

Maayan Goldstein

Marina Biberstein

Yael Shaham-Gafni

Or Peles

Moran Shochat

Shmuel Mangan

Ori Avraham

Paul Regis Kram

Omer Schory

Nahum Nir

Elram Goren

Eyal Goren

Anna Cohen

Yosef Asaf Hermush

Yaron Arbetman

Shahar Ben-Ezra

Lev Goldentouch

Gadi Evron

Imri Goldberg

Ran Harel

Tsvi Haim Lev

Avner Levi

Ido Ivry

Leav Oz Ari

Shiran Golan

Ofri Rom

Ori Arditi

Ilan Paliov

Yuval Regev

Shay Karpeles

Sapir Rubin

Alon Milner

An apparatus, product and method includes partially compiling a quantum circuit from an initial cycle and until one or more intermediate cycles. A partial executable quantum circuit and measurements regarding a group of candidate auxiliary qubits are obtained by executing the partial executable quantum circuit multiple times and classifying the group of candidate auxiliary qubits to a qubit class with respect to a target group of qubits. The qubit class indicates that the group of candidate auxiliary qubits is not entangled with the target group. The quantum circuit is modified to apply a cleaning process on the group of candidate auxiliary qubits, whereby a modified quantum circuit is obtained. The modified quantum circuit is compiled thus obtaining an executable quantum circuit.

Auxiliary qubits analysis based on partial compilation of quantum programs

A method, system and product for synthesizing a quantum circuit using Constraint Satisfaction Problem (CSP). A functional-level representation of a quantum circuit that includes a first functional blocks and a second functional block is obtained. The functional-level representation defines a relationship between the first functional block and the second functional block. A CSP that is determined based on the functional-level representation, is automatically solved. The CSP is solved by identifying a first and second implementations to the first and second functional blocks that adhere to the CSP. A gate-level representation of the quantum circuit is synthesized using the first and second implementations.

Quantum circuit synthesis using CSP

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.

Apparatus for acquiring 3-dimensional maps of a scene

Methods and systems for selecting and executing optimal execution strategies for processes, wherein an optimal execution strategy may be selected from a plurality of execution strategies for example in a look-up table, based on specific process values.

System and method for controlling actions depending on multiple validations

A method, apparatus and product comprising: obtaining a logical representation of a quantum circuit, wherein the logical representation comprises a plurality of logical qubits manipulated by a plurality of logical gates; and generating a physical representation of the quantum circuit, the physical representation is configured to allocate a set of physical qubits of a quantum computer to the plurality of logical qubits in order to implement error correction operations The generating includes selecting a first quantity of physical qubits from the set of physical qubits for a first separate section of the quantum circuit; selecting a second quantity of physical qubits from the set of physical qubits for a second separate section of the quantum circuit, and synthesizing the quantum circuit using the first and second quantities for the first and second separate sections.

Determining dynamic quantum error correction schemes

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.

User authentication device, user authentication method, and user authentication computer program

A method for optimizing a quantum circuit includes obtaining a quantum circuit model comprising one or more quantum operations, wherein at least one quantum operation is marked as having permutable input registers. An optimization goal for the quantum circuit is determined. A processor selects a permutation of the input registers for the at least one marked quantum operation based on the optimization goal. An optimized quantum circuit is generated based on the selected permutation. The method may further include providing the generated optimized quantum circuit for execution by a quantum execution platform.

Optimizing quantum circuits with permutable input registers

A method, apparatus, and product comprising: obtaining a representation of a quantum circuit; determining that a qubit is a candidate auxiliary qubit by estimating that a state of the qubit at a first cycle is identical to a state of the qubit at a second cycle; identifying a function section in the quantum circuit based on the qubit, the function section commencing at a beginning cycle, the beginning cycle is ordered before the second cycle, the function section ending at an ending cycle, the ending cycle is ordered after the first cycle, the ending cycle is ordered after the commencing cycle, the function section utilizing the qubit as an auxiliary qubit; and outputting an indication of the function section.

Detecting a function section in a representation of a quantum circuit

A method, system and product including obtaining a media sample of a media stream; retrieving from a database a media record that matches the media sample of the media stream; aligning the media record with the media stream, wherein aligning the media record comprises determining an offset from a start of the media record; comparing the media stream with the media record according to the offset; and upon identifying a semantic deviation between the media stream and the media record, determining that the media stream is semantically manipulated.

Digital media authentication

A method, system and product for utilizing prediction models of an environment. In one embodiment, using a model of an environment and based on a first scene of the environment, a predicted second scene of the environment is predicted. An observed second scene is obtained and compared to the predicted second scene. Based on the comparison between the predicted second scene and the observed second scene, an action is performed.

Utilizing prediction models of an environment

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.

Advanced movement through vegetation with an autonomous vehicle

A computer-implemented method includes: (i) receiving location information that represents a physical location of a user; (ii) receiving first sensor data that has been generated by a sensor on a client device of the user; (iii) in response to receiving the first sensor data, obtaining second sensor data that has been generated by a sensor on a sensor device and that represents an environmental condition of an area around the physical location; (iv) determining whether the first sensor data matches the second sensor data; and (v) in response to determining that the first sensor data matches the second sensor data, determining that the user is authentic.

User location authentication using place signature

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.

Determination system, determination method, and computer-readable recording medium

A system and method may service and manage the lifecycle of computer network requests by a gate node. Using one or more computers and/or computer processors, embodiments may allow managing network requests and replies, including performing a variety of related operations, such as extracting information from network requests and replies, receiving a computer network request from a remote computer or sender address; determining a subset of remote destinations to service the request based on information stored in the gate; sending the request to a plurality of transactee sites over a data network; processing received replies and/or information stored in gate's memory; preparing and sending an updated reply to the sender or transactor; and so forth. Embodiments may allow determining or changing, from a set of available destination determination and/or reply management schemes, a particular scheme for a given network request (e.g., at a given timeslot) based on information stored in gate's memory.

Computerized system and method for determination of destinations for computer network requests

A method, system and product comprising: obtaining a functional-level representation of a quantum circuit that comprises a functional block; obtaining an indication of one or more resources that are available to the functional block, the indication regarding a range of cycles and an indication regarding a number of qubits; dynamically generating a gate-level implementation of the functional block that adheres to the indication of the one or more resources; and synthesizing a gate-level implementation of the quantum circuit, wherein the gate-level implementation of the quantum circuit comprises the gate-level implementation of the functional block.

Dynamic synthesis of gate-level implementations of functional blocks in quantum circuits

Growing community of inventors

Shorashim, Israel

Shmuel Ur