Search

Your search keyword '"Kermany, Einat"' showing total 18 results

Search Constraints

Start Over You searched for: "Kermany, Einat" Remove constraint "Kermany, Einat"
18 results on '"Kermany, Einat"'

Search Results

1. Neural network gradient-based learning of black-box function interfaces

2. Estimate and Replace: A Novel Approach to Integrating Deep Neural Networks with Existing Applications

3. Fine-grained Analysis of Sentence Embeddings Using Auxiliary Prediction Tasks

4. The Verification Cockpit – Creating the Dream Playground for Data Analytics over the Verification Process

7. Template Aware Coverage

8. Program for the Fifth Rambam Research Day

9. Template Aware Coverage - Taking Coverage Analysis to the Next Level.

12. Tradeoffs and Constraints on Neural Representation in Networks of Cortical Neurons.

13. References.

15. Distributional Semantics

16. Space-Time Computing with Temporal Neural Networks

17. Space-Time Computing with Temporal Neural Networks

18. Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

Catalog

Books, media, physical & digital resources