Zobrazeno 1 - 10
of 8 239
pro vyhledávání: '"Selinger A"'
Autor:
Saunders, Ethan J., Selinger, Peter
The game of Paintbucket was recently introduced by Amundsen and Erickson. It is played on a rectangular grid of black and white pixels. The players alternately fill in one of their opponent's connected components with their own color, until the entir
Externí odkaz:
http://arxiv.org/abs/2411.19373
The quantum programming language Quipper supports circuit operations such as reversing and control, which allows programmers to control and reverse certain quantum circuits. In addition to these two operations, Quipper provides a function called with
Externí odkaz:
http://arxiv.org/abs/2410.22261
Autor:
Paik, Lincoln, Selinger, Jonathan V.
Polar nematic liquid crystals have two special features, compared with conventional nematic liquid crystals. First, because of flexoelectricity, the combination of polar order and splay reduces the free energy. Second, because of electrostatics, any
Externí odkaz:
http://arxiv.org/abs/2408.10347
Autor:
Selinger, Peter
We answer the question: what is the longest winning path on a Hex board of size $n\times n$?
Comment: 10 pages
Comment: 10 pages
Externí odkaz:
http://arxiv.org/abs/2408.05601
Autor:
Feichtmayer, Alexander, Boleininger, Max, Riesch, Johann, Mason, Daniel R., Reali, Luca, Höschen, Till, Fuhr, Maximilian, Schwarz-Selinger, Thomas, Neu, Rudolf, Dudarev, Sergei L.
The occurrence of high stress concentrations in reactor components is a still intractable phenomenon encountered in fusion reactor design. We observe and quantitatively model a non-linear high-dose radiation mediated microstructure evolution effect t
Externí odkaz:
http://arxiv.org/abs/2401.13385
Autor:
Kornell, Andre, Selinger, Peter
We provide three improvements to the standard implementation of the ground state energy estimation algorithm via Trotter-Suzuki decomposition. These consist of smaller circuit templates for each Hamiltonian term, parallelization of commuting controll
Externí odkaz:
http://arxiv.org/abs/2310.12256
Autor:
Danielle L. E. Nyman, Callum J. Pufahl, Olivia G. V. Hickey, Tanner Stokes, Craig A. Simpson, Jessica C. Selinger, Sunita Mathur, Ian Janssen, Lora M. Giangregorio, Davide D. Bardana, Chris McGlory
Publikováno v:
Pilot and Feasibility Studies, Vol 10, Iss 1, Pp 1-14 (2024)
Abstract Background Essential amino acid (EAA) and omega-3 fatty acid ingestion independently attenuate leg skeletal muscle disuse atrophy in uninjured persons. However, no data exist regarding the effectiveness of combined EAA and omega-3 fatty acid
Externí odkaz:
https://doaj.org/article/1aa843dce2254d76876271da68b5d7b4
Autor:
Alexander Feichtmayer, Max Boleininger, Johann Riesch, Daniel R. Mason, Luca Reali, Till Höschen, Maximilian Fuhr, Thomas Schwarz-Selinger, Rudolf Neu, Sergei L. Dudarev
Publikováno v:
Communications Materials, Vol 5, Iss 1, Pp 1-9 (2024)
Abstract The occurrence of high stress concentrations in reactor components is a still intractable phenomenon encountered in fusion reactor design. Here, we observe and quantitatively model a non-linear high-dose radiation mediated microstructure evo
Externí odkaz:
https://doaj.org/article/fd440b0ddd5d4943a18263ae3f94d96b
Autor:
Long, Cheng, Selinger, Jonathan V.
In solids, external stress induces the Peach-Koehler force, which drives dislocations to move. Similarly, in liquid crystals, an external angular stress creates an analogous force, which drives disclinations to move. In this work, we develop a method
Externí odkaz:
http://arxiv.org/abs/2309.15315
Autor:
Fu, Peng, Selinger, Peter
A well-known problem in the theory of dependent types is how to handle so-called nested data types. These data types are difficult to program and to reason about in total dependently typed languages such as Agda and Coq. In particular, it is not easy
Externí odkaz:
http://arxiv.org/abs/2306.10124