• 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 41 matches

• 2022
• 
  Archana Semwal, Rajesh Elara Mohan, Lee Ming Jun Melvin, Povendhan Palanisamy, Chanthini Baskar, Lim Yi, Sathian Pookkuttath, Balakrishnan Ramalingam:
  False Ceiling Deterioration Detection and Mapping Using a Deep Learning Framework and the Teleoperated Reconfigurable 'Falcon' Robot. Sensors 22(1): 262 (2022)
• 
  Rizuwana Parween, Povendhan Arthanaripalayam Palanisamy, Tan Yeh Wen, Dylan Ng Terntzer, Mohan Rajesh Elara:
  Estimation of Sloshing Motion in a Wheel-based Drain Inspection Robot. CCWC 2022: 688-693
• 2021
• 
  Xiaojing Liu, Tiru S. Arthanari, Yangyan Shi:
  Leverage risks for supply chain robustness against corruption. Ind. Manag. Data Syst. 121(7): 1496-1521 (2021)
• 
  Rob Arthan, Paulo Oliva:
  On the Borel-Cantelli Lemmas, the Erdős-Rényi Theorem, and the Kochen-Stone Theorem. J. Log. Anal. 13 (2021)
• 
  Rob Arthan, Paulo Oliva:
  Double Negation Semantics for Generalisations of Heyting Algebras. Stud Logica 109(2): 341-365 (2021)
• 
  M. A. Viraj J. Muthugala, Povendhan Palanisamy, S. M. Bhagya P. Samarakoon, Saurav Ghante Anantha Padmanabha, Mohan Rajesh Elara, Dylan Ng Terntzer:
  Raptor: A Design of a Drain Inspection Robot. Sensors 21(17): 5742 (2021)
• 
  Povendhan Palanisamy, Rajesh Elara Mohan, Archana Semwal, Lee Ming Jun Melivin, Braulio Félix Gómez, Selvasundari Balakrishnan, Karthikeyan Elangovan, Balakrishnan Ramalingam, Dylan Ng Terntzer:
  Drain Structural Defect Detection and Mapping Using AI-Enabled Reconfigurable Robot Raptor and IoRT Framework. Sensors 21(21): 7287 (2021)
• 2019
• 
  Rob Arthan, Paulo Oliva:
  Studying Algebraic Structures using Prover9 and Mace4. CoRR abs/1908.06479 (2019)
• 
  Rob Arthan, Paulo Oliva:
  Negative Translations for Affine and Lukasiewicz Logic. CoRR abs/1912.00012 (2019)
• 2018
• 
  Rob Arthan, Paulo Oliva:
  A Curry-Howard Correspondence for the Minimal Fragment of Łukasiewicz Logic. CoRR abs/1809.04492 (2018)
• 2016
• 
  Rob Arthan:
  On Definitions of Constants and Types in HOL. J. Autom. Reason. 56(3): 205-219 (2016)
• 
  Ramana Kumar, Rob Arthan, Magnus O. Myreen, Scott Owens:
  Self-Formalisation of Higher-Order Logic - Semantics, Soundness, and a Verified Implementation. J. Autom. Reason. 56(3): 221-259 (2016)
• 
  Robin Denis Arthan:
  Now f is continuous (exercise!). J. Formaliz. Reason. 9(1): 33-52 (2016)
• 
  Yuhui Lin, Gudmund Grov, Rob Arthan:
  Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC. J. Formaliz. Reason. 9(2): 69-130 (2016)
• 
  Yuhui Lin, Gudmund Grov, Rob Arthan:
  Understanding and maintaining tactics graphically OR how we learned that a diagram can be worth more than 10K LoC. CoRR abs/1610.05593 (2016)
• 2014
• 
  Rob Arthan:
  HOL Constant Definition Done Right. ITP 2014: 531-536
• 
  Ramana Kumar, Rob Arthan, Magnus O. Myreen, Scott Owens:
  HOL with Definitions: Semantics, Soundness, and a Verified Implementation. ITP 2014: 308-324
• 
  Rob Arthan, Paulo Oliva:
  On Affine Logic and Łukasiewicz Logic. CoRR abs/1404.0570 (2014)
• 
  Rob Arthan, Paulo Oliva:
  On Pocrims and Hoops. CoRR abs/1404.0816 (2014)
• 2013
• 
  Rob Arthan, Ursula Martin, Paulo Oliva:
  A Hoare logic for linear systems. Formal Aspects Comput. 25(3): 345-363 (2013)
• 
  Rob Arthan, Paulo Oliva:
  (Dual) Hoops Have Unique Halving. Automated Reasoning and Mathematics 2013: 165-180
• 2012
• 
  Robert Solovay, R. D. Arthan, John Harrison:
  Some new results on decidability for elementary algebra and geometry. Ann. Pure Appl. Log. 163(12): 1765-1802 (2012)
• 
  R. D. Arthan:
  Aronszajn's Criterion for Euclidean Space. Am. Math. Mon. 119(5): 419-422 (2012)
• 
  Rob Arthan, Paulo Oliva:
  (Dual) Hoops Have Unique Halving. CoRR abs/1203.0436 (2012)
• 2011
• 
  Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß:
  The 1st Verified Software Competition: Experience Report. FM 2011: 154-168
• 2010
• 
  R. D. Arthan:
  Building a Library of Mechanized Mathematical Proofs: Why Do It? and What Is It Like to Do? ICMS 2010: 148
• 2009
• 
  Rob Arthan, Ursula Martin, Erik Arne Mathiesen, Paulo Oliva:
  A general framework for sound and complete Floyd-Hoare logics. ACM Trans. Comput. Log. 11(1): 7:1-7:31 (2009)
• 
  Rob Arthan:
  Computational Logic and Continuous Mathematics, Pure and Applied. Calculemus/MKM 2009: 1
• 2008
• 
  Rob Arthan:
  Mechanized Reasoning for Continuous Problem Domains (Invited Talk). PAAR/ESHOL 2008
• 
  Rob Arthan, Ursula Martin, Erik Arne Mathiesen, Paulo Oliva:
  A General Framework for Sound and Complete Floyd-Hoare Logics. CoRR abs/0807.1016 (2008)

skipping 11 more matches