extended abstract
Human-centric Transfer Learning Explanation via Knowledge Graph [Extended Abstract]
5
The partition algebra and the Kronecker product (Extended Abstract)
13
Adding Recursion to Dpi (Extended Abstract)
46
Symbolic bisimulation for a higher order distributed language with passivation (extended abstract)
15
Balancing Translation Quality and Sentiment Preservation (Non archival Extended Abstract)
8
Subtyping and Locality in Distributed Higher Order Mobile Processes (extended abstract)
16
Type safe execution of mobile agents in anonymous networks (Extended Abstract)
21
“Managing Strategic Performance in 3-Dimensions”, Extended Abstract presentation
6
The role of formal specification in rule based real time AI (extended abstract)
13
Time constrained restless bandits and the knapsack problem for perishable items (Extended Abstract)
8
Incentive compatible mechanisms for norm monitoring in open multi agent systems (Extended abstract)
5
Register sensitive Translation: a Case Study of Mandarin and Cantonese (Non archival Extended Abstract)
8
Improving Low Resource Machine Translation using Morphological Glosses (Non archival Extended Abstract)
8
Exploring Word Sense Disambiguation Abilities of Neural Machine Translation Systems (Non archival Extended Abstract)
7
A Do-It-All-Cipher for RFID: Design Requirements (Extended Abstract)
12
Bisimulation Congruences in Safe Ambients (extended abstract)
41
Liveness of Communicating Transactions (Extended Abstract)
16
On the growth of Kronecker coefficients (extended abstract)
13
Resource access control in systems of mobile agents (Extended Abstract)
47
Retrenchment and the Mondex Electronic Purse (Extended Abstract)
8