Search results for "Vandiver"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
112	Leo Corry	Fermat Meets SWAC: Vandiver, the Lehmers, Computers, and Number Theory.	IEEE Ann. Hist. Comput.	2008	DBLP DOI BibTeX RDF	Fermat's last theorem, Lehmer, SWAC, Vandiver, number theory
36	Andrii Maksymov, Jason Nguyen, Vandiver Chaplin, Yun Seong Nam, Igor L. Markov	Detecting Qubit-coupling Faults in Ion-trap Quantum Computers.	HPCA	2022	DBLP DOI BibTeX RDF
36	Andrii O. Maksymov, Jason Nguyen, Vandiver Chaplin, Yun Seong Nam, Igor L. Markov	Detecting Qubit-coupling Faults in Ion-trap Quantum Computers.	CoRR	2021	DBLP BibTeX RDF
36	Leixin Ma, Themistocles Resvanis, Kim Vandiver	A Weighted Sparse-Input Neural Network Technique Applied to Identify Important Features for Vortex-Induced Vibration.	AAAI Spring Symposium: MLPS	2020	DBLP BibTeX RDF
36	Yun Seong Nam, Jwo-Sy Chen, Neal C. Pisenti, Kenneth Wright, Conor Delaney, Dmitri Maslov, Kenneth R. Brown, Stewart Allen, Jason M. Amini, Joel Apisdorf, Kristin M. Beck, Aleksey Blinov, Vandiver Chaplin, Mika Chmielewski, Coleman Collins, Shantanu Debnath, Andrew M. Ducore, Kai M. Hudek, Matthew J. Keesan, Sarah M. Kreikemeier, Jonathan Mizrahi, Phil Solomon, Mike Williams, Jaime David Wong-Campos, Christopher R. Monroe, Jungsang Kim	Ground-state energy estimation of the water molecule on a trapped ion quantum computer.	CoRR	2019	DBLP BibTeX RDF
36	Nikodem Grzesiak, Reinhold Blümel, Kristin M. Beck, Kenneth Wright, Vandiver Chaplin, Jason M. Amini, Neal C. Pisenti, Shantanu Debnath, Jwo-Sy Chen, Yun Seong Nam	Efficient Arbitrary Simultaneously Entangling Gates on a trapped-ion quantum computer.	CoRR	2019	DBLP BibTeX RDF
36	Vandiver Chaplin, M. A. Phipps, Sumeeth V. Jonathan, William A. Grissom, P. F. Yang, Li Min Chen, Charles F. Caskey	On the accuracy of optically tracked transducers for image-guided transcranial ultrasound.	Int. J. Comput. Assist. Radiol. Surg.	2019	DBLP DOI BibTeX RDF
36	Ben Vandiver, Shreya Prasad, Pratibha Rana, Eden Zik, Amin Saeidi, Pratyush Parimal, Styliani Pantela, Jaimin Dave	Eon Mode: Bringing the Vertica Columnar Database to the Cloud.	SIGMOD Conference	2018	DBLP DOI BibTeX RDF
36	Martin F. Arlitt, Manish Marwah, Gowtham Bellala, Amip Shah, Jeff Healey, Ben Vandiver	IoTAbench: an Internet of Things Analytics Benchmark.	ICPE	2015	DBLP DOI BibTeX RDF
36	K. E. Martin, G. Brunello, M. G. Adamiak, Galina Antonova, Miroslav M. Begovic, G. Benmouyal, P. D. Bui, H. Falk, V. Gharpure, A. Goldstein, Yi Hu, Chris Huntley, T. Kase, Mladen Kezunovic, A. Kulshrestha, Y. Lu, R. Midence, J. Murphy, M. Patel, F. Rahmatian, V. Skendzic, B. Vandiver, A. Zahid	An Overview of the IEEE Standard C37.118.2 - Synchrophasor Data Transfer for Power Systems.	IEEE Trans. Smart Grid	2014	DBLP DOI BibTeX RDF
36	Andrew Lamb, Matt Fuller, Ramakrishna Varadarajan, Nga Tran 0001, Ben Vandiver, Lyric Doshi, Chuck Bear	The Vertica Analytic Database: C-Store 7 Years Later	CoRR	2012	DBLP BibTeX RDF
36	Andrew Lamb, Matt Fuller, Ramakrishna Varadarajan, Nga Tran 0001, Ben Vandiver, Lyric Doshi, Chuck Bear	The Vertica Analytic Database: C-Store 7 Years Later . (PDF / PS)	Proc. VLDB Endow.	2012	DBLP DOI BibTeX RDF
36	Whitney R. Vandiver	An Ontological Semantic Account of Relative Quantification in English.	MAICS	2011	DBLP BibTeX RDF
36	Ceraj Ivica, Justin T. Riley, Charles Shubert, Lourdes M. Aleman, Melissa Kosinski-Collins, Megan E. Rokop, Kathy Vandiver	Integrating protein visualisation in the classroom with StarBiochem.	Int. J. Intell. Def. Support Syst.	2010	DBLP DOI BibTeX RDF
36	Julia M. Taylor, Victor Raskin, Christian Hempelmann, Whitney R. Vandiver	Computing the Meaning of Number Expressions in English: the Common Case.	IC-AI	2010	DBLP BibTeX RDF
36	Benjamin Vandiver	Detecting and tolerating Byzantine faults in database systems.		2008	RDF
36	Ben Vandiver, Hari Balakrishnan, Barbara Liskov, Samuel Madden 0001	Tolerating byzantine faults in transaction processing systems using commit barrier scheduling.	SOSP	2007	DBLP DOI BibTeX RDF	databases, byzantine fault tolerance, state machine replication
36	Mark H. Somerville, David Anderson 0003, Hillary Berbeco, John R. Bourne, Jill D. Crisman, Diana Dabby, Helen Donis-Keller, Stephen S. Holt, Sherra E. Kerns, David V. Kerns, Robert Martello, Richard K. Miller, Michael Moody, Gill A. Pratt, Joanne Pratt, Christina Shea, Stephen Schiffman, Sarah Spence Adams, Lynn Andrea Stein, Jonathan D. Stolk, Brian D. Storey, Burt S. Tilley, Benjamin Vandiver, Yevgeniya V. Zastavker	The Olin curriculum: thinking toward the future.	IEEE Trans. Educ.	2005	DBLP DOI BibTeX RDF
36	John Sogade, Yervant Vichabian, Amy Vandiver, Philip M. Reppert, Darrell Coles, Frank Dale Morgan	Electromagnetic cave-to-surface mapping system.	IEEE Trans. Geosci. Remote. Sens.	2004	DBLP DOI BibTeX RDF
36	Emma Lehmer, H. S. Vandiver	On the Computation of the Number of Solutions of Certain Trinomial Congruences.	J. ACM	1957	DBLP DOI BibTeX RDF
30	Stéphane Louboutin	Efficient Computation of Class Numbers of Real Abelian Number Fields.	ANTS	2002	DBLP DOI BibTeX RDF