Zobrazeno 1 - 10
of 113
pro vyhledávání: '"David Van Horn"'
Publikováno v:
Nature Communications, Vol 12, Iss 1, Pp 1-8 (2021)
The authors investigate the impacts of wildfires on fluvial networks in the western US. They find that wildfires directly impacted ~6% of the total stream length between 1984 and 2014. When longitudinal propagation was included, they estimate that wi
Externí odkaz:
https://doaj.org/article/8e6b365ccae545ed83030988f14acd74
Autor:
Sam Tobin-Hochstadt, David Van Horn
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 136, Iss Proc. TFPIE 2013, Pp 1-15 (2013)
We propose a bridge between functional and object-oriented programming in the first-year curriculum. Traditionally, curricula that begin with functional programming transition to a professional, usually object-oriented, language in the second course.
Externí odkaz:
https://doaj.org/article/69291bac35d74a02950d98feb3c1092a
Publikováno v:
PLoS ONE, Vol 11, Iss 8, p e0161050 (2016)
Different reproductive strategies and the transition to asexuality can be associated with microbial symbionts. Whether such a link exists within mollusks has never been evaluated. We took the first steps towards addressing this possibility by perform
Externí odkaz:
https://doaj.org/article/889aa5ded4514b0fa3534c473656e92d
Publikováno v:
Antarctic Science. 35:103-119
Antarctic soils provide an excellent setting to test biogeographical patterns across spatial and environmental scales given their relatively simple communities and the dominance of physical factors that create strong environmental gradients. Addition
Publikováno v:
Asian Journal of Chemistry. 34:1570-1574
The complex, disodium aquabis(malonato)oxovanadate(IV) monohydrate, has been synthesized and its structure determined by X-ray diffraction analysis. The geometry around the metal is octahedral and the two malonate ligands are coordinated in a trans-a
Autor:
Dayu Wang, J. David Van Horn
Publikováno v:
Leonardo. 54:599-605
The authors reconsider macroscopic structures, including tensegrity structures, as ensembles of compression and tension forces and fit these structures to a triangular spectrum. They then present a derivative structural analogy to the three classes o
Publikováno v:
Journal of Polymer Science. 58:589-598
Publikováno v:
David Van Horn
We present a formal model of Checked C, a dialect of C that aims to enforce spatial memory safety. Our model pays particular attention to the semantics of dynamically sized, potentially null-terminated arrays. We formalize this model in Coq, and prov
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2d8436fb00efcafc26070e4219891304
Publikováno v:
Journal of Colloid and Interface Science. 536:88-97
Covalent grafting and electrostatic-driven assembly have been two strategies in constructing well-defined polyoxometalate (POM) assemblies to produce specific morphologies and desirable properties. The modification of anionic counter-ions of amphiphi