Results 21 to 30 of about 28,106 (262)
SPT: Storyboard Programming Tool [PDF]
We present Spt, a tool that helps programmers write low-level data-structure manipulations by combining various forms of insights such as abstract and concrete input-output examples as well as implementation skeletons. When programmers write such manipulations, they typically have a clear high-level intuition about how the manipulation should work, but
Singh, Rishabh, Solar-Lezama, Armando
openaire +3 more sources
57 pages, 6 figures. An early version has been published in Surveys in Combinatorics 2017, A. Claesson, M. Dukes, S. Kitaev, D. Manlove and K. Meeks, Eds., Cambridge University Press, Cambridge, 2017, pp.
openaire +5 more sources
In a recent paper, Andrews, Dixit, and Yee introduced a new spt-type function $\operatorname{spt}_ω(n)$, which is closely related to Ramanujan's third order mock theta function $ω(q)$. Garvan and Jennings-Shaffer introduce a crank function which explains congruences for $\operatorname{spt}_ω(n)$. In this note, we study asymptotic behavior of this crank
Jang, Min-Joo, Kim, Byungchan
openaire +2 more sources
As a special foundation filling material, the coral reef sand has many basic characteristics, such as loose structure, difficult compaction and low bearing capacity, while the practical engineering application is rarely reported up to now.
QIU Wei-jian 1, YANG He-ping 1, HE Ying-xi 2, YU Dong-hua 3
doaj +1 more source
Sensitivity to common aeroallergens in asthma patients in Delhi-National Capital Region
BACKGROUND: Skin prick test (SPT) is the “gold standard” in the assessment of sensitivity to inhalant allergens. SPT is performed with antigen extracts from India and evaluated according to the Standard Indian Guidelines. OBJECTIVE: The aim of this study
Manoj Kumar +3 more
doaj +1 more source
Isobaric expansion (IE) engines can directly convert heat into mechanical energy, making them particularly attractive for applications such as vapor-driven pumps and compressors.
Alexander Kronberg +3 more
doaj +1 more source
Isobaric expansion (IE) technology is a promising solution for mini- and medium-scale low-grade heat utilization. IE engines directly convert heat to mechanical energy and are particularly interesting as direct-acting, vapor-driven pumps and compressors.
Alexander Kronberg +3 more
doaj +1 more source
This study aims to test the successful use of e-filing information systems in tax return reporting, which is more widely used by taxpayers during the COVID 19 pandemic to report tax return than before. Data were obtained by a survey using a questionnaire
Atika Jauharia Hatta Hambali
doaj +1 more source
SPT-3G, the third generation camera on the South Pole Telescope (SPT), was deployed in the 2016-2017 Austral summer season. The SPT is a 10-meter telescope located at the geographic South Pole and designed for observations in the millimeter-wave and submillimeter-wave regions of the electromagnetic spectrum.
Riedel Benedikt +9 more
openaire +2 more sources
21 pages (previous version was 19 pages), added reference to Andrews and Rose's recent paper, MacMahon's paper and OEIS, changed some ...
Department of Mathematics, University of Florida, Gainesville, FL 32611-8105, United States ( host institution ) +1 more
openaire +3 more sources

