@inproceedings{WalterSchuette2006, author = {Walter, J. and Sch{\"u}tte, Christof}, title = {Conditional Averaging for Diffusive Fast-Slow Systems}, booktitle = {Analysis, Modeling and Simulation of Multiscale Problems}, editor = {Mielke, A.}, publisher = {Springer}, doi = {10.1007/3-540-35657-6_24}, pages = {647 -- 682}, year = {2006}, language = {en} } @article{WalterSchuettePavliotisetal.2004, author = {Walter, J. and Sch{\"u}tte, Christof and Pavliotis, G. and Stuart, Andrew}, title = {Averaging of Stochastic Differential Equations}, journal = {preprint}, year = {2004}, language = {en} } @article{SchuetteWalterHartmannetal.2004, author = {Sch{\"u}tte, Christof and Walter, J. and Hartmann, Carsten and Huisinga, Wilhelm}, title = {An Averaging Principle for Fast Degrees of Freedom Exhibiting Long-Term Correlations}, volume = {2}, journal = {Multiscale Model. Simul.}, number = {3}, doi = {10.1137/030600308}, pages = {501 -- 526}, year = {2004}, language = {en} } @misc{GleixnerBastubbeEifleretal.2018, author = {Gleixner, Ambros and Bastubbe, Michael and Eifler, Leon and Gally, Tristan and Gamrath, Gerald and Gottwald, Robert Lion and Hendel, Gregor and Hojny, Christopher and Koch, Thorsten and L{\"u}bbecke, Marco and Maher, Stephen J. and Miltenberger, Matthias and M{\"u}ller, Benjamin and Pfetsch, Marc and Puchert, Christian and Rehfeldt, Daniel and Schl{\"o}sser, Franziska and Schubert, Christoph and Serrano, Felipe and Shinano, Yuji and Viernickel, Jan Merlin and Walter, Matthias and Wegscheider, Fabian and Witt, Jonas T. and Witzig, Jakob}, title = {The SCIP Optimization Suite 6.0}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-69361}, year = {2018}, abstract = {The SCIP Optimization Suite provides a collection of software packages for mathematical optimization centered around the constraint integer programming framework SCIP. This paper discusses enhancements and extensions contained in version 6.0 of the SCIP Optimization Suite. Besides performance improvements of the MIP and MINLP core achieved by new primal heuristics and a new selection criterion for cutting planes, one focus of this release are decomposition algorithms. Both SCIP and the automatic decomposition solver GCG now include advanced functionality for performing Benders' decomposition in a generic framework. GCG's detection loop for structured matrices and the coordination of pricing routines for Dantzig-Wolfe decomposition has been significantly revised for greater flexibility. Two SCIP extensions have been added to solve the recursive circle packing problem by a problem-specific column generation scheme and to demonstrate the use of the new Benders' framework for stochastic capacitated facility location. Last, not least, the report presents updates and additions to the other components and extensions of the SCIP Optimization Suite: the LP solver SoPlex, the modeling language Zimpl, the parallelization framework UG, the Steiner tree solver SCIP-Jack, and the mixed-integer semidefinite programming solver SCIP-SDP.}, language = {en} } @article{BrenceWandeltWalteretal.2025, author = {Brence, Blaž and Wandelt, Laura R. and Walter, Sophie and Sigrist, Stephan J. and Petzoldt, Astrid G. and Baum, Daniel}, title = {Semi-automatic 3D-quantification of in-vivo synapse formation}, journal = {ResearchSquare}, doi = {10.21203/rs.3.rs-6073150/v1}, year = {2025}, abstract = {Background: Synapses, as specialised cell-cell contacts, allow for a faithful and controlled signal transmission between a neuron and a target cell. Presynapses, the sites of neurotransmitter release, form de novo throughout the development of an organism. Although this process is fundamental to the development and function of synaptic circuits, how developing neurons control number and distribution of individual synapses remains poorly understood. In-vivo imaging analysis of synapse formation at the neuromuscular junction of anaesthetised Drosophila third instar larvae allows for spatial and temporal resolution of the underlying molecular processes. However, high-throughput, comprehensive analysis are hampered by the manual and time-consuming imaging analysis methods applied hitherto. Here, we focus on the early presynaptic formation steps, that is, the presynaptic seeding, initiated by the formation of transient Liprin-a/SYD1 seeding sites, either stabilised or disintegrated over a time span of 30-90 min. Results: To investigate the dynamics of the Liprin-a/SYD1 seeding sites, we developed an automated analysis pipeline for 3D confocal images from in-vivo imaging at distinct time points to analyse fluorescently labelled presynaptic protein dynamics during early synapse formation. The workflow is realised in the data analysis software Amira, utilising the hierarchical watershed algorithm, and was designed for automatic processing with an option for manual proofreading. Compared to the previous 2D manual quantification, this automated approach provides a higher sensitivity in single Liprin-a seeding site detection in low-intensity areas and in regions of dense seeding sites.In addition, it substantially reduces the work time. To account for possible errors occurring in the automated processing, we implemented an additional proofreading step allowing for a manual correction of Liprin-a seeding site segmentation and assignment, thus greatly improving the analysis while only marginally increasing work time by 10\% to a total work time reduction of 80\% compared to the 2D manual analysis paradigm. Conclusion: The process of synaptogenesis underlies the general principles of locomotion, learning and memory formation. The developed fast and accurate semi-automated 3D workflow provides a substantial progress in the analysis of this molecular process and its application can be easily extended to other dynamic in-vivo research approaches across species.}, language = {en} }