Search Results - "Matsliah, Arie"

SLEAP: A deep learning system for multi-animal pose tracking by Pereira, Talmo D., Tabris, Nathaniel, Matsliah, Arie, Turner, David M., Li, Junyu, Ravindranath, Shruthi, Papadoyannis, Eleni S., Normand, Edna, Deutsch, David S., Wang, Z. Yan, McKenzie-Smith, Grace C., Mitelut, Catalin C., Castro, Marielisa Diez, D’Uva, John, Kislin, Mikhail, Sanes, Dan H., Kocher, Sarah D., Wang, Samuel S.-H., Falkner, Annegret L., Shaevitz, Joshua W., Murthy, Mala

“…The desire to understand how the brain generates and patterns behavior has driven rapid methodological innovation in tools to quantify natural animal behavior…”
Get full text

Publisher Correction: SLEAP: A deep learning system for multi-animal pose tracking by Pereira, Talmo D., Tabris, Nathaniel, Matsliah, Arie, Turner, David M., Li, Junyu, Ravindranath, Shruthi, Papadoyannis, Eleni S., Normand, Edna, Deutsch, David S., Wang, Z. Yan, McKenzie-Smith, Grace C., Mitelut, Catalin C., Castro, Marielisa Diez, D’Uva, John, Kislin, Mikhail, Sanes, Dan H., Kocher, Sarah D., Wang, Samuel S.-H., Falkner, Annegret L., Shaevitz, Joshua W., Murthy, Mala

Get full text

Hardness and algorithms for rainbow connection by Chakraborty, Sourav, Fischer, Eldar, Matsliah, Arie, Yuster, Raphael

“…An edge-colored graph G is rainbow connected if any two vertices are connected by a path whose edges have distinct colors. The rainbow connection of a…”
Get full text

Neurotransmitter classification from electron microscopy images at synaptic sites in Drosophila melanogaster by Eckstein, Nils, Bates, Alexander Shakeel, Champion, Andrew, Du, Michelle, Yin, Yijie, Schlegel, Philipp, Lu, Alicia Kun-Yang, Rymer, Thomson, Finley-May, Samantha, Paterson, Tyler, Parekh, Ruchi, Dorkenwald, Sven, Matsliah, Arie, Yu, Szi-Chieh, McKellar, Claire, Sterling, Amy, Eichler, Katharina, Costa, Marta, Seung, Sebastian, Murthy, Mala, Hartenstein, Volker, Jefferis, Gregory S X E, Funke, Jan

“…High-resolution electron microscopy of nervous systems has enabled the reconstruction of synaptic connectomes. However, we do not know the synaptic sign for…”
Get more information

Network statistics of the whole-brain connectome of Drosophila by Lin, Albert, Yang, Runzhe, Dorkenwald, Sven, Matsliah, Arie, Sterling, Amy R., Schlegel, Philipp, Yu, Szi-chieh, McKellar, Claire E., Costa, Marta, Eichler, Katharina, Bates, Alexander Shakeel, Eckstein, Nils, Funke, Jan, Jefferis, Gregory S. X. E., Murthy, Mala

“…Brains comprise complex networks of neurons and connections, similar to the nodes and edges of artificial networks. Network analysis applied to the wiring…”
Get full text

The fly connectome reveals a path to the effectome by Pospisil, Dean A., Aragon, Max J., Dorkenwald, Sven, Matsliah, Arie, Sterling, Amy R., Schlegel, Philipp, Yu, Szi-chieh, McKellar, Claire E., Costa, Marta, Eichler, Katharina, Jefferis, Gregory S. X. E., Murthy, Mala, Pillow, Jonathan W.

“…A goal of neuroscience is to obtain a causal model of the nervous system. The recently reported whole-brain fly connectome 1 – 3 specifies the synaptic paths…”
Get full text

Whole-brain annotation and multiconnectome cell typing of Drosophila by Schlegel, Philipp, Yin, Yijie, Bates, Alexander S, Dorkenwald, Sven, Eichler, Katharina, Brooks, Paul, Han, Daniel S, Gkantia, Marina, dos Santos, Marcia, Munnelly, Eva J, Badalamente, Griffin, Capdevila, Laia Serratosa, Sane, Varun A, Fragniere, Alexandra M C, Kiassat, Ladann, Pleijzier, Markus W, Stürner, Tomke, Tamimi, Imaan F M, Dunne, Christopher R, Salgarella, Irene, Javier, Alexandre, Fang, Siqi, Perlman, Eric, Kazimiers, Tom, Jagannathan, Sridhar R, Matsliah, Arie, Sterling, Amy R, Yu, Szi-chieh, McKellar, Claire E, Costa, Marta, Seung, H Sebastian, Murthy, Mala, Hartenstein, Volker, Bock, Davi D, Jefferis, Gregory S X E

“…The fruit fly Drosophila melanogasterhas emerged as a key model organism in neuroscience, in large part due to the concentration of collaboratively generated…”
Get full text

A Drosophila computational brain model reveals sensorimotor processing by Shiu, Philip K., Sterne, Gabriella R., Spiller, Nico, Franconville, Romain, Sandoval, Andrea, Zhou, Joie, Simha, Neha, Kang, Chan Hyuk, Yu, Seongbong, Kim, Jinseop S., Dorkenwald, Sven, Matsliah, Arie, Schlegel, Philipp, Yu, Szi-chieh, McKellar, Claire E., Sterling, Amy, Costa, Marta, Eichler, Katharina, Bates, Alexander Shakeel, Eckstein, Nils, Funke, Jan, Jefferis, Gregory S. X. E., Murthy, Mala, Bidaye, Salil S., Hampel, Stefanie, Seeds, Andrew M., Scott, Kristin

“…The recent assembly of the adult Drosophila melanogaster central brain connectome, containing more than 125,000 neurons and 50 million synaptic connections,…”
Get full text

Neuronal parts list and wiring diagram for a visual system by Matsliah, Arie, Yu, Szi-chieh, Kruk, Krzysztof, Bland, Doug, Burke, Austin T., Gager, Jay, Hebditch, James, Silverman, Ben, Willie, Kyle Patrick, Willie, Ryan, Sorek, Marissa, Sterling, Amy R., Kind, Emil, Garner, Dustin, Sancer, Gizem, Wernet, Mathias F., Kim, Sung Soo, Murthy, Mala, Seung, H. Sebastian

“…A catalogue of neuronal cell types has often been called a ‘parts list’ of the brain 1 , and regarded as a prerequisite for understanding brain function 2 , 3…”
Get full text

Neuronal wiring diagram of an adult brain by Dorkenwald, Sven, Matsliah, Arie, Sterling, Amy R., Schlegel, Philipp, Yu, Szi-chieh, McKellar, Claire E., Lin, Albert, Costa, Marta, Eichler, Katharina, Yin, Yijie, Silversmith, Will, Schneider-Mizell, Casey, Jordan, Chris S., Brittain, Derrick, Halageri, Akhilesh, Kuehner, Kai, Ogedengbe, Oluwaseun, Morey, Ryan, Gager, Jay, Kruk, Krzysztof, Perlman, Eric, Yang, Runzhe, Deutsch, David, Bland, Doug, Sorek, Marissa, Lu, Ran, Macrina, Thomas, Lee, Kisuk, Bae, J. Alexander, Mu, Shang, Nehoran, Barak, Mitchell, Eric, Popovych, Sergiy, Wu, Jingpeng, Jia, Zhen, Castro, Manuel A., Kemnitz, Nico, Ih, Dodam, Bates, Alexander Shakeel, Eckstein, Nils, Funke, Jan, Collman, Forrest, Bock, Davi D., Jefferis, Gregory S. X. E., Seung, H. Sebastian, Murthy, Mala

“…Connections between neurons can be mapped by acquiring and analysing electron microscopic brain images. In recent years, this approach has been applied to…”
Get full text

Whole-brain annotation and multi-connectome cell typing of Drosophila by Schlegel, Philipp, Yin, Yijie, Bates, Alexander S., Dorkenwald, Sven, Eichler, Katharina, Brooks, Paul, Han, Daniel S., Gkantia, Marina, dos Santos, Marcia, Munnelly, Eva J., Badalamente, Griffin, Serratosa Capdevila, Laia, Sane, Varun A., Fragniere, Alexandra M. C., Kiassat, Ladann, Pleijzier, Markus W., Stürner, Tomke, Tamimi, Imaan F. M., Dunne, Christopher R., Salgarella, Irene, Javier, Alexandre, Fang, Siqi, Perlman, Eric, Kazimiers, Tom, Jagannathan, Sridhar R., Matsliah, Arie, Sterling, Amy R., Yu, Szi-chieh, McKellar, Claire E., Costa, Marta, Seung, H. Sebastian, Murthy, Mala, Hartenstein, Volker, Bock, Davi D., Jefferis, Gregory S. X. E.

“…The fruit fly Drosophila melanogaster has emerged as a key model organism in neuroscience, in large part due to the concentration of collaboratively generated…”
Get full text

Monotonicity testing and shortest-path routing on the cube by Briët, Jop, Chakraborty, Sourav, García-Soriano, David, Matsliah, Arie

“…We study the problem of monotonicity testing over the hypercube. As previously observed in several works, a positive answer to a natural question about routing…”
Get full text

Underapproximation for model-checking based on universal circuits by Matsliah, Arie, Strichman, Ofer

“…For two naturals m , n such that m < n , we show how to construct a circuit C with m inputs and n outputs, that has the following property: for some 0 ⩽ k ⩽ m…”
Get full text

Learning parities in the mistake-bound model by Buhrman, Harry, García-Soriano, David, Matsliah, Arie

“…We study the problem of learning parity functions that depend on at most k variables ( k-parities) attribute-efficiently in the mistake-bound model. We design…”
Get full text

Junto-Symmetric Functions, Hypergraph Isomorphism and Crunching by Chakraborty, S., Fischer, E., Gacía-Soriano, D., Matsliah, A.

“…We make a step towards characterizing the boolean functions to which isomorphism can be efficiently tested. Specifically, we prove that isomorphism to any…”
Get full text

Incremental formal verification of hardware by Chockler, H., Ivrii, A., Matsliah, A., Moran, S., Nevo, Z.

“…Formal verification is a reliable and fully automatic technique for proving correctness of hardware designs. Its main drawback is the high complexity of…”
Get full text

On the Power of Conditional Samples in Distribution Testing by Chakraborty, Sourav, Fischer, Eldar, Goldhirsh, Yonatan, Matsliah, Arie

“…In this paper we define and examine the power of the {\em conditional-sampling} oracle in the context of distribution-property testing. The…”
Get full text

The non-adaptive query complexity of testing k-parities by Buhrman, Harry, Garcia-Soriano, David, Matsliah, Arie, de Wolf, Ronald

“…We prove tight bounds of Theta(k log k) queries for non-adaptively testing whether a function f:{0,1}^n -> {0,1} is a k-parity or far from any k-parity. The…”
Get full text

IC3-guided abstraction by Baumgartner, J., Ivrii, A., Matsliah, A., Mony, H.

“…Localization is a powerful automated abstraction-refinement technique to reduce the complexity of property checking. This process is often guided by SAT-based…”
Get full text

New Results on Quantum Property Testing by Chakraborty, Sourav, Fischer, Eldar, Matsliah, Arie, de Wolf, Ronald

“…We present several new examples of speed-ups obtainable by quantum algorithms in the context of property testing. First, motivated by sampling algorithms, we…”
Get full text