Items where Funder is Air Force Research Lab Munitions Directorate.

Export as [feed] Atom [feed] RSS
Group by: Grant number | Institution | No Grouping
Number of items: 36.

291332

Shuman, NS, Sweeny, BC, Viggiano, AA et al. (5 more authors) (2023) Kinetics of O3 with Ca+ and Its Higher Oxides CaOn+ (n = 1–3) and Updates to a Model of Meteoric Calcium in the Mesosphere and Lower Thermosphere. The Journal of Physical Chemistry A, 127 (18). pp. 4043-4054. ISSN 1089-5639

48138

Gambino, N orcid.org/0000-0002-4257-3590 and Sattler, C (2017) The Frobenius condition, right properness, and uniform fibrations. Journal of Pure and Applied Algebra, 221 (12). pp. 3027-3068. ISSN 0022-4049

Awodey, S, Gambino, N orcid.org/0000-0002-4257-3590 and Palmgren, E (2015) Introduction – from type theory and homotopy theory to univalent foundations. Mathematical Structures in Computer Science, 25 (05). pp. 1005-1009. ISSN 0960-1295

Gambino, N orcid.org/0000-0002-4257-3590 and Joyal, A (2017) On operads, bimodules and analytic functors. Memoirs of the American Mathematical Society, 249. 1184. ISSN 0065-9266

Awodey, S, Gambino, N orcid.org/0000-0002-4257-3590 and Sojakova, K (2017) Homotopy-initial algebras in type theory. Journal of the ACM, 63 (6). ISSN 1535-9921

EP/M01729X/1

Gambino, N orcid.org/0000-0002-4257-3590 and Henry, S (2022) Towards a constructive simplicial model of Univalent Foundations. Journal of the London Mathematical Society, 105 (2). pp. 1073-1109. ISSN 0024-6107

Gambino, N orcid.org/0000-0002-4257-3590 and Sattler, C (2017) The Frobenius condition, right properness, and uniform fibrations. Journal of Pure and Applied Algebra, 221 (12). pp. 3027-3068. ISSN 0022-4049

Awodey, S, Gambino, N orcid.org/0000-0002-4257-3590 and Palmgren, E (2015) Introduction – from type theory and homotopy theory to univalent foundations. Mathematical Structures in Computer Science, 25 (05). pp. 1005-1009. ISSN 0960-1295

Gambino, N orcid.org/0000-0002-4257-3590 and Joyal, A (2017) On operads, bimodules and analytic functors. Memoirs of the American Mathematical Society, 249. 1184. ISSN 0065-9266

Awodey, S, Gambino, N orcid.org/0000-0002-4257-3590 and Sojakova, K (2017) Homotopy-initial algebras in type theory. Journal of the ACM, 63 (6). ISSN 1535-9921

EP/V002325/1

Gambino, N orcid.org/0000-0002-4257-3590, Henry, S, Sattler, C et al. (1 more author) (2022) The effective model structure and ∞-groupoid objects. Forum of Mathematics, Sigma, 10 (e34). ISSN 2050-5094

FA8655-13-1-3038, 12.800

Gambino, N orcid.org/0000-0002-4257-3590 and Larrea, MF (2023) Models of Martin-Löf Type Theory from Algebraic Weak Factorisation Systems. The Journal of Symbolic Logic, 88 (1). pp. 242-289. ISSN 0022-4812

Gambino, N orcid.org/0000-0002-4257-3590 and Lobbia, G orcid.org/0000-0002-2732-0317 (2021) On the formal theory of pseudomonads and pseudodistributive laws. Theory and Applications of Categories, 37 (2). pp. 14-56. ISSN 1201-561X

Gambino, N orcid.org/0000-0002-4257-3590 and Henry, S (2022) Towards a constructive simplicial model of Univalent Foundations. Journal of the London Mathematical Society, 105 (2). pp. 1073-1109. ISSN 0024-6107

Gambino, N orcid.org/0000-0002-4257-3590 and Sattler, C (2017) The Frobenius condition, right properness, and uniform fibrations. Journal of Pure and Applied Algebra, 221 (12). pp. 3027-3068. ISSN 0022-4049

Awodey, S, Gambino, N orcid.org/0000-0002-4257-3590 and Palmgren, E (2015) Introduction – from type theory and homotopy theory to univalent foundations. Mathematical Structures in Computer Science, 25 (05). pp. 1005-1009. ISSN 0960-1295

Gambino, N orcid.org/0000-0002-4257-3590 and Joyal, A (2017) On operads, bimodules and analytic functors. Memoirs of the American Mathematical Society, 249. 1184. ISSN 0065-9266

Awodey, S, Gambino, N orcid.org/0000-0002-4257-3590 and Sojakova, K (2017) Homotopy-initial algebras in type theory. Journal of the ACM, 63 (6). ISSN 1535-9921

FA8655-21-1-7031

Qiu, L., Yamazaki, Y., Yu, T. et al. (9 more authors) (2023) Numerical simulations of metallic ion density perturbations in sporadic E layers caused by gravity waves. Earth and Space Science, 10 (8). e2023EA003030. ISSN 2333-5084

Shuman, NS, Sweeny, BC, Viggiano, AA et al. (5 more authors) (2023) Kinetics of O3 with Ca+ and Its Higher Oxides CaOn+ (n = 1–3) and Updates to a Model of Meteoric Calcium in the Mesosphere and Lower Thermosphere. The Journal of Physical Chemistry A, 127 (18). pp. 4043-4054. ISSN 1089-5639

FA9550-16-1-0099

Kent, JT orcid.org/0000-0002-1861-8349, Bhattacharjee, S orcid.org/0000-0002-0862-9108, Hussein, IH et al. (1 more author) (2017) Angles-only data association using directional discriminant analysis. In: Spaceflight Mechanics 2017: Proceedings of the 27th AAS/AIAA Space Flight Mechanics Meeting held February 5-9, 2017, San Antonio, Texas, U.S.A. 27th AAS/AIAA Space Flight Mechanics Meeting, 05-09 Feb 2017, San Antonio, Texas. Advances in the Astronautical Sciences (160). Univelt , San Diego, California, USA . ISBN 978-0-87703-637-1

Bhattacharjee, S orcid.org/0000-0002-0862-9108, Kent, JT, Hussein, II et al. (2 more authors) (2017) Application of Directional Statistics to Problems in SSA. In: Acta Astronautica. 1st IAA Conference on Space Situational Awareness (ICSSA), 13-15 Nov 2017, Orlando, FL, USA. Elsevier . (Unpublished)

Bhattacharjee, S orcid.org/0000-0002-0862-9108, Kent, JT orcid.org/0000-0002-1861-8349, Hussein, II et al. (1 more author) (2017) Bayesian filtering using directional statistics for the space debris tracking problem. In: 68th International Astronautical Congress 2017 Proceedings. International Astronautical Congress 2017, 25-29 Sep 2017, Adelaide, Australia. International Astronautical Federation .

Kent, JT orcid.org/0000-0002-1861-8349, Hussein, I and Jah, MK (2016) Directional Distributions in Tracking of Space Debris. In: 2016 19th International Conference on Information Fusion Proceedings. 2016 19th International Conference on Information Fusion (FUSION), 05-08 Jul 2016, Heidelberg, Germany. International Society of Information Fusion , pp. 2081-2087. ISBN 978-0-9964-5274-8

Faber, WR, Hussein, II, Kent, JT orcid.org/0000-0002-1861-8349 et al. (2 more authors) (2017) FBK Optical Data Association in a Multi-Hypothesis Framework with Maneuvers. In: Advanced Maui Optical and Space Surveillance Technologies (AMOS) Conference 2017 - Technical Papers. The Advanced Maui Optical and Space Surveillance Technologies (AMOS) Conference, 19-22 Sep 2017, Maui, Hawai‘i. Advanced Maui Optical and Space Surveillance Technologies Conference .

Kent, JT orcid.org/0000-0002-1861-8349, Bhattacharjee, S orcid.org/0000-0002-0862-9108, Hussein, II et al. (2 more authors) (2018) Filtering When Object Custody is Ambiguous. In: Proceedings of 2018 21st International Conference on Information Fusion (FUSION). 2018 21st International Conference on Information Fusion (FUSION 2018), 10-13 Jul 2018, Cambridge, UK. IEEE , pp. 1317-1322. ISBN 978-0-9964527-6-2

Kent, JT orcid.org/0000-0002-1861-8349, Bhattacharjee, S orcid.org/0000-0002-0862-9108, Hussein, II et al. (2 more authors) (2018) Fisher-Bingham-Kent Mixture Models for Angles-Only Observation Processing. In: Proceedings of 2018 Space Flight Mechanics Meeting. 2018 Space Flight Mechanics Meeting, 08-12 Jan 2018, Kissimmee, Florida, USA. American Institute of Aeronautics and Astronautics . ISBN 978-1-62410-533-3

Kent, JT orcid.org/0000-0002-1861-8349, Bhattacharjee, S orcid.org/0000-0002-0862-9108, Hussein, I et al. (1 more author) (2017) Geometric restructurization of the space object tracking problem for improved uncertainty representation. In: Flohrer, T and Schmitz, F, (eds.) Proceedings. 7th European Conference on Space Debris, 18-21 Apr 2017, Darmstadt, Germany. ESA Space Debris Office .

Kent, JT orcid.org/0000-0002-1861-8349, Bhattacharjee, S orcid.org/0000-0002-0862-9108, Hussein, II et al. (1 more author) (2018) Nonlinear Filtering Using Directional Statistics for the Orbital Tracking Problem with Perturbation Effects. In: Proceedings of 2018 Space Flight Mechanics Meeting. 2018 Space Flight Mechanics Meeting, 08-12 Jan 2018, Kissimmee, Florida, USA. American Institute of Aeronautics and Astronautics . ISBN 978-1-62410-533-3

Faber, WR, Hussein, II, Kent, JT orcid.org/0000-0002-1861-8349 et al. (2 more authors) (2018) Optical Data Processing Using Directional Statistics In a Multiple Hypothesis Framework With Maneuvering Objects. In: Proceedings of 2018 Space Flight Mechanics Meeting. 2018 Space Flight Mechanics Meeting, 08-12 Jan 2018, Kissimmee, Florida, USA. American Institute of Aeronautics and Astronautics . ISBN 978-1-62410-533-3

Faber, WR, Hussein, II, Kent, JT orcid.org/0000-0002-1861-8349 et al. (2 more authors) (2018) Optical data association in a multiple hypothesis framework with maneuvers. In: Advances in the Astronautical Sciences. AAS/AIAA Astrodynamics Specialist Conference, 20-24 Aug 2017, Columbia River Gorge, Stevenson, WA, USA. Univelt Inc. . ISBN 978-0-87703-645-6

Kent, JT orcid.org/0000-0002-1861-8349, Bhattacharjee, S orcid.org/0000-0002-0862-9108, Hussein, H et al. (1 more author) (2017) Orbital error propagation analysis using directional statistics for space objects. In: McMahon, JW, Guo, Y, Leve, FA and Sims, JA, (eds.) Spaceflight Mechanics 2017: Proceedings of the 27th AAS/AIAA Space Flight Mechanics Meeting held February 5-9, 2017, San Antonio, Texas, U.S.A. 27th AAS/AIAA Space Flight Mechanics Meeting, 05-09 Feb 2017, San Antonio, Texas. Advances in the Astronautical Sciences (160). Univelt , San Diego, California, USA . ISBN 978-0-87703-637-1

Kent, JT orcid.org/0000-0002-1861-8349, Bhattacharjee, S orcid.org/0000-0002-0862-9108, Hussein, II et al. (1 more author) (2018) The performance of a direction-based Bayesian filter in the orbital tracking problem. In: Advances in the Astronautical Sciences. AAS/AIAA Astrodynamics Specialist Conference, 20-24 Aug 2017. Univelt, Inc. . ISBN 978-0-87703-645-6

FA9550-17-1-0290

Gambino, N orcid.org/0000-0002-4257-3590, Henry, S, Sattler, C et al. (1 more author) (2022) The effective model structure and ∞-groupoid objects. Forum of Mathematics, Sigma, 10 (e34). ISSN 2050-5094

FA9550-19-1-7000

Kent, J orcid.org/0000-0002-1861-8349, Bhattacharjee, S, Faber, WR et al. (1 more author) (2020) A Unified Approach to the Orbital Tracking Problem. In: 2020 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI). IEEE International Conference on Multisensor Fusion and Integration, 14-16 Sep 2020, Karlsruhe, Germany. IEEE . ISBN 978-1-7281-6423-6

FA9550-21-1-0007

Gambino, N orcid.org/0000-0002-4257-3590, Henry, S, Sattler, C et al. (1 more author) (2022) The effective model structure and ∞-groupoid objects. Forum of Mathematics, Sigma, 10 (e34). ISSN 2050-5094

This list was generated on Fri May 3 04:19:57 2024 BST.