Abstract: A method for model checking path reduction based on interpolation comprises: reading a C program, performing grammatical and semantic analysis on the C program, and extracting CFG from an abstract syntax tree; adding safety (S) interpolation and error (E) interpolation to the CFG and extending the CFG; in a process of generating ARG according to the CFG, determining, in each state, whether the safety interpolation and the error interpolation are implied by current path formula. The method improves the verification efficiency by computing the S interpolation and the E interpolation, which makes the algorithm of the model checking a better use in large-scale programs. The S interpolation can be used to avoid the unnecessary traversal, greatly reducing the number of ARG state. The E interpolation can be used to quickly determine whether there is a true counterexample in the program, accelerating the program's verification and improving the efficiency.

Abstract: Provided herein is an orthoptic method of improving depth-perception in an individual. Devices, systems and kits for performing the present method are also provided.

Abstract: The image decoding method according to the present invention comprises the steps of: determining the availability of a block adjacent to a current block; configuring a merge candidate list for the current block on the basis of the result of the determined availability; and performing motion compensation for the current block on the basis of the merge candidate list, wherein the step of determining availability comprises the steps of inducing block availability information on the adjacent block and inducing the availability of motion information on the adjacent block, and the step of determining the availability of the adjacent block is such that when there is more than one adjacent block, the availability of adjacent blocks can be determined in accordance with a predetermined order restriction.

Abstract: The present invention relates to use an Inertial Measurement Unit (IMU) to record the acceleration trajectory of a person's gait or pen-less handwriting motion or any predesignated gestures, and to convert the data to a unique biometric pattern. The pattern is unique for each case and can be used as biometric security authentication.

Abstract: A system and method for the label-free analysis of cells includes a purification device configured to receive a heterogeneous population of cells, the purification device temporarily trapping therein a subpopulation of cells from the heterogeneous population of cells and a cell analysis device positioned downstream of the purification device and configured to measure one or more cellular parameters including cell count, measured cell size, and/or cell morphology. In an alternative embodiment, the subpopulation of cells is analyzed while they are trapped within the purification device.

Abstract: The present disclosure relates to tertiary amine co-initiators that demonstrate reduced leaching and which may be utilized in dental restoration and other biomedical applications. Embodiments of the present disclosure provide compounds and compositions for use in preparing polymers and light curable dental resin composites, as well as methods for preparing photocurable polymer-based dental restorative materials. In one or more disclosed embodiments, a co-initiator for use in preparing a polymer comprises a tertiary amine core and two or more pendant, terminal methacrylate groups. In some embodiments, the co-initiator may also act as a co-monomer in a co-polymerization reaction.

Abstract: Certain aspects of the present invention generally relate to compositions and methods for treating a bone disease, for example a genetic bone disease. In one embodiment the bone disease is fibular hemimelia, proximal femoral focal deficiency, tarsal coalition or humeroradial synostosis.

Abstract: A micropump includes a body with an inlet and an outlet defined therein. A channel connects the inlet to the outlet. The micropump further includes a magnetic shape memory (MSM) alloy positioned within the channel. The MSM alloy selectively forms a barrier between the inlet and the outlet. The micropump also includes an electrode and/or a transparent window positioned along a surface of the channel. A cavity is selectively formed within a surface of the MSM alloy due to a magnetic field. The cavity is selectively moveable between a first position adjacent to the inlet, a second position adjacent to the electrode and/or the transparent window, and a third position adjacent to the outlet, by altering the magnetic field. By altering a magnetic field applied to the MSM alloy, a fluid may be pumped from the inlet to the electrode and/or the transparent window where the fluid may be analyzed. The fluid may be subsequently pumped to the outlet.

Abstract: A passive NOX adsorbent includes: palladium, platinum or a mixture thereof and a mixed or composite oxide including the following elements in percentage by weight, expressed in terms of oxide: 10-90% by weight zirconium and 0.1-50% by weight of least one of the following: a transition metal or a lanthanide series element other than Ce. Although the passive NOX adsorbent can include Ce in an amount ranging from 0.1 to 20% by weight expressed in terms of oxide, advantages are obtained particularly in the case of low-Ce or a substantially Ce-free passive NOx adsorbent.

Abstract: Thienopyridinone compounds of Formula (I) and pharmaceutically acceptable salts thereof are described. In these compounds, one of X1; X2, and X3 is S and the other two are each independently CR, wherein R and all other variables are as defined herein. The compounds are shown to inhibit HPK1 kinase activity and to have in vivo antitumor activity. The compounds can be effectively combined with pharmaceutically acceptable carriers and also with other immunomodulatory approaches, such as checkpoint inhibition or inhibitors of tryptophan oxidation. Formula (I).

Abstract: This invention relates generally to the discovery of an improved method to differentiate histiocytic malignancy from lymphoma or hemangiosarcoma in dogs.

Abstract: An orthotic obstructive sleep apnea treatment device is provided that includes a hyoid bone attachment element disposed to attach a ferric element to a hyoid bone, where the ferric element is disposed to face along a treatment vector from the hyoid bone, and the treatment vector is oriented relative to a sagittal plane of a human. The orthotic obstructive sleep apnea treatment device further includes an external orthotic neck device having a contoured housing with a shape disposed to conform about a neck of the human subject, where the housing includes a force delivery element disposed at an exterior-front neck region of the human subject and is disposed to provide an attractive force to the ferric element along the treatment vector. A force sensor is disposed to measure a force exerted on the hyoid bone, a skin contact pressure, tissue compression between the ferric element and the force delivery element.

Abstract: A mouse for magnetic resonance, comprising an upper shell (1), a lower shell (2), a trackball (3), a circuit board (4) and a cable (5), wherein the inner surfaces of the upper shell (1) and the lower shell (2) are coated with a silver and copper conductive paint layer, the concentration of a silver and copper conductive paint being 13% to 17%; and a manufacturing method for the mouse for magnetic resonance, and a signal transmission apparatus are further comprised. The clinical usage of functional magnetic resonance can be satisfied, a signal interference is avoided, and it is ensured that a remote computer accurately receives a response of a subject.

Abstract: The invention discloses a use of asarinin in preparation of medicines for treating various coughs. The asarinin is used for preparing medicines for treating various coughs separately or in combination with other medicines. The asarinin can be extracted by an SFE-CO2 method. The asarinin and usable drug carriers or excipients are made into various formulations. And the formulations are granules, tablets, capsules, soft capsules, pills, dripping pills, ointments, syrups, injection, oral liquid, tinctures, sustained-releasing drugs, controlled release drugs or targeting preparations.

Abstract: A pupil detection system according to an embodiment includes a vector calculation unit configured to calculate a plurality of candidate vectors each connecting a corneal sphere center and a pupil center by a stereo method based on a first pupil image of a subject which is picked up by a first camera and a second pupil image of the subject which is picked up by a second camera, and a determination unit configured to select, from among the plurality of candidate vectors, a candidate vector satisfying a vector condition in which an angle between the pupil center and a reference line is equal to or less than a predetermined threshold and determine that a pupil is located at a pupil center corresponding to the selected candidate vector.

Abstract: An image sensor includes a pixel array in which auto-focus (AF) pixels and image capture pixels are arranged. Wherein at least one of the AF pixels comprises: a color filter layer; and first and second microlenses arranged over the color filter layer, and formed in a region of the at least one AF pixel in a widthwise direction of the color filter layer.

Abstract: Whether a fetus has an aneuploidy associated with a first chromosome is detected using ratios of alleles detected in a maternal sample having a mixture of maternal and fetal DNA. DNA from the sample is enriched for target regions associated with polymorphic loci and then sequenced. Polymorphic loci (e.g., single nucleotide polymorphisms) in the target regions with fetal-specific alleles are identified on a first chromosome and on one or more reference chromosomes. A first ratio of the fetal-specific alleles and shared alleles is determined for the loci on the first chromosome. A second ratio of the fetal-specific alleles and shared alleles is determined for the loci on the reference chromosome(s). A third ratio of the first and second ratio can be compared to a cutoff to determine whether an aneuploidy is present, and whether the aneuploidy is maternally-derived or paternally-derived.

Abstract: The present disclosure relates to a pre-5th-Generation (5G) or 5G communication system to be provided for supporting higher data rates Beyond 4th-Generation (4G) communication system such as Long Term Evolution (LTE). According to various embodiments of the present disclosure, a method for operating a receiving device in a wireless communication system is provided. The method includes receiving a signal from a transmitting device which includes a plurality of transmit antennas, determining, based on the signal, multiple symbol vectors from symbol vectors possibly transmitted from a first transmit antenna and a second transmit antenna of the plurality of transmit antennas, and determining combinations of symbols transmitted from the first transmit antenna and the second transmit antenna by searching, for each of the multiple symbol vectors, at least one other symbol vector within a first preset distance from each of the multiple symbol vectors.

Abstract: The present invention relates to the fields of medicine, cell biology, molecular biology and genetics. In particular, the present invention provides methods to isolate and purify microvesicles from cell culture supernatants and biological fluids. The present invention also provides pharmaceutical compositions of microvesicles to promote or enhance wound healing, stimulate tissue regeneration, remodel scarred tissue, modulate immune reactions, alter neoplastic cell growth and/or mobility, or alter normal cell growth and/or mobility. The present invention also provides compositions of microvesicles to be used as diagnostic reagents, and methods to prepare the compositions of microvesicles.