English
Related papers

Related papers: TeXmacs-Reduce interface

200 papers

The remote work ecosystem is transforming patterns of communication between teams and individuals located at distance. Particularly, the absence of certain subtle cues in current communication tools may hinder an online's meeting outcome by…

Human-Computer Interaction · Computer Science 2021-05-19 Bon Adriel Aseniero , Marios Constantinides , Sagar Joglekar , Ke Zhou , Daniele Quercia

Transformer-based models have achieved strong performance in remote sensing image captioning by capturing long-range dependencies and contextual information. However, their practical deployment is hindered by high computational costs,…

Computer Vision and Pattern Recognition · Computer Science 2025-06-12 Swadhin Das , Divyansh Mundra , Priyanshu Dayal , Raksha Sharma

I review recent progress in the determination of PDFs with the inclusion of small-x resummation, and its impact in precision phenomenology, and discuss future prospects.

High Energy Physics - Phenomenology · Physics 2023-05-26 Marco Bonvini

This book was intended to serve as supporting material for a mini-course on web geometry delivered at the 27th Brazilian Mathematical Colloquium which took place at IMPA in the last week of July 2009.

Complex Variables · Mathematics 2011-07-11 Jorge Vitório Pereira , Luc Pirio

Currently, there is a significant amount of research being conducted in the field of artificial intelligence to improve the explainability and interpretability of deep learning models. It is found that if end-users understand the reason for…

Information Retrieval · Computer Science 2023-06-02 Niloofar Ranjbar , Saeedeh Momtazi , MohammadMehdi Homayounpour

Deep recommender systems (DRS) often face challenges in balancing computational efficiency and model accuracy, especially when handling high-dimensional input features. Existing methods either focus on improving accuracy while neglecting…

Information Retrieval · Computer Science 2026-05-08 Nghia Bui , Yue Ning , Lijing Wang

Reductions combine collections of inputs with an associative (and here, also commutative) operator to produce collections of outputs. When the same value contributes to multiple outputs, there is an opportunity to reuse partial results,…

Programming Languages · Computer Science 2024-11-27 Louis Narmour , Ryan Job , Tomofumi Yuki , Sanjay Rajopadhye

This is the write-up of the talk I gave at the 23rd International Symposium on Mathematical Programming (ISMP) in Bordeaux, France, July 6th, 2018. The talk was a general overview of the state of the art of time-varying, mainly convex,…

Optimization and Control · Mathematics 2018-08-02 Andrea Simonetto

We comment on two randomized algorithms for constructing low-rank matrix decompositions. Both algorithms employ the Subsampled Randomized Hadamard Transform [14]. The first algorithm appeared recently in [9]; here, we provide a novel…

Data Structures and Algorithms · Computer Science 2012-04-04 Christos Boutsidis

We present a new Python toolkit called RecWizard for Conversational Recommender Systems (CRS). RecWizard offers support for development of models and interactive user interface, drawing from the best practices of the Huggingface ecosystems.…

Information Retrieval · Computer Science 2024-02-27 Zeyuan Zhang , Tanmay Laud , Zihang He , Xiaojie Chen , Xinshuang Liu , Zhouhang Xie , Julian McAuley , Zhankui He

The robust truss topology optimization against the uncertain static external load can be formulated as mixed-integer semidefinite programming. Although a global optimal solution can be computed with a branch-and-bound method, it is very…

Optimization and Control · Mathematics 2019-01-25 Yoshihiro Kanno

MapReduce has proven to be one of the most useful paradigms in the revolution of distributed computing, where cloud services and cluster computing become the standard venue for computing. The federation of cloud and big data activities is…

Databases · Computer Science 2016-07-29 Foto Afrati , Shlomi Dolev , Shantanu Sharma , Jeffrey D. Ullman

The surge of pre-training has witnessed the rapid development of document understanding recently. Pre-training and fine-tuning framework has been effectively used to tackle texts in various formats, including plain texts, document texts,…

Computation and Language · Computer Science 2022-10-07 Jingye Chen , Tengchao Lv , Lei Cui , Cha Zhang , Furu Wei

In the paper, some lower bounds for polygamma functions are refined.

Classical Analysis and ODEs · Mathematics 2013-01-29 Feng Qi , Bai-Ni Guo

Efficient fine-tuning of pre-trained Text-to-Image (T2I) models involves adjusting the model to suit a particular task or dataset while minimizing computational resources and limiting the number of trainable parameters. However, it often…

Computer Vision and Pattern Recognition · Computer Science 2025-09-30 Komal Kumar , Rao Muhammad Anwer , Fahad Shahbaz Khan , Salman Khan , Ivan Laptev , Hisham Cholakkal

This is the proceedings of the 5th International Workshop on Adaptive Self-tuning Computing Systems 2015 (ADAPT'15).

Performance · Computer Science 2014-12-09 Christophe Dubach , Grigori Fursin

We present the first release of TAPPS (Technical Analysis and Applied Statistics System); a Python implementation of a thin software platform aimed towards technical analyses and applied statistics. The core of TAPPS is a container for…

Mathematical Software · Computer Science 2023-02-24 Justin Sam Chew , Maurice HT Ling

Software libraries for most of the modern programming languages are numerous, large and complex. Remembering the syntax and usage of APIs is a difficult task for not just novices but also expert programmers. IDEs (Integrated Development…

Human-Computer Interaction · Computer Science 2014-09-24 Anant Bhardwaj , Dave Luciano , Scott Klemmer

We present the design and evaluation of a web-based intelligent writing assistant that helps students recognize their revisions of argumentative essays. To understand how our revision assistant can best support students, we have implemented…

Human-Computer Interaction · Computer Science 2021-07-16 Tazin Afrin , Omid Kashefi , Christopher Olshefski , Diane Litman , Rebecca Hwa , Amanda Godley

Marked by the highlights of native generation of EPUB E-books and TikZ support for creating SVG images, we present an annual report of LaTeXML development in 2013. LaTeXML provides a reimplementation of the $\TeX$ parser, geared towards…

Digital Libraries · Computer Science 2014-04-29 Deyan Ginev , Bruce R. Miller , Silviu Oprea