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: 20240105285Abstract: 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: ApplicationFiled: September 27, 2022Publication date: March 28, 2024Inventors: 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: 11741731Abstract: 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: GrantFiled: July 18, 2022Date of Patent: August 29, 2023Assignee: 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: 20220351531Abstract: 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: ApplicationFiled: July 18, 2022Publication date: November 3, 2022Inventors: Pavel Vácha, Petr Jankuj, Richard Josef Marhoefer, Václav Belák, Jindrich Soukup, Brunhilde Schölzke, Britta von Oepen
-
Patent number: 11423679Abstract: 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: GrantFiled: June 14, 2019Date of Patent: August 23, 2022Assignee: 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: 20200026904Abstract: 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: ApplicationFiled: June 14, 2019Publication date: January 23, 2020Inventors: Pavel Vácha, Petr Jankuj, Richard Josef Marhoefer, Václav Belák, Jindrich Soukup, Brunhilde Schölzke, Britta von Oepen
-
Publication number: 20190347603Abstract: 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: ApplicationFiled: May 14, 2019Publication date: November 14, 2019Inventors: Pavel Vácha, Ondrej Slama, Richard Dobis, Viktor Popovic, Pavlo Minayev, Frank Walley, Charles Richard Walker
-
Patent number: 10372967Abstract: 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: GrantFiled: July 18, 2018Date of Patent: August 6, 2019Assignee: 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: 10317102Abstract: 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: GrantFiled: April 18, 2017Date of Patent: June 11, 2019Assignee: ADEMCO INC.Inventors: Vit Libal, Pavel Vacha, Ondrej Kopicka, Marek Sikora
-
Publication number: 20180364812Abstract: 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: ApplicationFiled: August 27, 2018Publication date: December 20, 2018Inventors: Vit Libal, Neil Garland, Pavel Vacha, Graham Whiting, Erwan Rivet
-
Publication number: 20180299152Abstract: 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: ApplicationFiled: April 18, 2017Publication date: October 18, 2018Inventors: Vit Libal, Pavel Vacha, Ondrej Kopicka, Marek Sikora
-
Patent number: 10061390Abstract: 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: GrantFiled: July 17, 2015Date of Patent: August 28, 2018Assignee: Honeywell International Inc.Inventors: Vit Libal, Neil Garland, Pavel Vacha, Graham Whiting, Erwan Rivet
-
Publication number: 20170223802Abstract: 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: ApplicationFiled: February 3, 2016Publication date: August 3, 2017Inventors: Pavel Vacha, Zdenek Schindler, Vit Libal, Karel Marik
-
Publication number: 20170017302Abstract: 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: ApplicationFiled: July 17, 2015Publication date: January 19, 2017Inventors: Vit Libal, Neil Garland, Pavel Vacha, Graham Whiting, Erwan Rivet
-
Patent number: 9449483Abstract: 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: GrantFiled: April 9, 2015Date of Patent: September 20, 2016Assignee: HONEYWELL INTERNATIONAL INC.Inventors: Vit Libal, Pavel Vacha, Valerie Guralnik
-
Patent number: 9349068Abstract: 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: GrantFiled: June 5, 2014Date of Patent: May 24, 2016Assignee: Honeywell International Inc.Inventors: Vit Libal, Pavel Vacha, Axel Reichert
-
Publication number: 20150356371Abstract: 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: ApplicationFiled: June 5, 2014Publication date: December 10, 2015Inventors: Vit Libal, Pavel Vacha, Axel Reichert
-
Publication number: 20150235536Abstract: 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: ApplicationFiled: April 9, 2015Publication date: August 20, 2015Inventors: Vit LIBAL, Pavel VACHA, Valerie GURALNIK
-
Patent number: 9030316Abstract: 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: GrantFiled: March 12, 2013Date of Patent: May 12, 2015Assignee: Honeywell International Inc.Inventors: Vit Libal, Pavel Vacha, Valerie Guralnik
-
Patent number: 8941484Abstract: 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: GrantFiled: March 13, 2013Date of Patent: January 27, 2015Assignee: Honeywell International Inc.Inventors: Pavel Vacha, Vit Libal, Valerie Guralnik
-
Publication number: 20140266680Abstract: 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: ApplicationFiled: March 12, 2013Publication date: September 18, 2014Applicant: Honeywell International Inc.Inventors: Vit Libal, Pavel Vacha, Valerie Guralnik