- Sangharatna Godboley, P. Radha Krishna:
CC-SolBMC: Condition Coverage Analysis for Smart Contracts Using Solidity Bounded Model Checker. ENASE 2024: 387-395 - Gustavo F. Martins, Emiliandro C. M. Firmino, Vinicius P. De Mello:
The Use of Large Language Model in Code Review Automation: An Examination of Enforcing SOLID Principles. HCI (53) 2024: 86-97 - Ana Carpio, Elena Cebrián:
Incorporating Cellular Stochasticity in Solid-Fluid Mixture Biofilm Models. CoRR abs/2401.07088 (2024) - Ulrich Römer, Stefan Hartmann, Jendrik-Alexander Tröger, David Anton, Henning Wessels, Moritz Flaschel, Laura De Lorenzis:
Reduced and All-at-Once Approaches for Model Calibration and Discovery in Computational Solid Mechanics. CoRR abs/2404.16980 (2024) - Nitish Chandrappa, Marc Bernacki:
High-fidelity level-set modeling of diffusive solid-state phase transformations for polycrystalline materials. CoRR abs/2405.12995 (2024) - Yingming Pu, Liping Huang, Tao Lin, Hongyu Chen:
Leveraging large language models for nano synthesis mechanism explanation: solid foundations or mere conjectures? CoRR abs/2407.08922 (2024) - Saurabh Deshpande, Hussein Rappel, Mark Hobbs, Stéphane P. A. Bordas, Jakub Lengiewicz:
Gaussian process regression + deep neural network autoencoder for probabilistic surrogate modeling in nonlinear mechanics of solids. CoRR abs/2407.10732 (2024) - 2023
- Lixia Peng, Zhaoyang Ban, Zhiqiang Gao, Weiping Fu, Feng Gao, Wen Wang:
Theoretical Model of Tangential Contact Stiffness and Damping of Solid-Liquid Interface in Macroscopic Relative Motion. IEEE Access 11: 109104-109120 (2023) - Zhongda Huang, Andy Ogilvy, Steve Collins, Warren L. Hare, Michelle Hilts, Andrew Jirasek:
A Hybrid Direct Search and Model-Based Derivative-Free Optimization Method with Dynamic Decision Processing and Application in Solid-Tank Design. Algorithms 16(2): 92 (2023) - Wenfeng Du, Zhuang Xia, Leyu Han, Boqing Gao:
3D solid model generation method based on a generative adversarial network. Appl. Intell. 53(13): 17035-17060 (2023) - Wenfeng Du, Zhuang Xia, Leyu Han, Boqing Gao:
Correction to: 3D solid model generation method based on a generative adversarial network. Appl. Intell. 53(14): 18107 (2023) - Linfei Yin, Dongduan Liu:
Quantum parallel model predictive control for grid-connected solid oxide fuel cells. Appl. Soft Comput. 137: 110157 (2023) - Alberto Paoluzzi, Vadim Shapiro, Antonio DiCarlo, Giorgio Scorzelli, Elia Onofri:
Finite Algebras for Solid Modeling using Julia's Sparse Arrays. Comput. Aided Des. 155: 103436 (2023) - Hooman Salavati, Pim Pullens, Wim Ceelen, Charlotte Debbaut:
Drug transport modeling in solid tumors: A computational exploration of spatial heterogeneity of biophysical properties. Comput. Biol. Medicine 163: 107190 (2023) - Zhiming Guo, Yiyin Zhang, Junyi Wang, Yuanyuan Liu, Heera Jayan, Hesham R. El-Seedi, Stella M. Alzamora, Paula L. Gómez, Xiaobo Zou:
Detection model transfer of apple soluble solids content based on NIR spectroscopy and deep learning. Comput. Electron. Agric. 212: 108127 (2023) - Ludovica Cicci, Stefania Fresca, Mengwu Guo, Andrea Manzoni, Paolo Zunino:
Uncertainty quantification for nonlinear solid mechanics using reduced order models with Gaussian process regression. Comput. Math. Appl. 149: 1-23 (2023) - Ales Wodecki, Pavel Strachota, Tomás Oberhuber, Katerina Skardová, Monika Balázsová, Michal Bohatý:
Numerical optimization of the Dirichlet boundary condition in the phase field model with an application to pure substance solidification. Comput. Math. Appl. 145: 90-105 (2023) - Kun Gou, S. M. Mallikarjunaiah:
Computational modeling of circular crack-tip fields under tensile loading in a strain-limiting elastic solid. Commun. Nonlinear Sci. Numer. Simul. 121: 107217 (2023) - Adrian S. Sabau, Lang Yuan, Jean-Luc Fattebert, John A. Turner:
An OpenMP GPU-offload implementation of a non-equilibrium solidification cellular automata model for additive manufacturing. Comput. Phys. Commun. 284: 108605 (2023) - Xiaoning Shen, Hongli Pan, Zhongpei Ge, Wenyan Chen, Liyan Song, Shuo Wang:
Energy-Efficient Multi-Trip Routing for Municipal Solid Waste Collection by Contribution-Based Adaptive Particle Swarm Optimization. Complex Syst. Model. Simul. 3(3): 202-219 (2023) - Fateme Akhoni Pourhosseini, Kumars Ebrahimi, Mohammad H. Omid:
Prediction of total dissolved solids, based on optimization of new hybrid SVM models. Eng. Appl. Artif. Intell. 126: 106780 (2023) - Roland Preuss, Udo von Toussaint:
Outlier-Robust Surrogate Modeling of Ion-Solid Interaction Simulations. Entropy 25(4): 685 (2023) - Omid Hashemi-Amiri, Mostafa Mohammadi, Golman Rahmanifar, Mostafa Hajiaghaei-Keshteli, Gaetano Fusco, Chiara Colombaroni:
An allocation-routing optimization model for integrated solid waste management. Expert Syst. Appl. 227: 120364 (2023) - Robert Barnett, Federico Municchi, John King, Matteo Icardi:
Electrochemical transport modelling and open-source simulation of pore-scale solid-liquid systems. Eng. Comput. 39(6): 4129-4152 (2023) - Kunal Bhagat, Shiva Rudraraju:
Modeling of dendritic solidification and numerical analysis of the phase-field approach to model complex morphologies in alloys. Eng. Comput. 39(4): 2345-2363 (2023) - Michael Fleck, Felix Schleifer:
Sharp phase-field modeling of isotropic solidification with a super efficient spatial resolution. Eng. Comput. 39(3): 1699-1709 (2023) - Michela Borghesi, Cristian Zambelli, Rino Micheloni, Stefano Bonnini:
Modeling 3D NAND Flash with Nonparametric Inference on Regression Coefficients for Reliable Solid-State Storage. Future Internet 15(10): 319 (2023) - Sadra Kashef Ol Gheta, Anne Bonin, Thomas Gerlach, Andreas H. Göller:
Predicting absolute aqueous solubility by applying a machine learning model for an artificially liquid-state as proxy for the solid-state. J. Comput. Aided Mol. Des. 37(12): 765-789 (2023) - Junxiang Yang, Yibao Li, Junseok Kim:
Modified multi-phase diffuse-interface model for compound droplets in contact with solid. J. Comput. Phys. 491: 112345 (2023) - Guomin Chen, Yingwei Jin, Shili Cheng, Huihua Jiao:
Performance improvement of the solid oxide fuel cell using optimal parameters identification through fuzzy logic based-modeling and different optimization algorithms. J. Intell. Fuzzy Syst. 45(1): 845-862 (2023)