Phat - Persistent homology algorithms toolbox
U. Bauer, M. Kerber, J. Reininghaus, H. Wagner, Journal of Symbolic Computation 78 (2017) 76–90.
LibreCat: https://research-explorer.ista.ac.at/record/1433
DOI: 10.1016/j.jsc.2016.03.008
WoS: 000384396000005

Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
M. Svoreová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cbrná, C. Belta, Nonlinear Analysis: Hybrid Systems 23 (2017) 230–253.
LibreCat: https://research-explorer.ista.ac.at/record/1407
DOI: 10.1016/j.nahs.2016.04.006
WoS: 000390637000014
arXiv: 1410.5387

Adaptive physically based models in computer graphics
P. Manteaux, C. Wojtan, R. Narain, S. Redon, F. Faure, M. Cani, Computer Graphics Forum 36 (2017) 312–337.
LibreCat: https://research-explorer.ista.ac.at/record/1367
DOI: 10.1111/cgf.12941
WoS: 000408634200019

From non-preemptive to preemptive scheduling using synchronization synthesis
P. Cerny, E. Clarke, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach, Formal Methods in System Design 50 (2017) 97–139.
LibreCat: https://research-explorer.ista.ac.at/record/1338
DOI: 10.1007/s10703-016-0256-5
WoS: 000399888900001

Model checking the evolution of gene regulatory networks
M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, Acta Informatica 54 (2017) 765–787.
LibreCat: https://research-explorer.ista.ac.at/record/1351
DOI: 10.1007/s00236-016-0278-x
WoS: 000414343200003

Towards a runtime comparison of natural and artificial evolution
T. Paixao, J. Pérez Heredia, D. Sudholt, B. Trubenova, Algorithmica 78 (2017) 681–713.
LibreCat: https://research-explorer.ista.ac.at/record/1336
DOI: 10.1007/s00453-016-0212-1
WoS: 000400379500013

Universality for general Wigner-type matrices
O.H. Ajanki, L. Erdös, T.H. Krüger, Probability Theory and Related Fields 169 (2017) 667–727.
LibreCat: https://research-explorer.ista.ac.at/record/1337
DOI: 10.1007/s00440-016-0740-2
WoS: 000414358400002

Trading performance for stability in Markov decision processes
T. Brázdil, K. Chatterjee, V. Forejt, A. Kudera, Journal of Computer and System Sciences 84 (2017) 144–170.
LibreCat: https://research-explorer.ista.ac.at/record/1294
DOI: 10.1016/j.jcss.2016.09.009
WoS: 000388430000011

Are reprogrammed cells a useful tool for studying dopamine dysfunction in psychotic disorders? A review of the current evidence
U. Sauerzopf, R. Sacco, G. Novarino, M. Niello, A. Weidenauer, N. Praschak Rieder, H. Sitte, M. Willeit, European Journal of Neuroscience 45 (2017) 45–57.
LibreCat: https://research-explorer.ista.ac.at/record/1228
DOI: 10.1111/ejn.13418
WoS: 000392487100005
PMID: 27690184

Single-molecule measurements to study polymerization dynamics of FtsZ-FtsA copolymers
N.S. Baranova, M. Loose, in:, A. Echard (Ed.), Cytokinesis, Academic Press, 2017, pp. 355–370.
LibreCat: https://research-explorer.ista.ac.at/record/1213
DOI: 10.1016/bs.mcb.2016.03.036
WoS: 000403542900022

Triviality of a model of particles with point interactions in the thermodynamic limit
T. Moser, R. Seiringer, Letters in Mathematical Physics 107 (2017) 533–552.
LibreCat: https://research-explorer.ista.ac.at/record/1198
DOI: 10.1007/s11005-016-0915-x
WoS: 000394280200007

Local law of addition of random matrices on optimal scale
Z. Bao, L. Erdös, K. Schnelli, Communications in Mathematical Physics 349 (2017) 947–990.
LibreCat: https://research-explorer.ista.ac.at/record/1207
DOI: 10.1007/s00220-016-2805-6
WoS: 000393696700005

Model measuring for discrete and hybrid systems
T.A. Henzinger, J. Otop, Nonlinear Analysis: Hybrid Systems 23 (2017) 166–190.
LibreCat: https://research-explorer.ista.ac.at/record/1196
DOI: 10.1016/j.nahs.2016.09.001
WoS: 000390637000011

How does epistasis influence the response to selection?
N.H. Barton, Heredity 118 (2017) 96–109.
LibreCat: https://research-explorer.ista.ac.at/record/1199
DOI: 10.1038/hdy.2016.109
WoS: 000392229100011

Maximum likelihood estimation for linear Gaussian covariance models
P. Zwiernik, C. Uhler, D. Richards, Journal of the Royal Statistical Society. Series B: Statistical Methodology 79 (2017) 1269–1292.
LibreCat: https://research-explorer.ista.ac.at/record/1208
DOI: 10.1111/rssb.12217
WoS: 000411712300012

Lower bounds on key derivation for square-friendly applications
M. Skórski, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1174
DOI: 10.4230/LIPIcs.STACS.2017.57
WoS: 000521077300057

Towards practical attacks on Argon2i and balloon hashing
J.F. Alwen, J. Blocki, in:, IEEE, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1176
DOI: 10.1109/EuroSP.2017.47
WoS: 000424197300011

Efficient authentication from hard learning problems
E. Kiltz, K.Z. Pietrzak, D. Venturi, D. Cash, A. Jain, Journal of Cryptology 30 (2017) 1238–1275.
LibreCat: https://research-explorer.ista.ac.at/record/1187
DOI: 10.1007/s00145-016-9247-3
WoS: 000410788600007

Even delta-matroids and the complexity of planar Boolean CSPs
A. Kazda, V. Kolmogorov, M. Rolinek, in:, SIAM, 2017, pp. 307–326.
LibreCat: https://research-explorer.ista.ac.at/record/1192
DOI: 10.1137/1.9781611974782.20
WoS: 000426965800020

Algebraic vertices of non-convex polyhedra
A. Akopyan, I. Bárány, S. Robins, Advances in Mathematics 308 (2017) 627–644.
LibreCat: https://research-explorer.ista.ac.at/record/1180
DOI: 10.1016/j.aim.2016.12.026
WoS: 000409292900015

Cis-cinnamic acid is a novel natural auxin efflux inhibitor that promotes lateral root formation
W. Steenackers, P. Klíma, M. Quareshy, I. Cesarino, R. Kumpf, S. Corneillie, P. Araújo, T. Viaene, G. Goeminne, M. Nowack, K. Ljung, J. Friml, J. Blakeslee, O. Novák, E. Zaeímalová, R. Napier, W. Boerjan, B. Vanholme, Plant Physiology 173 (2017) 552–565.
LibreCat: https://research-explorer.ista.ac.at/record/1159
DOI: 10.1104/pp.16.00943
WoS: 000394135800041
PMID: 27837086

Spatial gene frequency waves under genotype dependent dispersal
S. Novak, R. Kollár, Genetics 205 (2017) 367–374.
LibreCat: https://research-explorer.ista.ac.at/record/1169
DOI: 10.1534/genetics.116.193946
WoS: 000393677300025

Dynamics of ferrofluidic flow in the Taylor-Couette system with a small aspect ratio
S. Altmeyer, Y. Do, Y. Lai, Scientific Reports 7 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/1160
DOI: 10.1038/srep40012
WoS: 000391269700001

Universal properties of high temperature superconductors from real space pairing t-J-U model and its quantitative comparison with experiment
J. Spaek, M. Zegrodnik, J. Kaczmarczyk, Physical Review B - Condensed Matter and Materials Physics 95 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/1162
DOI: 10.1103/PhysRevB.95.024506
WoS: 000391852800006

A multi objective memetic inverse solver reinforced by local optimization methods
E.P. Gajda-Zagorska, R. Schaefer, M. Smoka, D. Pardo, J. Alvarez Aramberri, Journal of Computational Science 18 (2017) 85–94.
LibreCat: https://research-explorer.ista.ac.at/record/1152
DOI: 10.1016/j.jocs.2016.06.007
WoS: 000393528700009

D inf s optimality in copula models
E. Perrone, A. Rappold, W. Müller, Statistical Methods and Applications 26 (2017) 403–418.
LibreCat: https://research-explorer.ista.ac.at/record/1168
DOI: 10.1007/s10260-016-0375-6
WoS: 000407973200004

Unconventional superconductivity in generalized Hubbard model role of electron–hole symmetry breaking terms
M. Wysokiski, J. Kaczmarczyk, Journal of Physics: Condensed Matter 29 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/1163
DOI: 10.1088/1361-648X/aa532f
WoS: 000393955500001

The Voronoi functional is maximized by the Delaunay triangulation in the plane
H. Edelsbrunner, A. Glazyrin, O. Musin, A. Nikitenko, Combinatorica 37 (2017) 887–910.
LibreCat: https://research-explorer.ista.ac.at/record/1173
DOI: 10.1007/s00493-016-3308-y
WoS: 000418056000005

Cell migration: Making the waves
J. Müller, M.K. Sixt, Current Biology 27 (2017) –.
LibreCat: https://research-explorer.ista.ac.at/record/1161
DOI: 10.1016/j.cub.2016.11.035
WoS: 000391902500010

Computing scores of forwarding schemes in switched networks with probabilistic faults
G. Avni, S. Goel, T.A. Henzinger, G. Rodríguez Navas, in:, Springer, 2017, pp. 169–187.
LibreCat: https://research-explorer.ista.ac.at/record/1116
DOI: 10.1007/978-3-662-54580-5_10
WoS: 000440733400010

Phase-locked inhibition, but not excitation, underlies hippocampal ripple oscillations in awake mice in vivo
J. Gan, S.-M. Weng, A. Pernia-Andrade, J.L. Csicsvari, P.M. Jonas, Neuron 93 (2017) 308–314.
LibreCat: https://research-explorer.ista.ac.at/record/1118
DOI: 10.1016/j.neuron.2016.12.018
WoS: 000396428200010

Synaptotagmin 2 is the fast C+ sensor at a central inhibitory synapse
C. Chen,  itaru Arai, R. Satterield, S. Young, P.M. Jonas, Cell Reports 18 (2017) 723–736.
LibreCat: https://research-explorer.ista.ac.at/record/1117
DOI: 10.1016/j.celrep.2016.12.067
WoS: 000396470600013

Superficial layers of the medial entorhinal cortex replay independently of the hippocampus
J. O’Neill, C.N. Boccara, F. Stella, P. Schönenberger, J.L. Csicsvari, Science 355 (2017) 184–188.
LibreCat: https://research-explorer.ista.ac.at/record/1132
DOI: 10.1126/science.aag2787
WoS: 000391743700044

Angular self-localization of impurities rotating in a bosonic bath
X. Li, R. Seiringer, M. Lemeshko, Physical Review A 95 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/1120
DOI: 10.1103/PhysRevA.95.033608
WoS: 000395981900009

Anomalous screening of quantum impurities by a neutral environment
E. Yakaboylu, M. Lemeshko, Physical Review Letters 118 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/1133
DOI: 10.1103/PhysRevLett.118.085302
WoS: 000394667600003

Quasiparticle approach to molecules interacting with quantum solvents
M. Lemeshko, Physical Review Letters 118 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/1119
DOI: 10.1103/PhysRevLett.118.095301
WoS: 000404769200006

Flavonol-induced changes in PIN2 polarity and auxin transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase activity
B. Kuhn, T. Nodzyski, S. Errafi, R. Bucher, S. Gupta, B. Aryal, P. Dobrev, L. Bigler, M. Geisler, E. Zaeímalová, J. Friml, C. Ringli, Scientific Reports 7 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/1110
DOI: 10.1038/srep41906
WoS: 000393367600001

Multiplexed computations in retinal ganglion cells of a single type
S. Deny, U. Ferrari, E. Mace, P. Yger, R. Caplette, S. Picaud, G. Tkadik, O. Marre, Nature Communications 8 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/1104
DOI: 10.1038/s41467-017-02159-y
WoS: 000417241200004

Observation of the photon blockade breakdown phase transition
J.M. Fink, A. Dombi, A. Vukics, A. Wallraff, P. Domokos, Physical Review X 7 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/1114
DOI: 10.1103/PhysRevX.7.011012
WoS: 000397450500001

Selection limits to adaptive walks on correlated landscapes
J. Heredia, B. Trubenova, D. Sudholt, T. Paixao, Genetics 205 (2017) 803–825.
LibreCat: https://research-explorer.ista.ac.at/record/1111
DOI: 10.1534/genetics.116.189340
WoS: 000394144900025
PMID: 27881471

Laser-induced rotation of iodine molecules in helium nanodroplets: Revivals and breaking-free
B. Shepperson, A. Søndergaard, L. Christiansen, J. Kaczmarczyk, R. Zillich, M. Lemeshko, H. Stapelfeldt, Physical Review Letters 118 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/1109
DOI: 10.1103/PhysRevLett.118.203203
WoS: 000401664000005

Speed and structure of turbulent fronts in pipe flow
B. Song, D. Barkley, B. Hof, M. Avila, Journal of Fluid Mechanics 813 (2017) 1045–1059.
LibreCat: https://research-explorer.ista.ac.at/record/1087
DOI: 10.1017/jfm.2017.14
WoS: 000394376400044

Total positivity in Markov structures
S. Fallat, S. Lauritzen, K. Sadeghi, C. Uhler, N. Wermuth, P. Zwiernik, Annals of Statistics 45 (2017) 1152–1184.
LibreCat: https://research-explorer.ista.ac.at/record/1089
DOI: 10.1214/16-AOS1478
WoS: 000404395900008

Reconstructing metastatic seeding patterns of human cancers
J. Reiter, A. Makohon Moore, J. Gerold, I. Boei, K. Chatterjee, C. Iacobuzio Donahue, B. Vogelstein, M. Nowak, Nature Communications 8 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/1080
DOI: 10.1038/ncomms14114
WoS: 000393096600001

Convergent recombination suppression suggests role of sexual selection in guppy sex chromosome formation
A. Wright, I. Darolti, N. Bloch, V. Oostra, B. Sandkam, S. Buechel, N. Kolm, F. Breden, B. Vicoso, J. Mank, Nature Communications 8 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/1085
DOI: 10.1038/ncomms14251
WoS: 000392953700001

Insulation and wiring specificity of BceR like response regulators and their target promoters in Bacillus subtilis
C. Fang, A.A. Nagy-Staron, M. Grafe, R. Heermann, K. Jung, S. Gebhard, T. Mascher, Molecular Microbiology 104 (2017) 16–31.
LibreCat: https://research-explorer.ista.ac.at/record/1084
DOI: 10.1111/mmi.13597
WoS: 000398059200002

Nonexistence in Thomas Fermi-Dirac-von Weizsäcker theory with small nuclear charges
P. Nam, H. Van Den Bosch, Mathematical Physics, Analysis and Geometry 20 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/1079
DOI: 10.1007/s11040-017-9238-0
WoS: 000401270000004

Evolutionary interplay between structure, energy and epistasis in the coat protein of the =54 phage family
R.A. Fernandes Redondo, H. de Vladar, T. Wodarski, J.P. Bollback, Journal of the Royal Society Interface 14 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/1077
DOI: 10.1098/rsif.2016.0139
WoS: 000393380400001

The physical basis of coordinated tissue spreading in zebrafish gastrulation
H. Morita, S. Grigolon, M. Bock, G. Krens, G. Salbreux, C.-P.J. Heisenberg, Developmental Cell 40 (2017) 354–366.
LibreCat: https://research-explorer.ista.ac.at/record/1067
DOI: 10.1016/j.devcel.2017.01.010
WoS: 000395368300007

Inferring recent demography from isolation by distance of long shared sequence blocks
H. Ringbauer, G. Coop, N.H. Barton, Genetics 205 (2017) 1335–1351.
LibreCat: https://research-explorer.ista.ac.at/record/1074
DOI: 10.1534/genetics.116.196220
WoS: 000395807200023

Strong-field ionization via a high-order Coulomb-corrected strong-field approximation
M. Klaiber, J. Danbk, E. Yakaboylu, K. Hatsagortsyan, C. Keitel,  Physical Review A - Atomic, Molecular, and Optical Physics 95 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/1076
DOI: 10.1103/PhysRevA.95.023403
WoS: 000400571700011

The Morse theory of cech and delaunay complexes
U. Bauer, H. Edelsbrunner, Transactions of the American Mathematical Society 369 (2017) 3741–3762.
LibreCat: https://research-explorer.ista.ac.at/record/1072
DOI: 10.1090/tran/6991
WoS: 000398030400024
arXiv: 1312.1231

Algorithmic solvability of the lifting extension problem
M. cadek, M. Krcál, L. Vokínek, Discrete &; Computational Geometry 54 (2017) 915–965.
LibreCat: https://research-explorer.ista.ac.at/record/1073
DOI: 10.1007/s00454-016-9855-6
WoS: 000400072700008

Pushdown reachability with constant treewidth
K. Chatterjee, G.F. Osang, Information Processing Letters 122 (2017) 25–29.
LibreCat: https://research-explorer.ista.ac.at/record/1065
DOI: 10.1016/j.ipl.2017.02.003
WoS: 000399506600005

Evolutionary rescue in randomly mating, selfing, and clonal populations
H. Uecker, Evolution 71 (2017) 845–858.
LibreCat: https://research-explorer.ista.ac.at/record/1063
DOI: 10.1111/evo.13191
WoS: 000398545200003

Quantitative fair simulation games
K. Chatterjee, T.A. Henzinger, J. Otop, Y. Velner, Information and Computation 254 (2017) 143–166.
LibreCat: https://research-explorer.ista.ac.at/record/1066
DOI: 10.1016/j.ic.2016.10.006
WoS: 000402025600002

Local law for the product of independent non-Hermitian random matrices with independent entries
Y. Nemish, Electronic Journal of Probability 22 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/1023
DOI: 10.1214/17-EJP38
WoS: 000396611900022

The topology of the cosmic web in terms of persistent Betti numbers
P. Pranav, H. Edelsbrunner, R. Van De Weygaert, G. Vegter, M. Kerber, B. Jones, M. Wintraecken, Monthly Notices of the Royal Astronomical Society 465 (2017) 4281–4310.
LibreCat: https://research-explorer.ista.ac.at/record/1022
DOI: 10.1093/mnras/stw2862
WoS: 000395170200039

Optogenetic methods in drug screening: Technologies and applications
V. Agus, H.L. Janovjak, Current Opinion in Biotechnology 48 (2017) 8–14.
LibreCat: https://research-explorer.ista.ac.at/record/1026
DOI: 10.1016/j.copbio.2017.02.006
WoS: 000418313200003

Disordered cellulose based nanostructures for enhanced light scattering
S. Caixeiro, M. Peruzzo, O. Onelli, S. Vignolini, R. Sapienza, ACS Applied Materials and Interfaces 9 (2017) 7885–7890.
LibreCat: https://research-explorer.ista.ac.at/record/1020
DOI: 10.1021/acsami.6b15986
WoS: 000396186000002

Boundary layer turbulence in experiments on quasi Keplerian flows
J.M. Lopez Alonso, M. Avila, Journal of Fluid Mechanics 817 (2017) 21–34.
LibreCat: https://research-explorer.ista.ac.at/record/1021
DOI: 10.1017/jfm.2017.109
WoS: 000398179100006

Cell biology: Stretched divisions
C.-P.J. Heisenberg, Nature 543 (2017) 43–44.
LibreCat: https://research-explorer.ista.ac.at/record/1025
DOI: 10.1038/nature21502
WoS: 000395671500025

Tubulins and brain development: The origins of functional specification
M. Breuss, I. Leca, T. Gstrein, A.H. Hansen, D. Keays, Molecular and Cellular Neuroscience 84 (2017) 58–67.
LibreCat: https://research-explorer.ista.ac.at/record/1017
DOI: 10.1016/j.mcn.2017.03.002
WoS: 000415140700007

Vortices and antivortices in two-dimensional ultracold Fermi gases
G. Bighin, L. Salasnich, Scientific Reports 7 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/1015
DOI: 10.1038/srep45702
WoS: 000398148100001

Uner Tan syndrome caused by a homozygous TUBB mutation affecting microtubule stability
M. Breuss, T. Nguyen, A. Srivatsan, I. Leca, G. Tian, T. Fritz, A.H. Hansen, D. Musaev, J. Mcevoy Venneri, J. Kiely, R. Rosti, E. Scott, U. Tan, R. Kolodner, N. Cowan, D. Keays, J. Gleeson, Human Molecular Genetics 26 (2017) 258–269.
LibreCat: https://research-explorer.ista.ac.at/record/1016
DOI: 10.1093/hmg/ddw383
WoS: 000397066400002

Light regulated expression of sensor histidine kinase CK controls cytokinin related development
T. Dobisova, V. Hrdinova, C. Cuesta, S. Michlickova, I. Urbankova, R. Hejatkova, P. Zadnikova, M. Pernisová, E. Benková, J. Hejátko, Plant Physiology 174 (2017) 387–404.
LibreCat: https://research-explorer.ista.ac.at/record/1018
DOI: 10.1104/pp.16.01964
WoS: 000402057200028

X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster
E. Argyridou, A.K. Huylmans, A. Königer, J. Parsch, Heredity 119 (2017) 27–34.
LibreCat: https://research-explorer.ista.ac.at/record/1019
DOI: 10.1038/hdy.2017.12
WoS: 000405397800004

Data from: X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster
E. Argyridou, A.K. Huylmans, A. Königer, J. Parsch, (2017).
LibreCat: https://research-explorer.ista.ac.at/record/9861
DOI: 10.5061/dryad.02f6r

Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae
J. Greenwood, B. Milutinovic, R. Peuß, S. Behrens, D. Essar, P. Rosenstiel, H. Schulenburg, J. Kurtz, BMC Genomics 18 (2017) 329.
LibreCat: https://research-explorer.ista.ac.at/record/1006
DOI: 10.1186/s12864-017-3705-7
WoS: 000400625200004

Faster algorithms for weighted recursive state machines
K. Chatterjee, B. Kragl, S. Mishra, A. Pavlogiannis, in:, H. Yang (Ed.), Springer, 2017, pp. 287–313.
LibreCat: https://research-explorer.ista.ac.at/record/1011
DOI: 10.1007/978-3-662-54434-1_11
WoS: 000681702400011

Spatiotemporal mechanisms of root branching
K. Ötvös, E. Benková, Current Opinion in Genetics &; Development 45 (2017) 82–89.
LibreCat: https://research-explorer.ista.ac.at/record/1004
DOI: 10.1016/j.gde.2017.03.010
WoS: 000404880400013
PMID: 28391060

Local law for random Gram matrices
J. Alt, L. Erdös, T.H. Krüger, Electronic Journal of Probability 22 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/1010
DOI: 10.1214/17-EJP42
WoS: 000396611900025
arXiv: 1606.07353

Optimizing expectation with guarantees in POMDPs
K. Chatterjee, P. Novotný, G. Pérez, J. Raskin, D. Zikelic, in:, Proceedings of the 31st AAAI Conference on Artificial Intelligence, AAAI Press, 2017, pp. 3725–3732.
LibreCat: https://research-explorer.ista.ac.at/record/1009
WoS: 000485630703107

Additional file 1: Table . of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae
J. Greenwood, B. Milutinovic, R. Peuß, S. Behrens, D. Essar, P. Rosenstiel, H. Schulenburg, J. Kurtz, (2017).
LibreCat: https://research-explorer.ista.ac.at/record/9859
DOI: 10.6084/m9.figshare.c.3756974_d1.v1

Additional file 5: Table . of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae
J. Greenwood, B. Milutinovic, R. Peuß, S. Behrens, D. Essar, P. Rosenstiel, H. Schulenburg, J. Kurtz, (2017).
LibreCat: https://research-explorer.ista.ac.at/record/9860
DOI: 10.6084/m9.figshare.c.3756974_d5.v1

Functionality-aware retargeting of mechanisms to 3D shapes
R. Zhang, T. Auzinger, D. Ceylan, W. Li, B. Bickel, in:, ACM, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1002
DOI: 10.1145/3072959.3073710
WoS: 000406432100049

CurveUps: Shaping objects from flat plates with tension-actuated curvature
R. Guseinov, E. Miguel, B. Bickel, in:, ACM, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1001
DOI: 10.1145/3072959.3073709
WoS: 000406432100032

An abstraction-refinement methodology for reasoning about network games
G. Avni, S. Guha, O. Kupferman, in:, AAAI Press, 2017, pp. 70–76.
LibreCat: https://research-explorer.ista.ac.at/record/1003
DOI: 10.24963/ijcai.2017/11
WoS: 000764137500011

PixelCNN models with auxiliary variables for natural image modeling
A. Kolesnikov, C. Lampert, in:, 34th International Conference on Machine Learning, JMLR, 2017, pp. 1905–1914.
LibreCat: https://research-explorer.ista.ac.at/record/1000
WoS: 000683309501102
arXiv: 1612.08185

iCaRL: Incremental classifier and representation learning
S.A. Rebuffi, A. Kolesnikov, G. Sperl, C. Lampert, in:, IEEE, 2017, pp. 5533–5542.
LibreCat: https://research-explorer.ista.ac.at/record/998
DOI: 10.1109/CVPR.2017.587
WoS: 000418371405066

Divergence and evolution of assortative mating in a polygenic trait model of speciation with gene flow
H. Sachdeva, N.H. Barton, Evolution; International Journal of Organic Evolution 71 (2017) 1478–1493.
LibreCat: https://research-explorer.ista.ac.at/record/990
DOI: 10.1111/evo.13252
WoS: 000403014800005
PMID: 28419447

Current-phase relation of ballistic graphene Josephson junctions
G. Nanda, J.L. Aguilera Servin, P. Rakyta, A. Kormányos, R. Kleiner, D. Koelle, K. Watanabe, T. Taniguchi, L. Vandersypen, S. Goswami, Nano Letters 17 (2017) 3396–3401.
LibreCat: https://research-explorer.ista.ac.at/record/988
DOI: 10.1021/acs.nanolett.7b00097
WoS: 000403631600011

Subsampling scaling
A. Levina (Martius), V. Priesemann, Nature Communications 8 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/993
DOI: 10.1038/ncomms15140
WoS: 000400560700001

Diagrammatic approach to orbital quantum impurities interacting with a many-particle environment
G. Bighin, M. Lemeshko, Physical Review B - Condensed Matter and Materials Physics 96 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/995
DOI: 10.1103/PhysRevB.96.085410
WoS: 000407017100009

Transport based image morphing with intensity modulation
J. Maas, M. Rumpf, S. Simon, in:, F. Lauze, Y. Dong, A. Bjorholm Dahl (Eds.), Springer, 2017, pp. 563–577.
LibreCat: https://research-explorer.ista.ac.at/record/989
DOI: 10.1007/978-3-319-58771-4_45
WoS: 000432210900045

Fingerprints of angulon instabilities in the spectra of matrix-isolated molecules
I. Cherepanov, M. Lemeshko, Physical Review Materials 1 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/994
DOI: 10.1103/PhysRevMaterials.1.035602
WoS: 000416564000004

Synaptotagmins: That’s why so many
C. Chen, P.M. Jonas, Neuron 94 (2017) 694–696.
LibreCat: https://research-explorer.ista.ac.at/record/991
DOI: 10.1016/j.neuron.2017.05.011
WoS: 000401415100002

On the mechanistic nature of epistasis in a canonical cis-regulatory element
M. Lagator, T. Paixao, N.H. Barton, J.P. Bollback, C.C. Guet, ELife 6 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/954
DOI: 10.7554/eLife.25192
WoS: 000404024800001

Evolution of new regulatory functions on biophysically realistic fitness landscapes
T. Friedlander, R. Prizak, N.H. Barton, G. Tkadik, Nature Communications 8 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/955
DOI: 10.1038/s41467-017-00238-8
WoS: 000407198800005

Model counting for recursively-defined strings
M. Trinh, D.H. Chu, J. Jaffar, in:, R. Majumdar, V. Kundak (Eds.), Springer, 2017, pp. 399–418.
LibreCat: https://research-explorer.ista.ac.at/record/962
DOI: 10.1007/978-3-319-63390-9_21
WoS: 000431900900021

The sources of adaptive evolution
D. Charlesworth, N.H. Barton, B. Charlesworth, Proceedings of the Royal Society of London Series B Biological Sciences 284 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/953
DOI: 10.1098/rspb.2016.2864
WoS: 000405148800021
PMID: 28566483

Scales and multimodal flux distributions in stationary metabolic network models via thermodynamics
D. De Martino,  Physical Review E Statistical Nonlinear and Soft Matter Physics  95 (2017) 062419.
LibreCat: https://research-explorer.ista.ac.at/record/959
DOI: 10.1103/PhysRevE.95.062419
WoS: 000404546400004

Gradient flow and entropy inequalities for quantum Markov semigroups with detailed balance
E. Carlen, J. Maas, Journal of Functional Analysis 273 (2017) 1810–1869.
LibreCat: https://research-explorer.ista.ac.at/record/956
DOI: 10.1016/j.jfa.2017.05.003
WoS: 000406082300005

Deploying dengue-suppressing Wolbachia: Robust models predict slow but effective spatial spread in Aedes aegypti
M. Turelli, N.H. Barton, Theoretical Population Biology 115 (2017) 45–60.
LibreCat: https://research-explorer.ista.ac.at/record/952
DOI: 10.1016/j.tpb.2017.03.003
PMID: 28411063

Local introduction and heterogeneous spatial spread of dengue-suppressing Wolbachia through an urban population of Aedes Aegypti
T. Schmidt, N.H. Barton, G. Rasic, A. Turley, B. Montgomery, I. Iturbe Ormaetxe, P. Cook, P. Ryan, S. Ritchie, A. Hoffmann, S. O’Neill, M. Turelli, PLoS Biology 15 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/951
DOI: 10.1371/journal.pbio.2001894
WoS: 000402520000012

Quantifying the entropic cost of cellular growth control
D. De Martino, F. Capuani, A. De Martino,  Physical Review E Statistical Nonlinear and Soft Matter Physics  96 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/947
DOI: 10.1103/PhysRevE.96.010401
WoS: 000405194200002

Excel file with data on mosquito densities, Wolbachia infection status and housing characteristics
T. Schmidt, N.H. Barton, G. Rasic, A. Turley, B. Montgomery, I. Iturbe Ormaetxe, P. Cook, P. Ryan, S. Ritchie, A. Hoffmann, S. O’Neill, M. Turelli, (2017).
LibreCat: https://research-explorer.ista.ac.at/record/9858
DOI: 10.1371/journal.pbio.2001894.s016

Supporting information concerning observed wMel frequencies and analyses of habitat variables
T. Schmidt, N.H. Barton, G. Rasic, A. Turley, B. Montgomery, I. Iturbe Ormaetxe, P. Cook, P. Ryan, S. Ritchie, A. Hoffmann, S. O’Neill, M. Turelli, (2017).
LibreCat: https://research-explorer.ista.ac.at/record/9857
DOI: 10.1371/journal.pbio.2001894.s015

Supporting Information concerning additional likelihood analyses and results
T. Schmidt, N.H. Barton, G. Rasic, A. Turley, B. Montgomery, I. Iturbe Ormaetxe, P. Cook, P. Ryan, S. Ritchie, A. Hoffmann, S. O’Neill, M. Turelli, (2017).
LibreCat: https://research-explorer.ista.ac.at/record/9856
DOI: 10.1371/journal.pbio.2001894.s014

Global dosage compensation is ubiquitous in Lepidoptera, but counteracted by the masculinization of the Z chromosome
A.K. Huylmans, A. Macon, B. Vicoso, Molecular Biology and Evolution 34 (2017) 2637–2649.
LibreCat: https://research-explorer.ista.ac.at/record/945
DOI: 10.1093/molbev/msx190
WoS: 000411814800016