Abstract:
The present invention relates to methods of detecting specific cell surface antigens present in a sample of cells being tested and in particular blood group antigens, which methods do not employ the addition of extrinsic labels to detect said cell surface antigens. Typically detection is carried out using an intrinsic fluorescence capability of the cells being tested.
Abstract:
An apparatus includes an inverter including a high-side switch coupled to a low-side switch, the inverter generating a time-varying drive current from a plurality of drive control signals, a positive rail voltage, and a negative rail voltage wherein controlling the switches to generate the time-varying drive current produces a potential transitory overshoot condition for one of the switches of the inverter; a drive control, coupled to the inverter, to generate the drive control signals and to set a level of each of the rail voltages responsive to a plurality of controller signals; and a controller monitoring one or more parameters indicative of the potential transitory voltage overshoot condition, the controller dynamically adjusting, responsive to the monitored parameters, the controller signals to reduce a risk of occurrence of the potential transitory voltage overshoot condition.
Abstract:
Apparatus for recovering symbols from control and data channels corresponding to a plurality of users is described. Samples corresponding to control channel signals from multiple users are processed on a time shared basis with various control channel processing elements being reused multiple times to processes the samples and recover signals, e.g., symbols, corresponding to the plurality of users. While the control channel processing elements are used on a time shared basis, a separate data channel processing chain or module maybe provided for each of the plurality of users. In some embodiments the order of despreading and filtering is reversed for the control and data channel signal processing.
Abstract:
An apparatus includes an inverter including a high-side switch coupled to a low-side switch, the inverter generating a time-varying drive current from a plurality of drive control signals, a positive rail voltage, and a negative rail voltage wherein controlling the switches to generate the time-varying drive current produces a potential transitory overshoot condition for one of the switches of the inverter; a drive control, coupled to the inverter, to generate the drive control signals and to set a level of each of the rail voltages responsive to a plurality of controller signals; and a controller monitoring one or more parameters indicative of the potential transitory voltage overshoot condition, the controller dynamically adjusting, responsive to the monitored parameters, the controller signals to reduce a risk of occurrence of the potential transitory voltage overshoot condition.
Abstract:
An apparatus includes an inverter including a high-side switch coupled to a low-side switch, the inverter generating a time-varying drive current from a plurality of drive control signals, a positive rail voltage, and a negative rail voltage wherein controlling the switches to generate the time-varying drive current produces a potential transitory overshoot condition for one of the switches of the inverter; a drive control, coupled to the inverter, to generate the drive control signals and to set a level of each of the rail voltages responsive to a plurality of controller signals; and a controller monitoring one or more parameters indicative of the potential transitory voltage overshoot condition, the controller dynamically adjusting, responsive to the monitored parameters, the controller signals to reduce a risk of occurrence of the potential transitory voltage overshoot condition.
Abstract:
The invention relates, in various aspects, to systems and methods for linking content stored on a computer network with content broadcast over a television network. The system includes a database, a trigger mechanism, a communications interface, and a packet generator. The database stores tokens representative of links to the stored content and delivery information representative of at least a duration for delivering the token. The trigger mechanism indicates an instruction to deliver a token over the television network, generating a signal indicating a respective one of the stored tokens and a time for starting the delivery of the respective token. The communications interface has a channel in communication with a television set top box device for transferring the respective token to the television set top box device. The packet generator generates packets within a stream of television content to be broadcast over the television network.
Abstract:
The present invention relates to methods of detecting specific cell surface antigens present in a sample of cells being tested and in particular blood group antigens, which methods do not employ the addition of extrinsic labels to detect said cell surface antigens. Typically detection is carried out using an intrinsic fluorescence capability of the cells being tested.
Abstract:
A model composition environment can allow for description of fill or partial symbolic system behavior, as well as the combination of models of specific features into compound models. Compositional operators can include intersection, concatenation, substitution, alternating refinement, as well as a set of regular expression-like operators. Models called “action machines” can represent object-oriented, reactive programs, and an action machine may be composed with another action machine using a compositional operator. This can allow for testing of particular scenarios or behaviors.
Abstract:
Diagnosing problems in distributed systems. In one aspect, a model of a distributed system defines trace statements are generated by various nodes of the system and placed in log files. The log files are sent to an automatic validator that attempts to reconcile the trace statements against the model. Results of the attempt are indicated. In another aspect, trace statements are received by a multiplexer that creates an ordering via sequence numbers. The ordering is forwarded to an automatic validator to determine whether the trace statements indicate correct behavior.
Abstract:
State spaces are traversed to produce test cases, or test coverage. Test coverage is a test suite of sequences. Accepting states are defined. Expected costs are assigned to the test graph states. Strategies are created providing transitions to states with lower expected costs. Linear programs and other approximations are discussed for providing expected costs. Strategies are more likely to provide access to an accepting state, based on expected costs. Strategies are used to append transitions to test segments such that the new test segment ends in an accepting state.