Сумма слабых предсказателей сильна, если они не коррелированы.

А такое ещё попробуй добейся. ;)

https://www.youtube.com/watch?v=eP3xJIJ-TbURead more... )

Что интересно, в моей исправленной симуляции получается, что плоское голосование слабых предсказателей лучше, чем усиление предсказателя за счёт увеличения вычислительных затрат.

Код:
gc n pp
| even n = undefined
| otherwise = sum $ take (div n 2 + 1) psn
where
pn = 1-pp
ps1 = pp : pn : repeat 0
add ps = zipWith (+) (map (*pp) ps) (0 : map (*pn) ps)
psn = take (n+1) $ head $ drop (n-1) $ iterate add ps1А вот, что получается:
Ok, one module ( Read more... )

https://arxiv.org/pdf/1508.05117 - страница 8, правый столбец.

"∂+i (resp. ∂-i) is the set of clauses satisfied by setting xi = 1 (resp. xi = −1 ( Read more... )

https://treecalcul.us/ - исчисление деревьев.

Как комбинаторное исчисление, только деревья.

PS
Там правила вычислений позволяют смотреть внутрь вычисляемой структуры, или структуры, что выполняет вычисления, это забавно. Как Лисп, только деревья. ;)

https://www.genengnews.com/topics/translational-medicine/ketone-body-role-in-regulating-misfolded-proteins-may-inform-strategies-targeting-aging-alzheimers- ( Read more... )

https://plato.stanford.edu/entries/logic-intensional/ - здесь про интенсиональную, но есть и сравнение с экстенсиональной ( Read more... )

https://deadreckonings.com/2007/12/07/heavisides-operator-calculus/Read more... )

А как ещё Heaviside перевести на русский?

https://deadreckonings.com/2007/12/07/heavisides-operator-calculus/

Интересное:...mathematicians often discover things by intuition that require a great deal of time and labor to prove. Often mathematics ( Read more... )