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.

4858 Publications


2023 | Published | Thesis | PhD | IST-REx-ID: 14058 | OA
Puixeu Sala G. The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation. 2023. doi:10.15479/at:ista:14058
[Published Version] View | Files available | DOI
 

2023 | Published | Conference Paper | IST-REx-ID: 14076 | OA
Chalupa M, Henzinger TA. Monitoring hyperproperties with prefix transducers. In: 23nd International Conference on Runtime Verification. Vol 14245. Springer Nature; 2023:168-190. doi:10.1007/978-3-031-44267-4_9
[Published Version] View | Files available | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 14077 | OA
Puixeu Sala G, Macon A, Vicoso B. Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster. G3: Genes, Genomes, Genetics. 2023;13(8). doi:10.1093/g3journal/jkad121
[Published Version] View | Files available | DOI | WoS
 

2023 | Published | Journal Article | IST-REx-ID: 14080 | OA
Hirashima T, Hino N, Aoki K, Matsuda M. Stretching the limits of extracellular signal-related kinase (ERK) signaling — Cell mechanosensing to ERK activation. Current Opinion in Cell Biology. 2023;84(10). doi:10.1016/j.ceb.2023.102217
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 14082
Higashi T, Stephenson RE, Schwayer C, et al. ZnUMBA - a live imaging method to detect local barrier breaches. Journal of Cell Science. 2023;136(15). doi:10.1242/jcs.260668
View | Files available | DOI | WoS
 

2023 | Published | Conference Paper | IST-REx-ID: 14083 | OA
Resch N, Yuan C, Zhang Y. Zero-rate thresholds and new capacity bounds for list-decoding and list-recovery. In: 50th International Colloquium on Automata, Languages, and Programming. Vol 261. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.ICALP.2023.99
[Published Version] View | Files available | DOI | arXiv
 

2023 | Published | Conference Paper | IST-REx-ID: 14084 | OA
Harris DG, Kolmogorov V. Parameter estimation for Gibbs distributions. In: 50th International Colloquium on Automata, Languages, and Programming. Vol 261. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.ICALP.2023.72
[Published Version] View | Files available | DOI | arXiv
 

2023 | Published | Conference Paper | IST-REx-ID: 14085 | OA
Goranci G, Henzinger MH. Efficient data structures for incremental exact and approximate maximum flow. In: 50th International Colloquium on Automata, Languages, and Programming. Vol 261. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.ICALP.2023.69
[Published Version] View | Files available | DOI
 

2023 | Published | Conference Paper | IST-REx-ID: 14086 | OA
Henzinger MH, Liu P, Vondrák J, Zheng DW. Faster submodular maximization for several classes of matroids. In: 50th International Colloquium on Automata, Languages, and Programming. Vol 261. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.ICALP.2023.74
[Published Version] View | Files available | DOI | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 14087 | OA
Rønning J, Renaud JB, Doostmohammadi A, Angheluta L. Spontaneous flows and dynamics of full-integer topological defects in polar active matter. Soft Matter. 2023;39:7513-7527. doi:10.1039/d3sm00316g
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 14192 | OA
Lampart J, Mitrouskas DJ, Mysliwy K. On the global minimum of the energy–momentum relation for the polaron. Mathematical Physics, Analysis and Geometry. 2023;26(3). doi:10.1007/s11040-023-09460-x
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Submitted | Preprint | IST-REx-ID: 14207 | OA
Löwe S, Lippe P, Locatello F, Welling M. Rotating features for object discovery. arXiv. doi:10.48550/arXiv.2306.00600
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Submitted | Preprint | IST-REx-ID: 14210 | OA
Fumero M, Wenzel F, Zancato L, et al. Leveraging sparse and shared feature activations for disentangled representation learning. arXiv. doi:10.48550/arXiv.2304.07939
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Published | Thesis | MS | IST-REx-ID: 14226 | OA
Stephenson ER. Generalizing medial axes with homology switches. 2023. doi:10.15479/at:ista:14226
[Published Version] View | Files available | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 14238 | OA
Kranabetter L, Kristensen HH, Ghazaryan A, et al. Nonadiabatic laser-induced alignment dynamics of molecules on a surface. Physical Review Letters. 2023;131(5). doi:10.1103/PhysRevLett.131.053201
[Preprint] View | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 14239 | OA
Mauri M, Shinder E. Homological Bondal-Orlov localization conjecture for rational singularities. Forum of Mathematics, Sigma. 2023;11. doi:10.1017/fms.2023.65
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 14240 | OA
Jeschke S, Wojtan C. Generalizing shallow water simulations with dispersive surface waves. ACM Transactions on Graphics. 2023;42(4). doi:10.1145/3592098
[Published Version] View | Files available | DOI | WoS
 

2023 | Published | Conference Paper | IST-REx-ID: 14241 | OA
Tojo K, Shamir A, Bickel B, Umetani N. Stealth shaper: Reflectivity optimization as surface stylization. In: SIGGRAPH 2023 Conference Proceedings. Association for Computing Machinery; 2023. doi:10.1145/3588432.3591542
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Published | Conference Paper | IST-REx-ID: 14242 | OA
Lechner M, Zikelic D, Chatterjee K, Henzinger TA, Rus D. Quantization-aware interval bound propagation for training certifiably robust quantized neural networks. In: Proceedings of the 37th AAAI Conference on Artificial Intelligence. Vol 37. Association for the Advancement of Artificial Intelligence; 2023:14964-14973. doi:10.1609/aaai.v37i12.26747
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Published | Conference Paper | IST-REx-ID: 14243 | OA
Avni G, Jecker IR, Zikelic D. Bidding graph games with partially-observable budgets. In: Proceedings of the 37th AAAI Conference on Artificial Intelligence. Vol 37. ; 2023:5464-5471. doi:10.1609/aaai.v37i5.25679
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed