We discuss a system of strengthenings of "$\aleph_ω$ is Jónsson" indexed by real numbers, and identify a strongest one. We give a proof of a theorem of Silver and show that there is a barrier to weakening its hypothesis....
E731 in the Enestrom index. Originally published as "Solutio problematis ob singularia calculi artificia memorabilis", Memoires de l'academie des sciences de St-Petersbourg 2 (1810), 3-9. For $z$ the distance from the origin, and $v$ a given func...
REFUGE restrooms indexes and maps safe restroom locations for trans, intersex, and gender nonconforming individuals. (⭐ 947)
Ele ajuda os mecanismos de busca a entenderem melhor a estrutura e os conteúdos das páginas da Creamy, garantindo que cada informação seja indexada corretamente.
Miller is like awk, sed, cut, join, and sort for name-indexed data such as CSV, TSV, and tabular JSON (⭐ 9772)
In this research, we provide a comprehensive empirical summary of the Python Package Repository, PyPI, including both package metadata and source code covering 178,592 packages, 1,745,744 releases, 76,997 contributors, and 156,816,750 import statemen...
McCusker, J. J. (1997). How Much Is That in Real Money? A Historical Price Index for Use as a Deflator of Money Values in the Economy of the United States:
We consider the following simple game: We are given a table with ten slots indexed one to ten. In each of the ten rounds of the game, three dice are rolled and the numbers are added. We then put this number into any free slot. For each slot, we multi...
Thermal Comfort sensor for HA (absolute humidity, heat index, dew point, thermal perception) (⭐ 816)
This paper compares the pupillary activity index to traditional eye-tracking metrics like the fixation count and duration in assessing neonatal pain. It explores the benefits of incorporating pupillary activity measures to improve methods that lead t...
Banding artifacts are artificially-introduced contours arising from the quantization of a smooth region in a video. Despite the advent of recent higher quality video systems with more efficient codecs, these artifacts remain conspicuous, especially o...
Banding artifact, or false contouring, is a common video compression impairment that tends to appear on large flat regions in encoded videos. These staircase-shaped color bands can be very noticeable in high-definition videos. Here we study this arti...
In this paper we introduce {\em global and local announcement logic} (GLAL), a dynamic epistemic logic with two distinct announcement operators -- $[φ]^+_A$ and $[φ]^-_A$ indexed to a subset $A$ of the set $Ag$ of all agents -- for global and local...
Check your Domain Authority directly from Moz’s own index. We’ve crunched the numbers to help you find a site’s most important pages and collect the top linking domains.
5 days ago · EPA's resources on environmental issues include research, basics, what you can do, and an index covering more specific terms.
This is the fourth in a series of papers extending Martin-Löf's meaning explanation of dependent type theory to higher-dimensional types. In this installment, we show how to define cubical type systems supporting a general schema of indexed cubical...
IndexedDB, but with promises (⭐ 7273)
Search the world's most comprehensive index of full-text books.
We are designing and developing a web user interface for digital mathematics libraries called WebMIaS. It allows queries to be expressed by mathematicians through a faceted search interface. Users can combine standard textual autocompleted keywords w...
We introduce BOURBON, a log-structured merge (LSM) tree that utilizes machine learning to provide fast lookups. We base the design and implementation of BOURBON on empirically-grounded principles that we derive through careful analysis of LSM design....