1
Published 2016
Table of Contents: '; ... -- Idea: Supporting Policy-Based Access Control on Database Systems -- Idea: Enforcing Security Properties...
Get full text
2
Published 2020
Table of Contents: '; ... Sequential Variational Autoencoders for Fraud Detection -- A Principled Approach to Analyze Expressiveness...
Get full text
3
Published 2015
Table of Contents: '; ...'s Schedulers Under Failures -- Partitioning graph databases by using access patterns -- Cloud Search Based...
Get full text
4
Published 2020
Table of Contents: '; ... Command Recognition System -- Efficient Traffic Signboard Recognition System Using Convolutional Networks...
Get full text
5
Published 2020
Table of Contents: '; ... for imperative program verification -- On xpoint/iteration/variant induction principles for proving total...
Get full text