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.




3882 Publications

2016 | Technical Report | IST-REx-ID: 5451 | OA
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Strong Amplifiers of Natural Selection. IST Austria; 2016. doi:10.15479/AT:IST-2016-728-v1-1
View | Files available | DOI
 
2016 | Technical Report | IST-REx-ID: 5452 | OA
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria; 2016. doi:10.15479/AT:IST-2017-728-v2-1
View | Files available | DOI
 
2016 | Technical Report | IST-REx-ID: 5453 | OA
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria; 2016. doi:10.15479/AT:IST-2017-749-v3-1
View | Files available | DOI
 
2016 | Research Data | IST-REx-ID: 5550 | OA
Ellis T, Field D. Flower colour data and phylogeny (NEXUS) files. 2016. doi:10.15479/AT:ISTA:34
View | Files available | DOI
 
2016 | Research Data | IST-REx-ID: 5551 | OA
Ellis T. Data on pollinator observations and offpsring phenotypes. 2016. doi:10.15479/AT:ISTA:35
View | Files available | DOI
 
2016 | Research Data | IST-REx-ID: 5552 | OA
Ellis T. Pollinator visitation data for wild Antirrhinum majus plants, with phenotypic and frequency data. 2016. doi:10.15479/AT:ISTA:36
View | Files available | DOI
 
2016 | Research Data | IST-REx-ID: 5553 | OA
Field D, Ellis T. Inference of mating patterns among wild snapdragons in a natural hybrid zone in 2012. 2016. doi:10.15479/AT:ISTA:37
View | Files available | DOI
 
2016 | Research Data | IST-REx-ID: 5554 | OA
Tugrul M. Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase. 2016. doi:10.15479/AT:ISTA:43
View | Files available | DOI
 
2016 | Research Data | IST-REx-ID: 5555 | OA
Hauschild R. Fiji script to determine average speed and direction of migration of cells. 2016. doi:10.15479/AT:ISTA:44
View | Files available | DOI
 
2016 | Research Data | IST-REx-ID: 5556 | OA
Lukacisin M, Landon M, Jajoo R. MATLAB analysis code for “Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.” 2016. doi:10.15479/AT:ISTA:45
View | Files available | DOI
 
2016 | Research Data | IST-REx-ID: 5557 | OA
Swoboda P. Synthetic discrete tomography problems. 2016. doi:10.15479/AT:ISTA:46
View | Files available | DOI
 
2016 | Research Data | IST-REx-ID: 5558 | OA
Bojsen-Hansen M. Tracking, Correcting and Absorbing Water Surface Waves. 2016. doi:10.15479/AT:ISTA:48
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 5749 | OA
Wielgoss S, Bergmiller T, Bischofberger AM, Hall AR. Adaptation to parasites and costs of parasite resistance in mutator and nonmutator bacteria. Molecular Biology and Evolution. 2016;33(3):770-782. doi:10.1093/molbev/msv270
View | Files available | DOI | PubMed | Europe PMC
 
2016 | Book Chapter | IST-REx-ID: 5805
Sen N, Biswas R, Bhowmick P. On some local topological properties of naive discrete sphere. In: Computational Topology in Image Context. Vol 9667. Cham: Springer Nature; 2016:253-264. doi:10.1007/978-3-319-39441-1_23
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 5806
Biswas R, Bhowmick P. On functionality of quadraginta octants of naive sphere with application to circle drawing. In: Discrete Geometry for Computer Imagery. Vol 9647. Cham: Springer Nature; 2016:256-267. doi:10.1007/978-3-319-32360-2_20
View | DOI
 
2016 | Book Chapter | IST-REx-ID: 5809
Biswas R, Bhowmick P, Brimkov VE. On the connectivity and smoothness of discrete spherical circles. In: Combinatorial Image Analysis. Vol 9448. Cham: Springer Nature; 2016:86-100. doi:10.1007/978-3-319-26145-4_7
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 1068 | OA
Chatterjee K, Dvorák W, Henzinger M, Loitzenbauer V. Conditionally optimal algorithms for generalized Büchi Games. In: Vol 58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPIcs.MFCS.2016.25
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1069 | OA
Chonev VK, Ouaknine J, Worrell J. On the skolem problem for continuous linear dynamical systems. In: Vol 55. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik; 2016. doi:10.4230/LIPIcs.ICALP.2016.100
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1070 | OA
Chatterjee K, Doyen L. Computation tree logic for synchronization properties. In: Vol 55. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik; 2016. doi:10.4230/LIPIcs.ICALP.2016.98
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1071 | OA
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs. In: Vol 57. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik; 2016. doi:10.4230/LIPIcs.ESA.2016.28
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1081 | OA
Łangowski Ł, Wabnik KT, Li H, et al. Cellular mechanisms for cargo delivery and polarity maintenance at different polar domains in plant cells. Cell Discovery. 2016;2. doi:10.1038/celldisc.2016.18
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 10810 | OA
Rubel P, Pani D, Schlögl A, et al. SCP-ECG V3.0: An enhanced standard communication protocol for computer-assisted electrocardiography. In: 2016 Computing in Cardiology Conference. Vol 43. Computing in Cardiology; 2016:309-312. doi:10.22489/cinc.2016.090-500
View | DOI | Download Published Version (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1082 | OA
Chalk MJ, Marre O, Tkačik G. Relevant sparse codes with variational information bottleneck. In: Vol 29. Neural Information Processing Systems; 2016:1965-1973.
View | Files available | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1083
Booker S, Althof D, Gross A, et al. KCTD12 auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons. Cerebral Cortex. 2016;27(3):2318-2334. doi:10.1093/cercor/bhw090
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 1090 | OA
Chatterjee K, Henzinger TA, Otop J. Nested weighted limit-average automata of bounded width. In: Vol 58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPIcs.MFCS.2016.24
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1093 | OA
Daca P, Henzinger TA, Kretinsky J, Petrov T. Linear distances between Markov chains. In: Vol 59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPIcs.CONCUR.2016.20
View | Files available | DOI
 
2016 | Book Chapter | IST-REx-ID: 1094
Harada H, Shigemoto R. Immunogold protein localization on grid-glued freeze-fracture replicas. In: High-Resolution Imaging of Cellular Proteins. Vol 1474. Springer; 2016:203-216. doi:10.1007/978-1-4939-6352-2_12
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 1095 | OA
Haas A, Henzinger TA, Holzer A, et al. Local linearizability for concurrent container-type data structures. In: Leibniz International Proceedings in Informatics. Vol 59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPIcs.CONCUR.2016.6
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1096
Schwayer C, Sikora MK, Slovakova J, Kardos R, Heisenberg C-PJ. Actin rings of power. Developmental Cell. 2016;37(6):493-506. doi:10.1016/j.devcel.2016.05.024
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1097 | OA
Du T, Schulz A, Zhu B, Bickel B, Matusik W. Computational multicopter design. In: Vol 35. ACM; 2016. doi:10.1145/2980179.2982427
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1098 | OA
Pentina A, Urner R. Lifelong learning with weighted majority votes. In: Vol 29. Neural Information Processing Systems; 2016:3619-3627.
View | Files available
 
2016 | Conference Paper | IST-REx-ID: 1099 | OA
Malomo L, Pietroni N, Bickel B, Cignoni P. FlexMolds: Automatic design of flexible shells for molding. In: Vol 35. ACM; 2016. doi:10.1145/2980179.2982397
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1101
Mitchell J, Whitfield J, Zhang W, et al. Rangefinder: A semisynthetic FRET sensor design algorithm. ACS SENSORS. 2016;1(11):1286-1290. doi:10.1021/acssensors.6b00576
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 1102 | OA
Kolesnikov A, Lampert C. Improving weakly-supervised object localization by micro-annotation. In: Proceedings of the British Machine Vision Conference 2016. Vol 2016-September. BMVA Press; 2016:92.1-92.12. doi:10.5244/C.30.92
View | DOI | Download Published Version (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1103 | OA
Gurung A, Deka A, Bartocci E, Bogomolov S, Grosu R, Ray R. Parallel reachability analysis for hybrid systems. In: IEEE; 2016. doi:10.1109/MEMCOD.2016.7797741
View | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1105
Savin C, Tkačik G. Estimating nonlinear neural response functions using GP priors and Kronecker methods. In: Vol 29. Neural Information Processing Systems; 2016:3610-3618.
View | Download None (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1115 | OA
Rueda A, Sedlmeir F, Collodo M, et al. Efficient single sideband microwave to optical conversion using a LiNbO inf 3 inf WGM-resonator. In: IEEE; 2016. doi:10.1364/CLEO_SI.2016.SF2G.3
View | Files available | DOI | Download Preprint (ext.)
 
2016 | Thesis | IST-REx-ID: 1121 | OA
Acar H. Selective barriers to horizontal gene transfer. 2016.
View | Files available
 
2016 | Thesis | IST-REx-ID: 1122 | OA
Bojsen-Hansen M. Tracking, correcting and absorbing water surface waves. 2016. doi:10.15479/AT:ISTA:th_640
View | Files available | DOI
 
2016 | Thesis | IST-REx-ID: 1123 | OA
Mabillard I. Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture. 2016.
View | Files available
 
2016 | Thesis | IST-REx-ID: 1124 | OA
Morri M. Optical functionalization of human class A orphan G-protein coupled receptors. 2016.
View | Files available
 
2016 | Thesis | IST-REx-ID: 1125 | OA
Novak S. Evolutionary proccesses in variable emvironments. 2016.
View | Files available
 
2016 | Thesis | IST-REx-ID: 1126 | OA
Pentina A. Theoretical foundations of multi-task lifelong learning. 2016. doi:10.15479/AT:ISTA:TH_776
View | Files available | DOI
 
2016 | Thesis | IST-REx-ID: 1128 | OA
Rieckh G. Studying the complexities of transcriptional regulation. 2016.
View | Files available
 
2016 | Thesis | IST-REx-ID: 1129 | OA
Schwarz J. Quantitative analysis of haptotactic cell migration. 2016.
View | Files available
 
2016 | Thesis | IST-REx-ID: 1130 | OA
Tarrach T. Automatic synthesis of synchronisation primitives for concurrent programs. 2016. doi:10.15479/at:ista:1130
View | Files available | DOI | Download Published Version (ext.)
 
2016 | Thesis | IST-REx-ID: 1131 | OA
Tugrul M. Evolution of transcriptional regulatory sequences. 2016.
View | Files available
 
2016 | Conference Paper | IST-REx-ID: 1134
Duggirala P, Fan C, Potok M, et al. Tutorial: Software tools for hybrid systems verification transformation and synthesis C2E2 HyST and TuLiP. In: 2016 IEEE Conference on Control Applications. IEEE; 2016. doi:10.1109/CCA.2016.7587948
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 1135 | OA
Avni G, Guha S, Rodríguez Navas G. Synthesizing time triggered schedules for switched networks with faulty links. In: Proceedings of the 13th International Conference on Embedded Software . ACM; 2016. doi:10.1145/2968478.2968499
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1136 | OA
Manteaux P, Vimont U, Wojtan CJ, Rohmer D, Cani M. Space-time sculpting of liquid animation. In: Proceedings of the 9th International Conference on Motion in Games . ACM; 2016. doi:10.1145/2994258.2994261
View | DOI | Download Submitted Version (ext.)
 

Search

Filter Publications