中文
相关论文

相关论文: Can our number system be improved?

200 篇论文

We study letter grading schemes, which are routinely employed for evaluating student performance. Typically, a numerical score obtained via one or more evaluations is converted into a letter grade (e.g., A+, B-, etc.) by associating a…

计算机科学与博弈论 · 计算机科学 2024-06-25 Evi Micha , Shreyas Sekar , Nisarg Shah

We introduce a framework for ordinal notation systems, present a family of strong yet simple systems, and give many examples of ordinals in these systems. While much of the material is conjectural, we include systems with conjectured…

逻辑 · 数学 2019-01-01 Dmytro Taranovsky

In this paper we will discuss problems and techniques related to underactuated systems. We give a mathematical formulation of several problems arising from applications, review some standard and new techniques, and pose some interesting and…

最优化与控制 · 数学 2007-05-23 David Auckly , Lev Kapitanski

A numeral system is defined by three closed $\lambda$-terms : a normal $\lambda$-term $d_0$ for Zero, a $\lambda$-term $S_d$ for Successor, and a $\lambda$-term for Zero Test, such that the $\lambda$-terms $({S_d}^{i} ~ d_0)$ are…

逻辑 · 数学 2009-05-06 Karim Nour

The First Hilbert problem is studied in this paper by applying two instruments: a new methodology distinguishing between mathematical objects and mathematical languages used to describe these objects; and a new numeral system allowing one…

综合数学 · 数学 2012-03-20 Yaroslav D. Sergeyev

The aim of the present article is to explore the possibilities of representing positive integers as sums of other positive integers and highlight certain fundamental connections between their multiplicative and additive properties. In…

综合数学 · 数学 2008-06-30 Dimitris Sardelis

In order to work with mathematical content in computer systems, it is necessary to represent it in formal languages. Ideally, these are supported by tools that verify the correctness of the content, allow computing with it, and produce…

计算机科学中的逻辑 · 计算机科学 2020-05-27 Cezary Kaliszyk , Florian Rabe

The purpose of writing this book is to suggest some improved estimators using auxiliary information in sampling schemes like simple random sampling and systematic sampling. This volume is a collection of five papers. The following problems…

统计理论 · 数学 2013-08-28 Rajesh Singh , Florentin Smarandache

Positional numeration systems are a large family of numeration systems used to represent natural numbers. Whether the set of all representations forms a regular language or not is one of the most important questions that can be asked of…

数论 · 数学 2025-12-16 Émilie Charlier , Savinien Kreczman

Indirect evidence is crucial for successful statistical practice. Sometimes, however, it is better used informally. Future efforts should be directed toward understanding better the connection between statistical methods and scientific…

统计方法学 · 统计学 2010-12-08 Robert E. Kass

We propose new approach to numerical study of quantum spin systems. Our method is based on a fact that one can use any set of states for the path integral as long as it is complete. We apply our method to one-dimensional quantum spin system…

凝聚态物理 · 物理学 2009-10-22 Tomo Munehisa , Yasuko Munehisa

Work in progress concerning alternative formalizations of arithmetic.

逻辑 · 数学 2018-01-04 David M. Cerna

Despite the fact that almost all real numbers are absolutely normal---that is, the digits in their expansions to any base occur in all possible configurations with the expected frequency---not one specific example of an absolutely normal…

数论 · 数学 2007-05-23 Greg Martin

Incrementality is ubiquitous in human-human interaction and beneficial for human-computer interaction. It has been a topic of research in different parts of the NLP community, mostly with focus on the specific topic at hand even though…

计算与语言 · 计算机科学 2018-06-15 Arne Köhn

The theory of grey systems plays an important role in science,engineering and in the everyday life in general for handling approximate data. In the present paper grey numbers are used as a tool for assessing with linguistic expressions the…

人工智能 · 计算机科学 2018-04-03 Michael Gr. Voskoglou , Yiannis Theodorou

Numeral systems across the world's languages vary in fascinating ways, both regarding their synchronic structure and the diachronic processes that determined how they evolved in their current shape. For a proper comparison of numeral…

Two indicators are classically used to evaluate the quality of rule-based classification systems: predictive accuracy, i.e. the system's ability to successfully reproduce learning data and coverage, i.e. the proportion of possible cases for…

人工智能 · 计算机科学 2020-04-07 Nassim Dehouche

Conversational recommender systems have demonstrated great success. They can accurately capture a user's current detailed preference -- through a multi-round interaction cycle -- to effectively guide users to a more personalized…

信息检索 · 计算机科学 2022-08-23 Allen Lin , Ziwei Zhu , Jianling Wang , James Caverlee

Today's computer-based annotation systems implement a wide range of functionalities that often go beyond those available in traditional paper-and-pencil annotations. Conceptually, annotation systems are based on thoroughly investigated…

人机交互 · 计算机科学 2007-06-11 Matthias R. Brust , Steffen Rothkugel

Generalizations of linear numeration systems in which the set of natural numbers is recognizable by finite automata are obtained by describing an arbitrary infinite regular language following the lexicographic ordering. For these systems of…

其他计算机科学 · 计算机科学 2007-05-23 Pierre B. A. Lecomte , Michel Rigo