@article{12178, abstract = {In this paper we consider the stochastic primitive equation for geophysical flows subject to transport noise and turbulent pressure. Admitting very rough noise terms, the global existence and uniqueness of solutions to this stochastic partial differential equation are proven using stochastic maximal L² regularity, the theory of critical spaces for stochastic evolution equations, and global a priori bounds. Compared to other results in this direction, we do not need any smallness assumption on the transport noise which acts directly on the velocity field and we also allow rougher noise terms. The adaptation to Stratonovich type noise and, more generally, to variable viscosity and/or conductivity are discussed as well.}, author = {Agresti, Antonio and Hieber, Matthias and Hussein, Amru and Saal, Martin}, issn = {2194-041X}, journal = {Stochastics and Partial Differential Equations: Analysis and Computations}, keywords = {Applied Mathematics, Modeling and Simulation, Statistics and Probability}, pages = {53--133}, publisher = {Springer Nature}, title = {{The stochastic primitive equations with transport noise and turbulent pressure}}, doi = {10.1007/s40072-022-00277-3}, volume = {12}, year = {2024}, } @article{17219, abstract = {We introduce a multi-material non-manifold mesh-based surface tracking algorithm that converts self-intersections into topological changes. Our algorithm generalizes prior work on manifold surface tracking with topological changes: it preserves surface features like mesh-based methods, and it robustly handles topological changes like level set methods. Our method also offers improved efficiency and robustness over the state of the art. We demonstrate the effectiveness of the approach on a range of examples, including complex soap film simulations with thousands of interacting bubbles, and boolean unions of non-manifold meshes consisting of millions of triangles.}, author = {Synak, Peter and Kalinov, Aleksei and Strugaru, Irina-Malina and Etemadihaghighi, Arian and Yang, Huidong and Wojtan, Christopher J}, issn = {1557-7368}, journal = {ACM Transactions on Graphics}, keywords = {surface tracking, topology change, non- manifold meshes, multi-material flows, solid modeling}, number = {4}, publisher = {Association for Computing Machinery}, title = {{Multi-material mesh-based surface tracking with implicit topology changes}}, doi = {10.1145/3658223}, volume = {43}, year = {2024}, } @phdthesis{18301, abstract = {Physics simulation in computer graphics can bring triangle meshes into topologically invalid states. The method in this thesis contributed to Heiss-Synak* and Kalinov* et al. [2024] who devised a non-manifold hybrid surface tracker—a surface tracker that repairs explicit non-manifold triangle meshes with the help of the implicit domain. Specifically, this thesis provides an algorithm for filling the holes that are left after removing problematic parts of the mesh.}, author = {Etemadihaghighi, Arian}, issn = {2791-4585}, keywords = {surface tracking, non-manifold, hole-filling, topology change, multi-material, solid-modeling}, pages = {39}, publisher = {Institute of Science and Technology Austria}, title = {{Filling the holes of non-manifold self-intersecting meshes for implicit topology changes in surface tracking}}, doi = {10.15479/at:ista:18301}, year = {2024}, } @article{14377, abstract = {Coherent flows of self-propelled particles are characterized by vortices and jets that sustain chaotic flows, referred to as active turbulence. Here, we reveal a crossover between defect-free active turbulence and active turbulence laden with topological defects. Interestingly, we show that concurrent to the crossover from defect-free to defect-laden active turbulence is the restoration of the previously broken SO(2) symmetry signaled by the fast decay of the two-point correlations. By stability analyses of the topological charge density field, we provide theoretical insights on the criterion for the crossover to the defect-laden active turbulent state. Despite the distinct symmetry features between these two active turbulence regimes, the flow fluctuations exhibit universal statistical scaling behaviors at large scales, while the spectrum of polarity fluctuations decays exponentially at small length scales compared to the active energy injection length. These findings reveal a dynamical crossover between distinct spatiotemporal organization patterns in polar active matter.}, author = {Andersen, Benjamin H. and Renaud, Julian B and Rønning, Jonas and Angheluta, Luiza and Doostmohammadi, Amin}, issn = {2469-990X}, journal = {Physical Review Fluids}, keywords = {Fluid Flow and Transfer Processes, Modeling and Simulation, Computational Mechanics}, number = {6}, publisher = {American Physical Society}, title = {{Symmetry-restoring crossover from defect-free to defect-laden turbulence in polar active matter}}, doi = {10.1103/physrevfluids.8.063101}, volume = {8}, year = {2023}, } @misc{12945, abstract = {basic data for use in code for experimental data analysis for manuscript under revision: Dynamic pathogen detection and social feedback shape collective hygiene in ants Casillas-Pérez B, Boďová K, Grasse AV, Tkačik G, Cremer S}, author = {Cremer, Sylvia}, keywords = {collective behavior, host-pathogen interactions, social immunity, epidemiology, social insects, probabilistic modeling}, publisher = {Institute of Science and Technology Austria}, title = {{Data from: "Dynamic pathogen detection and social feedback shape collective hygiene in ants" }}, doi = {10.15479/AT:ISTA:12945}, year = {2023}, } @article{12984, abstract = {Tattoos are a highly popular medium, with both artistic and medical applications. Although the mechanical process of tattoo application has evolved historically, the results are reliant on the artisanal skill of the artist. This can be especially challenging for some skin tones, or in cases where artists lack experience. We provide the first systematic overview of tattooing as a computational fabrication technique. We built an automated tattooing rig and a recipe for the creation of silicone sheets mimicking realistic skin tones, which allowed us to create an accurate model predicting tattoo appearance. This enables several exciting applications including tattoo previewing, color retargeting, novel ink spectra optimization, color-accurate prosthetics, and more.}, author = {Piovarci, Michael and Chapiro, Alexandre and Bickel, Bernd}, issn = {1557-7368}, journal = {ACM Transactions on Graphics}, keywords = {appearance, modeling, reproduction, tattoo, skin color, gamut mapping, ink-optimization, prosthetic}, location = {Los Angeles, CA, United States}, number = {4}, publisher = {Association for Computing Machinery}, title = {{Skin-Screen: A computational fabrication framework for color tattoos}}, doi = {10.1145/3592432}, volume = {42}, year = {2023}, } @article{14780, abstract = {In this paper, we study the eigenvalues and eigenvectors of the spiked invariant multiplicative models when the randomness is from Haar matrices. We establish the limits of the outlier eigenvalues λˆi and the generalized components (⟨v,uˆi⟩ for any deterministic vector v) of the outlier eigenvectors uˆi with optimal convergence rates. Moreover, we prove that the non-outlier eigenvalues stick with those of the unspiked matrices and the non-outlier eigenvectors are delocalized. The results also hold near the so-called BBP transition and for degenerate spikes. On one hand, our results can be regarded as a refinement of the counterparts of [12] under additional regularity conditions. On the other hand, they can be viewed as an analog of [34] by replacing the random matrix with i.i.d. entries with Haar random matrix.}, author = {Ding, Xiucai and Ji, Hong Chang}, issn = {1879-209X}, journal = {Stochastic Processes and their Applications}, keywords = {Applied Mathematics, Modeling and Simulation, Statistics and Probability}, pages = {25--60}, publisher = {Elsevier}, title = {{Spiked multiplicative random matrices and principal components}}, doi = {10.1016/j.spa.2023.05.009}, volume = {163}, year = {2023}, } @article{13188, abstract = {The Kirchhoff rod model describes the bending and twisting of slender elastic rods in three dimensions, and has been widely studied to enable the prediction of how a rod will deform, given its geometry and boundary conditions. In this work, we study a number of inverse problems with the goal of computing the geometry of a straight rod that will automatically deform to match a curved target shape after attaching its endpoints to a support structure. Our solution lets us finely control the static equilibrium state of a rod by varying the cross-sectional profiles along its length. We also show that the set of physically realizable equilibrium states admits a concise geometric description in terms of linear line complexes, which leads to very efficient computational design algorithms. Implemented in an interactive software tool, they allow us to convert three-dimensional hand-drawn spline curves to elastic rods, and give feedback about the feasibility and practicality of a design in real time. We demonstrate the efficacy of our method by designing and manufacturing several physical prototypes with applications to interior design and soft robotics.}, author = {Hafner, Christian and Bickel, Bernd}, issn = {1557-7368}, journal = {ACM Transactions on Graphics}, keywords = {Computer Graphics, Computational Design, Computational Geometry, Shape Modeling}, number = {5}, publisher = {Association for Computing Machinery}, title = {{The design space of Kirchhoff rods}}, doi = {10.1145/3606033}, volume = {42}, year = {2023}, } @article{11556, abstract = {We revisit two basic Direct Simulation Monte Carlo Methods to model aggregation kinetics and extend them for aggregation processes with collisional fragmentation (shattering). We test the performance and accuracy of the extended methods and compare their performance with efficient deterministic finite-difference method applied to the same model. We validate the stochastic methods on the test problems and apply them to verify the existence of oscillating regimes in the aggregation-fragmentation kinetics recently detected in deterministic simulations. We confirm the emergence of steady oscillations of densities in such systems and prove the stability of the oscillations with respect to fluctuations and noise.}, author = {Kalinov, Aleksei and Osinskiy, A.I. and Matveev, S.A. and Otieno, W. and Brilliantov, N.V.}, issn = {0021-9991}, journal = {Journal of Computational Physics}, keywords = {Computer Science Applications, Physics and Astronomy (miscellaneous), Applied Mathematics, Computational Mathematics, Modeling and Simulation, Numerical Analysis}, publisher = {Elsevier}, title = {{Direct simulation Monte Carlo for new regimes in aggregation-fragmentation kinetics}}, doi = {10.1016/j.jcp.2022.111439}, volume = {467}, year = {2022}, } @article{12145, abstract = {In the class of strictly convex smooth boundaries each of which has no strip around its boundary foliated by invariant curves, we prove that the Taylor coefficients of the “normalized” Mather’s β-function are invariant under C∞-conjugacies. In contrast, we prove that any two elliptic billiard maps are C0-conjugate near their respective boundaries, and C∞-conjugate, near the boundary and away from a line passing through the center of the underlying ellipse. We also prove that, if the billiard maps corresponding to two ellipses are topologically conjugate, then the two ellipses are similar.}, author = {Koudjinan, Edmond and Kaloshin, Vadim}, issn = {1468-4845}, journal = {Regular and Chaotic Dynamics}, keywords = {Mechanical Engineering, Applied Mathematics, Mathematical Physics, Modeling and Simulation, Statistical and Nonlinear Physics, Mathematics (miscellaneous)}, number = {6}, pages = {525--537}, publisher = {Springer Nature}, title = {{On some invariants of Birkhoff billiards under conjugacy}}, doi = {10.1134/S1560354722050021}, volume = {27}, year = {2022}, } @article{12152, abstract = {ESCRT-III filaments are composite cytoskeletal polymers that can constrict and cut cell membranes from the inside of the membrane neck. Membrane-bound ESCRT-III filaments undergo a series of dramatic composition and geometry changes in the presence of an ATP-consuming Vps4 enzyme, which causes stepwise changes in the membrane morphology. We set out to understand the physical mechanisms involved in translating the changes in ESCRT-III polymer composition into membrane deformation. We have built a coarse-grained model in which ESCRT-III polymers of different geometries and mechanical properties are allowed to copolymerise and bind to a deformable membrane. By modelling ATP-driven stepwise depolymerisation of specific polymers, we identify mechanical regimes in which changes in filament composition trigger the associated membrane transition from a flat to a buckled state, and then to a tubule state that eventually undergoes scission to release a small cargo-loaded vesicle. We then characterise how the location and kinetics of polymer loss affects the extent of membrane deformation and the efficiency of membrane neck scission. Our results identify the near-minimal mechanical conditions for the operation of shape-shifting composite polymers that sever membrane necks.}, author = {Jiang, Xiuyun and Harker-Kirschneck, Lena and Vanhille-Campos, Christian Eduardo and Pfitzner, Anna-Katharina and Lominadze, Elene and Roux, Aurélien and Baum, Buzz and Šarić, Anđela}, issn = {1553-7358}, journal = {PLOS Computational Biology}, keywords = {Computational Theory and Mathematics, Cellular and Molecular Neuroscience, Genetics, Molecular Biology, Ecology, Modeling and Simulation, Ecology, Evolution, Behavior and Systematics}, number = {10}, publisher = {Public Library of Science}, title = {{Modelling membrane reshaping by staged polymerization of ESCRT-III filaments}}, doi = {10.1371/journal.pcbi.1010586}, volume = {18}, year = {2022}, } @article{12156, abstract = {Models of transcriptional regulation that assume equilibrium binding of transcription factors have been less successful at predicting gene expression from sequence in eukaryotes than in bacteria. This could be due to the non-equilibrium nature of eukaryotic regulation. Unfortunately, the space of possible non-equilibrium mechanisms is vast and predominantly uninteresting. The key question is therefore how this space can be navigated efficiently, to focus on mechanisms and models that are biologically relevant. In this review, we advocate for the normative role of theory—theory that prescribes rather than just describes—in providing such a focus. Theory should expand its remit beyond inferring mechanistic models from data, towards identifying non-equilibrium gene regulatory schemes that may have been evolutionarily selected, despite their energy consumption, because they are precise, reliable, fast, or otherwise outperform regulation at equilibrium. We illustrate our reasoning by toy examples for which we provide simulation code.}, author = {Zoller, Benjamin and Gregor, Thomas and Tkačik, Gašper}, issn = {2452-3100}, journal = {Current Opinion in Systems Biology}, keywords = {Applied Mathematics, Computer Science Applications, Drug Discovery, General Biochemistry, Genetics and Molecular Biology, Modeling and Simulation}, number = {9}, publisher = {Elsevier}, title = {{Eukaryotic gene regulation at equilibrium, or non?}}, doi = {10.1016/j.coisb.2022.100435}, volume = {31}, year = {2022}, } @article{12279, abstract = {We report frictional drag reduction and a complete flow relaminarization of elastic turbulence (ET) at vanishing inertia in a viscoelastic channel flow past an obstacle. We show that the intensity of the observed elastic waves and wall-normal vorticity correlate well with the measured drag above the onset of ET. Moreover, we find that the elastic wave frequency grows with the Weissenberg number, and at sufficiently high frequency it causes a decay of the elastic waves, resulting in ET attenuation and drag reduction. Thus, this allows us to substantiate a physical mechanism, involving the interaction of elastic waves with wall-normal vorticity fluctuations, leading to the drag reduction and relaminarization phenomena at low Reynolds number.}, author = {Kumar, M. Vijay and Varshney, Atul and Li, Dongyang and Steinberg, Victor}, issn = {2469-990X}, journal = {Physical Review Fluids}, keywords = {Fluid Flow and Transfer Processes, Modeling and Simulation, Computational Mechanics}, number = {8}, publisher = {American Physical Society}, title = {{Relaminarization of elastic turbulence}}, doi = {10.1103/physrevfluids.7.l081301}, volume = {7}, year = {2022}, } @article{12280, abstract = {In repeated interactions, players can use strategies that respond to the outcome of previous rounds. Much of the existing literature on direct reciprocity assumes that all competing individuals use the same strategy space. Here, we study both learning and evolutionary dynamics of players that differ in the strategy space they explore. We focus on the infinitely repeated donation game and compare three natural strategy spaces: memory-1 strategies, which consider the last moves of both players, reactive strategies, which respond to the last move of the co-player, and unconditional strategies. These three strategy spaces differ in the memory capacity that is needed. We compute the long term average payoff that is achieved in a pairwise learning process. We find that smaller strategy spaces can dominate larger ones. For weak selection, unconditional players dominate both reactive and memory-1 players. For intermediate selection, reactive players dominate memory-1 players. Only for strong selection and low cost-to-benefit ratio, memory-1 players dominate the others. We observe that the supergame between strategy spaces can be a social dilemma: maximum payoff is achieved if both players explore a larger strategy space, but smaller strategy spaces dominate.}, author = {Schmid, Laura and Hilbe, Christian and Chatterjee, Krishnendu and Nowak, Martin}, issn = {1553-7358}, journal = {PLOS Computational Biology}, keywords = {Computational Theory and Mathematics, Cellular and Molecular Neuroscience, Genetics, Molecular Biology, Ecology, Modeling and Simulation, Ecology, Evolution, Behavior and Systematics}, number = {6}, publisher = {Public Library of Science}, title = {{Direct reciprocity between individuals that use different strategy spaces}}, doi = {10.1371/journal.pcbi.1010149}, volume = {18}, year = {2022}, } @inproceedings{10002, abstract = {We present a faster symbolic algorithm for the following central problem in probabilistic verification: Compute the maximal end-component (MEC) decomposition of Markov decision processes (MDPs). This problem generalizes the SCC decomposition problem of graphs and closed recurrent sets of Markov chains. The model of symbolic algorithms is widely used in formal verification and model-checking, where access to the input model is restricted to only symbolic operations (e.g., basic set operations and computation of one-step neighborhood). For an input MDP with n vertices and m edges, the classical symbolic algorithm from the 1990s for the MEC decomposition requires O(n2) symbolic operations and O(1) symbolic space. The only other symbolic algorithm for the MEC decomposition requires O(nm−−√) symbolic operations and O(m−−√) symbolic space. A main open question is whether the worst-case O(n2) bound for symbolic operations can be beaten. We present a symbolic algorithm that requires O˜(n1.5) symbolic operations and O˜(n−−√) symbolic space. Moreover, the parametrization of our algorithm provides a trade-off between symbolic operations and symbolic space: for all 0<ϵ≤1/2 the symbolic algorithm requires O˜(n2−ϵ) symbolic operations and O˜(nϵ) symbolic space ( O˜ hides poly-logarithmic factors). Using our techniques we present faster algorithms for computing the almost-sure winning regions of ω -regular objectives for MDPs. We consider the canonical parity objectives for ω -regular objectives, and for parity objectives with d -priorities we present an algorithm that computes the almost-sure winning region with O˜(n2−ϵ) symbolic operations and O˜(nϵ) symbolic space, for all 0<ϵ≤1/2 .}, author = {Chatterjee, Krishnendu and Dvorak, Wolfgang and Henzinger, Monika H and Svozil, Alexander}, booktitle = {Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science}, isbn = {978-1-6654-4896-3}, issn = {1043-6871}, keywords = {Computer science, Computational modeling, Markov processes, Probabilistic logic, Formal verification, Game Theory}, location = {Rome, Italy}, pages = {1--13}, publisher = {Institute of Electrical and Electronics Engineers}, title = {{Symbolic time and space tradeoffs for probabilistic verification}}, doi = {10.1109/LICS52264.2021.9470739}, year = {2021}, } @unpublished{9978, abstract = {Redox mediators could catalyse otherwise slow and energy-inefficient cycling of Li-S and Li-O 2 batteries by shuttling electrons/holes between the electrode and the solid insulating storage materials. For mediators to work efficiently they need to oxidize the solid with fast kinetics yet the lowest possible overpotential. Here, we found that when the redox potentials of mediators are tuned via, e.g., Li + concentration in the electrolyte, they exhibit distinct threshold potentials, where the kinetics accelerate several-fold within a range as small as 10 mV. This phenomenon is independent of types of mediators and electrolyte. The acceleration originates from the overpotentials required to activate fast Li + /e – extraction and the following chemical step at specific abundant surface facets. Efficient redox catalysis at insulating solids requires therefore carefully considering the surface conditions of the storage materials and electrolyte-dependent redox potentials, which may be tuned by salt concentrations or solvents.}, author = {Cao, Deqing and Shen, Xiaoxiao and Wang, Aiping and Yu, Fengjiao and Wu, Yuping and Shi, Siqi and Freunberger, Stefan Alexander and Chen, Yuhui}, booktitle = {Research Square}, issn = {2693-5015}, keywords = {Catalysis, Energy engineering, Materials theory and modeling}, pages = {21}, publisher = {Research Square}, title = {{Sharp kinetic acceleration potentials during mediated redox catalysis of insulators}}, doi = {10.21203/rs.3.rs-750965/v1}, year = {2021}, } @article{9817, abstract = {Elastic bending of initially flat slender elements allows the realization and economic fabrication of intriguing curved shapes. In this work, we derive an intuitive but rigorous geometric characterization of the design space of plane elastic rods with variable stiffness. It enables designers to determine which shapes are physically viable with active bending by visual inspection alone. Building on these insights, we propose a method for efficiently designing the geometry of a flat elastic rod that realizes a target equilibrium curve, which only requires solving a linear program. We implement this method in an interactive computational design tool that gives feedback about the feasibility of a design, and computes the geometry of the structural elements necessary to realize it within an instant. The tool also offers an iterative optimization routine that improves the fabricability of a model while modifying it as little as possible. In addition, we use our geometric characterization to derive an algorithm for analyzing and recovering the stability of elastic curves that would otherwise snap out of their unstable equilibrium shapes by buckling. We show the efficacy of our approach by designing and manufacturing several physical models that are assembled from flat elements.}, author = {Hafner, Christian and Bickel, Bernd}, issn = {1557-7368}, journal = {ACM Transactions on Graphics}, keywords = {Computing methodologies, shape modeling, modeling and simulation, theory of computation, computational geometry, mathematics of computing, mathematical optimization}, location = {Virtual}, number = {4}, publisher = {Association for Computing Machinery}, title = {{The design space of plane elastic curves}}, doi = {10.1145/3450626.3459800}, volume = {40}, year = {2021}, } @misc{8067, abstract = {With the lithium-ion technology approaching its intrinsic limit with graphite-based anodes, lithium metal is recently receiving renewed interest from the battery community as potential high capacity anode for next-generation rechargeable batteries. In this focus paper, we review the main advances in this field since the first attempts in the mid-1970s. Strategies for enabling reversible cycling and avoiding dendrite growth are thoroughly discussed, including specific applications in all-solid-state (polymeric and inorganic), Lithium-sulphur and Li-O2 (air) batteries. A particular attention is paid to review recent developments in regard of prototype manufacturing and current state-ofthe-art of these battery technologies with respect to the 2030 targets of the EU Integrated Strategic Energy Technology Plan (SET-Plan) Action 7.}, author = {Varzi, Alberto and Thanner, Katharina and Scipioni, Roberto and Di Lecce, Daniele and Hassoun, Jusef and Dörfler, Susanne and Altheus, Holger and Kaskel, Stefan and Prehal, Christian and Freunberger, Stefan Alexander}, issn = {2664-1690}, keywords = {Battery, Lithium metal, Lithium-sulphur, Lithium-air, All-solid-state}, pages = {63}, publisher = {IST Austria}, title = {{Current status and future perspectives of Lithium metal batteries}}, doi = {10.15479/AT:ISTA:8067}, year = {2020}, } @phdthesis{8366, abstract = {Fabrication of curved shells plays an important role in modern design, industry, and science. Among their remarkable properties are, for example, aesthetics of organic shapes, ability to evenly distribute loads, or efficient flow separation. They find applications across vast length scales ranging from sky-scraper architecture to microscopic devices. But, at the same time, the design of curved shells and their manufacturing process pose a variety of challenges. In this thesis, they are addressed from several perspectives. In particular, this thesis presents approaches based on the transformation of initially flat sheets into the target curved surfaces. This involves problems of interactive design of shells with nontrivial mechanical constraints, inverse design of complex structural materials, and data-driven modeling of delicate and time-dependent physical properties. At the same time, two newly-developed self-morphing mechanisms targeting flat-to-curved transformation are presented. In architecture, doubly curved surfaces can be realized as cold bent glass panelizations. Originally flat glass panels are bent into frames and remain stressed. This is a cost-efficient fabrication approach compared to hot bending, when glass panels are shaped plastically. However such constructions are prone to breaking during bending, and it is highly nontrivial to navigate the design space, keeping the panels fabricable and aesthetically pleasing at the same time. We introduce an interactive design system for cold bent glass façades, while previously even offline optimization for such scenarios has not been sufficiently developed. Our method is based on a deep learning approach providing quick and high precision estimation of glass panel shape and stress while handling the shape multimodality. Fabrication of smaller objects of scales below 1 m, can also greatly benefit from shaping originally flat sheets. In this respect, we designed new self-morphing shell mechanisms transforming from an initial flat state to a doubly curved state with high precision and detail. Our so-called CurveUps demonstrate the encodement of the geometric information into the shell. Furthermore, we explored the frontiers of programmable materials and showed how temporal information can additionally be encoded into a flat shell. This allows prescribing deformation sequences for doubly curved surfaces and, thus, facilitates self-collision avoidance enabling complex shapes and functionalities otherwise impossible. Both of these methods include inverse design tools keeping the user in the design loop.}, author = {Guseinov, Ruslan}, isbn = {978-3-99078-010-7}, issn = {2663-337X}, keywords = {computer-aided design, shape modeling, self-morphing, mechanical engineering}, pages = {118}, publisher = {Institute of Science and Technology Austria}, title = {{Computational design of curved thin shells: From glass façades to programmable matter}}, doi = {10.15479/AT:ISTA:8366}, year = {2020}, }