_id,doi,title
14711,10.15479/at:ista:14711,"Local adaptation, genetic load and extinction in metapopulations"
14821,10.15479/at:ista:14821,Adaptive hierarchical representations in the hippocampus
15020,10.15479/at:ista:15020,Genetic information and biological optimization
14317,10.1007/978-3-031-37709-9_5,"MDPs as distribution transformers: Affine invariant synthesis for safety objectives"
14506,10.15479/14506,Advances in efficiency and privacy in payment channel network analysis
14510,10.15479/at:ista:14510,Mechanism of clathrin-coated vesicle  formation during endocytosis in plants
14518,10.3233/FAIA230264,Reachability poorman discrete-bidding games
14539,10.15479/14539,Automated verification and control of infinite state stochastic systems
14559,10.1007/978-3-031-45329-8_17,"Learning provably stabilizing neural controllers for discrete-time stochastic systems"
14591,10.1101/2023.10.09.561523,Role of dynamin-related proteins 2 and SH3P2 in clathrin-mediated endocytosis in plants
14641,10.15479/at:ista:14641,Adaptive mutation in E. coli modulated by luxS
14651,10.15479/at:ista:14651,Investigating inbreeding depression and the self-incompatibility locus of Antirrhinum majus
14656,10.1523/JNEUROSCI.0194-23.2023,The structure of hippocampal CA1 interactions optimizes spatial coding across experience
14697,10.15479/at:ista:14697,Neutrophils on the hunt: Migratory strategies employed by neutrophils to fulfill their effector function
14778,10.1145/3585391,On lexicographic proof rules for probabilistic termination
14830,10.1609/aaai.v37i10.26407,Learning control policies for stochastic systems with reach-avoid guarantees
13074,10.15479/at:ista:13074,Efficiency and generalization of sparse neural networks
13126,10.15479/AT:ISTA:13126,"Research data for the publication ""Imaging brain tissue architecture across millimeter to nanometer scales"""
13142,10.1007/978-3-031-30823-9_1,A learner-verifier framework for neural network controllers and certificates of stochastic systems
13267,10.1038/s41592-023-01936-6,Dense 4D nanoscale reconstruction of living brain tissue