Satisfiability Modulo Theories for Verifying MILP Certificates

Authors: Wood, Kenan, Zhou, Runtian, Wu, Haoze, Mendes, Hammurabi, Pulaj, Jonad

Subject Terms: Computer Science - Logic in Computer Science

Access URL: http://arxiv.org/abs/2312.10420

Lollipop and Cubic Weight Functions for Graph Pebbling

Authors: Yang, Marshall, Yerger, Carl, Zhou, Runtian

Subject Terms: Mathematics - Combinatorics

Access URL: http://arxiv.org/abs/2310.00580

Outerplanar Tur\'an number of a cycle

Authors: Győri, Ervin, Moura, Guilherme Zeus Dantas e, Zhou, Runtian

Subject Terms: Mathematics - Combinatorics

Access URL: http://arxiv.org/abs/2310.00557

The planar Tur\'an number of $\{K_4,C_5\}$ and $\{K_4,C_6\}$

Authors: Győri, Ervin, Li, Alan, Zhou, Runtian

Subject Terms: Mathematics - Combinatorics

Access URL: http://arxiv.org/abs/2308.09185

Structure and Noise in Dense and Sparse Random Graphs: Percolated Stochastic Block Model via the EM Algorithm and Belief Propagation with Non-Backtracking Spectra

Authors: Bolla, Marianna, Reittu, Hannu, Zhou, Runtian

Subject Terms: Mathematics - Combinatorics, Statistics - Methodology, 05C50, 05C80, 62H30

Access URL: http://arxiv.org/abs/2307.16502

The planar Tur\'an number of the seven-cycle

Authors: Győri, Ervin, Li, Alan, Zhou, Runtian

Subject Terms: Mathematics - Combinatorics

Access URL: http://arxiv.org/abs/2307.06909

This result is not displayed to guests.
Login for full access.

Block-STM: Scaling Blockchain Execution by Turning Ordering Curse to a Performance Blessing

Authors: Gelashvili, Rati, Spiegelman, Alexander, Xiang, Zhuolun, Danezis, George, Li, Zekun, Malkhi, Dahlia, Xia, Yu, Zhou, Runtian

Subject Terms: Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Performance

Access URL: http://arxiv.org/abs/2203.06871

VviMYB24 positively regulates flavonol biosynthesis in response to moderate drought stress in ‘Cabernet Sauvignon’ grape seedlings

Authors: Tan, Yiting ^a, Zhao, Wei ^{b, c}, Zhou, Runtian ^a, Wang, Beibei ^a, Liu, Yafei ^a, Ge, Wenjing ^a, Liang, Jinjun ^{a, c, ⁎}, Zhao, Qifeng ^{b, c, ⁎}, Wen, Pengfei ^{a, c, ⁎}

Source: In Scientia Horticulturae 1 December 2024 338

This result is not displayed to guests.
Login for full access.

Identification of Two R2R3-MYB Genes Involved in Flavan-3-Ols Biosynthesis as Modulated by Salicylic Acid Through RNA-Seq in Grape Berries (Vitis spp.).

Authors: Yu, Fengchan, Zhai, Pengfei, Ge, Wenjing, Zhou, Runtian, Zan, Shuwen, Liang, Jinjun, Wen, Pengfei, Gao, Yu Gary

Source: Agriculture; Basel; Nov2024, Vol. 14 Issue 11, p2069, 15p

Subject Terms: VITIS vinifera, PLANT metabolites, METABOLITES, PLANT hormones, CELLULAR signal transduction

The Planar Turán Number of {K4,C5} and {K4,C6}.

Authors: Győri, Ervin, Li, Alan, Zhou, Runtian

Source: Graphs & Combinatorics; Oct2024, Vol. 40 Issue 5, p1-12, 12p

UV-C Promotes the Accumulation of Flavane-3-ols in Juvenile Fruit of Grape through Positive Regulating VvMYBPA1.

Authors: Liang, Jinjun, Guo, Jianyong, Liu, Yafei, Zhang, Zening, Zhou, Runtian, Zhang, Pengfei, Liang, Changmei, Wen, Pengfei

Source: Plants (2223-7747); Apr2023, Vol. 12 Issue 8, p1691, 12p

Subject Terms: FRUIT, GRAPES, VITIS vinifera, TRANSCRIPTION factors, PROANTHOCYANIDINS