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

• 2023
• 
  Thayse Saraiva de Albuquerque, Lucas José da Costa, Ericka Raiane da Silva, Geovana Kelly Lima Rocha, André Felipe Oliveira de Azevedo Dantas, Caroline do Espírito Santo, Denis Delisle Rodríguez:
  Towards a Gait Planning Training Strategy Using Lokomat. CLAWAR (2) 2023: 357-367
• 2021
• 
  Andreas Junker, Carl Hutters, Daniel Reipur, Lasse Embøl, Ali Adjorlu, Rolf Nordahl, Stefania Serafin, Daniel Thaysen Petersen, Anders Fink-Jensen:
  Fighting Alcohol Craving Using Virtual Reality: the Role of Social Interaction. VR Workshops 2021: 257-263
• 1998
• 
  André Thayse:
  Reply to Bringsjord and Ferrucci. Minds Mach. 8(2): 311-312 (1998)
• 1996
• 
  André Thayse:
  From natural language processing to logic for expert systems - a logic based approach to artificial intelligence. Wiley 1996
• 1994
• 
  Zhan Cui:
  From natural language processing to logic for expert systems edited by André Thayse, John Wiley & Sons, Chichester, 1991, pp 535, £29.95, ISBN 0 471 92431 8. Knowl. Eng. Rev. 9(1): 86-87 (1994)
• 1990
• 
  Alex M. Andrew:
  From Modal Logic to Deductive Databases: Introducing a Logic Based Approach to Artificial Intelligence, edited by A. Thayse Wiley, Chichester, 1989, xxiv + 380 pp. (£19.95). Robotica 8(3): 264 (1990)
• 1987
• 
  Dominique Snyers, André Thayse:
  From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions. Lecture Notes in Computer Science 271, Springer 1987, ISBN 3-540-18217-9
• 1986
• 
  Dominique Snyers, André Thayse:
  Algorithmic State Machine Design and Automatic Theorem Proving: Dual Approaches to the Same Activity. IEEE Trans. Computers 35(10): 853-861 (1986)
• 1984
• 
  André Thayse:
  P-Functions and Boolean Matrix Factorization: A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms. Lecture Notes in Computer Science 175, Springer 1984, ISBN 3-540-13358-5
• 
  André Thayse:
  Synthesis and Asynchronous Implementation of Algorithms Using a Generalized P-Function Concept. IEEE Trans. Computers 33(10): 861-868 (1984)
• 
  André Thayse:
  A Matrix Formalism for Asynchronous Implementation of Algorithms. IEEE Trans. Computers 33(4): 289-300 (1984)
• 1982
• 
  André Thayse:
  Synthesis and Optimization of Programs by Means of P-Funktions. IEEE Trans. Computers 31(1): 34-40 (1982)
• 1981
• 
  André Thayse:
  Boolean Caclulus of Differences. Lecture Notes in Computer Science 101, Springer 1981, ISBN 3-540-10286-8
• 
  André Thayse:
  Universal algorithms for evaluating boolean functions. Discret. Appl. Math. 3(1): 53-65 (1981)
• 
  André Thayse:
  P-Functions: A New Tool for the Analysis and Synthesis of Binary Programs. IEEE Trans. Computers 30(2): 126-134 (1981)
• 1979
• 
  André Thayse:
  Discrete function expansions in integer powers. Discret. Appl. Math. 1(1-2): 127-136 (1979)
• 
  André Thayse:
  Encoding of parallel program schemata by vector addition systems. Int. J. Parallel Program. 8(3): 209-218 (1979)
• 1978
• 
  André Thayse:
  Meet and Join Derivatives and Their Use in Switching Theory. IEEE Trans. Computers 27(8): 713-720 (1978)
• 
  André Thayse, Marc Davio, Jean-Pierre Deschamps:
  Optimization of multivalued decision algorithms. MVL 1978: 171-178
• 1977
• 
  André Thayse, Jean-Pierre Deschamps:
  Logic Properties of Unate Discrete and Switching Functions. IEEE Trans. Computers 26(12): 1202-1212 (1977)
• 1976
• 
  André Thayse:
  Difference operators and extended truth vectors for discrete functions. Discret. Math. 14(2): 171-202 (1976)
• 1973
• 
  André Thayse, Marc Davio:
  Boolean Differential Calculus and its Application to Switching Theory. IEEE Trans. Computers 22(4): 409-420 (1973)