Zobrazeno 1 - 10
of 116
pro vyhledávání: '"B. F. Jones"'
Publikováno v:
Journal of Aerospace Information Systems. 15:640-664
In designing, verifying, and validating distributed systems today, an engineer is often faced with having to specify a system multiple times. For example, the engineer might specify it once in a mo...
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cc9829053928658bdc416ef7bd66e243
https://doi.org/10.2514/1.i010598
https://doi.org/10.2514/1.i010598
Autor:
B. F. Jones, John J. Zone, Kristin M. Leiferman, John C. Fang, Kathryn A. Peterson, Amber Jimenez, Christopher M. Hull, Jamie L.W. Rhoads, Meganne Ferrel, M. Allen
Publikováno v:
Journal of the American Academy of Dermatology. 83:AB68
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::91730e9af703848d63a7c2f26655d41a
https://doi.org/10.1016/j.jaad.2020.06.359
https://doi.org/10.1016/j.jaad.2020.06.359
Autor:
Razieh Soltani-Arabshahi, Carol Sweeney, B. F. Jones, Douglas Grossman, Nan Hu, Scott R. Florell
Publikováno v:
Journal of the American Academy of Dermatology. 72:412-418
Objective Clinical detection of melanoma can be challenging. The number of biopsy specimens performed to diagnose 1 melanoma is a measure of efficiency of skin cancer detection, but few data are available to describe this measure from US health care.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ebfdab874ff674728b401c20bc00cf9a
https://doi.org/10.1016/j.jaad.2014.11.030
https://doi.org/10.1016/j.jaad.2014.11.030
Autor:
B. F. Jones, Lee Pike
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319572871
NFM
NFM
With proof techniques like IC3 and k-induction, model-checking scales further than ever before. Still, fault-tolerant distributed systems are particularly challenging to model-check given their large state spaces and non-determinism. The typical appr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ceccef56f94cef9574ed71fc5aeaa9fa
https://doi.org/10.1007/978-3-319-57288-8_12
https://doi.org/10.1007/978-3-319-57288-8_12
Autor:
B. F. Jones, Daniel K. Nakano
Publikováno v:
Journal of the Australian Mathematical Society. 91:343-363
The support varieties for the induced modules or Weyl modules for a reductive algebraic group G were computed over the first Frobenius kernel G1 by Nakano, Parshall and Vella. A natural generalization of this computation is the calculation of the sup
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::12774b21548fd7804aada5752b2c6ba1
https://doi.org/10.1017/s144678871100173x
https://doi.org/10.1017/s144678871100173x
Publikováno v:
The Journal of Laryngology & Otology. 125:869-872
Objective:We report a case of leiomyosarcoma arising in the tonsil in a 73-year-old man.Method:Case report and review of the English language literature (using Pubmed, Ovid and Proquest databases).Results:To our knowledge, this is the first case of t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f747fb24ef967a9416cf925a92642e1f
https://doi.org/10.1017/s0022215111001290
https://doi.org/10.1017/s0022215111001290
Autor:
Daniel K. Nakano, Irfan Bagci, B. F. Jones, Kenyon J. Platt, Brian D. Boe, Caroline B. Wright, Benjamin Connell, Jae-Ho Shin, Leonard Chastkofsky, Wenjing Li
Publikováno v:
Proceedings of the American Mathematical Society. 138:85-99
We prove the analog of Kostant's Theorem on Lie algebra cohomology in the context of quantum groups. We prove that Kostant's cohomology formula holds for quantum groups at a generic parameter $q$, recovering an earlier result of Malikov in the case w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dbe6c5bf68de9430752eb1ed2a1f7342
https://doi.org/10.1090/s0002-9939-09-10039-4
https://doi.org/10.1090/s0002-9939-09-10039-4
Autor:
R. C. Gray, B. T. Stokes, C. Song, B. C. Knapp, J. R. Thomas, John N. Matthews, J. H. Boyer, Segev BenZvi, L. M. Scott, A. O’Neill, R. Riehle, C. Cannon, O. A. Brusova, Pierre Sokolsky, Dale Tupa, G. Archbold, P. Hüntemeyer, Konstantin Belov, W. Deng, Douglas Bergman, N. Sasaki, C. B. Finley, M. M. Maestas, M. A. Kirn, S. A. Blake, Gordon Thomson, M. D. Roberts, R. W. Springer, E. J. Mannel, C. C. H. Jui, Steve Schnetzer, E. C. Loh, G. Sinnis, Gareth Hughes, S. B. Thomas, C. M. Hoffman, Michael H. Holzscheiter, Tareq Abu-Zayyad, B. F. Jones, M. Seman, Y. Fedorova, J. D. Smith, Kevin Reil, N. Manago, J. F. Amman, J. Findlay, D. Rodriguez, Z. Cao, Lawrence Wiencke, Dmitri Ivanov, R. Snow, John Belz, S. A. Moore, L. Perera, Xiang Zhang, L. J. Marek, K. Kim, M. Allen, William Hanlon, Rasha Abbasi, C. A. Painter, K. Martens, A. Zech, G. W. Burt, S. R. Stratton
Publikováno v:
Astroparticle Physics. 30:175-179
We have searched for correlations between the pointing directions of ultrahigh energy cosmic rays observed by the High Resolution Fly's Eye experiment and Active Galactic Nuclei (AGN) visible from its northern hemisphere location. No correlations, ot
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1e8112e706933c8bd956b4687dcd2e71
https://doi.org/10.1016/j.astropartphys.2008.08.004
https://doi.org/10.1016/j.astropartphys.2008.08.004
Autor:
W-Y. Pauchy Hwang, J. R. Thomas, Douglas Bergman, D. Walz, B. F. Jones, F. Y. Chang, John Belz, Pierre Sokolsky, C. W. Chen, Johnny S. T. Ng, Rasha Abbasi, Pisin Chen, C. C. Chen, Gordon Thomson, Kevin Reil, Y. Fedorova, D. Rodriguez, J. D. Smith, M. Dalton, N. Manago, Z. Cao, A.C. Odian, John N. Matthews, P. Hüntemeyer, M. A. Huang, R. W. Springer, Guey-Lin Lin, C. C. H. Jui, S. B. Thomas, R. Iverson, K. Martens, A. Zech, C. Field, Tareq Abu-Zayyad, E. C. Loh, Konstantin Belov, C. Hast, M. M. Maestas
Publikováno v:
Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment. 597:37-40
A key assumption in the reconstruction of extensive air showers using the air fluorescence technique is that fluorescence is proportional to energy deposition at all depths in the shower. This ansatz, along with the supposition that particle distribu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::77ea34330836816fdffd540fa22b93e5
https://doi.org/10.1016/j.nima.2008.08.053
https://doi.org/10.1016/j.nima.2008.08.053
Autor:
C. Hast, A.C. Odian, John Belz, M. A. Huang, R. W. Springer, M. Dalton, Rasha Abbasi, R. Iverson, Pierre Sokolsky, Douglas Bergman, C. C. H. Jui, Johnny S. T. Ng, C. Field, F. Y. Chang, J. R. Thomas, S. B. Thomas, J. D. Smith, D. Walz, Gordon Thomson, Tareq Abu-Zayyad, C. W. Chen, P. Hüntemeyer, Guey-Lin Lin, N. Manago, Pisin Chen, Z. Cao, Y. Fedorova, E. C. Loh, D. Rodriguez, John N. Matthews, K. Martens, A. Zech, M. M. Maestas, Konstantin Belov, W-Y. Pauchy Hwang, C. C. Chen, Kevin Reil, B. F. Jones
Publikováno v:
Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment. 597:32-36
The fluorescence yield in air is reported for wavelength and pressure ranges of interest to ultra-high energy cosmic ray detectors. A 28.5 GeV electron beam was used to excite the fluorescence. Central to the approach was the system calibration, usin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c6a5ca14a8046ee3c533738fac8a6cc5
https://doi.org/10.1016/j.nima.2008.08.054
https://doi.org/10.1016/j.nima.2008.08.054