Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Ned Nedialkov"'
Autor:
Ricardo Morin, Alex Fit-Florea, Anthony Wood, Marius Cornea, Marc Daumas, Jason Riedy, Steven R. Carlough, Stuart Oberman, Jon Okada, Paul Zimmermann, Tom Pittman, John Hauser, Chris N. Hinds, Chip Freitag, Mahesh Bhat, Graydon Hoare, Matthew Applegate, M. F. Cowlishaw, David Bindel, Sylvie Boldo, Chuck Stevens, David H. Bailey, James W. Thomas, Stephen Canon, Don Senzig, Umit Yalcinalp, Yozo Hida, David Scott, Brandon Thompson, Pamela J. Taylor, Michel Hack, Jeff Kidder, Laurent Fournier, Richard J. Fateman, Ron Smith, Neil Toda, Liang Wang, David Gustafson, Ivan Godard, Plamen Koev, Craig Nelson, Roger A. Golliver, Ren-Cang Li, Rick James, J. P. Fasano, John Kapernick, David W. Matula, Ian Ollmann, Michael Siu, Peter Markstein, Jerry Huck, Dileep Bhandarkar, John H. Crawford, Peter Tang, Dan Zuras, Mark A. Erle, Scott Westbrook, Fred Zemke, Warren E. Ferguson, Raymond Mak, David G. Hough, Wendy Thrash, David V. James, Guillaume Melquiond, Steve Winkler, Richard Karpinski, Mark Davis, Zhishun A. Liu, James Demmel, Bob Davis, Eric Feng, Leonard Tsai, Steve Bass, William Kahan, Michael Parks, Jim Hull, John R. Harrison, Nobuyoshi Mori, Fred Tydeman, Dick Delp, Joseph D. Darcy, Debjit Das Sarma, Eric M. Schwarz, Ilya Sharapov, Ned Nedialkov, Eric Postpischil, Michael Ingrassia, Son Dao Trong, Jim Shearer, Charles Tsen, Alex Aiken, Hossam A. H. Fahmy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fc6e5cdbb221dff0bdcb314ff3a21cd9
https://doi.org/10.1109/ieeestd.2008.4610935
https://doi.org/10.1109/ieeestd.2008.4610935
Publikováno v:
Reliable Implementation of Real Number Algorithms: Theory and Practice ISBN: 9783540855200
Reliable Implementation of Real Number Algorithms
Reliable Implementation of Real Number Algorithms
We propose the collection, standardization, and distribution of a full-featured, production quality library for reliable scientific computing with routines using interval techniques for use by the wide community of applications developers.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3199241b9fc71a5dc5aad3e63c9519a0
https://doi.org/10.1007/978-3-540-85521-7_2
https://doi.org/10.1007/978-3-540-85521-7_2
Autor:
Koothoor, Nirmitha
With the general engineering practices being followed for the development of scientific software, scientists are seemingly able to simulate real world problems successfully and generate accurate numerical results. However, scientific software is rare
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1154::1f2be9526a8955f703c2ad203c51f648
http://hdl.handle.net/11375/13266
http://hdl.handle.net/11375/13266
Autor:
Breimer, Benjamin
Driver Assistance Systems like Adaptive Cruise Control (ACC) can help prevent accidents by reducing the workload on the driver. However, this can only be accomplished if the driver can rely on the system to perform safely even in the presence of faul
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1154::164e6fcc0520f783424836bd440e6298
http://hdl.handle.net/11375/12839
http://hdl.handle.net/11375/12839
Autor:
Shen, ShengWei
Denote by $k_t(G)$ the number of cliques of order $t$ in a graph $G$ having $n$ vertices. Let $k_t(n) = \min\{k_t(G)+k_t(\overline{G}) \}$ where $\overline{G}$ denotes the complement of $G$. Let $c_t(n) = {k_t(n)}/{\tbinom{n}{t}}$ and $c_t$ be the li
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1154::1ed404769fe5ae73d374307573059a0c
http://hdl.handle.net/11375/12491
http://hdl.handle.net/11375/12491