Zobrazeno 1 - 10
of 1 556
pro vyhledávání: '"Ginsberg M."'
Autor:
Bielopolski, N., Heyman, E., Bassan, H., BenZeev, B., Tzadok, M., Ginsberg, M., Blumkin, L., Michaeli, Y., Sokol, R., Yosha-Orpaz, N., Hady-Cohen, R., Banne, E., Lev, D., Lerman-Sagie, T., Wald-Altman, S., Nissenkorn, A.
Publikováno v:
In Epilepsy Research October 2022 186
Publikováno v:
Journal Of Artificial Intelligence Research, Volume 23, pages 441-531, 2005
This is the third of three papers describing ZAP, a satisfiability engine that substantially generalizes existing tools while retaining the performance characteristics of modern high-performance solvers. The fundamental idea underlying ZAP is that ma
Externí odkaz:
http://arxiv.org/abs/1109.2142
Publikováno v:
Journal Of Artificial Intelligence Research, Volume 22, pages 481-534, 2004
This is the second of three planned papers describing ZAP, a satisfiability engine that substantially generalizes existing tools while retaining the performance characteristics of modern high performance solvers. The fundamental idea underlying ZAP i
Externí odkaz:
http://arxiv.org/abs/1109.2134
Publikováno v:
Journal Of Artificial Intelligence Research, Volume 21, pages 193-243, 2004
This is the first of three planned papers describing ZAP, a satisfiability engine that substantially generalizes existing tools while retaining the performance characteristics of modern high-performance solvers. The fundamental idea underlying ZAP is
Externí odkaz:
http://arxiv.org/abs/1107.0040
Autor:
Ginsberg, M. L.
Publikováno v:
Journal Of Artificial Intelligence Research, Volume 14, pages 303-358, 2001
This paper investigates the problems arising in the construction of a program to play the game of contract bridge. These problems include both the difficulty of solving the game's perfect information variant, and techniques needed to address the fact
Externí odkaz:
http://arxiv.org/abs/1106.0669
Autor:
Liddington, R. C., Ginsberg, M. H.
Publikováno v:
The Journal of Cell Biology, 2002 Sep 01. 158(5), 833-839.
Externí odkaz:
https://www.jstor.org/stable/1621196
Autor:
Ginsberg, M. L.
Publikováno v:
Journal of Artificial Intelligence Research, Vol 1, (1993), 25-46
Because of their occasional need to return to shallow points in a search tree, existing backtracking methods can sometimes erase meaningful progress toward solving a search problem. In this paper, we present a method by which backtrack points can be
Externí odkaz:
http://arxiv.org/abs/cs/9308101
Publikováno v:
In Research and Practice in Thrombosis and Haemostasis October 2023 7 Supplement 2
Autor:
Ali, Myzoon, Tibble, Holly, Brady, Marian C., Quinn, Terence J., Sunnerhagen, Katharina S., Venketasubramanian, Narayanaswamy, Shuaib, Ashfaq, Pandyan, Anand, Mead, Gillian, Lees, K.R., Alexandrov, A., Bath, P.M., Bluhmki, E., Bornstein, N., Chen, C., Claesson, L., Curram, J., Davis, S.M., Diener, H-C., Donnan, G., Fisher, M., Ginsberg, M., Gregson, B., Grotta, J., Hacke, W., Hennerici, M.G., Hommel, M., Kaste (Emeritus), M., Lyden, P., Marler, J., Muir, K., Roffe, C., Teal, P., Wahlgren, N.G., Warach, S., Ali, M., Ashburn, A., Barer, D., Barzel, A., Bernhardt, J., Bowen, A., Drummond, A., Edmans, J., English, C., Gladman (Emeritus), J., Godecke, E., Hiekkala, S., Hoffman, T., Kalra, L., Kuys, S., Langhorne, P., Laska, A.C., Lees, K.R., Logan, P., Machner, B., Morris, J., Pollock, A., Pomeroy, V., Rodgers, H., Sackley, C., Shaw, L., Stott, D.J., Tyson, S., van Vliet, P., Walker, M., Whiteley, W., Hanley, D.F., Butcher, K., Davis, S., Gregson, B., Lees, K.R., Lyden, P., Mayer, S., Muir, K., Steiner, T.
Publikováno v:
Stroke (Ovid); December 2023, Vol. 54 Issue: 12 p3107-3116, 10p
Autor:
Cali Daylan, A.E., Song, J., Kim, S.Y., Lin, E., Deng, L., Ginsberg, M., Halmos, B., Cheng, H.
Publikováno v:
In Journal of Thoracic Oncology October 2024 19(10) Supplement:S599-S599