Patents by Inventor Pavel Vácha

Pavel Vácha has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Publication number: 20240105285
    Abstract: A reaction pathfinder system can leverage historical chemical reaction data and determine a synthesis route in a reaction network. The reaction pathfinder system can account for various performance criteria of chemical reactions such as a highest yield for a molecule or a minimal number of reaction steps. A reaction pathfinder system receives a user request for a synthesis route including one of a user-specified molecule or a user-specified reaction. The reaction pathfinder system may then query a reaction network that has various synthesis routes and represents reactions of reactants to produce respective molecules. The reaction network may be composed of molecule nodes and reaction nodes. The reaction pathfinder system determines, using the reaction network, the synthesis route from the synthesis routes to fulfill the user's request.
    Type: Application
    Filed: September 27, 2022
    Publication date: March 28, 2024
    Inventors: Pavel Vácha, Richard Dobis, Ondrej Micka, Nikita Vostrosablin, Martin Spale, Josef Navrátil, Jaroslav Cerman, Brian Lahue, Thomas James Struble, Zhengwei Peng, John Steele Debenham, Danny Asher Bitton, Petr Mejzlik
  • Patent number: 11741731
    Abstract: A parasite analysis system includes a pressure vessel configured to store a biological sample, an imaging cell connected to the pressure vessel, and a waste depository connected to the imaging cell. An input valve controls whether biological sample can flow from the pressure vessel into the imaging cell and an output valve controls whether biological sample can flow from the imaging cell into the waste depository. The parasite analysis system also includes a camera that captures a chronological set of images of a portion of the biological sample in the imaging cell and an image analysis system that analyzes the chronological set of images to generate an estimate of a number of parasites in the portion of the biological sample. Estimates for multiple portions of the biological sample may be generated and sampling techniques used to estimate the number of parasites in the entire biological sample.
    Type: Grant
    Filed: July 18, 2022
    Date of Patent: August 29, 2023
    Assignee: Intervet Inc.
    Inventors: Pavel Vácha, Petr Jankuj, Richard Josef Marhoefer, Václav Belák, Jind{hacek over (r)}ich Soukup, Brunhilde Schölzke, Britta von Oepen
  • Publication number: 20220351531
    Abstract: A parasite analysis system includes a pressure vessel configured to store a biological sample, an imaging cell connected to the pressure vessel, and a waste depository connected to the imaging cell. An input valve controls whether biological sample can flow from the pressure vessel into the imaging cell and an output valve controls whether biological sample can flow from the imaging cell into the waste depository. The parasite analysis system also includes a camera that captures a chronological set of images of a portion of the biological sample in the imaging cell and an image analysis system that analyzes the chronological set of images to generate an estimate of a number of parasites in the portion of the biological sample. Estimates for multiple portions of the biological sample may be generated and sampling techniques used to estimate the number of parasites in the entire biological sample.
    Type: Application
    Filed: July 18, 2022
    Publication date: November 3, 2022
    Inventors: Pavel Vácha, Petr Jankuj, Richard Josef Marhoefer, Václav Belák, Jindrich Soukup, Brunhilde Schölzke, Britta von Oepen
  • Patent number: 11423679
    Abstract: A parasite analysis system includes a pressure vessel configured to store a biological sample, an imaging cell connected to the pressure vessel, and a waste depository connected to the imaging cell. An input valve controls whether biological sample can flow from the pressure vessel into the imaging cell and an output valve controls whether biological sample can flow from the imaging cell into the waste depository. The parasite analysis system also includes a camera that captures a chronological set of images of a portion of the biological sample in the imaging cell and an image analysis system that analyzes the chronological set of images to generate an estimate of a number of parasites in the portion of the biological sample. Estimates for multiple portions of the biological sample may be generated and sampling techniques used to estimate the number of parasites in the entire biological sample.
    Type: Grant
    Filed: June 14, 2019
    Date of Patent: August 23, 2022
    Assignee: Intervet Inc.
    Inventors: Pavel Vácha, Petr Jankuj, Richard Josef Marhoefer, Václav Belák, Jind{hacek over (r)}ich Soukup, Brunhilde Schölzke, Britta von Oepen
  • Publication number: 20200026904
    Abstract: A parasite analysis system includes a pressure vessel configured to store a biological sample, an imaging cell connected to the pressure vessel, and a waste depository connected to the imaging cell. An input valve controls whether biological sample can flow from the pressure vessel into the imaging cell and an output valve controls whether biological sample can flow from the imaging cell into the waste depository. The parasite analysis system also includes a camera that captures a chronological set of images of a portion of the biological sample in the imaging cell and an image analysis system that analyzes the chronological set of images to generate an estimate of a number of parasites in the portion of the biological sample. Estimates for multiple portions of the biological sample may be generated and sampling techniques used to estimate the number of parasites in the entire biological sample.
    Type: Application
    Filed: June 14, 2019
    Publication date: January 23, 2020
    Inventors: Pavel Vácha, Petr Jankuj, Richard Josef Marhoefer, Václav Belák, Jindrich Soukup, Brunhilde Schölzke, Britta von Oepen
  • Publication number: 20190347603
    Abstract: A turnaround management system receives a set of tasks. The turnaround management system generates a directed acyclic graph based on the received set of tasks. The turnaround management system determines longest paths through the graph and generates an optimal schedule for the set of tasks based on the determined longest paths. The turnaround management system may additionally analyze the optimal schedule for risk assessment or to predict delay.
    Type: Application
    Filed: May 14, 2019
    Publication date: November 14, 2019
    Inventors: Pavel Vácha, Ondrej Slama, Richard Dobis, Viktor Popovic, Pavlo Minayev, Frank Walley, Charles Richard Walker
  • Patent number: 10372967
    Abstract: A parasite analysis system includes a pressure vessel configured to store a biological sample, an imaging cell connected to the pressure vessel, and a waste depository connected to the imaging cell. An input valve controls whether biological sample can flow from the pressure vessel into the imaging cell and an output valve controls whether biological sample can flow from the imaging cell into the waste depository. The parasite analysis system also includes a camera that captures a chronological set of images of a portion of the biological sample in the imaging cell and an image analysis system that analyzes the chronological set of images to generate an estimate of a number of parasites in the portion of the biological sample. Estimates for multiple portions of the biological sample may be generated and sampling techniques used to estimate the number of parasites in the entire biological sample.
    Type: Grant
    Filed: July 18, 2018
    Date of Patent: August 6, 2019
    Assignee: Intervet Inc.
    Inventors: Pavel Vácha, Petr Jankuj, Richard J. Marhoefer, Václav Belák, Jind{hacek over (r)}ich Soukup, Brunhilde Schölzke, Britta von Oepen
  • Patent number: 10317102
    Abstract: A system and approach using geofencing events for controlling temperature in a building for comfort of a user upon his or her arrival to the building. A decision may be made when to use a direct trigger by an incoming geofencing event and when to use a time of arrival prediction casted by an outgoing geofencing event. One or more geofences may be placed optimally based on the trigger decision and other aspects related to commuting patterns of the user.
    Type: Grant
    Filed: April 18, 2017
    Date of Patent: June 11, 2019
    Assignee: ADEMCO INC.
    Inventors: Vit Libal, Pavel Vacha, Ondrej Kopicka, Marek Sikora
  • Publication number: 20180364812
    Abstract: Methods, devices, and systems for building space control are described herein. One device includes a memory, and a processor configured to execute executable instructions stored in the memory to receive a recording of a gesture interaction with a virtual control element associated with a setting of a space in a building, analyze the recorded gesture for gesture characteristics, and modify the setting of the space based on the virtual control element and the gesture characteristics.
    Type: Application
    Filed: August 27, 2018
    Publication date: December 20, 2018
    Inventors: Vit Libal, Neil Garland, Pavel Vacha, Graham Whiting, Erwan Rivet
  • Publication number: 20180299152
    Abstract: A system and approach using geofencing events for controlling temperature in a building for comfort of a user upon his or her arrival to the building. A decision may be made when to use a direct trigger by an incoming geofencing event and when to use a time of arrival prediction casted by an outgoing geofencing event. One or more geofences may be placed optimally based on the trigger decision and other aspects related to commuting patterns of the user.
    Type: Application
    Filed: April 18, 2017
    Publication date: October 18, 2018
    Inventors: Vit Libal, Pavel Vacha, Ondrej Kopicka, Marek Sikora
  • Patent number: 10061390
    Abstract: Methods, devices, and systems for building space control are described herein. One device includes a memory, and a processor configured to execute executable instructions stored in the memory to receive a recording of a gesture interaction with a virtual control element associated with a setting of a space in a building, analyze the recorded gesture for gesture characteristics, and modify the setting of the space based on the virtual control element and the gesture characteristics.
    Type: Grant
    Filed: July 17, 2015
    Date of Patent: August 28, 2018
    Assignee: Honeywell International Inc.
    Inventors: Vit Libal, Neil Garland, Pavel Vacha, Graham Whiting, Erwan Rivet
  • Publication number: 20170223802
    Abstract: A system incorporating a camera sensor situated in a room having walls with windows and sun blinds. The sun blinds may control outdoor light to the room. Indoor light sources may provide artificial light in the room. A controller may receive signals from the camera sensor. The controller may estimate a presence of occupants and provide control signals to the sun blinds and light sources. A room temperature sensor and an HVAC system may be connected to the controller. A preset temperature, which may depend on occupancy, in the room or zone may be achieved with various kinds of heating or cooling. At the same time, outdoor light and indoor artificial light may be controlled to obtain a preset intensity of lighting in the room, which may depend on occupancy, in a manner to achieve a minimum cost of energy used by the HVAC and the light sources.
    Type: Application
    Filed: February 3, 2016
    Publication date: August 3, 2017
    Inventors: Pavel Vacha, Zdenek Schindler, Vit Libal, Karel Marik
  • Publication number: 20170017302
    Abstract: Methods, devices, and systems for building space control are described herein. One device includes a memory, and a processor configured to execute executable instructions stored in the memory to receive a recording of a gesture interaction with a virtual control element associated with a setting of a space in a building, analyze the recorded gesture for gesture characteristics, and modify the setting of the space based on the virtual control element and the gesture characteristics.
    Type: Application
    Filed: July 17, 2015
    Publication date: January 19, 2017
    Inventors: Vit Libal, Neil Garland, Pavel Vacha, Graham Whiting, Erwan Rivet
  • Patent number: 9449483
    Abstract: A method and apparatus are provided where the method includes detecting a plurality of events related to the activities of users within a security system, wherein the events are defined by a plurality of attributes, wherein at least one attribute is categorical, and wherein a data distance between events is a function of event attributes, evaluating the detected events using a density based anomaly detection method f(r), where r is a size of a neighborhood around a data point, comparing a value of the evaluated expression with a margin threshold value (msg(r)), and setting an alarm upon detecting that the value exceeds the threshold value.
    Type: Grant
    Filed: April 9, 2015
    Date of Patent: September 20, 2016
    Assignee: HONEYWELL INTERNATIONAL INC.
    Inventors: Vit Libal, Pavel Vacha, Valerie Guralnik
  • Patent number: 9349068
    Abstract: Generally discussed herein are techniques, software, apparatuses, and systems configured for detecting an anomaly in a camera. In one or more embodiments a method can include: (1) determining a first property of a reference image, (2) determining a second property of a second image captured after the first image, wherein the second property is the same property as the first property, (3) comparing the first property to the second property, (4) determining a lens condition, a protective cover condition, an image sensor condition, a focus, or a field of view of the camera has changed since the first time in response to determining the first property is substantially different from the second property, or (5) sending an alert indicating that the lens condition, the protective cover condition, the image sensor condition, the focus, or the field of view of the camera has changed.
    Type: Grant
    Filed: June 5, 2014
    Date of Patent: May 24, 2016
    Assignee: Honeywell International Inc.
    Inventors: Vit Libal, Pavel Vacha, Axel Reichert
  • Publication number: 20150356371
    Abstract: Generally discussed herein are techniques, software, apparatuses, and systems configured for detecting an anomaly in a camera. In one or more embodiments a method can include: (1) determining a first property of a reference image, (2) determining a second property of a second image captured after the first image, wherein the second property is the same property as the first property, (3) comparing the first property to the second property, (4) determining a lens condition, a protective cover condition, an image sensor condition, a focus, or a field of view of the camera has changed since the first time in response to determining the first property is substantially different from the second property, or (5) sending an alert indicating that the lens condition, the protective cover condition, the image sensor condition, the focus, or the field of view of the camera has changed.
    Type: Application
    Filed: June 5, 2014
    Publication date: December 10, 2015
    Inventors: Vit Libal, Pavel Vacha, Axel Reichert
  • Publication number: 20150235536
    Abstract: A method and apparatus where the method includes detecting a plurality of events related to the activities of users within a security system wherein the events are defined by a plurality of attributes, wherein at least one attribute is categorical and wherein a data distance between events is a function of event attributes, evaluating the detected events using a a density based anomaly detection method f(r), where r is a size of a neighborhood around a data point, comparing a value of the evaluated expression with a margin threshold value (msg(r)) and setting an alarm upon detecting that the value exceeds the threshold value.
    Type: Application
    Filed: April 9, 2015
    Publication date: August 20, 2015
    Inventors: Vit LIBAL, Pavel VACHA, Valerie GURALNIK
  • Patent number: 9030316
    Abstract: A method and apparatus where the method includes detecting a plurality of events related to the activities of users within a security system wherein the events are defined by a plurality of attributes, wherein at least one attribute is categorical and wherein a data distance between events is a function of event attributes, evaluating the detected events using a density based anomaly detection method f(r), where r is a size of a neighborhood around a data point, comparing a value of the evaluated expression with a margin threshold value (msg(r)) and setting an alarm upon detecting that the value exceeds the threshold value.
    Type: Grant
    Filed: March 12, 2013
    Date of Patent: May 12, 2015
    Assignee: Honeywell International Inc.
    Inventors: Vit Libal, Pavel Vacha, Valerie Guralnik
  • Patent number: 8941484
    Abstract: A method and apparatus wherein the method includes detecting a plurality of events within a security system, evaluating the events using one of a first expression defined by ?r?Qconf(f(r)?mrg(r)), a second expression defined by ?r?R|f(r)?mrg(r)|dr and a third expression defined by ?r?Rconf(f(r)?mrg(r))dr, where r is a size of a neighborhood around a data point, f(r) is a Local Correlation Integral (LOCI) of r, mrg(r) is a margin of r, R is a predetermined set of intervals of neighborhood sizes, Q is a predetermined discrete set of neighborhood sizes and conf(d) is a non-linear confidence function being 0 for near distance to the data point and quickly approaching 1 for larger distances, comparing a value of the evaluated expression with a threshold value and setting an alarm upon detecting that the value exceeds the threshold value.
    Type: Grant
    Filed: March 13, 2013
    Date of Patent: January 27, 2015
    Assignee: Honeywell International Inc.
    Inventors: Pavel Vacha, Vit Libal, Valerie Guralnik
  • Publication number: 20140266680
    Abstract: A method and apparatus where the method includes detecting a plurality of events related to the activities of users within a security system wherein the events are defined by a plurality of attributes, wherein at least one attribute is categorical and wherein a data distance between events is a function of event attributes, evaluating the detected events using a density based anomaly detection method f(r), where r is a size of a neighborhood around a data point, comparing a value of the evaluated expression with a margin threshold value (msg(r)) and setting an alarm upon detecting that the value exceeds the threshold value.
    Type: Application
    Filed: March 12, 2013
    Publication date: September 18, 2014
    Applicant: Honeywell International Inc.
    Inventors: Vit Libal, Pavel Vacha, Valerie Guralnik