Zobrazeno 1 - 10
of 1 000
pro vyhledávání: '"Crossley, J"'
Autor:
Partnership, ALMA, Fomalont, E. B., Vlahakis, C., Corder, S., Remijan, A., Barkats, D., Lucas, R., Hunter, T. R., Brogan, C. L., Asaki, Y., Matsushita, S., Dent, W. R. F., Hills, R. E., Phillips, N., Richards, A. M. S., Cox, P., Amestica, R., Broguiere, D., Cotton, W., Hales, A. S., Hiriart, R., Hirota, A., Hodge, J. A., Impellizzeri, C. M. V., Kern, J., Kneissl, R., Liuzzo, E., Marcelino, N., Marson, R., Mignano, A., Nakanishi, K., Nikolic, B., Perez, J. E., Pérez, L. M., Toledo, I., Aladro, R., Butler, B., Cortes, J., Cortes, P., Dhawan, V., Di Francesco, J., Espada, D., Galarza, F., Garcia-Appadoo, D., Guzman-Ramirez, L., Humphreys, E. M., Jung, T., Kameno, S., Laing, R. A., Leon, S., Mangum, J., Marconi, G., Nagai, H., Nyman, L. -A., Radiszcz, M., Rodón, J. A., Sawada, T., Takahashi, S., Tilanus, R. P. J., van Kempen, T., Vilaro, B. Vila, Watson, L. C., Wiklind, T., Gueth, F., Tatematsu, K., Wootten, A., Castro-Carrizo, A., Chapillon, E., Dumas, G., de Gregorio-Monsalvo, I., Francke, H., Gallardo, J., Garcia, J., Gonzalez, S., Hibbard, J. E., Hill, T., Kaminski, T., Karim, A., Krips, M., Kurono, Y., Lopez, C., Martin, S., Maud, L., Morales, F., Pietu, V., Plarre, K., Schieven, G., Testi, L., Videla, L., Villard, E., Whyborn, N., Zwaan, M. A., Alves, F., Andreani, P., Avison, A., Barta, M., Bedosti, F., Bendo, G. J., Bertoldi, F., Bethermin, M., Biggs, A., Boissier, J., Brand, J., Burkutean, S., Casasola, V., Conway, J., Cortese, L., Dabrowski, B., Davis, T. A., Trigo, M. Diaz, Fontani, F., Franco-Hernandez, R., Fuller, G., Madrid, R. Galvan, Giannetti, A., Ginsburg, A., Graves, S. F., Hatziminaoglou, E., Hogerheijde, M., Jachym, P., Serra, I. Jimenez, Karlicky, M., Klaasen, P., Kraus, M., Kunneriath, D., Lagos, C., Longmore, S., Leurini, S., Maercker, M., Magnelli, B., Vidal, I. Marti, Massardi, M., Maury, A., Muehle, S., Muller, S., Muxlow, T., O'Gorman, E., Paladino, R., Petry, D., Pineda, J., Randall, S., Richer, J. S., Rossetti, A., Rushton, A., Rygl, K., Monge, A. Sanchez, Schaaf, R., Schilke, P., Stanke, T., Schmalzl, M., Stoehr, F., Urban, S., van Kampen, E., Vlemmings, W., Wang, K., Wild, W., Yang, Y., Iguchi, S., Hasegawa, T., Saito, M., Inatani, J., Mizuno, N., Asayama, S., Kosugi, G., Morita, K. -I., Chiba, K., Kawashima, S., Okumura, S. K., Ohashi, N., Ogasawara, R., Sakamoto, S., Noguchi, T., Huang, Y. -D., Liu, S. -Y., Kemper, F., Koch, P. M., Chen, M. -T., Chikada, Y., Hiramatsu, M., Iono, D., Shimojo, M., Komugi, S., Kim, J., Lyo, A. -R., Muller, E., Herrera, C., Miura, R. E., Ueda, J., Chibueze, J., Su, Y. -N., Trejo-Cruz, A., Wang, K. -S., Kiuchi, H., Ukita, N., Sugimoto, M., Kawabe, R., Hayashi, M., Miyama, S., Ho, P. T. P., Kaifu, N., Ishiguro, M., Beasley, A. J., Bhatnagar, S., Braatz III, J. A., Brisbin, D. G., Brunetti, N., Carilli, C., Crossley, J. H., D'Addario, L., Meyer, J. L. Donovan, Emerson, D. T., Evans, A. S., Fisher, P., Golap, K., Griffith, D. M., Hale, A. E., Halstead, D., Hardy, E. J., Hatz, M. C., Holdaway, M., Indebetouw, R., Jewell, P. R., Kepley, A. A., Kim, D. -C., Lacy, M. D., Leroy, A. K., Liszt, H. S., Lonsdale, C. J., Matthews, B., McKinnon, M., Mason, B. S., Moellenbrock, G., Moullet, A., Myers, S. T., Ott, J., Peck, A. B., Pisano, J., Radford, S. J. E., Randolph, W. T., Venkata, U. Rao, Rawlings, M. G., Rosen, R., Schnee, S. L., Scott, K. S., Sharp, N. K., Sheth, K., Simon, R. S., Tsutsumi, T., Wood, S. J.
Publikováno v:
The Astrophysical Journal Letters, volume 808, issue 1, article id. L1, 11 pp. (2015)
A major goal of the Atacama Large Millimeter/submillimeter Array (ALMA) is to make accurate images with resolutions of tens of milliarcseconds, which at submillimeter (submm) wavelengths requires baselines up to ~15 km. To develop and test this capab
Externí odkaz:
http://arxiv.org/abs/1504.04877
We have detected occasional, short-lived ``echoes'' of giant pulses from the Crab pulsar. These echo events remind us of previously reported echoes from this pulsar, but they differ significantly in detail. Our echo events last at most only a few day
Externí odkaz:
http://arxiv.org/abs/astro-ph/0612109
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Crossley, J N
What is mathematical logic? Mathematical logic is the application of mathematical techniques to logic. What is logic? I believe I am following the ancient Greek philosopher Aristotle when I say that logic is the (correct) rearranging of facts to find
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::28e756d84eb610b29bfd6fe700e848c6
Autor:
Crossley, J N
In order to answer the question of what logic may be like in this twenty-first century we examine the history of logic. One thing that we see is a recurrence of ideas but the ideas change form, sometimes quite dramatically. We also see a simple idea
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::92fcef6de43ba1fa1b01caa30f37b119
Autor:
Poernomo, I, Crossley, J N
In this paper we describe a new protocol that we call the Curry-Howard protocol between a theory and the programs extracted from it. This protocol leads to the expansion of the theory and the production of more powerful programs. The methodology we u
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::26869bc77dc5df19e9215d3e62948682
Autor:
Poernomo, I, Crossley, J N
The Curry-Howard isomorphism permits the representation of intuitionistic logic as a constructive type thoery. It has often been exploited in the implementation of interactive theorem provers. It also forms the basis of the proofs-asprograms paradigm
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::08e31c22f6e5712450f777c7f42387c9
Autor:
Crossley, J N
When writing we sometimes make errors and when we try to decipher what is written by someone else we may also occasionally make errors, imputing to the author something he did not write, or else we may misconstrue what the scribe has actually written
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dcd2c54e84c47c594660bd3eac1be8d4