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

• 2021
• 
  Cynthia Porras, Jenny Fajardo, Alejandro Rosete, Antonio D. Masegosa:
  Partial Evaluation and Efficient Discarding for the Maximal Covering Location Problem. IEEE Access 9: 20542-20556 (2021)
• 
  Haifa Hamad AlKasem, Mohamed El Bachir Menai:
  Stochastic local search for Partial Max-SAT: an experimental evaluation. Artif. Intell. Rev. 54(4): 2525-2566 (2021)
• 
  Srinivas Katkoori, Sheikh Ariful Islam, Sujana Kakarla:
  Partial evaluation based triple modular redundancy for single event upset mitigation. Integr. 77: 167-179 (2021)
• 
  Giannis Karagiannis:
  Partial average cross-weight evaluation for ABC inventory classification. Int. Trans. Oper. Res. 28(3): 1526-1549 (2021)
• 
  Akira Tanaka:
  Coq to C translation with partial evaluation. PEPM@POPL 2021: 14-31
• 
  Sam Lindley, Torben Æ. Mogensen:
  Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2021, Virtual Event, Denmark, January 18-19, 2021. ACM 2021, ISBN 978-1-4503-8305-9 [contents]
• 
  Junya Nakamura, Yonghwan Kim, Yoshiaki Katayama, Toshimitsu Masuzawa:
  A cooperative partial snapshot algorithm for checkpoint-rollback recovery of large-scale and dynamic distributed systems and experimental evaluations. CoRR abs/2103.15285 (2021)
• 2020
• 
  Kilian Vasnier:
  Evaluation de situations multi-agents à partir d'observations partielles et hétérogènes. (Multi-Agent Situation Awareness from partial and heterogeneous observations). Normandy University, Caen, France, 2020
• 
  Sivagami Ramadass, Raghunathan Krishankumar, Kattur Soundarapandian Ravichandran, Huchang Liao, Samarjit Kar, Enrique Herrera-Viedma:
  Evaluation of cloud vendors from probabilistic linguistic information with unknown/partial weight values. Appl. Soft Comput. 97(Part B): 106801 (2020)
• 
  Yujin Sim, Dong-Ho Cho:
  Performance Evaluation of Partially Clustered Access Scheme for Massive Machine Type Communications. IEEE Commun. Lett. 24(3): 626-629 (2020)
• 
  María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer:
  A partial evaluation framework for order-sorted equational programs modulo axioms. J. Log. Algebraic Methods Program. 110 (2020)
• 
  Sathaporn Promwong, Thanadol Tiengthong:
  Evaluation of UHF Transfer Function in a Power Transformer for Real-Time Partial Discharge Detection. J. Mobile Multimedia 16(1-2): 65-84 (2020)
• 
  André M. Carrington, Paul W. Fieguth, Hammad Qazi, Andreas Holzinger, Helen H. Chen, Franz Mayr, Douglas G. Manuel:
  A new concordant partial AUC and partial c statistic for imbalanced data in the evaluation of machine learning algorithms. BMC Medical Informatics Decis. Mak. 20(1): 4 (2020)
• 
  M. Akif Özkan, Arsène Pérard-Gayot, Richard Membarth, Philipp Slusallek, Roland Leißa, Sebastian Hack, Jürgen Teich, Frank Hannig:
  AnyHLS: High-Level Synthesis With Partial Evaluation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3202-3214 (2020)
• 
  Guy Tennenholtz, Uri Shalit, Shie Mannor:
  Off-Policy Evaluation in Partially Observable Environments. AAAI 2020: 10276-10283
• 
  Shirin Riazy, Sabrina Inez Weller, Katharina Simbeck:
  Evaluation of Low-threshold Programming Learning Environments for the Blind and Partially Sighted. CSEDU (2) 2020: 366-373
• 
  Rajesh Jayaprakash:
  Partial Evaluation Based CPS Transformation: An Implementation Case Study. ELS 2020: 52-59
• 
  André Müller, Bertil Schmidt, Andreas Hildebrandt, Richard Membarth, Roland Leißa, Matthis Kruse, Sebastian Hack:
  AnySeq: A High Performance Sequence Alignment Library based on Partial Evaluation. IPDPS 2020: 1030-1040
• 
  Tobias Fritz, Paolo Perrone:
  Monads, Partial Evaluations, and Rewriting. MFPS 2020: 129-148
• 
  Stefano Carnà:
  Reproducibility Report for the Paper: Partial Evaluation via Code Generation for Static Stochastic Reaction Network Models. SIGSIM-PADS 2020: 171-173
• 
  Till Köster, Tom Warnke, Adelinde M. Uhrmacher:
  Partial Evaluation via Code Generation for Static Stochastic Reaction Network Models. SIGSIM-PADS 2020: 159-170
• 
  Aleksey Tyurin, Daniil Berezun, Semyon V. Grigorev:
  Optimizing GPU programs by partial evaluation. PPoPP 2020: 431-432
• 
  Masaya Yamagishi, Guanghui Song, Tomotaka Kimura, Jun Cheng:
  Performance Evaluation of LDPC Coded Partial-Access IDMA Systems with SNR Evolution. TENCON 2020: 647-651
• 
  Casper Bach Poulsen, Zhenjiang Hu:
  Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2020, New Orleans, LA, USA, January 20, 2020. ACM 2020, ISBN 978-1-4503-7096-7 [contents]
• 
  André Müller, Bertil Schmidt, Andreas Hildebrandt, Richard Membarth, Roland Leißa, Matthis Kruse, Sebastian Hack:
  AnySeq: A High Performance Sequence Alignment Library based on Partial Evaluation. CoRR abs/2002.04561 (2020)
• 
  M. Akif Özkan, Arsène Pérard-Gayot, Richard Membarth, Philipp Slusallek, Roland Leißa, Sebastian Hack, Jürgen Teich, Frank Hannig:
  AnyHLS: High-Level Synthesis with Partial Evaluation. CoRR abs/2002.05796 (2020)
• 
  Liang Ma, Ting He, Kin K. Leung, Ananthram Swami, Don Towsley:
  Partial Network Identifiability: Theorem Proof and Evaluation. CoRR abs/2012.11378 (2020)
• 
  Martin Mariusz Lester:
  Solving Interactive Fiction Games via Partial Evaluation and Bounded Model Checking. CoRR abs/2012.15365 (2020)
• 2019
• 
  Ahmed A. Al-Jaberi:
  An evaluation of partial differential equations based digital inpainting algorithms. University of Buckingham, UK, 2019
• 
  Weiwei Sun, Jian Tang, Chunsong Bai:
  Evaluation of University Project Based on Partial Least Squares and Dynamic Back Propagation Neural Network Group. IEEE Access 7: 69494-69503 (2019)

skipping 638 more matches