Computation Focusing (ICFP 2020)

(12:55)

Focusing Gentzen's LK proof system

(45:29)

Markus Grassl: Computing Numerical and Exact SIC-POVMs

(1:12:53)

Van Lindberg: Keynote - Computation at the edges

(36:17)

Flow Focusing - Computational Fluid Dynamics

(7)

What Is Computation with Prof. Paul Davies

(7:27)

Understanding Computation

(13:53)

Efficient computations on well behaved inputs

(1:3:16)

Focusing: Richmond Test vs Computation

(1:7)

What is Vedic Math? How does it help in Mental Focusing ?

(2:17)

InnoSpaceTool 6: Antennas - Focusing EMWs - Part 1

(10:53)

Optimal wave focusing

(18:43)

[POPL'24] Focusing on Refinement Typing (TOPLAS)

(18:40)

MASTERING FOCUSING TECHNIQUES. Where do you put the focus point? What is hyperfocal distance?

(12:30)

Microlens Focusing

(21)

T28.2: A Computational Model of Unintentional Mind Wandering in Focused Attention Meditation

(21:31)

Dale Miller: Focused proof systems

(28:44)

FLatten Transformer: Vision Transformer using Focused Linear Attention

(4:53)

Neurosurgery using focused sound waves: how to improve the precision by computational image analysis

(2:26)