Abstract: An example may include receiving a page code identifier, determining a priority of the page code identifier, queuing the page code identifier in a paging queue, retrieving content associated with the page code, and forwarding the content to one or more audio devices identified by the page code identifier when the page code has reached a top of the queue.

Abstract: Provided herein are various enhancements for antenna systems and directed radio frequency energy structures. In one example, an apparatus includes an antenna array comprising a plurality of antenna elements formed by waveguide structures embedded within a substrate and positioned about a longitudinal axis of the substrate to form at least two concentric ring arrangements of antenna elements. Apertures of the waveguide structures are configured to emit or receive radio frequency (RF) energy generally along the longitudinal axis. Feed elements are coupled to each of the waveguide structures on an end opposite of the apertures, and configured to couple the RF energy for the antenna array.

Abstract: A speaker can have a main body with a generally spheroidal shape, which can be supported standing on its end. The speaker can include a subwoofer that faces forward. A plurality of mid-range drivers can be distributed around the sub-woofer, facing generally forward and radially outward. A plurality of tweeters can be distributed around the sub-woofer, facing generally forward and generally outward. The outer housing portion of the speaker can be covered with a fabric material. A user interface ring 162 can be touch sensitive to receive input, and can have a plurality of lights that can be illuminated separately to convey information to the user.

Abstract: Systems and methods are provided for taking the inventory of liquids dispensed in full and partially filled containers. An electronic device captures images of containers and associated liquid volumes. The containers are identified by a shape, label, universal purchasing code, or other identifying means using a graphical user interface input/output. An image of the container is displayed and a border around the container is provided to create a duplicate thereof as well as the total volume. Pixel imaging of the container and contents (including meniscus detection) is achieved through detecting connected pixels. A volume of liquid remaining in the container is determined as a function of the connected pixels and an inventory including amounts of particular liquids is provided by utilizing convolutional neural networks. The system and methods allow accurate liquid inventory while limiting human input to operating the electronic device to capture the initial image of the container.

Abstract: During verification of a description of a circuit containing a pre-determined assertion, in order to detect incorrect behavior of the circuit that may be caused by metastability occurring in signals that cross clock domains (“CDC” signals) in the circuit, the description of the circuit is automatically transformed by addition of circuitry to inject the effects of metastability into the CDC signals. The transformed description containing the circuitry to inject metastability is verified in the normal manner. Certain embodiments analyze the transformed description using a model checking method to determine a stimulus sequence that will cause the pre-determined assertion to be violated. The transformed circuit is then simulated in some embodiments, using the stimulus sequence from model checking, and an incorrect behavior of the circuit due to metastability is displayed, for diagnosis by the circuit designer. The circuit designer may revise the circuit description and iterate as noted above.

Abstract: During verification of a description of a circuit containing a pre-determined assertion, in order to detect incorrect behavior of the circuit that may be caused by metastability occurring in signals that cross clock domains (“CDC” signals) in the circuit, the description of the circuit is automatically transformed by addition of circuitry to inject the effects of metastability into the CDC signals. The transformed description containing the circuitry to inject metastability is verified in the normal manner. Certain embodiments analyze the transformed description using a model checking method to determine a stimulus sequence that will cause the pre-determined assertion to be violated. The transformed circuit is then simulated in some embodiments, using the stimulus sequence from model checking, and an incorrect behavior of the circuit due to metastability is displayed, for diagnosis by the circuit designer. The circuit designer may revise the circuit description and iterate as noted above.

Abstract: A crowbar includes a lower portion, a middle portion, and an upper portion. The lower portion has a tip portion with a bearing surface. The middle portion is an offset portion. The upper portion has a plum line surface, which is disposed at an angle of about 90 degrees to the tip portion/bearing surface. The crowbar is useful in removing material from poorly accessible regions such as ceilings or floor - wall corners. For example, the crowbar can readily remove baseboards of partition walls, and wood lath from ceiling beams and is useful in lifting heavy objects and the like.