Abstract: A system and method for emulating a target system's hardware using highly parallel software emulation. Target system hardware under the control of program instructions is emulated using parallel software activity routines. Each of the program instructions is sequentially provided to a series of the activity routines, where each activity routine is a stage of a software emulation pipeline. Each activity routine emulates a particular function designated by the particular program instruction of the target system. The information is forwarded from each of the stages of the series of activity routines to their successive stages in the series. Each stage forwards its associated information to its respective successive stage when the stage has completed its designated activity, and has recognized that its respective successive stage has completed its respective function and is ready to accept more information.

Abstract: The present invention relates to an accumulating device for providing a buffer. The accumulating device includes a frame and a guide structure reciprocally movable in opposite first and second directions with respect to the frame. A continuous chain configured for conveying pieces of product is mounted on the guide structure. The accumulating device also includes a plurality of driven gears constructed and arranged to both rotate the chain about the guide structure and reciprocate the guide structure in the first and second directions relative to the frame. A buffer is generated when the guide structure is moved in the first direction. The buffer is cleared when the guide structure is moved in the second direction.

Abstract: The invention provides a device for correlating the internal location of an anatomical point of a human or animal patient with a location on the external body contours of the patient.

Abstract: Coating composition for producing heat radiation-reflecting coatings.The invention relates to a coating composition for producing heat radiation-reflecting coatings that contains a binder, pigments and solvents and/or water. One or more black pigments or specially formulated colored pigments are used as pigments. The coating composition also contains finely dispersed silicic acid. The coating composition is particularly suitable for coating metal, wood or plastics, and may for example reduce heating effects in interiors of means of transportation.

Abstract: A method enabling two populations of persons, one being sedentary (for example a provider of long-distance services) and the other being nomadic (for example the customers of this provider of services) to exchange data in a sure and speedy manner, comprises the following steps:portable objects are placed at the disposal of the persons belonging to the nomadic population, these objects having the credit card format and being customized by specific identifiers for each person and for each card, the card is used to transmit at least partially encrypted DTMF type brief acoustic identification signals which are received by means of the microphone of a standard telephone set and processed by means of the standard telephone set so that the resulting signal can be transmitted, through a telephone or computer network, to the data-processing service of at least one of the persons of the sedentary population,the signals coming from the card are processed by means of a specific software program whose parameters are a fun

Abstract: A computer-implemented method, apparatus, and article of manufacture for verifying the total correctness of a computer program with mutually recursive procedures. A computer program is received into the computer as a series of source statements, wherein the source statements include annotations indicating the intended behavior of the source statements. The source statements are translated into an abstract syntax tree and a call graph of the program in the computer, wherein the call graph includes nodes representing procedures and directed arcs between the nodes representing procedure calls. The abstract syntax tree and call graph are analyzed for correctness by invoking a Verification Condition Generator in the computer to generate a set of verification conditions from the abstract syntax tree and call graph. The set of verification conditions are outputted as conditions to be proven to complete a proof of total correctness of the program.

Abstract: The invention relates to a nebuliser comprising a nozzle 3 arranged in a nebulising space and an air inlet flue 5 projecting into the nebulising space. The nebulising space is subdivided by a nebulising space divider into two parts, so that proceeding from the nozzle an aerosol flow occurs from the one part into the other. According to the invention, additional impact faces 7 and 8 are provided in the direct vicinity of the nozzle, which have the effect that only the smallest liquid droplets reach into the upper region of the nebulising space and are available to the patient for therapy.

Abstract: An easy to hold, single hand operated, foldable, multi-purpose painter's tool for use in performing a variety of tasks, such as scraping, spreading, cleaning, cutting, and can opening, encountered during painting. The tool includes an elongate handle having first and second side walls defining first and second edges and first and second ends, and a channel formed between the side walls and extending through the first edge. An elongate blade is secured by a pivot at a first end to the first end of the handle, permitting the blade to pivot between a folded position within the channel, and an extended position outside of the channel. The blade itself defines first and second side surfaces, first and second longitudinal edges and an orthogonal edge at a second end of the blade.

Abstract: A polymer electrolyte fuel cell system with a polymer electrolyte fuel cell is made up of a cell main body, a mixture generator for generating a gas-liquid mixture by mixing fuel gas which has been supplied from a fuel gas supply with water, and a means for supplying the gas-liquid mixture to the anode-side channels. The gas-liquid mixture allows the solid-polymer film to be moistened without humidifying fuel gas and oxidant gas with a humidifier, and the cell main body to be cooled down without providing a cooling channel therein.

Abstract: The invention provides for peptides and methods of using peptides to block or inhibit a pathogenic autoimmune response to central nervous system components. One class of peptides are antigens derived from mycobacterial heat shock proteins and may immunologically cross-react with or are homologous to myelin components. The peptides can also be derived from myelin components such as 2',3' cyclic nucleotide phosphodiesterase and immunologically cross-react with and/or are homologous to mycobacterial heat shock proteins. A method of the invention involves administering a pharmaceutical composition including at least one peptide to an animal in an amount effective to block or inhibit a pathogenic autoimmune response to central nervous system components. The peptides are useful for the prevention, and treatment of autoimmune inflammatory central nervous system disease.

Abstract: An insulator for attachment to a chain link fence and that is configured so as to support fence strand members generally parallel to the ground. The insulator includes an elongate body portion having first and second ends, with a mounting structure, preferably a clip structure, at the first end of the body portion for attaching the insulator to the chain link fence. A fence strand retainer is disposed at the second end of the body portion for retaining the electric fence strand member. The fence strand retainer is oriented at an acute angle relative to the mounting structure, with the acute angle preferably being about 45 degrees due to the pattern of the mesh forming the chain link fence, such that when the insulator is mounted on the chain link fence and the electric fence strand member is held by the fence strand retainer, the fence strand member will be oriented substantially parallel to the ground.

Abstract: A method, apparatus, and article of manufacture for query simplification by applying generalized inference propagation and generalized transitive closure in SQL queries having selection, projection, join, outer join, and intersection operations. The disclosed transformations and enumeration method unify and solve the problems of 1) unnesting join aggregate queries, and 2) complete enumeration of queries containing outer joins, when the outer join predicate references an aggregated value, or the predicate references more than two base relations in a query subtree. The system first eliminates redundant sub-expressions and modifies expensive binary operations to inexpensive binary operations, then converts complex predicates to simple predicates by application of a generalized selection (GS) operator.

Abstract: A method and apparatus for treating muscular disorders of the eye. The method comprising placing an object in front of the patient at a predetermined distance and placing a binocular optical system comprising lenses and prisms between the objects and the patient's eyes. A patch is placed over the patient's strong eye and the focal length of the optical system is adjusted so that the objects are clearly resolved by the patient. The patch is removed from the good eye so that the patient can repeat the exercise using both eyes. The object is then placed at a greater distance from the patient and the exercise is repeated until the resolution observed with the patient's weak eye is equal to the resolution observed with the patient's strong eye.

Abstract: A method, apparatus, and article of manufacture for providing a programming development environment that supports the development of Internet and Intranet applications. More specifically, a visual representation of an application file is displayed in a project window on a monitor connected to a computer. The visual representation comprises a hierarchical view of a project and its components stored in the application file, and includes one or more visual elements indicating a component is shared.

Abstract: An apparatus for generating a beam of light with a perceived beam having constant brightness comprising a flashlight apparatus having a parabolically shaped reflector, and the flashlight apparatus also having a equal-sided rotating hexagon present along the axis of the reflector. The outside surfaces of the hexagon are covered with a mirror-like surface for deflecting the light rays emanating from a light source located at the focus of a reflector in a changing pattern as the hexagon rotates about its axis, which is perpendicular to the reflector axis. The changing light pattern eliminates a dark area of the beam from the flashlight as the changing pattern directs light rays across the dark area as the hexagon rotates.

Abstract: A module for radio frequency signal circuits includes an electrically conductive housing. Coax connectors are secured to the rear face of the housing. A circuit board is contained within the interior spaced between sidewalls of the housing. A ground side of the circuit board includes a layer of electrically conductive material which is electrically connected to the housing. Coax cables extend within the interior of the housing from the coax connectors and between the ground side of the circuit board and an opposing sidewall. An opposite side of the circuit board contains circuit components inner connected with one another through a plurality of circuit paths. The components include directional couplers connected in series to combine branch circuits with each branch circuit having a separate attenuator.

Abstract: A system and method for performing diagnostic leakage impedance testing at the subscriber line interface utilizing portions of existing circuitry designated for driving current on the telephone line during normal operation is provided. The diagnostic apparatus is used with a telephone line drive system having a tip-line current-mode amplifier for driving current on the tip line and a ring-line current-mode amplifier for driving current on the ring line during normal operation. A control signal generator generates voltage control signals corresponding to desired subscriber loop voltage characteristics. A voltage sense circuit compares the voltage control signals to actual subscriber loop voltage characteristics resulting from driving the current on the subscriber loop. The current driven onto the subscriber loop is adjusted accordingly.

Abstract: When transferring data, an electronic document or the like from a first computer system (100) to a second computer system (200) via a data transmission line (300), e.g. a public data transmission line, a first output and input station (122) comprising a first electronic card (124) and a second output and input station (222) comprising a second electronic card (224) are used. The data is transferred to the first electronic card (124) from the first computer system (100) via the first station (122) and is encrypted in the first electronic card (124), whereupon the data is output from the first electronic card (124) in encrypted form and transferred via the first station (122) to the first computer system (100) and therefrom to the data transmission line (300).