English
Related papers

Related papers: Let's reinvent subtraction

200 papers

This short article contains the construction of a construction that generalizes the concept of the derivative of a function of one variable, using the theory of filters. The paper presents a new concept, demonstrates that it really…

Functional Analysis · Mathematics 2025-06-24 Dmytro Seliutin

We present a new method for characterizing the interpretive possibilities generated by elliptical constructions in natural language. Unlike previous analyses, which postulate ambiguity of interpretation or derivation in the full clause…

cmp-lg · Computer Science 2016-08-31 Mary Dalrymple , Stuart M. Shieber , Fernando C. N. Pereira

This paper is an expository contribution reporting on published work. It focusses on an approach followed in the rewriting community to formalize the concept of strategy. Based on rewriting concepts, several definitions of strategy are…

Logic in Computer Science · Computer Science 2013-03-05 Hélène Kirchner

We present a new alternating convolution formula for the super Catalan numbers which arises as a generalization of two known binomial identities. We prove a generalization of this formula by using auxiliary sums, recurrence relations, and…

Combinatorics · Mathematics 2021-10-12 Jovan Mikić

In Knowledge Management, variations in information expressions have proven a real challenge. In particular, classical semantic relations (e.g. synonymy) do not connect words with different parts-of-speech. The method proposed tries to…

Information Retrieval · Computer Science 2010-10-28 Bernard Jacquemin

We propose a new sentence simplification task (Split-and-Rephrase) where the aim is to split a complex sentence into a meaning preserving sequence of shorter sentences. Like sentence simplification, splitting-and-rephrasing has the…

Computation and Language · Computer Science 2017-07-24 Shashi Narayan , Claire Gardent , Shay B. Cohen , Anastasia Shimorina

We outline basic principles of a new method that gives a conceptual reasoning for and, at the same time, proofs of (super)congruences for truncated sums of arithmetic hypergeometric evaluations.

Number Theory · Mathematics 2020-09-24 Wadim Zudilin

Many techniques in computer vision, machine learning, and statistics rely on the fact that a signal of interest admits a sparse representation over some dictionary. Dictionaries are either available analytically, or can be learned from a…

Computer Vision and Pattern Recognition · Computer Science 2013-03-22 Simon Hawe , Matthias Seibert , Martin Kleinsteuber

Recent years the task of incomplete utterance rewriting has raised a large attention. Previous works usually shape it as a machine translation task and employ sequence to sequence based architecture with copy mechanism. In this paper, we…

Computation and Language · Computer Science 2020-09-29 Qian Liu , Bei Chen , Jian-Guang Lou , Bin Zhou , Dongmei Zhang

The subdifferential of a function is a generalization for nonsmooth functions of the concept of gradient. It is frequently used in variational analysis, particularly in the context of nonsmooth optimization. The present work proposes…

Optimization and Control · Mathematics 2016-09-13 Charles Audet , Warren Hare

Pronouns are frequently omitted in pro-drop languages, such as Chinese, generally leading to significant challenges with respect to the production of complete translations. Recently, Wang et al. (2018) proposed a novel reconstruction-based…

Computation and Language · Computer Science 2018-10-16 Longyue Wang , Zhaopeng Tu , Andy Way , Qun Liu

We use cyclotomy to design new classes of permutation polynomials over finite fields. This allows us to generate many classes of permutation polynomials in an algorithmic way. Many of them are permutation polynomials of large indices.

Number Theory · Mathematics 2012-09-19 Qiang Wang

We discuss about how to make a new logic with considering a slogan: \it take the inversion of what you know. \rm Suppose that we have a Gentzen-style logical system $S$. The operation to make a new logic from $S$ is the following: \it for…

Logic · Mathematics 2021-08-19 Takao Inoué

Standard deep learning systems require thousands or millions of examples to learn a concept, and cannot integrate new concepts easily. By contrast, humans have an incredible ability to do one-shot or few-shot learning. For instance, from…

Computation and Language · Computer Science 2018-01-03 Andrew K. Lampinen , James L. McClelland

New lower bounds involving sum, difference, product, and ratio sets for $A\subset \C$ are given.

Combinatorics · Mathematics 2011-11-22 Misha Rudnev

Motivated by children inventing creatively laws on how to add or multiply fractions, we introduce four fraction operations and discover some of their properties.

General Mathematics · Mathematics 2022-11-24 Martin Himmel

This paper introduces Redescription Model Mining, a novel approach to identify interpretable patterns across two datasets that share only a subset of attributes and have no common instances. In particular, Redescription Model Mining aims to…

Databases · Computer Science 2021-07-12 Felix I. Stamm , Martin Becker , Markus Strohmaier , Florian Lemmerich

Genomes may be analyzed from an information viewpoint as very long strings, containing functional elements of variable length, which have been assembled by evolution. In this work an innovative information theory based algorithm is…

Genomics · Quantitative Biology 2020-09-23 Vincenzo Bonnici , Giuditta Franco , Vincenzo Manca

Reconstructing a hypothetical recurrence equation from the first terms of an infinite sequence is a classical and well-known technique in experimental mathematics. We propose a variation of this technique which can succeed with fewer input…

Symbolic Computation · Computer Science 2022-07-11 Manuel Kauers , Christoph Koutschan

A reduction of a source distribution is a collection of smaller sized distributions that are collectively equivalent to the source distribution with respect to the property of decomposability. That is, an arbitrary language is decomposable…

Systems and Control · Computer Science 2018-03-30 Liyong Lin , Tomáš Masopust , W. Murray Wonham , Rong Su