• 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

• 2024
• 
  Spiridon Kasapis, Irina N. Kitiashvili, Paul Kosovich, Alexander G. Kosovichev, Viacheslav M. Sadykov, Patrick O'Keefe, Vincent Wang:
  Forecasting SEP Events During Solar Cycles 23 and 24 Using Interpretable Machine Learning. CoRR abs/2403.02536 (2024)
• 2023
• 
  Mustafa Doga Dogan, Raul Garcia-Martin, Patrick William Haertel, Jamison John O'Keefe, Raul Sánchez-Reillo, Stefanie Mueller:
  Demonstrating BrightMarkers: Fluorescent Tracking Markers Embedded in 3D Printed Objects. UIST (Adjunct Volume) 2023: 53:1-53:3
• 
  Mustafa Doga Dogan, Raul Garcia-Martin, Patrick William Haertel, Jamison John O'Keefe, Ahmad Taka, Akarsh Aurora, Raul Sánchez-Reillo, Stefanie Müller:
  BrightMarker: 3D Printed Fluorescent Markers for Object Tracking. UIST 2023: 55:1-55:13
• 2014
• 
  Joseph P. Cornish, Neus Sanchez-Alberola, Patrick K. O'Neill, Ronald O'Keefe, Jameel Gheba, Ivan Erill:
  Characterization of the SOS meta-regulon in the human gut microbiome. Bioinform. 30(9): 1193-1197 (2014)
• 2011
• 
  Patrick O. Keefe, Georg Essl:
  The Visual in Mobile Music Performance. NIME 2011: 191-196
• 2009
• 
  Tim J. P. Hubbard, Bronwen L. Aken, Sarah C. Ayling, Benoît Ballester, Kathryn Beal, Eugene Bragin, Simon Brent, Yuan Chen, Peter Clapham, Laura Clarke, Guy Coates, Susan Fairley, Stephen Fitzgerald, Julio Fernandez-Banet, Leo Gordon, Stefan Gräf, Syed Haider, Martin Hammond, Richard C. G. Holland, Kevin L. Howe, Andrew M. Jenkinson, Nathan Johnson, Andreas Kähäri, Damian Keefe, Stephen Keenan, Rhoda Kinsella, Felix Kokocinski, Eugene Kulesha, Daniel Lawson, Ian Longden, Karine Megy, Patrick Meidl, Bert Overduin, Anne Parker, Bethan Pritchard, Daniel Rios, Michael Schuster, Guy Slater, Damian Smedley, William Spooner, Giulietta Spudich, Stephen J. Trevanion, Albert J. Vilella, Jan Vogel, Simon White, Steven P. Wilder, Arek Zadissa, Ewan Birney, Fiona Cunningham, Val Curwen, Richard Durbin, Xosé M. Fernández-Suárez, Javier Herrero, Arek Kasprzyk, Glenn Proctor, James A. Smith, Stephen M. J. Searle, Paul Flicek:
  Ensembl 2009. Nucleic Acids Res. 37(Database-Issue): 690-697 (2009)
• 2008
• 
  Paul Flicek, Bronwen L. Aken, Kathryn Beal, Benoît Ballester, Mario Cáccamo, Yuan Chen, Laura Clarke, Guy Coates, Fiona Cunningham, Tim Cutts, Thomas A. Down, S. C. Dyer, T. Eyre, Stephen Fitzgerald, Julio Fernandez-Banet, Stefan Gräf, Syed Haider, Martin Hammond, Richard C. G. Holland, Kevin L. Howe, Kerstin Howe, Nathan Johnson, Andrew M. Jenkinson, Andreas Kähäri, Damian Keefe, Felix Kokocinski, Eugene Kulesha, Daniel Lawson, Ian Longden, Karine Megy, Patrick Meidl, Bert Overduin, Anne Parker, Bethan Pritchard, Andreas Prlic, S. Rice, Daniel Rios, Michael Schuster, Ian Sealy, Guy Slater, Damian Smedley, Giulietta Spudich, Stephen J. Trevanion, Albert J. Vilella, Jan Vogel, Simon White, M. Wood, Ewan Birney, Tony Cox, Val Curwen, Richard Durbin, Xosé M. Fernández-Suárez, Javier Herrero, Tim J. P. Hubbard, Arek Kasprzyk, Glenn Proctor, James A. Smith, Abel Ureta-Vidal, Stephen M. J. Searle:
  Ensembl 2008. Nucleic Acids Res. 36(Database-Issue): 707-714 (2008)
• 2007
• 
  Tim J. P. Hubbard, Bronwen L. Aken, Kathryn Beal, Benoît Ballester, Mario Cáccamo, Yuan Chen, Laura Clarke, Guy Coates, Fiona Cunningham, Tim Cutts, Thomas A. Down, S. C. Dyer, Stephen Fitzgerald, Julio Fernandez-Banet, Stefan Gräf, Syed Haider, Martin Hammond, Javier Herrero, Richard C. G. Holland, Kevin L. Howe, Kerstin Howe, Nathan Johnson, Andreas Kähäri, Damian Keefe, Felix Kokocinski, Eugene Kulesha, Daniel Lawson, Ian Longden, Craig Melsopp, Karine Megy, Patrick Meidl, Bert Overduin, Anne Parker, Andreas Prlic, S. Rice, Daniel Rios, Michael Schuster, Ian Sealy, Jessica Severin, Guy Slater, Damian Smedley, Giulietta Spudich, Stephen J. Trevanion, Albert J. Vilella, Jan Vogel, Simon White, M. Wood, Tony Cox, Val Curwen, Richard Durbin, Xosé M. Fernández-Suárez, Paul Flicek, Arek Kasprzyk, Glenn Proctor, Stephen M. J. Searle, James A. Smith, Abel Ureta-Vidal, Ewan Birney:
  Ensembl 2007. Nucleic Acids Res. 35(Database-Issue): 610-617 (2007)
• 2006
• 
  Ewan Birney, T. Daniel Andrews, Mario Cáccamo, Yuan Chen, Laura Clarke, Guy Coates, Tony Cox, Fiona Cunningham, Val Curwen, Tim Cutts, Thomas A. Down, Richard Durbin, Xosé M. Fernández-Suárez, Paul Flicek, Stefan Gräf, Martin Hammond, Javier Herrero, Kevin L. Howe, Vivek Iyer, Kerstin Jekosch, Andreas Kähäri, Arek Kasprzyk, Damian Keefe, Felix Kokocinski, Eugene Kulesha, D. London, Ian Longden, Craig Melsopp, Patrick Meidl, Bert Overduin, Anne Parker, Glenn Proctor, Andreas Prlic, Mark Rae, Daniel Rios, Seth Redmond, Michael Schuster, Ian Sealy, Stephen M. J. Searle, Jessica Severin, Guy Slater, Damian Smedley, James A. Smith, Arne Stabenau, Jim Stalker, Stephen J. Trevanion, Abel Ureta-Vidal, Jan Vogel, Simon White, Cara Woodwark, Tim J. P. Hubbard:
  Ensembl 2006. Nucleic Acids Res. 34(Database-Issue): 556-561 (2006)
• 2005
• 
  Nicholas Maltby, David F. Tolin, Patrick D. Worhunsky, Timothy M. O'Keefe, Kent A. Kiehl:
  Dysfunctional action monitoring hyperactivates frontal-striatal circuits in obsessive-compulsive disorder: an event-related fMRI study. NeuroImage 24(2): 495-503 (2005)
• 2002
• 
  Patrick Y. K. Chau, Melissa Cole, Anne P. Massey, Mitzi M. Montoya-Weiss, Robert M. O'Keefe:
  Cultural differences in the online behavior of consumers. Commun. ACM 45(10): 138-143 (2002)
• 2001
• 
  Patrick O'Rourke, Mike Keefe:
  Performance Evaluation of Linux Virtual Server. LISA 2001: 79-92
• 2000
• 
  Robert M. O'Keefe, Melissa Cole, Patrick Y. K. Chau, Anne P. Massey, Mitzi M. Montoya-Weiss, Mark J. Perry:
  From the user interface to the consumer interface: results from a global experiment. Int. J. Hum. Comput. Stud. 53(4): 611-628 (2000)
• 1997
• 
  Jens Palsberg, Mitchell Wand, Patrick O'Keefe:
  Type Inference with Non-Structural Subtyping. Formal Aspects Comput. 9(1): 49-67 (1997)
• 1995
• 
  Mitchell Wand, Patrick O'Keefe, Jens Palsberg:
  Strong Normalization with Non-Structural Subtyping. Math. Struct. Comput. Sci. 5(3): 419-429 (1995)
• 
  Jens Palsberg, Patrick O'Keefe:
  A Type System Equivalent to Flow Analysis. ACM Trans. Program. Lang. Syst. 17(4): 576-599 (1995)
• 
  Jens Palsberg, Patrick O'Keefe:
  A Type System Equivalent to Flow Analysis. POPL 1995: 367-378
• 1992
• 
  Patrick O'Keefe, Mitchell Wand:
  Type Inference for Partial Types is Decidable. ESOP 1992: 408-417
• 1991
• 
  Mitchell Wand, Patrick O'Keefe:
  Automatic Dimensional Inference. Computational Logic - Essays in Honor of Alan Robinson 1991: 479-483
• 1989
• 
  Mitchell Wand, Patrick O'Keefe:
  On the Complexity of Type Inference with Coercion. FPCA 1989: 293-298