TY - CHAP A1 - Walter, J. A1 - Schütte, Christof ED - Mielke, A. T1 - Conditional Averaging for Diffusive Fast-Slow Systems T2 - Analysis, Modeling and Simulation of Multiscale Problems Y1 - 2006 UR - http://publications.imp.fu-berlin.de/117/ U6 - https://doi.org/10.1007/3-540-35657-6_24 SP - 647 EP - 682 PB - Springer ER - TY - JOUR A1 - Walter, J. A1 - Schütte, Christof A1 - Pavliotis, G. A1 - Stuart, Andrew T1 - Averaging of Stochastic Differential Equations JF - preprint Y1 - 2004 UR - http://publications.imp.fu-berlin.de/63/ ER - TY - JOUR A1 - Schütte, Christof A1 - Walter, J. A1 - Hartmann, Carsten A1 - Huisinga, Wilhelm T1 - An Averaging Principle for Fast Degrees of Freedom Exhibiting Long-Term Correlations JF - Multiscale Model. Simul. Y1 - 2004 UR - http://publications.imp.fu-berlin.de/62/ U6 - https://doi.org/10.1137/030600308 VL - 2 IS - 3 SP - 501 EP - 526 ER - TY - GEN A1 - Gleixner, Ambros A1 - Bastubbe, Michael A1 - Eifler, Leon A1 - Gally, Tristan A1 - Gamrath, Gerald A1 - Gottwald, Robert Lion A1 - Hendel, Gregor A1 - Hojny, Christopher A1 - Koch, Thorsten A1 - Lübbecke, Marco A1 - Maher, Stephen J. A1 - Miltenberger, Matthias A1 - Müller, Benjamin A1 - Pfetsch, Marc A1 - Puchert, Christian A1 - Rehfeldt, Daniel A1 - Schlösser, Franziska A1 - Schubert, Christoph A1 - Serrano, Felipe A1 - Shinano, Yuji A1 - Viernickel, Jan Merlin A1 - Walter, Matthias A1 - Wegscheider, Fabian A1 - Witt, Jonas T. A1 - Witzig, Jakob T1 - The SCIP Optimization Suite 6.0 N2 - 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. T3 - ZIB-Report - 18-26 KW - constraint integer programming KW - linear programming KW - mixed-integer linear programming KW - mixed-integer nonlinear programming KW - optimization solver KW - branch-and-cut KW - branch-and-price KW - column generation framework KW - parallelization KW - mixed-integer semidefinite programming KW - Steiner tree optimization Y1 - 2018 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-69361 SN - 1438-0064 ER - TY - JOUR A1 - Brence, Blaž A1 - Wandelt, Laura R. A1 - Walter, Sophie A1 - Sigrist, Stephan J. A1 - Petzoldt, Astrid G. A1 - Baum, Daniel T1 - Semi-automatic 3D-quantification of in-vivo synapse formation JF - ResearchSquare N2 - 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. Y1 - 2025 U6 - https://doi.org/10.21203/rs.3.rs-6073150/v1 ER -