Overcoming the limitations of the MARTINI force field in simulations of polysaccharides
P.S. Schmalhorst, F. Deluweit, R. Scherrers, C.-P.J. Heisenberg, M.K. Sikora, Journal of Chemical Theory and Computation 13 (2017) 5039–5053.
LibreCat: https://research-explorer.ista.ac.at/record/804
DOI: 10.1021/acs.jctc.7b00374
WoS: 000412965700036

Altered surface mGlu dynamics provoke synaptic NMDAR dysfunction and cognitive defects in Fm knockout mice
E. Aloisi, K. Le Corf, J. Dupuis, P. Zhang, M. Ginger, V. Labrousse, M. Spatuzza, M. Georg Haberl, L. Costa, R. Shigemoto, A. Tappe Theodor, F. Drago, P. Vincenzo Piazza, C. Mulle, L. Groc, L. Ciranna, M. Catania, A. Frick, Nature Communications 8 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/746
DOI: 10.1038/s41467-017-01191-2
WoS: 000413571300004

Triple function of Synaptotagmin 7 ensures efficiency of high-frequency transmission at central GABAergic synapses
C. Chen, R. Satterfield, S. Young, P.M. Jonas, Cell Reports 21 (2017) 2082–2089.
LibreCat: https://research-explorer.ista.ac.at/record/749
DOI: 10.1016/j.celrep.2017.10.122
WoS: 000416216700007

Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma
T. Priklopil, K. Chatterjee, M. Nowak,  Journal of Theoretical Biology 433 (2017) 64–72.
LibreCat: https://research-explorer.ista.ac.at/record/744
DOI: 10.1016/j.jtbi.2017.08.025
WoS: 000412039800007
PMID: 28867224

Transition to turbulence in pulsating pipe flow
D. Xu, S. Warnecke, B. Song, X. Ma, B. Hof, Journal of Fluid Mechanics 831 (2017) 418–432.
LibreCat: https://research-explorer.ista.ac.at/record/745
DOI: 10.1017/jfm.2017.620
WoS: 000412934800005

Modulation of cardiac vagal tone by bradykinin acting on nucleus ambiguus
E. Breiloiu, M. Mcguire, S. Shuler, E. Deliu, J. Barr, M. Abood, G. Brailoiu, Neuroscience 365 (2017) 23–32.
LibreCat: https://research-explorer.ista.ac.at/record/747
DOI: 10.1016/j.neuroscience.2017.09.034
WoS: 000415966200003
PMID: 28951324

Preface of the special issue in memoriam Helmut Veith
G. Gottlob, T.A. Henzinger, G. Weißenbacher, Formal Methods in System Design 51 (2017) 267–269.
LibreCat: https://research-explorer.ista.ac.at/record/743
DOI: 10.1007/s10703-017-0307-6
WoS: 000415615600001

Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation
V. Barone, Cell Adhesion and Cell Fate: An Effective Feedback Loop during Zebrafish Gastrulation, Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/961
DOI: 10.15479/AT:ISTA:th_825

Deconstructing superorganisms and societies to address big questions in biology
P. Kennedy, G. Baron, B. Qiu, D. Freitak, H. Helantera, E. Hunt, F. Manfredini, T. O’Shea Wheller, S. Patalano, C. Pull, T. Sasaki, D. Taylor, C. Wyatt, S. Sumner, Trends in Ecology and Evolution 32 (2017) 861–872.
LibreCat: https://research-explorer.ista.ac.at/record/734
DOI: 10.1016/j.tree.2017.08.004
WoS: 000413231900011

Disease defence in garden ants
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

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

A unifying theory of branching morphogenesis
E.B. Hannezo, C. Scheele, M. Moad, N. Drogo, R. Heer, R. Sampogna, J. Van Rheenen, B. Simons, Cell 171 (2017) 242–255.
LibreCat: https://research-explorer.ista.ac.at/record/726
DOI: 10.1016/j.cell.2017.08.026
WoS: 000411331800024

Load adaptation of lamellipodial actin networks
J. Mueller, G. Szep, M. Nemethova, I. de Vries, A. Lieber, C. Winkler, K. Kruse, J. Small, C. Schmeiser, K. Keren, R. Hauschild, M.K. Sixt, Cell 171 (2017) 188–200.
LibreCat: https://research-explorer.ista.ac.at/record/727
DOI: 10.1016/j.cell.2017.07.051
WoS: 000411331800020

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

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

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

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

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

Fluctuations of the competition interface in presence of shocks
P. Ferrari, P. Nejjar, Revista Latino-Americana de Probabilidade e Estatística 9 (2017) 299–325.
LibreCat: https://research-explorer.ista.ac.at/record/447
DOI: 10.30757/ALEA.v14-17

AA mediated transduction of the mouse retina after optic nerve injury
R. Nickells, H. Schmitt, M.E. Maes, C. Schlamp, Investigative Ophthalmology and Visual Science 58 (2017) 6091–6104.
LibreCat: https://research-explorer.ista.ac.at/record/557
DOI: 10.1167/iovs.17-22634

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

Probabilistic image colorization
A. Royer, A. Kolesnikov, C. Lampert, in:, BMVA Press, 2017, p. 85.1-85.12.
LibreCat: https://research-explorer.ista.ac.at/record/911
DOI: 10.5244/c.31.85
arXiv: 1705.04258

Comparison of the effects of nicotinic acid and nicotinamide degradation on plasma betaine and choline levels
W. Sun, M.-Z. Zhai, D. Li, Y. Zhou, N. Chen, M. Guo, S. Zhou, Clinical Nutrition 36 (2017) 1136–1142.
LibreCat: https://research-explorer.ista.ac.at/record/1146
DOI: 10.1016/j.clnu.2016.07.016

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

Dietary menthol-induced TRPM8 activation enhances WAT cbrowningd and ameliorates diet-induced obesity
C. Jiang, M.-Z. Zhai, D. Yan, D. Li, C. Li, Y. Zhang, L. Xiao, D. Xiong, Q. Deng, W. Sun, Oncotarget 8 (2017) 75114–75126.
LibreCat: https://research-explorer.ista.ac.at/record/627
DOI: 10.18632/oncotarget.20540

Zeros of nonlinear systems with input invariances
M. Lang, E. Sontag, Automatica 81C (2017) 46–55.
LibreCat: https://research-explorer.ista.ac.at/record/1007
DOI: 10.1016/j.automatica.2017.03.030
WoS: 000403513900006

Learning theory for conditional risk minimization
A. Zimin, C. Lampert, in:, ML Research Press, 2017, pp. 213–222.
LibreCat: https://research-explorer.ista.ac.at/record/1108
WoS: 000509368500024

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

QSGD: Communication-efficient SGD via gradient quantization and encoding
D.-A. Alistarh, D. Grubic, J. Li, R. Tomioka, M. Vojnovi, in:, Neural Information Processing Systems Foundation, 2017, pp. 1710–1721.
LibreCat: https://research-explorer.ista.ac.at/record/431
arXiv: 1610.02132

Causality-based model checking
B. Finkbeiner, A. Kupriyanov, in:, Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2017, pp. 31–38.
LibreCat: https://research-explorer.ista.ac.at/record/549
DOI: 10.4204/EPTCS.259.3

Multi-task learning with labeled and unlabeled tasks
A. Pentina, C. Lampert, in:, ML Research Press, 2017, pp. 2807–2816.
LibreCat: https://research-explorer.ista.ac.at/record/999
WoS: 000683309502093

Single sideband microwave to optical photon conversion-an-electro-optic-realization
A.R. Rueda Sanchez, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov, C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, in:, Optics InfoBase Conference Papers, Optica  Publishing Group, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/485
DOI: 10.1364/NLO.2017.NM3A.1

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

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

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

Specificity of oral immune priming in the red flour beetle Tribolium castaneum
M. Futo, M. Sell, M. Kutzer, J. Kurtz, Biology Letters 13 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/558
DOI: 10.1098/rsbl.2017.0632
PMID: 29237813

Sexual-lineage-specific DNA methylation regulates meiosis in Arabidopsis
J. Walker, H. Gao, J. Zhang, B. Aldridge, M. Vickers, J.D. Higgins, X. Feng, Nature Genetics 50 (2017) 130–137.
LibreCat: https://research-explorer.ista.ac.at/record/12193
DOI: 10.1038/s41588-017-0008-5
PMID: 29255257

Stochastic invariants for probabilistic termination
K. Chatterjee, P. Novotný, D. Zikelic, in:, ACM, 2017, pp. 145–160.
LibreCat: https://research-explorer.ista.ac.at/record/1194
DOI: 10.1145/3009837.3009873
WoS: 000408311200013

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

Mechanisms of radial glia progenitor cell lineage progression
R.J. Beattie, S. Hippenmeyer, FEBS Letters 591 (2017) 3993–4008.
LibreCat: https://research-explorer.ista.ac.at/record/621
DOI: 10.1002/1873-3468.12906
PMID: 29121403

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

Graph matching problems for annotating C. Elegans
D. Kainmueller, F. Jug, C. Rother, G. Meyers, (2017).
LibreCat: https://research-explorer.ista.ac.at/record/5561
DOI: 10.15479/AT:ISTA:57

MATLAB analysis code for 'Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast'
M. Lukacisin, (2017).
LibreCat: https://research-explorer.ista.ac.at/record/5563
DOI: 10.15479/AT:ISTA:64

Brittle fracture simulation with boundary elements for computer graphics
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

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

Fastq files for "Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection"
M. Steinrück, C.C. Guet, (2017).
LibreCat: https://research-explorer.ista.ac.at/record/5564
DOI: 10.15479/AT:ISTA:65

Source codes: Brittle fracture simulation with boundary elements for computer graphics
D. Hahn, (2017).
LibreCat: https://research-explorer.ista.ac.at/record/5568
DOI: 10.15479/AT:ISTA:73

Supplementary Files for "The deep conservation of the Lepidoptera Z chromosome suggests a non canonical origin of the W"
C. Fraisse, (2017).
LibreCat: https://research-explorer.ista.ac.at/record/7163
DOI: 10.15479/AT:ISTA:7163

Immunological synapse DC-Tcells
A.F. Leithner, (2017).
LibreCat: https://research-explorer.ista.ac.at/record/5567
DOI: 10.15479/AT:ISTA:71

Biased partitioning of the multi-drug efflux pump AcrAB-TolC underlies long-lived phenotypic heterogeneity
T. Bergmiller, A.M. Andersson, K. Tomasek, E. Balleza, D. Kiviet, R. Hauschild, G. Tkadik, C.C. Guet, (2017).
LibreCat: https://research-explorer.ista.ac.at/record/5560
DOI: 10.15479/AT:ISTA:53

Biased partitioning of the multidrug efflux pump AcrAB TolC underlies long lived phenotypic heterogeneity
T. Bergmiller, A.M. Andersson, K. Tomasek, E. Balleza, D. Kiviet, R. Hauschild, G. Tkadik, C.C. Guet, Science 356 (2017) 311–315.
LibreCat: https://research-explorer.ista.ac.at/record/665
DOI: 10.1126/science.aaf4762

Data for "The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology"
B. Vicoso, (2017).
LibreCat: https://research-explorer.ista.ac.at/record/5571
DOI: 10.15479/AT:ISTA:78

Strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak , (2017).
LibreCat: https://research-explorer.ista.ac.at/record/5559
DOI: 10.15479/AT:ISTA:51

Code for "The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology"
B. Vicoso, (2017).
LibreCat: https://research-explorer.ista.ac.at/record/5572
DOI: 10.15479/AT:ISTA:79 

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

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

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

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

Transient behavior between multi-cell flow states in ferrofluidic Taylor-Couette flow
S. Altmeyer, Y. Do, S. Ryu, Chaos 27 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/463
DOI: 10.1063/1.5002771

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

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

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

The dynamic cytokine niche
F.P. Assen, M.K. Sixt, Immunity 46 (2017) 519–520.
LibreCat: https://research-explorer.ista.ac.at/record/664
DOI: 10.1016/j.immuni.2017.04.006

PirB regulates asymmetries in hippocampal circuitry
H. Ukai, A. Kawahara, K. Hirayama, M.J. Case, S. Aino, M. Miyabe, K. Wakita, R. Oogi, M. Kasayuki, S. Kawashima, S. Sugimoto, K. Chikamatsu, N. Nitta, T. Koga, R. Shigemoto, T. Takai, I. Ito, PLoS One 12 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/682
DOI: 10.1371/journal.pone.0179377

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

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

The RNA-binding protein tristetraprolin schedules apoptosis of pathogen-engaged neutrophils during bacterial infection
F. Ebner, V. Sedlyarov, S. Tasciyan, M. Ivin, F. Kratochvill, N. Gratz, L. Kenner, A. Villunger, M.K. Sixt, P. Kovarik, The Journal of Clinical Investigation 127 (2017) 2051–2065.
LibreCat: https://research-explorer.ista.ac.at/record/679
DOI: 10.1172/JCI80631
PMID: 28504646

Interstitial fluid osmolarity modulates the action of differential tissue surface tension in progenitor cell segregation during gastrulation
G. Krens, J. Veldhuis, V. Barone, D. Capek, J.-L. Maître, W. Brodland, C.-P.J. Heisenberg, Development 144 (2017) 1798–1806.
LibreCat: https://research-explorer.ista.ac.at/record/676
DOI: 10.1242/dev.144964
PMID: 28512197

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

Stress induced mutagenesis: Stress diversity facilitates the persistence of mutator genes
M. Lukacisinova, S. Novak, T. Paixao, PLoS Computational Biology 13 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/696
DOI: 10.1371/journal.pcbi.1005609

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

Non-polynomial worst case analysis of recursive programs
K. Chatterjee, H. Fu, A.K. Goharshady, in:, R. Majumdar, V. Kundak (Eds.), Springer, 2017, pp. 41–63.
LibreCat: https://research-explorer.ista.ac.at/record/639
DOI: 10.1007/978-3-319-63390-9_3
arXiv: 1705.00317

JTDec: A tool for tree decompositions in soot
K. Chatterjee, A.K. Goharshady, A. Pavlogiannis, in:, D. D’Souza (Ed.), Springer, 2017, pp. 59–66.
LibreCat: https://research-explorer.ista.ac.at/record/949
DOI: 10.1007/978-3-319-68167-2_4
WoS: 000723567800004

Friction forces position the neural anlage
M. Smutny, Z. Ákos, S. Grigolon, S. Shamipour, V. Ruprecht, D. Capek, M. Behrndt, E. Papusheva, M. Tada, B. Hof, T. Vicsek, G. Salbreux, C.-P.J. Heisenberg, Nature Cell Biology 19 (2017) 306–317.
LibreCat: https://research-explorer.ista.ac.at/record/661
DOI: 10.1038/ncb3492
PMID: 28346437

An effective feedback loop between cell-cell contact duration and morphogen signaling determines cell fate
V. Barone, M. Lang, G. Krens, S. Pradhan, S. Shamipour, K. Sako, M.K. Sikora, C.C. Guet, C.-P.J. Heisenberg, Developmental Cell 43 (2017) 198–211.
LibreCat: https://research-explorer.ista.ac.at/record/735
DOI: 10.1016/j.devcel.2017.09.014
WoS: 000413443700011

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

An orthogonal permease–inducer–repressor feedback loop shows bistability
R. Gnügge, L. Dharmarajan, M. Lang, J. Stelling, ACS Synthetic Biology 5 (2016) 1098–1107.
LibreCat: https://research-explorer.ista.ac.at/record/1008
DOI: 10.1021/acssynbio.6b00013

Conditionally optimal algorithms for generalized Büchi Games
K. Chatterjee, W. Dvorák, M.H. Henzinger, V. Loitzenbauer, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1068
DOI: 10.4230/LIPIcs.MFCS.2016.25

On the skolem problem for continuous linear dynamical systems
V.K. Chonev, J. Ouaknine, J. Worrell, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1069
DOI: 10.4230/LIPIcs.ICALP.2016.100

Computation tree logic for synchronization properties
K. Chatterjee, L. Doyen, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1070
DOI: 10.4230/LIPIcs.ICALP.2016.98

Cellular mechanisms for cargo delivery and polarity maintenance at different polar domains in plant cells
. angowski, K.T. Wabnik, H. Li, S. Vanneste, S. Naramoto, H. Tanaka, J. Friml, Cell Discovery 2 (2016).
LibreCat: https://research-explorer.ista.ac.at/record/1081
DOI: 10.1038/celldisc.2016.18

Relevant sparse codes with variational information bottleneck
M.J. Chalk, O. Marre, G. Tkadik, in:, Neural Information Processing Systems, 2016, pp. 1965–1973.
LibreCat: https://research-explorer.ista.ac.at/record/1082

KCT auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons
S. Booker, D. Althof, A. Gross, D. Loreth, J. Müller, A. Unger, B. Fakler, A. Varro, M. Watanabe, M. Gassmann, B. Bettler, R. Shigemoto, I. Vida, Á. Kulik, Cerebral Cortex 27 (2016) 2318–2334.
LibreCat: https://research-explorer.ista.ac.at/record/1083
DOI: 10.1093/cercor/bhw090

Nested weighted limit-average automata of bounded width
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1090
DOI: 10.4230/LIPIcs.MFCS.2016.24

Local linearizability for concurrent container-type data structures
A. Haas, T.A. Henzinger, A. Holzer, C. Kirsch, M. Lippautz, H. Payer, A. Sezgin, A. Sokolova, H. Veith, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1095
DOI: 10.4230/LIPIcs.CONCUR.2016.6

Computational multicopter design
T. Du, A. Schulz, B. Zhu, B. Bickel, W. Matusik, in:, ACM, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1097
DOI: 10.1145/2980179.2982427

Lifelong learning with weighted majority votes
A. Pentina, R. Urner, in:, Neural Information Processing Systems, 2016, pp. 3619–3627.
LibreCat: https://research-explorer.ista.ac.at/record/1098

FlexMolds: Automatic design of flexible shells for molding
L. Malomo, N. Pietroni, B. Bickel, P. Cignoni, in:, ACM, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1099
DOI: 10.1145/2980179.2982397

Improving weakly-supervised object localization by micro-annotation
A. Kolesnikov, C. Lampert, in:, Proceedings of the British Machine Vision Conference 2016, BMVA Press, 2016, p. 92.1-92.12.
LibreCat: https://research-explorer.ista.ac.at/record/1102
DOI: 10.5244/C.30.92

Parallel reachability analysis for hybrid systems
A. Gurung, A. Deka, E. Bartocci, S. Bogomolov, R. Grosu, R. Ray, in:, IEEE, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1103
DOI: 10.1109/MEMCOD.2016.7797741

Estimating nonlinear neural response functions using GP priors and Kronecker methods
C. Savin, G. Tkadik, in:, Neural Information Processing Systems, 2016, pp. 3610–3618.
LibreCat: https://research-explorer.ista.ac.at/record/1105

Efficient single sideband microwave to optical conversion using a LiNbO WGM-resonator
A. Rueda, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov, C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, in:, IEEE, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1115
DOI: 10.1364/CLEO_SI.2016.SF2G.3

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

Tutorial: Software tools for hybrid systems verification transformation and synthesis  HyST and TuLiP
P. Duggirala, C. Fan, M. Potok, B. Qi, S. Mitra, M. Viswanathan, S. Bak, S. Bogomolov, T. Johnson, L. Nguyen, C. Schilling, A. Sogokon, H. Tran, W. Xiang, in:, 2016 IEEE Conference on Control Applications, IEEE, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1134
DOI: 10.1109/CCA.2016.7587948

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

RASGR deficiency causes immunodeficiency with impaired cytoskeletal dynamics
E. Salzer, D. Ça7daf, M. Hons, E. Mace, W. Garncarz, O. Petronczki, R. Platzer, L. Pfajfer, I. Bilic, S. Ban, K. Willmann, M. Mukherjee, V. Supper, H. Hsu, P. Banerjee, P. Sinha, F. Mcclanahan, G. Zlabinger, W. Pickl, J. Gribben, H. Stockinger, K. Bennett, J. Huppa, L. Dupré, Ö. Sanal, U. Jäger, M.K. Sixt, I. Tezcan, J. Orange, K. Boztug, Nature Immunology 17 (2016) 1352–1360.
LibreCat: https://research-explorer.ista.ac.at/record/1137
DOI: 10.1038/ni.3575
PMID: 27776107

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

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

Heme drives hemolysis-induced susceptibility to infection via disruption of phagocyte functions
R. Martins, J. Maier, A. Gorki, K. Huber, O. Sharif, P. Starkl, S. Saluzzo, F. Quattrone, R. Gawish, K. Lakovits, M. Aichinger, B. Radic Sarikas, C. Lardeau, A. Hladik, A. Korosec, M. Brown, K. Vaahtomeri, M. Duggan, D. Kerjaschki, H. Esterbauer, J. Colinge, S. Eisenbarth, T. Decker, K. Bennett, S. Kubicek, M.K. Sixt, G. Superti Furga, S. Knapp, Nature Immunology 17 (2016) 1361–1372.
LibreCat: https://research-explorer.ista.ac.at/record/1142
DOI: 10.1038/ni.3590

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