Abstract: An apparatus for verification includes a processing module, a data collection module, an engine selection module and an engine execution module. The processing module processes a netlist using a plurality of engines. The netlist includes components and nodes of an integrated circuit design. Each engine includes an algorithm for verification of the integrated circuit design. The data collection module stores, for each engine, execution results for the engine for a plurality of netlists, the results stored in a history buffer. The engine selection module, for a current netlist, calculates using execution results in the history buffer which engine of the plurality of engines has a highest predicted performance and selects the engine with the highest predicted performance. The engine execution module executes the current netlist using the selected engine to produce execution results, reports the execution results and stores the execution results in the history buffer.

Abstract: A method of surface treating a load-bearing member comprising a tension member and a polymer jacket around the tension member is disclosed. According to the method, a liquid composition including water, a water-soluble organic polyol or a water-soluble organic polymer, and a surfactant is applied to a surface of the polymer jacket.

Abstract: An embodiment method for beam-related information and channel state information feedback includes receiving first analog beamformed reference signals; transmitting a first report indicating a set of selected analog beamformed reference signals and a transmission rank that jointly maximize a first performance criterion for subsequent transmissions by a transmitter that transmitted the first analog beamformed reference signals; receiving second analog beamformed reference signals maximized in accordance with the set of selected analog beamformed reference signals and the transmission rank; and transmitting a second report, in accordance with the second analog beamformed reference signals, indicating a channel quality indicator and a precoding matrix indicator that maximize a second performance criterion for subsequent transmissions by the transmitter that transmitted the first analog beamformed reference signals and the second analog beamformed reference signals.

Abstract: Control plane management based on physical topology of nodes in software-defined networks (SDNs) is provided. Nodes in an SDN are organized into a plurality of node clusters. A cluster of nodes in an SDN is formed and control plane management for the nodes within the cluster is provided. A topology-aware assignment of nodes to controllers in an SDN is provided. Related nodes such as root and corresponding child nodes are assigned to a single cluster in one embodiment to lessen the impacts of controller failure. The assignment of nodes to controllers is also provided based on minimizing traffic between node clusters and between nodes and external networks.

Abstract: Headphone eartips with internal support components and methods for making the same are provided. Different support components may provide specific amounts and types of additional rigidity at specific portions of an exterior surface of an outer eartip body that may be expected to interface with specific portions of an ear canal geometry when an eartip subassembly is positioned within the ear canal, such that the eartip subassembly may conform to the various shapes of the ear canal while maintaining an acoustic seal.

Abstract: In one aspect, a device includes at least one processor and at least one display accessible to the at least one processor. The at least one display includes a left eye portion and a right eye portion. The device also includes storage that is accessible to the at least one processor and that has instructions executable by the at least one processor to present first content on one of the left eye portion and the right eye portion so that the first content is viewable respectively using one of a user's left eye and the user's right eye but not the other of the user's left eye and the user's right eye.

Abstract: Embodiments of a Generation Node-B (gNB) and methods of communication are disclosed herein. The gNB may be configured with logical nodes including a gNB central unit (gNB-CU) and a gNB distributed unit (gNB-DU). The gNB-CU 106 may determine a first precoding matrix and a second precoding matrix for a precoding of one or more data streams for transmission on a plurality of antennas coupled to the gNB-DU. The precoding may be in accordance with a split functionality between the gNB-CU and the gNB-DU that includes: precoding by the gNB-CU with the first precoding matrix, and precoding by the gNB-DU with the second precoding matrix.

Abstract: Methods, systems, and apparatus, including computer programs encoded on a storage device, for generating a three-dimensional map of a property. The method includes storing at least a portion of an initial map modification data structure, receiving an instruction that instructs the robotic device to initiate property mapping, obtaining image data describing a portion of the property that is mounted to the robotic device, analyzing the obtained image data to determine whether the image data depicts a marker, in response to a determination that the obtained image data depicts a marker, determining the pose of the camera that is mounted to the robotic device, updating the initial map modification data structure using the pose of the camera that is mounted to the robotic device, obtaining an initial three-dimensional map of the property; and modifying the initial three-dimensional map of the property based on the updated map modification data structure.

Abstract: A communication management server computer (“server”) and related methods are disclosed to create and store digital records representing alliances between user accounts and to use the alliance records in filtering messages or other content and/or determining attributes of messages or content for display. The server allows two electronic devices associated with two user accounts to establish an alliance, where each of the two user accounts offers a set of digital communications for exploration of relationships and agrees to share certain types of information regarding the relationships with the other user account.

Abstract: Provided are compounds of Formula I: or a pharmaceutically acceptable salt thereof, wherein R1, R2, R3, R4, R5, R6, R7, R8, R9, X and m are as defined herein. Also provided is a pharmaceutically acceptable composition comprising a compound of Formula I, or a pharmaceutically acceptable salt thereof. Also provided are methods of using a compound of Formula I, or a pharmaceutically acceptable salt thereof.

Abstract: A flip-chip sample imaging device with self-aligning lid includes an image sensor chip, a fan-out substrate, and a lid. The image sensor chip includes (a) a pixel array sensitive to light incident on a first side of the image sensor chip and (b) first electrical contacts disposed on the first side and electrically connected to the pixel array. The fan-out substrate is disposed on the first side, is electrically connected to the first electrical contacts, forms an aperture over the pixel array to partly define a sample chamber over the pixel array, and forms a first surface facing away from the first side. The lid is disposed on the first surface of the fan-out substrate, facing away from the first side, to further define the chamber. The lid includes an inner portion protruding into the aperture to align the lid relative to the fan-out substrate.

Abstract: An electronic device package is described. The electronic device package includes one or more dies. The electronic device package includes an interposer coupled to the one or more dies. The electronic device package also includes a package substrate coupled to the interposer. The electronic device package includes a plurality of through-silicon vias (TSVs) in at least one die of the one or more dies, or the interposer, or both. The electronic device package includes a passive equalizer structure communicatively coupled to a TSV pair in the plurality of TSVs. The passive equalizer structure is operable to minimize a level of insertion loss variation in the TSV pair.

Abstract: This disclosure includes several different features suitable for use in circumaural and supra-aural headphones designs. Designs that include earpad assemblies that improve acoustic isolation are discussed. User convenience features that include automatically detecting the orientation of the headphones on a user's head are also discussed. Various power-saving features, design features, sensor configurations and user comfort features are also discussed.

Abstract: The present disclosure relates to endo-beta-mannanases from Paenibacillus and Bacillus spp., polynucleotides encoding such endo-beta-mannanases, compositions containing such mannanases, and methods of use thereof. Compositions containing such endo-beta-mannanases are suitable for use as detergents and cleaning fabrics and hard surfaces, as well as a variety of other industrial applications.

Abstract: An unlock method and system for an air-conditioning unit. The unlock system includes: a display apparatus; an input apparatus; and a control apparatus in communication with the display apparatus and the unlock system is configured to perform the following operations: generating a dynamic graphic according to at least an identification code and an update code; generating an unlock password according to at least a certificate, the identification code and the update code; receiving an unlock password through the input apparatus; comparing the unlock password received from the input apparatus with the generated unlock password; and granting a corresponding permission if the acquired unlock password is consistent with the generated unlock password.

Abstract: This disclosure includes several different features suitable for use in circumaural and supra-aural headphones designs. Designs that include earpad assemblies that improve acoustic isolation are discussed. User convenience features that include automatically detecting the orientation of the headphones on a user's head are also discussed. Various power-saving features, design features, sensor configurations and user comfort features are also discussed.

Abstract: The present disclosure discloses a magnetic liquid sealing device adapted to axial and radial displacements of connection, which includes: an end cover; a rubber-sealing-ring equipped first clamping plate fixed on the end cover by a first screw and a second screw; a rubber-sealing-ring equipped second clamping plate installed in a groove of the end cover; a fundamental sealing structure fixed on the rubber-sealing-ring equipped second clamping plate by a third screw and a fourth screw, so as to be isolated from the end cover by the rubber-sealing-ring equipped first clamping plate and the rubber-sealing-ring equipped second clamping plate. The device isolates the connected component from the magnetic liquid sealing structure by the two clamping plates, such that the axial and radial deformations and displacements of the connected component will not be loaded on parts in magnetic liquid sealing structure, prolonging the service life of the magnetic liquid sealing.

Abstract: The present disclosure discloses a display screen switching method and a mobile terminal. The method is applied to a mobile terminal configured with two display screens, and includes: obtaining position change information of a detected display screen, the detected display screen including either of the two display screens; calculating a flip angle and a flip angular velocity of the detected display screen according to the position change information; and switching, when the flip angle meets a preset switching angle and the flip angular velocity meets a preset switching angular velocity, content currently displayed on a first display screen of the two display screens to a second display screen of the two display screens for display.

Abstract: Embodiments of semiconductor structures for wafer flatness control and methods for using and forming the same are disclosed. In an example, a model indicative of a flatness difference of a wafer between a first direction and a second direction is obtained. The flatness difference is associated with one of a plurality of fabrication stages of a plurality of semiconductor devices on a front side of the wafer. A compensation pattern is determined for reducing the flatness difference based on the model. At the one of the plurality of the fabrication stages, a compensation structure is formed on a backside opposite to the front side of the wafer based on the compensation pattern to reduce the flatness difference.