内容:

内容: Special Issue on Set-Based Methods for Reliable Modeling, Identification, Decision Making, and Simulation Submission Date: 2026-02-28 The special issue on “Set-Based Methods for Reliable Modeling, Identification, Decision Making, and Simulation” presents selected research papers that are based on presentations given during the International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN). Its 20th edition will be held in Oldenburg, Germany, from the 22nd to 26th of September 2025.Over the last decades, SCAN has become an important meeting place for researchers from the fields of reliable computing, software engineering, and uncertainty quantification and those from such wide and varied application areas as robotics, control, structural and civil engineering, and signal processing. The goal is, on the one hand, to put into practice modern findings in verified methods to assess the influence of uncertainty caused by modeling errors, model order reduction, or numerical methods in a rigorous manner. On the other hand, problems from practice give new impulse for theoretical developments in verification.With this special issue, we intend to continue the tradition of publishing high-quality post-proceedings of the series of SCAN symposia on the basis of a thorough review of the latest, not yet published research results. The special issue will enhance the visibility of SCAN in the community of uncertainty modeling and quantification, both from theoretical and applied perspectives.Guest editors:Prof. Dr.-Ing. habil. Andreas RauhDepartment of Computing Science, Carl von Ossietzky Universität Oldenburg, GermanyEmail: andreas.rauh@uni-oldenburg.deFields of interest: Uncertainty modeling, Optimal control, Robust control, State Estimation, Interval methods, Stochastic filteringProf. Dr. Ekaterina AuerUniversity of Applied Sciences Wismar, GermanyEmail: ekaterina.auer@hs-wismar.de Fields of interest: Uncertainty modeling and quantification using verified, stochastic, or mixed approaches; algorithms with result verification and their application to engineering problems; verification and validation frameworks including uncertainty visualization; automated comparison and recommendation of verified software; algorithms using modern HPC (e.g., the GPU)M.Sc. Marit LahmeDepartment of Computing Science, Carl von Ossietzky Universität Oldenburg, GermanyEmail: marit.lahme@uni-oldenburg.deFields of interest: Uncertainty modeling, Interval methods, Robust state and parameter estimationManuscript submission information:Important Dates: Submission Open Date: September 28, 2025 Submission Deadline: February 28, 2026 Notification of Acceptance: July 31, 2026Manuscripts must be submitted via the International Journal of Approximate Reasoning online submission system (Editorial Manager). Please select the article type “VSI: selected papers from SCAN” when submitting your manuscript online.Please refer to the Guide for Authors to prepare your manuscript.All submitted papers under this call will undergo the standard review process of the journal.For any further information, the authors may contact the Guest Editors.Keywords:Set-based methods for uncertainty quantification and modeling; Estimation and decision making under uncertainty; Simulation and control of uncertain systems; Numerical methods with result verification

内容: Special Issue on This special section features a selection of the best papers presented at the 2024 edition of the international conference Smart Tools and Applications in Graphics (STAG), the annual event of the Euro Submission Date: 2026-02-15 This special issue seeks original research articles that deal with the geometric modeling of subtractive and/or additive manufacturing processes. This includes, but is not limited to, research on tool and motion planning for Computer Numerically Controlled (CNC) machining, hot-wire cutting, collision detection, multi-axis 3D printing, and computational design for fabrication. Particularly welcome is also research on modelling of heterogenous multi-material structures and their additive manufacturing.Guest editors:Michael Barton, PhdBasque Center for Applied Mathematics, Bilbao, Spain. mbarton@bcamath.org(Geometric modeling, CNC machining, kinematic and differential geometry, spline curves and surfaces)Charlie C. L. Wang, PhDThe University of Manchester, Manchester, United Kingdom. changling.wang@manchester.ac.uk(Digital Manufacturing, Computational Design, Additive manufacturing, Geometric computing, robotics)Manuscript submission information:The journal's submission platform (Editorial Manager®) will be open for submissions to this Special Issue from July 15th, 2024. Please refer to the Guide for Authors to prepare your manuscript and select the article type of “VSI: Add-and-Sub Manufacturing” when submitting your manuscript online. Both the Guide for Authors and the submission portal could be found on the Journal Homepage: Graphical Models | Journal | ScienceDirect.com by Elsevier. This Special Issue offers 100% APC discount.Timeline:Submission Open Date *15/07/2024Final Manuscript Submission Deadline *15/02/2025Editorial Acceptance Deadline *15/06/2025Keywords:(CNC machining) AND (3D printing) AND (multi-axis robot) AND (motion planning) AND (computational fabrication)