Παρακολούθηση
Arie Matsliah
Arie Matsliah
Princeton University
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα princeton.edu - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
SLEAP: A deep learning system for multi-animal pose tracking
TD Pereira, N Tabris, A Matsliah, DM Turner, J Li, S Ravindranath, ...
Nature methods 19 (4), 486-495, 2022
4692022
Hardness and algorithms for rainbow connection
S Chakraborty, E Fischer, A Matsliah, R Yuster
Journal of Combinatorial Optimization 21, 330-347, 2011
2662011
Neuronal wiring diagram of an adult brain
S Dorkenwald, A Matsliah, AR Sterling, P Schlegel, SC Yu, CE McKellar, ...
Nature 634 (8032), 124-138, 2024
1862024
Neurotransmitter classification from electron microscopy images at synaptic sites in Drosophila melanogaster
N Eckstein, AS Bates, A Champion, M Du, Y Yin, P Schlegel, AKY Lu, ...
Cell 187 (10), 2574-2594. e23, 2024
1282024
Whole-brain annotation and multi-connectome cell typing of Drosophila
P Schlegel, Y Yin, AS Bates, S Dorkenwald, K Eichler, P Brooks, DS Han, ...
Nature 634 (8032), 139-152, 2024
1122024
Incremental formal verification of hardware
H Chockler, A Ivrii, A Matsliah, S Moran, Z Nevo
2011 Formal Methods in Computer-Aided Design (FMCAD), 135-143, 2011
92*2011
On the power of conditional samples in distribution testing
S Chakraborty, E Fischer, Y Goldhirsh, A Matsliah
Proceedings of the 4th conference on Innovations in Theoretical Computer …, 2013
792013
Monotonicity testing and shortest-path routing on the cube
J Briët, S Chakraborty, D García-Soriano, A Matsliah
Combinatorica 32 (1), 35-53, 2012
782012
Testing graph isomorphism
E Fischer, A Matsliah
SIAM Journal on Computing 38 (1), 207-225, 2008
692008
Relating proof complexity measures and practical hardness of SAT
M Järvisalo, A Matsliah, J Nordström, S Živný
International Conference on Principles and Practice of Constraint …, 2012
492012
Nearly tight bounds for testing function isomorphism
N Alon, E Blais, S Chakraborty, D García-Soriano, A Matsliah
SIAM Journal on Computing 42 (2), 459-493, 2013
48*2013
Approximate hypergraph partitioning and applications
E Fischer, A Matsliah, A Shapira
48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07), 579-589, 2007
462007
Network statistics of the whole-brain connectome of Drosophila
A Lin, R Yang, S Dorkenwald, A Matsliah, AR Sterling, P Schlegel, S Yu, ...
Nature 634 (8032), 153-165, 2024
422024
New results on quantum property testing
S Chakraborty, E Fischer, A Matsliah, R De Wolf
arXiv preprint arXiv:1005.0523, 2010
412010
The non-adaptive query complexity of testing k-parities
H Buhrman, D García-Soriano, A Matsliah, R de Wolf
arXiv preprint arXiv:1209.3849, 2012
392012
Efficient sample extractors for juntas with applications
S Chakraborty, D García-Soriano, A Matsliah
International Colloquium on Automata, Languages, and Programming, 545-556, 2011
352011
Computing interpolants without proofs
H Chockler, A Ivrii, A Matsliah
Hardware and Software: Verification and Testing: 8th International Haifa …, 2013
312013
Neuronal parts list and wiring diagram for a visual system
A Matsliah, SC Yu, K Kruk, D Bland, AT Burke, J Gager, J Hebditch, ...
Nature 634 (8032), 166-180, 2024
282024
Junto-symmetric functions, hypergraph isomorphism and crunching
S Chakraborty, E Fischer, D GacíaSoriano, A Matsliah
2012 IEEE 27th Conference on Computational Complexity, 148-158, 2012
282012
Perfect hashing and CNF encodings of cardinality constraints
Y Ben-Haim, A Ivrii, O Margalit, A Matsliah
International Conference on Theory and Applications of Satisfiability …, 2012
272012
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20