Zobrazeno 1 - 10
of 1 998
pro vyhledávání: '"Kiselyov AS"'
Autor:
Kiselyov, Oleg
Variable environment is the time-honored way of making sense of free variables, used in programming language theory as well when writing interpreters and some compilers. Algebraic effects give another way, as was pointed already at HOPE 2017. Althoug
Externí odkaz:
http://arxiv.org/abs/2312.16446
Autor:
Kiselyov, Oleg
Quasi-quotation (or, code templates) has long been used as a convenient tool for code generation, commonly implemented as a pre-processing/translation into code-generation combinators. The original MetaOCaml was also based on such translation, done p
Externí odkaz:
http://arxiv.org/abs/2309.08207
Autor:
Kiselyov, Oleg, Nakayama, Toshihiro
Plasma fractals is a technique to generate random and realistic clouds, textures and terrains~-- traditionally using recursive subdivision. We demonstrate a new approach, based on iterative expansion. It gives a family of algorithms that includes the
Externí odkaz:
http://arxiv.org/abs/2212.12502
We present the stream processing library that achieves the highest performance of existing OCaml streaming libraries, attaining the speed and memory efficiency of hand-written state machines. It supports finite and infinite streams with the familiar
Externí odkaz:
http://arxiv.org/abs/2211.13461
Autor:
Kiselyov, Oleg
Implicit heterogeneous metaprogramming (a.k.a. offshoring) is an attractive approach for generating C with some correctness guarantees: generate OCaml code, where the correctness guarantees are easier to establish, and then map that code to C. The ke
Externí odkaz:
http://arxiv.org/abs/2211.04107
Autor:
Kobayashi, Tomoaki, Kiselyov, Oleg
Software-Defined Radio (SDR) is widely used not only as a practical application but also as a fitting benchmark of high-performance signal processing. We report using the SDR benchmark -- specifically, FM Radio reception -- to evaluate the recently d
Externí odkaz:
http://arxiv.org/abs/2208.08732
Autor:
Roberta Poceviciute, Kenneth Mitchell, Angeliki Maria Nikolakopoulou, Suehyun K. Cho, Xiaobo Ma, Phillip Chen, Samantha Figueroa, Ethan J. Sarmiento, Aryan Singh, Oren Hartstein, William G. Loudon, Florent Cros, Alexander S. Kiselyov
Publikováno v:
Neuroimage: Reports, Vol 4, Iss 4, Pp 100218- (2024)
Viral vectors are an active area of research and development to treat diseases of the central nervous system (CNS). However, systemic delivery of large-molecular weight biologics is complicated by limited crossing of the blood-brain barrier, immunolo
Externí odkaz:
https://doaj.org/article/ce8f8bf6da8f40ba8226a4b8d6eae844
Autor:
Kiselyov, Oleg, Yallop, Jeremy
Let insertion in program generation is producing code with definitions (let-statements). Although definitions precede uses in generated code, during code generation `uses' come first: we might not even know a definition is needed until we encounter a
Externí odkaz:
http://arxiv.org/abs/2201.00495
Autor:
Poceviciute, Roberta, Mitchell, Kenneth, Nikolakopoulou, Angeliki Maria, Cho, Suehyun K., Ma, Xiaobo, Chen, Phillip, Figueroa, Samantha, Sarmiento, Ethan J., Singh, Aryan, Hartstein, Oren, Loudon, William G., Cros, Florent, Kiselyov, Alexander S.
Publikováno v:
In Neuroimage: Reports December 2024 4(4)
Autor:
Korotkikh, Nikolai I., Rayenko, Gennady F., Saberov, Vagiz Sh., Yenya, Vasil I., Vakhitova, Liubov M., Kiselyov, Artyom V.
Publikováno v:
In Computational and Theoretical Chemistry August 2024 1238