Abstract: A stabilizer for an upright support of a ladder or scaffolding a base, a stabilizing arm, and a joint. The base includes at least one moveable component and a clamping component. A portion of the base is shaped to at least partially encompass the upright support. The clamping component exerts force on the moveable component to hold the base in a fixed position on the upright support when at least partially encompassed within the base. The joint couples the stabilizing arm to the base. The stabilizing arm pivots about at least one axis at the joint.

Abstract: Disclosed herein are systems and methods for tracking an aircraft on a ramp. A system may receive a location datum and display the location datum to a user device. A location datum may include a machine vision datum.

Abstract: Disclosed herein are systems and methods for tracking an aircraft on a ramp. A system may receive a location datum and display the location datum to a user device. A location datum may include a machine vision datum.

Abstract: Disclosed herein are systems and methods for tracking an aircraft on a ramp. A system may receive a location datum and display the location datum to a user device. A location datum may include a machine vision datum.

Abstract: A banknote validator having a housing, a validation sensor; and a banknote drive mechanism. The banknote drive mechanism may be arranged to transport a banknote from an input aperture to a stacking device. The banknote drive mechanism may delimit a first banknote pathway proximal to an input aperture, and a second banknote pathway proximal to the stacking device. A pivotable security gate arrangement may be included that is resiliently biased to project into the second banknote pathway.

Abstract: A waterproof garment worn around the waist that unrolls down the backside of the body providing a layer of protection against rain, mud, grass, and other elements, comprising: (i) a sleeve at the top of the material, in which a user slips a belt through the material so it can be worn around the waist by the user; and (ii) on both ends of the sleeve is a loop that is sewn part way up the material to prevent the belt from falling out, but still allowing it to move and be adjusted. The device may be composed of a lightweight waterproof coated nylon material, among many other options. The waterproof garment may optionally be heated, and may be used during sporting events, concerts, hiking, picnics, at the beach, and in many other locations and scenarios.

Abstract: A method and system, the method including receiving a set of requirements for a software application, the set of requirements comprising a plurality of software requirements identified for the software application; analyzing the set of requirements to determine dependencies between the plurality of software requirements in the set of requirements; generating a visualization of the determined dependencies and test boundaries between the plurality of software requirements in the set of requirements; storing the generated visualization of the determined dependencies and test boundaries between the plurality of software requirements in the set of requirements in a record; and applying the determined dependencies in the record to at least one of (i) optimize test steps in a test procedure and (ii) generate an executable test procedure that exercises external inputs and outputs for the software application.

Abstract: A method and system, the method including receiving a set of requirements for a software application, the set of requirements comprising a plurality of software requirements identified for the software application; analyzing the set of requirements to determine dependencies between the plurality of software requirements in the set of requirements; generating a visualization of the determined dependencies and test boundaries between the plurality of software requirements in the set of requirements; storing the generated visualization of the determined dependencies and test boundaries between the plurality of software requirements in the set of requirements in a record; and applying the determined dependencies in the record to at least one of (i) optimize test steps in a test procedure and (ii) generate an executable test procedure that exercises external inputs and outputs for the software application.

Abstract: A system for equivalence class analysis-based automated requirements-based test case generation includes a control processor, a data store containing textual design requirements, a textual converter unit structured to convert the textual design requirements to a machine-readable version of design requirements, a requirement partition unit configured to partition the machine-readable design requirements into one or more sets of related design requirements, an equivalence class partition unit configured to process the machine-readable design requirements and input/output variables into a set of equivalence classes, an equivalence class analyzer unit structured to analyze the set of equivalence classes to generate equivalence class tests and identify uncovered input space, and a boundary class analyzer unit structured to identify boundaries of the equivalence classes and generate boundary value tests and robustness tests.

Abstract: A banknote validator having a housing, a validation sensor; and a banknote drive mechanism. The banknote drive mechanism may be arranged to transport a banknote from an input aperture to a stacking device. The banknote drive mechanism may delimit a first banknote pathway proximal to an input aperture, and a second banknote pathway proximal to the stacking device. A pivotable security gate arrangement may be included that is resiliently biased to project into the second banknote pathway.

Abstract: A system for equivalence class analysis-based automated requirements-based test case generation includes a control processor, a data store containing textual design requirements, a textual converter unit structured to convert the textual design requirements to a machine-readable version of design requirements, a requirement partition unit configured to partition the machine-readable design requirements into one or more sets of related design requirements, an equivalence class partition unit configured to process the machine-readable design requirements and input/output variables into a set of equivalence classes, an equivalence class analyzer unit structured to analyze the set of equivalence classes to generate equivalence class tests and identify uncovered input space, and a boundary class analyzer unit structured to identify boundaries of the equivalence classes and generate boundary value tests and robustness tests.

Abstract: Procedures are described which use solvents to increase the topical insecticidal activity of toxic insect peptides. These procedures comprise drying the peptides, if needed, followed by the addition of either: 1) a polar organic solvent, with or without water, to a dried peptide, or 2) the addition of polar aprotic solvent or other adjuvant to the dried peptide, followed by the addition of either: 1) a polar organic solvent, with or without water, (where a polar aprotic solvent is added first) or 2) a polar aprotic solvent or other adjuvant to the peptide polar organic solvent (where the polar organic solvent is added first), to the peptide formulation.

Abstract: Procedures are described which use solvents to increase the topical insecticidal activity of toxic insect peptides. These procedures comprise drying the peptides, if needed, followed by the addition of either: 1) a polar organic solvent, with or without water, to a dried peptide, or 2) the addition of polar aprotic solvent or other adjuvant to the dried peptide, followed by the addition of either: 1) a polar organic solvent, with or without water, (where a polar aprotic solvent is added first) or 2) a polar aprotic solvent or other adjuvant to the peptide polar organic solvent (where the polar organic solvent is added first), to the peptide formulation.

Abstract: Procedures are described which use solvents to increase the topical insecticidal activity of toxic insect peptides. These procedures comprise drying the peptides, if needed, followed by the addition of either: 1) a polar organic solvent, with or without water, to a dried peptide, or 2) the addition of polar aprotic solvent or other adjuvant to the dried peptide, followed by the addition of either: 1) a polar organic solvent, with or without water, (where a polar aprotic solvent is added first) or 2) a polar aprotic solvent or other adjuvant to the peptide polar organic solvent (where the polar organic solvent is added first), to the peptide formulation.

Abstract: Procedures are described which use solvents to increase the topical insecticidal activity of toxic insect peptides. These procedures comprise drying the peptides, if needed, followed by the addition of either: 1) a polar organic solvent, with or without water, to a dried peptide, or 2) the addition of polar aprotic solvent or other adjuvant to the dried peptide, followed by the addition of either: 1) a polar organic solvent, with or without water, (where a polar aprotic solvent is added first) or 2) a polar aprotic solvent or other adjuvant to the peptide polar organic solvent (where the polar organic solvent is added first), to the peptide formulation.

Abstract: Procedures are described which use solvents to increase the topical insecticidal activity of toxic insect peptides. These procedures comprise drying the peptides, if needed, followed by the addition of either: 1) a polar organic solvent, with or without water, to a dried peptide, or 2) the addition of polar aprotic solvent or other adjuvant to the dried peptide, followed by the addition of either: 1) a polar organic solvent, with or without water, (where a polar aprotic solvent is added first) or 2) a polar aprotic solvent or other adjuvant to the peptide polar organic solvent (where the polar organic solvent is added first), to the peptide formulation.

Abstract: Procedures are described which use solvents to increase the topical insecticidal activity of toxic insect peptides. These procedures comprise drying the peptides, if needed, followed by the addition of either: 1) a polar organic solvent, with or without water, to a dried peptide, or 2) the addition of polar aprotic solvent or other adjuvant to the dried peptide, followed by the addition of either: 1) a polar organic solvent, with or without water, (where a polar aprotic solvent is added first) or 2) a polar aprotic solvent or other adjuvant to the peptide polar organic solvent (where the polar organic solvent is added first), to the peptide formulation.

Abstract: Procedures are described which use solvents to increase the topical insecticidal activity of toxic insect peptides. These procedures comprise drying the peptides, if needed, followed by the addition of either: 1) a polar organic solvent, with or without water, to a dried peptide, or 2) the addition of polar aprotic solvent or other adjuvant to the dried peptide, followed by the addition of either: 1) a polar organic solvent, with or without water, (where a polar aprotic solvent is added first) or 2) a polar aprotic solvent or other adjuvant to the peptide polar organic solvent (where the polar organic solvent is added first), to the peptide formulation.

Abstract: Compounds which possess Eg5 inhibitory activity and are useful for their anti-cell-proliferation (such as anti-cancer) activity and thus in methods of treatment of the human or animal body are described.

Abstract: This invention relates to novel compounds having the structural formula (I) and to their pharmaceutical compositions and to their methods of use. These novel compounds provide a treatment or prophylaxis of cancer.