<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Mitiamo Victoria Lexton Victoria Tang |
| Encoding First Order Proofs in SMT Jeremy Bongio, Cyrus Katrak, Hai Lin, Christopher Lynch, Eric McGregor and Yuefeng TangDocID: 1xVKL - View Document |
| Recommendations in Signed Social Networks Jiliang Tang‡ , Charu Aggarwal# , and Huan Liu† † Computer Science & Engineering, Arizona State University, Tempe, AZ, USA ‡DocID: 1xTWZ - View Document |
| PDF DocumentDocID: 1wQnh - View Document |
| Deep Neural Network-Based Method for Economic Dispatch in Microgrid Ziyu He Wenyuan TangDocID: 1vro9 - View Document |
| Medieval China: How to Put Some "Tang" in Your Medieval DynastiesDocID: 1vpIf - View Document |