• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 20 matches

• 2023
• 
  Yann Disser, Daniel Günther, Thomas Schneider, Maximilian Stillger, Arthur Wigandt, Hossein Yalame:
  Breaking the Size Barrier: Universal Circuits Meet Lookup Tables. ASIACRYPT (1) 2023: 3-37
• 
  Mohammadreza Zandehshahvar, Marly van Assen, Eun Young Kim, Yashar Kiarashi, Vikranth Keerthipati, Arthur E. Stillman, Peter Filev, Amir H. Davarpanah, Eugene A. Berkowitz, Stefan Tigges, Scott J. Lee, Brianna L. Vey, Carlo Nicola De Cecco, Ali Adibi:
  Bayesian neural networks for severity assessment of COVID-19 pneumonia from chest x-ray using a multi-reader and binational dataset. Medical Imaging: Computer-Aided Diagnosis 2023
• 
  Isaac David, Liyi Zhou, Kaihua Qin, Dawn Song, Lorenzo Cavallaro, Arthur Gervais:
  Do you still need a manual smart contract audit? CoRR abs/2306.12338 (2023)
• 2022
• 
  Rafael Hengen Ribeiro, Arthur Selle Jacobs, Luciano Zembruzki, Ricardo Parizotto, Eder John Scheid, Alberto Egon Schaeffer Filho, Lisandro Zambenedetti Granville, Burkhard Stiller:
  A deterministic approach for extracting network security intents. Comput. Networks 214: 109109 (2022)
• 
  Yann Disser, Daniel Günther, Thomas Schneider, Maximilian Stillger, Arthur Wigandt, Hossein Yalame:
  Improved Universal Circuits using Lookup Tables. IACR Cryptol. ePrint Arch. 2022: 1652 (2022)
• 2020
• 
  Muriel Figueredo Franco, Bruno Rodrigues, Eder John Scheid, Arthur Selle Jacobs, Christian Killer, Lisandro Zambenedetti Granville, Burkhard Stiller:
  SecBot: a Business-Driven Conversational Agent for Cybersecurity Planning and Management. CNSM 2020: 1-7
• 2016
• 
  Arthur James Swart:
  The effective use of a learning management system still promotes student engagement! EDUCON 2016: 40-44
• 
  Mark d'Inverno, Arthur Still:
  A History of Creativity for Future AI Research. ICCC 2016: 147-155
• 2014
• 
  Liangjia Zhu, Yi Gao, Vikram V. Appia, Anthony J. Yezzi, Chesnal D. Arepalli, Tracy L. Faber, Arthur E. Stillman, Allen R. Tannenbaum:
  A Complete System for Automatic Extraction of Left Ventricular Myocardium From CT Images Using Shape Segmentation and Contour Evolution. IEEE Trans. Image Process. 23(3): 1340-1351 (2014)
• 
  Mark d'Inverno, Arthur Still:
  Creative Feedback: a Manifesto for Social Learning. EDM (Workshops) 2014
• 2013
• 
  Liangjia Zhu, Yi Gao, Vikram V. Appia, Anthony J. Yezzi, Chesnal D. Arepalli, Tracy L. Faber, Arthur E. Stillman, Allen R. Tannenbaum:
  Automatic Delineation of the Myocardial Wall From CT Images Via Shape Segmentation and Variational Region Growing. IEEE Trans. Biomed. Eng. 60(10): 2887-2895 (2013)
• 2012
• 
  Carson A. Wick, Jin-Jyh Su, James H. McClellan, Oliver Brand, Pamela T. Bhatti, Ashley L. Buice, Arthur E. Stillman, Xiangyang Tang, Srini Tridandapani:
  A System for Seismocardiography-Based Identification of Quiescent Heart Phases: Implications for Cardiac Imaging. IEEE Trans. Inf. Technol. Biomed. 16(5): 869-877 (2012)
• 2011
• 
  Liangjia Zhu, Yi Gao, Vandana Mohan, Arthur E. Stillman, Tracy L. Faber, Allen R. Tannenbaum:
  Estimation of myocardial volume at risk from CT angiography. Medical Imaging: Computer-Aided Diagnosis 2011: 79632A
• 2009
• 
  Jason W. Bohland, Caizhi Wu, Helen Barbas, Hemant Bokil, Mihail Bota, Hans C. Breiter, Hollis T. Cline, John C. Doyle, Peter J. Freed, Ralph J. Greenspan, Suzanne N. Haber, Michael Hawrylycz, Daniel G. Herrera, Claus C. Hilgetag, Z. Josh Huang, Allan Jones, Edward G. Jones, Harvey J. Karten, David Kleinfeld, Rolf Kötter, Henry A. Lester, John M. Lin, Brett D. Mensh, Shawn Mikula, Jaak Panksepp, Joseph L. Price, Joseph Safdieh, Clifford B. Saper, Nicholas D. Schiff, Jeremy D. Schmahmann, Bruce W. Stillman, Karel Svoboda, Larry W. Swanson, Arthur W. Toga, David C. Van Essen, James D. Watson, Partha P. Mitra:
  A Proposal for a Coordinated Effort for the Determination of Brainwide Neuroanatomical Connectivity in Model Organisms at a Mesoscopic Scale. PLoS Comput. Biol. 5(3) (2009)
• 2007
• 
  Yan Yang, Allen R. Tannenbaum, Don P. Giddens, Arthur E. Stillman:
  Automatic Segmentation of Coronary Arteries Using Bayesian Driven Implicit Surfaces. ISBI 2007: 189-192
• 2006
• 
  Andrzej Szymczak, Arthur E. Stillman, Allen R. Tannenbaum, Konstantin Mischaikow:
  Coronary vessel trees from 3D imagery: A topological approach. Medical Image Anal. 10(4): 548-559 (2006)
• 2002
• 
  Arthur L. A. da Cunha, Weiler Alves Finamore, Eduardo A. B. da Silva:
  Robust still image coding using lapped transforms with block classification. ICIP (1) 2002: 249-252
• 
  Arthur L. A. da Cunha, Weiler A. Finamore, Eduardo A. B. da Silva:
  Robust remote sensing still image coding with low memory requirements. IGARSS 2002: 3305-3307
• 2001
• 
  Arun Kumar, Steven Haker, Arthur E. Stillman, Cecilia W. Curry, Don P. Giddens, Allen R. Tannenbaum, Anthony J. Yezzi:
  Total-variational-based optical flow for cardiac-wall motion tracking. Medical Imaging: Image Processing 2001
• 1993
• 
  Jonathan Stillman, Richard Arthur, Andrew Deitsch:
  Tachyon: A Constraint-Based Temporal Model and its Implementation. SIGART Bull. 4(3): T1-T4 (1993)