-
公开(公告)号：US12287726B2
公开(公告)日：2025-04-29
申请号：US17818348
申请日：2022-08-08
Inventor： Huang Li , Bertrand Meyer
IPC: G06F11/36 , G06F11/3604 , G06F11/3668
Abstract: A method for verifying a set of computer-executable instructions using at least one failing test generated by a test-case generator is disclosed herein. The method comprises verifying the set of computer-executable instructions by a verification module using a plurality of predefined verification conditions; determining if the verification is successful; in response to successful verification, label the set of computer-executable instructions as successful; and in response to unsuccessful verification, generate at least one counterexample, with respect to a proof failure and corresponding to at least one failed verification condition of the plurality of the predefined verification conditions, and generate a failing test, by a test-case generator, based on at least one counterexample. A program verification tool for testing the set of computer-executable instructions is also disclosed.
-
公开(公告)号：US12275393B2
公开(公告)日：2025-04-15
申请号：US18045158
申请日：2022-10-09
Inventor： Maksim Filipenko , Aleksandr Buival , Ruslan Mustafin , Ilya Shimchik , Stanislav Protasov , Serg Bell , Nikolay Dobrovolskiy
Abstract: A system and method for optimizing the performance of an autonomous race car in real-time during a race event are disclosed. An autonomous race car controller unit is pre-fed with a first set of initial parameter values and a second set of initial parameter values. A set of sensors is configured for measuring a first and a second set of real-time parameter values after the starting of the race event. A performance optimization module is configured to generate a corrective course by receiving the first and second sets of real-time parameters and detecting the presence of errors between a control command given by the controller unit and its execution.
-
公开(公告)号：US12162514B2
公开(公告)日：2024-12-10
申请号：US17647380
申请日：2022-01-07
Inventor： Maksim Filipenko , Aleksandr Buyval , Ruslan Mustafin , Ilya Shimchik , Serguei Beloussov , Stanislav Protasov , Nikolay Dobrovolskiy
IPC: B60W60/00 , B60W30/18 , B60W40/064 , H04W4/44
Abstract: A multi-layer path-planning system and method calculates trajectories for autonomous vehicles using a global planner, a fast local planner, and an optimizing local planner. The calculated trajectories are used to guide the autonomous vehicle along a bounded path between a starting point and a destination.
-
公开(公告)号：US20240363204A1
公开(公告)日：2024-10-31
申请号：US18307628
申请日：2023-04-26
Inventor： Nikita Kazeev , Andrey Ustyuzhanin , Abdalaziz Rashid Al-Maeeni , Maxim Faleev , Ruslan Lukin , Alexander Tormasov , Ignat Romanov , Serg Bell , Stanislav Protasov , Nikolay Dobrovolskiy
IPC: G16C60/00
CPC classification number: G16C60/00
Abstract: A method for predicting at least one property of a crystal of a material, with the crystal exhibiting at least one point defect. At least one module samples structures of materials and point defects of the crystal. The method comprises: providing a neural network. The neural network comprises: receiving as input a structure of the material and an ideal crystal unit cell structure. The neural network also comprises: outputting at least one target quantity and using a generated set of data and representing the point defect. The point defect represents a set of coordinates and a type of the point defect and a crystal unit cell structure. The neural network further comprises: receiving as input at least one of a cloud of defect points and a global state vector. The neural network additionally comprises outputting a vector.
-
公开(公告)号：US20250103947A1
公开(公告)日：2025-03-27
申请号：US18474665
申请日：2023-09-26
Inventor： Andrey Ustyuzhanin , Antonii Belyshev , Alexander Kovrigin , Serg Bell , Stanislav Protasov , Nikolay Dobrovolskiy
IPC: G06N20/00
Abstract: Systems and methods for uncovering a conservation law in physical systems including evaluating collected data by a representation learning system. Analyzing the collected data by a topological learning analysis system, transferring the data into at least two displayable trajectories. Generating a distance matrix by computing so-called Wasserstein distances between the trajectories, with the distance matrix showing a shape space between the trajectories. Embedding the shape space of the distance matrix into lower dimensions by using a so-called uniform manifold approximation and projection (UMAP). Determining at least two scores for different embeddings to choose a score, representing the shape space, and/or representing a minimal dimensionality. Using a symbolic regression to identify a closed form of the integrals of motion.
-
Patent Agency Ranking
公开(公告)号：US20250077392A1
公开(公告)日：2025-03-06
申请号：US18238640
申请日：2023-08-28
Inventor： Manuel Oriol , Huang Li , Bertrand Meyer , Serg Bell , Stanislav Protasov , Nikolay Dobrovolskiy
IPC: G06F11/36
Abstract: Systems and methods for checking the correctness of a computer program with at least one incorrect instruction inserted into at least one of a plurality of branches of the computer program. At least one prover generates a counterexample of computer program correctness in order to switch focus from a failed proof of the correctness of the computer program to a failed test of the correctness of the computer program.
-
公开(公告)号：US20240394528A1
公开(公告)日：2024-11-28
申请号：US18322316
申请日：2023-05-23
Inventor： Andrei Boiarov , Igor Bykovskih , Nikita Koritsky , Ilya Shimchik , Serg Bell , Stanislav Protasov , Nikolay Dobrovolskiy , Sergey Ulasen
IPC: G06N3/08
Abstract: Systems and methods for augmenting a training dataset. The method includes gaining access to at least one insufficient training dataset for training a neural network NN. A generative convolutional neural network GCNN is trained using the training set or a subset thereof. At least one additional item is generated by the GCNN trained on the existing training set, and the generated item is added to the original training set.
-
8.发明申请公开(公告)号：US20250037592A1
公开(公告)日：2025-01-30
申请号：US18360112
申请日：2023-07-27
Inventor： Artem Ushanov , Ilia Luskevich , Laurent Dedenis , Serg Bell , Stanislav Protasov
IPC: G09B5/02
Abstract: Systems and methods for conducting a synchronized student-lecturer session on an e-learning server in a computer network. The method includes obtaining a lesson material template from the lecturer computing system; logging a lecturer and one or more students in the e-learning application by verifying respective credentials to access the lesson material template, presenting the lesson material template on a session screen of the e-learning application corresponding to the lecturer and the one or more student users; generating a lecturer session; generating a student session log; tracking the lecturer session log, wherein the lecturer activity as recorded in the lecturer session log is monitored by one or more student users, and tracking the student session log, wherein the student activity as recorded in the student session log is monitored by the lecturer user.
-
公开(公告)号：US20240177386A1
公开(公告)日：2024-05-30
申请号：US18059377
申请日：2022-11-28
Inventor： Dmitriy Obukhov , Marcel de Korte , Denis Parkhomenko , Ivan Kirillov , Alexey Rybak , Laurent Dedenis , Serg Bell , Stanislav Protasov
IPC: G06T13/20 , G06F40/284 , G06T13/40 , G10L13/033 , G10L13/047 , G10L13/10
CPC classification number: G06T13/205 , G06F40/284 , G06T13/40 , G10L13/0335 , G10L13/047 , G10L13/10 , G10L2013/105
Abstract: The present disclosure relates to an avatar generator to generate an audio-visual avatar specific to an application, such as tutoring. The avatar generator includes a general synthesizer to receive a training dataset. The general synthesizer includes a voice synthesis module and a video synthesis module trained by the training dataset. The avatar generator includes a customized synthesizer consisting of a voice custom synthesis module and a video custom synthesis module trained on the audio-video samples of the target person. The avatar generator further includes a video generator to create an audio-visual avatar and is configured to synthesize a voice clone using an input text, process the voice clone, synthesize a video clone based on the video synthesis module and the video custom synthesis module, and apply the voice clone to the video clone.
-
公开(公告)号：US20240177283A1
公开(公告)日：2024-05-30
申请号：US18059395
申请日：2022-11-28
Inventor： Ilya Baimetov , Denis Parkhomenko , Marcel de Korte , Ivan Kirillov , Dmitriy Obukhov , Alexey Rybak , Laurent Dedenis , Serg Bell , Stanislav Protasov
CPC classification number: G06T7/0002 , G10L15/02 , G10L15/22 , G10L25/57 , G10L25/60 , G10L25/84 , G10L25/90 , G06T2207/10016 , G06T2207/20081 , G06T2207/30196
Abstract: The present disclosure relates to a system to evaluate an avatar generated by an avatar generator. The system comprises an evaluation module including an audio evaluation module for evaluating audio features and a video evaluation module for evaluating video features. Evaluation of the avatar includes extracting audio and video features from the avatar and applying a set of evaluation metrics for generating audio and video evaluation scores. The scores are combined to generate a final score. For avatar generator evaluation, audio clip and video clip are provided to the audio evaluation module and video evaluation module, respectively. A set of evaluation metrics is applied for evaluation. Each metric can generate a score. All scores are combined to generate a final evaluation score.
-
-
-
-
-
-
-
-
-
Search Results
23
records
(took 0.015 seconds)
