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.
561 Publications
2019 |Published| Conference Paper | IST-REx-ID: 6528 |
Simple verifiable delay functions
K.Z. Pietrzak, in:, 10th Innovations in Theoretical Computer Science Conference, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
K.Z. Pietrzak, in:, 10th Innovations in Theoretical Computer Science Conference, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
2019 |Published| Conference Paper | IST-REx-ID: 6565 |
Formal synthesis of stabilizing controllers for periodically controlled linear switched systems
A. Kundu, M. Garcia Soto, P. Prabhakar, in:, 5th Indian Control Conference Proceedings, IEEE, 2019.
[Submitted Version]
View
| Files available
| DOI
A. Kundu, M. Garcia Soto, P. Prabhakar, in:, 5th Indian Control Conference Proceedings, IEEE, 2019.
2019 |Published| Conference Paper | IST-REx-ID: 6628 |
The extrinsic nature of the Hausdorff distance of optimal triangulations of manifolds
G. Vegter, M. Wintraecken, in:, The 31st Canadian Conference in Computational Geometry, 2019, pp. 275–279.
[Submitted Version]
View
| Files available
G. Vegter, M. Wintraecken, in:, The 31st Canadian Conference in Computational Geometry, 2019, pp. 275–279.
2019 |Published| Conference Paper | IST-REx-ID: 6648 |
Topological data analysis in information space
H. Edelsbrunner, Z. Virk, H. Wagner, in:, 35th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 31:1-31:14.
[Published Version]
View
| Files available
| DOI
| arXiv
H. Edelsbrunner, Z. Virk, H. Wagner, in:, 35th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 31:1-31:14.
2019 |Published| Journal Article | IST-REx-ID: 6659 |
Optimized reaction pair of the CysHis tag and Ni(II)-NTA probe for highly selective chemical labeling of membrane proteins
N. Zenmyo, H. Tokumaru, S. Uchinomiya, H. Fuchida, S. Tabata, I. Hamachi, R. Shigemoto, A. Ojida, Bulletin of the Chemical Society of Japan 92 (2019) 995–1000.
[Published Version]
View
| Files available
| DOI
N. Zenmyo, H. Tokumaru, S. Uchinomiya, H. Fuchida, S. Tabata, I. Hamachi, R. Shigemoto, A. Ojida, Bulletin of the Chemical Society of Japan 92 (2019) 995–1000.
2019 |Published| Journal Article | IST-REx-ID: 6662 |
Fundamental limits of weak recovery with applications to phase retrieval
M. Mondelli, A. Montanari, Foundations of Computational Mathematics 19 (2019) 703–773.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Mondelli, A. Montanari, Foundations of Computational Mathematics 19 (2019) 703–773.
2019 |Published| Journal Article | IST-REx-ID: 6672 |
Anisotropic triangulations via discrete Riemannian Voronoi diagrams
J.-D. Boissonnat, M. Rouxel-Labbé, M. Wintraecken, SIAM Journal on Computing 48 (2019) 1046–1097.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J.-D. Boissonnat, M. Rouxel-Labbé, M. Wintraecken, SIAM Journal on Computing 48 (2019) 1046–1097.
2019 |Published| Conference Paper | IST-REx-ID: 6725 |
Testing the complexity of a valued CSP language
V. Kolmogorov, in:, 46th International Colloquium on Automata, Languages and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 77:1-77:12.
[Published Version]
View
| Files available
| DOI
| arXiv
V. Kolmogorov, in:, 46th International Colloquium on Automata, Languages and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 77:1-77:12.
2019 |Published| Book Chapter | IST-REx-ID: 6726 |
Sampling the integers with low relative error
M. Walter, in:, J. Buchmann, A. Nitaj, T. Rachidi (Eds.), Progress in Cryptology – AFRICACRYPT 2019, Springer Nature, Cham, 2019, pp. 157–180.
[Preprint]
View
| DOI
| Download Preprint (ext.)
M. Walter, in:, J. Buchmann, A. Nitaj, T. Rachidi (Eds.), Progress in Cryptology – AFRICACRYPT 2019, Springer Nature, Cham, 2019, pp. 157–180.
2019 |Published| Journal Article | IST-REx-ID: 6663 |
Construction of polar codes with sublinear complexity
M. Mondelli, H. Hassani, R. Urbanke, IEEE 65 (2019) 2782–2791.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Mondelli, H. Hassani, R. Urbanke, IEEE 65 (2019) 2782–2791.
2019 |Published| Conference Paper | IST-REx-ID: 6747 |
On the connection between learning two-layers neural networks and tensor decomposition
M. Mondelli, A. Montanari, in:, Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics, Proceedings of Machine Learning Research, 2019, pp. 1051–1060.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
M. Mondelli, A. Montanari, in:, Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics, Proceedings of Machine Learning Research, 2019, pp. 1051–1060.
2019 |Published| Journal Article | IST-REx-ID: 6750 |
Rate-flexible fast polar decoders
S.A. Hashemi, C. Condo, M. Mondelli, W.J. Gross, IEEE Transactions on Signal Processing 67 (2019).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S.A. Hashemi, C. Condo, M. Mondelli, W.J. Gross, IEEE Transactions on Signal Processing 67 (2019).
2019 |Published| Journal Article | IST-REx-ID: 6759 |
On grounded L-graphs and their relatives
V. Jelínek, M. Töpfer, Electronic Journal of Combinatorics 26 (2019).
[Published Version]
View
| Files available
| DOI
| arXiv
V. Jelínek, M. Töpfer, Electronic Journal of Combinatorics 26 (2019).
2019 |Published| Conference Paper | IST-REx-ID: 6822 |
Bidding games on Markov decision processes
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, P. Novotny, in:, Proceedings of the 13th International Conference of Reachability Problems, Springer, 2019, pp. 1–12.
[Submitted Version]
View
| Files available
| DOI
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, P. Novotny, in:, Proceedings of the 13th International Conference of Reachability Problems, Springer, 2019, pp. 1–12.
2019 |Published| Conference Paper | IST-REx-ID: 6887 |
Near-linear time algorithms for Streett objectives in graphs and MDPs
K. Chatterjee, W. Dvorák, M.H. Henzinger, A. Svozil, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, W. Dvorák, M.H. Henzinger, A. Svozil, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
2019 |Published| Conference Paper | IST-REx-ID: 6888 |
Designing worm-inspired neural networks for interpretable robotic control
M. Lechner, R. Hasani, M. Zimmer, T.A. Henzinger, R. Grosu, in:, Proceedings - IEEE International Conference on Robotics and Automation, IEEE, 2019.
[Submitted Version]
View
| Files available
| DOI
M. Lechner, R. Hasani, M. Zimmer, T.A. Henzinger, R. Grosu, in:, Proceedings - IEEE International Conference on Robotics and Automation, IEEE, 2019.
2019 |Published| Conference Paper | IST-REx-ID: 6886 |
Determinacy in discrete-bidding infinite-duration games
M. Aghajohari, G. Avni, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
[Published Version]
View
| Files available
| DOI
| arXiv
M. Aghajohari, G. Avni, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
2019 |Published| Conference Paper | IST-REx-ID: 6885 |
Long-run average behavior of vector addition systems with states
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
2019 |Published| Conference Paper | IST-REx-ID: 6889 |
Combinations of Qualitative Winning for Stochastic Parity Games
K. Chatterjee, N. Piterman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, N. Piterman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
2019 |Published| Conference Paper | IST-REx-ID: 6931 |
Byzantine approximate agreement on graphs
T. Nowak, J. Rybicki, in:, 33rd International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 29:1--29:17.
[Published Version]
View
| Files available
| DOI
| arXiv
T. Nowak, J. Rybicki, in:, 33rd International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 29:1--29:17.
2019 |Published| Conference Paper | IST-REx-ID: 6985 |
Response characterization for auditing cell dynamics in long short-term memory networks
R. Hasani, A. Amini, M. Lechner, F. Naser, R. Grosu, D. Rus, in:, Proceedings of the International Joint Conference on Neural Networks, IEEE, 2019.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
R. Hasani, A. Amini, M. Lechner, F. Naser, R. Grosu, D. Rus, in:, Proceedings of the International Joint Conference on Neural Networks, IEEE, 2019.
2019 |Published| Journal Article | IST-REx-ID: 7007 |
A new coding paradigm for the primitive relay channel
M. Mondelli, S.H. Hassani, R. Urbanke, Algorithms 12 (2019).
[Published Version]
View
| Files available
| DOI
| arXiv
M. Mondelli, S.H. Hassani, R. Urbanke, Algorithms 12 (2019).
2019 |Published| Conference Paper | IST-REx-ID: 7035 |
Dirac masses and isometric rigidity
G.P. Geher, T. Titkos, D. Virosztek, in:, Kyoto RIMS Kôkyûroku, Research Institute for Mathematical Sciences, Kyoto University, 2019, pp. 34–41.
[Submitted Version]
View
| Download Submitted Version (ext.)
G.P. Geher, T. Titkos, D. Virosztek, in:, Kyoto RIMS Kôkyûroku, Research Institute for Mathematical Sciences, Kyoto University, 2019, pp. 34–41.
2019 |Published| Journal Article | IST-REx-ID: 7055 |
Out-of-plane transport in ZrSiS and ZrSiSe microstructures
K.R. Shirer, K.A. Modic, T. Zimmerling, M.D. Bachmann, M. König, P.J.W. Moll, L. Schoop, A.P. Mackenzie, APL Materials 7 (2019).
[Published Version]
View
| Files available
| DOI
K.R. Shirer, K.A. Modic, T. Zimmerling, M.D. Bachmann, M. König, P.J.W. Moll, L. Schoop, A.P. Mackenzie, APL Materials 7 (2019).
2019 |Published| Journal Article | IST-REx-ID: 7057 |
Thermodynamic signatures of Weyl fermions in NbP
K.A. Modic, T. Meng, F. Ronning, E.D. Bauer, P.J.W. Moll, B.J. Ramshaw, Scientific Reports 9 (2019).
[Published Version]
View
| Files available
| DOI
K.A. Modic, T. Meng, F. Ronning, E.D. Bauer, P.J.W. Moll, B.J. Ramshaw, Scientific Reports 9 (2019).
2019 |Published| Journal Article | IST-REx-ID: 7056 |
Persistent antiferromagnetic order in heavily overdoped Ca1−x La x FeAs2
E. Martino, M.D. Bachmann, L. Rossi, K.A. Modic, I. Zivkovic, H.M. Rønnow, P.J.W. Moll, A. Akrap, L. Forró, S. Katrych, Journal of Physics: Condensed Matter 31 (2019).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
E. Martino, M.D. Bachmann, L. Rossi, K.A. Modic, I. Zivkovic, H.M. Rønnow, P.J.W. Moll, A. Akrap, L. Forró, S. Katrych, Journal of Physics: Condensed Matter 31 (2019).
2019 |Published| Journal Article | IST-REx-ID: 7082
Spatial control of heavy-fermion superconductivity in CeIrIn5
Bachmann MD, Ferguson GM, Theuss F, Meng T, Putzke C, Helm T, Shirer KR, Li Y-S, Modic KA, Nicklas M, König M, Low D, Ghosh S, Mackenzie AP, Arnold F, Hassinger E, McDonald RD, Winter LE, Bauer ED, Ronning F, Ramshaw BJ, Nowack KC, Moll PJW. 2019. Spatial control of heavy-fermion superconductivity in CeIrIn5. Science. 366(6462), 221–226.
View
| DOI
Bachmann MD, Ferguson GM, Theuss F, Meng T, Putzke C, Helm T, Shirer KR, Li Y-S, Modic KA, Nicklas M, König M, Low D, Ghosh S, Mackenzie AP, Arnold F, Hassinger E, McDonald RD, Winter LE, Bauer ED, Ronning F, Ramshaw BJ, Nowack KC, Moll PJW. 2019. Spatial control of heavy-fermion superconductivity in CeIrIn5. Science. 366(6462), 221–226.
2019 |Published| Journal Article | IST-REx-ID: 7128 |
Common regulatory pathways mediate activity of microRNAs inducing cardiomyocyte proliferation
C. Torrini, R.J. Cubero, E. Dirkx, L. Braga, H. Ali, G. Prosdocimo, M.I. Gutierrez, C. Collesi, D. Licastro, L. Zentilin, M. Mano, S. Zacchigna, M. Vendruscolo, M. Marsili, A. Samal, M. Giacca, Cell Reports 27 (2019) 2759–2771.e5.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
C. Torrini, R.J. Cubero, E. Dirkx, L. Braga, H. Ali, G. Prosdocimo, M.I. Gutierrez, C. Collesi, D. Licastro, L. Zentilin, M. Mano, S. Zacchigna, M. Vendruscolo, M. Marsili, A. Samal, M. Giacca, Cell Reports 27 (2019) 2759–2771.e5.
2019 |Published| Journal Article | IST-REx-ID: 7130 |
Statistical criticality arises in most informative representations
R.J. Cubero, J. Jo, M. Marsili, Y. Roudi, J. Song, Journal of Statistical Mechanics: Theory and Experiment 2019 (2019).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
R.J. Cubero, J. Jo, M. Marsili, Y. Roudi, J. Song, Journal of Statistical Mechanics: Theory and Experiment 2019 (2019).
2019 |Published| Journal Article | IST-REx-ID: 7150 |
Algebraic methods in the congested clique
K. Censor-Hillel, P. Kaski, J. Korhonen, C. Lenzen, A. Paz, J. Suomela, Distributed Computing 32 (2019) 461–478.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Censor-Hillel, P. Kaski, J. Korhonen, C. Lenzen, A. Paz, J. Suomela, Distributed Computing 32 (2019) 461–478.
2019 |Published| Book (Editor) | IST-REx-ID: 7171
Wie Maschinen Lernen: Künstliche Intelligenz Verständlich Erklärt
K. Kersting, C. Lampert, C. Rothkopf, eds., Wie Maschinen Lernen: Künstliche Intelligenz Verständlich Erklärt, 1st ed., Springer Nature, Wiesbaden, 2019.
View
| Files available
| DOI
K. Kersting, C. Lampert, C. Rothkopf, eds., Wie Maschinen Lernen: Künstliche Intelligenz Verständlich Erklärt, 1st ed., Springer Nature, Wiesbaden, 2019.
2019 |Published| Journal Article | IST-REx-ID: 7275 |
Singlet oxygen from cation driven superoxide disproportionation and consequences for aprotic metal–O2 batteries
E. Mourad, Y.K. Petit, R. Spezia, A. Samojlov, F.F. Summa, C. Prehal, C. Leypold, N. Mahne, C. Slugovc, O. Fontaine, S. Brutti, S.A. Freunberger, Energy & Environmental Science 12 (2019) 2559–2568.
[Published Version]
View
| Files available
| DOI
E. Mourad, Y.K. Petit, R. Spezia, A. Samojlov, F.F. Summa, C. Prehal, C. Leypold, N. Mahne, C. Slugovc, O. Fontaine, S. Brutti, S.A. Freunberger, Energy & Environmental Science 12 (2019) 2559–2568.
2019 |Published| Journal Article | IST-REx-ID: 7280 |
Deactivation of redox mediators in lithium-oxygen batteries by singlet oxygen
W.-J. Kwak, H. Kim, Y.K. Petit, C. Leypold, T.T. Nguyen, N. Mahne, P. Redfern, L.A. Curtiss, H.-G. Jung, S.M. Borisov, S.A. Freunberger, Y.-K. Sun, Nature Communications 10 (2019).
[Published Version]
View
| Files available
| DOI
W.-J. Kwak, H. Kim, Y.K. Petit, C. Leypold, T.T. Nguyen, N. Mahne, P. Redfern, L.A. Curtiss, H.-G. Jung, S.M. Borisov, S.A. Freunberger, Y.-K. Sun, Nature Communications 10 (2019).
2019 |Published| Journal Article | IST-REx-ID: 7276 |
DABCOnium: An efficient and high-voltage stable singlet oxygen quencher for metal-O2 cells
Y.K. Petit, C. Leypold, N. Mahne, E. Mourad, L. Schafzahl, C. Slugovc, S.M. Borisov, S.A. Freunberger, Angewandte Chemie International Edition 58 (2019) 6535–6539.
[Published Version]
View
| Files available
| DOI
Y.K. Petit, C. Leypold, N. Mahne, E. Mourad, L. Schafzahl, C. Slugovc, S.M. Borisov, S.A. Freunberger, Angewandte Chemie International Edition 58 (2019) 6535–6539.
2019 |Published| Journal Article | IST-REx-ID: 7281 |
Mutual conservation of redox mediator and singlet oxygen quencher in Lithium–Oxygen batteries
W.-J. Kwak, S.A. Freunberger, H. Kim, J. Park, T.T. Nguyen, H.-G. Jung, H.R. Byon, Y.-K. Sun, ACS Catalysis 9 (2019) 9914–9922.
[Submitted Version]
View
| Files available
| DOI
W.-J. Kwak, S.A. Freunberger, H. Kim, J. Park, T.T. Nguyen, H.-G. Jung, H.R. Byon, Y.-K. Sun, ACS Catalysis 9 (2019) 9914–9922.
2019 |Published| Journal Article | IST-REx-ID: 7282 |
Interphase identity crisis
S.A. Freunberger, Nature Chemistry 11 (2019) 761–763.
[Submitted Version]
View
| Files available
| DOI
S.A. Freunberger, Nature Chemistry 11 (2019) 761–763.
2019 |Published| Journal Article | IST-REx-ID: 7283 |
Thousands of cycles
Y.K. Petit, S.A. Freunberger, Nature Materials 18 (2019) 301–302.
[Submitted Version]
View
| Files available
| DOI
Y.K. Petit, S.A. Freunberger, Nature Materials 18 (2019) 301–302.
2019 |Published| Journal Article | IST-REx-ID: 7284 |
Li-O2 cell-scale energy densities
C. Prehal, S.A. Freunberger, Joule 3 (2019) 321–323.
[Published Version]
View
| DOI
| Download Published Version (ext.)
C. Prehal, S.A. Freunberger, Joule 3 (2019) 321–323.
2019 |Published| Preprint | IST-REx-ID: 7358 |
TGFβ superfamily signaling regulates the state of human stem cell pluripotency and competency to create telencephalic organoids
M. Watanabe, J.R. Haney, N. Vishlaghi, F. Turcios, J.E. Buth, W. Gu, A.J. Collier, O. Miranda, D. Chen, S. Sabri, A.T. Clark, K. Plath, H.R. Christofk, M.J. Gandal, B.G. Novitch, BioRxiv (2019).
[Preprint]
View
| DOI
| Download Preprint (ext.)
M. Watanabe, J.R. Haney, N. Vishlaghi, F. Turcios, J.E. Buth, W. Gu, A.J. Collier, O. Miranda, D. Chen, S. Sabri, A.T. Clark, K. Plath, H.R. Christofk, M.J. Gandal, B.G. Novitch, BioRxiv (2019).
2019 |Published| Conference Paper | IST-REx-ID: 7401 |
Z_2-Genus of graphs and minimum rank of partial symmetric matrices
R. Fulek, J. Kyncl, in:, 35th International Symposium on Computational Geometry (SoCG 2019), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
[Published Version]
View
| Files available
| DOI
| arXiv
R. Fulek, J. Kyncl, in:, 35th International Symposium on Computational Geometry (SoCG 2019), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
2019 |Published| Book Chapter | IST-REx-ID: 7453 |
Continuous-time models for system design and analysis
R. Alur, M. Giacobbe, T.A. Henzinger, K.G. Larsen, M. Mikučionis, in:, B. Steffen, G. Woeginger (Eds.), Computing and Software Science, Springer Nature, 2019, pp. 452–477.
[Published Version]
View
| DOI
| Download Published Version (ext.)
R. Alur, M. Giacobbe, T.A. Henzinger, K.G. Larsen, M. Mikučionis, in:, B. Steffen, G. Woeginger (Eds.), Computing and Software Science, Springer Nature, 2019, pp. 452–477.
2019 |Published| Journal Article | IST-REx-ID: 7459
Local probing of magnetoelectric coupling in BaTiO3-Ni 1–3 composites
S.S. Vadla, T. Costanzo, S. John, G. Caruntu, S.C. Roy, Scripta Materialia 159 (2019) 33–36.
View
| DOI
S.S. Vadla, T. Costanzo, S. John, G. Caruntu, S.C. Roy, Scripta Materialia 159 (2019) 33–36.
2019 |Published| Journal Article | IST-REx-ID: 7476 |
Tracing the cellular dynamics of sebaceous gland development in normal and perturbed states
M.S. Andersen, E.B. Hannezo, S. Ulyanchenko, S. Estrach, Y. Antoku, S. Pisano, K.E. Boonekamp, S. Sendrup, M. Maimets, M.T. Pedersen, J.V. Johansen, D.L. Clement, C.C. Feral, B.D. Simons, K.B. Jensen, Nature Cell Biology 21 (2019) 924–932.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
M.S. Andersen, E.B. Hannezo, S. Ulyanchenko, S. Estrach, Y. Antoku, S. Pisano, K.E. Boonekamp, S. Sendrup, M. Maimets, M.T. Pedersen, J.V. Johansen, D.L. Clement, C.C. Feral, B.D. Simons, K.B. Jensen, Nature Cell Biology 21 (2019) 924–932.
2019 |Published| Journal Article | IST-REx-ID: 7548
Expression of the amyloid-β peptide in a single pair of C. elegans sensory neurons modulates the associated behavioural response
T. Sinnige, P. Ciryam, S. Casford, C.M. Dobson, M. de Bono, M. Vendruscolo, PLOS ONE 14 (2019).
[Published Version]
View
| DOI
T. Sinnige, P. Ciryam, S. Casford, C.M. Dobson, M. de Bono, M. Vendruscolo, PLOS ONE 14 (2019).
2019 |Published| Journal Article | IST-REx-ID: 7547
Activity-dependent regulation of the proapoptotic BH3-only gene egl-1 in a living neuron pair in Caenorhabditis elegans
J. Cohn, V. Dwivedi, G. Valperga, N. Zarate, M. de Bono, H.R. Horvitz, J.T. Pierce, G3: Genes, Genomes, Genetics 9 (2019) 3703–3714.
[Published Version]
View
| DOI
| PubMed | Europe PMC
J. Cohn, V. Dwivedi, G. Valperga, N. Zarate, M. de Bono, H.R. Horvitz, J.T. Pierce, G3: Genes, Genomes, Genetics 9 (2019) 3703–3714.
2019 |Published| Journal Article | IST-REx-ID: 7550 |
Penalization via global functionals of optimal-control problems for dissipative evolution
L. Portinale, U. Stefanelli, Advances in Mathematical Sciences and Applications 28 (2019) 425–447.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
L. Portinale, U. Stefanelli, Advances in Mathematical Sciences and Applications 28 (2019) 425–447.
2019 |Submitted| Preprint | IST-REx-ID: 7552 |
Action at a distance in transcriptional regulation
W. Bialek, T. Gregor, G. Tkačik, ArXiv:1912.08579 (n.d.).
[Preprint]
View
| Download Preprint (ext.)
| arXiv
W. Bialek, T. Gregor, G. Tkačik, ArXiv:1912.08579 (n.d.).
2019 |Published| Conference Paper | IST-REx-ID: 7576 |
ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics
F. Immler, M. Althoff, L. Benet, A. Chapoutot, X. Chen, M. Forets, L. Geretti, N. Kochdumper, D.P. Sanders, C. Schilling, in:, EPiC Series in Computing, EasyChair Publications, 2019, pp. 41–61.
[Published Version]
View
| Files available
| DOI
F. Immler, M. Althoff, L. Benet, A. Chapoutot, X. Chen, M. Forets, L. Geretti, N. Kochdumper, D.P. Sanders, C. Schilling, in:, EPiC Series in Computing, EasyChair Publications, 2019, pp. 41–61.
2019 |Submitted| Preprint | IST-REx-ID: 7627 |
A revised O2 reduction model in Li-O2 batteries as revealed by in situ small angle X-ray scattering
C. Prehal, A. Samojlov, M. Nachtnebel, M. Kriechbaum, H. Amenitsch, S.A. Freunberger, (n.d.).
[Preprint]
View
| Download Preprint (ext.)
C. Prehal, A. Samojlov, M. Nachtnebel, M. Kriechbaum, H. Amenitsch, S.A. Freunberger, (n.d.).
2019 |Published| Journal Article | IST-REx-ID: 7710 |
Accurate, scalable and integrative haplotype estimation
O. Delaneau, J.-F. Zagury, M.R. Robinson, J.L. Marchini, E.T. Dermitzakis, Nature Communications 10 (2019).
[Published Version]
View
| DOI
| Download Published Version (ext.)
O. Delaneau, J.-F. Zagury, M.R. Robinson, J.L. Marchini, E.T. Dermitzakis, Nature Communications 10 (2019).