https://arxiv.org/api/w94O7GPgeTxEUtgtlH+QvKtvA78 2026-09-11T19:02:50Z 11216 15 15 http://arxiv.org/abs/2609.10704v1 2026-09-09T18:01:30Z

Today, traded cloud services are governed by service-level agreements that specify providers' obligations, such as availability and reliability. Violations of service-level agreements result in penalty payments. The recent development of prominent cloud platforms, such as the redesign of Amazon's spot marketspace, underpins a trend towards dynamic cloud markets where consumers continuously migrate their services across different marketspaces and providers to reach a cost optimum. This leads to a heterogeneous IT infrastructure and, consequently, complicates monitoring of delivered service quality. Hence, there is a need for a transparent penalty management system that ensures consumers automatically receive penalty payments from providers for service violations. In this paper, we present a cloud monitoring system that can autonomously execute penalty payments. In this regard, we use smart contracts hosted on blockchains that continuously monitor cloud services and trigger penalty payments to consumers in the event of service violations. For justification and evaluation, we implement our approach using the IBM Hyperledger Fabric framework and create a use case with Amazon and Azure cloud services to illustrate the universal design of the presented mechanism.

2026-09-09T18:01:30Z Extended version of iiWAS 2020 paper Christian Dienbauer Benedikt Pittl Erich Schikuta http://arxiv.org/abs/2609.10256v1 2026-09-09T14:41:24Z

Agitated filter dryers (AFDs) are a crucial unit operation in small molecule manufacturing that enables simultaneous filtration, washing, and drying of active pharmaceutical ingredients. One of the key challenges in AFDs is associated with undesired agglomeration, where the presence of hard agglomerates results in off-spec products, equipment damage, and additional downstream processing. This article presents a novel mechanistic model that describes the formation of soft and hard agglomerates during agitated filter drying. By integrating population balance and multiphysics modeling, the model can accurately predict the evolution of the product temperature, moisture content, and particle size distribution, and hence quantify the extend and impact of undesired agglomeration across various operating conditions. Our proposed model-based framework enables the rational design and operation of AFDs for improving the product quality and process reliability.

2026-09-09T14:41:24Z Prakitr Srisuma Peter Hou Shashank Venkat Muddu Neda Nazemifard Allan S. Myerson Richard D. Braatz http://arxiv.org/abs/2609.10171v1 2026-09-09T13:42:44Z

Digital twins of bridges rely on physics-based models to infer full-field structural responses from sparse monitoring data. The reliability of these predictions depends on the calibration of model parameters while accounting for discrepancies between the model and the physical system. Such discrepancies, commonly referred to as model-form uncertainty (MFU), arise from simplifying assumptions and incomplete representations of physical processes, and can substantially affect predictive reliability. Explicitly quantifying MFU during calibration is therefore essential for trustworthy digital-twin predictions. This work presents a calibration framework that explicitly represents MFU through stochastic parameter embedding. The framework is demonstrated using a simplified two-dimensional cross-sectional thermal model of the Nibelungenbrücke calibrated against temperature measurements from its monitoring system. By explicitly accounting for MFU, the proposed methodology enables computationally efficient models to be reliably employed within digital-twin environments while maintaining predictive credibility. The framework introduces a three-step calibration strategy that progressively addresses sources of discrepancy while maintaining a clear distinction between identified uncertainties. Variance decomposition is used to characterize the structure of predictive uncertainty and its propagation to quantities of interest. Remaining discrepancies between predictive distributions and observations are quantified using Kolmogorov-Smirnov metrics to assess predictive consistency across seasonal conditions. The results demonstrate that explicitly accounting for MFU improves the interpretability and reliability of predictive uncertainties and validate the methodology for calibration of physics-based models supporting digital twins in structural health monitoring.

2026-09-09T13:42:44Z 29 pages, 12 figures, 6 tables Daniel Andrés Arcones Martin Weiser Phaedon-Stelios Koutsourelakis Jörg F. Unger http://arxiv.org/abs/2609.10088v1 2026-09-09T12:09:47Z

A shell finite-element model of a stiffened aluminium wingbox panel, a laboratory structure shared by several experimental studies, is built with its plate-to-stiffener joints at the $78$ physical fastener positions and calibrated against measured modal data, a six-parameter sensitivity update of the substructure moduli within $\pm20\%$ reproducing the first five measured modes to $1.1$--$4.3\%$ with modal-assurance values of $0.88$--$1.00$. Making the fasteners nonlinear, at equal mesh, mass and damping, shows that joint nonlinearity enters the response strongly asymmetrically. Hardening is almost invisible, at most $+1\%$ in frequency, whereas softening or slipping the joints moves the first three resonances by $-2.1$, $-4.9$ and $-9.2\%$, and friction removes up to $80\%$ of the resonant peak before it recovers. Newmark integration of all $18{,}804$ degrees of freedom and a harmonic balance condensed exactly onto the joints and continued in arclength agree to $5.5\times10^{-4}$. A projection-based nonlinear model order reduction then locates the criterion that a jointed structure imposes on a reduced basis. The binding quantity is not the linear response, which eleven vectors reproduce to better than $0.01\%$, but the receptance of the structure between the joints, of which $126$ global eigenvectors carry about $2\%$, and without which the reduced model overpredicts the hardening shift of the fundamental by a factor of thirty and returns a value beyond the rigid-joint limit of the panel.

2026-09-09T12:09:47Z 20 pages, 14 figures Nikolaos D. Tantaroudas Evangelos Papatheou http://arxiv.org/abs/2512.11273v3 2026-09-09T10:54:21Z

Multi-period portfolio optimization is important for real portfolio management, as it accounts for transaction costs, path-dependent risks, and the intertemporal structure of trading decisions that single-period models cannot capture. Classical methods usually follow a two-stage framework: machine learning algorithms are employed to produce forecasts that closely fit the realized returns, and the predicted values are then used in a downstream portfolio optimization problem to determine the asset weights. This separation leads to a fundamental misalignment between predictions and decision outcomes, while also ignoring the impact of transaction costs. To bridge this gap, recent studies have proposed the idea of end-to-end learning, integrating the two stages into a single pipeline. This paper introduces IPMO (Integrated Prediction and Multi-period Portfolio Optimization), a model for multi-period mean-variance portfolio optimization with turnover penalties. The predictor generates multi-period return forecasts that parameterize a differentiable convex optimization layer, which in turn drives learning via portfolio performance. For scalability, we introduce a mirror-descent fixed-point (MDFP) differentiation scheme that avoids factorizing the Karush-Kuhn-Tucker (KKT) systems, which thus yields stable implicit gradients and nearly scale-insensitive runtime as the decision horizon grows. In experiments with real market data and two representative time-series prediction models, the IPMO method consistently outperforms the two-stage benchmarks in risk-adjusted performance net of transaction costs and achieves more coherent allocation paths. Our results show that integrating machine learning prediction with optimization in the multi-period setting improves financial outcomes and remains computationally tractable.

2025-12-12T04:31:22Z 23 pages, 6 figures, and 4 tables Yuxuan Linghu Zhiyuan Liu Qi Deng http://arxiv.org/abs/2609.04028v2 2026-09-09T10:12:45Z

The geometric morphology of deposited filaments can significantly influence the structural performance and stability of 3D concrete-printed (3DCP) structures. However, most finite element (FEM)-based approaches for buildability assessment represent printed layers as simplified rectangles, potentially limiting predictive accuracy. This study proposes a geometry-informed modelling framework that integrates the deep-learning-based filament shape prediction tool ShapeGen3DCP with a layer-activation FEM approach to investigate the effect of realistic filament geometries on buildability. The framework generates geometry-aware numerical models directly from material and process parameters, eliminating the need for experimental filament characterization or computationally intensive fluid-flow simulations. Validation against experimental data and a parametric study of rectilinear walls demonstrate that extrusion parameters and the resulting filament geometry can significantly influence buildability predictions. Realistic filament representations are particularly important for free-flow deposition, whereas layer-pressing strategies are less sensitive to geometric simplifications. Among the investigated representations, an elliptical approximation provides an effective balance between geometric fidelity and modelling simplicity. When rectangular representations are preferred to enable regular computational meshes for faster simulations, defining their dimensions based on volume conservation improves prediction reliability compared with calibrating them using either the maximum filament width or the interlayer contact width. Overall, the proposed methodology demonstrates the importance of incorporating filament geometry into 3DCP simulations and provides practical guidance for selecting efficient and accurate geometric representations for buildability assessment.

2026-09-03T16:08:19Z Added references Giacomo Rizzieri Saif-Ur-Rehman Jörg F. Unger Annika Robens-Radermacher http://arxiv.org/abs/2603.25207v2 2026-09-09T04:45:12Z

Patient-specific computational modeling has emerged as a powerful tool for surgical planning in complex congenital heart disease. One promising application is complex biventricular repair, which often requires construction of a custom intraventricular baffle to establish a physiologic left ventricle-to-aorta outflow pathway. In current practice, baffle geometry is designed and shaped intraoperatively and preoperative planning remains largely manual, limiting the ability to generate anatomically conformal, watertight models suitable for quantitative hemodynamic assessment. In this work, we present a semi-automated computational framework for the design and assessment of patient-specific intraventricular baffles. The method constructs an explicit VSD-to-aorta flow pathway, preserves native right ventricular geometry, and reshapes only the baffle region using section-wise area constraints along a physiologically aligned centerline. The resulting geometry is integrated into a closed, multi-labeled domain for computational fluid dynamics analysis. We retrospectively applied this framework to four patients with double outlet right ventricle (DORV) who previously underwent biventricular repair. For each case, a patient-specific baffle was generated and its hemodynamic performance was evaluated using CFD. Predicted pressure gradients across the reconstructed outflow were within clinically acceptable ranges and comparable to the patients' postoperative echocardiographs. This approach enables quantitative, pre-operative design and evaluation of candidate baffle geometries and provides a reproducible method for generating simulation-ready models. By combining physiologically constrained geometric design with CFD-based assessment, the framework represents a step toward computational, patient-specific decision support for biventricular flow restoration in a complex heterogeneous patient population.

2026-03-26T09:10:03Z Elena Sabdy Martinez Alexander D. Kaiser Alexander K. Reed Sascha W. Stocker Amit Sharir Perry S. Choi Shiraz A. Maskatia Michael R. Ma Alison Lesly Marsden http://arxiv.org/abs/2609.09573v1 2026-09-09T00:54:34Z

Odor quality is commonly represented using high dimensional descriptor profiles, yet their low dimensional organization remains unclear. We investigated whether a two-dimensional hyperbolic embedding can provide an interpretable representation of this structure. We applied hyperbolic metric multidimensional scaling to two complementary datasets: 480 Sagar rating profiles from three participants rating 160 odorants on 15 continuous descriptors, and 4983 GoodScents--Leffingwell molecules annotated with 138 binary descriptors. The embeddings substantially preserved pairwise descriptor distances, supporting subsequent analyses of radial and angular organization. In Sagar, rating profile entropy was strongly and negatively associated with hyperbolic radius, with diffuse profiles closer to the center and concentrated profiles closer to the boundary. This radial organization emerged primarily at the level of the full descriptor profile, rather than any individual descriptor, and remained robust across alternative descriptor representations, participant specific analyses, and averaged ratings. Sweet, musky, fruity, pleasantness showed the strongest directional trends. In GoodScents--Leffingwell, active label entropy, reflecting descriptor multiplicity, increased with radius, whereas orthogonalized descriptor entropy, reflecting spread across orthogonal modes, decreased with radius. Related binary descriptors occupied coherent localized high-density regions. These findings reveal complementary radial and angular organization in the hyperbolic representation of olfactory descriptor data. They support hyperbolic mapping as an interpretable descriptive framework in which radius summarizes global profile properties, while the angular component captures continuous descriptor gradients and categorical organization.

2026-09-09T00:54:34Z Submitted to Chemical Senses Aniss Aiman Medbouhi Farzaneh Taleb Giovanni Luca Marchetti Danica Kragic http://arxiv.org/abs/2608.29882v2 2026-09-08T23:13:24Z

Optimising budget-constrained network interventions requires evaluating not just who is connected, but predicting how strongly individual recipients will propagate the treatment's benefits. Existing models predict spillover from neighbours' treatments and attributes. We argue that spillover also depends on how strongly each neighbour responded to its own treatment. We prove that no model in which neighbours' responsiveness enters separately from their treatments can capture this interaction, and we introduce \textsc{SpilloverNet}, a graph neural network designed to preserve neighbour-level response dynamics. Because a neighbour's response is unobserved, a natural approach is to estimate it from covariates and plug it in. However, we prove that any predictor relying solely on standard network data faces an irreducible error floor set by unobserved personal responsiveness. Empirically, at low heterogeneity the plug-in's correlation with the true response looks acceptable while its spillover error is already 24.5\% against an oracle 13.8\%; as heterogeneity grows its error climbs to 51.9\%, worse than using no responsiveness estimate at all. A per-unit estimate from a direct-response measurement, collected in a small pilot before spillover arrives, escapes this bound and cuts regret against oracle-$τ$ targeting by up to 14 percentage points in a budgeted targeting problem. On two real social graphs, \textsc{SpilloverNet} reaches 7.7--8.4\% error, outperforming standard GNNs as well as specialised causal-representation baselines.

2026-08-30T16:22:45Z Faezeh Dehghan Tarzjani Bhaskar Krishnamachari http://arxiv.org/abs/2609.09434v1 2026-09-08T20:35:25Z

In recent years, weak-form methods have made significant advances in data-driven discovery of dynamical systems. However, in high-dimensional settings, current techniques can prove expensive in both computation and memory. In this work, we introduce TT-WSINDy, which combines techniques of the Multidimensional Approximation of Nonlinear Dynamics (MANDy) and Weak Sparse Identification of Nonlinear Dynamics (WSINDy) methods, implementing requisite computations in the tensor-train (TT) format. We demonstrate that this method is able to search an exponentially-growing space of candidate functions -- performing weak-form transformation, regression, and sparsification -- without suffering from the curse of dimensionality.

2026-09-08T20:35:25Z 34 pages, 8 figures Will Houser Vanja Dukic David M. Bortz http://arxiv.org/abs/2609.09413v1 2026-09-08T20:10:02Z

Choosing a recovery process for scale-up requires connecting laboratory results with product requirements, process costs, and scale effects. We analyze records from Pacific Northwest National Laboratory's Computer Intelligence for Critical Element Recovery and Optimization (CICERO) workflow for autonomous selective precipitation. Active learning uses prior results to choose experiments. In a conditional retrospective benchmark with fitted models and recycled neodymium-iron-boron (NdFeB) magnet records, active learning finds the best recorded result with fewer experiments than nonadaptive space filling. Enrichment is the selected rare-earth-to-iron ratio relative to that in the feed. Adaptive policies reach the recorded enrichment maximum by 16 to 24 wells (individual experiments), versus 48. Our two-stage reconstruction ties two adaptive alternatives at 16 wells. Conditional analyses of recycled samarium-cobalt (SmCo) magnets show a Round 2 tradeoff between purity and nominal yield, the recovery fraction calculated from an assumed starting amount - NdFeB Round 1 routes differ in enrichment. Rankings for produced water from oil and gas extraction depend on phase and dilution assumptions requiring confirmation. We propose choosing batches by their expected reduction in downstream Bayes risk: the minimum expected loss among available process decisions under current beliefs. In exploratory simulations, a hybrid that filters candidates has lower estimated loss than the implemented joint search across routes and conditions. Differences involving the synthetic two-stage policy are small relative to estimation uncertainty. We outline a pre-registered prospective test under a shared loss and logging standard, requiring clarified measurements and records, a defined process decision and relevant outputs, credible economic inputs, and validation at the intended scale.

2026-09-08T20:10:02Z Niranjan Srinivas Debajyoti Ray Elias Nakouzi http://arxiv.org/abs/2604.00154v2 2026-09-08T19:50:22Z

Efficient numerical models are required for the design of systems with high temperature superconductor (HTS) coils, as fully resolved finite element simulations of individual coated conductors become computationally prohibitive. This work applies the foil conductor model (FCM) to insulated HTS coils using magnetic field conforming h-(full), h-$φ$, and t-$ω$ formulations. The approach replaces individual turns by a homogenized bulk and ensures physically consistent current density distributions in the coils by using additional voltage basis functions in the finite element formulations. The models are verified in 2D axisymmetric and 3D geometries with a pancake coil simulation under AC transport current excitation. All FCM formulations show excellent agreement with reference detailed simulations, with coefficients of determination above 0.99 for instantaneous AC losses. In 3D, the h-$φ$ and especially the t-$ω$ formulation substantially reduce the number of degrees of freedom by using the magnetic scalar potential in non-conducting regions. Scalability is demonstrated with a 3D stack of racetrack coils model with a field- and angle-dependent critical current density. For the stack of racetrack coils, while maintaining accurate loss prediction, the t-$ω$ FCM achieves a speedup factor of 22 and reduces degrees of freedom by 78 % with respect to a detailed reference model.

2026-03-31T19:01:44Z Elias Paakkunainen Louis Denis Benoît Vanderheyden Christophe Geuzaine Paavo Rasilo Sebastian Schöps http://arxiv.org/abs/2609.09347v1 2026-09-08T18:37:12Z

Numerical simulations of superconducting magnetic bearings (SMBs) are complicated by the relative motion between high temperature superconductors and the magnetic guideway, which commonly requires repeated updates of the geometry and mesh. We present a fixed-mesh based approach for modeling the motion induced effects in which a coordinate transformation is applied only to the air region between the moving regions. The transformation can be included in a time-dependent anisotropic material tensor, leaving the mesh during the simulation and the rest of the formulation unchanged. To provide numerical examples, the approach is implemented in 2D using the finite element method with the $j$-$a$ formulation and is combined with homogenization and circuit coupling for double-crossed loops of coated conductors. The open-source model implementations are made available. The proposed approach is verified and validated against existing modeling approaches and experimental results from the literature for SMBs. Two simulation examples are presented, and in both of them the levitation force predicted by the fixed-mesh model agrees with the experimental results, yielding $R^2$ values above 0.99. For a verification problem, it is shown that the fixed-mesh model converges towards the remeshed reference solution under mesh refinement as expected. For an SMB undergoing vertical and horizontal translations, the homogenized fixed-mesh model reproduces the lateral-force response of a fully resolved moving-geometry reference model. Additionally, the homogenized fixed-mesh model is computationally more efficient than the reference model, indicating a significant reduction in the number of degrees of freedom and the computation time. The results demonstrate accurate and computationally efficient simulation of translational motion with the fixed-mesh based approach.

2026-09-08T18:37:12Z Elias Paakkunainen Bárbara Maria Oliveira Santos Gabriel dos Santos Timo Tarhasaari Paavo Rasilo Sebastian Schöps http://arxiv.org/abs/2603.15917v3 2026-09-08T14:05:28Z

From a pool of admissible designs, we aim to identify a structure that achieves a target macroscopic stress response. For each candidate, the response is obtained from a high-fidelity oracle, such as expensive computational homogenization or experiments. We consider cases in which (i) the geometry cannot be conveniently parameterized, rendering gradient-based optimization inapplicable, and (ii) brute-force evaluation of all candidates is infeasible due to costly oracle queries. To tackle this challenge, we propose a Bayesian-guided design selection framework. The dimensionality of design variants is reduced through statistical feature engineering, and the resulting low-dimensional descriptors are mapped to effective hyperelastic constitutive parameters using a multi-output Gaussian process surrogate. The surrogate is trained using uncertainty-driven active learning with only a limited number of high-fidelity oracle evaluations. The surrogate shortlists promising candidates, and since its accuracy is inherently limited, the final selection of the optimal design is performed through high-fidelity oracle evaluations within the shortlist. In numerical test cases, we consider a design set of 50,000 candidate structures. Active learning requires labeling less than half a percent of the entire candidate set. Bayesian-guided design selection reaches a prescribed error threshold with only a handful of oracle evaluations in most cases.

2026-03-16T21:09:57Z Hooman Danesh Henning Wessels http://arxiv.org/abs/2609.08387v1 2026-09-08T07:57:28Z

Cooling-channel layouts for electric-vehicle battery packs must deliver temperature uniformity and low pressure drop while maintaining a single continuous channel. In late-stage design, local modification is a practical way to improve performance while retaining established global features. Diffusion-based inpainting supports such local edits, but its stochastic nature produces different outcomes even for the same region. This raises a fundamental question: how should edit locations be selected when each modification's outcome is stochastic? We propose a risk-aware generative editing framework that selects edit locations by accounting for this variability. Rather than scoring each candidate location by a single expected improvement, the method estimates a distribution of outcomes from offline edit results evaluated with a CFD-trained surrogate, and ranks locations by a chosen risk level. A single trained model therefore supports different editing preferences at inference time, emphasizing either higher expected improvement or greater consistency, without retraining. The policy is evaluated against random editing in a held-out paired study across seven mask configurations. It improves the cooling-channel objective over random editing in most configurations, and the advantage holds under independent CFD verification of the edited designs. Varying the risk level reveals a consistent trade-off between mean improvement and run-to-run consistency, while the learned distribution is useful for ranking locations but should not be read as a calibrated probability distribution. Together, these results show that stochastic generative editing can be converted from a source of variability into a controllable design decision through risk-aware location selection: effective editing depends not only on how a design is modified, but also on where and how much outcome variability is acceptable.

2026-09-08T07:57:28Z 35 pages, 11 figures, 5 tables Leekyo Jeong Yoon Koo Lee Namwoo Kang