--- _id: '6338' abstract: - lang: eng text: Hippocampal activity patterns representing movement trajectories are reactivated in immobility and sleep periods, a process associated with memory recall, consolidation, and decision making. It is thought that only fixed, behaviorally relevant patterns can be reactivated, which are stored across hippocampal synaptic connections. To test whether some generalized rules govern reactivation, we examined trajectory reactivation following non-stereotypical exploration of familiar open-field environments. We found that random trajectories of varying lengths and timescales were reactivated, resembling that of Brownian motion of particles. The animals’ behavioral trajectory did not follow Brownian diffusion demonstrating that the exact behavioral experience is not reactivated. Therefore, hippocampal circuits are able to generate random trajectories of any recently active map by following diffusion dynamics. This ability of hippocampal circuits to generate representations of all behavioral outcome combinations, experienced or not, may underlie a wide variety of hippocampal-dependent cognitive functions such as learning, generalization, and planning. article_processing_charge: No article_type: original author: - first_name: Federico full_name: Stella, Federico id: 39AF1E74-F248-11E8-B48F-1D18A9856A87 last_name: Stella orcid: 0000-0001-9439-3148 - first_name: Peter full_name: Baracskay, Peter id: 361CC00E-F248-11E8-B48F-1D18A9856A87 last_name: Baracskay - first_name: Joseph full_name: O'Neill, Joseph id: 426376DC-F248-11E8-B48F-1D18A9856A87 last_name: O'Neill - first_name: Jozsef L full_name: Csicsvari, Jozsef L id: 3FA14672-F248-11E8-B48F-1D18A9856A87 last_name: Csicsvari orcid: 0000-0002-5193-4036 citation: ama: Stella F, Baracskay P, O’Neill J, Csicsvari JL. Hippocampal reactivation of random trajectories resembling Brownian diffusion. Neuron. 2019;102:450-461. doi:10.1016/j.neuron.2019.01.052 apa: Stella, F., Baracskay, P., O’Neill, J., & Csicsvari, J. L. (2019). Hippocampal reactivation of random trajectories resembling Brownian diffusion. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2019.01.052 chicago: Stella, Federico, Peter Baracskay, Joseph O’Neill, and Jozsef L Csicsvari. “Hippocampal Reactivation of Random Trajectories Resembling Brownian Diffusion.” Neuron. Elsevier, 2019. https://doi.org/10.1016/j.neuron.2019.01.052. ieee: F. Stella, P. Baracskay, J. O’Neill, and J. L. Csicsvari, “Hippocampal reactivation of random trajectories resembling Brownian diffusion,” Neuron, vol. 102. Elsevier, pp. 450–461, 2019. ista: Stella F, Baracskay P, O’Neill J, Csicsvari JL. 2019. Hippocampal reactivation of random trajectories resembling Brownian diffusion. Neuron. 102, 450–461. mla: Stella, Federico, et al. “Hippocampal Reactivation of Random Trajectories Resembling Brownian Diffusion.” Neuron, vol. 102, Elsevier, 2019, pp. 450–61, doi:10.1016/j.neuron.2019.01.052. short: F. Stella, P. Baracskay, J. O’Neill, J.L. Csicsvari, Neuron 102 (2019) 450–461. date_created: 2019-04-17T08:28:59Z date_published: 2019-04-17T00:00:00Z date_updated: 2023-08-25T10:13:07Z day: '17' department: - _id: JoCs doi: 10.1016/j.neuron.2019.01.052 ec_funded: 1 external_id: isi: - '000465169700017' pmid: - '30819547' intvolume: ' 102' isi: 1 language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1016/j.neuron.2019.01.052 month: '04' oa: 1 oa_version: Published Version page: 450-461 pmid: 1 project: - _id: 257A4776-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '281511' name: Memory-related information processing in neuronal circuits of the hippocampus and entorhinal cortex - _id: 2654F984-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: I03713 name: Interneuro Plasticity During Spatial Learning publication: Neuron publication_status: published publisher: Elsevier quality_controlled: '1' related_material: link: - description: News on IST Homepage relation: press_release url: https://ist.ac.at/en/news/memories-of-movement-are-replayed-randomly-during-sleep/ scopus_import: '1' status: public title: Hippocampal reactivation of random trajectories resembling Brownian diffusion type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 102 year: '2019' ... --- _id: '5878' abstract: - lang: eng text: We consider the motion of a droplet bouncing on a vibrating bath of the same fluid in the presence of a central potential. We formulate a rotation symmetry-reduced description of this system, which allows for the straightforward application of dynamical systems theory tools. As an illustration of the utility of the symmetry reduction, we apply it to a model of the pilot-wave system with a central harmonic force. We begin our analysis by identifying local bifurcations and the onset of chaos. We then describe the emergence of chaotic regions and their merging bifurcations, which lead to the formation of a global attractor. In this final regime, the droplet’s angular momentum spontaneously changes its sign as observed in the experiments of Perrard et al. article_number: '013122' article_processing_charge: No article_type: original author: - first_name: Nazmi B full_name: Budanur, Nazmi B id: 3EA1010E-F248-11E8-B48F-1D18A9856A87 last_name: Budanur orcid: 0000-0003-0423-5010 - first_name: Marc full_name: Fleury, Marc last_name: Fleury citation: ama: 'Budanur NB, Fleury M. State space geometry of the chaotic pilot-wave hydrodynamics. Chaos: An Interdisciplinary Journal of Nonlinear Science. 2019;29(1). doi:10.1063/1.5058279' apa: 'Budanur, N. B., & Fleury, M. (2019). State space geometry of the chaotic pilot-wave hydrodynamics. Chaos: An Interdisciplinary Journal of Nonlinear Science. AIP Publishing. https://doi.org/10.1063/1.5058279' chicago: 'Budanur, Nazmi B, and Marc Fleury. “State Space Geometry of the Chaotic Pilot-Wave Hydrodynamics.” Chaos: An Interdisciplinary Journal of Nonlinear Science. AIP Publishing, 2019. https://doi.org/10.1063/1.5058279.' ieee: 'N. B. Budanur and M. Fleury, “State space geometry of the chaotic pilot-wave hydrodynamics,” Chaos: An Interdisciplinary Journal of Nonlinear Science, vol. 29, no. 1. AIP Publishing, 2019.' ista: 'Budanur NB, Fleury M. 2019. State space geometry of the chaotic pilot-wave hydrodynamics. Chaos: An Interdisciplinary Journal of Nonlinear Science. 29(1), 013122.' mla: 'Budanur, Nazmi B., and Marc Fleury. “State Space Geometry of the Chaotic Pilot-Wave Hydrodynamics.” Chaos: An Interdisciplinary Journal of Nonlinear Science, vol. 29, no. 1, 013122, AIP Publishing, 2019, doi:10.1063/1.5058279.' short: 'N.B. Budanur, M. Fleury, Chaos: An Interdisciplinary Journal of Nonlinear Science 29 (2019).' date_created: 2019-01-23T08:35:09Z date_published: 2019-01-22T00:00:00Z date_updated: 2023-08-25T10:16:11Z day: '22' department: - _id: BjHo doi: 10.1063/1.5058279 external_id: arxiv: - '1812.09011' isi: - '000457409100028' intvolume: ' 29' isi: 1 issue: '1' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1812.09011 month: '01' oa: 1 oa_version: Preprint publication: 'Chaos: An Interdisciplinary Journal of Nonlinear Science' publication_identifier: eissn: - 1089-7682 issn: - 1054-1500 publication_status: published publisher: AIP Publishing quality_controlled: '1' related_material: link: - relation: erratum url: https://aip.scitation.org/doi/abs/10.1063/1.5097157 scopus_import: '1' status: public title: State space geometry of the chaotic pilot-wave hydrodynamics type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 29 year: '2019' ... --- _id: '6343' abstract: - lang: eng text: Cryo-electron tomography (cryo-ET) provides unprecedented insights into the molecular constituents of biological environments. In combination with an image processing method called subtomogram averaging (STA), detailed 3D structures of biological molecules can be obtained in large, irregular macromolecular assemblies or in situ, without the need for purification. The contextual meta-information these methods also provide, such as a protein’s location within its native environment, can then be combined with functional data. This allows the derivation of a detailed view on the physiological or pathological roles of proteins from the molecular to cellular level. Despite their tremendous potential in in situ structural biology, cryo-ET and STA have been restricted by methodological limitations, such as the low obtainable resolution. Exciting progress now allows one to reach unprecedented resolutions in situ, ranging in optimal cases beyond the nanometer barrier. Here, I review current frontiers and future challenges in routinely determining high-resolution structures in in situ environments using cryo-ET and STA. acknowledgement: The author acknowledges support from IST Austria and the Austrian Science Fund (FWF). article_processing_charge: No article_type: original author: - first_name: Florian KM full_name: Schur, Florian KM id: 48AD8942-F248-11E8-B48F-1D18A9856A87 last_name: Schur orcid: 0000-0003-4790-8078 citation: ama: Schur FK. Toward high-resolution in situ structural biology with cryo-electron tomography and subtomogram averaging. Current Opinion in Structural Biology. 2019;58(10):1-9. doi:10.1016/j.sbi.2019.03.018 apa: Schur, F. K. (2019). Toward high-resolution in situ structural biology with cryo-electron tomography and subtomogram averaging. Current Opinion in Structural Biology. Elsevier. https://doi.org/10.1016/j.sbi.2019.03.018 chicago: Schur, Florian KM. “Toward High-Resolution in Situ Structural Biology with Cryo-Electron Tomography and Subtomogram Averaging.” Current Opinion in Structural Biology. Elsevier, 2019. https://doi.org/10.1016/j.sbi.2019.03.018. ieee: F. K. Schur, “Toward high-resolution in situ structural biology with cryo-electron tomography and subtomogram averaging,” Current Opinion in Structural Biology, vol. 58, no. 10. Elsevier, pp. 1–9, 2019. ista: Schur FK. 2019. Toward high-resolution in situ structural biology with cryo-electron tomography and subtomogram averaging. Current Opinion in Structural Biology. 58(10), 1–9. mla: Schur, Florian KM. “Toward High-Resolution in Situ Structural Biology with Cryo-Electron Tomography and Subtomogram Averaging.” Current Opinion in Structural Biology, vol. 58, no. 10, Elsevier, 2019, pp. 1–9, doi:10.1016/j.sbi.2019.03.018. short: F.K. Schur, Current Opinion in Structural Biology 58 (2019) 1–9. date_created: 2019-04-19T11:19:13Z date_published: 2019-10-01T00:00:00Z date_updated: 2023-08-25T10:13:31Z day: '01' department: - _id: FlSc doi: 10.1016/j.sbi.2019.03.018 external_id: isi: - '000494891800004' intvolume: ' 58' isi: 1 issue: '10' language: - iso: eng month: '10' oa_version: None page: 1-9 publication: Current Opinion in Structural Biology publication_identifier: issn: - 0959-440X publication_status: published publisher: Elsevier quality_controlled: '1' scopus_import: '1' status: public title: Toward high-resolution in situ structural biology with cryo-electron tomography and subtomogram averaging type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 58 year: '2019' ... --- _id: '6428' abstract: - lang: eng text: 'Safety and security are major concerns in the development of Cyber-Physical Systems (CPS). Signal temporal logic (STL) was proposedas a language to specify and monitor the correctness of CPS relativeto formalized requirements. Incorporating STL into a developmentprocess enables designers to automatically monitor and diagnosetraces, compute robustness estimates based on requirements, andperform requirement falsification, leading to productivity gains inverification and validation activities; however, in its current formSTL is agnostic to the input/output classification of signals, andthis negatively impacts the relevance of the analysis results.In this paper we propose to make the interface explicit in theSTL language by introducing input/output signal declarations. Wethen define new measures of input vacuity and output robustnessthat better reflect the nature of the system and the specification in-tent. The resulting framework, which we call interface-aware signaltemporal logic (IA-STL), aids verification and validation activities.We demonstrate the benefits of IA-STL on several CPS analysisactivities: (1) robustness-driven sensitivity analysis, (2) falsificationand (3) fault localization. We describe an implementation of our en-hancement to STL and associated notions of robustness and vacuityin a prototype extension of Breach, a MATLAB®/Simulink®toolboxfor CPS verification and validation. We explore these methodologi-cal improvements and evaluate our results on two examples fromthe automotive domain: a benchmark powertrain control systemand a hydrogen fuel cell system.' article_processing_charge: No author: - first_name: Thomas full_name: Ferrere, Thomas id: 40960E6E-F248-11E8-B48F-1D18A9856A87 last_name: Ferrere orcid: 0000-0001-5199-3143 - first_name: Dejan full_name: Nickovic, Dejan id: 41BCEE5C-F248-11E8-B48F-1D18A9856A87 last_name: Nickovic - first_name: Alexandre full_name: Donzé, Alexandre last_name: Donzé - first_name: Hisahiro full_name: Ito, Hisahiro last_name: Ito - first_name: James full_name: Kapinski, James last_name: Kapinski citation: ama: 'Ferrere T, Nickovic D, Donzé A, Ito H, Kapinski J. Interface-aware signal temporal logic. In: Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control. ACM; 2019:57-66. doi:10.1145/3302504.3311800' apa: 'Ferrere, T., Nickovic, D., Donzé, A., Ito, H., & Kapinski, J. (2019). Interface-aware signal temporal logic. In Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control (pp. 57–66). Montreal, Canada: ACM. https://doi.org/10.1145/3302504.3311800' chicago: 'Ferrere, Thomas, Dejan Nickovic, Alexandre Donzé, Hisahiro Ito, and James Kapinski. “Interface-Aware Signal Temporal Logic.” In Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, 57–66. ACM, 2019. https://doi.org/10.1145/3302504.3311800.' ieee: 'T. Ferrere, D. Nickovic, A. Donzé, H. Ito, and J. Kapinski, “Interface-aware signal temporal logic,” in Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, Montreal, Canada, 2019, pp. 57–66.' ista: 'Ferrere T, Nickovic D, Donzé A, Ito H, Kapinski J. 2019. Interface-aware signal temporal logic. Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems Computation and Control, 57–66.' mla: 'Ferrere, Thomas, et al. “Interface-Aware Signal Temporal Logic.” Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 57–66, doi:10.1145/3302504.3311800.' short: 'T. Ferrere, D. Nickovic, A. Donzé, H. Ito, J. Kapinski, in:, Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 57–66.' conference: end_date: 2019-04-18 location: Montreal, Canada name: 'HSCC: Hybrid Systems Computation and Control' start_date: 2019-04-16 date_created: 2019-05-13T08:13:46Z date_published: 2019-04-16T00:00:00Z date_updated: 2023-08-25T10:19:23Z day: '16' ddc: - '000' department: - _id: ToHe doi: 10.1145/3302504.3311800 external_id: isi: - '000516713900007' file: - access_level: open_access checksum: b8e967081e051d1c55ca5d18fb187890 content_type: application/pdf creator: dernst date_created: 2020-10-08T17:25:45Z date_updated: 2020-10-08T17:25:45Z file_id: '8633' file_name: 2019_ACM_Ferrere.pdf file_size: 1055421 relation: main_file success: 1 file_date_updated: 2020-10-08T17:25:45Z has_accepted_license: '1' isi: 1 language: - iso: eng month: '04' oa: 1 oa_version: Submitted Version page: 57-66 project: - _id: 25832EC2-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S 11407_N23 name: Rigorous Systems Engineering - _id: 25F42A32-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: Z211 name: The Wittgenstein Prize publication: 'Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control' publication_identifier: isbn: - '9781450362825' publication_status: published publisher: ACM quality_controlled: '1' scopus_import: '1' status: public title: Interface-aware signal temporal logic type: conference user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 year: '2019' ... --- _id: '6442' abstract: - lang: eng text: This paper investigates the use of fundamental solutions for animating detailed linear water surface waves. We first propose an analytical solution for efficiently animating circular ripples in closed form. We then show how to adapt the method of fundamental solutions (MFS) to create ambient waves interacting with complex obstacles. Subsequently, we present a novel wavelet-based discretization which outperforms the state of the art MFS approach for simulating time-varying water surface waves with moving obstacles. Our results feature high-resolution spatial details, interactions with complex boundaries, and large open ocean domains. Our method compares favorably with previous work as well as known analytical solutions. We also present comparisons between our method and real world examples. acknowledged_ssus: - _id: ScienComp article_number: '130' article_processing_charge: No author: - first_name: Camille full_name: Schreck, Camille id: 2B14B676-F248-11E8-B48F-1D18A9856A87 last_name: Schreck - first_name: Christian full_name: Hafner, Christian id: 400429CC-F248-11E8-B48F-1D18A9856A87 last_name: Hafner - first_name: Christopher J full_name: Wojtan, Christopher J id: 3C61F1D2-F248-11E8-B48F-1D18A9856A87 last_name: Wojtan orcid: 0000-0001-6646-5546 citation: ama: Schreck C, Hafner C, Wojtan C. Fundamental solutions for water wave animation. ACM Transactions on Graphics. 2019;38(4). doi:10.1145/3306346.3323002 apa: Schreck, C., Hafner, C., & Wojtan, C. (2019). Fundamental solutions for water wave animation. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/3306346.3323002 chicago: Schreck, Camille, Christian Hafner, and Chris Wojtan. “Fundamental Solutions for Water Wave Animation.” ACM Transactions on Graphics. ACM, 2019. https://doi.org/10.1145/3306346.3323002. ieee: C. Schreck, C. Hafner, and C. Wojtan, “Fundamental solutions for water wave animation,” ACM Transactions on Graphics, vol. 38, no. 4. ACM, 2019. ista: Schreck C, Hafner C, Wojtan C. 2019. Fundamental solutions for water wave animation. ACM Transactions on Graphics. 38(4), 130. mla: Schreck, Camille, et al. “Fundamental Solutions for Water Wave Animation.” ACM Transactions on Graphics, vol. 38, no. 4, 130, ACM, 2019, doi:10.1145/3306346.3323002. short: C. Schreck, C. Hafner, C. Wojtan, ACM Transactions on Graphics 38 (2019). date_created: 2019-05-14T07:04:06Z date_published: 2019-07-01T00:00:00Z date_updated: 2023-08-25T10:18:46Z day: '01' ddc: - '000' - '005' department: - _id: ChWo doi: 10.1145/3306346.3323002 ec_funded: 1 external_id: isi: - '000475740600104' file: - access_level: open_access checksum: 1b737dfe3e051aba8f3f4ab1dceda673 content_type: application/pdf creator: dernst date_created: 2019-05-14T07:03:55Z date_updated: 2020-07-14T12:47:30Z file_id: '6443' file_name: 2019_ACM_Schreck.pdf file_size: 44328918 relation: main_file file_date_updated: 2020-07-14T12:47:30Z has_accepted_license: '1' intvolume: ' 38' isi: 1 issue: '4' language: - iso: eng month: '07' oa: 1 oa_version: Submitted Version project: - _id: 2533E772-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '638176' name: Efficient Simulation of Natural Phenomena at Extremely Large Scales - _id: 24F9549A-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '715767' name: 'MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling' - _id: 2564DBCA-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '665385' name: International IST Doctoral Program publication: ACM Transactions on Graphics publication_status: published publisher: ACM quality_controlled: '1' related_material: link: - description: News on IST Homepage relation: press_release url: https://ist.ac.at/en/news/new-method-makes-realistic-water-wave-animations-more-efficient/ scopus_import: '1' status: public title: Fundamental solutions for water wave animation type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 38 year: '2019' ...