Stanford University, USA

Organization Name (de) Name der Organisation (de)
Stanford University, USA
 


Results 1-20 of 25 (Search time: 0.007 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Wang, Jierong ; Spitaler, M. ; Su, Y.-S. ; Zoch, K. M. ; Krellner, C. ; Puphal, P. ; Brown, Stuart E. ; Pustogow, A. Controlled Frustration Release on the Kagome Lattice by Uniaxial-Strain TuningArticle Artikel 18-Dec-2023
2Wang, Bing-Yi ; Bhuckory, Mohajeet Balveer ; Jensen, Nathan ; Chen, Charles ; Kochnev Goldstein, Anna ; Shin, Andrew ; Galambos, Ludwig ; Pham-Howard, Davis ; Monkongpitukkul, Nicharee ; Mathieson, Keith ; Kamins, Theodore ; Werginz, Paul ; Palanker, Daniel Essential role of network-mediated stimulation for high visual acuity with subretinal prosthesesInproceedings Konferenzbeitrag8-Oct-2023
3Stampfl-2023-MRS Communications-vor.pdf.jpgStampfl, Jürgen ; Schwentenwein, Martin ; Homa, Johannes ; Prinz, Fritz B. Lithography-based additive manufacturing of ceramics: Materials, applications and perspectivesArticle Artikel Oct-2023
4Wilson-2023-Partitioning Strategies for Distributed SMT Solving-vor.pdf.jpgWilson, Amalee ; Noetzli, Andres ; Reynolds, Andrew ; Cook, Byron ; Tinelli, Cesare ; Barrett, Clark Partitioning Strategies for Distributed SMT SolvingInproceedings Konferenzbeitrag Oct-2023
5Mohamed-2023-A Procedure for SyGuS Solution Fitting via Matching and Rewr...-vor.pdf.jpgMohamed, Abdalrhman ; Reynolds, Andrew ; Barrett, Clark ; Tinelli, Cesare A Procedure for SyGuS Solution Fitting via Matching and Rewrite Rule DiscoveryKonferenzbeitrag Inproceedings Oct-2023
6Wu-2023-Lightweight Online Learning for Sets of Related Problems in Autom...-vor.pdf.jpgWu, Haoze ; Hahn, Christopher ; Lonsing, Florian Matthias ; Mann, Makai ; Ramanujan, Raghuram ; Barrett, Clark Lightweight Online Learning for Sets of Related Problems in Automated ReasoningInproceedings Konferenzbeitrag Oct-2023
7Fazekas-2023-IPASIR-UP User Propagators for CDCL-vor.pdf.jpgFazekas, Katalin ; Niemetz, Aina ; Preiner, Mathias ; Kirchweger, Markus ; Szeider, Stefan ; Biere, Armin IPASIR-UP: User Propagators for CDCLInproceedings Konferenzbeitrag 9-Aug-2023
8Wang, Bing-Yi ; Bhuckory, Mohajeet Balveer ; Chen, Zhijie Charles ; Shin, Andrew ; Jensen, Nathan ; Galambos, Ludwig ; Mathieson, Keith ; Kamins, Theodore ; Werginz, Paul ; Palanker, Daniel The role of stimulation selectivity in visual acuity with subretinal prosthesesInproceedings Konferenzbeitrag Jun-2023
9Hofstaetter-2022-Introducing Neural Bag of Whole-Words with ColBERTer Con...-vor.pdf.jpgHofstätter, Sebastian ; Khattab, Omar ; Althammer, Sophia ; Sertkan, Mete ; Hanbury, Allan Introducing Neural Bag of Whole-Words with ColBERTer: Contextualized Late Interactions using Enhanced ReductionInproceedings Konferenzbeitrag 17-Oct-2022
10Nair-2022-Proof-StitchProof Combination for Divide-and-Conquer SAT Solvers-vor.pdf.jpgNair, Abhishek ; Chattopadhyay, Saranyu ; Wu, Haoze ; Ozdemir, Alex ; Barrett, Clark Proof-Stitch_Proof Combination for Divide-and-Conquer SAT SolversKonferenzbeitrag Inproceedings Oct-2022
11Daly-2022-Synthesizing Instruction Selection Rewrite Rules from RTL using...-vor.pdf.jpgDaly, Ross ; Donovick, Caleb ; Melchert, Jackson ; Setaluri, Rajsekhar ; Tsiskaridze, Nestan ; Raina, Priyanka ; Barrett, Clark ; Hanrahan, Pat Synthesizing Instruction Selection Rewrite Rules from RTL using SMTKonferenzbeitrag Inproceedings Oct-2022
12Zelazny-2022-On Optimizing Back-Substitution Methods for Neural Network V...-vor.pdf.jpgZelazny, Tom ; Wu, Haoze ; Barrett, Clark ; Katz, Guy On Optimizing Back-Substitution Methods for Neural Network VerificationInproceedings Konferenzbeitrag Oct-2022
13Noetzli-2022-Reconstructing Fine-Grained Proofs of Rewrites Using a Domai...-vor.pdf.jpgNoetzli, Andres ; Barbosa, Haniel ; Niemetz, Aina ; Preiner, Mathias ; Reynolds, Andrew ; Barrett, Clark ; Tinelli, Cesare Reconstructing Fine-Grained Proofs of Rewrites Using a Domain-Specific LanguageKonferenzbeitrag Inproceedings Oct-2022
14Fries-2022-Dataset Debt in Biomedical Language Modeling-vor.pdf.jpgFries, Jason ; Seelam, Natasha ; Altay, Gabriel ; Weber, Leon ; Kang, Myungsun ; Datta, Debajyoti ; Su, Ruisi ; Garda, Samuele ; Wang, Bo ; Ott, Simon ; Samwald, Matthias ; Kusa, Wojciech Dataset Debt in Biomedical Language ModelingInproceedings Konferenzbeitrag May-2022
15Fries-2022-BigBio A Framework for Data-Centric Biomedical Natural Languag...-vor.pdf.jpgFries, Jason ; Weber, Leon ; Seelam, Natasha ; Altay, Gabriel ; Datta, Debajyoti ; Su, Ruisi ; Garda, Samuele ; Kang, Sunny MS ; Biderman, Stella ; Samwald, Matthias ; Bach, Stephen H. ; Kusa, Wojciech ; Cahyawijaya, Samuel ; Barth, Fabio ; Ott, Simon ; Sänger, Mario ; Wang, Bo ; Callahan, Alison ; Leon Perinan, Daniel ; Gigant, Theo ; Haller, Patrick ; Chim, Jenny ; Posada, Jose ; Giorgi, John ; Sivaraman, Karthik Rangasai ; Pamies, Marc ; Nezhurina, Marianna ; Martin, Robert ; Freidank, Moritz ; Dahlberg, Nathan ; Mishra, Shubhanshu ; Bose, Shamik ; Broad, Nicholas ; Labrak, Yanis ; Deshmukh, Shlok ; Kiblawi, Sid ; Singh, Ayush ; Vu, Minh Chien ; Neeraj, Trishala ; Golde, Jonas ; Villanova del Moral, Albert ; Beilharz, Benjamin BigBio: A Framework for Data-Centric Biomedical Natural Language ProcessingInproceedings Konferenzbeitrag 2022
16Ozdemir-2021-SAT Solving in the Serverless Cloud-vor.pdf.jpgOzdemir, Alex ; Wu, Haoze ; Barrett, Clark SAT Solving in the Serverless CloudInproceedings Konferenzbeitrag Oct-2021
17Tsiskaridze-2021-Automating System Configuration-vor.pdf.jpgTsiskaridze, Nestan ; Strange, Maxwell ; Mann, Makai ; Sreedhar, Kavya ; Liu, Qiaoyi ; Horowitz, Mark ; Barrett, Clark Automating System ConfigurationInproceedings Konferenzbeitrag Oct-2021
18Chattopadhyay-2021-Scaling Up Hardware Accelerator Verification using A-Q...-vor.pdf.jpgChattopadhyay, Saranyu ; Lonsing, Florian ; Piccolboni, Luca ; Soni, Deepraj ; Wei, Peng ; Zhang, Xiaofan ; Zhou, Yuan ; Carloni, Luca ; Chen, Deming ; Cong, Jason ; Karri, Ramesh ; Zhang, Zhiru ; Trippel, Caroline ; Barrett, Clark ; Mitra, Subhasish Scaling Up Hardware Accelerator Verification using A-QED with Functional DecompositionInproceedings Konferenzbeitrag Oct-2021
1930_Reductions for Strings and Regular Expressions.pdf.jpgReynolds, Andrew ; Nötzli, Andres ; Barrett, Clark ; Tinelli, Cesare Reductions for Strings and Regular Expressions RevisitedKonferenzbeitrag Inproceedings 2020
2029_Ternary Propagation-Based Local Search for More Bit_Precise Reasoning.pdf.jpgNiemetz, Aina ; Preiner, Mathias Ternary Propagation-Based Local Search for More Bit-Precise ReasoningKonferenzbeitrag Inproceedings 2020