SUMMER: Recursive Zero-Knowledge Proofs for Scalable RNN Training

Συγγραφείς: Li, Yuange, Fan, Xiong

Πηγή: 2026 IEEE 11th European Symposium on Security and Privacy (EuroS&P) EUROSP Security and Privacy (EuroS&P), 2026 IEEE 11th European Symposium on. :99-117 Jul, 2026

Relation: 2026 IEEE 11th European Symposium on Security and Privacy (EuroS&P)

RzkFL: a Verifiable, Fast and Privacy-Preserving Framework for Federated Learning Inference Using Recursive Zero-Knowledge Proofs and on-Chain Verification

Συγγραφείς: Alipanahloo, Zeinab, Duchesne, Michael, Zhang, Kaiwen

Πηγή: 2025 IEEE International Conference on Blockchain (Blockchain) BLOCKCHAIN Blockchain (Blockchain), 2025 IEEE International Conference on. :141-150 Oct, 2025

Relation: 2025 IEEE International Conference on Blockchain (Blockchain)

Strengthening Recursive Constructions for Zero-Error Shannon Capacity

Συγγραφείς: Tandon, Ravi

Θεματικοί όροι: Information Theory, Machine Learning, Combinatorics

Σύνδεσμος πρόσβασης: https://arxiv.org/abs/2608.30273

Guppy: Efficient Light Clients via Recursive Zero-Knowledge Proofs

Συγγραφείς: Danezis, George, Maram, Deepak, Roy, Arnab, Sonnino, Alberto, Wüst, Karl

Θεματικοί όροι: Cryptography and Security

Σύνδεσμος πρόσβασης: https://arxiv.org/abs/2609.07963

Multi-chain Storage Scheme Based on Hash Calendar and Recursive Zero-knowledge Proof

Συγγραφείς: Wang, Chao, Yao, Zhongyuan, Zhang, Yong, Guo, Shangkun, Zhao, Lindong, Si, Xueming

Πηγή: 2022 2nd International Conference on Computer Science and Blockchain (CCSB) CCSB Computer Science and Blockchain (CCSB), 2022 2nd International Conference on. :66-72 Oct, 2022

Relation: 2022 2nd International Conference on Computer Science and Blockchain (CCSB)

HaloMed: Efficient Recursive Zero-Knowledge Proofs Using Pasta Curves for Privacy-Preserving Healthcare Data Verification

Συγγραφείς: Linda Handayani, Eri P. Wibowo, Avinanta Tarigan, Asep Juarna

Πηγή: Journal of Advances in Information Technology. 17:352-366

ERSF-AS: Explainable recursive zero-shot anomaly segmentation with spatial-frequency priors via CLIP-SAM collaboration

Συγγραφείς: Ju, Cheng, Xie, Yuansha, Wang, Zhongrong, Zhao, Yu, Yan, Wenyao

Πηγή: In Neurocomputing 28 September 2026 695

Stochastic Recursive Zero-Sum Differential Game and Mixed Zero-Sum Differential Game Problem with Payoff Functional in BDSDES

Συγγραφείς: Jia, Renwei, Wei, Lifeng, Liu, Xiaodong

Πηγή: 2020 IEEE 3rd International Conference of Safe Production and Informatization (IICSPI) Safe Production and Informatization (IICSPI), 2020 IEEE 3rd International Conference of. :337-342 Nov, 2020

Relation: 2020 IEEE 3rd International Conference of Safe Production and Informatization (IICSPI)

Recursive Zero-COVID model and quantitation of control efforts of the Omicron epidemic in Jilin province

Συγγραφείς: Rong, Xinmiao ^a, Chu, Huidi ^b, Yang, Liu ^b, Tan, Shaosi ^b, Yang, Chao ^b, Yuan, Pei ^c, Tan, Yi ^c, Zhou, Linhua ^f, Liu, Yawen ^d, Zhen, Qing ^d, Wang, Shishen ^e, Fan, Meng ^{b, ∗}, Zhu, Huaiping ^c

Πηγή: In Infectious Disease Modelling March 2023 8(1):11-26

On the Applications of the Recursive Property of the Zero-Suppressed Binary Decision Diagram

Συγγραφείς: Lim Brian Godwin Sy

Θεματικοί όροι: combinatorial problems, discrete optimization, path survival reliabilities, recursive algorithms, statistical moments, zero-suppressed binary decision diagram

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://ndlsearch.ndl.go.jp/books/R100000039-I14550516

Degree: 博士（工学） -- 奈良先端科学技術大学院大学

Recursive zero coprime equivalence of nD polynomial matrices

Συγγραφείς: Dongmei Li, Zuo Chen

Πηγή: IMA Journal of Mathematical Control and Information. 42

Structured Prompt Interrogation and Recursive Extraction of Semantics (SPIRES): a method for populating knowledge bases using zero-shot learning

Συγγραφείς: Caufield, J Harry, Hegde, Harshad, Emonet, Vincent, Harris, Nomi L, Joachimiak, Marcin P, Matentzoglu, Nicolas, Kim, HyeongSik, Moxon, Sierra, Reese, Justin T, Haendel, Melissa A, Robinson, Peter N, Mungall, Christopher J

Πηγή: Bioinformatics. 40(3)

Θεματικοί όροι: 4605 Data Management and Data Science (for-2020), 46 Information and Computing Sciences (for-2020), Networking and Information Technology R&D (NITRD) (rcdc), Generic health relevance (hrcs-hc), Semantics (mesh), Knowledge Bases (mesh), Databases, Factual (mesh), Semantics (mesh), Databases, Factual (mesh), Knowledge Bases (mesh), Semantics (mesh), Knowledge Bases (mesh), Databases, Factual (mesh), 01 Mathematical Sciences (for), 06 Biological Sciences (for), 08 Information and Computing Sciences (for), Bioinformatics (science-metrix), 31 Biological sciences (for-2020), 46 Information and computing sciences (for-2020), 49 Mathematical sciences (for-2020)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://escholarship.org/uc/item/7b51j34r
https://escholarship.org/content/qt7b51j34r/qt7b51j34r.pdf

A survey of folding-based zero-knowledge proofs

Συγγραφείς: Sakwa, Cyprian Omukhwaya ^{a, ⁎}, Anyembe, Andrew Omala ^a, Li, Fagen ^b

Πηγή: In Information Sciences January 2026 724

00: The Recursive Zero and the Layered Abstraction of Number

Συγγραφείς: Bolter, Barry Brian

Συνεισφορές: Bolter, Barry Brian

Θεματικοί όροι: Double zero (00), Programming Languages (Semantics, Type Systems), Foundations of Mathematics, Zero asymmetry, Theory of Computation, Recursive Representation Models, Mathematical abstraction, Formal systems, Recursive computation, Closure and abstraction, Ontology of Abstraction, Philosophy of Mathematics, Logic and Set Theory, Meta-neutral element, Formal Languages and Automata Theory, Symbolic Reasoning, Number Theory (Non-standard number systems), Automata theory, Type theory, Structural recursion, Symbolic logic, Computational logic, Recursive mathematics, Logic boundary, Recursive zero, Non-standard number systems

SUMMER: Recursive Zero-Knowledge Proofs for Scalable RNN Training

Συγγραφείς: Yuange Li, Xiong Fan

Πηγή: IACR Cryptol. ePrint Arch.. 2025

Σύνδεσμος πρόσβασης: https://eprint.iacr.org/2025/1688

Recursive Zero-COVID Model and Quantitation of Control Efforts of the Omicron Epidemic in Jilin Province

Συγγραφείς: Xinmiao Rong, Huidi Chu, Liu Yang, Shaosi Tan, Chao Yang, Pei Yuan, Yi Tan, Linhua Zhou, Yawen Liu, Qing Zhen, Shishen Wang, Meng Fan, Huaiping Zhu

Πηγή: Infect Dis Model
Infectious Disease Modelling, Vol 8, Iss 1, Pp 11-26 (2023)

Θεματικοί όροι: 0301 basic medicine, 0303 health sciences, 03 medical and health sciences, Control reproduction number, Quantitation of control efforts, Omicron variant, Infectious and parasitic diseases, RC109-216, Recursive Zero-COVID Model, Basic reproduction number, Article, Elimination of cases at the community level, 3. Good health

Σύνδεσμος πρόσβασης: https://pubmed.ncbi.nlm.nih.gov/36582747
https://doaj.org/article/79945652b4ba45b4af84383950f90870

Stochastic Recursive Zero-sum Differential Games under Model Uncertainty

Συγγραφείς: Yan Li, Lifeng Wei

Πηγή: Highlights in Science, Engineering and Technology. 1:363-369

Θεματικοί όροι: 0209 industrial biotechnology, 02 engineering and technology

Stochastic Recursive Zero-sum Differential Games with Payoff Functional in BDSDEs under Model Uncertainty

Συγγραφείς: Yanjun Wei, Lifeng Wei

Πηγή: Highlights in Science, Engineering and Technology. 1:377-383

Θεματικοί όροι: 0209 industrial biotechnology, 02 engineering and technology

A Constant-Sample-Complexity Recursive Argument-Principle Certificate for Riemann Zeta Zeros

Συγγραφείς: Bluteau, Ryan

A Constant-Complexity Recursive Argument-Principle Certificate for Riemann Zeta Zeros

Συγγραφείς: Bluteau, Ryan