|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 81 occurrences of 58 keywords
|
|
|
Results
Found 376 publication records. Showing 359 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Gertrud Josefine Bauer |
Formalizing plane graph theory: towards a formalized proof of the Kepler conjecture. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
RDF |
|
20 | David Abramson 0001, Jagan Kommineni, Ilkay Altintas |
Flexible IO Services in the Kepler Grid Workflow System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
e-Science ![In: First International Conference on e-Science and Grid Technologies (e-Science 2005), 5-8 December 2005, Melbourne, Australia, pp. 255-262, 2005, IEEE Computer Society, 0-7695-2448-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | A. Ramnishath, Francis Jayakanth, Filbert Minj, T. B. Rajashekar |
Adapting Kepler Framework for Enriching Institutional Repositories: An Experimental Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECDL ![In: Research and Advanced Technology for Digital Libraries, 9th European Conference, ECDL 2005, Vienna, Austria, September 18-23, 2005, Proceedings, pp. 521-522, 2005, Springer, 3-540-28767-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | M. A. Sharaf, M. A. Banajh |
Error analysis for stationary one point iteration formulae of arbitrary order of convergence for solving universal Kepler's equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 155(3), pp. 699-707, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Paul Monsky |
Kepler's First Law: A Remark. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 111(4), pp. 355-356, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
20 | Ilkay Altintas, Chad Berkley, Efrat Jaeger, Matthew B. Jones, Bertram Ludäscher, Steve Mock |
Kepler: An Extensible System for Design and Execution of Scientific Workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSDBM ![In: Proceedings of the 16th International Conference on Scientific and Statistical Database Management (SSDBM 2004), 21-23 June 2004, Santorini Island, Greece, pp. 423-424, 2004, IEEE Computer Society, 0-7695-2146-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Kurt Maly, Mohammad Zubair, Xiaoming Liu 0005 |
Kepler - An OAI Data/Service Provider for the Individual. ![Search on Bibsonomy](Pics/bibsonomy.png) |
D Lib Mag. ![In: D Lib Mag. 7(4), 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Robert Osserman |
Kepler's Laws, Newton's Laws, and the Search for New Planets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 108(9), pp. 813-820, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
20 | C. Musès |
Validating Kepler's conjecture: A new approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 110(1), pp. 99-104, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | |
Interval Computations Help in Proving the Kepler Conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Comput. ![In: Reliab. Comput. 5(2), pp. 197-199, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Mohammad Tajadari |
The Moving Singularities of the Perturbation Expansion of the Classical Kepler Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Appl. Math. ![In: SIAM J. Appl. Math. 56(5), pp. 1363-1378, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Jean-François Colonna |
Kepler, von Neumann and God (More rounding-off error visualizations). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 12(7), pp. 346-349, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Sensitivity to initial conditions, Sensitivity to numerical accuracy, Scientific visualization, Numerical simulation, Rounding-off errors |
15 | Fernando García-Alonso, José A. Reyes, José M. Ferrándiz, Jesús Vigo-Aguiar |
Accurate Numerical Integration of Perturbed Oscillatory Systems in Two Frequencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 36(4), pp. 21:1-21:34, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Numerical solutions of ODEs, highly oscillatory solutions, long-term integration, perturbed oscillators |
15 | Theodore C. Yapo, Barbara Cutler |
Rendering lunar eclipses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphics Interface ![In: Proceedings of the Graphics Interface 2009 Conference, May 25-27, 2009, Kelowna, British Columbia, Canada, pp. 63-69, 2009, ACM Press, 978-1-56881-470-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
15 | Norbert Podhorszki, Scott Klasky, Qing Liu 0002, Ciprian Docan, Manish Parashar, Hasan Abbasi, Jay F. Lofstead, Karsten Schwan, Matthew Wolf, Fang Zheng, Julian Cummings |
Plasma fusion code coupling using scalable I/O services and scientific workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-WORKS ![In: Proceedings of the 4th Workshop on Workflows in Support of Large-Scale Science, WORKS 2009, November 16, 2009, Portland, Oregon, USA, 2009, ACM, 978-1-60558-717-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
plasma simulation, parallel I/O, workflow design, code coupling, workflow execution |
15 | Daniel Zinn, Shawn Bowers, Timothy M. McPhillips, Bertram Ludäscher |
Scientific workflow design with data assembly lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-WORKS ![In: Proceedings of the 4th Workshop on Workflows in Support of Large-Scale Science, WORKS 2009, November 16, 2009, Portland, Oregon, USA, 2009, ACM, 978-1-60558-717-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Manuel Möller, Christopher J. Tuot, Michael Sintek |
A Scientific Workflow Platform for Generic and Scalable Object Recognition on Medical Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bildverarbeitung für die Medizin ![In: Bildverarbeitung für die Medizin 2008, Algorithmen, Systeme, Anwendungen, Proceedings des Workshops vom 6. bis 8. April 2008 in Berlin, pp. 267-271, 2008, Springer, 978-3-540-78639-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Sérgio Manuel Serra da Cruz, Vanessa Batista, Alberto M. R. Dávila, Edno Silva, Frederico Tosta, Clarissa Vilela, Maria Luiza Machado Campos, Rafael R. C. Cuadrat, Diogo A. Tschoeke, Marta Mattoso |
OrthoSearch: a scientific workflow approach to detect distant homologies on protozoans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 1282-1286, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
bioinformatics, scientific workflows, provenance |
15 | Jay F. Lofstead, Scott Klasky, Karsten Schwan, Norbert Podhorszki, Chen Jin |
Flexible IO and integration for scientific codes through the adaptable IO system (ADIOS). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLADE ![In: 6th International Workshop on Challenges of Large Applications in Distributed Environments, CLADE@HPDC 2008, Boston, MA, USA, June 23, 2008, pp. 15-24, 2008, ACM, 978-1-60558-156-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
HDF-5, modular IO, visualization, workflow, MPI-IO |
15 | Daniel Crawl, Ilkay Altintas |
A Provenance-Based Fault Tolerance Mechanism for Scientific Workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPAW ![In: Provenance and Annotation of Data and Processes, Second International Provenance and Annotation Workshop, IPAW 2008, Salt Lake City, UT, USA, June 17-18, 2008. Revised Selected Papers, pp. 152-159, 2008, Springer, 978-3-540-89964-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Meiyappan Nagappan, Mladen A. Vouk |
A Model for Sharing of Confidential Provenance Information in a Query Based System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPAW ![In: Provenance and Annotation of Data and Processes, Second International Provenance and Annotation Workshop, IPAW 2008, Salt Lake City, UT, USA, June 17-18, 2008. Revised Selected Papers, pp. 62-69, 2008, Springer, 978-3-540-89964-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Workflow management tools, Confidentiality, Provenance |
15 | Masato Soga, Yasunori Nakanishi, Kohe Tokoi |
The Planetary Simulator for Generalized Understanding of Astronomical Phenomena from Various Viewpoints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (3) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part III, pp. 596-603, 2008, Springer, 978-3-540-85566-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Astronomical phenomena, Simulator, Simulation, Education, Viewpoint, Learning environment, Astronomy |
15 | Sérgio Manuel Serra da Cruz, Fabrício Nogueira da Silva, Luiz M. R. Gadelha Jr., Maria Cláudia Reis Cavalcanti, Maria Luiza Machado Campos, Marta Mattoso |
A Lightweight Middleware Monitor for Distributed Scientific Workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2008), 19-22 May 2008, Lyon, France, pp. 693-698, 2008, IEEE Computer Society, 978-0-7695-3156-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
distributed computing, workflows, monitoring, e-science, lightweight |
15 | Sérgio Manuel Serra da Cruz, Patrícia M. Barros, Paulo Mascarello Bisch, Maria Luiza Machado Campos, Marta Mattoso |
Provenance Services for Distributed Workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2008), 19-22 May 2008, Lyon, France, pp. 526-533, 2008, IEEE Computer Society, 978-0-7695-3156-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
workflow, provenance |
15 | David Abramson 0001, Colin Enticott, Ilkay Altintas |
Nimrod/K: towards massively parallel dynamic grid workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the ACM/IEEE Conference on High Performance Computing, SC 2008, November 15-21, 2008, Austin, Texas, USA, pp. 24, 2008, IEEE/ACM, 978-1-4244-2835-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Anne H. H. Ngu, Shawn Bowers, Nicholas Haasch, Timothy M. McPhillips, Terence Critchlow |
Flexible Scientific Workflow Modeling Using Frames, Templates, and Dynamic Embedding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSDBM ![In: Scientific and Statistical Database Management, 20th International Conference, SSDBM 2008, Hong Kong, China, July 9-11, 2008, Proceedings, pp. 566-572, 2008, Springer, 978-3-540-69476-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Fabio Corubolo, Paul B. Watry, John Harrison 0002 |
Location and Format Independent Distributed Annotations for Collaborative Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECDL ![In: Research and Advanced Technology for Digital Libraries, 11th European Conference, ECDL 2007, Budapest, Hungary, September 16-21, 2007, Proceedings, pp. 495-498, 2007, Springer, 978-3-540-74850-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Alexey V. Anikeenko, Nikolai N. Medvedev |
The Role of Quasi-Regular Tetrahedra in Dense Disordered Packings of Hard Spheres. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVD ![In: Proceedings of the 4th International Symposium on Voronoi Diagrams in Science and Engineering, ISVD 2007, Pontypridd, Wales, UK, July 9-12, 2007, pp. 130-134, 2007, IEEE Computer Society, 0-7695-2869-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Jianting Zhang, Deana Pennington, William Michener |
Performance Evaluations of Geospatial Web Services Composition and Invocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2007 IEEE International Conference on Web Services (ICWS 2007), July 9-13, 2007, Salt Lake City, Utah, USA, pp. 1128-1135, 2007, IEEE Computer Society, 0-7695-2924-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Shawn Bowers, Timothy M. McPhillips, Martin Wu, Bertram Ludäscher |
Project Histories: Managing Data Provenance Across Collection-Oriented Scientific Workflow Runs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DILS ![In: Data Integration in the Life Sciences, 4th International Workshop, DILS 2007, Philadelphia, PA, USA, June 27-29, 2007, Proceedings, pp. 122-138, 2007, Springer, 978-3-540-73254-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Andreas Beham |
Parallel Tabu Search and the Multiobjective Vehicle Routing Problem with Time Windows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), Proceedings, 26-30 March 2007, Long Beach, California, USA, pp. 1-8, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Andreas Beham |
Parallel Tabu Search and the Multiobjective Capacitated Vehicle Routing Problem with Soft Time Windows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2007, 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers, pp. 829-836, 2007, Springer, 978-3-540-75866-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Ian Atkinson, Douglas du Boulay, Clinton Chee, Kenneth Chiu, Tristan King, Donald F. McMullen, Romain Quilici, Nigel G. D. Sim, Peter Turner, Matthew Wyatt |
CIMA Based Remote Instrument and Data Access: An Extension into the Australian e-Science Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
e-Science ![In: Second International Conference on e-Science and Grid Technologies (e-Science 2006), 4-6 December 2006, Amsterdam, The Netherlands, pp. 125, 2006, IEEE Computer Society, 0-7695-2734-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | S. M. Nazrul Alam, Zygmunt J. Haas |
Coverage and connectivity in three-dimensional networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiCom ![In: Proceedings of the 12th Annual International Conference on Mobile Computing and Networking, MOBICOM 2006, Los Angeles, CA, USA, September 23-29, 2006, pp. 346-357, 2006, ACM, 1-59593-286-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
3D networks, Kelvin's conjecture, hexagonal prism, rhombic dodecahedron, three-dimensional networks, truncated octahedron, wireless networks, connectivity, coverage, polyhedron, underwater networks |
15 | Shirley Cohen, Sarah Cohen Boulakia, Susan B. Davidson |
Towards a Model of Provenance and User Views in Scientific Workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DILS ![In: Data Integration in the Life Sciences, Third International Workshop, DILS 2006, Hinxton, UK, July 20-22, 2006, Proceedings, pp. 264-279, 2006, Springer, 3-540-36593-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Timothy M. McPhillips, Shawn Bowers, Bertram Ludäscher |
Collection-Oriented Scientific Workflows for Integrating and Analyzing Biological Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DILS ![In: Data Integration in the Life Sciences, Third International Workshop, DILS 2006, Hinxton, UK, July 20-22, 2006, Proceedings, pp. 248-263, 2006, Springer, 3-540-36593-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Tobias Nipkow, Gertrud Bauer, Paula Schultz |
Flyspeck I: Tame Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 21-35, 2006, Springer, 3-540-37187-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Wibke Sudholt, Ilkay Altintas, Kim K. Baldridge |
Scientific Workflow Infrastructure for Computational Chemistry on the Grid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (3) ![In: Computational Science - ICCS 2006, 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part III, pp. 69-76, 2006, Springer, 3-540-34383-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Wilfred W. Li, Sriram Krishnan, Kurt Mueller, Kohei Ichikawa, Susumu Date, Sargis Dallakyan, Michel F. Sanner, Chris Misleh, Zhaohui Ding, Xiaohui Wei, Osamu Tatebe, Peter W. Arzberger |
Building Cyberinfrastructure for Bioinformatics Using Service Oriented Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2006), 16-19 May 2006, Singapore, pp. 39, 2006, IEEE Computer Society, 0-7695-2585-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
metascheduler, grid, workflows, bioinformatics, deployment, portals |
15 | Arcot Rajasekar, Richard Marciano, Reagan W. Moore, Chien-Yi Hou, Francine Berman, Lynn Burstan, Steve Anderson, Mellisa McEwen, Bee Bornheimer, Harry Kreisler, Brian Schottlaender, Luc DeClerck, Brad Westbrook, Arwen Hutt, Ardys Kozbial, Chris Frymann, Vivian Chu |
Building a demonstration prototype for the preservation of large-scale multimedia collections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DG.O ![In: Proceedings of the 7th Annual International Conference on Digital Government Research, DG.O 2006, San Diego, California, USA, May 21-24, 2006, pp. 287-288, 2006, Digital Government Research Center. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Hennie Poulisse |
Computational communicative algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2006, Genoa, Italy, July 9-12, 2006, Proceedings, pp. 3-4, 2006, ACM, 1-59593-276-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
approximate commutative algebra |
15 | Steven Obua |
Proving Bounds for Real Linear Programs in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings, pp. 227-244, 2005, Springer, 3-540-28372-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Ramon E. Moore |
Order relations and rigor in computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 2, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Jianting Zhang, Deana Pennington, William Michener |
Using Web Services and Scientific Workflow for Species Distribution Prediction Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAIM ![In: Advances in Web-Age Information Management, 6th International Conference, WAIM 2005, Hangzhou, China, October 11-13, 2005, Proceedings, pp. 610-617, 2005, Springer, 3-540-29227-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Jianting Zhang, Deana Pennington, William Michener |
Validating Compositions of Geospatial Processing Web Services in a Scientific Workflow Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2005 IEEE International Conference on Web Services (ICWS 2005), 11-15 July 2005, Orlando, FL, USA, pp. 821-822, 2005, IEEE Computer Society, 0-7695-2409-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Eric Landreneau, Ergun Akleman, Vinod Srinivasan |
Local Mesh Operators: Extrusions Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMI ![In: 2005 International Conference on Shape Modeling and Applications (SMI 2005), 15-17 June 2005, Cambridge, MA, USA, pp. 351-356, 2005, IEEE Computer Society, 0-7695-2379-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Ann Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky |
JavaMaC and Runtime Monitoring for Geoinformatics Grid Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS ![In: 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2-4 February 2005, Sedona, AZ, USA, pp. 105-112, 2005, IEEE Computer Society, 0-7695-2347-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Ilkay Altintas, Efrat Jaeger, Kai Lin, Bertram Ludäscher, Ashraf Memon |
A Web Service Composition and Deployment Framework for Scientific Workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: Proceedings of the IEEE International Conference on Web Services (ICWS'04), June 6-9, 2004, San Diego, California, USA, pp. 814-, 2004, IEEE Computer Society, 0-7695-2167-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Bernhard Stöger, Klaus Miesenberger, Mario Batusic |
Mathematical Working Environment for the Blind Motivation and Basic Ideas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCHP ![In: Computers Helping People with Special Needs, 9th International Conference, ICCHP 2004, Paris, France, July 7-9, 2004, Proceedings, pp. 656-663, 2004, Springer, 3-540-22334-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Jens Hoefkens, Martin Berz, Kyoko Makino |
Controlling the Wrapping Effect in the Solution of ODEs for Asteroids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Comput. ![In: Reliab. Comput. 9(1), pp. 21-41, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Julian Newman, Elaine M. Raybourn, Josie P. H. Huang |
WETICE 2003 Evaluating Collaborative Enterprises Workshop Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 12th IEEE International Workshops on Enabling Technologies (WETICE 2003), Infrastructure for Collaborative Enterprises, 9-11 June 2003, Linz, Austria, pp. 131-136, 2003, IEEE Computer Society, 0-7695-1963-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Mario Batusic, Franz Urban |
Preparing Tactile Graphics for Traditional Braille Printers with BrlGraphEditor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCHP ![In: Computers Helping People with Special Needs, 8th International Conference, ICCHP 2002, Linz, Austria, July 15-20, Proceedings, pp. 535-536, 2002, Springer, 3-540-43904-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Thomas C. Hales |
Sphere packings and generative. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the Seventeenth Annual Symposium on Computational Geometry, Medford, MA, USA, June 3-5, 2001, pp. 69, 2001, ACM, 1-58113-357-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Kazumi Saito, Ryohei Nakano |
Discovery of Nominally Conditioned Polynomials Using Neural Networks, Vector Quantizers and Decision Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, Third International Conference, DS 2000, Kyoto, Japan, December 4-6, 2000, Proceedings, pp. 325-329, 2000, Springer, 3-540-41352-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Jan M. Zytkow |
The Melting Pot of Automated Discovery: Principles for a New Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, Second International Conference, DS '99, Tokyo, Japan, December, 1999, Proceedings, pp. 1-12, 1999, Springer, 3-540-66713-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Keiichi Noé |
Philosophical Aspects of Scientific Discovery: A Historical Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, First International Conference, DS '98, Fukuoka, Japan, December 14-16, 1998, Proceedings, pp. 1-11, 1998, Springer, 3-540-65390-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Branko Grünbaum |
Isogonal Prismatoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 18(1), pp. 13-52, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | James M. Morris, Mark Howard |
Program Verification by Symbolic Execution of Hyperfinite Ideal Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 2nd International Workshop, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings, pp. 322-332, 1990, Springer, 3-540-54477-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Bernhard Quatember |
Modular crossbar switch for large-scale multiprocessor systems: structure and implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1981 National Computer Conference, 4-7 May 1981, Chicago, Illinois, USA, pp. 125-135, 1981, AFIPS Press, 978-1-4503-7921-2. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #359 of 359 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4] |
|