中文
相关论文

相关论文: Experiences with Automated Build and Test for Geod…

200 篇论文

Realizing large-scale quantum advantage is expected to require quantum error correction (QEC), making the compilation and optimization of logical operations a critical area of research. Logical computation imposes distinct constraints and…

Computer simulations have become a very powerful tool for scientific research. Given the vast complexity that comes with many open scientific questions, a purely analytical or experimental approach is often not viable. For example,…

神经与进化计算 · 计算机科学 2016-07-12 Roman Bauer , Lukas Breitwieser , Alberto Di Meglio , Leonard Johard , Marcus Kaiser , Marco Manca , Manuel Mazzara , Max Talanov

Differences between computer simulation of dynamical systems and laboratory experiments are common in teaching and research in engineering. Normally, numerical inaccuracy and the non-ideal behaviour of the devices involved in the experiment…

Computer simulations have become a very powerful tool for scientific research. In order to facilitate research in computational biology, the BioDynaMo project aims at a general platform for biological computer simulations, which should be…

分布式、并行与集群计算 · 计算机科学 2016-08-18 Lukas Breitwieser , Roman Bauer , Alberto Di Meglio , Leonard Johard , Marcus Kaiser , Marco Manca , Manuel Mazzara , Fons Rademakers , Max Talanov

Hybrid systems with both discrete and continuous dynamics are an important model for real-world cyber-physical systems. The key challenge is to ensure their correct functioning w.r.t. safety requirements. Promising techniques to ensure…

计算机科学中的逻辑 · 计算机科学 2015-05-27 Stefan Mitsch , Grant Olney Passmore , Andre Platzer

We advocate in this paper the use of grid-based infrastructures that are designed for seamless approaches to the numerical expert users, i.e., the multiphysics applications designers. It relies on sophisticated computing environments based…

分布式、并行与集群计算 · 计算机科学 2016-08-16 Toan Nguyen , Lizhe Wang , Vittorio Selmin

The UK Critical National Infrastructure is critically dependent on digital technologies that provide communications, monitoring, control, and decision-support functionalities. Digital technologies are progressively enhancing efficiency,…

密码学与安全 · 计算机科学 2022-08-18 Uchenna D Ani , Jeremy D McK Watson , Nilufer Tuptuk , Steve Hailes , Madeline Carr , Carsten Maple

Recent advancements in large language models, including GPT-4 and its variants, and Generative AI-assisted coding tools like GitHub Copilot, ChatGPT, and Tabnine, have significantly transformed software development. This paper analyzes how…

软件工程 · 计算机科学 2024-11-05 Vijay Joshi , Iver Band

The primary use of technical computing in the oil and gas industries is for seismic imaging of the earth's subsurface, driven by the business need for making well-informed drilling decisions during petroleum exploration and production.…

分布式、并行与集群计算 · 计算机科学 2012-04-06 Masnida Emami , Ali Setayesh , Nasrin Jaberi

Structural modeling is a fundamental component of computational engineering science, in which even minor physical inconsistencies or specification violations may invalidate downstream simulations. The potential of large language models…

软件工程 · 计算机科学 2026-02-10 Yongqing Jiang , Jianze Wang , Zhiqi Shen , Zhenghong Lin , Jiayuan Wang , Yijian Yang , Kaoshan Dai , Haoran Luo

Cloud computing recently developed into a viable alternative to on-premises systems for executing high-performance computing (HPC) applications. With the emergence of new vendors and hardware options, there is now a growing need to…

分布式、并行与集群计算 · 计算机科学 2018-12-14 Mohammad Mohammadi , Timur Bazhirov

To support rapid AI advances and broaden access to large-scale computing resources for under-resourced institutions at the Mid-South, we established the first regional mid-scale GPU cluster at the University of Memphis (UofM), iTiger. We…

分布式、并行与集群计算 · 计算机科学 2026-04-23 Mayira Sharif , Guangzeng Han , Weisi Liu , Xiaolei Huang

Computer experiments are often performed to allow modeling of a response surface of a physical experiment that can be too costly or difficult to run except using a simulator. Running the experiment over a dense grid can be prohibitively…

应用统计 · 统计学 2009-05-25 Robert B. Gramacy , Herbert K. H. Lee

To reduce the carbon footprint of computing and stabilize electricity grids, there is an increasing focus on approaches that align the power usage of IT infrastructure with the availability of clean energy. Unfortunately, research on…

分布式、并行与集群计算 · 计算机科学 2024-06-21 Philipp Wiesner , Ilja Behnke , Paul Kilian , Marvin Steinke , Odej Kao

This study assesses the capability of ChatGPT to generate finite element code for geotechnical engineering applications from a set of prompts. We tested three different initial boundary value problems using a hydro-mechanically coupled…

数值分析 · 数学 2025-02-07 Taegu Kim , Tae Sup Yun , Hyoung Suk Suh

Multi working-machines pathfinding solution enables more mobile machines simultaneously to work inside of a working site so that the productivity can be expected to increase evolutionary. To date, the potential cooperation conflicts among…

人工智能 · 计算机科学 2021-05-17 Yusheng Xiang , Kailun Liu , Tianqing Su , Jun Li , Shirui Ouyang , Samuel S. Mao , Marcus Geimer

High-performance scientific applications require more and more compute power. The concurrent use of multiple distributed compute resources is vital for making scientific progress. The resulting distributed system, a so-called Jungle…

Testing is one of the most important steps in software development. It ensures the quality of software. Continuous Integration (CI) is a widely used testing system that can report software quality to the developer in a timely manner during…

分布式、并行与集群计算 · 计算机科学 2020-07-22 Jieyang Chen , Qiang Guan , Li-Ta Lo , Patricia Grubel , Tim Randles

Providing a comprehensive view of the city operation and offering useful metrics for decision making is a well known challenge for urban risk analysis systems. Existing systems are, in many cases, generalizations of previous domain specific…

多智能体系统 · 计算机科学 2025-01-10 David Carraminana , Ana M. Bernardos , Juan A. Besada , Jose R. Casar