Abstract: Embodiments of the present disclosure relate to semantic parsing for short text. According to embodiments of the present disclosure, a method is proposed. The method comprises: obtaining a set of sentences associated with a short text, each of the set of sentences containing all of words in the short text; determining a set of syntactic features associated with the set of sentences, each of the set of syntactic features indicating at least one of a constituency relation and a dependency relation of the corresponding sentence; and determining a semantic structure of the short text based on the set of syntactic features.

Abstract: Techniques for optimizing and deploying deep neural network (CNN) machine learning models for inference using static analysis are described. A method includes obtaining a deep neural network (DNN) machine learning (ML) model, generating an intermediate representation for the ML model, the intermediate representation including one or more nodes corresponding to one or more operators utilized by the ML model, identifying, for at least one node of the intermediate representation, an optimized schedule for at least one operator corresponding to the at least one node using a static analysis that is based on a hardware-specific cost model, generating an optimized intermediate representation using the optimized schedule that is optimized for execution on a hardware platform, and generating code corresponding to the ML model based at least in part on the optimized intermediate representation, wherein the code is specific to the hardware platform.

Abstract: A method for implementing formal verification of an optimized multiplier via symbolic computer algebra (SCA)-satisfiability (SAT) synergy includes: systematically recovering, by a reverse engineering algorithm, an adder tree from an optimized multiplier; 2) generating, by a constraint satisfaction algorithm, a reference multiplier only by using an adder based on a constraint condition; and 3) combining, by an SCA-based and SAT-based verification method, complementary advantages of SCA and SAT. In the verification framework, the method introduces a reference multiplier generator for generating a correct reference multiplier. The correct reference multiplier has both a structure similar to a structure of the optimized multiplier and a clear adder boundary. The clear adder boundary allows proving correctness of the correct reference multiplier through SCA-based verification.

Abstract: A cleaning attachment and rotary tool for cleaning are provided. A cleaning attachment includes a housing, a plurality of bristles, and a drive shaft extending from the housing in an axial direction, the drive shaft being coupled to the housing such that rotation of the drive shaft causes rotation of the housing. The housing includes a reservoir, a valve for dispensing the fluid from the reservoir, and at least one resilient element surrounding an axis defined by the drive shaft. Translation of the drive shaft along the axial direction causes compression of the resilient element, and compression of the resilient element causes the valve to open to dispense fluid from the reservoir. A rotary tool for cleaning includes the cleaning attachment and a rotary tool having a motor, power source, and a chuck configured to receive the drive shaft of the cleaning attachment.

Abstract: In an approach, a processor performs document layout analysis on a document generating a plurality of textual regions; extracts characteristics from each of the plurality of textual regions and associates the respective characteristics to the respective textual region as metadata; classifies each of the plurality of textual regions as an optical character recognition (OCR) region, non-OCR valuable region, or non-OCR non-valuable region using a classifier; performs OCR on each OCR region generating an OCR output; identifies associated constant OCR data from a constant OCR data repository for each non-OCR valuable region; merges the associated constant OCR data with the OCR output generating a complete OCR data for the received document; performs data extraction on the complete OCR data to identify data fields and key-value pairs generating extracted data; and determines whether the extracted data is valid based on a set of rules.

Abstract: A battery cell includes an electrode assembly and a packaging bag, where the electrode assembly includes a tab, the packaging bag is configured to accommodate the electrode assembly, a sealing zone is formed on a periphery of the packaging bag, one end of the tab is electrically connected to a body of the electrode assembly, and an other end of the tab protrudes out of the sealing zone; the sealing zone is provided with a weak zone, and in a predetermined temperature range, a packaging tension of the weak zone in the packaging bag reduces to release gas inside the battery cell to the outside of the battery cell.

Abstract: Disclosed are a compound of formula I or a pharmaceutically acceptable salt thereof, and use thereof in regulating and controlling an EGFR tyrosine kinase activity or preventing and treating an EGFR-related disease. The EGFR inhibitor of formula I has an inhibitory activity on EGFR D770-N771 ins NPG and NPG/T790M kinases, and an inhibitory effect on an EGFR-Del19/T790M/C797S kinase and cell proliferation of a KC-0122:Ba/F3EGFR-L858R/T790M/C797S three-mutation cell line and a KC-0116:Ba/F3EGFR-Del19/T790M/C797S three-mutation cell line.

Abstract: A high voltage direct-mounted energy storage method and system for eliminating a frequency multiplying current in battery charge and discharge is provided.

Abstract: Implementations of the present disclosure relate to methods, devices, and computer program products of extracting a feature for multimedia data that comprises a plurality of medium types. In a method, a first feature is determined for a first medium type in the plurality of medium types by masking a portion in a first medium object with the first medium type. A second feature is determined for a second medium type other than the first medium type in the plurality of medium types. The feature is generated for the multimedia data based on the first and second features. With these implementations, multiple medium types are considered in the feature extraction, and thus the feature may fully reflect various aspects of the multimedia data in an accurate way.

Abstract: A preparation method for a spherical or angular powder filler, comprising: providing spherical or angular siloxane comprising a T unit, wherein the T unit is R1SiO3?, and R1 is a hydrogen atom or an organic group which can be independently selected from carbon atoms 1-18; and performing heat treatment on the spherical or angular siloxane under an inert gas atmosphere or atmospheric atmosphere, the heat treatment temperature being between 250 degrees and 650 degrees, so that silicon hydroxyl groups in the spherical or angular siloxane are condensed to obtain the spherical or angular powder filler. In the unit T of the spherical or angular powder filler, the content of the unit without containing a hydroxyl group in the total unit is greater than or equal to 95%, and the content of the unit containing one hydroxyl group in the total unit is less than or equal to 5%. Also disclosed are the spherical or angular powder filler obtained by the preparation method, and application thereof.

Abstract: A system, method, and computer program product are configured to extract key value pair (KVP) data from one or more documents; obtain a content index for the one or more documents; and enhance the content index with the KVP data to provide a KVP content index.

Abstract: The present invention provides a method for managing heat-electric outputs of a high-proportion new energy system based on CSP-CHP combined energy supply, which belongs to the field of new energy system optimization and are used for solving the problems of insufficient flexibility of the high-proportion new energy system during the heating period and difficult consumption of renewable energy. The method includes: establishing a concentrating solar power (CSP) unit model and a combined heat and power (CHP) unit model based on the built structure; establishing a collaborative optimization model of the high-proportion new energy system based on the proposed unit models; acquiring relevant data of various units and renewable resource data; obtaining a sum of hourly electric power outputs and a sum of hourly heat outputs; and controlling a heat storage apparatus to store or output a certain amount of heat energy.

Abstract: The present application provides a power module, including a first side plate, a second side plate, and an insulating board. The insulating board includes a flat plate portion, at least one protrusion portion, and at least one connecting bridge, the flat plate portion is parallel to a plane formed by a first direction and a second direction; at least one of the protrusion portion and the connecting bridge protrudes along a third direction to form an insulation cavity; the insulating board, the first side plate, and the second side plate in combination form a first accommodating space and a second accommodating space along the third direction, the first accommodating space is provided with a first power device, and the second accommodating space is provided with a second power device; and a transformer, including a magnetic core and a winding wound on the magnetic core.

Abstract: Methods of forming copper interconnects are described. A doped tantalum nitride layer formed on a copper layer on a substrate has a first amount of dopant. The doped tantalum nitride layer is exposed to a plasma comprising one or more of helium or neon to form a treated doped tantalum nitride layer with a decreased amount of dopant. Apparatus for performing the methods are also described.

Abstract: In a method for controlling illumination in a virtual environment, a current position of a virtual object in the virtual environment is obtained. A target virtual light source is identified based on the current position. Reference pose data for the target virtual light source is determined based on a reference position of the virtual object. A pose offset for the target virtual light source is calculated based on the movement of the virtual object from the reference position to the current position. The reference pose data is updated based on the pose offset to obtain target pose data for the target virtual light source. Target illumination data is obtained based on illumination data of the target virtual light source. The illumination for the virtual object is rendered based on the target illumination data and the target pose data of the target virtual light source.

Abstract: The present provides a device for monitoring seeding and a method thereof, comprising a monitoring sensor and an algorithm control module, wherein the monitoring sensor comprises a first sensor-channel emitting end, a first sensor-channel receiving end, a second sensor-channel emitting end and a second sensor-channel receiving end, and are arranged, in a two-channel opposite-emission photoelectric induction mode, on two sides of a seed belt, respectively; and the algorithm control module is configured to perform counting of seeding, reseeding and missed seeding, monitoring of seed deficiency and seed blockage according to a duration time of a first low level and an interval time of two adjacent falling edges of signals of the two sensor-channels; further, to perform monitoring of a rotating speed of a motor according to an interval time of two adjacent falling edges of signals of the second sensor-channel.

Abstract: Disclosed embodiments provide techniques for creating a smaller version of an original document. An ontology is defined, and a document type for an original document is determined, based on the ontology. Multiple key-value pairs (KVPs) are extracted from the original document based on the document type. Pages in the original document that include one or more KVPs are identified, and the smaller, condensed version includes the identified pages from the original document.

Abstract: A hydrogen storage-compression system has a hydrogen storage-compression apparatus and a thermal management system. The apparatus includes a casing and a plurality of storage-compression units mounted within an internal chamber of the casing. Each storage-compression unit includes a container and a metal hydride for hydrogen storage-compression contained within the container. The storage-compression containers are interconnected by a hydrogen gas circuit flow system to a hydrogen inlet and outlet for connection to a hydrogen consumer and a hydrogen source. The thermal management system includes a thermal liquid circuit system and a heat exchanger system. The circuit system includes a closed loop thermal liquid flow circuit, a thermal liquid flowing within the flow circuit, and a pump for pumping the thermal liquid in the flow circuit.