56,696 Hits in 5.7 sec

Automated Code Generation for Discontinuous Galerkin Methods

Kristian B. Ølgaard, Anders Logg, Garth N. Wells
2009 SIAM Journal on Scientific Computing  
Key concepts underlying the compiler approach and the automated generation of computer code are elaborated.  ...  A compiler approach for generating low-level computer code from high-level input for discontinuous Galerkin finite element forms is presented.  ...  code and providing scope for various automated optimizations.  ... 
doi:10.1137/070710032 fatcat:o4xiw63ksrgjdodbjbtja2ckua

Spud 1.0: generalising and automating the user interfaces of scientific computer models

D. A. Ham, P. E. Farrell, G. J. Gorman, J. R. Maddison, C. R. Wilson, S. C. Kramer, J. Shipton, G. S. Collins, C. J. Cotter, M. D. Piggott
2009 Geoscientific Model Development  
The interfaces by which users specify the scenarios to be simulated by scientific computer models are frequently primitive, under-documented and ad-hoc text files which make using the model in question  ...  This is combined with an automated graphical user interface which guides users to create valid model inputs based on the grammar provided, and a generic options reading module, libspud, which minimises  ...  The authors would like to thank Paul Kelly for useful discussions during the development of this work. Edited by: I. Rutt  ... 
doi:10.5194/gmd-2-33-2009 fatcat:yxgc5ttttrhmrlpkoc4znxdfgm

Automated Abduction in Scientific Discovery [chapter]

Oliver Ray
2007 Studies in Computational Intelligence  
This paper is written from the point of view that real applications are now needed to help consolidate what has been learned so far and to inspire new developments.  ...  With an emphasis on computational mechanisms, it examines the abductive machinery used for generating hypotheses in a recent Robot Scientist project [6] and shows how techniques from Abductive Logic Programming  ...  Acknowledgements The author is grateful to Ross King for helpful discussions on the Robot Scientist and for his kind permission to reproduce Figure 2 .  ... 
doi:10.1007/978-3-540-71986-1_5 fatcat:ydtkqkp4r5gm5nfbzvtq5aixna

Applying Automated Memory Analysis to Improve Iterative Algorithms

J. M. Dennis, E. R. Jessup
2007 SIAM Journal on Scientific Computing  
We propose instead that iterative solvers should be designed to minimize the amount of data that must be loaded from the memory hierarchy to the CPU.  ...  In particular, code modifications identified or evaluated through automated memory analysis enables a 46% reduction in execution time for the conjugate gradient solver on a small serial problem.  ...  Introduction and Motivation Many important scientific and engineering computations involve the solution of a set of partial differential equations formulated as a large sparse system of linear equations  ... 
doi:10.1137/060661533 fatcat:4frmi5j6jfdutf6z5la6nsdz24

A Framework for the Automation of Generalized Stability Theory

P. E. Farrell, C. J. Cotter, S. W. Funke
2014 SIAM Journal on Scientific Computing  
By automating the stability computations, we hope to make these powerful tools a more routine part of computational analysis.  ...  The traditional approach to investigating the stability of a physical system is to linearize the equations about a steady base solution, and to examine the eigenvalues of the linearized operator.  ...  The authors would like to thank G. N. Wells for providing the Cahn-Hilliard solver, and the anonymous reviewers for their thorough and constructive reviews.  ... 
doi:10.1137/120900745 fatcat:bsuystb3rne53ekqavhlhbnlh4

Computational Estimation by Scientific Data Mining with Classical Methods to Automate Learning Strategies of Scientists

Aparna S. Varde
2022 ACM Transactions on Knowledge Discovery from Data  
We develop a computational estimation approach called AutoDomainMine that integrates clustering and classification over complex scientific data in a framework so as to automate classical learning methods  ...  Knowledge discovered thereby from a database of existing experiments serves as the basis for estimation.  ...  CONCLUSIONS This research entails a computational estimation approach for scientific domains called AutoDomainMine based on a framework that integrates clustering and classification to automate a typical  ... 
doi:10.1145/3502736 fatcat:knjd4iuwxnakbmkx4l6ej3njj4

Automated Goal-Oriented Error Control I: Stationary Variational Problems

Marie E. Rognes, Anders Logg
2013 SIAM Journal on Scientific Computing  
The approach is based on automated linearization to obtain the linearized dual problem, automated derivation and evaluation of a posteriori error estimates, and automated adaptive mesh refinement to control  ...  This article presents a general and novel approach to the automation of goal-oriented error control in the solution of nonlinear stationary finite element variational problems.  ...  The key idea is the computation of a problem-tuned strong residual representation using only ingredients from the general abstract form; this concept constitutes one of the pillars for the complete automated  ... 
doi:10.1137/10081962x fatcat:y5bd4q4r3zh3re74sbzbo626bi

Automate Scientific Workflow Execution between Local Cluster and Cloud

Hao Qian, Daniel Andresen
2016 International Journal of Networked and Distributed Computing (IJNDC)  
Emerald automatically offloads computation intensive steps of scientific workflow to the cloud in order to enhance workflow performance.  ...  Numbers of tools have been developed to help build scientific workflows, they provide mechanisms for creating workflow but lack a native scheduling system for determining where code should be executed.  ...  These are good examples of using scientific workflow to automate and speed up scientific application.  ... 
doi:10.2991/ijndc.2016.4.1.5 fatcat:j6bg3thp6rbvzpfle4tvnqkg5u

SINBAD automation of scientific discovery: From factor analysis to theory synthesis

Olcay Kurşun, Oleg V. Favorov
2004 Natural Computing  
Virtual Scientist is a set of computational procedures that automate the method of inductive inference to derive a theory from observational data dominated by nonlinear regularities.  ...  Consequently, there is a pressing need for development of ever more powerful methods of extracting order from complex data and for automation of all steps of the scientific process.  ...  Acknowledgements The authors wish to acknowledge helpful discussions with Douglas Kelly, Dan Ryder, Sameer Joshi and Mark Tommerdahl.  ... 
doi:10.1023/b:naco.0000027756.50327.26 fatcat:rljsiqm4tvemddndihjmlhkjsu

Automated Derivation of the Adjoint of High-Level Transient Finite Element Programs

P. E. Farrell, D. A. Ham, S. W. Funke, M. E. Rognes
2013 SIAM Journal on Scientific Computing  
The generality, applicability and efficiency of the approach are demonstrated with examples from a wide range of scientific applications.  ...  code for the derived models.  ...  one of the great open challenges in the field of High-Performance Scientific Computing.  ... 
doi:10.1137/120873558 fatcat:rpn3ybg7drge7atldv2yri7fkm

An algorithm for automated generation of invariants for loops with conditionals

L.I. Kovacs, T. Jebelean
2005 Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05)  
In the proposed algorithm program analysis is performed in order to transform the code into a form for which algebraic and combinatorial techniques can be applied to obtain invariant properties.  ...  For this particular example we have a system with 12 polynomial equations. Step 4: For the obtained polynomial equations we have to check the conditions from definition 2.2.  ...  As an alternative to the iterative strategy are the approaches from [20] , [18] , [19] , namely a method built upon polynomial ideal theory, by Gröbner bases computation, in order to generate polynomial  ... 
doi:10.1109/synasc.2005.19 dblp:conf/synasc/KovacsJ05 fatcat:dwxqdznwv5a3llj4nrvrdkegea

Automated screening for Fragile X premutation carriers based on linguistic and cognitive computational phenotypes

Arezoo Movaghar, Marsha Mailick, Audra Sterling, Jan Greenberg, Krishanu Saha
2017 Scientific Reports  
Our framework sets the foundation for computational phenotyping strategies to pre-screen large populations for this genetic variant with nominal costs.  ...  Machine-learning methods were developed to discriminate FX premutation carriers from mothers of children with autism spectrum disorders, the comparison group.  ...  If used to facilitate population screening, the data collected from the mobile app could constitute a large training data set for our automated approach.  ... 
doi:10.1038/s41598-017-02682-4 pmid:28572606 pmcid:PMC5454004 fatcat:kfuc6dsr4faaxaoauv5bcqxoim

Trusting Computations: a Mechanized Proof from Partial Differential Equations to Actual Program [article]

Sylvie Boldo, François Clément, Jean-Christophe Filliâtre (LRI, INRIA Saclay - Île-de-France), Micaela Mayero, Guillaume Melquiond (LRI, INRIA Saclay - Île-de-France), Pierre Weis
2014 arXiv   pre-print
Scientific computing programs make no exception in that respect, and even bring specific accuracy issues due to their massive use of floating-point computations.  ...  Computer programs may go wrong due to exceptional behaviors, out-of-bound array accesses, or simply coding errors. Thus, they cannot be blindly trusted.  ...  Acknowledgments We are grateful to Manuel Kauers, Veronika Pillwein, and Bruno Salvy, who provided us help with the nonnegativity of the fundamental solution of the discrete wave equation (Lemma 5.2).  ... 
arXiv:1212.6641v3 fatcat:h25wy4wfr5fm3orhck5qzsyjdu

Automated Generation and Symbolic Manipulation of Tensor Product Finite Elements

A. T. T. McRae, G.-T. Bercea, L. Mitchell, D. A. Ham, C. J. Cotter
2016 SIAM Journal on Scientific Computing  
We have done this work within the code-generation pipeline of the software package Firedrake; we make use of the full Firedrake package to present numerical examples.  ...  We describe and implement a symbolic algebra for scalar and vector-valued finite elements, enabling the computer generation of elements with tensor product structure on quadrilateral, hexahedral and triangular  ...  This paper presented extensions to the automated code generation pipeline of Firedrake to facilitate the use of finite element spaces on nonsimplex c 2016 SIAM.  ... 
doi:10.1137/15m1021167 fatcat:b7xv4bhx6bacvh5a6hc63gusea

Computational Testing for Automated Preprocessing 2: Practical Demonstration of a System for Scientific Data-Processing Workflow Management for High-Volume EEG

Benjamin U. Cowley, Jussi Korpela
2018 Frontiers in Neuroscience  
The Computational Testing for Automated Preprocessing (CTAP) toolbox facilitates: (i) batch processing that is easy for experts and novices alike; (ii) testing and comparison of preprocessing methods.  ...  Batching and well-designed automation can help to regularize EEG preprocessing, and thus reduce human effort, subjectivity, and consequent error.  ...  ACKNOWLEDGMENTS The authors would like to thank Jari Torniainen, Jan Brogger, and Ville-Pekka Inkilä for contributions to the CTAP toolbox.  ... 
doi:10.3389/fnins.2018.00236 pmid:29692705 pmcid:PMC5902528 fatcat:pdic44dsa5hk7m335s4pxsxwqu
« Previous Showing results 1 — 15 out of 56,696 results