English
Related papers

Related papers: Vector Programming Using Structural Recursion

200 papers

A cross-configuration benchmark is proposed to explore the capacities and limitations of AVX / NEON intrinsic functions in a generic context of development project, when a vectorisation strategy is required to optimise the code. The main…

Software Engineering · Computer Science 2026-01-09 Théo Boivin , Joeffrey Legaux

In this paper we describe an approach to construct large extendable collections of vectors in predefined spaces of given dimensions. These collections are useful for neural network latent space configuration and training. For classification…

Algebraic Geometry · Mathematics 2025-12-05 Igor V. Netay

Regression is one of the most fundamental statistical inference problems. A broad definition of regression problems is as estimation of the distribution of an outcome using a family of probability models indexed by covariates. Despite the…

Statistics Theory · Mathematics 2023-09-26 Peter Mueller , Fernando Andrés Quintana , Garritt L. Page

Computer graphics, comprising both raster and vector components, is a fundamental part of modern science, industry, and digital communication. While raster graphics offer ease of use, its pixel-based structure limits scalability. Vector…

Computer Vision and Pattern Recognition · Computer Science 2026-02-12 Egor Bazhenov , Stepan Kasai , Viacheslav Shalamov , Valeria Efimova

This document describes an algorithm to scale a complex vector by the reciprocal of a complex value. The algorithm computes the reciprocal of the complex value and then scales the vector by the reciprocal. Some scaling may be necessary due…

Numerical Analysis · Mathematics 2023-11-13 Weslley da Silva Pereira

Curriculum learning is a training strategy that sorts the training examples by some measure of their difficulty and gradually exposes them to the learner to improve the network performance. Motivated by our insights from implicit curriculum…

Machine Learning · Computer Science 2021-07-28 Vinu Sankar Sadasivan , Anirban Dasgupta

Forgetting - or variable elimination - is an operation that allows the removal, from a knowledge base, of middle variables no longer deemed relevant. In recent years, many different approaches for forgetting in Answer Set Programming have…

Artificial Intelligence · Computer Science 2021-12-08 Ricardo Gonçalves , Matthias Knorr , João Leite

In this article, we discuss a novel approach to solving number sequence problems, in which sequences of numbers following unstated rules are given, and missing terms are to be inferred. We develop a methodology of decomposing test sequences…

History and Overview · Mathematics 2022-11-29 John Prager

Structured sparsity has been proposed as an efficient way to prune the complexity of Machine Learning (ML) applications and to simplify the handling of sparse data in hardware. Accelerating ML models, whether for training, or inference,…

Decomposition and abstraction is an essential component of computational thinking, yet it is not always emphasized in introductory programming courses. In addition, as generative AI further reduces the focus on syntax and increases the…

Software Engineering · Computer Science 2025-12-09 Georgiana Haldeman , Peter Ohmann , Paul Denny

The problem of recovering a vector from the absolute values of its inner products against a family of measurement vectors has been well studied in mathematics and engineering. A generalization of this phase retrieval problem also exists in…

Functional Analysis · Mathematics 2013-07-19 Jameson Cahill , Peter G. Casazza , Jesse Peterson , Lindsey Woodland

All modern processors include a set of vector instructions. While this gives a tremendous boost to the performance, it requires a vectorized code that can take advantage of such instructions. As an ideal vectorization is hard to achieve in…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-04-08 Piotr Bialas , Adam Strzelecki

Programming requires much more than just writing code in a programming language. It is usually done in the context of a stateful environment, by interacting with a system through a graphical user interface. Yet, this wide space of…

Programming Languages · Computer Science 2023-02-21 Joel Jakubovic , Jonathan Edwards , Tomas Petricek

We define a compilation scheme for a constructor-based, strongly-sequential, graph rewriting system which shortcuts some needed steps. The object code is another constructor-based graph rewriting system. This system is normalizing for the…

Programming Languages · Computer Science 2015-05-28 Sergio Antoy , Jacob Johannsen , Steven Libby

This work begins by establishing a mathematical formalization between different geometrical interpretations of Neural Networks, providing a first contribution. From this starting point, a new interpretation is explored, using the idea of…

Machine Learning · Computer Science 2019-05-20 Daniel Vieira , Joao Paixao

We usually define an algebraic structure by a set, some operations defined on this set and some propositions that the algebraic structure must validate. In some cases, we can replace these propositions by an algorithm on terms constructed…

Logic in Computer Science · Computer Science 2009-11-23 Pablo Arrighi , Gilles Dowek

Boundaries are among the primary visual cues used by human and computer vision systems. One of the key problems in boundary detection is the label representation, which typically leads to class imbalance and, as a consequence, to thick…

Computer Vision and Pattern Recognition · Computer Science 2022-09-09 Edoardo Mello Rella , Ajad Chhatkuli , Yun Liu , Ender Konukoglu , Luc Van Gool

Educational datamining involves the application of datamining techniques to student activity. However, in the context of computer programming, many datamining techniques can not be applied because they expect vector-shaped input whereas…

Machine Learning · Computer Science 2022-02-11 Benjamin Paaßen , Jessica McBroom , Bryn Jeffries , Irena Koprinska , Kalina Yacef

Random Projection is a foundational research topic that connects a bunch of machine learning algorithms under a similar mathematical basis. It is used to reduce the dimensionality of the dataset by projecting the data points efficiently to…

Machine Learning · Computer Science 2017-10-10 Mahmoud Nabil

Expanding our knowledge of student difficulties in advanced undergraduate electromagnetism is essential if we are to develop effective instructional interventions. Drawing on an analysis of course materials, in-class observations and…

Physics Education · Physics 2014-10-01 Charles Baily , Cecilia Astolfi