Neuro-symbolic AI by Ciro Santilli 37 Updated +Created
An IBM made/pushed term, but that matches Ciro Santilli's general view of how we should move forward AGI.
Ciro's motivation/push for this can be seen e.g. at: Ciro's 2D reinforcement learning games.
Neural network by Ciro Santilli 37 Updated +Created
Residual neural network by Ciro Santilli 37 Updated +Created
Interesting layer skip architecture thing.
Apparently destroyed ImageNet 2015 and became very very famous as such.
ResNet variant by Ciro Santilli 37 Updated +Created
ResNet v1 vs v1.5 by Ciro Santilli 37 Updated +Created
catalog.ngc.nvidia.com/orgs/nvidia/resources/resnet_50_v1_5_for_pytorch explains:
The difference between v1 and v1.5 is that, in the bottleneck blocks which requires downsampling, v1 has stride = 2 in the first 1x1 convolution, whereas v1.5 has stride = 2 in the 3x3 convolution.
This difference makes ResNet50 v1.5 slightly more accurate (~0.5% top1) than v1, but comes with a small performance drawback (~5% imgs/sec).
Convolutional neural network by Ciro Santilli 37 Updated +Created
CNN convolution kernels are also learnt by Ciro Santilli 37 Updated +Created
CNN convolution kernels are not hardcoded. They are learnt and optimized via backpropagation. You just specify their size! Example in PyTorch you'd do just:
nn.Conv2d(1, 6, kernel_size=(5, 5))
as used for example at: activatedgeek/LeNet-5.
This can also be inferred from: stackoverflow.com/questions/55594969/how-to-visualise-filters-in-a-cnn-with-pytorch where we see that the kernels are not perfectly regular as you'd expected from something hand coded.
LeNet by Ciro Santilli 37 Updated +Created
Trained artificial neural network by Ciro Santilli 37 Updated +Created
Two-element Boolean algebra, also known as Boolean algebra of two values, is a mathematical structure that deals with binary variables that can take on one of two values: typically represented as 0 and 1. This framework is foundational to digital logic and computer science.
Harmonic function by Ciro Santilli 37 Updated +Created
Means by Wikipedia Bot 0
The term "means" can refer to several different concepts depending on the context. Here are a few common interpretations: 1. **Statistical Mean**: In mathematics and statistics, the mean is a measure of central tendency, typically calculated as the sum of a set of values divided by the number of values. For example, the mean of the numbers 2, 4, and 6 is (2 + 4 + 6) / 3 = 4.
In mathematics, the term "sign" refers to the indication of whether a number is positive, negative, or zero. It is typically represented using the following symbols: - Positive numbers: Represented by a plus sign (+) or no sign at all (e.g., +5 or 5). - Negative numbers: Represented by a minus sign (−) (e.g., −3). - Zero: The number 0 is neutral and does not carry a sign.
Alligation by Wikipedia Bot 0
Alligation is a mathematical technique used in mixture problems to find the proportions of different ingredients or components in a mixture based on their individual costs or values and the cost or value of the mixture as a whole. It's particularly helpful in solving problems related to mixtures of liquids, solids, or other substances where each component has a different value.
Deep learning by Ciro Santilli 37 Updated +Created
Deep learning is the name artificial neural networks basically converged to in the 2010s/2020s.
It is a bit of an unfortunate as it suggests something like "deep understanding" and even reminds one of AGI, which it almost certainly will not attain on its own. But at least it sounds good.
Batch size (deep learning) by Ciro Santilli 37 Updated +Created
Vitaly Khonik by Wikipedia Bot 0
As of my last knowledge update in October 2023, there isn't any widely recognized or notable figure or concept specifically named "Vitaly Khonik." It's possible that he could be an emerging figure in a specific field, such as science, art, or business, or a character in a work of fiction that has gained recognition since then.
"Arithmetic for Parents" is a book by Ron Aharoni, published in 2001. The book is designed to help parents understand the mathematics that their children are learning in school. It aims to bridge the gap between what is taught in schools and the understanding that parents might need to support their children's education. The book covers various mathematical concepts in a way that is accessible and engaging, often using practical examples and problems that parents might encounter in everyday life.
In arithmetic, "carry" refers to an essential concept that occurs during addition, particularly when adding multi-digit numbers. When the sum of digits in a given place value exceeds the base of the numbering system, a carry is generated. The excess value is then transferred to the next higher place value. For example, consider adding the two numbers 27 and 58: ``` 27 + 58 ----- ``` 1.

Pinned article: ourbigbook/introduction-to-the-ourbigbook-project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact