Zobrazeno 1 - 10
of 1 998
pro vyhledávání: '"Lumsdaine A."'
Autor:
Silk, Eric, Chakraborty, Swarnita, Dasgupta, Nairanjana, Sarwate, Anand D., Lumsdaine, Andrew, Chiang, Tony
Training deep neural networks (DNNs) used in modern machine learning is computationally expensive. Machine learning scientists, therefore, rely on stochastic first-order methods for training, coupled with significant hand-tuning, to obtain good perfo
Externí odkaz:
http://arxiv.org/abs/2307.11684
Autor:
Liu, Xu T., Firoz, Jesun, Aksoy, Sinan, Amburg, Ilya, Lumsdaine, Andrew, Joslyn, Cliff, Gebremedhin, Assefaw H., Praggastis, Brenda
Hypergraphs offer flexible and robust data representations for many applications, but methods that work directly on hypergraphs are not readily available and tend to be prohibitively expensive. Much of the current analysis of hypergraphs relies on fi
Externí odkaz:
http://arxiv.org/abs/2201.11326
Publikováno v:
In Fusion Engineering and Design April 2024 201
Autor:
Liu, Xu T., Firoz, Jesun, Lumsdaine, Andrew, Joslyn, Cliff, Aksoy, Sinan, Praggastis, Brenda, Gebremedhin, Assefaw
This paper considers structures of systems beyond dyadic (pairwise) interactions and investigates mathematical modeling of multi-way interactions and connections as hypergraphs, where captured relationships among system entities are set-valued. To da
Externí odkaz:
http://arxiv.org/abs/2010.11448
Publikováno v:
Volume: 65, Issue: 12, Dec. 2018, Pages: 9757 - 9766
Plenoptic cameras are receiving increasing attention in scientific and commercial applications because they capture the entire structure of light in a scene, enabling optical transforms (such as focusing) to be applied computationally after the fact,
Externí odkaz:
http://arxiv.org/abs/2010.07746
We define a general class of dependent type theories, encompassing Martin-L\"of's intuitionistic type theories and variants and extensions. The primary aim is pragmatic: to unify and organise their study, allowing results and constructions to be give
Externí odkaz:
http://arxiv.org/abs/2009.05539
Publikováno v:
Theory and Applications of Categories, Vol. 35, 2020, No. 40, pp 1546-1548
We show that the law of excluded middle holds in Voevodsky's simplicial model of type theory. As a corollary, excluded middle is compatible with univalence.
Comment: Short note, 2 pages. v2: various revisions, no change in numbering
Comment: Short note, 2 pages. v2: various revisions, no change in numbering
Externí odkaz:
http://arxiv.org/abs/2006.13694
Autor:
Thakur, Saikat Chakraborty, Simmonds, Michael J., Caneses, Juan F., Chang, Fengjen, Doerner, Eric M. Hollmann Russell P., Goulding, Richard, Lumsdaine, Arnold, Rapp, Juergen, Tynan, George R.
Radio-frequency (RF) driven helicon plasma sources can produce relatively high-density plasmas (n > 10^19 m-3) at relatively moderate powers (< 2 kW) in argon. However, to produce similar high-density plasmas for fusion relevant gases such as hydroge
Externí odkaz:
http://arxiv.org/abs/2005.11214
Autor:
Kulkarni, Abhishek, Lumsdaine, Andrew
We evaluate and compare four contemporary and emerging runtimes for high-performance computing(HPC) applications: Cilk, Charm++, ParalleX and AM++. We compare along three bases: programming model, execution model and the implementation on an underlyi
Externí odkaz:
http://arxiv.org/abs/1904.00518
Publikováno v:
In Journal of Econometrics March 2023 233(1):45-65