Based on the normal distribution and its properties, i.e., average and variance, Fisher works have provided a conceptual framework to identify genotype-phenotype associations. While Fisher intuition has proved fruitful over the past century, the curr...
Designing problems using matrices is very important in Computer Science. Fields like graph computer, graphs theory, and machine learning use matrices very often to solve their own problems. The most often matrix operation is the multiplication. It ma...
The solidification process during squeeze casting is analyzed based on the classical solidification and plastic deformation theory. The linear relationship between punch velocity and the solidification rate is established if the density change of m...
Incompatibility of quantum devices is a useful resource in various quantum information theoretical tasks, and it is at the heart of some fundamental features of quantum theory. While the incompatibility of measurements and quantum channels is well-st...
In 1746 Euler publishes E88 -- Nova theoria lucis et colorum (A new theory of light and colors) in five chapters. This is an annotated translation of Chapter II - De formatione ac propagatione pulsuum (On the formation and propagation of pulses in et...
This is an annotated translation from Latin of "Experimenta coram societate instituta in confirmationem theoriae pressionum quas latera canalis ab aqua tranfluente sustinet" in which Daniel Bernoulli describes six experiments conducted before the St....
We study, using the example of general covariance, to what extent a would-be non-abelian extension of free field abelian gauge theory can be helped by a field redefinition; answer - not much! However, models resulting from dimensional reduction also...
The notion of time in general relativity must arise from an internal clock, i.e., a degree of freedom in the gravitational theory internal to the system that can serve the role of a physical clock. One such internal notion of time is the York time, c...
Despite the astonishing successes of quantum mechanics, due to some fundamental problems such as the measurement problem and quantum arrival time problem, the predictions of the theory are in some cases not quite clear and unique. Especially, there a...
We present constructive versions of Krull's dimension theory for commutative rings and distributive lattices. The foundations of these constructive versions are due to Joyal, Espanõl and the authors. We show that this gives a constructive version of...
Ground-state structure is found and pressure-induced phase transitions up to 210 kbar are studied in mercury titanate from first principles within the density functional theory. It is established that the $R3c$ structure experimentally observed in Hg...
In this paper we produce models $V_1\subseteq V_2$ of set theory such that adding $κ$-many Cohen reals to $V_2$ adds $λ$-many Cohen reals to $V_1$, for some $λ>κ$. We deal mainly with the case when $V_1$ and $V_2$ have the same cardinals....
We study the impact of setting initial conditions in numerical simulations using the standard procedure based on the Zel'dovich approximation (ZA). As it is well known from perturbation theory, ZA initial conditions have incorrect second and higher...
Depending on the type and arrangement of metastable vacua in the theory, initial conditions in a de Sitter vacuum with arbitrarily large entropy can be compatible with the observed arrow of time, if the causal patch or related measures are used to re...
In this work, we discuss a theoretically motivated family-centered design approach for child-robot interactions, adapted by Family Systems Theory (FST) and Family Ecological Model (FEM). Long-term engagement and acceptance of robots in the home is in...
My Plover dictionaries. Home of Lapwing theory and my Vietnamese steno system. (⭐ 61)
Online book to learn steno with Lapwing theory. (⭐ 45)
Starting from our work on Harder-Narasimhan filtrations of finite flat group schemes over a $p$-adic field, we developp a theory of Harder-Narasimhan filtrations for $p$-divisible groups. We apply this to the study of the geometry of period morphisms...
From Linux to Kubernetes: a curated, community-driven collection of free DevOps labs, challenges, and end-to-end projects—learn by doing and build real-world skills, not just read theory. (⭐ 934)
We present some results on (co)limits of diagrams in $\infty$-categories, as well as those in $(n, 1)$-categories. In particular, we deduce a way to reshape colimit diagrams into simplicial ones, and a characterisations of $n$-cofinality for functor...