专利号:US-12288127-B2 优先权日:2020-10-09 标 题:Efficient synthesis of optimal multi-qubit Clifford circuits 发明人:BRAVYI SERGEY; LATONE JOSEPH; MASLOV DMITRI 权利人:IBM 摘要:Systems and techniques that facilitate efficient synthesis of optimal multi-qubit Clifford circuits are provided. In various embodiments, a system can receive as input a number n representing a quantity of qubits. In various instances, the system can generate, via a cost-invariant reduction function, as output a library of different n-qubit canonical representatives that respectively correspond to different cost-invariant equivalence classes of n-qubit Clifford group elements. In various embodiments, a system can receive as input a first Clifford group element. In various aspects, the system can search a database of canonical representatives, wherein different canonical representatives in the database respectively correspond to different cost-invariant equivalence classes of Clifford group elements. In various cases, the system can identify based on the search a second Clifford group element that implements the first Clifford group element and that has a lower entangling-gate cost than the first Clifford group element.
专利号:WO-2022170218-A1 优先权日:2021-02-05 标题:Intramolecular cyclization for general synthesis of bicyclic alkyl bioisostere boronates 发明人:QIN TIAN; YANG YANGYANG; TSIEN JET 权利人:UNIV TEXAS 摘要:Disclosed herein are methods of synthesizing compounds of the formula (I) wherein the variables are defined herein. Also provided are compounds produced using these methods. In some aspects, the methods provided herein may be used to install aryl bioisosteres.
专利号:US-2023394212-A1 优先权日:2022-06-01 标 题:Equivalence checking of synthesized logic designs using generated synthesis history 发明人:IVRII ALEXANDER; BAUMGARTNER JASON RAYMOND; KANZELMAN ROBERT LOWELL; WILLIAMS MARK ALLEN; CHOUDHURY MIHIR; AKHTER AYESHA 权利人:IBM 摘要:An example system includes a processor to receive a high-level design representation of a system architecture. The processor can synthesize a logic design and generate an associated synthesis history based on the high-level hardware design representation. The processor can then execute an equivalence check between the high-level design and the synthesized logic design based on the generated synthesis history.
专利号:US-2025103305-A1 优先权日:2023-09-27 标题 :Iterative policy-guided program synthesis 发明人:BUTT NATASHA; WIGGERS AUKE JORIS; RAINONE CORRADO; MANCZAK BLAZEJ JAKUB; COHEN TACO SEBASTIAAN 权利人:QUALCOMM TECHNOLOGIES INC 摘要:Systems and techniques are described for providing iterative policy-guided program synthesis. For example, a device may generate, based on a policy that receives input-output data of one or more tasks as input, a first set of programs, add the first set of programs and the input-output data to the training dataset to generate an updated training dataset, train the policy based on the first set of programs and the input-output data to generate an updated policy, identify, based on the updated policy, a second set of programs for second input-output data for a second set of tasks, add the second set of programs and second input-output data to the updated training dataset to generate a second updated training dataset; and train the updated policy based on the second set of programs and the second input-output data to generate a second updated policy.
专利号:CN-112961888-B 优先权日:2021-03-03 标题:Application of a Recombinase in the Synthesis of Glucan Containing α-(1,2) Glycosidic Bonds
专利号:WO-2024239730-A1 优先权日:2023-05-25 标 题 :Clostridium-derived quorum sensing peptide, preparation method and use 发明人:XUE CHUANG; REN SHIJIE 权利人:UNIV DALIAN TECH; DALIAN UNIV OF TECHNOLOGY NINGBO RESEARCH INSTITUTE 摘要:Provided are a Clostridium-derived quorum sensing peptide, a preparation method and the use, belonging to the field of biotechnology and medicines. A quorum sensing peptide (QSP) derived from Clostridium tyrobutyricum is successfully identified by means of combination of LC-MS/MS and genetics. The quorum sensing peptide is a linear peptide encoded by 12 amino acids, the amino acid sequence thereof being Gly-Ile-Val-Leu-Val-Pro-Thr-Ser-Leu-Val-Ser-Gly, and is named GIVL. In addition, Clostridium tyrobutyricum is an important industrial microorganism and novel probiotics, so that the obtained quorum sensing peptide is natural, safe and efficient. The result represents that the GIVL has α-glucosidase inhibition and hypoglycemic activities, has a simple structure, facilitates artificial synthesis, and has a good application prospect as a novel, promising and high-safety candidate drug for diabetes.