中文
相关论文

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

200 篇论文

Cloud platforms allow users to execute tasks directly from their web browser and are a key enabling technology not only for commerce but also for computational science. Research software is often developed by scientists with limited…

Academic and research cyberinfrastructures (AR-CIs) present unique security challenges due to their collaborative nature, heterogeneous components, and the lack of practical security assessment frameworks tailored to their needs. We propose…

密码学与安全 · 计算机科学 2025-11-11 Qishen Liang , Jelena Mirkovic , Brian Kocoloski

Collective adaptive systems are an emerging class of networked computational systems, particularly suited in application domains such as smart cities, complex sensor networks, and the Internet of Things. These systems tend to feature large…

分布式、并行与集群计算 · 计算机科学 2017-11-23 Mirko Viroli , Giorgio Audrito , Jacob Beal , Ferruccio Damiani , Danilo Pianini

Regional planning processes and associated redevelopment projects can be complex due to the vast amount of diverse data involved. However, all of this data shares a common geographical reference, especially in the renaturation of former…

人机交互 · 计算机科学 2024-04-19 Yves Annanias , Daniel Wiegreffe

Combinatorial interaction testing (CIT) is a useful testing technique to address the interaction of input parameters in software systems. In many applications, the technique has been used as a systematic sampling technique to sample the…

软件工程 · 计算机科学 2019-07-23 Bestoun S. Ahmed , Angelo Gargantini , Kamal Z. Zamli , Cemal Yilmaz , Miroslav Bures , Marek Szeles

Ice storms are extreme weather events that can have devastating implications for the sustainability of natural ecosystems as well as man made infrastructure. Ice storms are caused by a complex mix of atmospheric conditions and are among the…

大气与海洋物理 · 物理学 2018-05-15 Ranjini Swaminathan , Mohan Sridharan , Katharine Hayhoe

The Smart Grid (SG) is a Cyber-Physical System (CPS) considered a critical infrastructure divided into cyber (software) and physical (hardware) counterparts that complement each other. It is responsible for timely power provision wrapped by…

性能 · 计算机科学 2020-11-20 Ricardo M. Czekster

Lattice Gas Automata (LGA) is a classical method for simulating physical phenomena, including Computational Fluid Dynamics (CFD). Quantum LGA (QLGA) is the family of methods that implement LGA schemes on quantum computers. In recent years,…

量子物理 · 物理学 2025-12-23 Călin A. Georgescu , Merel A. Schalkers , Matthias Möller

A composable infrastructure is defined as resources, such as compute, storage, accelerators and networking, that are shared in a pool and that can be grouped in various configurations to meet application requirements. This freedom to 'mix…

分布式、并行与集群计算 · 计算机科学 2021-03-22 Kauotar El Maghraoui , Lorraine M. Herger , Chekuri Choudary , Kim Tran , Todd Deshane , David Hanson

GARUDA Grid developed on NKN (National Knowledge Network) network by Centre for Development of Advanced Computing (C-DAC) hubs High Performance Computing (HPC) Clusters which are geographically separated all over India. C-DAC has been…

计算物理 · 物理学 2011-07-08 Chandra Bhushan Roy , Dr Vikas Kumar

This paper puts forth a mathematical framework for Buildings-to-Grid (BtG) integration in smart cities. The framework explicitly couples power grid and building's control actions and operational decisions, and can be utilized by buildings…

最优化与控制 · 数学 2017-10-11 Ahmad F. Taha , Nikolaos Gatsis , Bing Dong , Ankur Pipri , Zhaoxuan Li

The rapid growth of spatiotemporal data volumes needs to be handled by database systems capable of efficiently managing and querying such data. Existing systems such as PostGIS, SpaceTime, and MobilityDB offer partial solutions but differ…

数据库 · 计算机科学 2026-05-01 Tim C. Rese , Nils Japke , Diana Baumann , Natalie Carl , David Bermbach

The advancements in cloud-based Large Languages Models (LLMs) have revolutionized AI-assisted programming. However, their integration into certain local development environments like ones within the Apple software ecosystem (e.g., iOS apps,…

人工智能 · 计算机科学 2025-04-08 Yuchen Wang , Shangxin Guo , Chee Wei Tan

Seismic imaging is the numerical process of creating a volumetric representation of the subsurface geological structures from elastic waves recorded at the surface of the Earth. As such, it is widely utilized in the energy and construction…

地球物理 · 物理学 2024-11-05 Juan Romero , Wolfgang Heidrich , Nick Luiken , Matteo Ravasi

The rise in computational capability has increased reliance on simulations to inform aircraft design. However aircraft airworthiness testing for flight certification remains rooted in real-world experiments performed after manufacturing an…

应用统计 · 统计学 2022-03-28 Jayant Mukhopadhaya

Combined Transmission and Distribution Systems (CoTDS) simulation for power systems requires development of algorithms and software that are numerically stable and at the same time accurately simulate dynamic events that can occur in…

系统与控制 · 计算机科学 2018-01-08 Ramakrishnan Venkatraman , Siddhartha Kumar Khaitan , Venkataramana Ajjarapu

The stability of geotechnical infrastructure assets, such as cuttings and embankments, is crucial to the safe and efficient delivery of transport services. The successful emulation of geotechnical models of deterioration of infrastructure…

Distributed digital infrastructures for computation and analytics are now evolving towards an interconnected ecosystem allowing complex applications to be executed from IoT Edge devices to the HPC Cloud (aka the Computing Continuum, the…

分布式、并行与集群计算 · 计算机科学 2021-09-06 Daniel Rosendo , Alexandru Costan , Gabriel Antoniu , Patrick Valduriez

Geomechanical monitoring of a rock massif is an actively developing branch of geomechanics. It is almost impossible to single out a methodology and approaches for data collection and analysis in developing seismic monitoring systems. In the…

地球物理 · 物理学 2023-01-16 Ilia Revin

Cyber-Physical Energy System, due to its multi-domain nature, requires a holistic validation methodology, which may involve the integration of assets and expertise from various research infrastructures. In this paper, the integration of…

信号处理 · 电气工程与系统科学 2019-05-16 Van Hoa Nguyen , Tung Lam Nguyen , Quoc Tuan Tran , Yvon Besanger , Raphael Caire