Abstract: A system and method for locating merchandise in a store having a plurality of products, such as grocery stores and the like. Each product in the store is assigned identifying information, including a location indicator, position indicator and shelf zone indicator, that is associated with the store layout and which can be utilized by a customer to locate a single item in the store. The identifying information for each product is entered into a computerized database, which includes product availability information. Access to the database is provided to customers through computer terminals in the store and via the Internet from a computer or other device. The customer can also access the database using a hand-held device, such as a smart phone or PDA, and use the device as he or she obtains the item. Using the identifying information, the customer can easily and quickly find the item in the store.

Abstract: A superconducting cable cooling system, wherein coolant continually provides cooling to superconducting cable, comprising a plurality of nodes within a superconducting cable network and a plurality of legs of superconducting cable which interconnect each of the nodes of the superconducting cable network.

Abstract: A cryogenic tank system wherein cryogenic liquid from a primary cryogenic liquid storage tank is subcooled by refrigeration generated by a cryocooler, passed into an auxiliary tank, pressurized, and returned to the primary storage tank, preferably by way of the cryocooler, thus cooling the storage tank contents and reducing the pressure within and the vapor losses from the storage tank.

Abstract: A system for providing cooling to cable such as superconducting cable which employs at least one cryocooling station or consolidated cryocooler/pumping station which processes coolant involving multiple cable lengths.

Abstract: A method for operating a pulse tube cryocooler system wherein in the event the mean pressure of the working gas within the fixed volume of the cryocooler undergoes a change, the operation of the system is kept from severe degradation by changing the frequency of the pressure wave generator driving the cryocooler directly with the change in the mean pressure.

Abstract: A new computer language, which is based on a formal, mathematical state-machine model, and which is used both to validate and to generate code for a distributed system, in general, enables developing a system using multiple related system specifications, for instance, using system specifications at multiple levels of abstraction or using multiple system decompositions into parallel combinations of interacting systems, and allows use of validation tools to verify properties of these systems and their relationships. The language includes constructs for specifying non-deterministic actions, and for specifying constraints on those non-deterministic choices. Several well-defined sub-languages of the full computer language are also defined. These sub-languages are used to specify the input of some tools, in particular, of some code generators.