ACM Transactions on Mathematical Software (TOMS)
ICS '01 Proceedings of the 15th international conference on Supercomputing
Bringing together automatic differentiation and OpenMP
ICS '01 Proceedings of the 15th international conference on Supercomputing
Implementation of automatic differentiation tools
PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Efficient derivative computations in neutron scattering via interface contraction
Proceedings of the 2002 ACM symposium on Applied computing
Exploiting Intermediate Sparsity in Computing Derivatives for a Leapfrog Scheme
Computational Optimization and Applications
Reducing and Vectorizing Procedures for Telescoping Languages
International Journal of Parallel Programming
MLP in layer-wise form with applications to weight decay
Neural Computation
Computational Divided Differencing and Divided-Difference Arithmetics
Higher-Order and Symbolic Computation
Switchback: Profile-Driven Recomputation for Reverse Mode
ICCS '02 Proceedings of the International Conference on Computational Science-Part II
ICCS '02 Proceedings of the International Conference on Computational Science-Part II
Automatic Differentiation for Nonlinear Controller Design
ICCS '02 Proceedings of the International Conference on Computational Science-Part II
On the Use of a Differentiated Finite Element Package for Sensitivity Analysis
ICCS '01 Proceedings of the International Conference on Computational Sciences-Part I
ICCS '02 Proceedings of the International Conference on Computational Science-Part II
Making Automatic Differentiation Truly Automatic: Coupling PETSc with ADIC
ICCS '02 Proceedings of the International Conference on Computational Science-Part II
Improved Interval Constraint Propagation for Constraints on Partial Derivatives
ICCS '02 Proceedings of the International Conference on Computational Science-Part II
Automatic Generation of Efficient Adjoint Code for a Parallel Navier-Stokes Solver
ICCS '02 Proceedings of the International Conference on Computational Science-Part II
Computation of Sensitivity Information for Aircraft Design by Automatic Differentiation
ICCS '02 Proceedings of the International Conference on Computational Science-Part II
A Distributed Application Server for Automatic Differentiation
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Hands-On Training for Undergraduates in High-Performance Computing Using Java
PARA '00 Proceedings of the 5th International Workshop on Applied Parallel Computing, New Paradigms for HPC in Industry and Academia
Prospects for Simulated Annealing Algorithms in Automatic Differentiation
SAGA '01 Proceedings of the International Symposium on Stochastic Algorithms: Foundations and Applications
On Combining Computational Differentiation and Toolkits for Parallel Scientific Computing
Euro-Par '00 Proceedings from the 6th International Euro-Par Conference on Parallel Processing
Static Analyses of the Precision of Floating-Point Operations
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Polygonizing Implicit Surfaces in a Purely Functional Way
IFL '00 Selected Papers from the 12th International Workshop on Implementation of Functional Languages
Improved validated bounds for Taylor coefficients and for Taylor remainder series
Journal of Computational and Applied Mathematics - Proceedings of the international conference on recent advances in computational mathematics
Correlation analysis of a discrete-time flexible arrival process
Computer Networks: The International Journal of Computer and Telecommunications Networking
Sparsity issues in the computation of Jacobian matrices
Proceedings of the 2002 international symposium on Symbolic and algebraic computation
SIGMETRICS '03 Proceedings of the 2003 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
ACM Transactions on Mathematical Software (TOMS)
Taylor series based finite difference approximations of higher-degree derivatives
Journal of Computational and Applied Mathematics
Towards differentiation-enabled Fortran 95 compiler technology
Proceedings of the 2003 ACM symposium on Applied computing
Automatic parallelism in differentiation of Fourier transforms
Proceedings of the 2003 ACM symposium on Applied computing
Solving large-scale optimization problems with EFCOSS
Advances in Engineering Software
Application of automatic differentiation in numerical solution of a flexible mechanism
ICCMSE '03 Proceedings of the international conference on Computational methods in sciences and engineering
Future Generation Computer Systems - Special issue: Selected papers from the workshop on education in computational sciences held at the ICCS 2002
Modeling the performance of interface contraction
ACM Transactions on Mathematical Software (TOMS)
A class of OpenMP applications involving nested parallelism
Proceedings of the 2004 ACM symposium on Applied computing
More accuracy at fixed precision
Journal of Computational and Applied Mathematics - Special issue: Proceedings of the international conference on linear algebra and arithmetic, Rabat, Morocco, 28-31 May 2001
FastDer++, efficient automatic differentiation for non-linear PDE solvers
Mathematics and Computers in Simulation - Special issue: Selected papers of the IMACS/IFAC fourth international symposium on mathematical modelling and simulation in agricultural and bio-industries
Fluid control using the adjoint method
ACM SIGGRAPH 2004 Papers
Analytic Derivatives for Linear Rational Expectations Models
Computational Economics
ACM Transactions on Mathematical Software (TOMS)
Interval methods for semi-infinite programs
Computational Optimization and Applications
Adaptive Software for Scientific Computing: Co-Managing Quality-Performance-Power Tradeoffs
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 10 - Volume 11
Using AD to solve BVPs in MATLAB
ACM Transactions on Mathematical Software (TOMS)
A differentiation-enabled Fortran 95 compiler
ACM Transactions on Mathematical Software (TOMS)
Journal of Computational and Applied Mathematics
An efficient overloaded implementation of forward mode automatic differentiation in MATLAB
ACM Transactions on Mathematical Software (TOMS)
Accelerated training of conditional random fields with stochastic gradient methods
ICML '06 Proceedings of the 23rd international conference on Machine learning
Semantics of roundoff error propagation in finite precision calculations
Higher-Order and Symbolic Computation
Editorial: special section: Automatic differentiation and its applications
Future Generation Computer Systems
Using automatic differentiation to compute derivatives for a quantum-chemical computer program
Future Generation Computer Systems
Efficient and accurate derivatives for a software process chain in airfoil shape optimization
Future Generation Computer Systems
Future Generation Computer Systems
Future Generation Computer Systems
Automatic differentiation and nonlinear controller design by exact linearization
Future Generation Computer Systems
Reducing reverse-mode memory requirements by using profile-driven checkpointing
Future Generation Computer Systems
An automatic differentiation platform: odyssée
Future Generation Computer Systems
"To be recorded" analysis in reverse-mode automatic differentiation
Future Generation Computer Systems
Looking for narrow interfaces in automatic differentiation using graph drawing
Future Generation Computer Systems
Making automatic differentiation truly automatic: coupling PETSc with ADIC
Future Generation Computer Systems
Solving stochastic mathematical programs with complementarity constraints using simulation
WSC '04 Proceedings of the 36th conference on Winter simulation
Newton's method with deflation for isolated singularities of polynomial systems
Theoretical Computer Science
Efficient reversal of the intraprocedural flow of control in adjoint computations
Journal of Systems and Software - Special issue: Selected papers from the 4th source code analysis and manipulation (SCAM 2004) workshop
Fast kernel entropy estimation and optimization
Signal Processing - Special issue: Information theoretic signal processing
Automatic differentiation of explicit Runge-Kutta methods for optimal control
Computational Optimization and Applications
Adjoint concepts for the optimal control of Burgers equation
Computational Optimization and Applications
Comparison Between Baumann and Admissible Simplex Forms in Interval Analysis
Journal of Global Optimization
Computers & Mathematics with Applications
Solving Stochastic Mathematical Programs with Complementarity Constraints Using Simulation
Mathematics of Operations Research
Comparing global strategies for coding adjoints
Scientific Programming
An interactive environment for supporting the transition from simulation to optimization
Scientific Programming - POOSC '01 Workshop
Term Graphs for Computing Derivatives in Imperative Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Step Size Adaptation in Reproducing Kernel Hilbert Space
The Journal of Machine Learning Research
Being Sensitive to Uncertainty
Computing in Science and Engineering
Algorithmic Differentiation: Application to Variational Problems in Computer Vision
IEEE Transactions on Pattern Analysis and Machine Intelligence
Efficient symbolic differentiation for graphics applications
ACM SIGGRAPH 2007 papers
Algorithmic differentiation in Axiom
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
An improved inexact Newton method
Journal of Global Optimization
Computing sparse Hessians with automatic differentiation
ACM Transactions on Mathematical Software (TOMS)
Graph coloring in the estimation of sparse derivative matrices: Instances and applications
Discrete Applied Mathematics
Reverse-mode AD in a functional framework: Lambda the ultimate backpropagator
ACM Transactions on Programming Languages and Systems (TOPLAS)
Adjoint-based optimization of PDEs in moving domains
Journal of Computational Physics
Computation of multiple Lie derivatives by algorithmic differentiation
Journal of Computational and Applied Mathematics
OpenAD/F: A Modular Open-Source Tool for Automatic Differentiation of Fortran Codes
ACM Transactions on Mathematical Software (TOMS)
Hybrid differentiation strategies for simulation and analysis of applications in C++
ACM Transactions on Mathematical Software (TOMS)
Optimal vertex elimination in single-expression-use graphs
ACM Transactions on Mathematical Software (TOMS)
Higher order multivariate automatic differentiation and validated computation of remainder bounds
Math'04 Proceedings of the 5th WSEAS International Conference on Applied Mathematics
Certification of directional derivatives computed by automatic differentiation
MATH'05 Proceedings of the 7th WSEAS International Conference on Applied Mathematics
Efficient numerical solution of parabolic optimization problems by finite element methods
Optimization Methods & Software
Some methods of automatic analysis and controllable transformation of programs
Automation and Remote Control
Reliable Implementation of Real Number Algorithms: Theory and Practice
Case Studies in Model Manipulation for Scientific Computing
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
A Framework for Proving Correctness of Adjoint Message-Passing Programs
Proceedings of the 15th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface
Optimal r-order of an adjoint Broyden method without the assumption of linearly independent steps
Optimization Methods & Software - Dedicated to Professor Michael J.D. Powell on the occasion of his 70th birthday
On the implementation of automatic differentiation tools
Higher-Order and Symbolic Computation
Fast higher-order derivative tensors with Rapsodia
Optimization Methods & Software
The Two-Period Rational Inattention Model: Accelerations and Analyses
Computational Economics
A combined observer and filter based approach for the determination of unknown parameters
International Journal of Systems Science
Global convergence of quasi-Newton methods based on adjoint Broyden updates
Applied Numerical Mathematics
Enclosing all zeros of an analytic function - A rigorous approach
Journal of Computational and Applied Mathematics
Semi-automatic parallelization of direct and inverse problems for geothermal simulation
Proceedings of the 2009 ACM symposium on Applied Computing
Large-Scale Scientific Computing
C-XSC and Closely Related Software Packages
Numerical Validation in Current Hardware Architectures
Efficient Computation of Sparse Hessians Using Coloring and Automatic Differentiation
INFORMS Journal on Computing
Automatic approximation of the marginal likelihood in non-Gaussian hierarchical models
Computational Statistics & Data Analysis
Curvature and torsion estimators based on parametric curve fitting
Computers and Graphics
Applications of one-shot methods in PDEs constrained shape optimization
Mathematics and Computers in Simulation
A-stable and L-stable high-order integration methods for solving stiff differential equations
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Direct computation of critical points based on Crout's elimination and diagonal subset test function
Computers and Structures
Editorial: Special section: Automatic differentiation and its applications
Future Generation Computer Systems
Using automatic differentiation to compute derivatives for a quantum-chemical computer program
Future Generation Computer Systems
An automatic differentiation platform: Odyssée
Future Generation Computer Systems
Efficient and accurate derivatives for a software process chain in airfoil shape optimization
Future Generation Computer Systems
Generating efficient derivative code with TAF
Future Generation Computer Systems
Automatic differentiation and nonlinear controller design by exact linearization
Future Generation Computer Systems
Future Generation Computer Systems
Reducing reverse-mode memory requirements by using profile-driven checkpointing
Future Generation Computer Systems
"To be recorded" analysis in reverse-mode automatic differentiation
Future Generation Computer Systems
Looking for narrow interfaces in automatic differentiation using graph drawing
Future Generation Computer Systems
Making automatic differentiation truly automatic: coupling PETSc with ADIC
Future Generation Computer Systems
General explicit difference formulas for numerical differentiation
Journal of Computational and Applied Mathematics
Journal of Computational and Applied Mathematics
International Journal of Applied Mathematics and Computer Science - Verified Methods: Applications in Medicine and Engineering
OSiL: An instance language for optimization
Computational Optimization and Applications
Convexity and Concavity Detection in Computational Graphs: Tree Walks for Convexity Assessment
INFORMS Journal on Computing
Markowitz-type heuristics for computing Jacobian matrices efficiently
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartII
Sensitivities for a single drop simulation
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartII
Uncertainty analysis based on sensitivities generated using automatic differentiation
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartII
Hierarchical automatic differentiation by vertex elimination and source transformation
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartII
An efficient version on a new improved method of tangent hyperbolas
LSMS'07 Proceedings of the Life system modeling and simulation 2007 international conference on Bio-Inspired computational intelligence and applications
Original Halley method and its improvement with automatic differentiation
FSKD'09 Proceedings of the 6th international conference on Fuzzy systems and knowledge discovery - Volume 4
HCS: a new local search strategy for memetic multiobjective evolutionary algorithms
IEEE Transactions on Evolutionary Computation
Computation of normal form coefficients of cycle bifurcations of maps by algorithmic differentiation
Mathematics and Computers in Simulation
An efficient error control mechanism for the adaptive 'parareal' time discretization algorithm
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Practical estimation of high dimensional stochastic differential mixed-effects models
Computational Statistics & Data Analysis
Automatic generation of parallel code for Hessian computations
IWOMP'05/IWOMP'06 Proceedings of the 2005 and 2006 international conference on OpenMP shared memory parallel programming
Journal of Computational Physics
Efficient and accurate computation of upper bounds of approximation errors
Theoretical Computer Science
From Linear to Nonlinear Large Scale Systems
SIAM Journal on Matrix Analysis and Applications
The Lifted Newton Method and Its Application in Optimization
SIAM Journal on Optimization
A Fully Implicit Domain Decomposition Algorithm for Shallow Water Equations on the Cubed-Sphere
SIAM Journal on Scientific Computing
Journal of Global Optimization
Reduced quasi-Newton method for simultaneous design and optimization
Computational Optimization and Applications
Unified Embedded Parallel Finite Element Computations via Software-Based Fréchet Differentiation
SIAM Journal on Scientific Computing
Automatic differentiation of c++ codes for large-scale scientific computing
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part IV
Optimal checkpointing for time-stepping procedures in ADOL-C
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part IV
Source transformation for MATLAB automatic differentiation
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part IV
The data-flow equations of checkpointing in reverse automatic differentiation
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part IV
A system for interfacing MATLAB with external software geared toward automatic differentiation
ICMS'06 Proceedings of the Second international conference on Mathematical Software
Tangent-Linear models by augmented LL-Parsers
ICCSA'06 Proceedings of the 6th international conference on Computational Science and Its Applications - Volume Part I
An overview of semantics for the validation of numerical programs
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
On the efficient generation of taylor expansions for DAE solutions by automatic differentiation
PARA'04 Proceedings of the 7th international conference on Applied Parallel Computing: state of the Art in Scientific Computing
Mathematics and Computers in Simulation
Source templates for the automatic generation of adjoint code through static call graph reversal
ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part I
Using Multicomplex Variables for Automatic Computation of High-Order Derivatives
ACM Transactions on Mathematical Software (TOMS)
Environmental Modelling & Software
Computation of state and input trajectories for flat systems using automatic differentiation
Automatica (Journal of IFAC)
Rigorous polynomial approximation using taylor models in Coq
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
Computational Statistics & Data Analysis
The Tapenade automatic differentiation tool: Principles, model, and specification
ACM Transactions on Mathematical Software (TOMS)
Journal of Computational Physics
Efficient and Generic Algorithm for Rigorous Integration Forward in Time of dPDEs: Part I
Journal of Scientific Computing
Scientific Programming - A New Overview of the Trilinos Project --Part 1
Adaptive sequencing of primal, dual, and design steps in simulation based optimization
Computational Optimization and Applications
Hi-index | 0.02 |