Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

3164 Publications


2017 | Journal Article | IST-REx-ID: 707 | OA
A tight estimate for the waist of the ball
A. Akopyan, R. Karasev, Bulletin of the London Mathematical Society 49 (2017) 690–693.
View | DOI | Download Preprint (ext.)
 

2017 | Journal Article | IST-REx-ID: 708 | OA
Different patterns of neuronal activity trigger distinct responses of oligodendrocyte precursor cells in the corpus callosum
B. Nagy, A. Hovhannisyan, R. Barzan, T. Chen, M. Kukley, PLoS Biology 15 (2017).
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 710 | OA
Renyi entropy estimation revisited
M. Obremski, M. Skórski, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 711 | OA
Bidirectional nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 712 | OA
Weak–strong uniqueness of solutions to entropy dissipating reaction–diffusion equations
J.L. Fischer, Nonlinear Analysis: Theory, Methods and Applications 159 (2017) 181–207.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 713 | OA
Mapping the mouse Allelome reveals tissue specific regulation of allelic expression
D. Andergassen, C. Dotter, D. Wenzel, V. Sigl, P. Bammer, M. Muckenhuber, D. Mayer, T. Kulinski, H. Theussl, J. Penninger, C. Bock, D. Barlow, F. Pauler, Q. Hudson, ELife 6 (2017).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 714 | OA
HIV Tat excites D1 receptor-like expressing neurons from rat nucleus accumbens
G. Brailoiu, E. Deliu, J. Barr, L. Console Bram, A. Ciuciu, M. Abood, E. Unterwald, E. Brǎiloiu, Drug and Alcohol Dependence 178 (2017) 7–14.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 1294 | OA
Trading performance for stability in Markov decision processes
T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, Journal of Computer and System Sciences 84 (2017) 144–170.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1336 | OA
Towards a runtime comparison of natural and artificial evolution
T. Paixao, J. Pérez Heredia, D. Sudholt, B. Trubenova, Algorithmica 78 (2017) 681–713.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1337 | OA
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.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1338 | OA
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.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1351 | OA
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.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1367 | OA
Adaptive physically based models in computer graphics
P. Manteaux, C.J. Wojtan, R. Narain, S. Redon, F. Faure, M. Cani, Computer Graphics Forum 36 (2017) 312–337.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1407 | OA
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, C. Belta, Nonlinear Analysis: Hybrid Systems 23 (2017) 230–253.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 1528 | OA
Delocalization for a class of random block band matrices
Z. Bao, L. Erdös, Probability Theory and Related Fields 167 (2017) 673–776.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1000 | OA
PixelCNN models with auxiliary variables for natural image modeling
A. Kolesnikov, C. Lampert, in:, Omnipress, 2017, pp. 1905–1914.
View | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 1001 | OA
CurveUps: Shaping objects from flat plates with tension-actuated curvature
R. Guseinov, E. Miguel, B. Bickel, in:, ACM, 2017.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1002 | OA
Functionality-aware retargeting of mechanisms to 3D shapes
R. Zhang, T. Auzinger, D. Ceylan, W. Li, B. Bickel, in:, ACM, 2017.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1003 | OA
An abstraction-refinement methodology for reasoning about network games
G. Avni, S. Guha, O. Kupferman, in:, AAAI Press, 2017, pp. 70–76.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1004 | OA
Spatiotemporal mechanisms of root branching
K. Ötvös, E. Benková, Current Opinion in Genetics & Development 45 (2017) 82–89.
View | Files available | DOI | PubMed | Europe PMC
 

Filters and Search Terms

oa=1

Search

Filter Publications