English
Related papers

Related papers: Array operators using multiple dispatch: a design …

200 papers

Humans extract useful abstractions of the world from noisy sensory data. Serial reproduction allows us to study how people construe the world through a paradigm similar to the game of telephone, where one person observes a stimulus and…

Artificial Intelligence · Computer Science 2024-02-07 Sreejan Kumar , Raja Marjieh , Byron Zhang , Declan Campbell , Michael Y. Hu , Umang Bhatt , Brenden Lake , Thomas L. Griffiths

CHR is a declarative, concurrent and committed choice rule-based constraint programming language. We extend CHR with multiset comprehension patterns, providing the programmer with the ability to write multiset rewriting rules that can match…

Programming Languages · Computer Science 2014-06-10 Edmund S. L. Lam , Iliano Cervesato

We argue that the Julia programming language is a compelling alternative to implementations in Python and C++ for common data analysis workflows in high energy physics. We compare the speed of implementations of different workflows in Julia…

Computational Physics · Physics 2021-04-13 Marcel Stanitzki , Jan Strube

User-schedulable languages (USLs) help programmers productively optimize programs by providing safe means of transforming them. Current USLs are designed to give programmers exactly the control they want, while automating all other…

Programming Languages · Computer Science 2025-01-31 Yuka Ikarashi , Kevin Qian , Samir Droubi , Alex Reinking , Gilbert Bernstein , Jonathan Ragan-Kelley

Parallel dataflow systems have become a standard technology for large-scale data analytics. Complex data analysis programs in areas such as machine learning and graph analytics often involve control flow, i.e., iterations and branching.…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-10-16 Gábor E. Gévay , Tilmann Rabl , Sebastian Breß , Loránd Madai-Tahy , Volker Markl

Narrative visualization is a powerful communicative tool that can take on various formats such as interactive articles, slideshows, and data videos. These formats each have their strengths and weaknesses, but existing authoring tools only…

Human-Computer Interaction · Computer Science 2022-05-23 Matthew Conlen , Jeffrey Heer

The fact that Applicative type class allows one to express simple parsers in a variable-less combinatorial style is well appreciated among Haskell programmers for its conceptual simplicity, ease of use, and usefulness for semi-automated…

Programming Languages · Computer Science 2019-05-28 Jan Malakhovski , Sergei Soloviev

Web programmers are often faced with several challenges in the development process of modern, rich internet applications. Technologies for the different tiers of the application have to be selected: a server-side language, a combination of…

Programming Languages · Computer Science 2017-12-05 Laure Philips , Joeri De Koster , Wolfgang De Meuter , Coen De Roover

XL-MIMO emerges as a promising technology to achieve unprecedented enhancements in spectral efficiency and spatial resolution, via orders-of-magnitude increase in the antenna array size. However, the practical issues of high hardware cost…

Information Theory · Computer Science 2025-08-29 Haiquan Lu , Hongqi Min , Yong Zeng , Shaodan Ma

Developing cross-device multi-user interfaces (UIs) is a challenging problem. There are numerous ways in which content and interactivity can be distributed. However, good solutions must consider multiple users, their roles, their…

The diversity of patterns that emerge from complex systems motivates their use for scientific or artistic purposes. When exploring these systems, the challenges faced are the size of the parameter space and the strongly non-linear mapping…

Machine Learning · Computer Science 2025-10-02 Bastien Morel , Clément Moulin-Frier , Pascal Barla

Designing programming languages that enable intuitive and safe manipulation of data structures is a critical research challenge. Conventional destructive memory operations using pointers are complex and prone to errors. Existing type…

Programming Languages · Computer Science 2026-01-21 Jin Sano , Naoki Yamamoto , Kazunori Ueda

Join patterns are a high-level programming construct for message-passing applications. They offer an intuitive and declarative approach for specifying how concurrent and distributed components coordinate, possibly depending on complex…

Programming Languages · Computer Science 2026-03-09 Ayman Hussein , Philipp Haller , Ioannis Karras , Hernán Melgratti , Alceste Scalas , Emilio Tuosto

Datasets encountered in scientific and engineering applications appear in complex formats (e.g., images, multivariate time series, molecules, video, text strings, networks). Graph theory provides a unifying framework to model such datasets…

Mathematical Software · Computer Science 2025-01-09 David L Cole , Victor M Zavala

Scientists are increasingly turning to datacenter-scale computers to produce and analyze massive arrays. Despite decades of database research that extols the virtues of declarative query processing, scientists still write, debug and…

Databases · Computer Science 2017-02-28 Haoyuan Xing , Sofoklis Floratos , Spyros Blanas , Suren Byna , Prabhat , Kesheng Wu , Paul Brown

Generating an abstraction of a dynamic domain that aligns with a given purpose remains a significant challenge given that the choice of such an abstraction can impact an agent's ability to plan, reason, and provide explanations effectively.…

Artificial Intelligence · Computer Science 2025-10-24 Bita Banihashemi , Megh Patel , Yves Lespérance

Data processing systems impose multiple views on data as it is processed by the system. These views include spreadsheets, databases, matrices, and graphs. The common theme amongst these views is the need to store and operate on data as…

Databases · Computer Science 2015-01-26 Jeremy Kepner , Julian Chaidez , Vijay Gadepally , Hayden Jansen

Coded caching schemes with low subpacketization and small transmission rate are desirable in practice due to the requirement of low implementation complexity and efficiency of the transmission. Placement delivery arrays (PDA in short) can…

Information Theory · Computer Science 2020-08-25 Mingming Zhang , Minquan Cheng , Jinyu Wang , Xi Zhong , Yishan Chen

I present the most fundamental features of an implemented system designed to manipulate representations of regular languages. The system is structured into two layers, allowing regular languages to be represented in an increasingly compact,…

Formal Languages and Automata Theory · Computer Science 2025-09-24 Baudouin Le Charlier

The complexity of large-scale distributed systems, particularly when deployed in physical space, calls for new mechanisms to address composability and reusability of collective adaptive behaviour. Computational fields have been proposed as…

Logic in Computer Science · Computer Science 2019-01-15 Mirko Viroli , Giorgio Audrito , Ferruccio Damiani , Danilo Pianini , Jacob Beal
‹ Prev 1 8 9 10 Next ›