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.

12143 Publications


2021 | Published | Journal Article | IST-REx-ID: 10005 | OA
Bulíček M, Maringová E, Málek J. On nonlinear problems of parabolic type with implicit constitutive equations involving flux. Mathematical Models and Methods in Applied Sciences. 2021;31(09). doi:10.1142/S0218202521500457
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10665 | OA
Henzinger TA, Lechner M, Zikelic D. Scalable verification of quantized neural networks. In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol 35. AAAI Press; 2021:3787-3795. doi:10.1609/aaai.v35i5.16496
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10671 | OA
Hasani R, Lechner M, Amini A, Rus D, Grosu R. Liquid time-constant networks. In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol 35. AAAI Press; 2021:7657-7666. doi:10.1609/aaai.v35i9.16936
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 11436 | OA
Kungurtsev V, Egan M, Chatterjee B, Alistarh D-A. Asynchronous optimization methods for efficient training of deep neural networks with guarantees. In: 35th AAAI Conference on Artificial Intelligence, AAAI 2021. Vol 35. AAAI Press; 2021:8209-8216. doi:10.1609/aaai.v35i9.16999
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10669 | OA
Grunbacher S, Hasani R, Lechner M, Cyranka J, Smolka SA, Grosu R. On the verification of neural ODEs with stochastic guarantees. In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol 35. AAAI Press; 2021:11525-11535. doi:10.1609/aaai.v35i13.17372
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2021 | Published | Thesis | PhD | IST-REx-ID: 10429 | OA
Nadiradze G. On achieving scalability through relaxation. 2021. doi:10.15479/at:ista:10429
[Published Version] View | Files available | DOI
 

2021 | Published | Conference Paper | IST-REx-ID: 10432 | OA
Nadiradze G, Markov I, Chatterjee B, Kungurtsev V, Alistarh D-A. Elastic consistency: A practical consistency model for distributed stochastic gradient descent. In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol 35. ; 2021:9037-9045. doi:10.1609/aaai.v35i10.17092
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

earlier version | 2021 | Draft | Preprint | IST-REx-ID: 12077 | OA
Shute AL. On the leading constant in the Manin-type conjecture for Campana points. arXiv. doi:10.48550/arXiv.2104.14946
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 9558 | OA
Yalniz G, Hof B, Budanur NB. Coarse graining the state space of a turbulent flow using periodic orbits. Physical Review Letters. 2021;126(24). doi:10.1103/PhysRevLett.126.244502
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 8602 | OA
Boocock DR, Hino N, Ruzickova N, Hirashima T, Hannezo EB. Theory of mechanochemical patterning and optimal migration in cell monolayers. Nature Physics. 2021;17:267-274. doi:10.1038/s41567-020-01037-7
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

2021 | Published | Journal Article | IST-REx-ID: 9817 | OA
Hafner C, Bickel B. The design space of plane elastic curves. ACM Transactions on Graphics. 2021;40(4). doi:10.1145/3450626.3459800
[Published Version] View | Files available | DOI | WoS
 

2021 | Published | Journal Article | IST-REx-ID: 9429 | OA
Morandell J, Schwarz LA, Basilico B, et al. Cul3 regulates cytoskeleton protein homeostasis and cell migration during a critical window of brain development. Nature Communications. 2021;12(1). doi:10.1038/s41467-021-23123-x
[Published Version] View | Files available | DOI | WoS
 

2021 | Published | Journal Article | IST-REx-ID: 8966 | OA
Schauer A, Heisenberg C-PJ. Reassembling gastrulation. Developmental Biology. 2021;474:71-81. doi:10.1016/j.ydbio.2020.12.014
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Published | Journal Article | IST-REx-ID: 9349 | OA
Lenne PF, Munro E, Heemskerk I, Warmflash A, Bocanegra L, Kishi K, Kicheva A, Long Y, Fruleux A, Boudaoud A, Saunders TE, Caldarelli P, Michaut A, Gros J, Maroudas-Sacks Y, Keren K, Hannezo EB, Gartner ZJ, Stormo B, Gladfelter A, Rodrigues A, Shyer A, Minc N, Maître JL, Di Talia S, Khamaisi B, Sprinzak D, Tlili S. 2021. Roadmap for the multiscale coupling of biochemical and mechanical signals during development. Physical biology. 18(4), 041501.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Published | Journal Article | IST-REx-ID: 7883 | OA
Kuzmicz-Kowalska K, Kicheva A. Regulation of size and scale in vertebrate spinal cord development. Wiley Interdisciplinary Reviews: Developmental Biology. 2021. doi:10.1002/wdev.383
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Published | Journal Article | IST-REx-ID: 9250 | OA
Petit YK, Mourad E, Prehal C, et al. Mechanism of mediated alkali peroxide oxidation and triplet versus singlet oxygen formation. Nature Chemistry. 2021;13(5):465-471. doi:10.1038/s41557-021-00643-z
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Published | Journal Article | IST-REx-ID: 9438 | OA
Vandael DH, Okamoto Y, Borges Merjane C, Vargas Barroso VM, Suter B, Jonas PM. Subcellular patch-clamp techniques for single-bouton stimulation and simultaneous pre- and postsynaptic recording at cortical synapses. Nature Protocols. 2021;16(6):2947–2967. doi:10.1038/s41596-021-00526-0
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Published | Journal Article | IST-REx-ID: 9428 | OA
Serbyn M, Abanin DA, Papić Z. Quantum many-body scars and weak breaking of ergodicity. Nature Physics. 2021;17(6):675–685. doi:10.1038/s41567-021-01230-2
[Preprint] View | Files available | DOI | WoS | arXiv
 

2021 | Published | Thesis | PhD | IST-REx-ID: 9397 | OA
Huljev K. Coordinated spatiotemporal reorganization of interstitial fluid is required for axial mesendoderm migration in zebrafish gastrulation. 2021. doi:10.15479/at:ista:9397
[Published Version] View | Files available | DOI
 

2021 | Published | Thesis | PhD | IST-REx-ID: 9728 | OA
Agrawal N. Transition to turbulence and drag reduction in particle-laden pipe flows. 2021. doi:10.15479/at:ista:9728
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed