Search results for "Adjoints"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
146	Tianyi Gou, Kumaresh Singh, Adrian Sandu	Chemical Data Assimilation with CMAQ: Continuous vs. Discrete Advection Adjoints.	ICCS (2)	2009	DBLP DOI BibTeX RDF	Data Assimilation, Adjoints, Chemical Transport Models
127	Adrian Sandu	On the Properties of Runge-Kutta Discrete Adjoints.	International Conference on Computational Science (4)	2006	DBLP DOI BibTeX RDF	discrete adjoints, Runge-Kutta methods
69	Per H. Christensen	Adjoints and Importance in Rendering: An Overview.	IEEE Trans. Vis. Comput. Graph.	2003	DBLP DOI BibTeX RDF	literature survey, Rendering, ray tracing, global illumination, light, participating media, importance, adjoints
62	Mihai Alexe, Adrian Sandu	An investigation of discrete adjoints for flux-limited numerical schemes.	ACM Southeast Regional Conference	2007	DBLP DOI BibTeX RDF	advection equation, discrete adjoint model, flux limiter
62	Zheng Liu, Adrian Sandu	Analysis of Discrete Adjoints for Upwind Numerical Schemes.	International Conference on Computational Science (2)	2005	DBLP DOI BibTeX RDF
58	Hilary A. Priestley	Ordered Sets and Complete Lattices.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
47	Michael Hinze, Julia Sternberg	A-revolve: an adaptive memory-reduced procedure for calculating adjoints; with an application to computing adjoints of the instationary Navier-Stokes system.	Optim. Methods Softw.	2005	DBLP DOI BibTeX RDF
46	Kumaresh Singh, Paul Eller, Adrian Sandu, Daven Henze, Kevin W. Bowman, Monika Kopacz, Meemong Lee	Towards the construction of a standard adjoint GEOS-Chem model.	SpringSim	2009	DBLP DOI BibTeX RDF	global chemistry and transport, data assimilation, adjoints, inverse modeling
43	Markus Müller-Olm, Helmut Seidl	Upper Adjoints for Fast Inter-procedural Variable Equalities.	ESOP	2008	DBLP DOI BibTeX RDF
38	Dominique Duval, Rachid Echahed, Frédéric Prost	Adjunction for Garbage Collection with Application to Graph Rewriting.	RTA	2007	DBLP DOI BibTeX RDF
27	James D. Doyle, Carolyn A. Reynolds, Clark Amerault	Diagnosing Tropical Cyclone Sensitivity.	Comput. Sci. Eng.	2011	DBLP DOI BibTeX RDF	Earth and atmospheric sci-ences, tropical cyclones, hurricanes, Modeling methodologies, computing methodologies, finite difference methods, adjoints
27	Kumaresh Singh, Paul Eller, Adrian Sandu, Kevin W. Bowman, Dylan B. A. Jones, Meemong Lee	Improving GEOS-Chem Model Tropospheric Ozone through Assimilation of Pseudo Tropospheric Emission Spectrometer Profile Retrievals.	ICCS (2)	2009	DBLP DOI BibTeX RDF	Global chemistry and transport, Linoz scheme, Data assimilation, Adjoints, Inverse modeling
27	Chandramouli Visweswariah	Optimization techniques for high-performance digital circuits.	ICCAD	1997	DBLP BibTeX RDF	nonlinear optimization, gradients, adjoints, circuit tuning
23	Houshan Fu, Chunming Tang, Suijie Wang	Adjoints of matroids.	Adv. Appl. Math.	2024	DBLP DOI BibTeX RDF
23	Balder ten Cate, Víctor Dalmau, Jakub Oprsal	Right-Adjoints for Datalog Programs.	ICDT	2024	DBLP DOI BibTeX RDF
23	Jens Renders, Ben Jeurissen, Anh-Tuan Nguyen, Jan De Beenhouwer, Jan Sijbers	ImWIP: Open-source image warping toolbox with adjoints and derivatives.	SoftwareX	2023	DBLP DOI BibTeX RDF
23	Víctor Dalmau, Andrei A. Krokhin, Jakub Oprsal	Functors on relational structures which admit both left and right adjoints.	CoRR	2023	DBLP DOI BibTeX RDF
23	Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo	Exploiting Adjoints in Property Directed Reachability Analysis.	CoRR	2023	DBLP DOI BibTeX RDF
23	Carlos Lozano	Watch Your Adjoints! Lack of Mesh Convergence in Inviscid Adjoint Solutions.	CoRR	2023	DBLP DOI BibTeX RDF
23	Balder ten Cate, Víctor Dalmau, Jakub Oprsal	Right-Adjoints for Datalog Programs, and Homomorphism Dualities over Restricted Classes.	CoRR	2023	DBLP DOI BibTeX RDF
23	Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo	Exploiting Adjoints in Property Directed Reachability Analysis.	CAV (2)	2023	DBLP DOI BibTeX RDF
23	Daniel Gratzer, Evan Cavallo, G. A. Kavvos, Adrien Guatto, Lars Birkedal	Modalities and Parametric Adjoints.	ACM Trans. Comput. Log.	2022	DBLP DOI BibTeX RDF
23	Frédéric Alauzet, Loïc Frazza, D. Papadogiannis	Periodic adjoints and anisotropic mesh adaptation in rotating frame for high-fidelity RANS turbomachinery applications.	J. Comput. Phys.	2022	DBLP DOI BibTeX RDF
23	Martin Elsman, Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen, Robert Schenck	Combinatory Adjoints and Differentiation.	MSFP@ETAPS	2022	DBLP DOI BibTeX RDF
23	Ekkapot Charoenwanit	Memory-Efficient Adjoints via Graph Partitioning.	JCSSE	2022	DBLP DOI BibTeX RDF
23	Uwe Naumann	Numerical Stability of Tangents and Adjoints of Implicit Functions.	ICCS (3)	2022	DBLP DOI BibTeX RDF
23	Uwe Naumann	Numerical Stability of Tangents and Adjoints of Implicit Functions.	CoRR	2021	DBLP BibTeX RDF
23	Patrick Kidger, Ricky T. Q. Chen, Terry J. Lyons	"Hey, that's not an ODE": Faster ODE Adjoints via Seminorms.	ICML	2021	DBLP BibTeX RDF
23	Daniel Luft, Volker H. Schulz, Kathrin Welker	Efficient Techniques for Shape Optimization with Variational Inequalities Using Adjoints.	SIAM J. Optim.	2020	DBLP DOI BibTeX RDF
23	Lars Birkedal, Ranald Clouston, Bassel Mannaa, Rasmus Ejlers Møgelberg, Andrew M. Pitts, Bas Spitters	Modal dependent type theory and dependent right adjoints.	Math. Struct. Comput. Sci.	2020	DBLP DOI BibTeX RDF
23	Patrick Kidger, Ricky T. Q. Chen, Terry J. Lyons	"Hey, that's not an ODE": Faster ODE Adjoints with 12 Lines of Code.	CoRR	2020	DBLP BibTeX RDF
23	Bassel Mannaa, Rasmus Ejlers Møgelberg, Niccolò Veltri	Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory.	CoRR	2020	DBLP BibTeX RDF
23	Bassel Mannaa, Rasmus Ejlers Møgelberg, Niccolò Veltri	Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory.	Log. Methods Comput. Sci.	2020	DBLP BibTeX RDF
23	Gary McGuire, John Sheekey	Linearized Polynomials and Their Adjoints, and Some Connections to Linear Sets and Semifields.	WAIFI	2020	DBLP DOI BibTeX RDF
23	Arne Bockhorn, Sri Hari Krishna Narayanan, Andrea Walther	Checkpointing Approaches for the Computation of Adjoints Covering Resilience Issues.	CSC	2020	DBLP DOI BibTeX RDF
23	Patrick E. Farrell, Johan E. Hake, Simon W. Funke, Marie E. Rognes	Automated Adjoints of Coupled PDE-ODE Systems.	SIAM J. Sci. Comput.	2019	DBLP DOI BibTeX RDF
23	Sebastian Mitusch, Simon W. Funke, Jørgen S. Dokken	dolfin-adjoint 2018.1: automated adjoints for FEniCS and Firedrake.	J. Open Source Softw.	2019	DBLP DOI BibTeX RDF
23	Shashi Jain, Álvaro Leitao, Cornelis W. Oosterlee	Rolling Adjoints: Fast Greeks along Monte Carlo scenarios for early-exercise options.	J. Comput. Sci.	2019	DBLP DOI BibTeX RDF
23	Jens Deussen, Uwe Naumann	Discrete Interval Adjoints in Unconstrained Global Optimization.	WCGO	2019	DBLP DOI BibTeX RDF
23	Chérifa Ben Khelil	Construction semi-automatique d'une grammaire d'arbres adjoints pour l'analyse syntaxico-sémantique de l'arabe. (Semi-automatic construction of a Tree-adjoining grammar for syntactic-semantic analysis of Arabic).		2019	RDF
23	Mingwu Li, Harry Dankowicz	Staged Construction of Adjoints for Constrained Optimization of Integro-Differential Boundary-Value Problems.	SIAM J. Appl. Dyn. Syst.	2018	DBLP DOI BibTeX RDF
23	Ranald Clouston, Bassel Mannaa, Rasmus Ejlers Møgelberg, Andrew M. Pitts, Bas Spitters	Modal Dependent Type Theory and Dependent Right Adjoints.	CoRR	2018	DBLP BibTeX RDF
23	Chérifa Ben Khelil, Chiraz Ben Othmane Zribi, Denys Duchier, Yannick Parmentier 0001	Interface syntaxe-sémantique au moyen d'une grammaire d'arbres adjoints pour l'étiquetage sémantique de l'arabe (Syntax-semantic interface using Tree-adjoining grammar for Arabic semantic labeling).	CORIA-TALN-RJC (TALN 2)	2018	DBLP BibTeX RDF
23	Caio Corro	Lagrangian Based Approaches for Lexicalized Tree Adjoining Grammar Parsing. (Approches fondées sur la relaxation Lagrangienne pour l'analyse syntaxique avec grammaires d'arbres adjoints).		2018	RDF
23	Krzysztof J. Fidkowski	Output-based space-time mesh optimization for unsteady flows using continuous-in-time adjoints.	J. Comput. Phys.	2017	DBLP DOI BibTeX RDF
23	Steven M. Kast	An Introduction to Adjoints and Output Error Estimation in Computational Fluid Dynamics.	CoRR	2017	DBLP BibTeX RDF
23	Dörte Jando	Efficient goal-oriented global error estimators for BDF methods using discrete adjoints.	J. Comput. Appl. Math.	2017	DBLP DOI BibTeX RDF
23	Chérifa Ben Khelil	Générer une grammaire d'arbres adjoints pour l'arabe à partir d'une méta-grammaire (Generate a tree adjoining grammar for arabic from a meta-grammar).	TALN (RECITAL)	2017	DBLP BibTeX RDF
23	Aliakbar Salaryan, Hamid Vaezi	Adjoints of rationally induced weighted composition operators on the Hardy, Bergman and Dirichlet spaces.	Period. Math. Hung.	2016	DBLP DOI BibTeX RDF
23	Michel Schanen, Oana Marin, Hong Zhang 0006, Mihai Anitescu	Asynchronous Two-level Checkpointing Scheme for Large-scale Adjoints in the Spectral-element Solver Nek5000.	ICCS	2016	DBLP DOI BibTeX RDF
23	Inma P. Cabrera, Pablo Cordero, Francisca García-Pardo, Manuel Ojeda-Aciego, Bernard De Baets	On the Existence of Right Adjoints for Surjective Mappings between Fuzzy Structures.	CLA	2016	DBLP BibTeX RDF
23	Michel Schanen	Semantics driven adjoints of the message passing interface.		2016	RDF
23	Jan Foniok, Claude Tardif	Digraph functors which admit both left and right adjoints.	Discret. Math.	2015	DBLP DOI BibTeX RDF
23	Dörte Beigel, Mario S. Mommer, Leonard Wirsching, Hans Georg Bock	Approximation of weak adjoints by reverse automatic differentiation of BDF methods.	Numerische Mathematik	2014	DBLP DOI BibTeX RDF
23	Bichen Wu, Jaijeet Roychowdhury	Efficient per-element distortion contribution analysis via Harmonic Balance adjoints.	CICC	2014	DBLP DOI BibTeX RDF
23	Anders Kock, Joachim Kock	Local fibred right adjoints are polynomial.	Math. Struct. Comput. Sci.	2013	DBLP DOI BibTeX RDF
23	Jan Foniok, Claude Tardif	Digraph functors which admit both left and right adjoints	CoRR	2013	DBLP BibTeX RDF
23	Martin Weimann	Factoring bivariate polynomials using adjoints.	J. Symb. Comput.	2013	DBLP DOI BibTeX RDF
23	Johannes Lotz 0001, Uwe Naumann, Max Sagebaum, Michel Schanen	Discrete Adjoints of PETSc through dco/c++ and Adjoint MPI.	Euro-Par	2013	DBLP DOI BibTeX RDF
23	Andreas Griewank	From the Product Example to PDE Adjoints, Algorithmic Differentiation and Its Application (Invited Talk).	CASC	2013	DBLP DOI BibTeX RDF
23	Alexandru Cioaca, Mihai Alexe, Adrian Sandu	Second-order adjoints for solving PDE-constrained optimization problems.	Optim. Methods Softw.	2012	DBLP DOI BibTeX RDF
23	Oleh R. Nykyforchyn	Adjoints and Monads Related to Compact Lattices and Compact Lawson Idempotent Semimodules.	Order	2012	DBLP DOI BibTeX RDF
23	Kumaresh Singh, Adrian Sandu	Variational chemical data assimilation with approximate adjoints.	Comput. Geosci.	2012	DBLP DOI BibTeX RDF
23	Thomas Cluzeau, Alban Quadrat	Serre's reduction of linear partial differential systems with holonomic adjoints.	J. Symb. Comput.	2012	DBLP DOI BibTeX RDF
23	Denise Holfeld, Philipp Stumm, Andrea Walther	Structure Exploiting Adjoints for Finite Element Discretizations.	Constrained Optimization and Optimal Control for Partial Differential Equations	2012	DBLP DOI BibTeX RDF
23	Michel Schanen, Uwe Naumann	A Wish List for Efficient Adjoints of One-Sided MPI Communication.	EuroMPI	2012	DBLP DOI BibTeX RDF
23	Jan Foniok, Jaroslav Nesetril, Claude Tardif	Interleaved adjoints of directed graphs.	Eur. J. Comb.	2011	DBLP DOI BibTeX RDF
23	Frédéric Alauzet, Olivier Pironneau	Continuous and Discrete Adjoints to the Euler Equations for Fluids	CoRR	2011	DBLP BibTeX RDF
23	Fériel Ben Fraj	Construction d'une grammaire d'arbres adjoints pour la langue arabe (Construction of a tree adjoining grammar for the Arabic language).	TALN (Articles courts)	2011	DBLP BibTeX RDF
23	Ralf Hannemann, Wolfgang Marquardt	Continuous and Discrete Composite Adjoints for the Hessian of the Lagrangian in Shooting Algorithms for Dynamic Optimization.	SIAM J. Sci. Comput.	2010	DBLP DOI BibTeX RDF
23	Florian Rauser, Jan Riehme, Klaus Leppkes, Peter Korn, Uwe Naumann	On the use of discrete adjoints in goal error estimation for shallow water equations.	ICCS	2010	DBLP DOI BibTeX RDF
23	Michel Schanen, Uwe Naumann, Laurent Hascoët, Jean Utke	Interpretative adjoints for numerical simulation codes using MPI.	ICCS	2010	DBLP DOI BibTeX RDF
23	Ralf Hannemann, Wolfgang Marquardt, Uwe Naumann, Boris Gendler	Discrete first- and second-order adjoints and automatic differentiation for the sensitivity analysis of dynamic models.	ICCS	2010	DBLP DOI BibTeX RDF
23	Phuong Le-Hong	Elaboration d'un composant syntaxique à base de grammaires d'arbres adjoints pour le vietnamien. (Construction of a syntactic component based on tree adjoining grammars for Vietnamese).		2010	RDF
23	Jan Foniok, Jaroslav Nesetril, Claude Tardif	Interleaved adjoints on directed graphs.	CoRR	2009	DBLP BibTeX RDF
23	Mihai Alexe, Adrian Sandu	On the discrete adjoints of adaptive time stepping algorithms.	J. Comput. Appl. Math.	2009	DBLP DOI BibTeX RDF
23	Adrian Sandu, Lin Zhang	Discrete second order adjoints in atmospheric chemical transport modeling.	J. Comput. Phys.	2008	DBLP DOI BibTeX RDF
23	Laurent Hascoët, Jean Utke, Uwe Naumann	Cheaper adjoints by reversing address computations.	Sci. Program.	2008	DBLP DOI BibTeX RDF
23	Laura Kallmeyer, Yannick Parmentier 0001	Convertir des grammaires d'arbres adjoints à composantes multiples avec tuples d'arbres (TT-MCTAG) en grammaires à concaténation d'intervalles (RCG).	TALN (Articles longs)	2008	DBLP BibTeX RDF
23	Sylvain Pogodalla	Ambiguïté de portée et approche fonctionnelle des grammaires d'arbres adjoints.	TALN (Articles longs)	2007	DBLP BibTeX RDF
23	Claire Gardent, Yannick Parmentier 0001	SemTAG, une architecture pour le développement et l'utilisation de grammaires d'arbres adjoints à portée sémantique.	TALN (Articles longs)	2007	DBLP BibTeX RDF
23	Yannick Parmentier 0001	SemTAG : une plate-forme pour le calcul sémantique à partir de Grammaires d'Arbres Adjoints. (SemTAG: a platform for semantic construction with Tree Adjoining Grammars).		2007	RDF
23	Claire Gardent	Intégration d'une dimension sémantique dans les grammaires d'arbres adjoints.	TALN (Articles longs)	2006	DBLP BibTeX RDF
23	Christian H. Bischof, H. Martin Bücker, Po-Ting Wu	Time-Parallel Computation of Pseudo-Adjoints for a Leapfrog Scheme.	Int. J. High Speed Comput.	2004	DBLP DOI BibTeX RDF
23	Sylvain Pogodalla	Vers un statut de l'arbre de dérivation : exemples de construction de representations sémantiques pour les Grammaires d'Arbres Adjoints.	TALN (Articles longs)	2004	DBLP BibTeX RDF
23	Djamé Seddah	Synchronisation des connaissances syntaxiques et sémantiques pour l'analyse d'énoncés en langage naturel à l'aide des grammaires d'arbres adjoints lexicalisés.		2004	RDF
23	Benoît Crabbé, Bertrand Gaiffe, Azim Roussanaly	Une plate-forme de conception et d'exploitation d'une grammaire d'arbres adjoints lexicalisés.	TALN (Articles longs)	2003	DBLP BibTeX RDF
23	J. Robin B. Cockett, Luigi Santocanale	Induction, Coinduction, and Adjoints.	CTCS	2002	DBLP DOI BibTeX RDF
23	Teresa Faria, Wenzhang Huang, Jianhong Wu	Smoothness of Center Manifolds for Maps and Formal Adjoints for Semilinear FDEs in General Banach Spaces.	SIAM J. Math. Anal.	2002	DBLP DOI BibTeX RDF
23	Chrisèle Faure, Isabelle Charpentier	Comparing global strategies for coding adjoints.	Sci. Program.	2001	DBLP DOI BibTeX RDF
23	W. Steven Gray, Jacquelien M. A. Scherpen	Nonlinear Hilbert adjoints: properties and applications to Hankel singular value analysis.	ACC	2001	DBLP DOI BibTeX RDF
23	W. Steven Gray	Nonlinear Hilbert adjoints of Fliess operators.	CDC	2001	DBLP DOI BibTeX RDF
23	Jerzy Karczmarczuk	Calcul des adjoints et programmation paresseuse.	JFLA	2001	DBLP BibTeX RDF
23	François Barthélemy, Pierre Boullier, Philippe Deschamp, Linda Kaouane, Éric Villemonte de la Clergerie	Atelier ATOLL pour les grammaires d'arbres adjoints.	TALN (Articles longs)	2001	DBLP BibTeX RDF
23	Jacquelien M. A. Scherpen, Kenji Fujimoto, W. Steven Gray	Hamiltonian extensions, Hilbert adjoints and singular value functions for nonlinear systems.	CDC	2000	DBLP DOI BibTeX RDF
23	Douglas S. Bridges, Luminita Dediu	Weak-operator Continuity and the Existence Of Adjoints.	Math. Log. Q.	1999	DBLP DOI BibTeX RDF
23	Marion Alfter, Winfried Hochstättler	On Pseudomodular Matroids and Adjoints.	Discret. Appl. Math.	1995	DBLP DOI BibTeX RDF
23	B. Srinivasan, U. R. Prasad, N. J. Rao	Back propagation through adjoints for the identification of nonlinear dynamic systems using recurrent neural models.	IEEE Trans. Neural Networks	1994	DBLP DOI BibTeX RDF
23	Dayanand S. Rajan	The Adjoints to the Derivative Functor on Species.	J. Comb. Theory, Ser. A	1993	DBLP BibTeX RDF
23	Marion Alfter, Walter Kern, Alfred Wanka	On adjoints and dual matroids.	J. Comb. Theory, Ser. B	1990	DBLP DOI BibTeX RDF