Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

8978 Publications


2013 | Journal Article | IST-REx-ID: 2408 | OA
The excitation spectrum for weakly interacting Bosons in a trap
P. Grech, R. Seiringer, Communications in Mathematical Physics 322 (2013) 559–591.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2412 | OA
Probabilistic models for CRISPR spacer content evolution
A. Kupczok, J.P. Bollback, BMC Evolutionary Biology 13 (2013) 54–54.
[Published Version] View | Files available | DOI
 

2013 | Book Chapter | IST-REx-ID: 2413
Neuronal oscillations scale up and scale down the brain dynamics
M. Valderrama, V. Botella Soler, M. Le Van Quyen, in:, M. Meyer, Z. Pesenson (Eds.), Multiscale Analysis and Nonlinear Dynamics: From Genes to the Brain, Wiley-VCH, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2410 | OA
Complete genome sequence of the novel phage MG-B1 infecting bacillus weihenstephanensis
R.A. Fernandes Redondo, A. Kupczok, G. Stift, J.P. Bollback, Genome Announcements 1 (2013).
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2447 | OA
Automating separation logic using SMT
R. Piskac, T. Wies, D. Zufferey, 8044 (2013) 773–789.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2443 | OA
Defining the selectivity of processes along the auxin response chain: A study using auxin analogues
S. Simon, M. Kubeš, P. Baster, S. Robert, P. Dobrev, J. Friml, J. Petrášek, E. Zažímalová, New Phytologist 200 (2013) 1034–1048.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2446 | OA
Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis
K. Chatterjee, A. Gaiser, J. Kretinsky, 8044 (2013) 559–575.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2444 | OA
Faster algorithms for Markov decision processes with low treewidth
K. Chatterjee, J. Ła̧Cki, 8044 (2013) 543–558.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2449
Retromer subunits VPS35A and VPS29 mediate prevacuolar compartment (PVC) function in Arabidopsis
T. Nodzyński, M. Feraru, S. Hirsch, R. De Rycke, C. Nicuales, J. Van Leene, G. De Jaeger, S. Vanneste, J. Friml, Molecular Plant 6 (2013) 1849–1862.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2452
Single-cell-based system to monitor carrier driven cellular auxin homeostasis
E. Barbez, M. Laňková, M. Pařezová, A. Maizel, E. Zažímalová, J. Petrášek, J. Friml, J. Kleine Vehn, BMC Plant Biology 13 (2013).
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2450
Interaction of PLS and PIN and hormonal crosstalk in Arabidopsis root development
J. Liu, S. Menhi, J. Topping, J. Friml, K. Lindsey, Frontiers in Plant Science 4 (2013).
View | DOI
 

2013 | Journal Article | IST-REx-ID: 245 | OA
Inhomogeneous cubic congruences and rational points on del Pezzo surfaces
S. Baier, T.D. Browning, Journal Fur Die Reine Und Angewandte Mathematik (2013) 69–151.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2457
Origin and evolution of PIN auxin transporters in the green lineage
T. Viaene, C. Delwiche, S. Rensing, J. Friml, Trends in Plant Science 18 (2013) 5–10.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 246
Rational points on singular intersections of quadrics
T.D. Browning, R. Munshi, Compositio Mathematica 149 (2013) 1457–1494.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2471 | OA
Mechanism of protein kinetic stabilization by engineered disulfide crosslinks
I. Sanchez-Romero, A. Ariza, K. Wilson, M. Skjøt, J. Vind, L. De Maria, L. Skov, J. Sánchez Ruiz, PLoS One 8 (2013).
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2472 | OA
Role of the Arabidopsis PIN6 auxin transporter in auxin homeostasis and auxin-mediated development
C. Cazzonelli, M. Vanstraelen, S. Simon, K. Yin, A. Carron Arthur, N. Nisar, G. Tarle, A. Cuttriss, I. Searle, E. Benková, U. Mathesius, J. Masle, J. Friml, B. Pogson, PLoS One 8 (2013).
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2470 | OA
Overexpression of the auxin binding PROTEIN1 modulates PIN-dependent auxin transport in tobacco cells
M. Čovanová, M. Sauer, J. Rychtář, J. Friml, J. Petrášek, E. Zažímalová, PLoS One 8 (2013).
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2466 | OA
Highly adaptive liquid simulations on tetrahedral meshes
R. Ando, N. Thuerey, C. Wojtan, ACM Transactions on Graphics 32 (2013).
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2467 | OA
Putting holes in holey geometry: Topology change for arbitrary surfaces
G. Bernstein, C. Wojtan, ACM Transactions on Graphics 32 (2013).
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2468 | OA
Liquid surface tracking with error compensation
M. Bojsen-Hansen, C. Wojtan, ACM Transactions on Graphics 32 (2013).
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2469 | OA
Three functions of cadherins in cell adhesion
J.-L. Maître, C.-P.J. Heisenberg, Current Biology 23 (2013) R626–R633.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 247
The Lang-Weil estimate for cubic hypersurfaces
T.D. Browning, Canadian Mathematical Bulletin 56 (2013) 500–502.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2473 | OA
Genetic hitch-hiking in spatially extended populations
N.H. Barton, A. Etheridge, J. Kelleher, A. Véber, Theoretical Population Biology 87 (2013) 75–89.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2478
Neuroligin-1 controls synaptic abundance of NMDA-type glutamate receptors through extracellular coupling
E. Budreck, O. Kwon, J. Jung, S. Baudouin, A. Thommen, H. Kim, Y. Fukazawa, H. Harada, K. Tabuchi, R. Shigemoto, P. Scheiffele, J. Kim, PNAS 110 (2013) 725–730.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 250 | OA
Density of Châtelet surfaces failing the Hasse principle
R. De La Bretèche, T.D. Browning, Proceedings of the London Mathematical Society 108 (2013) 1030–1078.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 251
Counter examples to the Hasse principle among certain coflasque tori
R. De La Bretèche, T.D. Browning, Journal de Theorie Des Nombres de Bordeaux 26 (2013) 25–44.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2517 | OA
Formalizing and reasoning about quality
S. Almagor, U. Boker, O. Kupferman, 7966 (2013) 15–27.
[Submitted Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2518 | OA [Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2516
Attribute-based classification for zero-shot learning of object categories
C. Lampert, H. Nickisch, S. Harmeling, IEEE Transactions on Pattern Analysis and Machine Intelligence 36 (2013) 453–465.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2520 | OA
The supervised IBP: Neighbourhood preserving infinite latent feature models
N. Quadrianto, V. Sharmanska, D. Knowles, Z. Ghahramani, in:, Proceedings of the 29th Conference Uncertainty in Artificial Intelligence, AUAI Press, 2013, pp. 527–536.
[Submitted Version] View | Files available
 

2013 | Journal Article | IST-REx-ID: 253
Counting rational points on cubic hypersurfaces: Corrigendum
T.D. Browning, Mathematika 60 (2013) 101–107.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2692
Neural substrates for the distinct effects of presynaptic group III metabotropic glutamate receptors on extinction of contextual fear conditioning in mice
A. Dobi, S. Sartori, D. Busti, H. Van Der Putten, N. Singewald, R. Shigemoto, F. Ferraguti, Neuropharmacology 66 (2013) 274–289.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2691 View | DOI
 

2013 | Journal Article | IST-REx-ID: 2690
Evaluation of glutamate concentration transient in the synaptic cleft of the rat calyx of Held
T. Budisantoso, H. Harada, N. Kamasawa, Y. Fukazawa, R. Shigemoto, K. Matsui, Journal of Physiology 591 (2013) 219–239.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2693
Differential GABAB-receptor-mediated effects in perisomatic- and dendrite-targeting parvalbumin interneurons
S. Booker, A. Gross, D. Althof, R. Shigemoto, B. Bettler, M. Frotscher, M. Hearing, K. Wickman, M. Watanabe, Á. Kulik, I. Vida, Journal of Neuroscience 33 (2013) 7961–7974.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2698 | OA
Stability and semiclassics in self-generated fields
L. Erdös, S. Fournais, J. Solovej, Journal of the European Mathematical Society 15 (2013) 2093–2113.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2697 | OA
Delocalization and diffusion profile for random band matrices
L. Erdös, A. Knowles, H. Yau, J. Yin, Communications in Mathematical Physics 323 (2013) 367–416.
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2718 | OA
Can quantitative and population genetics help us understand evolutionary computation?
N.H. Barton, T. Paixao, in:, Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, ACM, 2013, pp. 1573–1580.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2720 | OA
Accumulation of spontaneous mutations in the ciliate Tetrahymena thermophila
H. Long, T. Paixao, R. Azevedo, R. Zufall, Genetics 195 (2013) 527–540.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Conference Paper | IST-REx-ID: 2719
A variance decomposition approach to the analysis of genetic algorithms
T. Paixao, N.H. Barton, in:, Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, ACM, 2013, pp. 845–852.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2782 | OA
Local eigenvalue density for general MANOVA matrices
L. Erdös, B. Farrell, Journal of Statistical Physics 152 (2013) 1003–1032.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2781 | OA
Spectral statistics of Erdős-Rényi graphs I: Local semicircle law
L. Erdös, A. Knowles, H. Yau, J. Yin, Annals of Probability 41 (2013) 2279–2375.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2780 | OA
Averaging fluctuations in resolvents of random band matrices
L. Erdös, A. Knowles, H. Yau, Annales Henri Poincare 14 (2013) 1837–1926.
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2807 | OA
Extending continuous maps: Polynomiality and undecidability
M. Čadek, M. Krcál, J. Matoušek, L. Vokřínek, U. Wagner, in:, 45th Annual ACM Symposium on Theory of Computing, ACM, 2013, pp. 595–604.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2808 | OA
The moss physcomitrella patens reproductive organ development is highly organized, affected by the two SHI/STY genes and by the level of active auxin in the SHI/STY expression domain
K. Landberg, E. Pederson, T. Viaene, B. Bozorg, J. Friml, H. Jönsson, M. Thelander, E. Sundberg, Plant Physiology 162 (2013) 1406–1419.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2806 View | DOI
 

2013 | Journal Article | IST-REx-ID: 2805
Lagrangian approach to laminar-turbulent interfaces in transitional pipe flow
M. Holzner, B. Song, M. Avila, B. Hof, Journal of Fluid Mechanics 723 (2013) 140–162.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2810 | OA
Environmental dependence of genetic constraint
M. de Vos, F. Poelwijk, N. Battich, J. Ndika, S. Tans, PLoS Genetics 9 (2013).
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2814 | OA
The complexity of coverage
K. Chatterjee, L. Alfaro, R. Majumdar, International Journal of Foundations of Computer Science 24 (2013) 165–185.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2811 | OA
Nature of laminar-turbulence intermittency in shear flows
M. Avila, B. Hof, Physical Review E 87 (2013).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2813 | OA
Elasto-inertial turbulence
D. Samanta, Y. Dubief, M. Holzner, C. Schäfer, A. Morozov, C. Wagner, B. Hof, PNAS 110 (2013) 10557–10562.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Conference Paper | IST-REx-ID: 2812 | OA
Homological reconstruction and simplification in R3
D. Attali, U. Bauer, O. Devillers, M. Glisse, A. Lieutier, in:, Proceedings of the 29th Annual Symposium on Computational Geometry, ACM, 2013, pp. 117–125.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2817 | OA
Density games
S. Novak, K. Chatterjee, M. Nowak, Journal of Theoretical Biology 334 (2013) 26–34.
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2819 | OA
Quantitative timed simulation functions and refinement metrics for real-time systems
K. Chatterjee, V. Prabhu, in:, Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, Springer, 2013, pp. 273–282.
[Preprint] View | DOI | Download Preprint (ext.)
 

2013 | Journal Article | IST-REx-ID: 2818 | OA
Learning quadratic receptive fields from neural responses to natural stimuli
K. Rajan, O. Marre, G. Tkačik, Neural Computation 25 (2013) 1661–1692.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2826 | OA
Mutations in SCO2 are associated with autosomal-dominant high-grade myopia
K. Tran Viet, C. Powell, V. Barathi, T. Klemm, S. Maurer Stroh, V. Limviphuvadh, V. Soler, C. Ho, T. Yanovitch, G. Schneider, Y. Li, E. Nading, R. Metlapally, S. Saw, L. Goh, S. Rozen, T. Young, American Journal of Human Genetics 92 (2013) 820–826.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2822 | OA
3D phenotyping and quantitative trait locus mapping identify core regions of the rice genome controlling root architecture
C. Topp, A. Iyer Pascuzzi, J. Anderson, C. Lee, P. Zurek, O. Symonova, Y. Zheng, A. Bucksch, Y. Mileyko, T. Galkovskyi, B. Moore, J. Harer, H. Edelsbrunner, T. Mitchell Olds, J. Weitz, P. Benfey, PNAS 110 (2013) E1695–E1704.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2821 | OA
A major facilitator superfamily transporter plays a dual role in polar auxin transport and drought stress tolerance in Arabidopsis
E. Remy, T. Cabrito, P. Baster, R. Batista, M. Teixeira, J. Friml, I. Sá Correia, P. Duque, Plant Cell 25 (2013) 901–926.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2827 | OA
Salicylic acid interferes with clathrin-mediated endocytic protein trafficking
Y. Du, R. Tejos, M. Beck, E. Himschoot, H. Li, S. Robatzek, S. Vanneste, J. Friml, PNAS 110 (2013) 7946–7951.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2823
Post-fire recovery of revegetated woodland communities in south-eastern Australia
M. Pickup, S. Wilson, D. Freudenberger, N. Nicholls, L. Gould, S. Hnatiuk, J. Delandre, Austral Ecology 38 (2013) 300–312.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2824
Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems
K. Chatterjee, V. Prabhu, Information and Computation 228–229 (2013) 83–119.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2832 | OA
Cell polarity and patterning by PIN trafficking through early endosomal compartments in arabidopsis thaliana
H. Tanaka, S. Kitakura, H. Rakusová, T. Uemura, M. Feraru, R. De Rycke, S. Robert, T. Kakimoto, J. Friml, PLoS Genetics 9 (2013).
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2828 | OA
The complexity of conservative valued CSPs
V. Kolmogorov, S. Živný, Journal of the ACM 60 (2013).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2829 | OA
Scale invariance at the onset of turbulence in couette flow
L. Shi, M. Avila, B. Hof, Physical Review Letters 110 (2013).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2834 | OA
Streamwise-localized solutions at the onset of turbulence in pipe flow
M. Avila, F. Mellibovsky, N. Roland, B. Hof, Physical Review Letters 110 (2013).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2833
Forces in tissue morphogenesis and patterning
C.-P.J. Heisenberg, Y. Bellaïche, Cell 153 (2013) 948–962.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2830
A conduit to amplify innate immunity
C. Moussion, M.K. Sixt, Immunity 38 (2013) 853–854.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2842 | OA
Inference in two dimensions: Allele frequencies versus lengths of shared sequence blocks
N.H. Barton, A. Etheridge, J. Kelleher, A. Véber, Theoretical Population Biology 87 (2013) 105–119.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2838 | OA [Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2839 | OA
Interstitial dendritic cell guidance by haptotactic chemokine gradients
M. Weber, R. Hauschild, J. Schwarz, C. Moussion, I. de Vries, D. Legler, S. Luther, M.T. Bollenbach, M.K. Sixt, Science 339 (2013) 328–332.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2837 | OA
The local semicircle law for a general class of random matrices
L. Erdös, A. Knowles, H. Yau, J. Yin, Electronic Journal of Probability 18 (2013) 1–58.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2835 | OA
Root ultraviolet b-sensitive1/weak auxin response3 is essential for polar auxin transport in arabidopsis
H. Yu, M. Karampelias, S. Robert, W. Peer, R. Swarup, S. Ye, L. Ge, J. Cohen, A. Murphy, J. Friml, M. Estelle, Plant Physiology 162 (2013) 965–976.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2836 | OA
Assume-guarantee synthesis for digital contract signing
K. Chatterjee, V. Raman, Formal Aspects of Computing 26 (2013) 825–859.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2840
Distinct roles of medial and lateral entorhinal cortex in spatial cognition
T. Van Cauter, J. Camon, A. Alvernhe, C. Elduayen, F. Sargolini, É. Save, Cerebral Cortex 23 (2013) 451–459.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2841
Holding on and letting go: Cadherin turnover in cell intercalation
H. Morita, C.-P.J. Heisenberg, Developmental Cell 24 (2013) 567–569.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2846 | OA
Sex differences in host defence interfere with parasite-mediated selection for outcrossing during host-parasite coevolution
L. El Masri, R. Schulte, N. Timmermeyer, S. Thanisch, L. Crummenerl, G. Jansen, N. Michiels, H. Schulenburg, Ecology Letters 16 (2013) 461–468.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2844
An auxin transport mechanism restricts positive orthogravitropism in lateral roots
M. Rosquete, D. von Wangenheim, P. Marhavý, E. Barbez, E. Stelzer, E. Benková, A. Maizel, J. Kleine Vehn, Current Biology 23 (2013) 817–822.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2843
Stable length estimates of tube-like shapes
H. Edelsbrunner, F. Pausinger, in:, 17th IAPR International Conference on Discrete Geometry for Computer Imagery, Springer, 2013, pp. XV–XIX.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2845
Developmental refinement of vesicle cycling at Schaffer collateral synapses
T. Rose, P. Schönenberger, K. Jezek, T. Oertner, Neuron 77 (2013) 1109–1121.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2854 | OA
Strategy improvement for concurrent reachability and turn based stochastic safety games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, Journal of Computer and System Sciences 79 (2013) 640–657.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2850 | OA
The simplest maximum entropy model for collective behavior in a neural network
G. Tkačik, O. Marre, T. Mora, D. Amodei, M. Berry, W. Bialek, Journal of Statistical Mechanics Theory and Experiment 2013 (2013).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2851
A simple method for estimating the entropy of neural activity
M. Berry, G. Tkačik, J. Dubuis, O. Marre, R. Da Silveira, Journal of Statistical Mechanics Theory and Experiment 2013 (2013).
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2857 | OA
Optical control of ligand-gated ion channels
S. Szobota, C. Mckenzie, H.L. Janovjak, Methods in Molecular Biology 998 (2013) 417–435.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2860 | OA
Dynamic reconfiguration of hippocampal interneuron circuits during spatial learning
D. Dupret, J. O’Neill, J.L. Csicsvari, Neuron 78 (2013) 166–180.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2855 | OA
Mosaic analysis with double markers reveals cell type specific paternal growth dominance
S. Hippenmeyer, R. Johnson, L. Luo, Cell Reports 3 (2013) 960–967.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2856 | OA
Optical control of metabotropic glutamate receptors
J. Levitz, C. Pantoja, B. Gaub, H.L. Janovjak, A. Reiner, A. Hoagland, D. Schoppik, B. Kane, P. Stawski, A. Schier, D. Trauner, E. Isacoff, Nature Neuroscience 16 (2013) 507–516.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2859 | OA
Homology and robustness of level and interlevel sets
P. Bendich, H. Edelsbrunner, D. Morozov, A. Patel, Homology, Homotopy and Applications 15 (2013) 51–72.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2863 | OA
Stimulus-dependent maximum entropy models of neural population codes
E. Granot Atedgi, G. Tkačik, R. Segev, E. Schneidman, PLoS Computational Biology 9 (2013).
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2862 | OA
Lethal giant larvae 2 regulates development of the ciliated organ Kupffer’s vesicle
H. Tay, S. Schulze, J. Compagnon, F. Foley, C.-P.J. Heisenberg, H.J. Yost, S. Abdelilah Seyfried, J. Amack, Development 140 (2013) 1550–1559.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2861
Lyapunov exponent and topological entropy plateaus in piecewise linear maps
V. Botella Soler, J. Oteo, J. Ros, P. Glendinning, Journal of Physics A: Mathematical and Theoretical 46 (2013).
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2877
Brassinosteroid control of shoot gravitropism interacts with ethylene and depends on auxin signaling components
F. Vandenbussche, P. Callebert, P. Žádníková, E. Benková, D. Van Der Straeten, American Journal of Botany 100 (2013) 215–225.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2883 | OA
Arabidopsis TWISTED DWARF1 functionally interacts with auxin exporter ABCB1 on the root plasma membrane
B. Wang, A. Bailly, M. Zwiewk, S. Henrichs, E. Azzarello, S. Mancuso, M. Maeshima, J. Friml, A. Schulz, M. Geisler, Plant Cell 25 (2013) 202–214.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2880 | OA
Auxin reflux between the endodermis and pericycle promotes lateral root initiation
P. Marhavý, M. Vanstraelen, B. De Rybel, D. Zhaojun, M. Bennett, T. Beeckman, E. Benková, EMBO Journal 32 (2013) 149–158.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2882 | OA
Asymmetric gibberellin signaling regulates vacuolar trafficking of PIN auxin transporters during root gravitropism
C. Löfke, M. Zwiewka, I. Heilmann, M. Van Montagu, T. Teichmann, J. Friml, PNAS 110 (2013) 3627–3632.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Conference (Editor) | IST-REx-ID: 2885
Mathematical and Engineering Methods in Computer Science
A. Kucera, T.A. Henzinger, J. Nesetril, T. Vojnar, D. Antos, eds., Mathematical and Engineering Methods in Computer Science, Springer, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2881 | OA
Cytokinin signaling regulates pavement cell morphogenesis in Arabidopsis
H. Li, T. Xu, D. Lin, M. Wen, M. Xie, J. Duclercq, A. Bielach, J. Kim, G.V. Reddy, J. Zuo, E. Benková, J. Friml, H. Guo, Z. Yang, Cell Research 23 (2013) 290–299.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2884
Cell adhesion mechanics of zebrafish gastrulation
J.-L. Maître, H. Berthoumieux, G. Krens, G. Salbreux, F. Julicher, E. Paluch, C.-P.J. Heisenberg, Medecine Sciences 29 (2013) 147–150.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2886 | OA
Controllable-choice message sequence graphs
M. Chmelik, V. Řehák, 7721 (2013) 118–130.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2887 | OA
Genotypic recognition and spatial responses by rice roots
S. Fang, R. Clark, Y. Zheng, A. Iyer Pascuzzi, J. Weitz, L. Kochian, H. Edelsbrunner, H. Liao, P. Benfey, PNAS 110 (2013) 2670–2675.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2013 | Conference Paper | IST-REx-ID: 2901 | OA
Computing the M most probable modes of a graphical model
C. Chen, V. Kolmogorov, Z. Yan, D. Metaxas, C. Lampert, in:, JMLR, 2013, pp. 161–169.
View | Download None (ext.)
 

Search

Filter Publications