Abstract: System and methods for IoT event detector correctness verification. Detector models (e.g., state-based models including variables, states, transitions and actions) take IoT device data as input and detect, based on the data, events that triggers actions. To verify a correctness of the models prior to deploying the models at scale, an event detector model correctness checker obtains a representation of a definition of the model, verifies, based on analysis of the model definition, whether the model complies with correctness properties, and generates a report indicating whether the model complies. Example correctness properties include a reachability correctness property that indicates that respective states or actions are reachable according to the definition of the event detector model. The analysis may be accessed via an interface element and may result in generation of a report that identifies a location of non-compliance within the model definition.

Abstract: System and methods for IoT event detector correctness verification. Detector models (e.g., state-based models including variables, states, transitions and actions) take IoT device data as input and detect, based on the data, events that triggers actions. To verify a correctness of the models prior to deploying the models at scale, an event detector model correctness checker obtains a representation of a definition of the model, verifies, based on analysis of the model definition, whether the model complies with correctness properties, and generates a report indicating whether the model complies. Example correctness properties include a reachability correctness property that indicates that respective states or actions are reachable according to the definition of the event detector model. The analysis may be accessed via an interface element and may result in generation of a report that identifies a location of non-compliance within the model definition.

Abstract: A collection device for a biological sample to capture target compounds such as viruses or other pathogens or particles for testing from within the sample and move the captured target compound to a separate chamber for subsequent processing. The collection device can include an openable substance blister including capture particles located in a cup interior. Capture particles can attract and bind the target compounds from the sample. An extraction tube extracts any nucleic acid from the target compound for storage or subsequent amplification and testing to confirm presence of known microorganisms. The extraction tube can comprise a heat-deformable material and can be connected to a microfluidic cartridge for further processing of nucleic acid including, amplification and detection. The microfluidic cartridge includes valves and a plurality of chambers for amplification.

Abstract: A computer-implemented method for generating optimized search results is disclosed. The computer-implemented method includes receiving a search input from a user, wherein the search input includes a search query and additional search criteria. The computer-implemented method further includes generating a search query pattern based, at least in part, on the search input. The computer-implemented method further includes determining an initial set of search results based on the search query pattern. The computer-implemented method further includes filtering the initial set of search results to determine a filtered subset of search results from the initial set of search results.

Abstract: A collection device for a biological sample to capture target compounds such as viruses or other pathogens or particles for testing from within the sample and move the captured target compound to a separate chamber for subsequent processing. The collection device can include an openable substance blister including capture particles located in a cup interior. Capture particles can attract and bind the target compounds from the sample. An extraction tube extracts any nucleic acid from the target compound for storage or subsequent amplification and testing to confirm presence of known microorganisms. The extraction tube can comprise a heat-deformable material and can be connected to a microfluidic cartridge for further processing of nucleic acid including, amplification and detection. The microfluidic cartridge includes valves and a plurality of chambers for amplification.

Abstract: A collection device for a biological sample to capture target compounds such as viruses or other pathogens or particles for testing from within the sample and move the captured target compound to a separate chamber for subsequent processing. The collection device can include an openable substance blister including capture particles located in a cup interior. Capture particles can attract and bind the target compounds from the sample. An extraction tube extracts any nucleic acid from the target compound for storage or subsequent amplification and testing to confirm presence of known microorganisms. The extraction tube can comprise a heat-deformable material and can be connected to a microfluidic cartridge for further processing of nucleic acid including, amplification and detection. The microfluidic cartridge includes valves and a plurality of chambers for amplification.

Abstract: An apparatus for holding a tissue sample including a retaining member having a first tissue engaging surface and at least one biasing element, the first tissue engaging surface being moveably attached to the retaining member by said biasing element; and a base having a second tissue engaging surface and configured to engage the retaining member to form an interior area with the first and second tissue engaging surfaces facing each other, wherein the at least one biasing element urges the first tissue engaging surface toward the second tissue engaging surface to retain the tissue sample therebetween in the interior area.

Abstract: An apparatus for holding a tissue sample including a retaining member having a first tissue engaging surface and at least one biasing element, the first tissue engaging surface being moveably attached to the retaining member by said biasing element; and a base having a second tissue engaging surface and configured to engage the retaining member to form an interior area with the first and second tissue engaging surfaces facing each other, wherein the at least one biasing element urges the first tissue engaging surface toward the second tissue engaging surface to retain the tissue sample therebetween in the interior area.

Abstract: An apparatus for holding a tissue sample including a retaining member having a first tissue engaging surface and at least one biasing element, the first tissue engaging surface being moveably attached to the retaining member by said biasing element; and a base having a second tissue engaging surface and configured to engage the retaining member to form an interior area with the first and second tissue engaging surfaces facing each other, wherein the at least one biasing element urges the first tissue engaging surface toward the second tissue engaging surface to retain the tissue sample therebetween in the interior area.

Abstract: An apparatus for holding a tissue sample having a retaining member with a first tissue engaging surface and at least one biasing element. The first tissue engaging surface is moveably attached to the retaining member. The apparatus also has a base comprising a second tissue engaging surface which is configured to engage the retaining member to form an interior area with the first and second tissue engaging surfaces facing each other. The apparatus also has a retracting member connected to the retaining member which is configured to retract the first tissue engaging surface and compress the biasing element to form a gap between the tissue sample and one of the first tissue engaging surface and the second tissue engaging surface.

Abstract: A method for treating a tissue sample including placing at least one tissue sample on an cassette which has: a retaining member, a base and at least one biasing element; placing the at least one tissue sample in the tissue cassette; attaching the base and the retaining member to retain the tissue sample; processing the tissue sample in the tissue cassette with one or more solvents; and embedding the tissue sample in a paraffin to form an portion of paraffin in which the tissue sample is embedded in the tissue cassette, wherein the embedding comprises adding molten paraffin to the interior area of the tissue cassette and allowing the paraffin to become solid.

Abstract: An apparatus for holding a tissue sample including a retaining member having a first tissue engaging surface and at least one biasing element, the first tissue engaging surface being moveably attached to the retaining member by said biasing element; and a base having a second tissue engaging surface and configured to engage the retaining member to form an interior area with the first and second tissue engaging surfaces facing each other, wherein the at least one biasing element urges the first tissue engaging surface toward the second tissue engaging surface to retain the tissue sample therebetween in the interior area.

Abstract: A method for treating a tissue sample including placing at least one tissue sample on an cassette which has: a retaining member, a base and at least one biasing element; placing the at least one tissue sample in the tissue cassette; attaching the base and the retaining member to retain the tissue sample; processing the tissue sample in the tissue cassette with one or more solvents; and embedding the tissue sample in a paraffin to form an portion of paraffin in which the tissue sample is embedded in the tissue cassette, wherein the embedding comprises adding molten paraffin to the interior area of the tissue cassette and allowing the paraffin to become solid.

Abstract: An apparatus for holding a tissue sample having a retaining member with a first tissue engaging surface and at least one biasing element. The first tissue engaging surface is moveably attached to the retaining member. The apparatus also has a base comprising a second tissue engaging surface which is configured to engage the retaining member to form an interior area with the first and second tissue engaging surfaces facing each other. The apparatus also has a retracting member connected to the retaining member which is configured to retract the first tissue engaging surface and compress the biasing element to form a gap between the tissue sample and one of the first tissue engaging surface and the second tissue engaging surface.

Abstract: In order to manufacture an integrated optical circuit, a first mask is formed on a first region of a substrate and defines the shape of at least one optical device (such as a waveguide). A second mask is formed on a second region of the substrate and corresponds to an optical structure (such as a periodic array structure or photonic crystal) to be formed in a second region of the substrate distinct from the first region. The first mask and the second mask are each made of a material which substantially resists a predetermined etching gas. The second mask may formed, patterned, and etched without adversely affecting the characteristics of the first mask.

Abstract: In order to manufacture an integrated optical circuit, a first mask is formed on a first region of a substrate and defines the shape of at least one optical device (such as a waveguide). A second mask is formed on a second region of the substrate and corresponds to an optical structure (such as a periodic array structure or photonic crystal) to be formed in a second region of the substrate distinct from the first region. The first mask and the second mask are each made of a material which substantially resists a predetermined etching gas. The second mask may formed, patterned, and etched without adversely affecting the characteristics of the first mask.