A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Filters
Automated Code Generation for Discontinuous Galerkin Methods
2009
SIAM Journal on Scientific Computing
Preserved Fulltext
Other Versions
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
2009
Geoscientific Model Development
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2007
Studies in Computational Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
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
2007
SIAM Journal on Scientific Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2014
SIAM Journal on Scientific Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2022
ACM Transactions on Knowledge Discovery from Data
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2013
SIAM Journal on Scientific Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2016
International Journal of Networked and Distributed Computing (IJNDC)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2004
Natural Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
SIAM Journal on Scientific Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2005
Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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
2017
Scientific Reports
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2014
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2016
SIAM Journal on Scientific Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2018
Frontiers in Neuroscience
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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