Search results for "Kepler"

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)		2006	RDF
20	David Abramson 0001, Jagan Kommineni, Ilkay Altintas	Flexible IO Services in the Kepler Grid Workflow System.	e-Science	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.	ECDL	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.	Appl. Math. Comput.	2004	DBLP DOI BibTeX RDF
20	Paul Monsky	Kepler's First Law: A Remark.	Am. Math. Mon.	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.	SSDBM	2004	DBLP DOI BibTeX RDF
20	Kurt Maly, Mohammad Zubair, Xiaoming Liu 0005	Kepler - An OAI Data/Service Provider for the Individual.	D Lib Mag.	2001	DBLP DOI BibTeX RDF
20	Robert Osserman	Kepler's Laws, Newton's Laws, and the Search for New Planets.	Am. Math. Mon.	2001	DBLP BibTeX RDF
20	C. Musès	Validating Kepler's conjecture: A new approach.	Appl. Math. Comput.	2000	DBLP DOI BibTeX RDF
20		Interval Computations Help in Proving the Kepler Conjecture.	Reliab. Comput.	1999	DBLP DOI BibTeX RDF
20	Mohammad Tajadari	The Moving Singularities of the Perturbation Expansion of the Classical Kepler Problem.	SIAM J. Appl. Math.	1996	DBLP DOI BibTeX RDF
20	Jean-François Colonna	Kepler, von Neumann and God (More rounding-off error visualizations).	Vis. Comput.	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.	ACM Trans. Math. Softw.	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.	Graphics Interface	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.	SC-WORKS	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.	SC-WORKS	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.	Bildverarbeitung für die Medizin	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.	SAC	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).	CLADE	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.	IPAW	2008	DBLP DOI BibTeX RDF
15	Meiyappan Nagappan, Mladen A. Vouk	A Model for Sharing of Confidential Provenance Information in a Query Based System.	IPAW	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.	KES (3)	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.	CCGRID	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.	CCGRID	2008	DBLP DOI BibTeX RDF	workflow, provenance
15	David Abramson 0001, Colin Enticott, Ilkay Altintas	Nimrod/K: towards massively parallel dynamic grid workflows.	SC	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.	SSDBM	2008	DBLP DOI BibTeX RDF
15	Fabio Corubolo, Paul B. Watry, John Harrison 0002	Location and Format Independent Distributed Annotations for Collaborative Research.	ECDL	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.	ISVD	2007	DBLP DOI BibTeX RDF
15	Jianting Zhang, Deana Pennington, William Michener	Performance Evaluations of Geospatial Web Services Composition and Invocation.	ICWS	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.	DILS	2007	DBLP DOI BibTeX RDF
15	Andreas Beham	Parallel Tabu Search and the Multiobjective Vehicle Routing Problem with Time Windows.	IPDPS	2007	DBLP DOI BibTeX RDF
15	Andreas Beham	Parallel Tabu Search and the Multiobjective Capacitated Vehicle Routing Problem with Soft Time Windows.	EUROCAST	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.	e-Science	2006	DBLP DOI BibTeX RDF
15	S. M. Nazrul Alam, Zygmunt J. Haas	Coverage and connectivity in three-dimensional networks.	MobiCom	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.	DILS	2006	DBLP DOI BibTeX RDF
15	Timothy M. McPhillips, Shawn Bowers, Bertram Ludäscher	Collection-Oriented Scientific Workflows for Integrating and Analyzing Biological Data.	DILS	2006	DBLP DOI BibTeX RDF
15	Tobias Nipkow, Gertrud Bauer, Paula Schultz	Flyspeck I: Tame Graphs.	IJCAR	2006	DBLP DOI BibTeX RDF
15	Wibke Sudholt, Ilkay Altintas, Kim K. Baldridge	Scientific Workflow Infrastructure for Computational Chemistry on the Grid.	International Conference on Computational Science (3)	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.	CCGRID	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.	DG.O	2006	DBLP DOI BibTeX RDF
15	Hennie Poulisse	Computational communicative algebra.	ISSAC	2006	DBLP DOI BibTeX RDF	approximate commutative algebra
15	Steven Obua	Proving Bounds for Real Linear Programs in Isabelle/HOL.	TPHOLs	2005	DBLP DOI BibTeX RDF
15	Ramon E. Moore	Order relations and rigor in computing.	SAC	2005	DBLP DOI BibTeX RDF
15	Jianting Zhang, Deana Pennington, William Michener	Using Web Services and Scientific Workflow for Species Distribution Prediction Modeling.	WAIM	2005	DBLP DOI BibTeX RDF
15	Jianting Zhang, Deana Pennington, William Michener	Validating Compositions of Geospatial Processing Web Services in a Scientific Workflow Environment.	ICWS	2005	DBLP DOI BibTeX RDF
15	Eric Landreneau, Ergun Akleman, Vinod Srinivasan	Local Mesh Operators: Extrusions Revisited.	SMI	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.	WORDS	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.	ICWS	2004	DBLP DOI BibTeX RDF
15	Bernhard Stöger, Klaus Miesenberger, Mario Batusic	Mathematical Working Environment for the Blind Motivation and Basic Ideas.	ICCHP	2004	DBLP DOI BibTeX RDF
15	Jens Hoefkens, Martin Berz, Kyoko Makino	Controlling the Wrapping Effect in the Solution of ODEs for Asteroids.	Reliab. Comput.	2003	DBLP DOI BibTeX RDF
15	Julian Newman, Elaine M. Raybourn, Josie P. H. Huang	WETICE 2003 Evaluating Collaborative Enterprises Workshop Report.	WETICE	2003	DBLP DOI BibTeX RDF
15	Mario Batusic, Franz Urban	Preparing Tactile Graphics for Traditional Braille Printers with BrlGraphEditor.	ICCHP	2002	DBLP DOI BibTeX RDF
15	Thomas C. Hales	Sphere packings and generative.	SCG	2001	DBLP DOI BibTeX RDF
15	Kazumi Saito, Ryohei Nakano	Discovery of Nominally Conditioned Polynomials Using Neural Networks, Vector Quantizers and Decision Trees.	Discovery Science	2000	DBLP DOI BibTeX RDF
15	Jan M. Zytkow	The Melting Pot of Automated Discovery: Principles for a New Science.	Discovery Science	1999	DBLP DOI BibTeX RDF
15	Keiichi Noé	Philosophical Aspects of Scientific Discovery: A Historical Survey.	Discovery Science	1998	DBLP DOI BibTeX RDF
15	Branko Grünbaum	Isogonal Prismatoids.	Discret. Comput. Geom.	1997	DBLP DOI BibTeX RDF
15	James M. Morris, Mark Howard	Program Verification by Symbolic Execution of Hyperfinite Ideal Machines.	CAV	1990	DBLP DOI BibTeX RDF
15	Bernhard Quatember	Modular crossbar switch for large-scale multiprocessor systems: structure and implementation.	AFIPS National Computer Conference	1981	DBLP DOI BibTeX RDF