中文
相关论文

相关论文: Mathematical and programming toolkit of the comput…

200 篇论文

The pipeline optimization problem in machine learning requires simultaneous optimization of pipeline structures and parameter adaptation of their elements. Having an elegant way to express these structures can help lessen the complexity in…

机器学习 · 计算机科学 2021-07-15 Paulito P. Palmes , Akihiro Kishimoto , Radu Marinescu , Parikshit Ram , Elizabeth Daly

The experience of automation of the specifications making of the projects of renovation of the industrial enterprises is described, being based on the special modules in the drawing containing the visible image and additional parameters,…

计算工程、金融与科学 · 计算机科学 2007-05-23 Vladimir V. Migunov

The presented work is part of a larger research program dealing with developing tools for coupling biogeochemical models in contaminated landscapes. The specific objective of this article is to provide the researchers a tool to build…

数学软件 · 计算机科学 2020-09-03 Stelian Ion , Dorin Marinescu , Stefan-Gicu Cruceanu , Virgil Iordache

Visual analysis and reconstruction of pipeline inner walls remain challenging in industrial inspection scenarios. This paper presents a dedicated reconstruction system for pipeline inner walls via industrial endoscopes, which is built on…

计算机视觉与模式识别 · 计算机科学 2026-05-07 Rui Ma , Yifeng Wang , Ziteng Yang , Jing Guo , Naomi Imali Okanda , Xinghui Li

The matrix formation associated to high-order discretizations is known to be numerically demanding. Based on the existing procedure of interpolation and lookup, we design a multiscale assembly procedure to reduce the exorbitant assembly…

数值分析 · 数学 2021-07-21 Thibaut Hirschler , Pablo Antolin , Annalisa Buffa

Parametrizations of data manifolds in shape spaces can be computed using the rich toolbox of Riemannian geometry. This, however, often comes with high computational costs, which raises the question if one can learn an efficient neural…

机器学习 · 计算机科学 2023-09-04 Josua Sassen , Klaus Hildebrandt , Martin Rumpf , Benedikt Wirth

For some scientific questions, empirical data are essential to develop reliable simulation models. These data usually come from different sources with diverse and heterogeneous formats. The design of complex data-driven models is often…

This article presents a novel algorithmic methodology for performing automated diagrammatic deductions over combinatorial structures, using a combination of modified equational theorem-proving techniques and the extended Wolfram model…

计算机科学中的逻辑 · 计算机科学 2021-03-31 Jonathan Gorard , Manojna Namuduri , Xerxes D. Arsiwalla

Complex systems, ranging from soft materials to wireless communication, are often organised as random geometric networks in which nodes and edges evenly fill up the volume of some space. Studying such networks is difficult because they…

概率论 · 数学 2022-07-19 Ivan Kryven , Rik Versendaal

This work aims to describe a mathematical model and a numerical method to simulate a thin anisotropic composite membrane moving and deforming in 3D space under a dynamic load of an arbitrary time and space profile. The model and the method…

数值分析 · 数学 2020-07-24 Vitalii Aksenov , Alexey Vasyukov , Igor Petrov

This study presents the numerical models used for the simulation of the large viscoplastic deformations that aluminium undergoes during the extrusion process in order to obtain industrial profiles. This study also gives examples of results…

计算物理 · 物理学 2022-06-27 Juan M. Torres Zanardi , Ana Scarabino , Federico Bacchi , Luciano Principi

Constructing simulation scenes that are both visually and physically realistic is a problem of practical interest in domains ranging from robotics to computer vision. This problem has become even more relevant as researchers wielding large…

机器人学 · 计算机科学 2024-06-03 Zoey Chen , Aaron Walsman , Marius Memmel , Kaichun Mo , Alex Fang , Karthikeya Vemuri , Alan Wu , Dieter Fox , Abhishek Gupta

Pipe flow models are developed with a focus on their eventual use for feedback control design at the process control level, as opposed to the unit level, in gas processing facilities. Accordingly, linearized facility-scale models are…

系统与控制 · 电气工程与系统科学 2022-11-16 Sven Brüggemann , Robert H. Moroto , Robert R. Bitmead

Assembly of large scale structural systems in space is understood as critical to serving applications that cannot be deployed from a single launch. Recent literature proposes the use of discrete modular structures for in-space assembly and…

多智能体系统 · 计算机科学 2020-08-28 Allan Costa , Benjamin Jenett , Irina Kostitsyna , Amira Abdel-Rahman , Neil Gershenfeld , Kenneth Cheung

Surgical automation requires precise guidance and understanding of the scene. Current methods in the literature rely on bulky depth cameras to create maps of the anatomy, however this does not translate well to space-limited clinical…

Multimodal geometry reasoning requires models to jointly understand visual diagrams and perform structured symbolic inference, yet current vision--language models struggle with complex geometric constructions due to limited training data…

计算机视觉与模式识别 · 计算机科学 2026-02-24 Haobo Lin , Tianyi Bai , Chen Chen , Jiajun Zhang , Bohan Zeng , Wentao Zhang , Binhang Yuan

Leak detection and water quality monitoring are requirements and challenging tasks in Water Distribution Systems (WDS). In-line robots are designed for this aim. In our previous work, we designed an in-pipe robot [1]. In this research, we…

机器人学 · 计算机科学 2021-08-30 Saber Kazeminasab , Ali Akbari , Roozbeh Jafari , M. Katherine Banks

Glass is increasingly desired as a material for manufacturing complex microscopic geometries, from the micro-optics in compact consumer products to microfluidic systems for chemical synthesis and biological analyses. As the size, geometric,…

View-graph is an essential input to large-scale structure from motion (SfM) pipelines. Accuracy and efficiency of large-scale SfM is crucially dependent on the input view-graph. Inconsistent or inaccurate edges can lead to inferior or wrong…

计算机视觉与模式识别 · 计算机科学 2017-12-05 Rajvi Shah , Visesh Chari , P J Narayanan

Many creative ideas are being proposed for image sensor designs, and these may be useful in applications ranging from consumer photography to computer vision. To understand and evaluate each new design, we must create a corresponding image…

计算机视觉与模式识别 · 计算机科学 2017-10-11 Haomiao Jiang , Qiyuan Tian , Joyce Farrell , Brian Wandell