Zobrazeno 1 - 10
of 196
pro vyhledávání: '"Davenport, J.H."'
Autor:
Babis, George C., Jeray, Kyle J., Prayson, Michael J., Pesantez, Rodrigo, Acacio, Ramos, Verbeek, Diederik O., Melvanki, Parag, Kreis, Barbara E., Mehta, Samir, Meylaerts, S., Wojtek, S., Yeap, Ewe J., Haapasalo, Heidi, Kristan, Anže, Coles, Chad, Marsh, J. Lawrence, Mormino, Matthew, Menon, Matthew, Tyllianakis, Minos, Schandelmaier, Peter, Jenkinson, R.J., Neuhaus, Valentin, Shahriar, Chegini M.H., Belangero, William D., Kannan, S.G., Leonidovich, Golovakha M., Davenport, J.H., Kabir, Koroush, Althausen, Peter L., Weil, Yoram, Toom, Alar, Sa da Costa, Daniel, Lijoi, F., Koukoulias, Nikolaos E., Manidakis, Nikolaos, Van den Bogaert, Max, Patczai, Balázs, Grauls, Anthony, Kurup, Harish, van den Bekerom, Michel P., Lansdaal, Joris R., Vale, Mário, Ousema, Paul, Barquet, Antonio, Cross, Brian J., Broekhuyse, Henry, Haverkamp, Daniel, Merchant, Milind, Harvey, Edward, Stojkovska Pemovska, Emilija, Frihagen, Frede, Seibert, Franz J., Garnavos, Christos, van der Heide, Huub, Villamizar, Harold A., Harris, Ian, Borris, Lars C., Brink, Ole, Brink, Peter R.G., Choudhari, Pradeep, Swiontkowski, Marc, Mittlmeier, Thomas, Tosounidis, Theodoros, van Rensen, Inge, Martinelli, N., Park, D.H., Lasanianos, Nikolaos, Vide, J., Engvall, A., Zura, R.D., Jubel, Axel, Kawaguchi, Alan, Goost, Hans, Bishop, Julius, Mica, Ladislav, Pirpiris, Marinis, van Helden, S.H., Bouaicha, Samy, Schepers, T., Havliček, Tomo, Giordano, Vincenzo, Mellema, Jos J., Doornberg, Job N., Molenaars, Rik J., Ring, David, Kloen, Peter
Publikováno v:
In Injury April 2016 47(4):944-949
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.
Publikováno v:
In The Surgeon 2010 8(3):136-139
Autor:
Davenport, J.H. *, Smith, G.C.
Publikováno v:
In Journal of Pure and Applied Algebra 2000 153(1):17-25
Conference
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.
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:
Kaliszyk, C., Urban, J., Vyskocil, J., Geuvers, J.H., Watt, S.M., Davenport, J.H., Sexton, A.P., Sojka, P.
Publikováno v:
Lecture Notes in Computer Science ; 8543, 435-439. Berlin : Springer International Publishing
STARTPAGE=435;ENDPAGE=439;TITLE=Lecture Notes in Computer Science ; 8543
Lecture Notes in Computer Science ISBN: 9783319084336
CICM
Watt, S.; Davenport, J.; Sexton, A. (ed.), Intelligent Computer Mathematics, pp. 435-439
Intelligent Computer Mathematics (International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings), 435-439
STARTPAGE=435;ENDPAGE=439;TITLE=Intelligent Computer Mathematics (International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings)
STARTPAGE=435;ENDPAGE=439;TITLE=Lecture Notes in Computer Science ; 8543
Lecture Notes in Computer Science ISBN: 9783319084336
CICM
Watt, S.; Davenport, J.; Sexton, A. (ed.), Intelligent Computer Mathematics, pp. 435-439
Intelligent Computer Mathematics (International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings), 435-439
STARTPAGE=435;ENDPAGE=439;TITLE=Intelligent Computer Mathematics (International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings)
The goal of this project is to (i) accumulate annotated informal/formal mathematical corpora suitable for training semi-automated translation between informal and formal mathematics by statistical machine-translation methods, (ii) to develop such met
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7fec29ab514a5310afee40e25b5223c2
https://hdl.handle.net/2066/129989
https://hdl.handle.net/2066/129989
Autor:
England, M., Davenport, J.H., Kohlhase, A., Kohlhase, M., Libbrecht, P., Neuper, W., Quaresma, P., Sexton, P., Urban, J., Watt, S.M.
Publikováno v:
CEUR Workshop Proceedings ; 1186. [S.l.] : CEUR
CEUR Workshop Proceedings ; 1186
CEUR Workshop Proceedings ; 1186
Item does not contain fulltext
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8779859718c09e61a5f3ec3dbb8683f1
https://hdl.handle.net/2066/132782
https://hdl.handle.net/2066/132782
Publikováno v:
England, M, Bradford, R J, Davenport, J H & Wilson, D 2014, Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition . in Mathematical Software – ICMS 2014 : 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings . vol. 8592, Springer, pp. 450-457 . https://doi.org/10.1007/978-3-662-44199-2_68
Cylindrical algebraic decomposition (CAD) is a key tool for solving problems in real algebraic geometry and beyond. In recent years a new approach has been developed, where regular chains technology is used to first build a decomposition in complex s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1378::56c939da29181417760543608a15b159
https://purehost.bath.ac.uk/ws/files/56711905/EBDW14.pdf
https://purehost.bath.ac.uk/ws/files/56711905/EBDW14.pdf
Autor:
Adams, A.A., Davenport, J.H.
We present an overview of the current situation and recent and expected future developments in areas of copyright law and economics relevant to Mathematical Knowledge Management. This record was migrated from the OpenDepot repository service in June,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3873981e9ee7e1607ca9218ed49b3a4c