Please note that ISTA 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.

7346 Publications


2016 | Journal Article | IST-REx-ID: 1705 | OA
Guided search for hybrid systems based on coarse-grained space abstractions
S. Bogomolov, A. Donzé, G. Frehse, R. Grosu, T. Johnson, H. Ladan, A. Podelski, M. Wehrle, International Journal on Software Tools for Technology Transfer 18 (2016) 449–467.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1707 View | DOI
 

2016 | Journal Article | IST-REx-ID: 173 | OA
Square-free values of reducible polynomials
T.D. Browning, A. Booker, Discrete Analysis 8 (2016) 1–18.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1794 | OA
Inference algorithms for pattern-based CRFs on sequence data
V. Kolmogorov, R. Takhanov, Algorithmica 76 (2016) 17–46.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1833 | OA
On the closure of relational models
A. Klimova, T. Rudas, Journal of Multivariate Analysis 143 (2016) 440–452.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1881 | OA
Extremal eigenvalues and eigenvectors of deformed Wigner matrices
J. Lee, K. Schnelli, Probability Theory and Related Fields 164 (2016) 165–241.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 6732 | OA
Unified scaling of polar codes: Error exponent, scaling exponent, moderate deviations, and error floors
M. Mondelli, S.H. Hassani, R.L. Urbanke, IEEE Transactions on Information Theory 62 (2016) 6698–6712.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 6733 | OA
Comparing the bit-MAP and block-MAP decoding thresholds of Reed-Muller codes on BMS channels
S. Kudekar, S. Kumar, M. Mondelli, H.D. Pfister, R. Urbankez, in:, 2016 IEEE International Symposium on Information Theory , IEEE, 2016, pp. 1755–1759.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 6770
Reed-Muller codes: Thresholds and weight distribution
M. Mondelli, S. Kudekar, S. Kumar, H.D. Pfister, E. Şaşoğlu, R. Urbanke, in:, 24th International Zurich Seminar on Communications, ETH Zürich, 2016, p. 50.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 896
Structure and evolutionary history of a large family of NLR proteins in the zebrafish
K. Howe, P. Schiffer, J. Zielinski, T. Wiehe, G. Laird, J. Marioni, O. Soylemez, F. Kondrashov, M. Leptin, Open Biology 6 (2016).
View | DOI
 

2016 | Journal Article | IST-REx-ID: 9019 | OA
Targeting protein–protein interactions, a wide open field for drug design
M.M. Bakail, F. Ochsenbein, Comptes Rendus Chimie 19 (2016) 19–27.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 9051 | OA
Dynamic self-assembly of microscale rotors and swimmers
M.S. Davies Wykes, J.A. Palacci, T. Adachi, L. Ristroph, X. Zhong, M.D. Ward, J. Zhang, M.J. Shelley, Soft Matter 12 (2016) 4584–4589.
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2016 | Journal Article | IST-REx-ID: 9052 | OA
Trochoidal trajectories of self-propelled Janus particles in a diverging laser beam
H. Moyses, J.A. Palacci, S. Sacanna, D.G. Grier, Soft Matter 12 (2016) 6357–6364.
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2016 | Journal Article | IST-REx-ID: 9140 | OA
Scaling of precipitation extremes with temperature in the French Mediterranean region: What explains the hook shape?
P. Drobinski, B. Alonzo, S. Bastin, N.D. Silva, C.J. Muller, Journal of Geophysical Research: Atmospheres 121 (2016) 3100–3119.
View | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 92
Relating the structure of geminal Amido Esters to their molecular hyperpolarizability
J. Cole, T. Lin, C. Ashcroft, J. Pérez Moreno, Y. Tan, P. Venkatesan, A.P. Higginbotham, P. Pattison, A. Edwards, R. Piltz, K. Clays, A. Ilangovan, Journal of Physical Chemistry C 120 (2016) 29439–29448.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1177 | OA
A closer look at multiple-forking: Leveraging (in)dependence for a tighter bound
C. Kamath Hosdurg, S. Chatterjee, Algorithmica 74 (2016) 1321–1362.
View | DOI | Download Submitted Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1179 | OA
Pseudoentropy: Lower-bounds for chain rules and transformations
K.Z. Pietrzak, S. Maciej, in:, Springer, 2016, pp. 183–203.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1181
Neural stem cells to cerebral cortex: Emerging mechanisms regulating progenitor behavior and productivity
N. Dwyer, B. Chen, S. Chou, S. Hippenmeyer, L. Nguyen, T. Ghashghaei, Journal of Neuroscience 36 (2016) 11394–11401.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1182 | OA
Robust draws in balanced knockout tournaments
K. Chatterjee, R. Ibsen-Jensen, J. Tkadlec, in:, AAAI Press, 2016, pp. 172–179.
View | Files available | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1184 | OA
Mating and longevity in ant males
S. Metzler, J. Heinze, A. Schrempf, Ecology and Evolution 6 (2016) 8903–8906.
View | Files available | DOI
 

Search

Filter Publications