Zobrazeno 1 - 10
of 42
pro vyhledávání: '"Boyer, R S"'
Publikováno v:
Communications of the ACM. Oct2002, Vol. 45 Issue 10, p21-22. 2p.
Autor:
Boyer, R S
Publikováno v:
AJNR Am J Neuroradiol
Recent work has shown that up to 50% of patients with congenital muscular dystrophies (CMDs) have abnormalities of the brain that can be detected by brain MR imaging. We attempted to determine whether brain MR imaging is useful for the diagnosis and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmid________::7135ae83e36763d66c86904700de057e
https://europepmc.org/articles/PMC8338696/
https://europepmc.org/articles/PMC8338696/
Autor:
Altman, N, Boyer, R S, Brunberg, J A, Elster, A D, George, A E, Hackney, D B, Haughton, V M, Lufkin, R B, Ross, J S, Swartz, J D, Weissman, J L, Wolpert, S M
Publikováno v:
AJNR Am J Neuroradiol
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmid_dedup__::4cd16be7fe75a3cd7bcfbcf1a05d041f
https://europepmc.org/articles/PMC8338013/
https://europepmc.org/articles/PMC8338013/
Publikováno v:
AJNR Am J Neuroradiol
The MR and CT findings in 12 adolescents with multiple sclerosis were compared with reported findings in adults. The adolescent group showed a more striking female predominance, more severe disease characteristics, and more frequent infratentorial in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmid________::1b896d51313d2dc41fb7087b301f2eed
https://europepmc.org/articles/PMC8367459/
https://europepmc.org/articles/PMC8367459/
Publikováno v:
Proceedings of the 3rd ACM SIGACT-SIGPLAN Symposium: Principles on Programming Languages; 1/ 1/1976, p171-174, 4p
Publikováno v:
Pediatric Cardiology; November 1995, Vol. 16 Issue: 6 p270-275, 6p
Autor:
O'Gorman, Molly A., Boyer, Richard S., Daniel Jackson, W., O'Gorman, M A, Boyer, R S, Jackson, W D
Publikováno v:
Journal of Pediatric Gastroenterology & Nutrition; Dec1996, Vol. 23 Issue 5, p628-630, 3p
Publikováno v:
Computers & Mathematics with Applications; 1995, Vol. 29 Issue: 2 p27-27, 1p
Autor:
Alan Bundy
Publikováno v:
Automated Reasoning Series ISBN: 9789401055420
Automated Reasoning: Essays in Honor of Woody Bledsoe
Bundy, A 1991, The Use of Proof Plans for Normalization . in R S Boyer (ed.), Essays in Honour of Woody Bledsoe . Kluwer Academic Publishers .
Automated Reasoning: Essays in Honor of Woody Bledsoe
Bundy, A 1991, The Use of Proof Plans for Normalization . in R S Boyer (ed.), Essays in Honour of Woody Bledsoe . Kluwer Academic Publishers .
We propose using proof plans to implement expression normalizers in automatic theorem proving. We outline some general-purpose proof plans and show how these can be combined in various ways to yield some standard normalizers. We claim that using proo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::42ba8d1d8d3b93ffb8dc932527fe38a6
https://doi.org/10.1007/978-94-011-3488-0_7
https://doi.org/10.1007/978-94-011-3488-0_7
Autor:
Hedlund GL; Department of Pediatric Medical Imaging, Primary Children's Medical Center, Salt Lake City, UT 84113-1100, USA., Boyer RS
Publikováno v:
Seminars in pediatric neurology [Semin Pediatr Neurol] 1999 Dec; Vol. 6 (4), pp. 299-317.