Please note that IST 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.

2478 Publications


2014 | Conference Paper | IST-REx-ID: 2171   OA
Kolesnikov A, Guillaumin M, Ferrari V, Lampert C. Closed-form approximate CRF training for scalable image segmentation. In: Fleet D, Pajdla T, Schiele B, Tuytelaars T, eds. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 8691. Springer; 2014:550-565. doi:10.1007/978-3-319-10578-9_36
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2183   OA
Botella Soler V, Glendinning P. Hierarchy and polysynchrony in an adaptive network . Physical Review E Statistical Nonlinear and Soft Matter Physics. 2014;89(6). doi:10.1103/PhysRevE.89.062809
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2188   OA
Kania U, Fendrych M, Friml J. Polar delivery in plants; commonalities and differences to animal epithelial cells. Open Biology. 2014;4(APRIL). doi:10.1098/rsob.140017
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2208   OA
Lahrz M, Lemeshko M, Sengstock K, Becker C, Mathey L. Detecting quadrupole interactions in ultracold Fermi gases. Physical Review A - Atomic, Molecular, and Optical Physics. 2014;89(4). doi:10.1103/PhysRevA.89.043616
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2246   OA
Grinshpun A, Phalitnonkiat P, Rubin S, Tarfulea A. Alternating traps in Muller and parity games. Theoretical Computer Science. 2014;521:73-91. doi:10.1016/j.tcs.2013.11.032
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 3263   OA
Tkacik G, Ghosh A, Schneidman E, Segev R. Adaptation to changes in higher-order stimulus statistics in the salamander retina. PLoS One. 2014;9(1). doi:10.1371/journal.pone.0085841
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 775   OA
Alistarh D, Kopinsky J, Matveev A, Shavit N. The levelarray: A fast, practical long-lived renaming algorithm. In: IEEE; 2014:348-357. doi:10.1109/ICDCS.2014.43
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 97   OA
Higginbotham AP, Kuemmeth F, Larsen T, et al. Antilocalization of coulomb blockade in a Ge/Si nanowire. APS Physics, Physical Review Letters. 2014;112(21). doi:10.1103/PhysRevLett.112.216806
View | DOI | Download (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 977   OA
Serbyn M, Knap M, Gopalakrishnan S, et al. Interferometric probes of many-body localization. Physical Review Letters. 2014;113(14). doi:10.1103/PhysRevLett.113.147204
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1375   OA
Chatterjee K, Henzinger M, Krinninger S, Loitzenbauer V, Raskin M. Approximating the minimum cycle mean. Theoretical Computer Science. 2014;547(C):104-116. doi:10.1016/j.tcs.2014.06.031
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2234   OA
Brázdil T, Brožek V, Chatterjee K, Forejt V, Kučera A. Markov decision processes with multiple long-run average objectives. Logical Methods in Computer Science. 2014;10(1). doi:10.2168/LMCS-10(1:13)2014
View | Files available | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2190   OA
Esparza J, Kretinsky J. From LTL to deterministic automata: A safraless compositional approach. In: Vol 8559. Springer; 2014:192-208. doi:10.1007/978-3-319-08867-9_13
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 535   OA
Chatterjee K, Henzinger M, Krinninger S, Nanongkai D. Polynomial time algorithms for energy games with special weight structures. Algorithmica. 2014;70(3):457-492. doi:10.1007/s00453-013-9843-7
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2905   OA
Edelsbrunner H, Morozovy D. Persistent homology: Theory and practice. In: European Mathematical Society Publishing House; 2014:31-50. doi:10.4171/120-1/3
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1926   OA
Sadel C. Absolutely continuous spectrum for random Schrödinger operators on the Fibonacci and similar Tree-strips. Mathematical Physics, Analysis and Geometry. 2014;17(3-4):409-440. doi:10.1007/s11040-014-9163-4
View | DOI | Download (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 1899   OA
Williams S, Ratliff L, Postiglione MP, Knoblich J, Fuchs E. Par3-mInsc and Gα i3 cooperate to promote oriented epidermal cell divisions through LGN. Nature Cell Biology. 2014;16(8):758-769. doi:10.1038/ncb3001
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 2253   OA
Bailly A, Wang B, Zwiewka M, et al. Expression of TWISTED DWARF1 lacking its in-plane membrane anchor leads to increased cell elongation and hypermorphic growth. Plant Journal. 2014;77(1):108-118. doi:10.1111/tpj.12369
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1629   OA
Guerrero P, Jeschke S, Wimmer M, Wonka P. Edit propagation using geometric relationship functions. ACM Transactions on Graphics. 2014;33(2). doi:10.1145/2591010
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1643   OA
Fuchsbauer G. Constrained Verifiable Random Functions . In: Abdalla M, De Prisco R, eds. SCN 2014. Vol 8642. Springer; 2014:95-114. doi:10.1007/978-3-319-10879-7_7
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1876   OA
Dolbilin N, Edelsbrunner H, Glazyrin A, Musin O. Functionals on triangulations of delaunay sets. Moscow Mathematical Journal. 2014;14(3):491-504.
View | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1890   OA
Körner C, Braunstein V, Stangl M, Schlögl A, Neuper C, Ischebeck A. Sequential effects in continued visual search: Using fixation-related potentials to compare distractor processing before and after target detection. Psychophysiology. 2014;51(4):385-395. doi:10.1111/psyp.12062
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1895   OA
Edamura M, Murakami G, Meng H, et al. Functional deficiency of MHC class i enhances LTP and abolishes LTD in the nucleus accumbens of mice. PLoS One. 2014;9(9). doi:10.1371/journal.pone.0107099
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1908   OA
Weissman D, Hallatschek O. The rate of adaptation in large sexual populations with linear chromosomes. Genetics. 2014;196(4):1167-1183. doi:10.1534/genetics.113.160705
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1852   OA
Sassi M, Ali O, Boudon F, et al. An auxin-mediated shift toward growth isotropy promotes organ formation at the shoot meristem in Arabidopsis. Current Biology. 2014;24(19):2335-2342. doi:10.1016/j.cub.2014.08.036
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1821   OA
Seiringer R. Bose gases, Bose-Einstein condensation, and the Bogoliubov approximation. Journal of Mathematical Physics. 2014;55(7). doi:10.1063/1.4881536
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1996   OA
Hazak O, Obolski U, Prat T, Friml J, Hadany L, Yalovsky S. Bimodal regulation of ICR1 levels generates self-organizing auxin distribution. PNAS. 2014;111(50):E5471-E5479. doi:10.1073/pnas.1413918111
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1927   OA
Fuchsbauer G, Konstantinov M, Pietrzak KZ, Rao V. Adaptive security of constrained PRFs. In: Vol 8874. Springer; 2014:173-192. doi:10.1145/2591796.2591825
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2021   OA
William J, Hippenmeyer S, Luo L. Dendrite morphogenesis depends on relative levels of NT-3/TrkC signaling. Science. 2014;346(6209):626-629. doi:10.1126/science.1258996
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2002   OA
Kim S. Action potential modulation in CA1 pyramidal neuron axons facilitates OLM interneuron activation in recurrent inhibitory microcircuits of rat hippocampus. PLoS One. 2014;9(11). doi:10.1371/journal.pone.0113124
View | Files available | DOI
 

2014 | Other Publication | IST-REx-ID: 2007   OA
Klimova A, Rudas T. GIPFrm: Generalized Iterative Proportional Fitting for Relational Models. The Comprehensive R Archive Network; 2014.
View | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2033   OA
Hernandez Lobato D, Sharmanska V, Kersting K, Lampert C, Quadrianto N. Mind the nuisance: Gaussian process classification using privileged noise. In: Advances in Neural Information Processing Systems. Vol 1. Neural Information Processing Systems; 2014:837-845.
View | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2019   OA
Erdös L, Schröder DJ. Phase transition in the density of states of quantum spin glasses. Mathematical Physics, Analysis and Geometry. 2014;17(3-4):441-464. doi:10.1007/s11040-014-9164-3
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2040   OA
Kicheva A, Bollenbach MT, Ribeiro A, et al. Coordination of progenitor specification and growth in mouse and chick spinal cord. Science. 2014;345(6204). doi:10.1126/science.1254927
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2045   OA
Dachman Soled D, Fuchsbauer G, Mohassel P, O’Neill A. Enhanced chosen-ciphertext security and applications. In: Krawczyk H, ed. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 8383. Springer; 2014:329-344. doi:10.1007/978-3-642-54631-0_19
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2064   OA
Rubio M, Fukazawa Y, Kamasawa N, Clarkson C, Molnár E, Shigemoto R. Target- and input-dependent organization of AMPA and NMDA receptors in synaptic connections of the cochlear nucleus. Journal of Comparative Neurology. 2014;522(18):4023-4042. doi:10.1002/cne.23654
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2057   OA
Morvant E, Habrard A, Ayache S. Majority vote of diverse classifiers for late fusion. In: Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 8621. Springer; 2014:153-162. doi:10.1007/978-3-662-44415-3_16
View | DOI | Download (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 2184   OA
Čadek M, Krcál M, Matoušek J, Sergeraert F, Vokřínek L, Wagner U. Computing all maps into a sphere. Journal of the ACM. 2014;61(3). doi:10.1145/2597629
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2153   OA
Bauer U, Lesnick M. Induced matchings of barcodes and the algebraic stability of persistence. In: Proceedings of the Annual Symposium on Computational Geometry. ACM; 2014:355-364. doi:10.1145/2582112.2582168
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2165   OA
Morvant E. Domain Adaptation of Weighted Majority Votes via Perturbed Variation-Based Self-Labeling. Pattern Recognition Letters. 2014;51:37-43. doi:10.1016/j.patrec.2014.08.013
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2160   OA
Pentina A, Lampert C. A PAC-Bayesian bound for Lifelong Learning. In: Xing E, Jebara T, eds. Vol 32. Omnipress; 2014:991-999.
View | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2158   OA
Majumdar R, Sixt MK, Parent C. New paradigms in the establishment and maintenance of gradients during directed cell migration. Current Opinion in Cell Biology. 2014;30(1):33-40. doi:10.1016/j.ceb.2014.05.010
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 2223   OA
Tanaka H, Nodzyński T, Kitakura S, et al. BEX1/ARF1A1C is required for BFA-sensitive recycling of PIN auxin transporters and auxin-mediated development in arabidopsis. Plant and Cell Physiology. 2014;55(4):737-749. doi:10.1093/pcp/pct196
View | Files available | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2230   OA
Guzmán J, Schlögl A, Schmidt Hieber C. Stimfit: Quantifying electrophysiological data with Python. Frontiers in Neuroinformatics. 2014;8(FEB). doi:10.3389/fninf.2014.00016
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2235   OA
Fürst M, Mcmahon D, Osborne J, Paxton R, Brown M. Disease associations between honeybees and bumblebees as a threat to wild pollinators. Nature. 2014;506(7488):364-366. doi:10.1038/nature12977
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2261   OA
Zhu F, Gamboa M, Farruggio A, et al. DICE, an efficient system for iterative genomic editing in human pluripotent stem cells. Nucleic Acids Research. 2014;42(5). doi:10.1093/nar/gkt1290
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2285   OA
Hosp J, Strüber M, Yanagawa Y, et al. Morpho-physiological criteria divide dentate gyrus interneurons into classes. Hippocampus. 2014;23(2):189-203. doi:10.1002/hipo.22214
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5417   OA
Henzinger TA, Otop J. From Model Checking to Model Measuring. IST Austria; 2014. doi:10.15479/AT:IST-2014-172-v1-1
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 6124   OA
Chen C, Itakura E, Weber KP, Hegde RS, de Bono M. An ER complex of ODR-4 and ODR-8/Ufm1 specific protease 2 promotes GPCR maturation by a Ufm1-independent mechanism. PLoS Genetics. 2014;10(3). doi:10.1371/journal.pgen.1004082
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 6319   OA
Bretèche R de la, Browning TD. Contre-exemples au principe de Hasse pour certains tores coflasques. Journal de Théorie des Nombres de Bordeaux. 2014;26(1):25-44. doi:10.5802/jtnb.857
View | DOI | Download (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 7071   OA
Modic KA, Smidt TE, Kimchi I, et al. Realization of a three-dimensional spin–anisotropic harmonic honeycomb iridate. Nature Communications. 2014;5. doi:10.1038/ncomms5203
View | Files available | DOI
 

2014 | Working Paper | IST-REx-ID: 7038   OA
Huszár K, Rolinek M. Playful Math - An Introduction to Mathematical Games. IST Austria
View | Files available
 

2014 | Journal Article | IST-REx-ID: 978   OA
Zeljkovic I, Okada Y, Huang C, et al. Mapping the unconventional orbital texture in topological crystalline insulators. Nature Physics. 2014;10(8):572-577. doi:10.1038/nphys3012
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 98   OA
Higginbotham AP, Larsen T, Yao J, et al. Hole spin coherence in a Ge/Si heterostructure nanowire. Nano Letters. 2014;14(6):3582-3586. doi:10.1021/nl501242b
View | DOI | Download (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 980   OA
Serbyn M, Papić Z, Abanin D. Quantum quenches in the many-body localized phase. Physical Review B - Condensed Matter and Materials Physics. 2014;90(17). doi:10.1103/PhysRevB.90.174302
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2254   OA
Pernia-Andrade A, Jonas PM. Theta-gamma-modulated synaptic currents in hippocampal granule cells in vivo define a mechanism for network oscillations. Neuron. 2014;81(1):140-152. doi:10.1016/j.neuron.2013.09.046
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2228   OA
Hu H, Jonas PM. A supercritical density of Na^+ channels ensures fast signaling in GABAergic interneuron axons. Nature Neuroscience. 2014;17(5):686-693. doi:10.1038/nn.3678
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2716   OA
Chatterjee K, Randour M, Raskin J. Strategy synthesis for multi-dimensional quantitative objectives. Acta Informatica. 2014;51(3-4):129-163. doi:10.1007/s00236-013-0182-6
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2038   OA
Boker U, Chatterjee K, Henzinger TA, Kupferman O. Temporal specifications with accumulative values. ACM Transactions on Computational Logic (TOCL). 2014;15(4):27. doi:10.1145/2629686
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2189   OA
Morvant E. Adaptation de domaine de vote de majorité par auto-étiquetage non itératif. In: Vol 1. Elsevier; 2014:49-58.
View | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1516   OA
Bräunlich G, Hainzl C, Seiringer R. On the BCS gap equation for superfluid fermionic gases. In: Proceedings of the QMath12 Conference. World Scientific Publishing; 2014:127-137. doi:10.1142/9789814618144_0007
View | DOI | Download (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 2083   OA
Lagator M, Morgan A, Neve P, Colegrave N. Role of sex and migration in adaptation to sink environments. Evolution. 2014;68(8):2296-2305. doi:10.1111/evo.12440
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 119   OA
Waitukaitis SR, Lee V, Pierson J, Forman S, Jaeger H. Size-dependent same-material tribocharging in insulating grains. APS Physics, Physical Review Letters. 2014;112(21). doi:10.1103/PhysRevLett.112.218001
View | DOI | Download (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 1702   OA
Gupta A, Popeea C, Rybalchenko A. Generalised interpolation by solving recursion free-horn clauses. In: Electronic Proceedings in Theoretical Computer Science, EPTCS. Vol 169. Open Publishing; 2014:31-38. doi:10.4204/EPTCS.169.5
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1889   OA
Bräunlich G, Hainzl C, Seiringer R. Translation-invariant quasi-free states for fermionic systems and the BCS approximation. Reviews in Mathematical Physics. 2014;26(7). doi:10.1142/S0129055X14500123
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1896   OA
Kollár R, Bod’ová K, Nosek J, Tomáška Ľ. Mathematical model of alternative mechanism of telomere length maintenance. Physical Review E Statistical Nonlinear and Soft Matter Physics. 2014;89(3). doi:10.1103/PhysRevE.89.032701
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1923   OA
Berthoumieux H, Maître J-L, Heisenberg C-PJ, Paluch E, Julicher F, Salbreux G. Active elastic thin shell theory for cellular deformations. New Journal of Physics. 2014;16. doi:10.1088/1367-2630/16/6/065005
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1935   OA
Giuliani A, Lieb É, Seiringer R. Formation of stripes and slabs near the ferromagnetic transition. Communications in Mathematical Physics. 2014;331(1):333-350. doi:10.1007/s00220-014-1923-2
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1904   OA
Frank R, Lewin M, Lieb É, Seiringer R. Strichartz inequality for orthonormal functions. Journal of the European Mathematical Society. 2014;16(7):1507-1526. doi:10.4171/JEMS/467
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1909   OA
Ezard T, Prizak R, Hoyle R. The fitness costs of adaptation via phenotypic plasticity and maternal effects. Functional Ecology. 2014;28(3):693-701. doi:10.1111/1365-2435.12207
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2041   OA
Jonas PM, Lisman J. Structure, function and plasticity of hippocampal dentate gyrus microcircuits. Frontiers in Neural Circuits. 2014;8. doi:10.3389/fncir.2014.00107
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2046   OA
Bellare M, Fuchsbauer G. Policy-based signatures. In: Krawczyk H, ed. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 8383. Springer; 2014:520-537. doi:10.1007/978-3-642-54631-0_30
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2058   OA
Raveendran K, Wojtan CJ, Thuerey N, Türk G. Blending liquids. In: ACM Transactions on Graphics. Vol 33. ACM; 2014. doi:10.1145/2601097.2601126
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2022   OA
Gao P, Postiglione MP, Krieger T, et al. Deterministic progenitor behavior and unitary production of neurons in the neocortex. Cell. 2014;159(4):775-788. doi:10.1016/j.cell.2014.10.027
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2173   OA
Khamis S, Lampert C. CoConut: Co-classification with output space regularization. In: Proceedings of the British Machine Vision Conference 2014. BMVA Press; 2014.
View | Files available
 

2014 | Journal Article | IST-REx-ID: 2178   OA
Haws D, Martin Del Campo Sanchez A, Takemura A, Yoshida R. Markov degree of the three-state toric homogeneous Markov chain model. Beitrage zur Algebra und Geometrie. 2014;55(1):161-188. doi:10.1007/s13366-013-0178-y
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2180   OA
Bellet A, Habrard A, Morvant E, Sebban M. Learning a priori constrained weighted majority votes. Machine Learning. 2014;97(1-2):129-154. doi:10.1007/s10994-014-5462-z
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2185   OA
Dodis Y, Pietrzak KZ, Wichs D. Key derivation without entropy waste. In: Nguyen P, Oswald E, eds. Vol 8441. Springer; 2014:93-110. doi:10.1007/978-3-642-55220-5_6
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2154   OA
Matoušek J, Wagner U. On Gromov’s method of selecting heavily covered points. Discrete & Computational Geometry. 2014;52(1):1-33. doi:10.1007/s00454-014-9584-7
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2159   OA
Mabillard I, Wagner U. Eliminating Tverberg points, I. An analogue of the Whitney trick. In: Proceedings of the Annual Symposium on Computational Geometry. ACM; 2014:171-180. doi:10.1145/2582112.2582134
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2231   OA
Rieckh G, Tkacik G. Noise and information transmission in promoters with multiple internal states. Biophysical Journal. 2014;106(5):1194-1204. doi:10.1016/j.bpj.2014.01.014
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2014 | Conference Paper | IST-REx-ID: 2236   OA
Jetchev D, Pietrzak KZ. How to fake auxiliary input. In: Lindell Y, ed. Vol 8349. Springer; 2014:566-590. doi:10.1007/978-3-642-54242-8_24
View | Files available | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2250   OA
Kuchibhatla D, Sherman W, Chung B, et al. Powerful sequence similarity search methods and in-depth manual analyses can identify remote homologs in many apparently “orphan” viral proteins. Journal of Virology. 2014;88(1):10-20. doi:10.1128/JVI.02595-13
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2407   OA
Lieb É, Seiringer R. Equivalence of two definitions of the effective mass of a polaron. Journal of Statistical Physics. 2014;154(1-2):51-57. doi:10.1007/s10955-013-0791-z
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2281   OA
Guo Y, Seiringer R. On the mass concentration for Bose-Einstein condensates with attractive interactions. Letters in Mathematical Physics. 2014;104(2):141-156. doi:10.1007/s11005-013-0667-9
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 537   OA
Prizak R, Ezard T, Hoyle R. Fitness consequences of maternal and grandmaternal effects. Ecology and Evolution. 2014;4(15):3139-3145. doi:10.1002/ece3.1150
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5420   OA
Chatterjee K, Ibsen-Jensen R. The Value 1 Problem for Concurrent Mean-Payoff Games. IST Austria; 2014. doi:10.15479/AT:IST-2014-191-v1-1
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 6740   OA
Mondelli M, Urbanke R, Hassani H. How to achieve the capacity of asymmetric channels. In: 52nd Annual Allerton Conference on Communication, Control, and Computing. IEEE; 2014:789-796. doi:10.1109/allerton.2014.7028535
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 772   OA
Alistarh D, Censor Hillel K, Shavit N. Are lock-free concurrent algorithms practically wait-free? In: ACM; 2014:714-723. doi:10.1145/2591796.2591836
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 979   OA
Serbyn M, Fu L. Symmetry breaking and Landau quantization in topological crystalline insulators. Physical Review B - Condensed Matter and Materials Physics. 2014;90(3). doi:10.1103/PhysRevB.90.035402
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1872   OA
Gupta A, Kovács L, Kragl B, Voronkov A. Extensional crisis and proving identity. In: Cassez F, Raskin J-F, eds. ATVA 2014. Vol 8837. Springer; 2014:185-200. doi:10.1007/978-3-319-11936-6_14
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2027   OA
Brázdil T, Chatterjee K, Chmelik M, et al. Verification of markov decision processes using learning algorithms. In: Cassez F, Raskin J-F, eds. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 8837. Society of Industrial and Applied Mathematics; 2014:98-114. doi:10.1007/978-3-319-11936-6_8
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2229   OA
Vyleta N, Jonas PM. Loose coupling between Ca^2+ channels and release sensors at a plastic hippocampal synapse. Science. 2014;343(6171):665-670. doi:10.1126/science.1244811
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2039   OA
Chatterjee K, Pavlogiannis A, Adlam B, Nowak M. The time scale of evolutionary innovation. PLoS Computational Biology. 2014;10(9). doi:10.1371/journal.pcbi.1003818
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2053   OA
Hermanns H, Krčál J, Kretinsky J. Probabilistic bisimulation: Naturally on distributions. In: Baldan P, Gorla D, eds. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 8704. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2014:249-265. doi:10.1007/978-3-662-44584-6_18
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1916   OA
Novarino G, Fenstermaker A, Zaki M, et al. Exome sequencing links corticospinal motor neuron disease to common neurodegenerative disorders. Science. 2014;343(6170):506-511. doi:10.1126/science.1247363
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 1816   OA
Huber S, Held M, Meerwald P, Kwitt R. Topology-preserving watermarking of vector graphics. International Journal of Computational Geometry and Applications. 2014;24(1):61-86. doi:10.1142/S0218195914500034
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1842   OA
Cibulka J, Gao P, Krcál M, Valla T, Valtr P. On the geometric ramsey number of outerplanar graphs. Discrete & Computational Geometry. 2014;53(1):64-79. doi:10.1007/s00454-014-9646-x
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1892   OA
Ocana S, Meidl P, Bonfils D, Taborsky M. Y-linked Mendelian inheritance of giant and dwarf male morphs in shell-brooding cichlids. Proceedings of the Royal Society of London Series B Biological Sciences. 2014;281(1794). doi:10.1098/rspb.2014.0253
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1897   OA
Naramoto S, Otegui M, Kutsuna N, et al. Insights into the localization and function of the membrane trafficking regulator GNOM ARF-GEF at the Golgi apparatus in Arabidopsis. Plant Cell. 2014;26(7):3062-3076. doi:10.1105/tpc.114.125880
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1931   OA
Savin C, Triesch J. Emergence of task-dependent representations in working memory circuits. Frontiers in Computational Neuroscience. 2014;8(MAY). doi:10.3389/fncom.2014.00057
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed