Výsledky vyhledávání

Report

Call-By-Name Is Just Call-By-Value with Delimited Control

Autor: Pyzik, Mateusz

Publikováno v: Electronic Notes in Theoretical Informatics and Computer Science, Volume 1 - Proceedings of MFPS XXXVIII (February 22, 2023) entics:10502

Delimited control operator shift0 exhibits versatile capabilities: it can express layered monadic effects, or equivalently, algebraic effects. Little did we know it can express lambda calculus too! We present $ \Lambda_\$ $, a call-by-value lambda ca

Externí odkaz: http://arxiv.org/abs/2212.08594

Zobrazit plný text záznamu

Report

On a Problem of Steinhaus

Autor: Anholcer, Marcin, Bosek, Bartłomiej, Grytczuk, Jarosław, Gutowski, Grzegorz, Przybyło, Jakub, Pyzik, Rafał, Zając, Mariusz

Let $N$ be a positive integer. A sequence $X=(x_1,x_2,\ldots,x_N)$ of points in the unit interval $[0,1)$ is piercing if $\{x_1,x_2,\ldots,x_n\}\cap \left[\frac{i}{n},\frac{i+1}{n} \right) \neq\emptyset$ holds for every $n=1,2,\ldots, N$ and every $i

Externí odkaz: http://arxiv.org/abs/2111.01887

Zobrazit plný text záznamu

Akademický článek

Remote Short Sessions of Heart Rate Variability Biofeedback Monitored With Wearable Technology: Open-Label Prospective Feasibility Study

Autor: Robert P Hirten, Matteo Danieletto, Kyle Landell, Micol Zweig, Eddye Golden, Renata Pyzik, Sparshdeep Kaur, Helena Chang, Drew Helmus, Bruce E Sands, Dennis Charney, Girish Nadkarni, Emilia Bagiella, Laurie Keefer, Zahi A Fayad

Publikováno v: JMIR Mental Health, Vol 11, p e55552 (2024)

BackgroundHeart rate variability (HRV) biofeedback is often performed with structured education, laboratory-based assessments, and practice sessions. It has been shown to improve psychological and physiological function across populations. However, a

Externí odkaz: https://doaj.org/article/7711a01fa4e54d3396b8507eb9b4be5b