Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5082 Publications
2013 | Journal Article | IST-REx-ID: 2010 |
Geometry of the faithfulness assumption in causal inference
C. Uhler, G. Raskutti, P. Bühlmann, B. Yu, The Annals of Statistics 41 (2013) 436–463.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
C. Uhler, G. Raskutti, P. Bühlmann, B. Yu, The Annals of Statistics 41 (2013) 436–463.
2013 | Journal Article | IST-REx-ID: 2009 |
Privacy-preserving data sharing for genome-wide association studies
C. Uhler, A. Slavkovic, S. Fienberg, Journal of Privacy and Confidentiality 5 (2013) 137–166.
[Published Version]
View
| DOI
| Download Published Version (ext.)
C. Uhler, A. Slavkovic, S. Fienberg, Journal of Privacy and Confidentiality 5 (2013) 137–166.
2013 | Conference Paper | IST-REx-ID: 2181 |
Quantitative relaxation of concurrent data structures
T.A. Henzinger, C. Kirsch, H. Payer, A. Sezgin, A. Sokolova, in:, Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 317–328.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, C. Kirsch, H. Payer, A. Sezgin, A. Sokolova, in:, Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 317–328.
2013 | Conference Paper | IST-REx-ID: 2182
Quantitative abstraction refinement
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 115–128.
View
| DOI
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 115–128.
2013 | Conference Paper | IST-REx-ID: 2209
Recognizing straight skeletons and Voronoi diagrams and reconstructing their input
T. Biedl, M. Held, S. Huber, in:, IEEE, 2013, pp. 37–46.
View
| DOI
T. Biedl, M. Held, S. Huber, in:, IEEE, 2013, pp. 37–46.
2013 | Conference Paper | IST-REx-ID: 2210 |
Reconstructing polygons from embedded straight skeletons
T. Biedl, M. Held, S. Huber, in:, 29th European Workshop on Computational Geometry, TU Braunschweig, 2013, pp. 95–98.
[Submitted Version]
View
| Download Submitted Version (ext.)
T. Biedl, M. Held, S. Huber, in:, 29th European Workshop on Computational Geometry, TU Braunschweig, 2013, pp. 95–98.
2013 | Conference Paper | IST-REx-ID: 2237 |
Tree interpolation in Vampire
R. Blanc, A. Gupta, L. Kovács, B. Kragl, 8312 (2013) 173–181.
[Submitted Version]
View
| Files available
| DOI
R. Blanc, A. Gupta, L. Kovács, B. Kragl, 8312 (2013) 173–181.
2013 | Conference Paper | IST-REx-ID: 2238
Multi-objective discounted reward verification in graphs and MDPs
K. Chatterjee, V. Forejt, D. Wojtczak, 8312 (2013) 228–242.
View
| DOI
K. Chatterjee, V. Forejt, D. Wojtczak, 8312 (2013) 228–242.
2013 | Conference Paper | IST-REx-ID: 2243 |
Elementary modal logics over transitive structures
J. Michaliszyn, J. Otop, 23 (2013) 563–577.
[Published Version]
View
| Files available
| DOI
J. Michaliszyn, J. Otop, 23 (2013) 563–577.
2013 | Conference Paper | IST-REx-ID: 2244 |
Untangling two systems of noncrossing curves
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, 8242 (2013) 472–483.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, 8242 (2013) 472–483.
2013 | Conference Paper | IST-REx-ID: 2259 |
Learning with rounding, revisited: New reduction properties and applications
J.F. Alwen, S. Krenn, K.Z. Pietrzak, D. Wichs, 8042 (2013) 57–74.
[Published Version]
View
| Files available
| DOI
J.F. Alwen, S. Krenn, K.Z. Pietrzak, D. Wichs, 8042 (2013) 57–74.
2013 | Conference Paper | IST-REx-ID: 2258 |
Digital signatures with minimal overhead from indifferentiable random invertible functions
E. Kiltz, K.Z. Pietrzak, M. Szegedy, 8042 (2013) 571–588.
[Submitted Version]
View
| Files available
| DOI
E. Kiltz, K.Z. Pietrzak, M. Szegedy, 8042 (2013) 571–588.
2013 | Journal Article | IST-REx-ID: 2256 |
Linked (Open) Data - Bibliographische Daten im Semantic Web
P. Danowski, D. Goldfarb, V. Schaffner, W. Seidler, VÖB Mitteilungen 66 (2013) 559–587.
[Published Version]
View
| Files available
P. Danowski, D. Goldfarb, V. Schaffner, W. Seidler, VÖB Mitteilungen 66 (2013) 559–587.
2013 | Conference Paper | IST-REx-ID: 2260 |
Efficient signatures of knowledge and DAA in the standard model
D. Bernhard, G. Fuchsbauer, E. Ghadafi, 7954 (2013) 518–533.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
D. Bernhard, G. Fuchsbauer, E. Ghadafi, 7954 (2013) 518–533.
2013 | Journal Article | IST-REx-ID: 2264 |
Neural development is dependent on the function of specificity protein 2 in cell cycle progression
H. Liang, G. Xiao, H. Yin, S. Hippenmeyer, J. Horowitz, T. Ghashghaei, Development 140 (2013) 552–561.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
H. Liang, G. Xiao, H. Yin, S. Hippenmeyer, J. Horowitz, T. Ghashghaei, Development 140 (2013) 552–561.
2013 | Conference Paper | IST-REx-ID: 2270 |
Optimal Coalition Structures in Cooperative Graph Games
Y. Bachrach, P. Kohli, V. Kolmogorov, M. Zadimoghaddam, in:, AAAI Press, 2013, pp. 81–87.
View
| Download None (ext.)
| arXiv
Y. Bachrach, P. Kohli, V. Kolmogorov, M. Zadimoghaddam, in:, AAAI Press, 2013, pp. 81–87.
2013 | Report | IST-REx-ID: 2273 |
Reweighted message passing revisited
V. Kolmogorov, Reweighted Message Passing Revisited, IST Austria, 2013.
View
| Download (ext.)
V. Kolmogorov, Reweighted Message Passing Revisited, IST Austria, 2013.
2013 | Journal Article | IST-REx-ID: 2278
A serrate-notch-canoe complex mediates essential interactions between glia and neuroepithelial cells during Drosophila optic lobe development
R. Pérez Gómez, J. Slovakova, N. Rives Quinto, A. Krejčí, A. Carmena, Journal of Cell Science 126 (2013) 4873–4884.
View
| DOI
R. Pérez Gómez, J. Slovakova, N. Rives Quinto, A. Krejčí, A. Carmena, Journal of Cell Science 126 (2013) 4873–4884.
2013 | Conference Paper | IST-REx-ID: 2276 |
Potts model, parametric maxflow and k-submodular functions
I. Gridchyn, V. Kolmogorov, in:, IEEE, 2013, pp. 2320–2327.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
I. Gridchyn, V. Kolmogorov, in:, IEEE, 2013, pp. 2320–2327.
2013 | Journal Article | IST-REx-ID: 2280 |
Packing ellipsoids with overlap
C. Uhler, S. Wright, SIAM Review 55 (2013) 671–706.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
C. Uhler, S. Wright, SIAM Review 55 (2013) 671–706.
2013 | Journal Article | IST-REx-ID: 2287 |
The influence of demography and local mating environment on sex ratios in a wind-pollinated dioecious plant
M. Pickup, S. Barrett, Ecology and Evolution 3 (2013) 629–639.
[Published Version]
View
| Files available
| DOI
M. Pickup, S. Barrett, Ecology and Evolution 3 (2013) 629–639.
2013 | Journal Article | IST-REx-ID: 2282 |
Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading during zebrafish epiboly
P. Campinho, M. Behrndt, J. Ranft, T. Risler, N. Minc, C.-P.J. Heisenberg, Nature Cell Biology 15 (2013) 1405–1414.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
P. Campinho, M. Behrndt, J. Ranft, T. Risler, N. Minc, C.-P.J. Heisenberg, Nature Cell Biology 15 (2013) 1405–1414.
2013 | Journal Article | IST-REx-ID: 2283
Tolerating an infection: an indirect benefit of co-founding queen associations in the ant Lasius niger
C. Pull, W. Hughes, M. Brown, Naturwissenschaften 100 (2013) 1125–1136.
View
| DOI
C. Pull, W. Hughes, M. Brown, Naturwissenschaften 100 (2013) 1125–1136.
2013 | Journal Article | IST-REx-ID: 2286 |
The force and effect of cell proliferation
P. Campinho, C.-P.J. Heisenberg, EMBO Journal 32 (2013) 2783–2784.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
P. Campinho, C.-P.J. Heisenberg, EMBO Journal 32 (2013) 2783–2784.
2013 | Journal Article | IST-REx-ID: 2289 |
Quantitative reactive modeling and verification
T.A. Henzinger, Computer Science Research and Development 28 (2013) 331–344.
[Published Version]
View
| Files available
| DOI
T.A. Henzinger, Computer Science Research and Development 28 (2013) 331–344.
2013 | Journal Article | IST-REx-ID: 2290 |
ECHIDNA mediated post Golgi trafficking of auxin carriers for differential cell elongation
Y. Boutté, K. Jonsson, H. Mcfarlane, E. Johnson, D. Gendre, R. Swarup, J. Friml, L. Samuels, S. Robert, R. Bhalerao, PNAS 110 (2013) 16259–16264.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
Y. Boutté, K. Jonsson, H. Mcfarlane, E. Johnson, D. Gendre, R. Swarup, J. Friml, L. Samuels, S. Robert, R. Bhalerao, PNAS 110 (2013) 16259–16264.
2013 | Conference Paper | IST-REx-ID: 2294 |
Drosophila Embryo Stage Annotation using Label Propagation
T. Kazmar, E. Kvon, A. Stark, C. Lampert, in:, IEEE, 2013.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
T. Kazmar, E. Kvon, A. Stark, C. Lampert, in:, IEEE, 2013.
2013 | Conference (Editor) | IST-REx-ID: 2292
Mathematical Foundations of Computer Science 2013
K. Chatterjee, J. Sgall, eds., Mathematical Foundations of Computer Science 2013, Springer, 2013.
View
| DOI
K. Chatterjee, J. Sgall, eds., Mathematical Foundations of Computer Science 2013, Springer, 2013.
2013 | Conference Paper | IST-REx-ID: 2293 |
Learning to rank using privileged information
V. Sharmanska, N. Quadrianto, C. Lampert, in:, IEEE, 2013, pp. 825–832.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
V. Sharmanska, N. Quadrianto, C. Lampert, in:, IEEE, 2013, pp. 825–832.
2013 | Conference Paper | IST-REx-ID: 2291 |
Cryptographically enforced RBAC
A. Ferrara, G. Fuchsbauer, B. Warinschi, in:, IEEE, 2013, pp. 115–129.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
A. Ferrara, G. Fuchsbauer, B. Warinschi, in:, IEEE, 2013, pp. 115–129.
2013 | Conference (Editor) | IST-REx-ID: 2288
Computational Methods in Systems Biology
A. Gupta, T.A. Henzinger, eds., Computational Methods in Systems Biology, Springer, 2013.
View
| DOI
A. Gupta, T.A. Henzinger, eds., Computational Methods in Systems Biology, Springer, 2013.
2013 | Conference Paper | IST-REx-ID: 2298 |
Local shape analysis for overlaid data structures
C. Dragoi, C. Enea, M. Sighireanu, in:, Springer, 2013, pp. 150–171.
[Submitted Version]
View
| Files available
| DOI
C. Dragoi, C. Enea, M. Sighireanu, in:, Springer, 2013, pp. 150–171.
2013 | Journal Article | IST-REx-ID: 2299 |
Synthesis of AMBA AHB from formal specification: A case study
Y. Godhal, K. Chatterjee, T.A. Henzinger, International Journal on Software Tools for Technology Transfer 15 (2013) 585–601.
[Submitted Version]
View
| Files available
| DOI
Y. Godhal, K. Chatterjee, T.A. Henzinger, International Journal on Software Tools for Technology Transfer 15 (2013) 585–601.
2013 | Journal Article | IST-REx-ID: 2297 |
Hot topics in cold gases: A mathematical physics perspective
R. Seiringer, Japanese Journal of Mathematics 8 (2013) 185–232.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
R. Seiringer, Japanese Journal of Mathematics 8 (2013) 185–232.
2013 | Book | IST-REx-ID: 2306 |
(Open) Linked Data in Bibliotheken
P. Danowski, A. Pohl, (Open) Linked Data in Bibliotheken, De Gruyter, 2013.
[Published Version]
View
| Files available
| DOI
P. Danowski, A. Pohl, (Open) Linked Data in Bibliotheken, De Gruyter, 2013.
2013 | Conference Paper | IST-REx-ID: 2301
P: Safe asynchronous event-driven programming
A. Desai, V. Gupta, E. Jackson, S. Qadeer, S. Rajamani, D. Zufferey, in:, Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, 2013, pp. 321–331.
View
| DOI
| Download None (ext.)
A. Desai, V. Gupta, E. Jackson, S. Qadeer, S. Rajamani, D. Zufferey, in:, Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, 2013, pp. 321–331.
2013 | Journal Article | IST-REx-ID: 2300 |
Realization of stripes and slabs in two and three dimensions
A. Giuliani, É. Lieb, R. Seiringer, Physical Review B 88 (2013).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Giuliani, É. Lieb, R. Seiringer, Physical Review B 88 (2013).
2013 | Journal Article | IST-REx-ID: 2303
Dissection of gene function at clonal level using mosaic analysis with double markers
S. Hippenmeyer, Frontiers in Biology 8 (2013) 557–568.
View
| DOI
S. Hippenmeyer, Frontiers in Biology 8 (2013) 557–568.
2013 | Journal Article | IST-REx-ID: 2304
Van der Corput sequences and linear permutations
F. Pausinger, Electronic Notes in Discrete Mathematics 43 (2013) 43–50.
View
| DOI
F. Pausinger, Electronic Notes in Discrete Mathematics 43 (2013) 43–50.
2013 | Conference Paper | IST-REx-ID: 2328 |
Aspect-oriented linearizability proofs
T.A. Henzinger, A. Sezgin, V. Vafeiadis, 8052 (2013) 242–256.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, A. Sezgin, V. Vafeiadis, 8052 (2013) 242–256.
2013 | Journal Article | IST-REx-ID: 2412 |
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
A. Kupczok, J.P. Bollback, BMC Evolutionary Biology 13 (2013) 54–54.
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
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.
2013 | Journal Article | IST-REx-ID: 2410 |
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
R.A. Fernandes Redondo, A. Kupczok, G. Stift, J.P. Bollback, Genome Announcements 1 (2013).
2013 | Conference Paper | IST-REx-ID: 2447 |
Automating separation logic using SMT
R. Piskac, T. Wies, D. Zufferey, 8044 (2013) 773–789.
[Submitted Version]
View
| Files available
| DOI
R. Piskac, T. Wies, D. Zufferey, 8044 (2013) 773–789.
2013 | Journal Article | IST-REx-ID: 2443 |
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.)
S. Simon, M. Kubeš, P. Baster, S. Robert, P. Dobrev, J. Friml, J. Petrášek, E. Zažímalová, New Phytologist 200 (2013) 1034–1048.
2013 | Conference Paper | IST-REx-ID: 2446 |
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
K. Chatterjee, A. Gaiser, J. Kretinsky, 8044 (2013) 559–575.
2013 | Conference Paper | IST-REx-ID: 2444 |
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
K. Chatterjee, J. Ła̧Cki, 8044 (2013) 543–558.
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
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.
2013 | Journal Article | IST-REx-ID: 2471 |
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
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).
2013 | Journal Article | IST-REx-ID: 2472 |
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
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).
2013 | Journal Article | IST-REx-ID: 2470 |
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
M. Čovanová, M. Sauer, J. Rychtář, J. Friml, J. Petrášek, E. Zažímalová, PLoS One 8 (2013).
2013 | Journal Article | IST-REx-ID: 2466 |
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
R. Ando, N. Thuerey, C. Wojtan, ACM Transactions on Graphics 32 (2013).
2013 | Journal Article | IST-REx-ID: 2467 |
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
G. Bernstein, C. Wojtan, ACM Transactions on Graphics 32 (2013).
2013 | Journal Article | IST-REx-ID: 2468 |
Liquid surface tracking with error compensation
M. Bojsen-Hansen, C. Wojtan, ACM Transactions on Graphics 32 (2013).
[Submitted Version]
View
| Files available
| DOI
M. Bojsen-Hansen, C. Wojtan, ACM Transactions on Graphics 32 (2013).
2013 | Journal Article | IST-REx-ID: 2469 |
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
J.-L. Maître, C.-P.J. Heisenberg, Current Biology 23 (2013) R626–R633.
2013 | Journal Article | IST-REx-ID: 2473 |
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
N.H. Barton, A. Etheridge, J. Kelleher, A. Véber, Theoretical Population Biology 87 (2013) 75–89.
2013 | Conference Paper | IST-REx-ID: 2517 |
Formalizing and reasoning about quality
S. Almagor, U. Boker, O. Kupferman, 7966 (2013) 15–27.
[Submitted Version]
View
| Files available
| DOI
S. Almagor, U. Boker, O. Kupferman, 7966 (2013) 15–27.
2013 | Conference Paper | IST-REx-ID: 2518 |
The power of linear programming for finite-valued CSPs: A constructive characterization
V. Kolmogorov, in:, Springer, 2013, pp. 625–636.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, in:, Springer, 2013, pp. 625–636.
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
C. Lampert, H. Nickisch, S. Harmeling, IEEE Transactions on Pattern Analysis and Machine Intelligence 36 (2013) 453–465.
2013 | Conference Paper | IST-REx-ID: 2520 |
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
N. Quadrianto, V. Sharmanska, D. Knowles, Z. Ghahramani, in:, Proceedings of the 29th Conference Uncertainty in Artificial Intelligence, AUAI Press, 2013, pp. 527–536.
2013 | Journal Article | IST-REx-ID: 2698 |
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
L. Erdös, S. Fournais, J. Solovej, Journal of the European Mathematical Society 15 (2013) 2093–2113.
2013 | Conference Paper | IST-REx-ID: 2718 |
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
N.H. Barton, T. Paixao, in:, Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, ACM, 2013, pp. 1573–1580.
2013 | Journal Article | IST-REx-ID: 2720 |
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
H. Long, T. Paixao, R. Azevedo, R. Zufall, Genetics 195 (2013) 527–540.
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
T. Paixao, N.H. Barton, in:, Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, ACM, 2013, pp. 845–852.
2013 | Journal Article | IST-REx-ID: 2782 |
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
L. Erdös, B. Farrell, Journal of Statistical Physics 152 (2013) 1003–1032.
2013 | Conference Paper | IST-REx-ID: 2807 |
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
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.
2013 | Journal Article | IST-REx-ID: 2808 |
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
K. Landberg, E. Pederson, T. Viaene, B. Bozorg, J. Friml, H. Jönsson, M. Thelander, E. Sundberg, Plant Physiology 162 (2013) 1406–1419.
2013 | Journal Article | IST-REx-ID: 2806
High-precision Taylor-Couette experiment to study subcritical transitions and the role of boundary conditions and size effects
K. Avila, B. Hof, Review of Scientific Instruments 84 (2013).
View
| DOI
K. Avila, B. Hof, Review of Scientific Instruments 84 (2013).
2013 | Journal Article | IST-REx-ID: 2810 |
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
M. de Vos, F. Poelwijk, N. Battich, J. Ndika, S. Tans, PLoS Genetics 9 (2013).
2013 | Journal Article | IST-REx-ID: 2814 |
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
K. Chatterjee, L. Alfaro, R. Majumdar, International Journal of Foundations of Computer Science 24 (2013) 165–185.
2013 | Journal Article | IST-REx-ID: 2811 |
Nature of laminar-turbulence intermittency in shear flows
M. Avila, B. Hof, Physical Review E 87 (2013).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Avila, B. Hof, Physical Review E 87 (2013).
2013 | Journal Article | IST-REx-ID: 2813 |
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
D. Samanta, Y. Dubief, M. Holzner, C. Schäfer, A. Morozov, C. Wagner, B. Hof, PNAS 110 (2013) 10557–10562.
2013 | Conference Paper | IST-REx-ID: 2812 |
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.)
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.
2013 | Journal Article | IST-REx-ID: 2817 |
Density games
S. Novak, K. Chatterjee, M. Nowak, Journal of Theoretical Biology 334 (2013) 26–34.
[Published Version]
View
| Files available
| DOI
S. Novak, K. Chatterjee, M. Nowak, Journal of Theoretical Biology 334 (2013) 26–34.
2013 | Conference Paper | IST-REx-ID: 2819 |
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.)
K. Chatterjee, V. Prabhu, in:, Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, Springer, 2013, pp. 273–282.
2013 | Journal Article | IST-REx-ID: 2818 |
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
K. Rajan, O. Marre, G. Tkačik, Neural Computation 25 (2013) 1661–1692.
2013 | Journal Article | IST-REx-ID: 2822 |
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
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.
2013 | Journal Article | IST-REx-ID: 2821 |
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
E. Remy, T. Cabrito, P. Baster, R. Batista, M. Teixeira, J. Friml, I. Sá Correia, P. Duque, Plant Cell 25 (2013) 901–926.
2013 | Journal Article | IST-REx-ID: 2827 |
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
Y. Du, R. Tejos, M. Beck, E. Himschoot, H. Li, S. Robatzek, S. Vanneste, J. Friml, PNAS 110 (2013) 7946–7951.
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
M. Pickup, S. Wilson, D. Freudenberger, N. Nicholls, L. Gould, S. Hnatiuk, J. Delandre, Austral Ecology 38 (2013) 300–312.
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
K. Chatterjee, V. Prabhu, Information and Computation 228–229 (2013) 83–119.
2013 | Journal Article | IST-REx-ID: 2832 |
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
H. Tanaka, S. Kitakura, H. Rakusová, T. Uemura, M. Feraru, R. De Rycke, S. Robert, T. Kakimoto, J. Friml, PLoS Genetics 9 (2013).
2013 | Journal Article | IST-REx-ID: 2828 |
The complexity of conservative valued CSPs
V. Kolmogorov, S. Živný, Journal of the ACM 60 (2013).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, S. Živný, Journal of the ACM 60 (2013).
2013 | Journal Article | IST-REx-ID: 2829 |
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
L. Shi, M. Avila, B. Hof, Physical Review Letters 110 (2013).
2013 | Journal Article | IST-REx-ID: 2834 |
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
M. Avila, F. Mellibovsky, N. Roland, B. Hof, Physical Review Letters 110 (2013).
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
C.-P.J. Heisenberg, Y. Bellaïche, Cell 153 (2013) 948–962.
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
C. Moussion, M.K. Sixt, Immunity 38 (2013) 853–854.
2013 | Journal Article | IST-REx-ID: 2842 |
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
N.H. Barton, A. Etheridge, J. Kelleher, A. Véber, Theoretical Population Biology 87 (2013) 105–119.
2013 | Journal Article | IST-REx-ID: 2838 |
Dyrk1A is dynamically expressed on subsets of motor neurons and in the neuromuscular junction: Possible role in Down syndrome
G. Arquè Fuste, A. Casanovas, M. Dierssen, PLoS One 8 (2013).
[Published Version]
View
| Files available
| DOI
G. Arquè Fuste, A. Casanovas, M. Dierssen, PLoS One 8 (2013).
2013 | Journal Article | IST-REx-ID: 2839 |
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.)
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.
2013 | Journal Article | IST-REx-ID: 2837 |
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
L. Erdös, A. Knowles, H. Yau, J. Yin, Electronic Journal of Probability 18 (2013) 1–58.
2013 | Journal Article | IST-REx-ID: 2835 |
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
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.
2013 | Journal Article | IST-REx-ID: 2836 |
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
K. Chatterjee, V. Raman, Formal Aspects of Computing 26 (2013) 825–859.
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
T. Van Cauter, J. Camon, A. Alvernhe, C. Elduayen, F. Sargolini, É. Save, Cerebral Cortex 23 (2013) 451–459.
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
H. Morita, C.-P.J. Heisenberg, Developmental Cell 24 (2013) 567–569.
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
M. Rosquete, D. von Wangenheim, P. Marhavý, E. Barbez, E. Stelzer, E. Benková, A. Maizel, J. Kleine Vehn, Current Biology 23 (2013) 817–822.
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
H. Edelsbrunner, F. Pausinger, in:, 17th IAPR International Conference on Discrete Geometry for Computer Imagery, Springer, 2013, pp. XV–XIX.
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
T. Rose, P. Schönenberger, K. Jezek, T. Oertner, Neuron 77 (2013) 1109–1121.
2013 | Journal Article | IST-REx-ID: 2854 |
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
K. Chatterjee, L. De Alfaro, T.A. Henzinger, Journal of Computer and System Sciences 79 (2013) 640–657.
2013 | Journal Article | IST-REx-ID: 2850 |
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
G. Tkačik, O. Marre, T. Mora, D. Amodei, M. Berry, W. Bialek, Journal of Statistical Mechanics Theory and Experiment 2013 (2013).