E-LIB Suche - Ergebnisse für: JUBA, BRENDAN

1

Learnability with PAC Semantics for Multi-agent Beliefs:

MOCANU, IONELA G. ; BELLE, VAISHAK ; JUBA, BRENDAN
Theory and Practice of Logic Programming. 23 (2023) 4 - p. 730-747 , 2023

Link: https://doi.org/10.1017/..

2

A Scalable Shannon Entropy Estimator:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Golia, Priyanka ; Juba, Brendan ; Meel, Kuldeep S. - p. 363-384 , 2022

Link: https://doi.org/10.1007/..

3

AC0∘MOD2 lower bounds for the Boolean Inner Product:

Cheraghchi, Mahdi ; Grigorescu, Elena ; Juba, Brendan..
Journal of Computer and System Sciences. 97 (2018) - p. 45-59 , 2018

Link: https://doi.org/10.1016/..

4

Restricted Distribution Automatizability in PAC-Semantics:

, In: Proceedings of the 2015 Conference on Innovations in Theoretical Computer Science,

Juba, Brendan - p. 93-102 , 2015

Link: https://dl.acm.org/doi/1..

5

Massive online teaching to bounded learners:

, In: Proceedings of the 4th conference on Innovations in Theoretical Computer Science,

Juba, Brendan ; Williams, Ryan - p. 1-10 , 2013

Link: https://dl.acm.org/doi/1..

6

A theory of goal-oriented communication:

Goldreich, Oded ; Juba, Brendan ; Sudan, Madhu
Journal of the ACM. 59 (2012) 2 - p. 1-65 , 2012

Link: https://doi.org/10.1145/..

7

A theory of goal-oriented communication:

Goldreich, Oded ; Juba, Brendan ; Sudan, Madhu
Journal of the ACM (JACM). 59 (2012) 2 - p. 1-65 , 2012

Link: https://dl.acm.org/doi/1..

8

Universal semantic communication:

Juba, Brendan , 2011

Link: http://suub-bremen.ciand..

9

Reliable end-user communication under a changing packet net..:

, In: Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing,

Juba, Brendan - p. 339-340 , 2011

Link: https://dl.acm.org/doi/1..

10

A theory of goal-oriented communication:

, In: Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing,

Goldreich, Oded ; Juba, Brendan ; Sudan, Madhu - p. 299-300 , 2011

Link: https://dl.acm.org/doi/1..

11

Universal semantic communication I:

, In: Proceedings of the fortieth annual ACM symposium on Theory of computing,

Juba, Brendan ; Sudan, Madhu - p. 123-132 , 2008

Link: https://dl.acm.org/doi/1..

12

Estimating relatedness via data compression:

, In: Proceedings of the 23rd international conference on Machine learning,

Juba, Brendan - p. 441-448 , 2006

Link: https://dl.acm.org/doi/1..

13

Distribution-Specific Auditing for Subgroup Fairness:

Hsu, Daniel ; Huang, Jizhou ; Juba, Brendan
Is Part Of LIPIcs, Volume 295, 5th Symposium on Foundations of Responsible Computing (FORC 2024). , 2024

Link: https://doi.org/10.4230/..

14

Polynomial time auditing of statistical subgroup fairness f..:

Hsu, Daniel ; Huang, Jizhou ; Juba, Brendan
http://arxiv.org/abs/2401.16439. , 2024

Link: http://arxiv.org/abs/240..

15

An Approximate Skolem Function Counter:

Shaw, Arijit ; Juba, Brendan ; Meel, Kuldeep S
http://arxiv.org/abs/2312.12026. , 2023

Link: http://arxiv.org/abs/231..