Search results

  • CSV Spreadsheet
  • RSS Feed
(1 - 4 of 4)
Automated formal analytics for smart grid security and resiliency
Coordinating decentralized learning and conflict resolution across agent boundaries
Group modeling, recommendation and evaluation in collaborative filtering group-based recommender systems
Using formal methods towards improving cloud IaaS environments