Abstract: A computer-implemented error detection mechanism for detecting programming errors in a computer program. The computer-implemented error detection method described herein can make use of a Function Behavior Knowledge Base (FBKB) to approximate how a virtual function changes state of the program execution for all methods that can be called at each specific invocation point. The FBKB is used to select what implementation of a virtual function should be called in order to give rise to a programming defect. By dropping implementations that do not lead to a programming defect, the set of possible object runtime types is reduced. If this set is empty by the end of the analysis, then a defect is not possible, otherwise the set of object runtime types will contain types that may cause a defect.

Abstract: Marine coatings including cationic polymers hydrolyzable to nonfouling zwitterionic polymers, coated marine surfaces, and methods for making and using the marine coatings.

Abstract: Belt cleaning assemblies for a continuous conveyor belt having a pervious belt assembly and top and bottom belt surfaces generally include contact and non-contact cleaning assembles. Continuous conveyor belt systems having belt cleaning assemblies and methods for cleaning continuous conveyor belts are also provided.

Abstract: A cutting instrument rack hangs below a cabinet and above a counter so as to clear the space for performing useful tasks while facilitating access to various cutting instruments, such as knives and scissors. The edge of each cutting instrument is oriented away from a resting surface so as to reduce or avoid the dulling of the edge. The cutting instrument rack can be mounted to accommodate right-handed individuals. The same cutting instrument rack can be mounted to accommodate left-handed individuals by rotating the cutting instrument rack 180 degrees prior to mounting.

Abstract: A plastic compressor housing, in particular a radial flow compressor housing, preferably for a turbocharger, has at least one thermosetting plastic body for providing an intake pipe, a compressor duct, and an outlet pipe, and a thermoplastic at least partially covering the thermosetting plastic body in a hood-like fashion. The thermosetting plastic body is formed as a basic body and the thermoplastic is injection molded on the basic body. At least a first anchoring element is embodied on at least a first surface of the thermosetting plastic body and at least a second surface of the first anchoring element is substantially completely covered with the thermoplastic. The disclosure further relates to a method for producing a plastic compressor housing.

Abstract: In one aspect the present invention provides methods for assessing a physiological state of a mammalian retina in vivo, the methods of this aspect of the invention each include the steps of (a) irradiating a portion of a mammalian retina, in vivo, with light having a wavelength in the range of from 600 nm to 1000 nm at an intensity sufficient to stimulate two-photon-induced fluorescence in the retina; and (b) assessing a physiological state of the retina by analyzing the fluorescence.

Abstract: A cable splice connection assembly for coupling a first cable to a second cable generally includes a main body having first and second ends and defining an inner cavity, the first end configured to receive at least a portion of a first cable therein, and the second end configured to receive at least a portion of a second cable therein, and a first engagement mechanism configured to couple the main body to a first cable wherein the first engagement mechanism includes a cable seal, wherein the cable seal includes an adhesive seal.

Abstract: A partition support assembly for a canister assembly generally includes at least one inner support ring configured to support one or more partitions for dividing the interior of the canister assembly for packaging contents to be received within the canister assembly, wherein the one or more partitions are configurable in a plurality of packaging orientations. A canister assembly and a method for containing packaging contents are also provided.

Abstract: Crosslinkable compounds useful for making hole-transporting materials for organic light-emitting devices, hole-transporting layers made from the crosslinkable compounds, and light-emitting devices that include the hole-transporting layers.

Abstract: A battery pack to be mounted in a vehicle incorporates a battery stack and a cooling fan. An air intake is formed in a side face located in the vicinity of the cooling fan. In consideration of passengers entering and exiting the vehicle, the air intake is formed as well in a plane generated as a result of removal of a corner. A louver for preventing intrusion of extraneous matter is disposed at the front of the air intake. A decrease in the amount of cooling air induced by the louver is lessened by means of forming the air intake in the plane.

Abstract: Provided is a single quantification method of an external event PSA model containing multi-compartment scenarios, including: loading an internal event PSA logic model having core damage as a top event; constituting a mapping table comprising external events containing the multi-compartment scenarios in consideration of information regarding external event occurrence frequencies, external event-induced initiators, and equipments damaged by external events; reflecting the mapping table in the internal event PSA logic model to establish an external event PSA model; calculating a final minimum cut set (MCS) based on the external event PSA model; and calculating a core damage frequency (CDF) value according to the final MCS.

Abstract: An arrangement that includes a transmitter unit and a receiver for locating a circuit interrupter associated with a selected branch circuit of a power distribution system. The transmitter is electrically interconnected with the selected branch circuit and produces a sequence of tracing signals in a branch circuit that is to be traced. Each tracing signal is transmitted and detected at times measured with respect to a detected known phase of the signal on the branch circuit. In one embodiment, tracing signals are transmitted on a branch circuit of a 3 phase power distribution system when the branch circuit to be tested has a positive phase and the other phases are negative.

Abstract: A method for obtaining and analyzing information objects including generating, collecting or discovering information objects. The information objects are signified at least in part using deliberately ambiguated signifier prompts, for example, linear scale opposing negatives or positives, and/or multi-dimensional signifier prompts. The information objects may comprise text or non-text fragments, and may be generated or selected. The responses to the signifier prompts are stored with the fragments to provide a dataset of signified fragments. The signified fragments may be analyzed based on the signifiers and can be utilized as part of an explorable knowledge repository, or objective measures can be created to aid in mass opinion capture or human attitude auditing. The fragments may be represented on a graphical template.

Abstract: An arrangement that includes a transmitter unit and a receiver for locating a wire or a circuit interrupter associated with a selected branch circuit of a power distribution system. The transmitter is electrically interconnected with the selected branch circuit and produces a sequence of current pulses in a branch circuit that is to be traced to locate an associated circuit interrupter. Each current pulse is of a predetermined duration, a predetermined rise time, and a predefined fall time, which in one embodiment is equal to the current pulse rise time. The receiver is a handheld unit that is positioned in close proximity with the various circuit interrupters of the power distribution system and provides an indication that the desired wire or circuit interrupter has been located upon detecting current pulses that are with a predefined pulse duration, pulse separation and amplitude.

Abstract: The present invention relates to a beanbag sofa with a retractable headrest, and more particularly, to a beanbag sofa with a retractable headrest, which is configured to interpose an auxiliary outer cover having a predetermined size and communicating with an outer cover in a predetermined position of the outer cover, so that a filling material filled in the outer cover can be introduced toward an interior of the auxiliary outer cover upon opening the auxiliary outer cover, thereby selectively forming a headrest and armrests as required for a user's convenience.

Abstract: The invention utilizes the predicted margin of victory in an event as a metric on which to base an online game in which users attempt to predict the outcome of an upcoming event or set of events. The game also utilizes the aggregate of all the margins set by users participating in the game as a measure of how users participating in the game, as a whole, are predicting the outcome of a pending event. This is achieved by means of a method for enabling users to identify upcoming events within the context of the game and enter values to record their predicted winners and margins for one or more of these upcoming events.