P. Kennedy et al., “Deconstructing superorganisms and societies to address big questions in biology,” Trends in Ecology and Evolution, vol. 32, no. 11. Cell Press, pp. 861–872, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/734
DOI: 10.1016/j.tree.2017.08.004
WoS: 000413231900011

C. Pull, “Disease defence in garden ants,” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/819
DOI: 10.15479/AT:ISTA:th_861

C. Pull and S. Cremer, “Co-founding ant queens prevent disease by performing prophylactic undertaking behaviour,” BMC Evolutionary Biology, vol. 17, no. 1. BioMed Central, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/732
DOI: 10.1186/s12862-017-1062-4
WoS: 000412816800001

E. B. Hannezo et al., “A unifying theory of branching morphogenesis,” Cell, vol. 171, no. 1. Cell Press, pp. 242–255, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/726
DOI: 10.1016/j.cell.2017.08.026
WoS: 000411331800024

J. Mueller et al., “Load adaptation of lamellipodial actin networks,” Cell, vol. 171, no. 1. Cell Press, pp. 188–200, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/727
DOI: 10.1016/j.cell.2017.07.051
WoS: 000411331800020

C. Savin and G. Tkadik, “Maximum entropy models as a tool for building precise neural controls,” Current Opinion in Neurobiology, vol. 46. Elsevier, pp. 120–126, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/730
DOI: 10.1016/j.conb.2017.08.001
WoS: 000416196400016

C. Chan, C.-P. J. Heisenberg, and T. Hiiragi, “Coordination of morphogenesis and cell fate specification in development,” Current Biology, vol. 27, no. 18. Cell Press, pp. 24–35, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/728
DOI: 10.1016/j.cub.2017.07.010
WoS: 000411581800019

Z. P. Spiro and C.-P. J. Heisenberg, “Regeneration tensed up polyploidy takes the lead,” Developmental Cell, vol. 42, no. 6. Cell Press, pp. 559–560, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/729
DOI: 10.1016/j.devcel.2017.09.008
WoS: 000411582800003

D. De Martino, “Maximum entropy modeling of metabolic networks by constraining growth-rate moments predicts coexistence of phenotypes,” Physical Review E, vol. 96, no. 6. American Physical Society, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/548
DOI: 10.1103/PhysRevE.96.060401

S. Altmeyer and R. Lueptow, “Wave propagation reversal for wavy vortices in wide gap counter rotating cylindrical Couette flow,” Physical Review E, vol. 95, no. 5. American Physical Society, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/673
DOI: 10.1103/PhysRevE.95.053103

P. Ferrari and P. Nejjar, “Fluctuations of the competition interface in presence of shocks,” Revista Latino-Americana de Probabilidade e Estatística, vol. 9. Instituto Nacional de Matematica Pura e Aplicada, pp. 299–325, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/447
DOI: 10.30757/ALEA.v14-17

R. Nickells, H. Schmitt, M. E. Maes, and C. Schlamp, “AA mediated transduction of the mouse retina after optic nerve injury,” Investigative Ophthalmology and Visual Science, vol. 58, no. 14. Association for Research in Vision and Ophthalmology, pp. 6091–6104, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/557
DOI: 10.1167/iovs.17-22634

E. Yakaboylu, A. Deuchert, and M. Lemeshko, “Emergence of non-abelian magnetic monopoles in a quantum impurity problem,” Physical Review Letters, vol. 119, no. 23. American Physical Society, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/997
DOI: 10.1103/PhysRevLett.119.235301
WoS: 000417132100007
arXiv: 1705.05162

A. Royer, A. Kolesnikov, and C. Lampert, “Probabilistic image colorization,” presented at the BMVC: British Machine Vision Conference, London, United Kingdom, 2017, p. 85.1-85.12.
LibreCat: https://research-explorer.ista.ac.at/record/911
DOI: 10.5244/c.31.85
arXiv: 1705.04258

W. Sun et al., “Comparison of the effects of nicotinic acid and nicotinamide degradation on plasma betaine and choline levels,” Clinical Nutrition, vol. 36, no. 4. Elsevier, pp. 1136–1142, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1146
DOI: 10.1016/j.clnu.2016.07.016

H. Edelsbrunner and P. Koehl, “Computational topology for structural molecular biology,” in Handbook of Discrete and Computational Geometry, Third Edition, C. Toth, J. O’Rourke, and J. Goodman, Eds. Taylor &; Francis, 2017, pp. 1709–1735.
LibreCat: https://research-explorer.ista.ac.at/record/84
DOI: 10.1201/9781315119601

C. Jiang et al., “Dietary menthol-induced TRPM8 activation enhances WAT ‘browning’ and ameliorates diet-induced obesity,” Oncotarget, vol. 8, no. 43. Impact Journals, pp. 75114–75126, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/627
DOI: 10.18632/oncotarget.20540

M. Lang and E. Sontag, “Zeros of nonlinear systems with input invariances,” Automatica, vol. 81C. International Federation of Automatic Control, pp. 46–55, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1007
DOI: 10.1016/j.automatica.2017.03.030
WoS: 000403513900006

A. Zimin and C. Lampert, “Learning theory for conditional risk minimization,” presented at the AISTATS: Artificial Intelligence and Statistics, Fort Lauderdale, FL, United States, 2017, vol. 54, pp. 213–222.
LibreCat: https://research-explorer.ista.ac.at/record/1108
WoS: 000509368500024

A. Akopyan and V. Vysotsky, “On the lengths of curves passing through boundary points of a planar convex shape,” The American Mathematical Monthly, vol. 124, no. 7. Mathematical Association of America, pp. 588–596, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/909
DOI: 10.4169/amer.math.monthly.124.7.588
WoS: 000413947300002
arXiv: 1605.07997

D.-A. Alistarh, D. Grubic, J. Li, R. Tomioka, and M. Vojnovi, “QSGD: Communication-efficient SGD via gradient quantization and encoding,” presented at the NIPS: Neural Information Processing System, Long Beach, CA, United States, 2017, vol. 2017, pp. 1710–1721.
LibreCat: https://research-explorer.ista.ac.at/record/431
arXiv: 1610.02132

B. Finkbeiner and A. Kupriyanov, “Causality-based model checking,” in Electronic Proceedings in Theoretical Computer Science, Uppsala, Sweden, 2017, vol. 259, pp. 31–38.
LibreCat: https://research-explorer.ista.ac.at/record/549
DOI: 10.4204/EPTCS.259.3

A. Pentina and C. Lampert, “Multi-task learning with labeled and unlabeled tasks,” presented at the ICML: International Conference on Machine Learning, Sydney, Australia, 2017, vol. 70, pp. 2807–2816.
LibreCat: https://research-explorer.ista.ac.at/record/999
WoS: 000683309502093

A. R. Rueda Sanchez et al., “Single sideband microwave to optical photon conversion-an-electro-optic-realization,” in Optics InfoBase Conference Papers, Waikoloa, HI, United States, 2017, vol. .
LibreCat: https://research-explorer.ista.ac.at/record/485
DOI: 10.1364/NLO.2017.NM3A.1

J. Haase, S. Bagiante, H. Sigg, and J. Van Bokhoven, “Surface enhanced infrared absorption of chemisorbed carbon monoxide using plasmonic nanoantennas,” Optics Letters, vol. 42, no. 10. Optica Publishing Group, pp. 1931–1934, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/675
DOI: 10.1364/OL.42.001931

S. Cremer, “Invasive Ameisen in Europa: Wie sie sich ausbreiten und die heimische Fauna verändern,” Rundgespräche Forum Ökologie, vol. 46. Verlag Dr. Friedrich Pfeil, pp. 105–116, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/459

H. Zhang, J. Li, K. Kara, D.-A. Alistarh, J. Liu, and C. Zhang, “ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning,” in Proceedings of Machine Learning Research, Sydney, Australia, 2017, vol. 70, pp. 4035–4043.
LibreCat: https://research-explorer.ista.ac.at/record/432

V. Kolmogorov, “A faster approximation algorithm for the Gibbs partition function,” in Proceedings of the 31st Conference On Learning Theory, 2017, vol. 75, pp. 228–249.
LibreCat: https://research-explorer.ista.ac.at/record/274
arXiv: 1608.04223

M. Futo, M. Sell, M. Kutzer, and J. Kurtz, “Specificity of oral immune priming in the red flour beetle Tribolium castaneum,” Biology Letters, vol. 13, no. 12. The Royal Society, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/558
DOI: 10.1098/rsbl.2017.0632
PMID: 29237813

M. Villányi, “Ein freies Bibliothekssystem für wissenschaftliche Bibliotheken – Werkstattbericht der IST Austria Library,” Informationspraxis, vol. 3, no. 1. Verein Informationspraxis , 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1030
DOI: 10.11588/ip.2017.1.35227

J. Walker et al., “Sexual-lineage-specific DNA methylation regulates meiosis in Arabidopsis,” Nature Genetics, vol. 50, no. 1. Nature Research, pp. 130–137, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/12193
DOI: 10.1038/s41588-017-0008-5
PMID: 29255257

K. Chatterjee, P. Novotný, and D. Zikelic, “Stochastic invariants for probabilistic termination,” presented at the POPL: Principles of Programming Languages, Paris, France, 2017, vol. 52, no. 1, pp. 145–160.
LibreCat: https://research-explorer.ista.ac.at/record/1194
DOI: 10.1145/3009837.3009873
WoS: 000408311200013

E. Mazur and J. Friml, “Vascular tissue development and regeneration in the model plant arabidopsis,” in Plant Engineering, S. Juri, Ed. InTech, 2017, pp. 113–140.
LibreCat: https://research-explorer.ista.ac.at/record/545
DOI: 10.5772/intechopen.69712

R. J. Beattie and S. Hippenmeyer, “Mechanisms of radial glia progenitor cell lineage progression,” FEBS letters, vol. 591, no. 24. Wiley-Blackwell, pp. 3993–4008, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/621
DOI: 10.1002/1873-3468.12906
PMID: 29121403

O. Marre, G. Tkadik, D. Amodei, E. Schneidman, W. Bialek, and M. Berry, “Multi-electrode array recording from salamander retinal ganglion cells.” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/5562
DOI: 10.15479/AT:ISTA:61

D. Kainmueller, F. Jug, C. Rother, and G. Meyers, “Graph matching problems for annotating C. Elegans.” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/5561
DOI: 10.15479/AT:ISTA:57

M. Lukacisin, “MATLAB analysis code for ‘Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.’” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/5563
DOI: 10.15479/AT:ISTA:64

D. Hahn, “Brittle fracture simulation with boundary elements for computer graphics,” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/839
DOI: 10.15479/AT:ISTA:th_855

C. Fraisse, M. A. L. Picard, and B. Vicoso, “The deep conservation of the Lepidoptera Z chromosome suggests a non canonical origin of the W,” Nature Communications, vol. 8, no. 1. Nature Publishing Group, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/614
DOI: 10.1038/s41467-017-01663-5
PMID: 29133797

M. Steinrück and C. C. Guet, “Fastq files for ‘Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection.’” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/5564
DOI: 10.15479/AT:ISTA:65

D. Hahn, “Source codes: Brittle fracture simulation with boundary elements for computer graphics.” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/5568
DOI: 10.15479/AT:ISTA:73

C. Fraisse, “Supplementary Files for ‘The deep conservation of the Lepidoptera Z chromosome suggests a non canonical origin of the W.’” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/7163
DOI: 10.15479/AT:ISTA:7163

R. Hauschild, “Forward migration indexes.” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/5570
DOI: 10.15479/AT:ISTA:75

A. F. Leithner, “Immunological synapse DC-Tcells.” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/5567
DOI: 10.15479/AT:ISTA:71

T. Bergmiller et al., “Biased partitioning of the multi-drug efflux pump AcrAB-TolC underlies long-lived phenotypic heterogeneity.” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/5560
DOI: 10.15479/AT:ISTA:53

T. Bergmiller et al., “Biased partitioning of the multidrug efflux pump AcrAB TolC underlies long lived phenotypic heterogeneity,” Science, vol. 356, no. 6335. American Association for the Advancement of Science, pp. 311–315, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/665
DOI: 10.1126/science.aaf4762

B. Vicoso, “Data for ‘The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology.’” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/5571
DOI: 10.15479/AT:ISTA:78

A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak , “Strong amplifiers of natural selection.” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/5559
DOI: 10.15479/AT:ISTA:51

B. Vicoso, “Code for ‘The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology.’” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/5572
DOI: 10.15479/AT:ISTA:79 

D. von Wangenheim, R. Hauschild, M. Fendrych, V. Barone, E. Benková, and J. Friml, “Live tracking of moving samples in confocal microscopy for vertically grown roots,” eLife, vol. 6. eLife Sciences Publications, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/946
DOI: 10.7554/eLife.26792
WoS: 000404728300001

D. von Wangenheim, R. Hauschild, and J. Friml, “Light sheet fluorescence microscopy of plant roots growing on the surface of a gel,” Journal of visualized experiments JoVE, vol. 2017, no. 119. Journal of Visualized Experiments, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1078
DOI: 10.3791/55044
WoS: 000397847200041

D. von Wangenheim, R. Hauschild, and J. Friml, “Light Sheet Fluorescence microscopy of plant roots growing on the surface of a gel.” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/5565
DOI: 10.15479/AT:ISTA:66

R. Hauschild, “Live tracking of moving samples in confocal microscopy for vertically grown roots.” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/5566
DOI: 10.15479/AT:ISTA:69

X. Goaoc, P. Paták, Z. Patakova, M. Tancer, and U. Wagner, “Bounding helly numbers via betti numbers,” in A Journey through Discrete Mathematics: A Tribute to Jiri Matousek, M. Loebl, J. Nesetil, and R. Thomas, Eds. Springer, 2017, pp. 407–447.
LibreCat: https://research-explorer.ista.ac.at/record/424
DOI: 10.1007/978-3-319-44479-6_17

S. Altmeyer, Y. Do, and S. Ryu, “Transient behavior between multi-cell flow states in ferrofluidic Taylor-Couette flow,” Chaos, vol. 27, no. 11. AIP Publishing, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/463
DOI: 10.1063/1.5002771

B. Shepperson, A. Chatterley, A. Søndergaard, L. Christiansen, M. Lemeshko, and H. Stapelfeldt, “Strongly aligned molecules inside helium droplets in the near-adiabatic regime,” The Journal of Chemical Physics, vol. 147, no. 1. AIP Publishing, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/996
DOI: 10.1063/1.4983703
WoS: 000405089400047

A. Deuchert, “A lower bound for the BCS functional with boundary conditions at infinity,”  Journal of Mathematical Physics, vol. 58, no. 8. AIP Publishing, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/912
DOI: 10.1063/1.4996580
WoS: 000409197200015

M. Lukacisin, M. Landon, and R. Jajoo, “Sequence-specific thermodynamic properties of nucleic acids influence both transcriptional pausing and backtracking in yeast,” PLoS One, vol. 12, no. 3. Public Library of Science, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1029
DOI: 10.1371/journal.pone.0174066
WoS: 000396318300121

F. P. Assen and M. K. Sixt, “The dynamic cytokine niche,” Immunity, vol. 46, no. 4. Cell Press, pp. 519–520, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/664
DOI: 10.1016/j.immuni.2017.04.006

H. Ukai et al., “PirB regulates asymmetries in hippocampal circuitry,” PLoS One, vol. 12, no. 6. Public Library of Science, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/682
DOI: 10.1371/journal.pone.0179377

S. Kainrath, M. Stadler, E. Gschaider-Reichhart, M. Distel, and H. L. Janovjak, “Green-light-induced inactivation of receptor signaling using cobalamin-binding domains,” Angewandte Chemie - International Edition, vol. 56, no. 16. Wiley-Blackwell, pp. 4608–4611, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1028
DOI: 10.1002/anie.201611998
WoS: 000398154000038

A. Hurny and E. Benková, “Methodological advances in auxin and cytokinin biology,” Auxins and Cytokinins in Plant Biology, vol. 1569. Springer, pp. 1–29, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1024
DOI: 10.1007/978-1-4939-6831-2_1

F. Ebner et al., “The RNA-binding protein tristetraprolin schedules apoptosis of pathogen-engaged neutrophils during bacterial infection,” The Journal of Clinical Investigation, vol. 127, no. 6. American Society for Clinical Investigation, pp. 2051–2065, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/679
DOI: 10.1172/JCI80631
PMID: 28504646

G. Krens et al., “Interstitial fluid osmolarity modulates the action of differential tissue surface tension in progenitor cell segregation during gastrulation,” Development, vol. 144, no. 10. Company of Biologists, pp. 1798–1806, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/676
DOI: 10.1242/dev.144964
PMID: 28512197

M. Steinrück and C. C. Guet, “Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection,” eLife, vol. 6. eLife Sciences Publications, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/704
DOI: 10.7554/eLife.25100

M. Lukacisinova, S. Novak, and T. Paixao, “Stress induced mutagenesis: Stress diversity facilitates the persistence of mutator genes,” PLoS Computational Biology, vol. 13, no. 7. Public Library of Science, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/696
DOI: 10.1371/journal.pcbi.1005609

M. Lukacisinova and M. T. Bollenbach, “Toward a quantitative understanding of antibiotic resistance evolution,” Current Opinion in Biotechnology, vol. 46. Elsevier, pp. 90–97, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1027
DOI: 10.1016/j.copbio.2017.02.013
WoS: 000408077400015

K. Chatterjee, H. Fu, and A. K. Goharshady, “Non-polynomial worst case analysis of recursive programs,” presented at the CAV: Computer Aided Verification, Heidelberg, Germany, 2017, vol. 10427, pp. 41–63.
LibreCat: https://research-explorer.ista.ac.at/record/639
DOI: 10.1007/978-3-319-63390-9_3
arXiv: 1705.00317

K. Chatterjee, A. K. Goharshady, and A. Pavlogiannis, “JTDec: A tool for tree decompositions in soot,” presented at the ATVA: Automated Technology for Verification and Analysis, Pune, India, 2017, vol. 10482, pp. 59–66.
LibreCat: https://research-explorer.ista.ac.at/record/949
DOI: 10.1007/978-3-319-68167-2_4
WoS: 000723567800004

M. Smutny et al., “Friction forces position the neural anlage,” Nature Cell Biology, vol. 19. Nature Publishing Group, pp. 306–317, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/661
DOI: 10.1038/ncb3492
PMID: 28346437

V. Barone et al., “An effective feedback loop between cell-cell contact duration and morphogen signaling determines cell fate,” Developmental Cell, vol. 43, no. 2. Cell Press, pp. 198–211, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/735
DOI: 10.1016/j.devcel.2017.09.014
WoS: 000413443700011

A. H. Hansen, C. F. Düllberg, C. Mieck, M. Loose, and S. Hippenmeyer, “Cell polarity in cerebral cortex development - cellular architecture shaped by biochemical networks,” Frontiers in Cellular Neuroscience, vol. 11. Frontiers Research Foundation, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/960
DOI: 10.3389/fncel.2017.00176
WoS: 000404486700001

R. Gnügge, L. Dharmarajan, M. Lang, and J. Stelling, “An orthogonal permease–inducer–repressor feedback loop shows bistability,” ACS Synthetic Biology, vol. 5, no. 10. American Chemical Society, pp. 1098–1107, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1008
DOI: 10.1021/acssynbio.6b00013

K. Chatterjee, W. Dvorák, M. H. Henzinger, and V. Loitzenbauer, “Conditionally optimal algorithms for generalized Büchi Games,” presented at the MFCS: Mathematical Foundations of Computer Science (SG), Krakow, Poland, 2016, vol. 58.
LibreCat: https://research-explorer.ista.ac.at/record/1068
DOI: 10.4230/LIPIcs.MFCS.2016.25

V. K. Chonev, J. Ouaknine, and J. Worrell, “On the skolem problem for continuous linear dynamical systems,” presented at the ICALP: Automata, Languages and Programming, Rome, Italy, 2016, vol. 55.
LibreCat: https://research-explorer.ista.ac.at/record/1069
DOI: 10.4230/LIPIcs.ICALP.2016.100

K. Chatterjee and L. Doyen, “Computation tree logic for synchronization properties,” presented at the ICALP: Automata, Languages and Programming, Rome, Italy, 2016, vol. 55.
LibreCat: https://research-explorer.ista.ac.at/record/1070
DOI: 10.4230/LIPIcs.ICALP.2016.98

. angowski et al., “Cellular mechanisms for cargo delivery and polarity maintenance at different polar domains in plant cells,” Cell Discovery, vol. 2. Nature Publishing Group, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1081
DOI: 10.1038/celldisc.2016.18

P. Rubel et al., “SCP-ECG .0: An enhanced standard communication protocol for computer-assisted electrocardiography,” in 2016 Computing in Cardiology Conference, Vancouver, Canada, 2016, vol. 43, pp. 309–312.
LibreCat: https://research-explorer.ista.ac.at/record/10810
DOI: 10.22489/cinc.2016.090-500

M. J. Chalk, O. Marre, and G. Tkadik, “Relevant sparse codes with variational information bottleneck,” presented at the NIPS: Neural Information Processing Systems, Barcelona, Spain, 2016, vol. 29, pp. 1965–1973.
LibreCat: https://research-explorer.ista.ac.at/record/1082

S. Booker et al., “KCT auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons,” Cerebral Cortex, vol. 27, no. 3. Oxford University Press, pp. 2318–2334, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1083
DOI: 10.1093/cercor/bhw090

K. Chatterjee, T. A. Henzinger, and J. Otop, “Nested weighted limit-average automata of bounded width,” presented at the MFCS: Mathematical Foundations of Computer Science (SG), Krakow; Poland, 2016, vol. 58.
LibreCat: https://research-explorer.ista.ac.at/record/1090
DOI: 10.4230/LIPIcs.MFCS.2016.24

A. Haas et al., “Local linearizability for concurrent container-type data structures,” in Leibniz International Proceedings in Informatics, Quebec City; Canada, 2016, vol. 59.
LibreCat: https://research-explorer.ista.ac.at/record/1095
DOI: 10.4230/LIPIcs.CONCUR.2016.6

T. Du, A. Schulz, B. Zhu, B. Bickel, and W. Matusik, “Computational multicopter design,” presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China, 2016, vol. 35, no. 6.
LibreCat: https://research-explorer.ista.ac.at/record/1097
DOI: 10.1145/2980179.2982427

A. Pentina and R. Urner, “Lifelong learning with weighted majority votes,” presented at the NIPS: Neural Information Processing Systems, Barcelona, Spain, 2016, vol. 29, pp. 3619–3627.
LibreCat: https://research-explorer.ista.ac.at/record/1098

L. Malomo, N. Pietroni, B. Bickel, and P. Cignoni, “FlexMolds: Automatic design of flexible shells for molding,” presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China, 2016, vol. 35, no. 6.
LibreCat: https://research-explorer.ista.ac.at/record/1099
DOI: 10.1145/2980179.2982397

A. Kolesnikov and C. Lampert, “Improving weakly-supervised object localization by micro-annotation,” in Proceedings of the British Machine Vision Conference 2016, York, United Kingdom, 2016, vol. 2016–September, p. 92.1-92.12.
LibreCat: https://research-explorer.ista.ac.at/record/1102
DOI: 10.5244/C.30.92

A. Gurung, A. Deka, E. Bartocci, S. Bogomolov, R. Grosu, and R. Ray, “Parallel reachability analysis for hybrid systems,” presented at the MEMOCODE: International Conference on Formal Methods and Models for System Design, Kanpur, India , 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1103
DOI: 10.1109/MEMCOD.2016.7797741

C. Savin and G. Tkadik, “Estimating nonlinear neural response functions using GP priors and Kronecker methods,” presented at the NIPS: Neural Information Processing Systems, Barcelona; Spain, 2016, vol. 29, pp. 3610–3618.
LibreCat: https://research-explorer.ista.ac.at/record/1105

A. Rueda et al., “Efficient single sideband microwave to optical conversion using a LiNbO WGM-resonator,” presented at the CLEO: Conference on Lasers and Electro Optics, San Jose, CA, USA, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1115
DOI: 10.1364/CLEO_SI.2016.SF2G.3

G. Avni, S. Guha, and G. Rodríguez Navas, “Synthesizing time triggered schedules for switched networks with faulty links,” in Proceedings of the 13th International Conference on Embedded Software , Pittsburgh, PA, USA, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1135
DOI: 10.1145/2968478.2968499

P. Duggirala et al., “Tutorial: Software tools for hybrid systems verification transformation and synthesis  HyST and TuLiP,” in 2016 IEEE Conference on Control Applications, Buenos Aires, Argentina , 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1134
DOI: 10.1109/CCA.2016.7587948

P. Manteaux, U. Vimont, C. Wojtan, D. Rohmer, and M. Cani, “Space-time sculpting of liquid animation,” in Proceedings of the 9th International Conference on Motion in Games , San Francisco, CA, USA, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1136
DOI: 10.1145/2994258.2994261

E. Salzer et al., “RASGR deficiency causes immunodeficiency with impaired cytoskeletal dynamics,” Nature Immunology, vol. 17, no. 12. Nature Publishing Group, pp. 1352–1360, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1137
DOI: 10.1038/ni.3575
PMID: 27776107

K. Chatterjee, T. A. Henzinger, and J. Otop, “Quantitative automata under probabilistic semantics,” in Proceedings of the 31st Annual ACM/IEEE Symposium, New York, NY, USA, 2016, pp. 76–85.
LibreCat: https://research-explorer.ista.ac.at/record/1138
DOI: 10.1145/2933575.2933588
arXiv: 1604.06764

K. Chatterjee, W. Dvoák, M. H. Henzinger, and V. Loitzenbauer, “Model and objective separation with conditional lower bounds: disjunction is harder than conjunction,” in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, New York, NY, USA, 2016, pp. 197–206.
LibreCat: https://research-explorer.ista.ac.at/record/1140
DOI: 10.1145/2933575.2935304
arXiv: 1602.02670

R. Martins et al., “Heme drives hemolysis-induced susceptibility to infection via disruption of phagocyte functions,” Nature Immunology, vol. 17, no. 12. Nature Publishing Group, pp. 1361–1372, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1142
DOI: 10.1038/ni.3590

R. azarz, M. Idzik, K. Gdek, and E. P. Gajda-Zagorska, “Hierarchic genetic strategy with maturing as a generic tool for multiobjective optimization,” Journal of Computational Science, vol. 17, no. 1. Elsevier, pp. 249–260, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1141
DOI: 10.1016/j.jocs.2016.03.004

P. Nam, N. Rougerie, and R. Seiringer, “Ground states of large bosonic systems: The gross Pitaevskii limit revisited,” Analysis and PDE, vol. 9, no. 2. Mathematical Sciences Publishers, pp. 459–485, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1143
DOI: 10.2140/apde.2016.9.459

T. Nodzyski, S. Vanneste, M. Zwiewka, M. Pernisová, J. Hejátko, and J. Friml, “Enquiry into the topology of plasma membrane localized PIN auxin transport components,” Molecular Plant, vol. 9, no. 11. Cell Press, pp. 1504–1519, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1145
DOI: 10.1016/j.molp.2016.08.010

J. Balla et al., “Auxin flow mediated competition between axillary buds to restore apical dominance,” Scientific Reports, vol. 6. Nature Publishing Group, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1147
DOI: 10.1038/srep35955