Hasil Pencarian - Clark Barrett

  • Menampilkan 1 - 6 hasil dari 6
Perbaiki Hasil
  1. 1
    Book Review: Coming of Age in the Evolutionary Behavioral Sciences

    Book Review: Coming of Age in the Evolutionary Behavioral Sciences oleh H. Clark Barrett

    Diterbitkan 2013-04-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    Coevolution of cooperation, causal cognition and mindreading

    Coevolution of cooperation, causal cognition and mindreading oleh H. Clark Barrett, Leda Cosmides, John Tooby

    Diterbitkan 2010-11-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    Reasoning with Finite Sets and Cardinality Constraints in SMT

    Reasoning with Finite Sets and Cardinality Constraints in SMT oleh Kshitij Bansal, Clark Barrett, Andrew Reynolds, Cesare Tinelli

    Diterbitkan 2018-11-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  4. 4
    Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract)

    Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract) oleh Burak Ekici, Arjun Viswanathan, Yoni Zohar, Clark Barrett, Cesare Tinelli

    Diterbitkan 2019-08-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  5. 5
    Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays

    Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays oleh Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, Clark Barrett

    Diterbitkan 2022-08-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  6. 6
    Towards Proving the Adversarial Robustness of Deep Neural Networks

    Towards Proving the Adversarial Robustness of Deep Neural Networks oleh Guy Katz, Clark Barrett, David L. Dill, Kyle Julian, Mykel J. Kochenderfer

    Diterbitkan 2017-09-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: