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

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




5629 Publications

2017 | Published | Journal Article | IST-REx-ID: 694 | OA
A dual phenotype of MDA MB 468 cancer cells reveals mutual regulation of tensin3 and adhesion plasticity
Veß, Astrid, A dual phenotype of MDA MB 468 cancer cells reveals mutual regulation of tensin3 and adhesion plasticity. Journal of Cell Science 130 (13). 2017
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2017 | Published | Journal Article | IST-REx-ID: 725 | OA
Discrete modes of social information processing predict individual behavior of fish in a group
Harpaz, Roy, Discrete modes of social information processing predict individual behavior of fish in a group. PNAS 114 (38). 2017
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Published | Journal Article | IST-REx-ID: 699 | OA
The red queen and king in finite populations
Veller, Carl, The red queen and king in finite populations. PNAS 114 (27). 2017
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Published | Journal Article | IST-REx-ID: 719
Special issue: Synthesis and SYNT 2014
Chatterjee, Krishnendu, Special issue: Synthesis and SYNT 2014. Acta Informatica 54 (6). 2017
View | DOI
 
2017 | Published | Conference Paper | IST-REx-ID: 663 | OA
Safety verification of nonlinear hybrid systems based on invariant clusters
Kong, Hui, Safety verification of nonlinear hybrid systems based on invariant clusters. Proceedings of the 20th International Conference on Hybrid Systems. 2017
[Submitted Version] View | Files available | DOI
 
2017 | Published | Conference Paper | IST-REx-ID: 432 | OA
ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning
Zhang, Hantian, ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning. Proceedings of Machine Learning Research 70. 2017
[Submitted Version] View | Files available
 
2017 | Published | Conference Paper | IST-REx-ID: 551 | OA
Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs
Chatterjee, Krishnendu, Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs. Leibniz International Proceedings in Informatics 83. 2017
[Published Version] View | Files available | DOI
 
2017 | Published | Conference Paper | IST-REx-ID: 553 | OA
Strategy complexity of concurrent safety games
Chatterjee, Krishnendu, Strategy complexity of concurrent safety games. Leibniz International Proceedings in Informatics 83. 2017
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2017 | Published | Journal Article | IST-REx-ID: 912 | OA
A lower bound for the BCS functional with boundary conditions at infinity
Deuchert, Andreas, A lower bound for the BCS functional with boundary conditions at infinity. Journal of Mathematical Physics 58 (8). 2017
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 687 | OA
The critical CoHA of a quiver with potential
Davison, Ben, The critical CoHA of a quiver with potential. Quarterly Journal of Mathematics 68 (2). 2017
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2017 | Published | Journal Article | IST-REx-ID: 470 | OA
Water wave packets
S. Jeschke, C. Wojtan, ACM Transactions on Graphics 36 (2017).
[Published Version] View | Files available | DOI
 
2017 | Published | Thesis | IST-REx-ID: 839 | OA
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.
[Published Version] View | Files available | DOI
 
2017 | Research Data | IST-REx-ID: 5568 | OA
Source codes: Brittle fracture simulation with boundary elements for computer graphics
D. Hahn, (2017).
[Published Version] View | Files available | DOI
 
2017 | Research Data | IST-REx-ID: 5560 | OA
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. Tkačik, C.C. Guet, (2017).
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 665
Biased partitioning of the multidrug efflux pump AcrAB TolC underlies long lived phenotypic heterogeneity
Bergmiller, Tobias, Biased partitioning of the multidrug efflux pump AcrAB TolC underlies long lived phenotypic heterogeneity. Science 356 (6335). 2017
View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 685 | OA
The physics of development 100 years after D'Arcy Thompson's “on growth and form”
J. Briscoe, A. Kicheva, Mechanisms of Development 145 (2017) 26–31.
[Submitted Version] View | Files available | DOI | PubMed | Europe PMC
 
2017 | Published | Journal Article | IST-REx-ID: 654 | OA
Creating to understand – developmental biology meets engineering in Paris
A. Kicheva, N. Rivron, Development 144 (2017) 733–736.
[Submitted Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 745 | OA
Transition to turbulence in pulsating pipe flow
Xu, Duo, Transition to turbulence in pulsating pipe flow. Journal of Fluid Mechanics 831. 2017
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1087 | OA
Speed and structure of turbulent fronts in pipe flow
Song, Baofang, Speed and structure of turbulent fronts in pipe flow. Journal of Fluid Mechanics 813. 2017
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 670 | OA
Interactive paper tearing
C. Schreck, D. Rohmer, S. Hahmann, Computer Graphics Forum 36 (2017) 95–106.
[Published Version] View | DOI | Download Published Version (ext.)
 

Filters and Search Terms

type<>software

Search

Filter Publications

Display / Sort

Export / Embed