Pith. sign in

Paper Citation Record · LEDGER

Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms

As of 18 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 0 inbound Pith citation observations for arXiv:2506.17471.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2506.17471 v1

Coverage vector

measured 35 of 35 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T19:16:05.767935Z

measured 35 of 35 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

35 of 35 outbound references displayed

  • verified exact11
  • verified fuzzy3
  • unresolved13
  • parse uncertain0
  • malformed identifier3
  • metadata mismatch5

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation edc1f7f9-db60-4be4-a744-9f6b780b1ed3 · outbound

This paper cites an unresolved cited work.

Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms Unresolved cited work

Reference 1

Resolution
verified exact
doi, observed 2026-08-15T19:16:05.988679Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-15T19:16:05.625984Z digest=sha256:08423ec78028bf1dcc6345d6a3a6630ff52017cc46dbbe5f666a8bccd3e3fd5b

Observation 71fd6dab-8a6e-4f89-b68f-8caa6ac50464 · outbound

This paper cites an unresolved cited work.

Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms Unresolved cited work

Reference 2

Resolution
malformed identifier
raw_fallback, observed 2026-08-15T19:16:06.720353Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-15T19:16:05.630775Z digest=sha256:9213d71a9577227aab79f313bde3aa24b440fecf4235f092a1aee4217300f5ee

Observation 9f3cbb1b-4994-4711-a2d8-53f881e8d951 · outbound

This paper cites Dupont, J.

Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms Dupont, J

Reference 3

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T19:16:06.708116Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-15T19:16:05.634979Z digest=sha256:20228a21c24dcafcd15b7cced3f63497d40b5aa167ec6ff317b4002686ebd309

Observation 699efeda-6b49-4e0b-a272-e29c92d1ed90 · outbound

This paper cites Blatt, A.

Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms Blatt, A

Reference 4

Resolution
unresolved
no resolver link, observed 2026-08-15T19:16:05.639218Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T19:16:05.639218Z digest=sha256:4646afa2555f3201f4696a919b2042ec325decc7eed13d1189d4120999153019

Observation de71f583-c193-42db-8de8-e7cf9f374463 · outbound

This paper cites an unresolved cited work.

Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms Unresolved cited work

Reference 5

Resolution
malformed identifier
raw_fallback, observed 2026-08-15T19:16:06.696235Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-15T19:16:05.643642Z digest=sha256:81cf7e3c703a4b1e99bfd4ba820062a5df95d59724eda747d498f855d6b0e218

Observation ee9d6bc1-4ea3-4b28-a76b-2ea19a280962 · outbound

This paper cites Helenbrook, D.

Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms Helenbrook, D

Reference 6

Resolution
unresolved
no resolver link, observed 2026-08-15T19:16:05.647885Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T19:16:05.647885Z digest=sha256:7fdcd0c07c12a704baad4197512c54407f25292b43e8d2d29607e04a42d6d436

Observation 7a87d721-101c-438f-93d1-4ab0d0168cea · outbound

This paper cites Phillips, S.

Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms Phillips, S

Reference 7

Resolution
verified exact
doi, observed 2026-08-15T19:16:05.961170Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-15T19:16:05.652758Z digest=sha256:2395523e55362950917fb5217e95d2cd4e715a54efa9b09916a0a445de115878

Observation f1147c2c-3428-4475-a817-d8bfaed34f7b · outbound

This paper cites Brezzi, M.

Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms Brezzi, M

Reference 8

Resolution
unresolved
no resolver link, observed 2026-08-15T19:16:05.657119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T19:16:05.657119Z digest=sha256:d018430ed1e71dcf4c9d31711d3f0e292fb636b78064fd61f6a88434d62ddcb8

Observation 3ecf6558-6abe-414b-af1b-84de6e8ee2de · outbound

This paper cites NVIDIA, V100 GPU Architecture (2017).

Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms NVIDIA, V100 GPU Architecture (2017)

Reference 9

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T19:16:06.681950Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-15T19:16:05.661153Z digest=sha256:b6c4db70d2ba2067ca8c026b9b3d0c07b3a67fa94e58fdb7cd19c132f4488e67

Observation c632b9e8-78fa-4673-a768-66d4c96890ad · outbound

This paper cites Logg, K.-A.

Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms Logg, K.-A

Reference 10

Resolution
verified exact
doi, observed 2026-08-15T19:16:05.940518Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-15T19:16:05.664985Z digest=sha256:cfc486a5639311204d27039f42ffa11f8d4745c530cc2780a65c7e8d143a9b3f

Observation 98edc23e-d9dc-4dc7-82aa-7ac833d1ced1 · outbound

This paper cites an unresolved cited work.

Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms Unresolved cited work

Reference 11

Resolution
unresolved
raw_fallback, observed 2026-08-15T19:16:06.670684Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-15T19:16:05.669070Z digest=sha256:4501e6a49ed927cbf76f07cd3bcbd4482c7b0b49cdedb21f4512a31bd28b3519

Observation 78026947-7a17-4d64-b306-c6cb3f8cfdd0 · outbound

This paper cites Saad, Krylov Subspace Methods on Supercomputers, SIAM Journal on Scientific and Statistical Computing 10 (6) (1989) 1200–1232.doi:10.5555/3037518.3037519.

Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms Saad, Krylov Subspace Methods on Supercomputers, SIAM Journal on Scientific and Statistical Computing 10 (6) (1989) 1200–1232.doi:10.5555/3037518.3037519

Reference 12

Resolution
metadata mismatch
raw_fallback, observed 2026-08-15T19:16:06.641525Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-15T19:16:05.672660Z digest=sha256:267f06f3c4d6a6dff404f5ca3c769ee4262cd6b1b053322c28fe085f1e824e11

Observation c31f8d42-1e28-4e63-a6df-c3e1e3dd3290 · outbound

This paper cites Homolya, L.

Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms Homolya, L

Reference 13

Resolution
verified exact
doi, observed 2026-08-15T19:16:05.928435Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-15T19:16:05.676426Z digest=sha256:0747cd96bf7722833b66f7b4f10bce6a273ce3b325fa58592af4028c5535d87b

Observation ac913f4b-8dbe-47a4-a143-4e912049b94e · outbound

This paper cites an unresolved cited work.

Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms Unresolved cited work

Reference 14

Resolution
metadata mismatch
raw_fallback, observed 2026-08-15T19:16:06.576558Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-15T19:16:05.680098Z digest=sha256:6453f4369d3bd882c86027c5d0a498c9a5c884d49594ae2ea6d858aba83abe44

Observation 5693e944-64ef-41e1-beab-13b65aebc00e · outbound

This paper cites Munshi, The OpenCL Specification, in: 2009 IEEE Hot Chips 21 Symposium (HCS), IEEE, 2009, pp.

Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms Munshi, The OpenCL Specification, in: 2009 IEEE Hot Chips 21 Symposium (HCS), IEEE, 2009, pp

Reference 15

Resolution
metadata mismatch
raw_fallback, observed 2026-08-15T19:16:06.505448Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-15T19:16:05.684082Z digest=sha256:9453660820beeed86d31a01e5cfe5bb86ea7f441ea82b48de1884b92e540da8d

Observation ad2bea04-967c-4a00-9d83-00bf1f5b9297 · outbound

This paper cites Danalis, G.

Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms Danalis, G

Reference 16

Resolution
metadata mismatch
raw_fallback, observed 2026-08-15T19:16:06.439066Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-15T19:16:05.687577Z digest=sha256:811e359a8a986676644f338b9801dc45454e73ce992b21ac00bdf655d47807c9

Observation e94fcfab-64d8-4629-9577-49904a191be7 · outbound

This paper cites Klöckner, T.

Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms Klöckner, T

Reference 17

Resolution
unresolved
no resolver link, observed 2026-08-15T19:16:05.691238Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T19:16:05.691238Z digest=sha256:19b72dd061c3567de32d82499baed8d47d382730aa37f2fee07635e85d556b60

Observation b611413f-e451-4634-9fb0-5a426b583a05 · outbound

This paper cites Komatitsch, G.

Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms Komatitsch, G

Reference 18

Resolution
unresolved
no resolver link, observed 2026-08-15T19:16:05.694916Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T19:16:05.694916Z digest=sha256:264b5ba0090ba60bc7b813c881740f22fc4ad83c62909dc0fd99e28722b4ab94

Observation 2bc9ebba-75fd-419b-90c8-0a654d50f605 · outbound

This paper cites Ljungkvist, Matrix-free Finite-Element Computations on Graphics Processors with Adaptively Refined Unstructured Meshes., in: SpringSim (HPC), 2017, pp.

Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms Ljungkvist, Matrix-free Finite-Element Computations on Graphics Processors with Adaptively Refined Unstructured Meshes., in: SpringSim (HPC), 2017, pp

Reference 19

Resolution
metadata mismatch
raw_fallback, observed 2026-08-15T19:16:06.369112Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-15T19:16:05.699299Z digest=sha256:478e830ec29987212deb7458ff18c767bdaa43c28e9a7d6caeaeb69abbf8b7f9

Observation 98326577-780e-47ca-ad0c-ffbf2d1b90b8 · outbound

This paper cites an unresolved cited work.

Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms Unresolved cited work

Reference 20

Resolution
unresolved
no resolver link, observed 2026-08-15T19:16:05.703283Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T19:16:05.703283Z digest=sha256:2211c406b29c4f08eab66095dec1a8371ca705d617656f17186ce40b01d6e637

Observation 8b062297-a6d4-4e68-ab57-2333a4962980 · outbound

This paper cites Banaś, F.

Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms Banaś, F

Reference 21

Resolution
unresolved
no resolver link, observed 2026-08-15T19:16:05.707056Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T19:16:05.707056Z digest=sha256:d77cf4c5f2a9373cfbb3516880c5643c4eca2ac2da40ae09e6112cd3bad05ad3

Observation f3666f5d-7559-4591-9f96-2fa5a6c8bc89 · outbound

This paper cites Markall, A.

Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms Markall, A

Reference 22

Resolution
verified exact
doi, observed 2026-08-15T19:16:05.900208Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-15T19:16:05.710756Z digest=sha256:696d0e20fedd8197f7206a24152c3c372b4ca02e22a42e73badb5f336fb87085

Observation 5d65396a-5f18-4b9a-83be-9b8a1aba442b · outbound

This paper cites Kronbichler, K.

Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms Kronbichler, K

Reference 23

Resolution
verified exact
doi, observed 2026-08-15T19:16:05.887813Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-15T19:16:05.714688Z digest=sha256:1734ff8deac29ee7f7e00749ed34603d6adc12b4af068aa5b0ee200fc1e3a6a1

Observation 4af7ecda-0401-4805-99f2-9bab43f0dbc8 · outbound

This paper cites A study of vectorization for matrix-free finite element methods.

Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms A study of vectorization for matrix-free finite element methods

Reference 24

Resolution
verified exact
local_arxiv, observed 2026-08-15T19:16:06.185544Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-15T19:16:05.719013Z digest=sha256:a610fc355e17d9be9f3111726e4947a271105208e8d45025e5d57270d00f145e

Observation efc06d83-feb1-4541-8ca7-1818deba95ec · outbound

This paper cites Finite Element Integration with Quadrature on the GPU.

Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms Finite Element Integration with Quadrature on the GPU

Reference 25

Resolution
verified exact
local_arxiv, observed 2026-08-15T19:16:05.875758Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-15T19:16:05.723494Z digest=sha256:b2019d99ca2ed2fac38651782aea59b878f94630c625ecb361c4da7775b5b388

Observation 5ddb6faa-8660-4362-a6a9-24b1eecf8a50 · outbound

This paper cites Brezzi, J.

Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms Brezzi, J

Reference 26

Resolution
unresolved
no resolver link, observed 2026-08-15T19:16:05.728193Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T19:16:05.728193Z digest=sha256:e187f00fa0b200b322bf05d9319292ae310a6903ce86b4cf4afe7c9ed970f1b7

Observation 2cf4f2bd-36f3-4566-8a4c-4c754cf5f038 · outbound

This paper cites Feautrier, Array Expansion, in: ACM International Conference on Supercomputing 25th Anniversary Volume, 1988, pp.

Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms Feautrier, Array Expansion, in: ACM International Conference on Supercomputing 25th Anniversary Volume, 1988, pp

Reference 27

Resolution
unresolved
no resolver link, observed 2026-08-15T19:16:05.732846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T19:16:05.732846Z digest=sha256:7fbab8e0019c808fa2b2cb50f6998b05582218cda2ddbb41c4fea5917cd3e4a0

Observation c8816bde-1de8-499a-b69b-7977a8987e11 · outbound

This paper cites Rathgeber, G.

Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms Rathgeber, G

Reference 28

Resolution
verified exact
doi, observed 2026-08-15T19:16:05.851447Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-15T19:16:05.736740Z digest=sha256:de0ceaebede0d5dec25a1b0fd5a65e46f19324b0a79dfa129cd9bc1b81f1af0c

Observation b463e054-5ede-4965-80d6-2c46ed072a7e · outbound

This paper cites an unresolved cited work.

Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms Unresolved cited work

Reference 29

Resolution
unresolved
no resolver link, observed 2026-08-15T19:16:05.740869Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T19:16:05.740869Z digest=sha256:22fc8d5edf059ffdaca91cc3f1e0a725b3cd54965074572f8c629ebbc9dd6d26

Observation ff7873c3-cf62-4d2b-942b-024c6b679b00 · outbound

This paper cites Verdoolaege, isl: An Integer Set Library for the Polyhedral Model, in: Inter- national Congress on Mathematical Software, Springer, 2010, pp.

Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms Verdoolaege, isl: An Integer Set Library for the Polyhedral Model, in: Inter- national Congress on Mathematical Software, Springer, 2010, pp

Reference 30

Resolution
verified exact
doi, observed 2026-08-15T19:16:05.838860Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-15T19:16:05.745126Z digest=sha256:246815793f3dba05e79776fa922b2dca7098cbd787e50dd2118e59b32fd49192

Observation 553e6e29-5f15-4104-8260-60528c69159e · outbound

This paper cites Dissecting the NVIDIA Volta GPU Architecture via Microbenchmarking.

Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms Dissecting the NVIDIA Volta GPU Architecture via Microbenchmarking

Reference 31

Resolution
unresolved
no resolver link, observed 2026-08-15T19:16:05.750408Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T19:16:05.750408Z digest=sha256:928815c76d3a8e81aafcb092adb4926be3f26ed540849ee3580efadb743be5db

Observation c7923ef4-a255-441d-a30b-4cc67f14b4b1 · outbound

This paper cites URLhttps://en.wikipedia.org/w/index.php?title=List_of_Nvidia_graphics_ processing_units&oldid=988270783.

Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms URLhttps://en.wikipedia.org/w/index.php?title=List_of_Nvidia_graphics_ processing_units&oldid=988270783

Reference 32

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T19:16:06.658035Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-15T19:16:05.754643Z digest=sha256:0a29765779c2556dc8ddec05d9cb043aacf893c6a304a65b9dd3a123620ae6bb

Observation d90421fc-5511-4ab2-a239-30e7412f46b6 · outbound

This paper cites 14029412.

Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms 14029412

Reference 33

Resolution
malformed identifier
no resolver link, observed 2026-08-15T19:16:05.759030Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T19:16:05.759030Z digest=sha256:e73e52694cff9e5db154c1ab123f8c3f02528be1f41c69e4b4bfa50fd0af3c43

Observation 1badd3ab-a17d-474f-b96c-6db8e6431a4b · outbound

This paper cites UFL to GPU: Near the Roofline.

Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms UFL to GPU: Near the Roofline

Reference 34

Resolution
verified exact
doi, observed 2026-08-15T19:16:05.801555Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=pdf_text observed=2026-08-15T19:16:05.763868Z digest=sha256:6dbb722ac83cb64ac79100761bad9c2e0bc41613f47df5c8577906300f6db83e

Observation 2304bbf9-9802-497a-ba61-fff32c0f828a · outbound

This paper cites an unresolved cited work.

Code Generation for Near-Roofline Finite Element Actions on GPUs from Symbolic Variational Forms Unresolved cited work

Reference 35

Resolution
unresolved
no resolver link, observed 2026-08-15T19:16:05.767935Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T19:16:05.767935Z digest=sha256:e383b5f4d483472ee733fbc5c0a88732286fa2457ba242ad5c14a90cb5f1abf6

Pith citing papers

No inbound Pith citation observations are available.