Suchergebnisse - computing methodologies modeling and simulation simulation theory (systems OR system) theory

FairSense: Long-Term Fairness Analysis of ML-Enabled Systems von She, Yining, Biswas, Sumon, Kastner, Christian, Kang, Eunsuk

“… In this paper, we propose a simulation-based framework called Fairsenseto detect and analyze long-term unfairness in ML-enabled systems …”
Volltext

SAPO: Improving the Scalability and Accuracy of Quantum Linear Solver for Portfolio Optimization von Zhu, Tianze, Lu, Liqiang, Chen, Jiajun, Chen, Yuhang, Chen, Hengrui, Xi, Meng, Zhang, Jinshan, Sun, Xiaoming, Yin, Jianwei

“… Quantum computing offers polynomial or even exponential speedup that turns out to be a promising approach …”
Volltext

Efficient Domain Augmentation for Autonomous Driving Testing Using Diffusion Models von Baresi, Luciano, Xian Hu, Davide Yi, Stocco, Andrea, Tonella, Paolo

“… Simulation-based testing is widely used to assess the reliability of Autonomous Driving Systems (ADS …”
Volltext

A Multi‐layer Solver for XPBD von Mercier‐Aubin, A., Kry, P. G.

“… We present a novel multi‐layer method for extended position‐based dynamics that exploits a sequence of reduced models consisting of rigid and elastic parts to …”
Volltext

In-Simulation Testing of Deep Learning Vision Models in Autonomous Robotic Manipulators von Humeniuk, Dmytro, Ben Braiek, Houssem, Reid, Thomas, Khomh, Foutse

“… ) and identifying failures through offline or online simulation-based testing. However, the process of exploiting the identified failures to uncover design flaws early …”
Volltext

Anton 3: Twenty Microseconds of Molecular Dynamics Simulation Before Lunch von Shaw, David E., Adams, Peter J., Azaria, Asaph, Bank, Joseph A., Batson, Brannon, Bell, Alistair, Bergdorf, Michael, Bhatt, Jhanvi, Butts, J. Adam, Correia, Timothy, Dirks, Robert M., Dror, Ron O., Eastwood, Michael P., Edwards, Bruce, Even, Amos, Feldmann, Peter, Fenn, Michael, Fenton, Christopher H., Forte, Anthony, Gagliardo, Joseph, Gill, Gennette, Gorlatova, Maria, Greskamp, Brian, Grossman, J.P., Gullingsrud, Justin, Harper, Anissa, Hasenplaugh, William, Heily, Mark, Heshmat, Benjamin Colin, Hunt, Jeremy, Ierardi, Douglas J., Iserovich, Lev, Jackson, Bryan L., Johnson, Nick P., Kirk, Mollie M., Klepeis, John L., Kuskin, Jeffrey S., Mackenzie, Kenneth M., Mader, Roy J., McGowen, Richard, McLaughlin, Adam, Moraes, Mark A., Nasrb, Mohamed H., Nociolo, Lawrence J., O'Donnell, Lief, Parker, Andrew, Peticolas, Jon L., Pocina, Goran, Predescu, Cristian, Quan, Terry, Salmon, John K., Schwink, Carl, Shim, Keun Sup, Siddique, Naseer, Spengler, Jochen, Szalay, Tamas, Tabladillo, Raymond, Tartler, Reinhard, Taube, Andrew G., Theobald, Michael, Towles, Brian, Vick, William, Wang, Stanley C., Wazlowski, Michael, Weingarten, Madeleine J., Williams, John M., Yuh, Kevin A.

“… Anton 3 is the newest member in a family of supercomputers specially designed for atomic-level simulation of molecules relevant to biology (e.g …”
Volltext

Statistical inference for stochastic simulation models - theory and application von Hartig, Florian, Calabrese, Justin M., Reineking, Björn, Wiegand, Thorsten, Huth, Andreas

“… ‐established statistical theory such as maximum likelihood and Bayesian statistics. A number of new methods, among them Approximate Bayesian Computing and Pattern …”
Volltext

Evaluating Terminology Translation in Machine Translation Systems via Metamorphic Testing von Xu, Yihui, Li, Yanhui, Wang, Jun, Zhang, Xiaofang

“… However, existing translation systems, such as Google Translate, have been shown to occasionally produce errors in terminology translation …”
Volltext

LLM-Agents Driven Automated Simulation Testing and Analysis of small Uncrewed Aerial Systems von Duvvuru, Venkata Sai Aswath, Zhang, Bohan, Vierhauser, Michael, Agrawal, Ankit

“… Thorough simulation testing is crucial for validating the correct behavior of small Uncrewed Aerial Systems (sUAS …”
Volltext

The Dataflow Abstract Machine Simulator Framework von Zhang, Nathan, Lacouture, Rubens, Sohn, Gina, Mure, Paul, Zhang, Qizheng, Kjolstad, Fredrik, Olukotun, Kunle

“… The growing interest in novel dataflow architectures and streaming execution paradigms has created the need for a simulator optimized for modeling dataflow systems …”
Volltext

FireAxe: Partitioned FPGA-Accelerated Simulation of Large-Scale RTL Designs von Whangbo, Joonho, Lim, Edwin, Zhang, Chengyi Lux, Anderson, Kevin, Gonzalez, Abraham, Gupta, Raghav, Krishnakumar, Nivedha, Karandikar, Sagar, Nikolic, Borivoje, Shao, Yakun Sophia, Asanovic, Krste

“… components, system software, and application code. Although this process can be accelerated using FPGAs as a simulation host, existing platforms fall short when the resource requirements of a custom hardware design exceed a single FPGA …”
Volltext

High-Performance Computing Architecture Exploration with Stage-Enhanced Bayesian Optimization von Fu, Vincent, Benazouz, Mohamed, Zaourar, Lilia, Munier-Kordon, Alix

“… The emergence of new applications in high-performance computing is driving the need for more efficient computing machines …”
Volltext

Biopharmaceutics modeling and simulations: theory, practice, methods, and applications. von Sugano, Kiyohiko

“… A comprehensive introduction to using modeling and simulation programs in drug discovery and development Biopharmaceutical modeling has become integral to the design and development of new drugs …”
Volltext

Towards Realistic, Applicable and Feasible Configuration-Aware Performance Modeling von Xia, Yuanjie

“… In modern software systems, configurability has become essential for optimizing performance across varying scenarios and user demands …”
Volltext

Closing the "Quantum Supremacy" Gap: Achieving Real-Time Simulation of a Random Quantum Circuit Using a New Sunway Supercomputer von Liu, Yong, Liu, Xin, Li, Fang, Fu, Haohuan, Yang, Yuling, Song, Jiawei, Zhao, Pengpeng, Wang, Zhen, Peng, Dajia, Chen, Huarong, Guo, Chu, Huang, Heliang, Wu, Wenzhao, Chen, Dexun

“… ) circuit, with a sustained performance of 1.2 Eflops (single-precision), or 4.4 Eflops (mixed-precision)as a new milestone for classical simulation of quantum circuits …”
Volltext

Human-Assisted Intelligent Computing: Modelling, Simulations and Applications von Manshahia, Mukhdeep Singh, Litvinchev, Igor S, Weber, Gerhard-Wilhelm, Thomas, J. Joshua, Vasant, Pandian, Kavitha, T

“… This edited book focuses on well-known and new methodologies of optimization techniques in human-assisted computing that are used to resolve some of the …”
Volltext

Robust and Artefact‐Free Deformable Contact with Smooth Surface Representations von Du, Y., Li, Y., Coros, S., Thomaszewski, B.

“… Modeling contact between deformable solids is a fundamental problem in computer animation, mechanical design, and robotics …”
Volltext

A Conceptual Modeling and Simulation Framework for System Design von Coatanea, Eric, Roca, Ric, Mokhtarian, Hossein, Mokammel, Faisal, Ikkala, Kimmo

“… This article presents the dimensional analysis conceptual modeling (DACM) framework, intended as a conceptual modeling mechanism for lifecycle systems engineering …”
Volltext

A review of atomic layer deposition modelling and simulation methodologies: Density functional theory and molecular dynamics von Sibanda, David, Oyinbo, Sunday Temitope, Jen, Tien-Chien

“… The use of computational modelling and simulation methodologies has grown in recent years as researchers try to understand the atomic layer deposition (ALD …”
Volltext

Modeling and simulation of planar multibody systems considering multiple revolute clearance joints von Ma, Jia, Qian, Linfang

“… This paper presents a general procedure for dynamic modeling and simulation of planar multibody systems considering multiple revolute clearance joints …”
Volltext