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

Nir Minerbi

Eran Yosef Paran

Ofer Hermoni

Eyal Felstaine

Vlad Grigore Dabija

Ziv Glazberg

Itzik Kitroser

Sarit Chehanowitz

Adam Goldfeld

Liat Taub Bahar

Eyal Cornfeld

Ravid Alon

David Ash

Nir Fattal

Lior Gazit

Eitan D Farchi

Tal Goren

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

Alon Arvatz

Shai Fine

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

Yael Shaham-Gafni

Marina Biberstein

Shmuel Mangan

Or Peles

Moran Shochat

Ori Avraham

Paul Regis Kram

Omer Schory

Nahum Nir

Elram Goren

Eyal Goren

Anna Cohen

Avi Elazari

Yosef Asaf Hermush

Yaron Arbetman

Shahar Ben-Ezra

Lev Goldentouch

Gadi Evron

Imri Goldberg

Ran Harel

Tsvi Haim Lev

Avner Levi

Leav Oz Ari

Ido Ivry

Shiran Golan

Ofri Rom

Ori Arditi

Yuval Regev

Ilan Paliov

Shay Karpeles

Sapir Rubin

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.

Compiling quantum programs

A method, product and apparatus for controlled propagation of input values in quantum computing. The method comprises obtaining a quantum program to be compiled. The quantum program has a first input qubit having a first value and a second input qubit having a second value. The method comprises identifying an intermediate cycle after which the first input qubit is not used in the quantum program, synthesizing a transformative quantum program that is applicable on a qubit being processed based on the first value and based on the second value; and updating the quantum program which comprises: modifying the quantum program to perform the transformative quantum program on the first input qubit at the intermediate cycle; and causing the quantum program to utilize the first input qubit instead of the second input qubit.

Controlled propagation of input values in quantum computing

A method, computer program product and a system for video authentication comprising: a capturing-device configured to continuously capture media, a real-time instruction module configured to provide instructions to the capturing-device causing it to change, in real-time, an operation mode while capturing a media segment, a signing module configured to create, in real-time, signature for the media segments and transmit the to a storage module retaining pairs of a signature of a media segment, and respective instructions that were provided to the capturing-device while capturing the media segment. The media authenticity verification module receives a media segment to determine authenticity of the media segment by obtaining a respective pair of a signature and instructions; utilizing the signature to ensure that the media segment was not manipulated after being captured; and verifying that the media segment complies with the instructions, whereby protecting against potential deepfake attacks.

Deepfake attack identification system

A method, system, and product for performance analysis of quantum programs. A quantum program comprises plurality of code artifacts and is compilable into a quantum circuit. A representation of the quantum circuit that implements the quantum program is obtained. The quantum circuit manipulates a plurality of qubits over a plurality of cycles using a plurality of quantum gates. The representation of the quantum circuit includes circuit components. A performance measurement of a code artifact of the quantum program is automatically computed based on one or more circuit components that are mapped to the code artifact by a component to code mapping. The component to code mapping maps circuit components of the representation to the quantum circuit to respective code artifacts of the quantum program.

Performance analysis of quantum programs

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

Growing community of inventors

Shorashim, Israel

Shmuel Ur