--- OA_place: repository OA_type: green _id: '13340' abstract: - lang: eng text: Photoisomerization of azobenzenes from their stable E isomer to the metastable Z state is the basis of numerous applications of these molecules. However, this reaction typically requires ultraviolet light, which limits applicability. In this study, we introduce disequilibration by sensitization under confinement (DESC), a supramolecular approach to induce the E-to-Z isomerization by using light of a desired color, including red. DESC relies on a combination of a macrocyclic host and a photosensitizer, which act together to selectively bind and sensitize E-azobenzenes for isomerization. The Z isomer lacks strong affinity for and is expelled from the host, which can then convert additional E-azobenzenes to the Z state. In this way, the host–photosensitizer complex converts photon energy into chemical energy in the form of out-of-equilibrium photostationary states, including ones that cannot be accessed through direct photoexcitation. acknowledgement: We acknowledge funding from the European Union’s Horizon 2020 Research and Innovation Program [European Research Council grants 820008 (Ra.K.) and 101045223 (A.P.) and Marie Skłodowska-Curie grants 812868 (J.G.) and 101022777 (T.-P.R.)], the Academy of Finland [Center of Excellence Programme LIBER grant 346107 (A.P.), Flagship Programme PREIN grant 320165 (A.P.), and Postdoctoral Researcher grant 340103 (T.-P.R.)], Zuckerman STEM Leadership Program Fellowship (J.R.C.), President’s PhD Scholarship (M.O.), and the EPSRC [Established Career Fellowship grant EP/R00188X/1 (M.J.F.)]. article_processing_charge: No article_type: original author: - first_name: Julius full_name: Gemen, Julius last_name: Gemen - first_name: Jonathan R. full_name: Church, Jonathan R. last_name: Church - first_name: Tero-Petri full_name: Ruoko, Tero-Petri last_name: Ruoko - first_name: Nikita full_name: Durandin, Nikita last_name: Durandin - first_name: Michał J. full_name: Białek, Michał J. last_name: Białek - first_name: Maren full_name: Weissenfels, Maren last_name: Weissenfels - first_name: Moran full_name: Feller, Moran last_name: Feller - first_name: Miri full_name: Kazes, Miri last_name: Kazes - first_name: Veniamin A. full_name: Borin, Veniamin A. last_name: Borin - first_name: Magdalena full_name: Odaybat, Magdalena last_name: Odaybat - first_name: Rishir full_name: Kalepu, Rishir last_name: Kalepu - first_name: Yael full_name: Diskin-Posner, Yael last_name: Diskin-Posner - first_name: Dan full_name: Oron, Dan last_name: Oron - first_name: Matthew J. full_name: Fuchter, Matthew J. last_name: Fuchter - first_name: Arri full_name: Priimagi, Arri last_name: Priimagi - first_name: Igor full_name: Schapiro, Igor last_name: Schapiro - first_name: Rafal full_name: Klajn, Rafal id: 8e84690e-1e48-11ed-a02b-a1e6fb8bb53b last_name: Klajn chemrxivid: 1 citation: ama: Gemen J, Church JR, Ruoko T-P, et al. Disequilibrating azoarenes by visible-light sensitization under confinement. Science. 2023;381(6664):1357-1363. doi:10.1126/science.adh9059 apa: Gemen, J., Church, J. R., Ruoko, T.-P., Durandin, N., Białek, M. J., Weissenfels, M., … Klajn, R. (2023). Disequilibrating azoarenes by visible-light sensitization under confinement. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.adh9059 chicago: Gemen, Julius, Jonathan R. Church, Tero-Petri Ruoko, Nikita Durandin, Michał J. Białek, Maren Weissenfels, Moran Feller, et al. “Disequilibrating Azoarenes by Visible-Light Sensitization under Confinement.” Science. American Association for the Advancement of Science, 2023. https://doi.org/10.1126/science.adh9059. ieee: J. Gemen et al., “Disequilibrating azoarenes by visible-light sensitization under confinement,” Science, vol. 381, no. 6664. American Association for the Advancement of Science, pp. 1357–1363, 2023. ista: Gemen J, Church JR, Ruoko T-P, Durandin N, Białek MJ, Weissenfels M, Feller M, Kazes M, Borin VA, Odaybat M, Kalepu R, Diskin-Posner Y, Oron D, Fuchter MJ, Priimagi A, Schapiro I, Klajn R. 2023. Disequilibrating azoarenes by visible-light sensitization under confinement. Science. 381(6664), 1357–1363. mla: Gemen, Julius, et al. “Disequilibrating Azoarenes by Visible-Light Sensitization under Confinement.” Science, vol. 381, no. 6664, American Association for the Advancement of Science, 2023, pp. 1357–63, doi:10.1126/science.adh9059. short: J. Gemen, J.R. Church, T.-P. Ruoko, N. Durandin, M.J. Białek, M. Weissenfels, M. Feller, M. Kazes, V.A. Borin, M. Odaybat, R. Kalepu, Y. Diskin-Posner, D. Oron, M.J. Fuchter, A. Priimagi, I. Schapiro, R. Klajn, Science 381 (2023) 1357–1363. corr_author: '1' date_created: 2023-08-01T08:26:15Z date_published: 2023-09-22T00:00:00Z date_updated: 2026-07-29T05:48:56Z day: '22' department: - _id: RaKl doi: 10.1126/science.adh9059 ec_funded: 1 external_id: chemrxivid: - 10.26434/chemrxiv-2023-gq2h0 isi: - '001100654900035' pmid: - '37733864' fulldoi: https://doi.org/10.1126/science.adh9059 intvolume: ' 381' isi: 1 issue: '6664' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.26434/chemrxiv-2023-gq2h0 month: '09' oa: 1 oa_version: Preprint page: 1357-1363 pmid: 1 project: - _id: 7bef070e-9f16-11ee-852c-db9675e131d9 call_identifier: H2020 grant_number: '820008' name: 'Dissipative self-assembly in synthetic systems: Towards life-like materials' publication: Science publication_identifier: eissn: - 1095-9203 publication_status: published publisher: American Association for the Advancement of Science quality_controlled: '1' scopus_import: '1' status: public title: Disequilibrating azoarenes by visible-light sensitization under confinement type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 381 year: '2023' ... --- OA_place: publisher OA_type: gold _id: '14210' abstract: - lang: eng text: Research on recovering the latent factors of variation of high dimensional data has so far focused on simple synthetic settings. Mostly building on unsupervised and weakly-supervised objectives, prior work missed out on the positive implications for representation learning on real world data. In this work, we propose to leverage knowledge extracted from a diversified set of supervised tasks to learn a common disentangled representation. Assuming that each supervised task only depends on an unknown subset of the factors of variation, we disentangle the feature space of a supervised multi-task model, with features activating sparsely across different tasks and information being shared as appropriate. Importantly, we never directly observe the factors of variations, but establish that access to multiple tasks is sufficient for identifiability under sufficiency and minimality assumptions. We validate our approach on six real world distribution shift benchmarks, and different data modalities (images, text), demonstrating how disentangled representations can be transferred to real settings. acknowledgement: "Marco Fumero and Emanuele Rodolà were supported by the ERC grant no.802554 (SPECGEO),\r\nPRIN 2020 project no.2020TA3K9N (LEGO.AI), and PNRR MUR project PE0000013-FAIR. Marco\r\nFumero and Francesco Locatello were partially at Amazon while working at this project. We thank\r\nJulius von Kügelgen, Sebastian Lachapelle and the anonymous reviewers for their feedback and\r\nsuggestions." alternative_title: - Advances in Neural Information Processing Systems article_number: '1204' article_processing_charge: No arxiv: 1 author: - first_name: Marco full_name: Fumero, Marco last_name: Fumero - first_name: Florian full_name: Wenzel, Florian last_name: Wenzel - first_name: Luca full_name: Zancato, Luca last_name: Zancato - first_name: Alessandro full_name: Achille, Alessandro last_name: Achille - first_name: Emanuele full_name: Rodolà, Emanuele last_name: Rodolà - first_name: Stefano full_name: Soatto, Stefano last_name: Soatto - first_name: Bernhard full_name: Schölkopf, Bernhard last_name: Schölkopf - first_name: Francesco full_name: Locatello, Francesco id: 26cfd52f-2483-11ee-8040-88983bcc06d4 last_name: Locatello orcid: 0000-0002-4850-0683 citation: ama: 'Fumero M, Wenzel F, Zancato L, et al. Leveraging sparse and shared feature activations for disentangled representation learning. In: 37th International Conference on Neural Information Processing Systems. Vol 36. Neural Information Processing Systems Foundation; 2023.' apa: 'Fumero, M., Wenzel, F., Zancato, L., Achille, A., Rodolà, E., Soatto, S., … Locatello, F. (2023). Leveraging sparse and shared feature activations for disentangled representation learning. In 37th International Conference on Neural Information Processing Systems (Vol. 36). New Orleans, LA, United States: Neural Information Processing Systems Foundation.' chicago: Fumero, Marco, Florian Wenzel, Luca Zancato, Alessandro Achille, Emanuele Rodolà, Stefano Soatto, Bernhard Schölkopf, and Francesco Locatello. “Leveraging Sparse and Shared Feature Activations for Disentangled Representation Learning.” In 37th International Conference on Neural Information Processing Systems, Vol. 36. Neural Information Processing Systems Foundation, 2023. ieee: M. Fumero et al., “Leveraging sparse and shared feature activations for disentangled representation learning,” in 37th International Conference on Neural Information Processing Systems, New Orleans, LA, United States, 2023, vol. 36. ista: 'Fumero M, Wenzel F, Zancato L, Achille A, Rodolà E, Soatto S, Schölkopf B, Locatello F. 2023. Leveraging sparse and shared feature activations for disentangled representation learning. 37th International Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 36, 1204.' mla: Fumero, Marco, et al. “Leveraging Sparse and Shared Feature Activations for Disentangled Representation Learning.” 37th International Conference on Neural Information Processing Systems, vol. 36, 1204, Neural Information Processing Systems Foundation, 2023. short: M. Fumero, F. Wenzel, L. Zancato, A. Achille, E. Rodolà, S. Soatto, B. Schölkopf, F. Locatello, in:, 37th International Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2023. conference: end_date: 2023-12-16 location: New Orleans, LA, United States name: 'NeurIPS: Neural Information Processing Systems' start_date: 2023-12-10 corr_author: '1' das_tickbox: '0' date_created: 2023-08-22T14:19:03Z date_published: 2023-12-10T00:00:00Z date_updated: 2026-07-29T08:02:05Z day: '10' ddc: - '000' department: - _id: FrLo external_id: arxiv: - '2304.07939' file: - access_level: open_access checksum: c70e8a74e205528750c71996ba39c6c1 content_type: application/pdf creator: dernst date_created: 2026-07-29T07:58:19Z date_updated: 2026-07-29T07:58:19Z file_id: '22604' file_name: 2026_Neurips_Fumero.pdf file_size: 1466102 relation: main_file success: 1 file_date_updated: 2026-07-29T07:58:19Z has_accepted_license: '1' intvolume: ' 36' language: - iso: eng month: '12' oa: 1 oa_version: Published Version publication: 37th International Conference on Neural Information Processing Systems publication_identifier: issn: - 1049-5258 publication_status: published publisher: Neural Information Processing Systems Foundation quality_controlled: '1' researchdata_availability: no status: public supplementarymaterial: no title: Leveraging sparse and shared feature activations for disentangled representation learning type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 36 year: '2023' ... --- OA_place: publisher OA_type: gold _id: '14952' abstract: - lang: eng text: "While different neural models often exhibit latent spaces that are alike when exposed to semantically related data, this intrinsic similarity is not always immediately discernible. Towards a better understanding of this phenomenon, our work shows how representations learned from these neural modules can be translated between different pre-trained networks via simpler transformations than previously thought. An advantage of this approach is the ability to\r\nestimate these transformations using standard, well-understood algebraic procedures that have closed-form solutions. Our method directly estimates a transformation between two given latent spaces, thereby enabling effective stitching of encoders and decoders without additional training. We extensively validate the adaptability of this translation procedure in different\r\nexperimental settings: across various trainings, domains, architectures (e.g., ResNet, CNN, ViT), and in multiple downstream tasks (classification, reconstruction). Notably, we show how it is possible to zero-shot stitch text encoders and vision decoders, or vice-versa, yielding surprisingly good classification performance in this multimodal setting." acknowledgement: "This work is supported by the ERC grant no.802554 (SPECGEO), PRIN 2020 project no.2020TA3K9N (LEGO.AI), and PNRR MUR project PE0000013-FAIR. Francesco\r\nLocatello did not contribute to this work at Amazon." alternative_title: - Advances in Neural Information Processing Systems article_processing_charge: No arxiv: 1 author: - first_name: Valentino full_name: Maiorca, Valentino last_name: Maiorca - first_name: Luca full_name: Moschella, Luca last_name: Moschella - first_name: Antonio full_name: Norelli, Antonio last_name: Norelli - first_name: Marco full_name: Fumero, Marco last_name: Fumero - first_name: Francesco full_name: Locatello, Francesco id: 26cfd52f-2483-11ee-8040-88983bcc06d4 last_name: Locatello orcid: 0000-0002-4850-0683 - first_name: Emanuele full_name: Rodolà, Emanuele last_name: Rodolà citation: ama: 'Maiorca V, Moschella L, Norelli A, Fumero M, Locatello F, Rodolà E. Latent space translation via semantic alignment. In: 37th Conference on Neural Information Processing Systems. Neural Information Processing Systems Foundation; 2023:55394-55414. doi:10.52202/075280-2418' apa: 'Maiorca, V., Moschella, L., Norelli, A., Fumero, M., Locatello, F., & Rodolà, E. (2023). Latent space translation via semantic alignment. In 37th Conference on Neural Information Processing Systems (pp. 55394–55414). New Orleans, LA, United States: Neural Information Processing Systems Foundation. https://doi.org/10.52202/075280-2418' chicago: Maiorca, Valentino, Luca Moschella, Antonio Norelli, Marco Fumero, Francesco Locatello, and Emanuele Rodolà. “Latent Space Translation via Semantic Alignment.” In 37th Conference on Neural Information Processing Systems, 55394–414. Neural Information Processing Systems Foundation, 2023. https://doi.org/10.52202/075280-2418. ieee: V. Maiorca, L. Moschella, A. Norelli, M. Fumero, F. Locatello, and E. Rodolà, “Latent space translation via semantic alignment,” in 37th Conference on Neural Information Processing Systems, New Orleans, LA, United States, 2023, pp. 55394–55414. ista: 'Maiorca V, Moschella L, Norelli A, Fumero M, Locatello F, Rodolà E. 2023. Latent space translation via semantic alignment. 37th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, , 55394–55414.' mla: Maiorca, Valentino, et al. “Latent Space Translation via Semantic Alignment.” 37th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2023, pp. 55394–414, doi:10.52202/075280-2418. short: V. Maiorca, L. Moschella, A. Norelli, M. Fumero, F. Locatello, E. Rodolà, in:, 37th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2023, pp. 55394–55414. conference: end_date: 2026-12-16 location: New Orleans, LA, United States name: 'NeurIPS: Neural Information Processing Systems' start_date: 2023-12-10 das_tickbox: '0' date_created: 2024-02-07T15:08:55Z date_published: 2023-12-01T00:00:00Z date_updated: 2026-07-29T08:24:56Z day: '01' ddc: - '000' department: - _id: FrLo doi: 10.52202/075280-2418 external_id: arxiv: - '2311.00664' file: - access_level: open_access checksum: 44ec045f30f8e25ce1c8ee70feffc9b4 content_type: application/pdf creator: dernst date_created: 2026-07-29T08:23:16Z date_updated: 2026-07-29T08:23:16Z file_id: '22606' file_name: 2023_Neurips_Malorca.pdf file_size: 4858561 relation: main_file success: 1 file_date_updated: 2026-07-29T08:23:16Z fulldoi: https://doi.org/10.52202/075280-2418 has_accepted_license: '1' language: - iso: eng month: '12' oa: 1 oa_version: Published Version page: 55394-55414 publication: 37th Conference on Neural Information Processing Systems publication_status: published publisher: Neural Information Processing Systems Foundation quality_controlled: '1' researchdata_availability: no status: public supplementarymaterial: yes title: Latent space translation via semantic alignment type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2023' ... --- OA_place: publisher OA_type: gold _id: '14207' abstract: - lang: eng text: The binding problem in human cognition, concerning how the brain represents and connects objects within a fixed network of neural connections, remains a subject of intense debate. Most machine learning efforts addressing this issue in an unsupervised setting have focused on slot-based methods, which may be limiting due to their discrete nature and difficulty to express uncertainty. Recently, the Complex AutoEncoder was proposed as an alternative that learns continuous and distributed object-centric representations. However, it is only applicable to simple toy data. In this paper, we present Rotating Features, a generalization of complex-valued features to higher dimensions, and a new evaluation procedure for extracting objects from distributed representations. Additionally, we show the applicability of our approach to pre-trained features. Together, these advancements enable us to scale distributed object-centric representations from simple toy to real-world data. We believe this work advances a new paradigm for addressing the binding problem in machine learning and has the potential to inspire further innovation in the field. acknowledgement: "We thank Jascha Sohl-Dickstein and Sjoerd van Steenkiste for insightful discussions. Francesco\r\nLocatello worked on this paper outside of Amazon. Sindy Lowe was supported by the Google PhD ¨Fellowship.\r\n" alternative_title: - Advances in Neural Information Processing Systems article_processing_charge: No arxiv: 1 author: - first_name: Sindy full_name: Löwe, Sindy last_name: Löwe - first_name: Phillip full_name: Lippe, Phillip last_name: Lippe - first_name: Francesco full_name: Locatello, Francesco id: 26cfd52f-2483-11ee-8040-88983bcc06d4 last_name: Locatello orcid: 0000-0002-4850-0683 - first_name: Max full_name: Welling, Max last_name: Welling citation: ama: 'Löwe S, Lippe P, Locatello F, Welling M. Rotating features for object discovery. In: 37th Conference on Neural Information Processing Systems. Vol 36. Neural Information Processing Systems Foundation; 2023.' apa: 'Löwe, S., Lippe, P., Locatello, F., & Welling, M. (2023). Rotating features for object discovery. In 37th Conference on Neural Information Processing Systems (Vol. 36). New Orleans, LA, United States: Neural Information Processing Systems Foundation.' chicago: Löwe, Sindy, Phillip Lippe, Francesco Locatello, and Max Welling. “Rotating Features for Object Discovery.” In 37th Conference on Neural Information Processing Systems, Vol. 36. Neural Information Processing Systems Foundation, 2023. ieee: S. Löwe, P. Lippe, F. Locatello, and M. Welling, “Rotating features for object discovery,” in 37th Conference on Neural Information Processing Systems, New Orleans, LA, United States, 2023, vol. 36. ista: 'Löwe S, Lippe P, Locatello F, Welling M. 2023. Rotating features for object discovery. 37th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 36.' mla: Löwe, Sindy, et al. “Rotating Features for Object Discovery.” 37th Conference on Neural Information Processing Systems, vol. 36, Neural Information Processing Systems Foundation, 2023. short: S. Löwe, P. Lippe, F. Locatello, M. Welling, in:, 37th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2023. conference: end_date: 2023-12-16 location: New Orleans, LA, United States name: 'NeurIPS: Neural Information Processing Systems' start_date: 2023-12-10 das_tickbox: '0' date_created: 2023-08-22T14:18:00Z date_published: 2023-09-21T00:00:00Z date_updated: 2026-07-29T07:36:23Z day: '21' ddc: - '000' department: - _id: FrLo external_id: arxiv: - '2306.00600' file: - access_level: open_access checksum: 67860dc8ce60f60cfa366baa623f6a55 content_type: application/pdf creator: dernst date_created: 2026-07-29T07:35:33Z date_updated: 2026-07-29T07:35:33Z file_id: '22603' file_name: 2026_Neurips_Loewe.pdf file_size: 10788023 relation: main_file success: 1 file_date_updated: 2026-07-29T07:35:33Z has_accepted_license: '1' intvolume: ' 36' language: - iso: eng month: '09' oa: 1 oa_version: Published Version publication: 37th Conference on Neural Information Processing Systems publication_identifier: issn: - 1049-5258 publication_status: published publisher: Neural Information Processing Systems Foundation quality_controlled: '1' researchdata_availability: no scopus_import: '1' status: public supplementarymaterial: yes title: Rotating features for object discovery type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 36 year: '2023' ... --- OA_place: publisher OA_type: gold _id: '14948' abstract: - lang: eng text: "The extraction of modular object-centric representations for downstream tasks\r\nis an emerging area of research. Learning grounded representations of objects\r\nthat are guaranteed to be stable and invariant promises robust performance\r\nacross different tasks and environments. Slot Attention (SA) learns\r\nobject-centric representations by assigning objects to \\textit{slots}, but\r\npresupposes a \\textit{single} distribution from which all slots are randomly\r\ninitialised. This results in an inability to learn \\textit{specialized} slots\r\nwhich bind to specific object types and remain invariant to identity-preserving\r\nchanges in object appearance. To address this, we present\r\n\\emph{\\textsc{Co}nditional \\textsc{S}lot \\textsc{A}ttention} (\\textsc{CoSA})\r\nusing a novel concept of \\emph{Grounded Slot Dictionary} (GSD) inspired by\r\nvector quantization. Our proposed GSD comprises (i) canonical object-level\r\nproperty vectors and (ii) parametric Gaussian distributions, which define a\r\nprior over the slots. We demonstrate the benefits of our method in multiple\r\ndownstream tasks such as scene generation, composition, and task adaptation,\r\nwhilst remaining competitive with SA in popular object discovery benchmarks." acknowledgement: "A. Kori is supported by UKRI (grant agreement no. EP/S023356/1), as part of the UKRI Centre\r\nfor Doctoral Training in Safe and Trusted AI. F.D.S. Ribeiro and B. Glocker received funding from\r\nthe European Research Council (ERC) under the European Union’s Horizon 2020 research and\r\ninnovation programme (grant agreement No 757173, project MIRA, ERC-2017-STG)." article_processing_charge: No arxiv: 1 author: - first_name: Avinash full_name: Kori, Avinash last_name: Kori - first_name: Francesco full_name: Locatello, Francesco id: 26cfd52f-2483-11ee-8040-88983bcc06d4 last_name: Locatello orcid: 0000-0002-4850-0683 - first_name: Fabio De Sousa full_name: Ribeiro, Fabio De Sousa last_name: Ribeiro - first_name: Francesca full_name: Toni, Francesca last_name: Toni - first_name: Ben full_name: Glocker, Ben last_name: Glocker citation: ama: 'Kori A, Locatello F, Ribeiro FDS, Toni F, Glocker B. Grounded object centric learning. In: 12th International Conference on Learning Representations. ICLR; 2023.' apa: 'Kori, A., Locatello, F., Ribeiro, F. D. S., Toni, F., & Glocker, B. (2023). Grounded object centric learning. In 12th International Conference on Learning Representations. Vienna, Austria: ICLR.' chicago: Kori, Avinash, Francesco Locatello, Fabio De Sousa Ribeiro, Francesca Toni, and Ben Glocker. “Grounded Object Centric Learning.” In 12th International Conference on Learning Representations. ICLR, 2023. ieee: A. Kori, F. Locatello, F. D. S. Ribeiro, F. Toni, and B. Glocker, “Grounded object centric learning,” in 12th International Conference on Learning Representations, Vienna, Austria, 2023. ista: 'Kori A, Locatello F, Ribeiro FDS, Toni F, Glocker B. 2023. Grounded object centric learning. 12th International Conference on Learning Representations. ICLR: International Conference on Learning Representations.' mla: Kori, Avinash, et al. “Grounded Object Centric Learning.” 12th International Conference on Learning Representations, ICLR, 2023. short: A. Kori, F. Locatello, F.D.S. Ribeiro, F. Toni, B. Glocker, in:, 12th International Conference on Learning Representations, ICLR, 2023. conference: end_date: 2024-05-11 location: Vienna, Austria name: 'ICLR: International Conference on Learning Representations' start_date: 2024-05-07 das_tickbox: '0' date_created: 2024-02-07T14:47:04Z date_published: 2023-07-18T00:00:00Z date_updated: 2026-07-29T08:17:51Z day: '18' ddc: - '000' department: - _id: FrLo external_id: arxiv: - '2307.09437' file: - access_level: open_access checksum: b9687ba09b6ecfdfb319fe167ed07816 content_type: application/pdf creator: dernst date_created: 2026-07-29T08:13:30Z date_updated: 2026-07-29T08:13:30Z file_id: '22605' file_name: 2024_ICLR_Kori.pdf file_size: 19986955 relation: main_file success: 1 file_date_updated: 2026-07-29T08:13:30Z has_accepted_license: '1' language: - iso: eng month: '07' oa: 1 oa_version: Published Version publication: 12th International Conference on Learning Representations publication_status: published publisher: ICLR quality_controlled: '1' researchdata_availability: no status: public supplementarymaterial: yes title: Grounded object centric learning type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2023' ... --- _id: '12313' abstract: - lang: eng text: Let P be a nontorsion point on an elliptic curve defined over a number field K and consider the sequence {Bn}n∈N of the denominators of x(nP). We prove that every term of the sequence of the Bn has a primitive divisor for n greater than an effectively computable constant that we will explicitly compute. This constant will depend only on the model defining the curve. acknowledgement: "This paper is part of the author’s PhD thesis at Università of Pisa. Moreover, this\r\nproject has received funding from the European Union’s Horizon 2020 research\r\nand innovation programme under the Marie Skłodowska-Curie Grant Agreement\r\nNo. 101034413. I thank the referee for many helpful comments." article_processing_charge: Yes (in subscription journal) article_type: original arxiv: 1 author: - first_name: Matteo full_name: Verzobio, Matteo id: 7aa8f170-131e-11ed-88e1-a9efd01027cb last_name: Verzobio orcid: 0000-0002-0854-0306 citation: ama: Verzobio M. Some effectivity results for primitive divisors of elliptic divisibility  sequences. Pacific Journal of Mathematics. 2023;325(2):331-351. doi:10.2140/pjm.2023.325.331 apa: Verzobio, M. (2023). Some effectivity results for primitive divisors of elliptic divisibility  sequences. Pacific Journal of Mathematics. Mathematical Sciences Publishers. https://doi.org/10.2140/pjm.2023.325.331 chicago: Verzobio, Matteo. “Some Effectivity Results for Primitive Divisors of Elliptic Divisibility  Sequences.” Pacific Journal of Mathematics. Mathematical Sciences Publishers, 2023. https://doi.org/10.2140/pjm.2023.325.331. ieee: M. Verzobio, “Some effectivity results for primitive divisors of elliptic divisibility  sequences,” Pacific Journal of Mathematics, vol. 325, no. 2. Mathematical Sciences Publishers, pp. 331–351, 2023. ista: Verzobio M. 2023. Some effectivity results for primitive divisors of elliptic divisibility  sequences. Pacific Journal of Mathematics. 325(2), 331–351. mla: Verzobio, Matteo. “Some Effectivity Results for Primitive Divisors of Elliptic Divisibility  Sequences.” Pacific Journal of Mathematics, vol. 325, no. 2, Mathematical Sciences Publishers, 2023, pp. 331–51, doi:10.2140/pjm.2023.325.331. short: M. Verzobio, Pacific Journal of Mathematics 325 (2023) 331–351. corr_author: '1' das_tickbox: '0' date_created: 2023-01-16T11:46:19Z date_published: 2023-11-03T00:00:00Z date_updated: 2026-07-29T10:07:53Z day: '03' ddc: - '510' department: - _id: TiBr doi: 10.2140/pjm.2023.325.331 ec_funded: 1 external_id: arxiv: - '2001.02987' isi: - '001104766900001' file: - access_level: open_access checksum: b6218d16a72742d8bb38d6fc3c9bb8c6 content_type: application/pdf creator: dernst date_created: 2023-11-13T09:50:41Z date_updated: 2023-11-13T09:50:41Z file_id: '14525' file_name: 2023_PacificJourMaths_Verzobio.pdf file_size: 389897 relation: main_file success: 1 file_date_updated: 2023-11-13T09:50:41Z fulldoi: https://doi.org/10.2140/pjm.2023.325.331 has_accepted_license: '1' intvolume: ' 325' isi: 1 issue: '2' language: - iso: eng month: '11' oa: 1 oa_version: Published Version page: 331-351 project: - _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c call_identifier: H2020 grant_number: '101034413' name: 'IST-BRIDGE: International postdoctoral program' publication: Pacific Journal of Mathematics publication_identifier: eissn: - 0030-8730 publication_status: published publisher: Mathematical Sciences Publishers quality_controlled: '1' researchdata_availability: no scopus_import: '1' status: public supplementarymaterial: no title: Some effectivity results for primitive divisors of elliptic divisibility sequences tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 325 year: '2023' ... --- _id: '14245' abstract: - lang: eng text: We establish effective counting results for lattice points in families of domains in real, complex and quaternionic hyperbolic spaces of any dimension. The domains we focus on are defined as product sets with respect to an Iwasawa decomposition. Several natural diophantine problems can be reduced to counting lattice points in such domains. These include equidistribution of the ratio of the length of the shortest solution (x,y) to the gcd equation bx−ay=1 relative to the length of (a,b), where (a,b) ranges over primitive vectors in a disc whose radius increases, the natural analog of this problem in imaginary quadratic number fields, as well as equidistribution of integral solutions to the diophantine equation defined by an integral Lorentz form in three or more variables. We establish an effective rate of convergence for these equidistribution problems, depending on the size of the spectral gap associated with a suitable lattice subgroup in the isometry group of the relevant hyperbolic space. The main result underlying our discussion amounts to establishing effective joint equidistribution for the horospherical component and the radial component in the Iwasawa decomposition of lattice elements. acknowledgement: The authors thank the referee for important comments which led to significant improvements is the presentation of several results in the paper. They also thank Ami Paz for preparing the figures for this paper. Horesh thanks Ami Paz and Yakov Karasik for helpful discussions. Nevo thanks John Parker and Rene Rühr for providing some very useful references. Nevo is supported by ISF Grant No. 2095/15. article_processing_charge: Yes article_type: original arxiv: 1 author: - first_name: Tal full_name: Horesh, Tal id: C8B7BF48-8D81-11E9-BCA9-F536E6697425 last_name: Horesh - first_name: Amos full_name: Nevo, Amos last_name: Nevo citation: ama: 'Horesh T, Nevo A. Horospherical coordinates of lattice points in hyperbolic spaces: Effective counting and equidistribution. Pacific Journal of Mathematics. 2023;324(2):265-294. doi:10.2140/pjm.2023.324.265' apa: 'Horesh, T., & Nevo, A. (2023). Horospherical coordinates of lattice points in hyperbolic spaces: Effective counting and equidistribution. Pacific Journal of Mathematics. Mathematical Sciences Publishers. https://doi.org/10.2140/pjm.2023.324.265' chicago: 'Horesh, Tal, and Amos Nevo. “Horospherical Coordinates of Lattice Points in Hyperbolic Spaces: Effective Counting and Equidistribution.” Pacific Journal of Mathematics. Mathematical Sciences Publishers, 2023. https://doi.org/10.2140/pjm.2023.324.265.' ieee: 'T. Horesh and A. Nevo, “Horospherical coordinates of lattice points in hyperbolic spaces: Effective counting and equidistribution,” Pacific Journal of Mathematics, vol. 324, no. 2. Mathematical Sciences Publishers, pp. 265–294, 2023.' ista: 'Horesh T, Nevo A. 2023. Horospherical coordinates of lattice points in hyperbolic spaces: Effective counting and equidistribution. Pacific Journal of Mathematics. 324(2), 265–294.' mla: 'Horesh, Tal, and Amos Nevo. “Horospherical Coordinates of Lattice Points in Hyperbolic Spaces: Effective Counting and Equidistribution.” Pacific Journal of Mathematics, vol. 324, no. 2, Mathematical Sciences Publishers, 2023, pp. 265–94, doi:10.2140/pjm.2023.324.265.' short: T. Horesh, A. Nevo, Pacific Journal of Mathematics 324 (2023) 265–294. corr_author: '1' das_tickbox: '0' date_created: 2023-08-27T22:01:18Z date_published: 2023-07-26T00:00:00Z date_updated: 2026-07-29T10:13:41Z day: '26' ddc: - '510' department: - _id: TiBr doi: 10.2140/pjm.2023.324.265 external_id: arxiv: - '1612.08215' isi: - '001047690500001' file: - access_level: open_access checksum: a675b53cfb31fa46be1e879b7e77fe8c content_type: application/pdf creator: dernst date_created: 2023-09-05T07:26:17Z date_updated: 2023-09-05T07:26:17Z file_id: '14267' file_name: 2023_PacificJourMaths_Horesh.pdf file_size: 654895 relation: main_file success: 1 file_date_updated: 2023-09-05T07:26:17Z fulldoi: https://doi.org/10.2140/pjm.2023.324.265 has_accepted_license: '1' intvolume: ' 324' isi: 1 issue: '2' language: - iso: eng month: '07' oa: 1 oa_version: Published Version page: 265-294 publication: Pacific Journal of Mathematics publication_identifier: eissn: - 1945-5844 issn: - 0030-8730 publication_status: published publisher: Mathematical Sciences Publishers quality_controlled: '1' researchdata_availability: no scopus_import: '1' status: public supplementarymaterial: no title: 'Horospherical coordinates of lattice points in hyperbolic spaces: Effective counting and equidistribution' tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 324 year: '2023' ... --- _id: '13091' abstract: - lang: eng text: We use a function field version of the Hardy–Littlewood circle method to study the locus of free rational curves on an arbitrary smooth projective hypersurface of sufficiently low degree. On the one hand this allows us to bound the dimension of the singular locus of the moduli space of rational curves on such hypersurfaces and, on the other hand, it sheds light on Peyre’s reformulation of the Batyrev–Manin conjecture in terms of slopes with respect to the tangent bundle. acknowledgement: The authors are grateful to Paul Nelson, Per Salberger and Jason Starr for useful comments. While working on this paper the first author was supported by EPRSC grant EP/P026710/1. The research was partially conducted during the period the second author served as a Clay Research Fellow, and partially conducted during the period he was supported by Dr. Max Rössler, the Walter Haefner Foundation and the ETH Zurich Foundation. article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Timothy D full_name: Browning, Timothy D id: 35827D50-F248-11E8-B48F-1D18A9856A87 last_name: Browning orcid: 0000-0002-8314-0177 - first_name: Will full_name: Sawin, Will last_name: Sawin citation: ama: Browning TD, Sawin W. Free rational curves on low degree hypersurfaces and the circle method. Algebra & Number Theory. 2023;17(3):719-748. doi:10.2140/ant.2023.17.719 apa: Browning, T. D., & Sawin, W. (2023). Free rational curves on low degree hypersurfaces and the circle method. Algebra & Number Theory. Mathematical Sciences Publishers. https://doi.org/10.2140/ant.2023.17.719 chicago: Browning, Timothy D, and Will Sawin. “Free Rational Curves on Low Degree Hypersurfaces and the Circle Method.” Algebra & Number Theory. Mathematical Sciences Publishers, 2023. https://doi.org/10.2140/ant.2023.17.719. ieee: T. D. Browning and W. Sawin, “Free rational curves on low degree hypersurfaces and the circle method,” Algebra & Number Theory, vol. 17, no. 3. Mathematical Sciences Publishers, pp. 719–748, 2023. ista: Browning TD, Sawin W. 2023. Free rational curves on low degree hypersurfaces and the circle method. Algebra & Number Theory. 17(3), 719–748. mla: Browning, Timothy D., and Will Sawin. “Free Rational Curves on Low Degree Hypersurfaces and the Circle Method.” Algebra & Number Theory, vol. 17, no. 3, Mathematical Sciences Publishers, 2023, pp. 719–48, doi:10.2140/ant.2023.17.719. short: T.D. Browning, W. Sawin, Algebra & Number Theory 17 (2023) 719–748. corr_author: '1' das_tickbox: '0' date_created: 2023-05-28T22:01:02Z date_published: 2023-04-12T00:00:00Z date_updated: 2026-07-29T10:11:06Z day: '12' ddc: - '510' department: - _id: TiBr doi: 10.2140/ant.2023.17.719 external_id: arxiv: - '1810.06882' isi: - '000996014700004' file: - access_level: open_access checksum: 5d5d67b235905650e33cf7065d7583b4 content_type: application/pdf creator: dernst date_created: 2023-05-30T08:05:22Z date_updated: 2023-05-30T08:05:22Z file_id: '13101' file_name: 2023_AlgebraNumberTheory_Browning.pdf file_size: 1430719 relation: main_file success: 1 file_date_updated: 2023-05-30T08:05:22Z fulldoi: https://doi.org/10.2140/ant.2023.17.719 has_accepted_license: '1' intvolume: ' 17' isi: 1 issue: '3' language: - iso: eng month: '04' oa: 1 oa_version: Published Version page: 719-748 project: - _id: 26A8D266-B435-11E9-9278-68D0E5697425 grant_number: EP-P026710-2 name: Between rational and integral points publication: Algebra & Number Theory publication_identifier: eissn: - 1944-7833 issn: - 1937-0652 publication_status: published publisher: Mathematical Sciences Publishers quality_controlled: '1' researchdata_availability: no scopus_import: '1' status: public supplementarymaterial: no title: Free rational curves on low degree hypersurfaces and the circle method tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 17 year: '2023' ... --- _id: '13973' abstract: - lang: eng text: We construct families of log K3 surfaces and study the arithmetic of their members. We use this to produce explicit surfaces with an order 5 Brauer–Manin obstruction to the integral Hasse principle. acknowledgement: "This paper was completed as part of a project which received funding from the\r\nEuropean Union’s Horizon 2020 research and innovation programme under the Marie\r\nSkłodowska-Curie grant agreement No. 754411." article_processing_charge: Yes (in subscription journal) article_type: original arxiv: 1 author: - first_name: Julian full_name: Lyczak, Julian id: 3572849A-F248-11E8-B48F-1D18A9856A87 last_name: Lyczak citation: ama: Lyczak J. Order 5 Brauer–Manin obstructions to the integral Hasse principle on log K3 surfaces. Annales de l’Institut Fourier. 2023;73(2):447-478. doi:10.5802/aif.3529 apa: Lyczak, J. (2023). Order 5 Brauer–Manin obstructions to the integral Hasse principle on log K3 surfaces. Annales de l’Institut Fourier. Association des Annales de l’Institut Fourier. https://doi.org/10.5802/aif.3529 chicago: Lyczak, Julian. “Order 5 Brauer–Manin Obstructions to the Integral Hasse Principle on Log K3 Surfaces.” Annales de l’Institut Fourier. Association des Annales de l’Institut Fourier, 2023. https://doi.org/10.5802/aif.3529. ieee: J. Lyczak, “Order 5 Brauer–Manin obstructions to the integral Hasse principle on log K3 surfaces,” Annales de l’Institut Fourier, vol. 73, no. 2. Association des Annales de l’Institut Fourier, pp. 447–478, 2023. ista: Lyczak J. 2023. Order 5 Brauer–Manin obstructions to the integral Hasse principle on log K3 surfaces. Annales de l’Institut Fourier. 73(2), 447–478. mla: Lyczak, Julian. “Order 5 Brauer–Manin Obstructions to the Integral Hasse Principle on Log K3 Surfaces.” Annales de l’Institut Fourier, vol. 73, no. 2, Association des Annales de l’Institut Fourier, 2023, pp. 447–78, doi:10.5802/aif.3529. short: J. Lyczak, Annales de l’Institut Fourier 73 (2023) 447–478. corr_author: '1' das_tickbox: '0' date_created: 2023-08-06T22:01:12Z date_published: 2023-05-12T00:00:00Z date_updated: 2026-07-29T10:12:43Z day: '12' ddc: - '510' department: - _id: TiBr doi: 10.5802/aif.3529 ec_funded: 1 external_id: arxiv: - '2005.14013' isi: - '001000279500001' file: - access_level: open_access checksum: daf53fc614c894422e4c0fb3d2a2ae3e content_type: application/pdf creator: dernst date_created: 2023-08-07T07:19:42Z date_updated: 2023-08-07T07:19:42Z file_id: '13977' file_name: 2023_AnnalesFourier_Lyczak.pdf file_size: 1529821 relation: main_file success: 1 file_date_updated: 2023-08-07T07:19:42Z fulldoi: https://doi.org/10.5802/aif.3529 has_accepted_license: '1' intvolume: ' 73' isi: 1 issue: '2' language: - iso: eng license: https://creativecommons.org/licenses/by-nd/4.0/ month: '05' oa: 1 oa_version: Published Version page: 447-478 project: - _id: 260C2330-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '754411' name: ISTplus - Postdoctoral Fellowships publication: Annales de l'Institut Fourier publication_identifier: issn: - 0373-0956 publication_status: published publisher: Association des Annales de l'Institut Fourier quality_controlled: '1' researchdata_availability: no scopus_import: '1' status: public supplementarymaterial: yes title: Order 5 Brauer–Manin obstructions to the integral Hasse principle on log K3 surfaces tmp: image: /image/cc_by_nd.png legal_code_url: https://creativecommons.org/licenses/by-nd/4.0/legalcode name: Creative Commons Attribution-NoDerivatives 4.0 International (CC BY-ND 4.0) short: CC BY-ND (4.0) type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 73 year: '2023' ... --- _id: '12427' abstract: - lang: eng text: 'Let k be a number field and X a smooth, geometrically integral quasi-projective variety over k. For any linear algebraic group G over k and any G-torsor g : Z → X, we observe that if the étale-Brauer obstruction is the only one for strong approximation off a finite set of places S for all twists of Z by elements in H^1(k, G), then the étale-Brauer obstruction is the only one for strong approximation off a finite set of places S for X. As an application, we show that any homogeneous space of the form G/H with G a connected linear algebraic group over k satisfies strong approximation off the infinite places with étale-Brauer obstruction, under some compactness assumptions when k is totally real. We also prove more refined strong approximation results for homogeneous spaces of the form G/H with G semisimple simply connected and H finite, using the theory of torsors and descent.' article_processing_charge: No article_type: original author: - first_name: Francesca full_name: Balestrieri, Francesca id: 3ACCD756-F248-11E8-B48F-1D18A9856A87 last_name: Balestrieri citation: ama: Balestrieri F. Some remarks on strong approximation and applications to homogeneous spaces of linear algebraic groups. Proceedings of the American Mathematical Society. 2023;151(3):907-914. doi:10.1090/proc/15239 apa: Balestrieri, F. (2023). Some remarks on strong approximation and applications to homogeneous spaces of linear algebraic groups. Proceedings of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/proc/15239 chicago: Balestrieri, Francesca. “Some Remarks on Strong Approximation and Applications to Homogeneous Spaces of Linear Algebraic Groups.” Proceedings of the American Mathematical Society. American Mathematical Society, 2023. https://doi.org/10.1090/proc/15239. ieee: F. Balestrieri, “Some remarks on strong approximation and applications to homogeneous spaces of linear algebraic groups,” Proceedings of the American Mathematical Society, vol. 151, no. 3. American Mathematical Society, pp. 907–914, 2023. ista: Balestrieri F. 2023. Some remarks on strong approximation and applications to homogeneous spaces of linear algebraic groups. Proceedings of the American Mathematical Society. 151(3), 907–914. mla: Balestrieri, Francesca. “Some Remarks on Strong Approximation and Applications to Homogeneous Spaces of Linear Algebraic Groups.” Proceedings of the American Mathematical Society, vol. 151, no. 3, American Mathematical Society, 2023, pp. 907–14, doi:10.1090/proc/15239. short: F. Balestrieri, Proceedings of the American Mathematical Society 151 (2023) 907–914. corr_author: '1' das_tickbox: '0' date_created: 2023-01-29T23:00:58Z date_published: 2023-01-01T00:00:00Z date_updated: 2026-07-29T10:09:11Z day: '01' department: - _id: TiBr doi: 10.1090/proc/15239 external_id: isi: - '000898440000001' fulldoi: https://doi.org/10.1090/proc/15239 intvolume: ' 151' isi: 1 issue: '3' language: - iso: eng main_file_link: - open_access: '1' url: https://hal.science/hal-03013498/ month: '01' oa: 1 oa_version: Preprint page: 907-914 publication: Proceedings of the American Mathematical Society publication_identifier: eissn: - 1088-6826 issn: - 0002-9939 publication_status: published publisher: American Mathematical Society quality_controlled: '1' researchdata_availability: no scopus_import: '1' status: public supplementarymaterial: no title: Some remarks on strong approximation and applications to homogeneous spaces of linear algebraic groups type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 151 year: '2023' ... --- _id: '12916' abstract: - lang: eng text: "We apply a variant of the square-sieve to produce an upper bound for the number of rational points of bounded height on a family of surfaces that admit a fibration over P1 whose general fibre is a hyperelliptic curve. The implied constant does not depend on the coefficients of the polynomial defining the surface.\r\n" article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Dante full_name: Bonolis, Dante id: 6A459894-5FDD-11E9-AF35-BB24E6697425 last_name: Bonolis - first_name: Timothy D full_name: Browning, Timothy D id: 35827D50-F248-11E8-B48F-1D18A9856A87 last_name: Browning orcid: 0000-0002-8314-0177 citation: ama: Bonolis D, Browning TD. Uniform bounds for rational points on hyperelliptic fibrations. Annali della Scuola Normale Superiore di Pisa, Classe di Scienze. 2023;24(1):173-204. doi:10.2422/2036-2145.202010_018 apa: Bonolis, D., & Browning, T. D. (2023). Uniform bounds for rational points on hyperelliptic fibrations. Annali Della Scuola Normale Superiore Di Pisa, Classe Di Scienze. Scuola Normale Superiore - Edizioni della Normale. https://doi.org/10.2422/2036-2145.202010_018 chicago: Bonolis, Dante, and Timothy D Browning. “Uniform Bounds for Rational Points on Hyperelliptic Fibrations.” Annali Della Scuola Normale Superiore Di Pisa, Classe Di Scienze. Scuola Normale Superiore - Edizioni della Normale, 2023. https://doi.org/10.2422/2036-2145.202010_018. ieee: D. Bonolis and T. D. Browning, “Uniform bounds for rational points on hyperelliptic fibrations,” Annali della Scuola Normale Superiore di Pisa, Classe di Scienze, vol. 24, no. 1. Scuola Normale Superiore - Edizioni della Normale, pp. 173–204, 2023. ista: Bonolis D, Browning TD. 2023. Uniform bounds for rational points on hyperelliptic fibrations. Annali della Scuola Normale Superiore di Pisa, Classe di Scienze. 24(1), 173–204. mla: Bonolis, Dante, and Timothy D. Browning. “Uniform Bounds for Rational Points on Hyperelliptic Fibrations.” Annali Della Scuola Normale Superiore Di Pisa, Classe Di Scienze, vol. 24, no. 1, Scuola Normale Superiore - Edizioni della Normale, 2023, pp. 173–204, doi:10.2422/2036-2145.202010_018. short: D. Bonolis, T.D. Browning, Annali Della Scuola Normale Superiore Di Pisa, Classe Di Scienze 24 (2023) 173–204. corr_author: '1' das_tickbox: '0' date_created: 2023-05-07T22:01:04Z date_published: 2023-02-16T00:00:00Z date_updated: 2026-07-29T10:10:35Z day: '16' department: - _id: TiBr doi: 10.2422/2036-2145.202010_018 external_id: arxiv: - '2007.14182' fulldoi: https://doi.org/10.2422/2036-2145.202010_018 intvolume: ' 24' issue: '1' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.2007.14182 month: '02' oa: 1 oa_version: Preprint page: 173-204 publication: Annali della Scuola Normale Superiore di Pisa, Classe di Scienze publication_identifier: eissn: - 2036-2145 issn: - 0391-173X publication_status: published publisher: Scuola Normale Superiore - Edizioni della Normale quality_controlled: '1' researchdata_availability: no scopus_import: '1' status: public supplementarymaterial: no title: Uniform bounds for rational points on hyperelliptic fibrations type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 24 year: '2023' ... --- _id: '13180' abstract: - lang: eng text: We study the density of everywhere locally soluble diagonal quadric surfaces, parameterised by rational points that lie on a split quadric surface article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Timothy D full_name: Browning, Timothy D id: 35827D50-F248-11E8-B48F-1D18A9856A87 last_name: Browning orcid: 0000-0002-8314-0177 - first_name: Julian full_name: Lyczak, Julian id: 3572849A-F248-11E8-B48F-1D18A9856A87 last_name: Lyczak - first_name: Roman full_name: Sarapin, Roman last_name: Sarapin citation: ama: Browning TD, Lyczak J, Sarapin R. Local solubility for a family of quadrics over a split quadric surface. Involve. 2023;16(2):331-342. doi:10.2140/involve.2023.16.331 apa: Browning, T. D., Lyczak, J., & Sarapin, R. (2023). Local solubility for a family of quadrics over a split quadric surface. Involve. Mathematical Sciences Publishers. https://doi.org/10.2140/involve.2023.16.331 chicago: Browning, Timothy D, Julian Lyczak, and Roman Sarapin. “Local Solubility for a Family of Quadrics over a Split Quadric Surface.” Involve. Mathematical Sciences Publishers, 2023. https://doi.org/10.2140/involve.2023.16.331. ieee: T. D. Browning, J. Lyczak, and R. Sarapin, “Local solubility for a family of quadrics over a split quadric surface,” Involve, vol. 16, no. 2. Mathematical Sciences Publishers, pp. 331–342, 2023. ista: Browning TD, Lyczak J, Sarapin R. 2023. Local solubility for a family of quadrics over a split quadric surface. Involve. 16(2), 331–342. mla: Browning, Timothy D., et al. “Local Solubility for a Family of Quadrics over a Split Quadric Surface.” Involve, vol. 16, no. 2, Mathematical Sciences Publishers, 2023, pp. 331–42, doi:10.2140/involve.2023.16.331. short: T.D. Browning, J. Lyczak, R. Sarapin, Involve 16 (2023) 331–342. corr_author: '1' das_tickbox: '0' date_created: 2023-07-02T22:00:43Z date_published: 2023-05-26T00:00:00Z date_updated: 2026-07-29T10:11:41Z day: '26' department: - _id: TiBr doi: 10.2140/involve.2023.16.331 external_id: arxiv: - '2203.06881' fulldoi: https://doi.org/10.2140/involve.2023.16.331 intvolume: ' 16' issue: '2' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/2203.06881 month: '05' oa: 1 oa_version: Preprint page: 331-342 publication: Involve publication_identifier: eissn: - 1944-4184 issn: - 1944-4176 publication_status: published publisher: Mathematical Sciences Publishers quality_controlled: '1' researchdata_availability: no scopus_import: '1' status: public supplementarymaterial: no title: Local solubility for a family of quadrics over a split quadric surface type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 16 year: '2023' ... --- _id: '14717' abstract: - lang: eng text: We count primitive lattices of rank d inside Zn as their covolume tends to infinity, with respect to certain parameters of such lattices. These parameters include, for example, the subspace that a lattice spans, namely its projection to the Grassmannian; its homothety class and its equivalence class modulo rescaling and rotation, often referred to as a shape. We add to a prior work of Schmidt by allowing sets in the spaces of parameters that are general enough to conclude the joint equidistribution of these parameters. In addition to the primitive d-lattices Λ themselves, we also consider their orthogonal complements in Zn⁠, A1⁠, and show that the equidistribution occurs jointly for Λ and A1⁠. Finally, our asymptotic formulas for the number of primitive lattices include an explicit bound on the error term. acknowledgement: This work was done when both authors were visiting Institute of Science and Technology (IST) Austria. T.H. was being supported by Engineering and Physical Sciences Research Council grant EP/P026710/1. Y.K. had a great time there and is grateful for the hospitality. The appendix to this paper is largely based on a mini course T.H. had given at IST in February 2020. article_processing_charge: Yes (via OA deal) article_type: original arxiv: 1 author: - first_name: Tal full_name: Horesh, Tal id: C8B7BF48-8D81-11E9-BCA9-F536E6697425 last_name: Horesh - first_name: Yakov full_name: Karasik, Yakov last_name: Karasik citation: ama: Horesh T, Karasik Y. Equidistribution of primitive lattices in ℝn. Quarterly Journal of Mathematics. 2023;74(4):1253-1294. doi:10.1093/qmath/haad008 apa: Horesh, T., & Karasik, Y. (2023). Equidistribution of primitive lattices in ℝn. Quarterly Journal of Mathematics. Oxford University Press. https://doi.org/10.1093/qmath/haad008 chicago: Horesh, Tal, and Yakov Karasik. “Equidistribution of Primitive Lattices in ℝn.” Quarterly Journal of Mathematics. Oxford University Press, 2023. https://doi.org/10.1093/qmath/haad008. ieee: T. Horesh and Y. Karasik, “Equidistribution of primitive lattices in ℝn,” Quarterly Journal of Mathematics, vol. 74, no. 4. Oxford University Press, pp. 1253–1294, 2023. ista: Horesh T, Karasik Y. 2023. Equidistribution of primitive lattices in ℝn. Quarterly Journal of Mathematics. 74(4), 1253–1294. mla: Horesh, Tal, and Yakov Karasik. “Equidistribution of Primitive Lattices in ℝn.” Quarterly Journal of Mathematics, vol. 74, no. 4, Oxford University Press, 2023, pp. 1253–94, doi:10.1093/qmath/haad008. short: T. Horesh, Y. Karasik, Quarterly Journal of Mathematics 74 (2023) 1253–1294. corr_author: '1' das_tickbox: '0' date_created: 2023-12-31T23:01:03Z date_published: 2023-12-01T00:00:00Z date_updated: 2026-07-29T10:22:09Z day: '01' ddc: - '510' department: - _id: TiBr doi: 10.1093/qmath/haad008 external_id: arxiv: - '2012.04508' isi: - '001005945400001' file: - access_level: open_access checksum: bf29baa9eae8500f3374dbcb80712687 content_type: application/pdf creator: dernst date_created: 2024-01-02T07:37:09Z date_updated: 2024-01-02T07:37:09Z file_id: '14720' file_name: 2023_QuarterlyJourMath_Horesh.pdf file_size: 724748 relation: main_file success: 1 file_date_updated: 2024-01-02T07:37:09Z fulldoi: https://doi.org/10.1093/qmath/haad008 has_accepted_license: '1' intvolume: ' 74' isi: 1 issue: '4' language: - iso: eng month: '12' oa: 1 oa_version: Published Version page: 1253-1294 project: - _id: 26A8D266-B435-11E9-9278-68D0E5697425 grant_number: EP-P026710-2 name: Between rational and integral points publication: Quarterly Journal of Mathematics publication_identifier: eissn: - 1464-3847 issn: - 0033-5606 publication_status: published publisher: Oxford University Press quality_controlled: '1' researchdata_availability: no scopus_import: '1' status: public supplementarymaterial: no title: Equidistribution of primitive lattices in ℝn tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 74 year: '2023' ... --- _id: '18179' abstract: - lang: eng text: 'Linnik type problems concern the distribution of projections of integral points on the unit sphere as their norm increases, and different generalizations of this phenomenon. Our work addresses a question of this type: we prove the uniform distribution of the projections of primitive Z2 points in the p-adic unit sphere, as their (real) norm tends to infinity. The proof is via counting lattice points in semi-simple S-arithmetic groups.' - lang: fre text: 'Les problèmes de type Linnik concernent la distribution des projections des points entiers sur la sphère unitaire lorsque leur norme augmente et différentes généralisations de ce phénomène. Notre travail s’intéresse à une question de ce type : nous prouvons la distribution uniforme des projections des points primitifs de Z2 sur la sphère unitaire p-adique lorsque leur norme (réelle) tend vers l’infini. La preuve se fait en comptant les points d’un réseau dans des S-groupes arithmétiques semi-simples.' acknowledgement: The second author is supported by EPRSC grant EP/P026710/1. article_processing_charge: Yes (in subscription journal) article_type: original arxiv: 1 author: - first_name: Antonin full_name: Guilloux, Antonin last_name: Guilloux - first_name: Tal full_name: Horesh, Tal id: C8B7BF48-8D81-11E9-BCA9-F536E6697425 last_name: Horesh citation: ama: Guilloux A, Horesh T. p-adic directions of primitive vectors. Publications mathématiques de Besançon - Algèbre et Théorie des nombres. 2023;2023:85-107. doi:10.5802/pmb.50 apa: Guilloux, A., & Horesh, T. (2023). p-adic directions of primitive vectors. Publications Mathématiques de Besançon - Algèbre et Théorie Des Nombres. Presses Universitaires de Franche-Comté. https://doi.org/10.5802/pmb.50 chicago: Guilloux, Antonin, and Tal Horesh. “P-Adic Directions of Primitive Vectors.” Publications Mathématiques de Besançon - Algèbre et Théorie Des Nombres. Presses Universitaires de Franche-Comté, 2023. https://doi.org/10.5802/pmb.50. ieee: A. Guilloux and T. Horesh, “p-adic directions of primitive vectors,” Publications mathématiques de Besançon - Algèbre et Théorie des nombres, vol. 2023. Presses Universitaires de Franche-Comté, pp. 85–107, 2023. ista: Guilloux A, Horesh T. 2023. p-adic directions of primitive vectors. Publications mathématiques de Besançon - Algèbre et Théorie des nombres. 2023, 85–107. mla: Guilloux, Antonin, and Tal Horesh. “P-Adic Directions of Primitive Vectors.” Publications Mathématiques de Besançon - Algèbre et Théorie Des Nombres, vol. 2023, Presses Universitaires de Franche-Comté, 2023, pp. 85–107, doi:10.5802/pmb.50. short: A. Guilloux, T. Horesh, Publications Mathématiques de Besançon - Algèbre et Théorie Des Nombres 2023 (2023) 85–107. corr_author: '1' das_tickbox: '0' date_created: 2024-10-06T22:01:13Z date_published: 2023-06-15T00:00:00Z date_updated: 2026-07-29T10:40:38Z day: '15' ddc: - '510' department: - _id: TiBr doi: 10.5802/pmb.50 external_id: arxiv: - '2103.10889' file: - access_level: open_access checksum: cefc47a2cf55a87f8e4960197f73353b content_type: application/pdf creator: dernst date_created: 2024-10-07T11:32:32Z date_updated: 2024-10-07T11:32:32Z file_id: '18186' file_name: 2023_MathBesancon_Guilloux.pdf file_size: 1399390 relation: main_file success: 1 file_date_updated: 2024-10-07T11:32:32Z fulldoi: https://doi.org/10.5802/pmb.50 has_accepted_license: '1' intvolume: ' 2023' language: - iso: eng month: '06' oa: 1 oa_version: Published Version page: 85-107 project: - _id: 26A8D266-B435-11E9-9278-68D0E5697425 grant_number: EP-P026710-2 name: Between rational and integral points publication: Publications mathématiques de Besançon - Algèbre et Théorie des nombres publication_identifier: eissn: - 2592-6616 issn: - 2804-8504 publication_status: published publisher: Presses Universitaires de Franche-Comté quality_controlled: '1' researchdata_availability: no scopus_import: '1' status: public supplementarymaterial: no title: p-adic directions of primitive vectors tmp: image: /image/cc_by_nd.png legal_code_url: https://creativecommons.org/licenses/by-nd/4.0/legalcode name: Creative Commons Attribution-NoDerivatives 4.0 International (CC BY-ND 4.0) short: CC BY-ND (4.0) type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 2023 year: '2023' ... --- _id: '8682' abstract: - lang: eng text: It is known that the Brauer--Manin obstruction to the Hasse principle is vacuous for smooth Fano hypersurfaces of dimension at least 3 over any number field. Moreover, for such varieties it follows from a general conjecture of Colliot-Thélène that the Brauer--Manin obstruction to the Hasse principle should be the only one, so that the Hasse principle is expected to hold. Working over the field of rational numbers and ordering Fano hypersurfaces of fixed degree and dimension by height, we prove that almost every such hypersurface satisfies the Hasse principle provided that the dimension is at least 3. This proves a conjecture of Poonen and Voloch in every case except for cubic surfaces. article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Timothy D full_name: Browning, Timothy D id: 35827D50-F248-11E8-B48F-1D18A9856A87 last_name: Browning orcid: 0000-0002-8314-0177 - first_name: Pierre Le full_name: Boudec, Pierre Le last_name: Boudec - first_name: Will full_name: Sawin, Will last_name: Sawin citation: ama: Browning TD, Boudec PL, Sawin W. The Hasse principle for random Fano hypersurfaces. Annals of Mathematics. 2023;197(3):1115-1203. doi:10.4007/annals.2023.197.3.3 apa: Browning, T. D., Boudec, P. L., & Sawin, W. (2023). The Hasse principle for random Fano hypersurfaces. Annals of Mathematics. Princeton University. https://doi.org/10.4007/annals.2023.197.3.3 chicago: Browning, Timothy D, Pierre Le Boudec, and Will Sawin. “The Hasse Principle for Random Fano Hypersurfaces.” Annals of Mathematics. Princeton University, 2023. https://doi.org/10.4007/annals.2023.197.3.3. ieee: T. D. Browning, P. L. Boudec, and W. Sawin, “The Hasse principle for random Fano hypersurfaces,” Annals of Mathematics, vol. 197, no. 3. Princeton University, pp. 1115–1203, 2023. ista: Browning TD, Boudec PL, Sawin W. 2023. The Hasse principle for random Fano hypersurfaces. Annals of Mathematics. 197(3), 1115–1203. mla: Browning, Timothy D., et al. “The Hasse Principle for Random Fano Hypersurfaces.” Annals of Mathematics, vol. 197, no. 3, Princeton University, 2023, pp. 1115–203, doi:10.4007/annals.2023.197.3.3. short: T.D. Browning, P.L. Boudec, W. Sawin, Annals of Mathematics 197 (2023) 1115–1203. corr_author: '1' das_tickbox: '0' date_created: 2020-10-19T14:28:50Z date_published: 2023-05-01T00:00:00Z date_updated: 2026-07-29T10:41:58Z day: '01' department: - _id: TiBr doi: 10.4007/annals.2023.197.3.3 external_id: arxiv: - '2006.02356' isi: - '000966611000003' fulldoi: https://doi.org/10.4007/annals.2023.197.3.3 intvolume: ' 197' isi: 1 issue: '3' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/2006.02356 month: '05' oa: 1 oa_version: Preprint page: 1115-1203 publication: Annals of Mathematics publication_identifier: issn: - 0003-486X publication_status: published publisher: Princeton University quality_controlled: '1' related_material: link: - description: News on IST Homepage relation: press_release url: https://ist.ac.at/en/news/when-is-necessary-sufficient/ researchdata_availability: no scopus_import: '1' status: public supplementarymaterial: no title: The Hasse principle for random Fano hypersurfaces type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 197 year: '2023' ... --- _id: '9034' abstract: - lang: eng text: We determine an asymptotic formula for the number of integral points of bounded height on a blow-up of P3 outside certain planes using universal torsors. acknowledgement: This work was supported by the German Academic Exchange Service. Parts of this article were prepared at the Institut de Mathémathiques de Jussieu—Paris Rive Gauche. I wish to thank Antoine Chambert-Loir for his remarks and the institute for its hospitality, as well as the anonymous referee for several useful remarks and suggestions for improvements. article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Florian Alexander full_name: Wilsch, Florian Alexander id: 560601DA-8D36-11E9-A136-7AC1E5697425 last_name: Wilsch orcid: 0000-0001-7302-8256 citation: ama: Wilsch FA. Integral points of bounded height on a log Fano threefold. International Mathematics Research Notices. 2023;2023(8):6780-6808. doi:10.1093/imrn/rnac048 apa: Wilsch, F. A. (2023). Integral points of bounded height on a log Fano threefold. International Mathematics Research Notices. Oxford University Press. https://doi.org/10.1093/imrn/rnac048 chicago: Wilsch, Florian Alexander. “Integral Points of Bounded Height on a Log Fano Threefold.” International Mathematics Research Notices. Oxford University Press, 2023. https://doi.org/10.1093/imrn/rnac048. ieee: F. A. Wilsch, “Integral points of bounded height on a log Fano threefold,” International Mathematics Research Notices, vol. 2023, no. 8. Oxford University Press, pp. 6780–6808, 2023. ista: Wilsch FA. 2023. Integral points of bounded height on a log Fano threefold. International Mathematics Research Notices. 2023(8), 6780–6808. mla: Wilsch, Florian Alexander. “Integral Points of Bounded Height on a Log Fano Threefold.” International Mathematics Research Notices, vol. 2023, no. 8, Oxford University Press, 2023, pp. 6780–808, doi:10.1093/imrn/rnac048. short: F.A. Wilsch, International Mathematics Research Notices 2023 (2023) 6780–6808. corr_author: '1' das_tickbox: '0' date_created: 2021-01-22T09:31:09Z date_published: 2023-04-01T00:00:00Z date_updated: 2026-07-29T10:43:18Z day: '01' department: - _id: TiBr doi: 10.1093/imrn/rnac048 external_id: arxiv: - '1901.08503' isi: - '000773116000001' fulldoi: https://doi.org/10.1093/imrn/rnac048 intvolume: ' 2023' isi: 1 issue: '8' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1901.08503 month: '04' oa: 1 oa_version: Preprint page: 6780-6808 publication: International Mathematics Research Notices publication_identifier: eissn: - 1687-0247 issn: - 1073-7928 publication_status: published publisher: Oxford University Press quality_controlled: '1' researchdata_availability: no scopus_import: '1' status: public supplementarymaterial: no title: Integral points of bounded height on a log Fano threefold type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 2023 year: '2023' ... --- OA_place: repository _id: '18294' abstract: - lang: eng text: Using a two-dimensional version of the delta method, we establish an asymptotic formula for the number of rational points of bounded height on non-singular complete intersections of cubic and quadric hypersurfaces of dimension at least 23 over Fq(t), provided cha(Fq)>3. Under the same hypotheses, we also verify weak approximation. article_number: '2306.02718' article_processing_charge: No arxiv: 1 author: - first_name: Jakob full_name: Glas, Jakob id: d6423cba-dc74-11ea-a0a7-ee61689ff5fb last_name: Glas citation: ama: Glas J. Complete intersections of cubic and quadric hypersurfaces over Fq(t). arXiv. doi:10.48550/arXiv.2306.02718 apa: Glas, J. (n.d.). Complete intersections of cubic and quadric hypersurfaces over Fq(t). arXiv. https://doi.org/10.48550/arXiv.2306.02718 chicago: Glas, Jakob. “Complete Intersections of Cubic and Quadric Hypersurfaces over Fq(T).” ArXiv, n.d. https://doi.org/10.48550/arXiv.2306.02718. ieee: J. Glas, “Complete intersections of cubic and quadric hypersurfaces over Fq(t),” arXiv. . ista: Glas J. Complete intersections of cubic and quadric hypersurfaces over Fq(t). arXiv, 2306.02718. mla: Glas, Jakob. “Complete Intersections of Cubic and Quadric Hypersurfaces over Fq(T).” ArXiv, 2306.02718, doi:10.48550/arXiv.2306.02718. short: J. Glas, ArXiv (n.d.). corr_author: '1' das_tickbox: '0' date_created: 2024-10-10T13:08:05Z date_published: 2023-06-05T00:00:00Z date_updated: 2026-07-29T10:41:28Z day: '05' department: - _id: TiBr doi: 10.48550/arXiv.2306.02718 external_id: arxiv: - '2306.02718' fulldoi: https://doi.org/10.48550/arXiv.2306.02718 language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.2306.02718 month: '06' oa: 1 oa_version: Preprint publication: arXiv publication_status: draft related_material: record: - id: '18132' relation: dissertation_contains status: public researchdata_availability: no status: public supplementarymaterial: no title: Complete intersections of cubic and quadric hypersurfaces over Fq(t) tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: preprint user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 year: '2023' ... --- _id: '13097' abstract: - lang: eng text: 'Vertebrate movement is orchestrated by spinal inter- and motor neurons that, together with sensory and cognitive input, produce dynamic motor behaviors. These behaviors vary from the simple undulatory swimming of fish and larval aquatic species to the highly coordinated running, reaching and grasping of mice, humans and other mammals. This variation raises the fundamental question of how spinal circuits have changed in register with motor behavior. In simple, undulatory fish, exemplified by the lamprey, two broad classes of interneurons shape motor neuron output: ipsilateral-projecting excitatory neurons, and commissural-projecting inhibitory neurons. An additional class of ipsilateral inhibitory neurons is required to generate escape swim behavior in larval zebrafish and tadpoles. In limbed vertebrates, a more complex spinal neuron composition is observed. In this review, we provide evidence that movement elaboration correlates with an increase and specialization of these three basic interneuron types into molecularly, anatomically, and functionally distinct subpopulations. We summarize recent work linking neuron types to movement-pattern generation across fish, amphibians, reptiles, birds and mammals.' acknowledgement: 'This work was supported by the ERC Starting grant, ERC-2021-STG #101041551.' article_number: '1146449' article_processing_charge: Yes article_type: original author: - first_name: Alexia C full_name: Wilson, Alexia C id: 5230e794-15b2-11ec-abd3-e2d5335ebd1d last_name: Wilson orcid: 0000-0001-6191-1367 - first_name: Lora Beatrice Jaeger full_name: Sweeney, Lora Beatrice Jaeger id: 56BE8254-C4F0-11E9-8E45-0B23E6697425 last_name: Sweeney orcid: 0000-0001-9242-5601 citation: ama: 'Wilson AC, Sweeney LB. Spinal cords: Symphonies of interneurons across species. Frontiers in Neural Circuits. 2023;17. doi:10.3389/fncir.2023.1146449' apa: 'Wilson, A. C., & Sweeney, L. B. (2023). Spinal cords: Symphonies of interneurons across species. Frontiers in Neural Circuits. Frontiers. https://doi.org/10.3389/fncir.2023.1146449' chicago: 'Wilson, Alexia C, and Lora B. Sweeney. “Spinal Cords: Symphonies of Interneurons across Species.” Frontiers in Neural Circuits. Frontiers, 2023. https://doi.org/10.3389/fncir.2023.1146449.' ieee: 'A. C. Wilson and L. B. Sweeney, “Spinal cords: Symphonies of interneurons across species,” Frontiers in Neural Circuits, vol. 17. Frontiers, 2023.' ista: 'Wilson AC, Sweeney LB. 2023. Spinal cords: Symphonies of interneurons across species. Frontiers in Neural Circuits. 17, 1146449.' mla: 'Wilson, Alexia C., and Lora B. Sweeney. “Spinal Cords: Symphonies of Interneurons across Species.” Frontiers in Neural Circuits, vol. 17, 1146449, Frontiers, 2023, doi:10.3389/fncir.2023.1146449.' short: A.C. Wilson, L.B. Sweeney, Frontiers in Neural Circuits 17 (2023). corr_author: '1' date_created: 2023-05-28T22:01:04Z date_published: 2023-04-26T00:00:00Z date_updated: 2026-07-29T12:55:11Z day: '26' ddc: - '570' department: - _id: LoSw doi: 10.3389/fncir.2023.1146449 external_id: isi: - '000984606200001' pmid: - '37180760' file: - access_level: open_access checksum: 7efd06de284a28e91e97127611a9c3fd content_type: application/pdf creator: dernst date_created: 2024-01-03T13:33:21Z date_updated: 2024-01-03T13:33:21Z file_id: '14729' file_name: 2023_FrontiersNeuralCircuits_Wilson.pdf file_size: 6667157 relation: main_file success: 1 file_date_updated: 2024-01-03T13:33:21Z fulldoi: https://doi.org/10.3389/fncir.2023.1146449 has_accepted_license: '1' intvolume: ' 17' isi: 1 language: - iso: eng month: '04' oa: 1 oa_version: Published Version pmid: 1 project: - _id: ebb66355-77a9-11ec-83b8-b8ac210a4dae grant_number: '101041551' name: Development and Evolution of Tetrapod Motor Circuits publication: Frontiers in Neural Circuits publication_identifier: issn: - 1662-5110 publication_status: published publisher: Frontiers quality_controlled: '1' related_material: record: - id: '20735' relation: dissertation_contains status: public scopus_import: '1' status: public title: 'Spinal cords: Symphonies of interneurons across species' tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 17 year: '2023' ... --- _id: '13120' abstract: - lang: eng text: 'We formalized general (i.e., type-0) grammars using the Lean 3 proof assistant. We defined basic notions of rewrite rules and of words derived by a grammar, and used grammars to show closure of the class of type-0 languages under four operations: union, reversal, concatenation, and the Kleene star. The literature mostly focuses on Turing machine arguments, which are possibly more difficult to formalize. For the Kleene star, we could not follow the literature and came up with our own grammar-based construction.' acknowledgement: "Jasmin Blanchette: This research has received funding from the Netherlands Organization\r\nfor Scientific Research (NWO) under the Vidi program (project No. 016.Vidi.189.037, Lean Forward).\r\n__\r\nWe thank Vladimir Kolmogorov for making this collaboration possible. We\r\nthank Václav Končický for discussing ideas about the Kleene star construction. We thank Patrick Johnson, Floris van Doorn, and Damiano Testa for their small yet very valuable contributions to our code. We thank Eric Wieser for simplifying one of our proofs. We thank Mark Summerfield for suggesting textual improvements. We thank the anonymous reviewers for very helpful comments. Finally, we thank the Lean community for helping us with various technical issues and answering many questions. " alternative_title: - LIPIcs article_number: '15' article_processing_charge: No arxiv: 1 author: - first_name: Martin full_name: Dvorak, Martin id: 40ED02A8-C8B4-11E9-A9C0-453BE6697425 last_name: Dvorak orcid: 0000-0001-5293-214X - first_name: Jasmin full_name: Blanchette, Jasmin last_name: Blanchette citation: ama: 'Dvorak M, Blanchette J. Closure properties of general grammars - formally verified. In: 14th International Conference on Interactive Theorem Proving. Vol 268. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.ITP.2023.15' apa: 'Dvorak, M., & Blanchette, J. (2023). Closure properties of general grammars - formally verified. In 14th International Conference on Interactive Theorem Proving (Vol. 268). Bialystok, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ITP.2023.15' chicago: Dvorak, Martin, and Jasmin Blanchette. “Closure Properties of General Grammars - Formally Verified.” In 14th International Conference on Interactive Theorem Proving, Vol. 268. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.ITP.2023.15. ieee: M. Dvorak and J. Blanchette, “Closure properties of general grammars - formally verified,” in 14th International Conference on Interactive Theorem Proving, Bialystok, Poland, 2023, vol. 268. ista: 'Dvorak M, Blanchette J. 2023. Closure properties of general grammars - formally verified. 14th International Conference on Interactive Theorem Proving. ITP: Interactive Theorem Proving, LIPIcs, vol. 268, 15.' mla: Dvorak, Martin, and Jasmin Blanchette. “Closure Properties of General Grammars - Formally Verified.” 14th International Conference on Interactive Theorem Proving, vol. 268, 15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:10.4230/LIPIcs.ITP.2023.15. short: M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. conference: end_date: 2023-08-04 location: Bialystok, Poland name: 'ITP: Interactive Theorem Proving' start_date: 2023-07-31 corr_author: '1' date_created: 2023-06-05T07:29:05Z date_published: 2023-07-27T00:00:00Z date_updated: 2026-07-29T12:56:51Z day: '27' ddc: - '000' department: - _id: GradSch - _id: VlKo doi: 10.4230/LIPIcs.ITP.2023.15 external_id: arxiv: - '2302.06420' isi: - '001515590500015' file: - access_level: open_access checksum: 773a0197f05b67feaa6cb1e17ec3642d content_type: application/pdf creator: dernst date_created: 2023-08-07T11:55:43Z date_updated: 2023-08-07T11:55:43Z file_id: '13982' file_name: 2023_LIPIcS_Dvorak.pdf file_size: 715976 relation: main_file success: 1 file_date_updated: 2023-08-07T11:55:43Z fulldoi: https://doi.org/10.4230/LIPIcs.ITP.2023.15 has_accepted_license: '1' intvolume: ' 268' isi: 1 language: - iso: eng month: '07' oa: 1 oa_version: Published Version publication: 14th International Conference on Interactive Theorem Proving publication_identifier: eissn: - 1868-8969 isbn: - '9783959772846' publication_status: published publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik quality_controlled: '1' related_material: link: - relation: software url: https://github.com/madvorak/grammars/tree/publish record: - id: '21393' relation: dissertation_contains status: public scopus_import: '1' status: public title: Closure properties of general grammars - formally verified tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 268 year: '2023' ... --- _id: '13049' abstract: - lang: eng text: "We propose a computational design approach for covering a surface with individually addressable RGB LEDs, effectively forming a low-resolution surface screen. To achieve a low-cost and scalable approach, we propose creating designs from flat PCB panels bent in-place along the surface of a 3D printed core. Working with standard rigid PCBs enables the use of\r\nestablished PCB manufacturing services, allowing the fabrication of designs with several hundred LEDs. \r\nOur approach optimizes the PCB geometry for folding, and then jointly optimizes the LED packing, circuit and routing, solving a challenging layout problem under strict manufacturing requirements. Unlike paper, PCBs cannot bend beyond a certain point without breaking. Therefore, we introduce parametric cut patterns acting as hinges, designed to allow bending while remaining compact. To tackle the joint optimization of placement, circuit and routing, we propose a specialized algorithm that splits the global problem into one sub-problem per triangle, which is then individually solved.\r\nOur technique generates PCB blueprints in a completely automated way. After being fabricated by a PCB manufacturing service, the boards are bent and glued by the user onto the 3D printed support. We demonstrate our technique on a range of physical models and virtual examples, creating intricate surface light patterns from hundreds of LEDs." acknowledged_ssus: - _id: M-Shop acknowledgement: We thank the reviewers for the valuable feedback. We also thank the Miba Machine Shop at ISTA, PCBWay, and PragoBoard for helping us with fabrication and assembly. This project was supported by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation program (Grant Agreement No. 715767 – MATERIALIZABLE). article_number: '142' article_processing_charge: No article_type: original author: - first_name: Marco full_name: Freire, Marco last_name: Freire - first_name: Manas full_name: Bhargava, Manas id: FF8FA64C-AA6A-11E9-99AD-50D4E5697425 last_name: Bhargava orcid: 0009-0007-6138-6890 - first_name: Camille full_name: Schreck, Camille id: 2B14B676-F248-11E8-B48F-1D18A9856A87 last_name: Schreck - first_name: Pierre-Alexandre full_name: Hugron, Pierre-Alexandre last_name: Hugron - first_name: Bernd full_name: Bickel, Bernd id: 49876194-F248-11E8-B48F-1D18A9856A87 last_name: Bickel orcid: 0000-0001-6511-9385 - first_name: Sylvain full_name: Lefebvre, Sylvain last_name: Lefebvre citation: ama: 'Freire M, Bhargava M, Schreck C, Hugron P-A, Bickel B, Lefebvre S. PCBend: Light up your 3D shapes with foldable circuit boards. Transactions on Graphics. 2023;42(4). doi:10.1145/3592411' apa: 'Freire, M., Bhargava, M., Schreck, C., Hugron, P.-A., Bickel, B., & Lefebvre, S. (2023). PCBend: Light up your 3D shapes with foldable circuit boards. Transactions on Graphics. Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3592411' chicago: 'Freire, Marco, Manas Bhargava, Camille Schreck, Pierre-Alexandre Hugron, Bernd Bickel, and Sylvain Lefebvre. “PCBend: Light up Your 3D Shapes with Foldable Circuit Boards.” Transactions on Graphics. Association for Computing Machinery, 2023. https://doi.org/10.1145/3592411.' ieee: 'M. Freire, M. Bhargava, C. Schreck, P.-A. Hugron, B. Bickel, and S. Lefebvre, “PCBend: Light up your 3D shapes with foldable circuit boards,” Transactions on Graphics, vol. 42, no. 4. Association for Computing Machinery, 2023.' ista: 'Freire M, Bhargava M, Schreck C, Hugron P-A, Bickel B, Lefebvre S. 2023. PCBend: Light up your 3D shapes with foldable circuit boards. Transactions on Graphics. 42(4), 142.' mla: 'Freire, Marco, et al. “PCBend: Light up Your 3D Shapes with Foldable Circuit Boards.” Transactions on Graphics, vol. 42, no. 4, 142, Association for Computing Machinery, 2023, doi:10.1145/3592411.' short: M. Freire, M. Bhargava, C. Schreck, P.-A. Hugron, B. Bickel, S. Lefebvre, Transactions on Graphics 42 (2023). conference: end_date: 2023-08-10 location: Los Angeles, CA, United States name: 'SIGGRAPH: Computer Graphics and Interactive Techniques Conference' start_date: 2023-08-06 corr_author: '1' date_created: 2023-05-22T08:37:04Z date_published: 2023-07-26T00:00:00Z date_updated: 2026-07-29T13:03:30Z day: '26' ddc: - '006' department: - _id: GradSch - _id: BeBi doi: 10.1145/3592411 ec_funded: 1 external_id: isi: - '001044671300108' file: - access_level: open_access checksum: a0b0ba3b36f43a94388e8824613d812a content_type: application/pdf creator: dernst date_created: 2023-06-19T11:02:23Z date_updated: 2023-06-19T11:02:23Z file_id: '13156' file_name: 2023_ACMToG_Freire.pdf file_size: 78940724 relation: main_file success: 1 - access_level: open_access checksum: b9206bbb67af82df49b7e7cdbde3410c content_type: application/pdf creator: dernst date_created: 2023-06-20T12:20:51Z date_updated: 2023-06-20T12:20:51Z file_id: '13157' file_name: 2023_ACMToG_SuppMaterial_Freire.pdf file_size: 34345905 relation: main_file success: 1 file_date_updated: 2023-06-20T12:20:51Z fulldoi: https://doi.org/10.1145/3592411 has_accepted_license: '1' intvolume: ' 42' isi: 1 issue: '4' keyword: - PCB design and layout - Mesh geometry models language: - iso: eng month: '07' oa: 1 oa_version: Submitted Version project: - _id: 24F9549A-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '715767' name: 'MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling' publication: Transactions on Graphics publication_identifier: eissn: - 1557-7368 issn: - 0730-0301 publication_status: published publisher: Association for Computing Machinery quality_controlled: '1' related_material: record: - id: '20276' relation: dissertation_contains status: public scopus_import: '1' status: public title: 'PCBend: Light up your 3D shapes with foldable circuit boards' tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 volume: 42 year: '2023' ...