Not all FPRASs are equal: demystifying FPRASs for DNF-counting von Meel, Kuldeep S., Shrotri, Aditya A., Vardi, Moshe Y.

Volltext

Assessing Heuristic Machine Learning Explanations with Model Counting von Narodytska, Nina, Shrotri, Aditya, Meel, Kuldeep S., Ignatiev, Alexey, Marques-Silva, Joao

Volltext

On Symbolic Approaches for Computing the Matrix Permanent von Chakraborty, Supratik, Shrotri, Aditya A., Vardi, Moshe Y.

Volltext

Deploying data-loss-prevention policies to user devices von Shrotri, Aditya, Date, Sagar

Volltext bestellen

DEPLOYING DATA-LOSS-PREVENTION POLICIES TO USER DEVICES von SHROTRI, Aditya, DATE, Sagar

Volltext bestellen

DEPLOYING DATA-LOSS-PREVENTION POLICIES TO USER DEVICES von SHROTRI, Aditya, DATE, Sagar

Volltext bestellen

DEPLOYING DATA-LOSS-PREVENTION POLICIES TO USER DEVICES von Shrotri, Aditya, Date, Sagar

Volltext bestellen

Deploying data-loss-prevention policies to user devices von Shrotri, Aditya, Date, Sagar

Volltext bestellen

DEPLOYING DATA-LOSS-PREVENTION POLICIES TO USER DEVICES von SHROTRI, Aditya, DATE, Sagar

Volltext bestellen

DEPLOYING DATA-LOSS-PREVENTION POLICIES TO USER DEVICES von SHROTRI, Aditya, DATE, Sagar

Volltext bestellen

DEPLOYING DATA-LOSS-PREVENTION POLICIES TO USER DEVICES von Shrotri, Aditya, Date, Sagar

Volltext bestellen

On Uniformly Sampling Traces of a Transition System (Extended Version) von Chakraborty, Supratik, Shrotri, Aditya A, Vardi, Moshe Y

Volltext

On Symbolic Approaches for Computing the Matrix Permanent von Chakraborty, Supratik, Shrotri, Aditya A, Vardi, Moshe Y

Volltext bestellen

STATE MANAGEMENT FOR DEVICE-DRIVEN MANAGEMENT WORKFLOWS WITH ACTIVE ATTRIBUTES von Erenoglu, Huseyin, Shrotri, Aditya, Date, Sagar, Parwani, Rahul, Stallings, Ryan, Ghosh, Kunal

Volltext bestellen

On Hashing-Based Approaches to Approximate DNF-Counting von Meel, Kuldeep S, Shrotri, Aditya A, Vardi, Moshe Y

Volltext bestellen

DEPLOYING DATA-LOSS-PREVENTION POLICIES TO USER DEVICES von DATE SAGAR, SHROTRI ADITYA

Volltext bestellen

On Symbolic Approaches for Computing the Matrix Permanent von Chakraborty, Supratik, Shrotri, Aditya A, Vardi, Moshe Y

Volltext

On Hashing-Based Approaches to Approximate DNF-Counting von Meel, Kuldeep S, Shrotri, Aditya A, Vardi, Moshe Y

Volltext

CONTENT ACCESS BASED ON LOCATION OR TIME von Shrotri Aditya, Dhokale Akshay, Swar Pranay, Desai Alok, Halbe Gaurav

Volltext bestellen

SIMULATION TRAINING DEVICE FOR ASSESSMENT OF CERVICAL DILATATION von PRATINIDHI ASHA KRISHNA, PRATINIDHI ADITYA KRISHNA, SHROTRI APARNA NISHIKANT, KALE HEMANGI PARAG, KANHERE ARVIND, KANHERE NIKHIL ARVIND

Volltext bestellen