Technical Reports

  • TR-CS-NMSU-2014-10-24
    Exploring Life through Logic Programming: Logic Programming in Bioinformatics
    Alessandro Dal Palu, Agostino Dovier, Andrea Formisano, and Enrico Pontelli
  • TR-CS-NMSU-2014-4-25
    A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization Problems
    Federico Campeotto, Agostino Dovier, Ferdinando Fioretto, and Enrico Pontelli
  • TR-CS-NMSU-2014-2-10
    Decentralized Multi-Agent Reinforcement Learning in Average-Reward Dynamic DCOPs (Theoretical Proofs)
    Duc Thien Nguyen, William Yeoh, Hoong Chuin Lau, Shlomo Zilberstein, and Chongjie Zhang
  • TR-CS-NMSU-2014-1-13
    Detecting Influence Relationships from Graphs
    Chuan Hu and Huiping Cao
  • TR-CS-NMSU-2013-3-20
    STK-Anonymity: K-anonymity for Social Networks Containing both Structural and Textual Information
    Yifan Hao, Huiping Cao, Kabi Bhattarai, and Satyajayant Misra
  • TR-CS-NMSU-2012-4-20
    Computing Approximate Solutions of the Protein Structure Determination Problem using Global Constraints on Discrete Crystal Lattices
    Alessandro Dal Palu, Agostino Dovier, and Enrico Pontelli
  • TR-CS-NMSU-2011-1-4
    Logic Programming and Web Service Querying for Phylogenetic Information
    Brandon Chisham, Enrico Pontelli, Tran Son, and Ben Wright