English
Related papers

Related papers: Colimit-Based Composition of High-Level Computing …

200 papers

Efficient arithmetic circuit design for resourceconstrained hardware involves challenging combinatorial optimization problems, among which Multiple Constant Multiplication (MCM) is a prominent example. MCM aims at implementing…

Hardware Architecture · Computer Science 2026-05-26 Théo Cantaloube , Nicolai Fiege , Anastasia Volkova , Christine Solnon

Functionals are an important research subject in Mathematics and Computer Science as well as a challenge in Information Technologies where the current programming paradigm states that only symbolic computations are possible on higher order…

Logic · Mathematics 2018-09-13 Stanislaw Ambroszkiewicz

Hyperdimensional Computing (HDC) is a bio-inspired computing framework that has gained increasing attention, especially as a more efficient approach to machine learning (ML). This work introduces the \name{} compiler, the first open-source…

Machine Learning · Computer Science 2023-04-26 Pere Vergés , Mike Heddes , Igor Nunes , Tony Givargis , Alexandru Nicolau

This paper proposes a form of MPC in which the control variables are moved asynchronously. This contrasts with most MIMO control schemes, which assume that all variables are updated simultaneously. MPC outperforms other control strategies…

Systems and Control · Computer Science 2015-03-17 K. V. Ling , J. M. Maciejowski , A. G. Richards , B-F. Wu

Coded distributed computing (CDC) is a new technique proposed with the purpose of decreasing the intense data exchange required for parallelizing distributed computing systems. Under the famous MapReduce paradigm, this coded approach has…

Information Theory · Computer Science 2022-06-28 Federico Brunero , Petros Elia

In the expanding field of Quantum Computing (QC), efficient and seamless integration of QC and high performance computing (HPC) elements (e.g., quantum hardware, classical hardware, and software infrastructure on both sides) plays a crucial…

Quantum Physics · Physics 2023-09-08 Philipp Seitz , Amr Elsharkawy , Xiao-Ting Michelle To , Martin Schulz

Since high data volume and complex data formats delivered in modern high-end production environments go beyond the scope of classical process control systems, more advanced tools involving machine learning are required to reliably recognize…

Machine Learning · Computer Science 2022-04-04 Stefan Schrunner , Michael Scheiber , Anna Jenul , Anja Zernig , Andre Kästner , Roman Kern

In this work we present a clustering technique called \textit{multi-level conformal clustering (MLCC)}. The technique is hierarchical in nature because it can be performed at multiple significance levels which yields greater insight into…

Machine Learning · Statistics 2020-06-25 Ilia Nouretdinov , James Gammerman , Matteo Fontana , Daljit Rehal

Let's HPC (www.letshpc.org) is an open-access online platform to supplement conventional classroom oriented High Performance Computing (HPC) and Parallel & Distributed Computing (PDC) education. The web based platform provides online…

Computers and Society · Computer Science 2017-01-24 Akshar Varma , Yashwant Keswani , Yashodhan Bhatnagar , Bhaskar Chaudhury

The imposition of real-time constraints on a parallel computing environment- specifically high-performance, cluster-computing systems- introduces a variety of challenges with respect to the formal verification of the system's timing…

Logic in Computer Science · Computer Science 2013-01-03 Peter Hui , Satish Chikkagoudar

Model Predictive Control (MPC) is a powerful technique to control nonlinear, multi-input multi-output systems subject to input and state constraints. It is now a standard tool for trajectory tracking control of automated vehicles. As such…

Systems and Control · Electrical Eng. & Systems 2025-08-20 Georg Schildbach , Jasper Pflughaupt

In the High-Luminosity Large Hadron Collider (HL-LHC), one of the most challenging computational problems is expected to be finding and fitting charged-particle tracks during event reconstruction. The methods currently in use at the LHC are…

This book explores an alternative to the current dominant paradigm where a discrete computer model is constructed as an attempt to approximate some continuum theory. We focus on a class of discrete computer models that are based on simple…

Logic in Computer Science · Computer Science 2017-04-14 Garry Pantelis

Recent advances in quantum computing have brought us closer to realizing the potential of this transformative technology. While significant strides have been made in quantum error correction, many challenges persist, particularly in the…

Quantum Physics · Physics 2025-12-03 Mateusz Meller , Vendel Szeremi , Oliver Thomson Brown

Parallel programming remains one of the most challenging aspects of High-Performance Computing (HPC), requiring deep knowledge of synchronization, communication, and memory models. While modern C++ standards and frameworks like OpenMP and…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-03-16 Patrick Diehl , Noujoud Nader , Deepti Gupta

Modeling high-order feature interactions efficiently is a central challenge in click-through rate and conversion rate prediction. Modern industrial recommender systems are predominantly built upon deep learning recommendation models, where…

Information Retrieval · Computer Science 2026-02-13 Heng Yu , Xiangjun Zhou , Jie Xia , Heng Zhao , Anxin Wu , Yu Zhao , Dongying Kong

Quantum computing holds great promise for surpassing the limits of classical devices in many fields. Despite impressive developments, however, current research is primarily focused on qubits. At the same time, quantum hardware based on…

Quantum Physics · Physics 2024-10-07 Kevin Mato , Martin Ringbauer , Lukas Burgholzer , Robert Wille

Advancements in artificial intelligence for molecular science are necessitating a paradigm shift from purely data-driven predictions to knowledge-guided computational reasoning. Existing molecular models are predominantly proprietary,…

Machine Learning · Computer Science 2026-03-16 Pengfei Liu , Shuang Ge , Jun Tao , Zhixiang Ren

With the growing complexity of computational and experimental facilities, many scientific researchers are turning to machine learning (ML) techniques to analyze large scale ensemble data. With complexities such as multi-component workflows,…

Aiming at the problems of computational inefficiency and insufficient interpretability faced by large models in complex tasks such as multi-round reasoning and multi-modal collaboration, this study proposes a three-layer collaboration…

Computation and Language · Computer Science 2025-09-23 Luyan Zhang
‹ Prev 1 3 4 5 6 7 10 Next ›