/explore
|
You are here 
|
filiph.net | ||
| | | | |
qualiacomputing.com
Below I provide a summary of theQuantifying Bliss talk at Consciousness Hacking(video;360 degree live feed record), which took place on June 7th 2017. I am currently working on a longer and more precise treatment of the topic, which I will be posting here as well. That said, since the talk already makes clear, empirically testable... |
|
| | | | | ||
| | | | |
blog.georgeshakan.com
To acclimate myself with Computer Proofs, I aimed to write down some basic theorems from my area of research in Lean. I chose Lean primarily because of the very active and helpful community. In fact, everything I did in lean was done alongside Yael Dillies whom I met through Zulip. In what follows below, I ... Continue reading My experience with Computer Proofs |
|
| | | | | ||
| | | | |
www.randomservices.org
[AI summary] The text covers various topics in probability and statistics, including continuous distributions, empirical density functions, and data analysis. It discusses the uniform distribution, rejection sampling, and the construction of continuous distributions without probability density functions. The text also includes data analysis exercises involving empirical density functions for body weight, body length, and gender-specific body weight. |
|
| | | | | ||
| | | | |
fabricebaudoin.blog
Let $latex x\in C^{1-var} ([0,T], \mathbb{R}^d)$ and let $latex V : \mathbb{R}^e \to \mathbb{R}^{e\times d} $ be a Lipschitz continuous map. In order to analyse the solution of the differential equation, $latex y(t)=y_0+\int_0^t V(y(s)) dx(s),$ and make the geometry enter into the scene, it is convenient to see $latex V$ as a collection of vector... |
|
| | | |||
