„Interactive“

Suchergebnisse

9.838 Treffer

• Interactive effects of bacteria-loaded biochar on the physiological responses of Brassica rapa var. chinensis in the Pb and Zn contaminated soil
  Li, Xue ; Zhu, Xiao-li ; Zhu, Feng ; Li, Xing ; Zhang, Zi-ye ; Xue, Sheng-guo
• Principal component analysis and fine-tuned vision transformation integrating model explainability for breast cancer prediction
  Luong, Huong Hoang ; Hong, Phuc Phan ; Minh, Dat Vo ; Quang, Thinh Nguyen Le ; The, Anh Dinh ; Thai-Nghe, Nguyen ; Nguyen, Hai Thanh
• Sensory interactive fibers and textiles
  Liu, Huanhuan ; Shi, Yuyuan ; Pan, You ; Wang, Zhaohui ; Wang, Bingjie
• On Interactive Proofs of Proximity with Proof-Oblivious Queries
  Goldreich, Oded ; Rothblum, Guy N. ; Skverer, Tal 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Quantum Space, Ground Space Traversal, and How to Embed Multi-Prover Interactive Proofs into Unentanglement
  Gharibian, Sevag ; Rudolph, Dorian 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Kolmogorov Complexity Characterizes Statistical Zero Knowledge
  Allender, Eric ; Hirahara, Shuichi ; Tirumala, Harsha 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• More Verifier Efficient Interactive Protocols for Bounded Space
  Cook, Joshua 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Brief Announcement: Distributed Quantum Interactive Proofs
  Le Gall, François ; Miyamoto, Masayuki ; Nishimura, Harumichi 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Kalas: A Verified, End-To-End Compiler for a Choreographic Language
  Pohjola, Johannes Åman ; Gómez-Londoño, Alejandro ; Shaker, James ; Norrish, Michael 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Taming an Authoritative Armv8 ISA Specification: L3 Validation and CakeML Compiler Verification
  Kanabar, Hrutvik ; Fox, Anthony C. J. ; Myreen, Magnus O. 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Seventeen Provers Under the Hammer
  Desharnais, Martin ; Vukmirović, Petar ; Blanchette, Jasmin ; Wenzel, Makarius 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Candle: A Verified Implementation of HOL Light
  Abrahamsson, Oskar ; Myreen, Magnus O. ; Kumar, Ramana ; Sewell, Thomas 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Interactive Oracle Proofs of Proximity to Algebraic Geometry Codes
  Bordage, Sarah ; Lhotel, Mathieu ; Nardi, Jade ; Randriam, Hugues 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Hardness of Approximation for Stochastic Problems via Interactive Oracle Proofs
  Arnon, Gal ; Chiesa, Alessandro ; Yogev, Eylon 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Delegation for Search Problems
  Holmgren, Justin ; Lincoln, Andrea ; Rothblum, Ron D. 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Certified Algorithm for AC-Unification
  Ayala-Rincón, Mauricio ; Fernández, Maribel ; Silva, Gabriel Ferreira ; Sobrinho, Daniele Nantes 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An Interactive Framework for Reconfiguration in the Sliding Square Model (Media Exposition)
  Sonke, Willem ; Wulms, Jules 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Interactive Communication in Bilateral Trade
  Mao, Jieming ; Paes Leme, Renato ; Wang, Kangning 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Small Circuits Imply Efficient Arthur-Merlin Protocols
  Ezra, Michael ; Rothblum, Ron D. 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Cryptographic Hardness Under Projections for Time-Bounded Kolmogorov Complexity
  Allender, Eric ; Gouwar, John ; Hirahara, Shuichi ; Robelle, Caleb 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik