Abstract: Disclosed herein are ladder polymers comprising fused aromatic and non-aromatic rings. Also disclosed are the manufacture and use of these ladder polymers, e.g., in separation membranes, such as membrane for gas separation.

Abstract: Methods, devices, and systems for generating an image for a building management system are described herein. One device includes using a computing device to import floor plan objects from computer-aided design (CAD) drawings of a building and applying a design language associated with a building management system to the floor plan objects imported from the CAD drawings. Once the design language has been applied to the floor plan objects, an image of the building is generated for use in the building management system.

Abstract: Provided is a compression molding die. The die can be used for compression molding an I-shaped part without the need for machining. The molding die comprises: an outer mold with an inner diameter of d; an upper pressing disc, a lower pressing disc and a huff mold with the same outer diameter of d and the same inner diameter of f; an upper mold; a lower mold; and a core mold with a diameter of h. The upper pressing disc, the huff mold and the lower pressing disc, which are movable vertically, are arranged in the outer mold in a vertically spaced manner; the vertically movable upper mold extends into the upper pressing disc, and the vertically movable lower mold extends into the lower pressing disc; the outer mold, the upper mold, the upper pressing disc, the huff mold, the lower pressing disc and the lower mold define a cavity.

Abstract: Disclosed is the use of Bifidobacterium and berberine in the preparation of a medicament for treating pre-diabetes or type 2 diabetes mellitus. Specifically, the medicament is applicable to pre-diabetic patients, or patients of type 2 diabetes mellitus with fasting plasma glucose (FPG) level being 5.6 mmol/L or more and lower than 8.0 mmol/L, or venous plasma glucose at 2 hours post OGTT being 7.8 mmol/L or more and less than 17 mmol/L.

Abstract: A coherent anti-Stokes Raman scattering microscope imaging apparatus, comprising: a laser light source (21), a two-dimensional oscillating mirror assembly (22), a first light dichroic mirror plate (23), an objective lens (24), a sample translation platform (25), a collection device (26), and a data processing module; the laser light source (21) is used for producing a first laser beam and a second laser beam; the first laser beam and the second laser beam are coaxially emitted; the first laser beam and the second laser beam are incident on the two-dimensional oscillating mirror assembly (22), and the two-dimensional oscillating mirror assembly (22) adjusts the optical path of the first laser beam and the second laser beam; the first laser beam and the second laser beam leaving the two-dimensional oscillating mirror assembly pass in sequence through the first light dichroic mirror plate (23) and the objective lens (24); the objective lens (24) focuses the first laser beam and the second laser beam onto the sam

Abstract: A method, system and computer program product are disclosed for reducing the memory load time for logic simulator. In an embodiment, the method comprises identifying a memory for a program, and selectively loading onto a logic simulator parts of the memory that are pre-determined as parts of the memory that will be accessed by the program when the program is executed on the simulator. In an embodiment, the selectively loading onto a logic simulator parts of the memory includes pre-determining subsets of the memory that will be accessed by the program when the program is executed on the simulator, and loading the pre-determined subsets of the memory on the simulator. In an embodiment, the pre-determining subsets of the memory includes using addresses of the memory that are accessed by the program when the program is executed on a computer system, to create the pre-determined subsets of the memory.

Abstract: A monocular vision-based method for measuring displacement and trajectory of planar motion. In this method, a sequence image of a motion of a high-contrast feature mark fixed on a moving plane to be measured is collected using a camera. A sub-pixel coordinate of a feature edge of a linear motion of the sequence in an X direction and a Y direction is extracted using a sub-pixel edge detection method, and the sub-pixel coordinate is converted into a corresponding world coordinate. The world coordinate of the feature edge is fitted based on a least squares principle to obtain a straight line of the feature edge to realize decoupling measurement of a displacement in the X direction and the Y direction. The planar motion trajectory is obtained through measuring the displacement in the X direction and the Y direction.

Abstract: A six-degree-of-freedom measurement method by machine vision based on physical decoupling. A point projector capable of emitting three laser beams perpendicular to each other is placed on a measured object. A rear-projection screen is configured to allow the three laser beams to be projected thereon as three laser points. The collection of motion images is performed by a camera. Plane coordinates of the three laser points are obtained by processing a sequence image. A mathematical decoupling model is built according to a nature of sphere and a spatial position relationship of three laser beams. The plane coordinates of the three laser points are input into the mathematical decoupling model to obtain six-degree-of-freedom information of the measured object.

Abstract: Embodiments of the present disclosure feature an intrinsically microporous ladder-type Tröger's base polymer including a repeat unit based on a combination of W-shaped CANAL-type and V-shaped Tröger's base building blocks, methods of making the intrinsically microporous ladder-type Tröger's base polymer, and methods of using the intrinsically microporous ladder-type Tröger's base polymer to separate a chemical species from a fluid composition including a mixture of chemical species. Embodiments of the present disclosure further include ladder-type diamine monomers for reacting to form a Tröger's base in situ, and methods of making the ladder-type diamine monomers using catalytic arene-norbornene annulation.

Abstract: Embodiments of the present disclosure provide a method, a system, and a computer readable storage medium for detecting deviations from targeted design performance in accelerator/emulator environment. In an embodiment, the method comprises loading target vales for a performance metric onto a hardware-accelerated simulator; setting breakpoints to pause the simulator at defined intervals; simulating, by the hardware-accelerated simulator, execution of a circuit design. The method further comprises during the simulating, using said breakpoints to pause the simulating at the defined intervals, and during each pause, comparing a measured value for the performance metric to the target value for the performance metric; and ending the simulation when a specified condition based on said comparing is met. In embodiments, when a difference between the measured value for the performance metric and the target value for the performance metric is within a preset tolerance, the pause is ended and the simulation continues.

Abstract: A method, system and computer program product are disclosed for reducing the memory load time for logic simulator. In an embodiment, the method comprises identifying a memory for a program, and selectively loading onto a logic simulator parts of the memory that are pre-determined as parts of the memory that will be accessed by the program when the program is executed on the simulator. In an embodiment, the selectively loading onto a logic simulator parts of the memory includes pre-determining subsets of the memory that will be accessed by the program when the program is executed on the simulator, and loading the pre-determined subsets of the memory on the simulator. In an embodiment, the pre-determining subsets of the memory includes using addresses of the memory that are accessed by the program when the program is executed on a computer system, to create the pre-determined subsets of the memory.

Abstract: This application discloses a map switching method in a virtual game environment performed at a computer device. The method includes: launching a process corresponding to a round of racing game for a client at the computer device, the round of racing game having a plurality of virtual maps that are spliced together and including a first virtual map and a second virtual map that is connected to the first virtual map through a first teleporter; obtaining a travel position of a first virtual racing car in a first virtual map, the first virtual racing car being controlled by a first account logged into the client; and teleporting the first virtual racing car from the first virtual map to the second virtual map in the round of racing game when the travel position reaches the first teleporter in the first virtual map.

Abstract: A surgical navigation method and system (100). The method comprises: optically positioning an ultrasonic probe and puncture needle having been configured with an optical mark piece (S603); acquiring ultrasonic imaging data acquired in real time by the ultrasonic probe (S604); generating a position and trajectory of the puncture needle in an ultrasonic image according to optical positioning information and the ultrasonic imaging data (S605); and synchronously displaying the ultrasonic image, and the position and trajectory of the puncture needle in the ultrasonic image (S606). The system (100) comprises a positioning module (201), an ultrasonic imaging data acquisition module (202), a puncture needle trajectory generation module (203) and a display module (204).

Abstract: A new transaction set is compared to a plurality of transaction sets represented in a Compressed Frequent Item Set (CFIS), wherein the CFIS maintains a count for each transaction set represented in the CFIS. When the new transaction set matches a transaction set represented in the CFIS, the count for the matching transaction set in the CFIS is incremented. When the new transaction set does not match any transaction sets represented in the CFIS, the new transaction set is added to the CFIS. If there are intersections between two or more events of the new transaction set and the events of the plurality of transaction sets represented in the CFIS, the count for the transaction sets in the CFIS that intersect with two or more of the events of the new transaction set is incremented.

Abstract: A shape sensing apparatus for tissue and surgical procedures comprising a processing means and a tunable light source. At least one shape sensing fiber can be used with the shape sensing fiber having a plurality of individual sensing fiber cores having a fiber Bragg grating distributed within the fiber. An optical switch configured to sequentially switch between a multiplex of individual fibers inside the shape sensing fiber for signal detection can be included and a detector can be used to detect the fiber signals. An augmented reality system that receives the tracking data from the shape sensing apparatus, and superimposes visual guidance on its display for precise and intuitive surgical guidance.

Abstract: This disclosure provides improved lipid-based compositions, including lipid nanoparticle compositions, and methods of use thereof for delivering agents in vivo including nucleic acids and proteins.

Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for information retrieval. One of the methods includes receiving a search query from a user device at a messaging system; determining one or more relevant messages responsive to the search query, the determining comprising: processing the search query using a first stage of a ranking system, the first stage using a first set of features to identify a first set of relevant message, processing the search query using a second stage of the ranking system, the second stage using a second set of features and the first set of relevant messages to determine a second set of relevant messages, and ranking the second set of relevant messages according to respective scores; and providing one or more results to the user device for display as search results.

Abstract: A method for structured text detection includes: receiving, by a convolutional neural network, a to-be-detected image and at least one character region template, the to-be-detected image includes structured text, the at least one character region template includes locations of N first character regions with N being an integer equal to or greater than 1, and the location of each first character region is obtained based on locations of second character regions corresponding to the each first character region in M sample images that are of the same type as the to-be-detected image, where M is an integer equal to or greater than 1; and obtaining, by the convolutional neural network, an actual location of the structured text in the to-be-detected image according to the at least one character region template. A system for structured detection and a non-transitory computer-readable medium are also provided.

Abstract: Provided are a substituted tricyclic heterocyclic compound of formula I or a stereoisomer, a tautomer, an N-oxide, a hydrate, a solvate, a metabolite, a pharmaceutically acceptable salt, ester or a prodrug thereof, a pharmaceutical composition including the same and uses thereof. The substituted tricyclic heterocyclic compounds and the pharmaceutical compositions comprising the compounds disclosed herein can be used for treating a disorder caused by at least one of cancer and neurodegenerative diseases. Further the compounds and the pharmaceutical compositions comprising the compounds disclosed herein can be also used for preventing or treating a disorder caused by, associated with or accompanied by any abnormal kinase activity.

Abstract: Features related to systems and methods for predictive estimation for network inventory planning for items for distribution through a multi-echelon network are disclosed. The problem may be modeled to account for demand for an item that may be satisfied by fulfillment centers within the network. The model considers benefits to ensuring adequate inventory to meet expected demand streams along with any savings accruing from a lower transfer and salvage costs.