Search results for "scientific discovery"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Andrew J. Cowell, Susan Havre, Richard May, Antonio Sanfilippo	Scientific Discovery Within Data Streams.	Ambient Intelligence for Scientific Discovery	2004	DBLP DOI BibTeX RDF
2	James R. Larus, Dennis Gannon	Multicore computing and scientific discovery.	The Fourth Paradigm	2009	DBLP BibTeX RDF
2	Isao Takahashi, Shinsuke Nara, Yuichi Goto, Jingde Cheng	EPLAS: An Epistemic Programming Language for All Scientists.	International Conference on Computational Science	2007	DBLP DOI BibTeX RDF	Computer-aided scientific discovery, Epistemic process, Strong relevant logic, Scientific methodology
2	Jean Sallantin, Christopher Dartnell, Mohammad Afshar	A Pragmatic Logic of Scientific Discovery.	Discovery Science	2006	DBLP DOI BibTeX RDF
2	Yang Cai 0002 (eds.)	Ambient Intelligence for Scientific Discovery - Foundations, Theories, andSystems [outcome of the SIGCHI Workshop, Vienna, April 25, 2004]	Ambient Intelligence for Scientific Discovery	2005	DBLP BibTeX RDF
2	Christopher Dartnell, Jean Sallantin	Assisting Scientific Discovery with an Adaptive Problem Solver.	Discovery Science	2005	DBLP DOI BibTeX RDF
2	Jonny Farringdon, Sarah Nashold	Continuous Body Monitoring.	Ambient Intelligence for Scientific Discovery	2004	DBLP DOI BibTeX RDF
2	Julio Abascal, Elena Lazkano, Basilio Sierra	Behavior-Based Indoor Navigation.	Ambient Intelligence for Scientific Discovery	2004	DBLP DOI BibTeX RDF
2	Ophir Tanz, Jeremy Shaffer	Wireless Local Area Network Positioning.	Ambient Intelligence for Scientific Discovery	2004	DBLP DOI BibTeX RDF
2	Elena V. Zudilova, Peter M. A. Sloot	Multi-modal Interaction in Biomedicine.	Ambient Intelligence for Scientific Discovery	2004	DBLP DOI BibTeX RDF
2	David Kaufer, Cheryl Geisler, Suguru Ishizaki, Pantelis Vlachos	Textual Genre Analysis and Identification.	Ambient Intelligence for Scientific Discovery	2004	DBLP DOI BibTeX RDF
2	Madhavi Ganapathiraju, Narayanas Balakrishnan, Raj Reddy, Judith Klein-Seetharaman	Computational Biology and Language.	Ambient Intelligence for Scientific Discovery	2004	DBLP DOI BibTeX RDF
2	Andy Pryke, Russell Beale	Interactive Comprehensible Data Mining.	Ambient Intelligence for Scientific Discovery	2004	DBLP DOI BibTeX RDF
2	Geoffrey S. Hubona, Gregory W. Shirah	Spatial Cues in 3D Visualization.	Ambient Intelligence for Scientific Discovery	2004	DBLP DOI BibTeX RDF
2	Michael Leyton	Shape as Memory Storage.	Ambient Intelligence for Scientific Discovery	2004	DBLP DOI BibTeX RDF
2	Gregory M. P. O'Hare, Michael J. O'Grady, Rem W. Collier, Stephen Keegan, Donal O'Kane, Richard Tynan, David Marsh	Ambient Intelligence Through Agile Agents.	Ambient Intelligence for Scientific Discovery	2004	DBLP DOI BibTeX RDF
2	Yang Cai 0002, Gregory Li, Teri Mick, Daniel Sai Ho Chung, Binh Pham	Ambient Diagnostics.	Ambient Intelligence for Scientific Discovery	2004	DBLP DOI BibTeX RDF
2	Peter H. Jones, Christopher P. Nemeth	Cognitive Artifacts in Complex Work.	Ambient Intelligence for Scientific Discovery	2004	DBLP DOI BibTeX RDF
2	Judith Ellen Devaney, Steven G. Satterfield, John G. Hagedorn, John T. Kelso, Adele P. Peskin, W. L. George, Terence J. Griffin, H. K. Hung, Ronald D. Kriz	Science at the Speed of Thought.	Ambient Intelligence for Scientific Discovery	2004	DBLP DOI BibTeX RDF
2	Tsuyoshi Murata	Roles of Diagrammatic Information for the Discovery of Geometrical Theorems.	Diagrams	2004	DBLP DOI BibTeX RDF	Automated scientific discovery, discovery systems, geometrical theorems, diagrammatic reasoning
2	Keiichi Noé	The Structure of Scientific Discovery: From a Philosophical Point of View.	Progress in Discovery Science	2002	DBLP DOI BibTeX RDF
2	Saso Dzeroski	Learning in Rich Representations: Inductive Logic Programming and Computational Scientific Discovery.	ILP	2002	DBLP DOI BibTeX RDF
2	Hitomi Saito, Kazuhisa Miwa	Discovery Process on the WWW: Analysis Based on a Theory of Scientific Discovery.	Discovery Science	2002	DBLP DOI BibTeX RDF
2	Carl Edward Oliver	Scientific Discovery through Advanced Computing.	International Conference on Computational Science	2001	DBLP DOI BibTeX RDF
2	Joseph Phillips	Towards a Method of Searching a Diverse Theory Space for Scientific Discovery.	Discovery Science	2001	DBLP DOI BibTeX RDF
2	Pat Langley	The Computational Support of Scientific Discovery.	Machine Learning and Its Applications	2001	DBLP DOI BibTeX RDF
2	Jingde Cheng	A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery (Extended Abstract).	PAKDD	1999	DBLP DOI BibTeX RDF
2	Keiichi Noé	Philosophical Aspects of Scientific Discovery: A Historical Survey.	Discovery Science	1998	DBLP DOI BibTeX RDF
2	Majorie Moulet	Using Accuracy in Scientific Discovery.	EWSL	1991	DBLP DOI BibTeX RDF	Key-words Scientific discovery, learning by observation, numeric - symbolic integration
1	Neil Savage	Automating scientific discovery.	Commun. ACM	2012	DBLP DOI BibTeX RDF
1	Wei Li	R-Calculus: A Logical Inference System for Scientific Discovery.	TAMC	2012	DBLP DOI BibTeX RDF
1	Josef Künsting, Joachim Wirth, Fred Paas	The goal specificity effect on strategy use and instructional efficiency during computer-based scientific discovery learning.	Computers & Education	2011	DBLP DOI BibTeX RDF
1	Samuel Arbesman	Quantifying the ease of scientific discovery.	Scientometrics	2011	DBLP DOI BibTeX RDF
1	John C. Stamper	EDM and the 4th Paradigm of Scientific Discovery - Reflections on KDD Cup 2010.	EDM	2011	DBLP BibTeX RDF
1	Wei Li	Logical verification of scientific discovery.	SCIENCE CHINA Information Sciences	2010	DBLP DOI BibTeX RDF
1	Kimihiko Hirao	The next-generation supercomputer project and a plan for the advanced institute for computational science.	ICS	2010	DBLP DOI BibTeX RDF	next-generation supercomputer, computational science, computer simulation, petascale computing
1	Tilak Agerwala	Exascale computing: the challenges and opportunities in the next decade.	PPOPP	2010	DBLP DOI BibTeX RDF	architecture, challenges, exascale
1	Chaomei Chen, Yue Chen, Mark Horowitz, Haiyan Hou, Zeyuan Liu, Donald Pellegrino	Towards an explanatory and computational theory of scientific discovery.	J. Informetrics	2009	DBLP DOI BibTeX RDF
1	Luís M. A. Bettencourt, David I. Kaiser, Jasleen Kaur	Scientific discovery and topological transitions in collaboration networks.	J. Informetrics	2009	DBLP DOI BibTeX RDF
1	Chaomei Chen, Yue Chen, Mark Horowitz, Haiyan Hou, Zeyuan Liu, Donald Pellegrino	Towards an explanatory and computational theory of scientific discovery	CoRR	2009	DBLP BibTeX RDF
1	Xavier Amatriain, JoAnn Kuchera-Morin, Tobias Höllerer, Stephen Travis Pope	The AlloSphere: Immersive Multimedia for Scientific Discovery and Artistic Exploration.	IEEE MultiMedia	2009	DBLP DOI BibTeX RDF
1	Tony Hey, Stewart Tansley, Kristin M. Tolle (eds.)	The Fourth Paradigm: Data-Intensive Scientific Discovery		2009	DBLP BibTeX RDF
1	Dong Kwan Kim, Myoungkyu Song, Eli Tilevich, Calvin J. Ribbens, Shawn A. Bohner	Dynamic Software Updates for Accelerating Scientific Discovery.	ICCS	2009	DBLP DOI BibTeX RDF	Time-to-Discovery, Computationally-Intensive Applications, JVM HotSwap, Bytecode Enhancement, Dynamic Software Updates
1	Claire Laudy, Bassel Habib, Jean-Gabriel Ganascia	Fusion of Claude Bernard's Experiments for Scientific Discovery Reasoning.	ICCS	2009	DBLP DOI BibTeX RDF
1	Daron Green	Part 3 - Introduction.	The Fourth Paradigm	2009	DBLP BibTeX RDF
1	Alexander S. Szalay, José A. Blakeley	Gray's laws: database-centric computing in science.	The Fourth Paradigm	2009	DBLP BibTeX RDF
1	John R. Delaney, Roger S. Barga	A 2020 vision for ocean science.	The Fourth Paradigm	2009	DBLP BibTeX RDF
1	Craig J. Mundie	The way forward.	The Fourth Paradigm	2009	DBLP BibTeX RDF
1	Tony Hey, Stewart Tansley, Kristin M. Tolle	Jim Gray on eScience: a transformed scientific method.	The Fourth Paradigm	2009	DBLP BibTeX RDF
1	Jeff Dozier, William B. Gail	The emerging science of environmental applications.	The Fourth Paradigm	2009	DBLP BibTeX RDF
1	Carole A. Goble, David De Roure	The impact of workflow tools on data-centric research.	The Fourth Paradigm	2009	DBLP BibTeX RDF
1	Mark R. Abbott	A new path for science?	The Fourth Paradigm	2009	DBLP BibTeX RDF
1	Tony Hey, Stewart Tansley, Kristin M. Tolle	Conclusions and Next Steps.	The Fourth Paradigm	2009	DBLP BibTeX RDF
1	Timo Hannay	From web 2.0 to the global database.	The Fourth Paradigm	2009	DBLP BibTeX RDF
1	Peter Fox, James A. Hendler	Semantic escience: encoding meaning in next-generation digitally enhanced science.	The Fourth Paradigm	2009	DBLP BibTeX RDF
1	Lee Dirks	Part 4 - Introduction.	The Fourth Paradigm	2009	DBLP BibTeX RDF
1	Michael Gillam, Craig Feied, Jonathan Handler, Eliza Moody, Ben Shneiderman, Catherine Plaisant, Mark Smith, John Dickason	The healthcare singularity and the age of semantic medicine.	The Fourth Paradigm	2009	DBLP BibTeX RDF
1	John Wilbanks	I have seen the paradigm shift, and it is us.	The Fourth Paradigm	2009	DBLP BibTeX RDF
1	Dan Fay	Part 1 - Introduction.	The Fourth Paradigm	2009	DBLP BibTeX RDF
1	Savas Parastatidis	A platform for all that we know: creating a knowledge-driven research infrastructure.	The Fourth Paradigm	2009	DBLP BibTeX RDF
1	Anne Fitzgerald, Brian Fitzgerald, Kylie Pappalardo	The future of data policy.	The Fourth Paradigm	2009	DBLP BibTeX RDF
1	Luca Cardelli, Corrado Priami	Visualization in process algebra models of biological systems.	The Fourth Paradigm	2009	DBLP BibTeX RDF
1	Christopher Southan, Graham Cameron	Beyond the tsunami: developing the infrastructure to deal with life sciences data.	The Fourth Paradigm	2009	DBLP BibTeX RDF
1	Alyssa Goodman, Curtis Wong	Bringing the night sky closer: discoveries in the data deluge.	The Fourth Paradigm	2009	DBLP BibTeX RDF
1	Michael Lehning, Nicholas Dawes, Mathias Bavay, Marc Parlange, Suman Nath, Feng Zhao	Instrumenting the earth: next-generation sensor networks and environmental science.	The Fourth Paradigm	2009	DBLP BibTeX RDF
1	Joel Robertson, Del DeHart, Kristin M. Tolle, David Heckerman	Healthcare delivery in developing countries: challenges and potential solutions.	The Fourth Paradigm	2009	DBLP BibTeX RDF
1	Jeff W. Lichtman, R. Clay Reid, Hanspeter Pfister, Michael F. Cohen	Discovering the wiring diagram of the brain.	The Fourth Paradigm	2009	DBLP BibTeX RDF
1	Eric Horvitz, William B. Kristan Jr.	Toward a computational microscope for neurobiology.	The Fourth Paradigm	2009	DBLP BibTeX RDF
1	Iain E. Buchan, John M. Winn, Christopher M. Bishop	A unified modeling approach to data-intensive healthcare.	The Fourth Paradigm	2009	DBLP BibTeX RDF
1	Charles Hansen, Chris R. Johnson, Valerio Pascucci, Cláudio T. Silva	Visualization for data-intensive science.	The Fourth Paradigm	2009	DBLP BibTeX RDF
1	Paul Ginsparg	Text in a data-centric world.	The Fourth Paradigm	2009	DBLP BibTeX RDF
1	James R. Hunt, Dennis D. Baldocchi, Catharine van Ingen	Redefining ecological science using data.	The Fourth Paradigm	2009	DBLP BibTeX RDF
1	Clifford A. Lynch	Jim Gray's fourth paradigm and the construction of the scientific record.	The Fourth Paradigm	2009	DBLP BibTeX RDF
1	Simon Mercer	Part 2 - Introduction.	The Fourth Paradigm	2009	DBLP BibTeX RDF
1	Dennis Gannon, Daniel A. Reed	Parallelism and the cloud.	The Fourth Paradigm	2009	DBLP BibTeX RDF
1	Gordon Bell	Foreword.	The Fourth Paradigm	2009	DBLP BibTeX RDF
1	Herbert Van de Sompel, Carl Lagoze	All aboard: toward a machine-friendly scholarly communication system.	The Fourth Paradigm	2009	DBLP BibTeX RDF
1	Pavan Vatturi, Weng-Keen Wong	Category detection using hierarchical mean shift.	KDD	2009	DBLP DOI BibTeX RDF	category detection, clustering, anomaly detection, mean shift
1	Susanne E. Hambrusch, Christoph Hoffmann, John T. Korb, Mark Haugan, Antony L. Hosking	A multidisciplinary approach towards computational thinking for science majors.	SIGCSE	2009	DBLP DOI BibTeX RDF	computing for scientists, curriculum, computational thinking, multi-disciplinary
1	Tilak Agerwala	Keynote: Challenges on the Road to Exascale Computing.	HiPEAC	2009	DBLP DOI BibTeX RDF
1	Kenny Gruchalla, Mark Rast, Elizabeth Bradley, John Clyne, Pablo Mininni	Visualization-Driven Structural and Statistical Analysis of Turbulent Flows.	IDA	2009	DBLP DOI BibTeX RDF
1	Joaquin Vanschoren, Hendrik Blockeel	A Community-Based Platform for Machine Learning Experimentation.	ECML/PKDD	2009	DBLP DOI BibTeX RDF
1	Stephen F. Siegel	Formal Verification for Scientific Computing: Trends and Progress.	PVM/MPI	2009	DBLP DOI BibTeX RDF
1	Cecilia R. Aragon	Collaborative Analytics for Astrophysics Explorations.	Handbook of Automation	2009	DBLP DOI BibTeX RDF
1	Will Bridewell, Pat Langley, Ljupco Todorovski, Saso Dzeroski	Inductive process modeling.	Machine Learning	2008	DBLP DOI BibTeX RDF	Scientific discovery, Ecosystem modeling, Process models, System identification, Compositional modeling
1	Valentina Salapura	Scaling up next generation supercomputers.	Conf. Computing Frontiers	2008	DBLP DOI BibTeX RDF	scalability of systems, chip multiprocessors (cmp), multicore, coherence protocols, blue gene
1	Russ B. Altman	Text mining for pharmacogenomics.	DTMBIO	2008	DBLP DOI BibTeX RDF	literature curation, pharmacogenomics, text mining
1	Terrence M. McLaren, James D. Myers, Jong Sung Lee, Nathan L. Tolbert, Shawn D. Hampton, Christopher M. Navarro	MAEviz: an earthquake risk assessment system.	GIS	2008	DBLP DOI BibTeX RDF	hazard management, simulation, modeling, GIS, risk assessment, earthquake
1	Tilak Agerwala	Challenges on the road to exascale computing.	ICS	2008	DBLP DOI BibTeX RDF	exaflop, high performance computing, supercomputer, HPC, exascale
1	Mark Harris	Many-core GPU computing with NVIDIA CUDA.	ICS	2008	DBLP DOI BibTeX RDF	CUDA software, GPU architecture
1	Richard Duff, Yaakoub El Khamra	A sensor and computation grid enabled engineering model for drilling vibration research.	Mardi Gras Conference	2008	DBLP DOI BibTeX RDF
1	Daniel A. Reed	Clouds, clusters and ManyCore: The revolution ahead.	CLUSTER	2008	DBLP DOI BibTeX RDF
1	Vladimir Getov	e-Science: The Added Value for Modern Discovery.	IEEE Computer	2008	DBLP DOI BibTeX RDF
1	Dinanath Sulakhe, Alex Rodriguez, Michael Wilde, Ian T. Foster, Natalia Maltsev	Interoperability of GADU in Using Heterogeneous Grid Resources for Bioinformatics Applications.	IEEE Transactions on Information Technology in Biomedicine	2008	DBLP DOI BibTeX RDF
1	Ronald R. Grau, Peter C.-H. Cheng	Diagrammatic Knowledge-Based Tools for Complex Multi-dynamic Processes.	Diagrams	2008	DBLP DOI BibTeX RDF	Complex Processes, Diagrammatic Knowledge-based Tools, Heterogeneous Knowledge, Knowledge Acquisition, Process Modeling
1	Christopher Dartnell, Éric Martin, Jean Sallantin	Learning from Each Other.	Discovery Science	2008	DBLP DOI BibTeX RDF	Interaction for Knowledge Discovery, Machine learning, Logic
1	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
1	Eleonora Cresto	A Model for Structural Changes of Belief.	Studia Logica	2008	DBLP DOI BibTeX RDF	Supervaluations, AGM-theory, Radical belief changes, Belief revision
1	Shu-Guang Li, Qun Liu	A New Paradigm for Groundwater Modeling.	Quantitative Information Fusion for Hydrological Sciences	2008	DBLP DOI BibTeX RDF
1	Jameel Syed, Moustafa Ghanem, Yike Guo	Supporting scientific discovery processes in Discovery Net.	Concurrency and Computation: Practice and Experience	2007	DBLP DOI BibTeX RDF