Search results for "adjoint"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
155	Ralf Giering, Thomas Kaminski	Recipes for adjoint code construction.	ACM Trans. Math. Softw.	1998	DBLP DOI BibTeX RDF	adjoint operator, computational differentiation, differentiation of algorithms, reverse mode, optimization, automatic differentiation, data assimilation, implicit functions, inverse modeling, adjoint model
124	Andrew R. Conn, Ruud A. Haring, Chandramouli Visweswariah, Chai Wah Wu	Circuit optimization via adjoint Lagrangians.	ICCAD	1997	DBLP DOI BibTeX RDF	Adjoint circuit, Optimization, Circuit simulation, Trust region, Augmented Lagrangian, Circuit tuning
90	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
71	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
68	R. Keith Morley, Solomon Boulos, Jared M. Johnson, David Edwards, Peter Shirley, Michael Ashikhmin, Simon Premoze	Image synthesis using adjoint photons.	Graphics Interface	2006	DBLP BibTeX RDF	adjoint monte carlo methods, global illumination
67	Eric A. Wan, Françoise Beaufays	Diagrammatic Methods for Deriving and Relating Temporal Neural Network Algorithms.	Summer School on Neural Networks	1997	DBLP DOI BibTeX RDF
60	Humberto C. Godinez, Dacian N. Daescu	A Second Order Adjoint Method to Targeted Observations.	ICCS (2)	2009	DBLP DOI BibTeX RDF
60	Patrick Heimbach, Chris Hill, Ralf Giering	Automatic Generation of Efficient Adjoint Code for a Parallel Navier-Stokes Solver.	International Conference on Computational Science (2)	2002	DBLP DOI BibTeX RDF
57	Qiang Cheng, JianWen Cao, Bin Wang, Haibin Zhang	Adjoint code generator.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	automatic differentiation, gradient, Hessian, adjoint model
57	Jesús Medina 0001, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño	On Multi-adjoint Concept Lattices: Definition and Representation Theorem.	ICFCA	2007	DBLP DOI BibTeX RDF	multi-adjoint lattices, implication triples, concept lattices, Galois connection
57	Antoine McNamara, Adrien Treuille, Zoran Popovic, Jos Stam	Fluid control using the adjoint method.	ACM Trans. Graph.	2004	DBLP DOI BibTeX RDF	Optimization, Adjoint Method, Inverse Control
53	Gregory R. Carmichael, Dacian N. Daescu, Adrian Sandu, Tianfeng Chai	Computational Aspects of Chemical Data Assimilation into Atmospheric Models.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF	Data assimilation, Chemical transport models, Adjoint modeling
50	Haixing Zhao, Xueliang Li 0001, Ruying Liu, Chengfu Ye	The Chromaticity of Certain Complete Multipartite Graphs.	Graphs Comb.	2004	DBLP DOI BibTeX RDF	Chromatic uniqueness, Adjoint polynomial, Adjoint uniqueness
48	Xiaoji Ye, Peng Li 0001	An application-specific adjoint sensitivity analysis framework for clock mesh sensitivity computation.	ISQED	2009	DBLP DOI BibTeX RDF
48	Bernardo Cockburn, Ryuhei Ichikawa	Adjoint Recovery of Superconvergent Linear Functionals from Galerkin Approximations. The One-dimensional Case.	J. Sci. Comput.	2007	DBLP DOI BibTeX RDF	post-processing, discontinuous Galerkin methods, Superconvergence
48	Sangho Kim 0002, Hyoung-Seog Chung	Multiobjective Optimization Using Adjoint Gradient Enhanced Approximation Models for Genetic Algorithms.	ICCSA (5)	2006	DBLP DOI BibTeX RDF
48	Jesús Medina 0001, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego	Decomposing Ordinal Sums in Neural Multi-adjoint Logic Programs.	IBERAMIA	2004	DBLP DOI BibTeX RDF
48	Uwe Naumann, Patrick Heimbach	Coupling Tangent-Linear and Adjoint Models.	ICCSA (2)	2003	DBLP DOI BibTeX RDF
48	Jesús Medina 0001, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego	A Neural Approach to Abductive Multi-adjoint Reasoning.	AIMSA	2002	DBLP DOI BibTeX RDF
48	Tuyen V. Nguyen, Anirudh Devgan, Ognen J. Nastov	Adjoint Transient Sensitivity Computation in Piecewise Linear Simulation.	DAC	1998	DBLP DOI BibTeX RDF	transceiver, spread spectrum communication, RF CMOS, digital radio, ISM frequency band
45	Andreas Griewank, Andrea Walther	Algorithm 799: revolve: an implementation of checkpointing for the reverse or adjoint mode of computational differentiation.	ACM Trans. Math. Softw.	2000	DBLP DOI BibTeX RDF	adjoint mode, computational differentiation, reverse mode, checkpointing
45	Sumanta N. Pattanaik, Sudhir P. Mudur	Adjoint Equations and Random Walks for Illumination Computation.	ACM Trans. Graph.	1995	DBLP DOI BibTeX RDF	adjoint equations, illumination potential equation, importance transformation, progressive radiosity, random walk, global illumination, Monte Carlo, particle tracing, path tracing, forward simulation
42	Luigi Nardi, Charles Sorror, Fouad Badran, Sylvie Thiria	YAO: A Software for Variational Data Assimilation Using Numerical Models.	ICCSA (2)	2009	DBLP DOI BibTeX RDF	modular graph, backpropagation, automatic differentiation, Data assimilation, numerical model, adjoint model
42	Tarek A. El-Moselhy, Ibrahim M. Elfadel, Bill Dewey	An efficient resistance sensitivity extraction algorithm for conductors of arbitrary shapes.	DAC	2009	DBLP DOI BibTeX RDF	resistance extraction, shape variations, finite-element method, sensitivity, adjoint method
42	Tarek A. El-Moselhy, Ibrahim M. Elfadel, David Widiger	Efficient algorithm for the computation of on-chip capacitance sensitivities with respect to a large set of parameters.	DAC	2008	DBLP DOI BibTeX RDF	sensitivity analysis, capacitance extraction, adjoint method
42	Bernhard Banaschewski	On the Function Ring Functor in Pointfree Topology.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	completely regular frame, zero-dimensional frame, continuous functions in pointfree topology, left adjoint to the function ring functor, supports on f-rings, archimedean kernels
42	Wenyuan Liao, Adrian Sandu	Total Energy Singular Vectors for Atmospheric Chemical Transport Models.	International Conference on Computational Science (2)	2005	DBLP DOI BibTeX RDF	total energy singular vectors, sensitivity analysis, data assimilation, Adjoint models
42	Matías Menni	About N-quantifiers.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	adjoint functors, quantifiers, variable binding
42	Haihua Su, Sachin S. Sapatnekar, Sani R. Nassif	An algorithm for optimal decoupling capacitor sizing and placement for standard cell layouts.	ISPD	2002	DBLP DOI BibTeX RDF	adjoint sensitivity, optimization, placement, ASICs, decoupling capacitor, power grid noise
37	Sebastian Schlenkrich, Andreas Griewank, Andrea Walther	On the local convergence of adjoint Broyden methods.	Math. Program.	2010	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 65H10, 90C53, 65K05
37	Krzysztof Fujarewicz, Marek Kimmel, Tomasz Lipniacki, Andrzej Swierniak	Adjoint Systems for Models of Cell Signaling Pathways and their Application to Parameter Fitting.	IEEE ACM Trans. Comput. Biol. Bioinform.	2007	DBLP DOI BibTeX RDF	modeling, Biology and genetics, ordinary differential equations, parameter learning
37	Vincent Heuveline, Andrea Walther	Online Checkpointing for Parallel Adjoint Computation in PDEs: Application to Goal-Oriented Adaptivity and Flow Control.	Euro-Par	2006	DBLP DOI BibTeX RDF
37	Alkiviadis G. Akritas, Gennadi I. Malaschonok	Computation of the Adjoint Matrix.	International Conference on Computational Science (2)	2006	DBLP DOI BibTeX RDF
37	Christopher Wojtan, Peter J. Mucha, Greg Turk	Keyframe control of complex particle systems using the adjoint method.	Symposium on Computer Animation	2006	DBLP DOI BibTeX RDF
37	Uwe Naumann, Jean Utke	Source Templates for the Automatic Generation of Adjoint Code Through Static Call Graph Reversal.	International Conference on Computational Science (1)	2005	DBLP DOI BibTeX RDF
37	Jesús Medina 0001, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás	Towards Biresiduated Multi-adjoint Logic Programming.	CAEPIA	2003	DBLP DOI BibTeX RDF
37	Herng-Jer Lee, Chia-Chi Chu, Wu-Shiung Feng	Interconnect modeling and sensitivity analysis using adjoint networks reduction technique.	ISCAS (4)	2003	DBLP DOI BibTeX RDF
37	Jesús Medina 0001, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego	Multi-adjoint Logic Programming: A Neural Net Approach.	ICLP	2002	DBLP DOI BibTeX RDF
37	Jesús Medina 0001, Manuel Ojeda-Aciego, Peter Vojtás	A Multi-adjoint Logic Approach to Abductive Reasoning.	ICLP	2001	DBLP DOI BibTeX RDF
37	Jesús Medina 0001, Manuel Ojeda-Aciego, Peter Vojtás	Multi-adjoint Logic Programming with Continuous Semantics.	LPNMR	2001	DBLP DOI BibTeX RDF
37	Jesús Medina 0001, Manuel Ojeda-Aciego, Peter Vojtás	A Procedural Semantics for Multi-adjoint Logic Programming.	EPIA	2001	DBLP DOI BibTeX RDF
34	R. J. Mac Dawson, R. Paré, D. A. Pronk	Undecidability of the Free Adjoint Construction.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	free adjoint construction, abacus, undecidability, 2-category
34	Rachel Fiedler, S. Lakshmivarahan, Sudarshan K. Dhall, John M. Lewis	Optimal initialization of mixed-layer model using the adjoint technique.	SAC	1995	DBLP DOI BibTeX RDF	lagrangian, mixed-layer model, initialization, adjoint method
34	Jean Utke, Laurent Hascoët, Patrick Heimbach, Chris Hill, Paul D. Hovland, Uwe Naumann	Toward adjoinable MPI.	IPDPS	2009	DBLP DOI BibTeX RDF
34	Ekaterina Shemyakova	Invariant Properties of Third-Order Non-hyperbolic Linear Partial Differential Operators.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF
34	Hang Li, Jeffrey Fan, Zhenyu Qi, Sheldon X.-D. Tan, Lifeng Wu, Yici Cai, Xianlong Hong	Partitioning-Based Approach to Fast On-Chip Decoupling Capacitor Budgeting and Minimization.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
34	Andrew R. Conn, Paula K. Coulman, Ruud A. Haring, Gregory L. Morrill, Chandramouli Visweswariah, Chai Wah Wu	JiffyTune: circuit optimization using time-domain sensitivities.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1998	DBLP DOI BibTeX RDF
34	Peter Feldmann, Tuyen V. Nguyen, Stephen W. Director, Ronald A. Rohrer	Sensitivity computation in piecewise approximate circuit simulation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
34	Krishna R. Pattipati, Joel L. Wolf, Somnath Deb	A Calculus of Variations Approach to File Allocation Problems in Computer Systems.	SIGMETRICS	1990	DBLP DOI BibTeX RDF
31	Susana Muñoz-Hernández, Victor Pablos Ceruelo, Hannes Strass	RFuzzy: An Expressive Simple Fuzzy Compiler.	IWANN (1)	2009	DBLP DOI BibTeX RDF	Implementation tool, Multi-adjoint logic, Logic Programming Implementation, Fuzzy Logic Application, Fuzzy Logic, Fuzzy reasoning
31	Pia Bales, Oliver Kolb, Jens Lang 0001	Hierarchical Modelling and Model Adaptivity for Gas Flow on Networks.	ICCS (1)	2009	DBLP DOI BibTeX RDF	adjoint equations, gas flow, model adaptivity
31	Jaeha Kim, Jihong Ren, Mark A. Horowitz	Stochastic steady-state and AC analyses of mixed-signal systems.	DAC	2009	DBLP DOI BibTeX RDF	adjoint sensitivity analysis, Markov chains, stochastic systems, steady-state analysis
31	Jean Utke, Uwe Naumann, Michael W. Fagan, Nathan R. Tallent, Michelle Mills Strout, Patrick Heimbach, Chris Hill, Carl Wunsch	OpenAD/F: A Modular Open-Source Tool for Automatic Differentiation of Fortran Codes.	ACM Trans. Math. Softw.	2008	DBLP DOI BibTeX RDF	adjoint compiler, Automatic differentiation, source transformation
31	Xiangnan Zhou, Qingguo Li	Partial residuated structures and quantum structures.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Partial residuated lattice, Partial adjoint pair, Residuated mapping, Residuated lattice, Effect algebra
31	François Lauze, Mads Nielsen	From Inpainting to Active Contours.	Int. J. Comput. Vis.	2008	DBLP DOI BibTeX RDF	Disocclusion, Segmentation, Active contours, Variational methods, Inpainting, Adjoint methods
31	Ralph L. Wojtowicz	On Transformations between Belief Spaces.	SMPS	2008	DBLP DOI BibTeX RDF	Belief state, Voorbraak map, pignistic transformation, absolute continuity, category, adjoint
31	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
31	Adrian Sandu	Targeted Observations for Atmospheric Chemistry and Transport Models.	International Conference on Computational Science (1)	2006	DBLP DOI BibTeX RDF	singular vectors, targeted observations, data assimilation, Chemical transport models, adjoint models
31	Yasar Becerikli	On three intelligent systems: dynamic neural, fuzzy, and wavelet networks for training trajectory.	Neural Comput. Appl.	2004	DBLP DOI BibTeX RDF	Training trajectory, Adjoint theory, Neural network, Wavelets, Intelligent systems, Fuzzy systems, Dynamic networks
29	Maria Eugenia Cornejo, David Lobo, Jesús Medina 0001	Bipolar Multi-Adjoint Relation Equations as Systems of Bipolar Multi-Adjoint Sup-Equations.	FUZZ	2023	DBLP DOI BibTeX RDF
29	Shuo Zhang	Partially adjoint discretizations of adjoint operators.	CoRR	2022	DBLP DOI BibTeX RDF
29	Ondrej Krídlo, Manuel Ojeda-Aciego	Classifying Adjoint Pairs and Adjoint Triples in an Atanassov $L$-Fuzzy Framework.	IEEE Trans. Fuzzy Syst.	2022	DBLP DOI BibTeX RDF
29	Nicolás Madrid, Manuel Ojeda-Aciego	Multi-adjoint lattices from adjoint triples with involutive negation.	Fuzzy Sets Syst.	2021	DBLP DOI BibTeX RDF
29	Angxiu Ni, Chaitanya Talnikar	Adjoint sensitivity analysis on chaotic dynamical systems by Non-Intrusive Least Squares Adjoint Shadowing (NILSAS).	J. Comput. Phys.	2019	DBLP DOI BibTeX RDF
29	Matthias Schramm, Bernhard Stoevesandt, Joachim Peinke	Optimization of Airfoils Using the Adjoint Approach and the Influence of Adjoint Turbulent Viscosity.	Comput.	2018	DBLP DOI BibTeX RDF
29	Ron Levie, Hans-Georg Stark, Florian Lieb, Nir A. Sochen	Adjoint translation, adjoint observable and uncertainty principles.	Adv. Comput. Math.	2014	DBLP DOI BibTeX RDF
29	Ji-Huan He	Lagrangians for self-adjoint and non-self-adjoint equations.	Appl. Math. Lett.	2013	DBLP DOI BibTeX RDF
29	Shaosheng Zhou, Shizhou Fu	Matrix representations for adjoint and anti-adjoint operators in multi-spin 1/2 systems.	Quantum Inf. Process.	2011	DBLP DOI BibTeX RDF
29	Mike B. Giles, Stefan Ulbrich	Convergence of Linearized and Adjoint Approximations for Discontinuous Solutions of Conservation Laws. Part 2: Adjoint Approximations and Extensions.	SIAM J. Numer. Anal.	2010	DBLP DOI BibTeX RDF
29	Ralf Hartmann	Error estimation and adjoint based refinement for an adjoint consistent DG discretisation of the compressible Euler equations.	Int. J. Comput. Sci. Math.	2007	DBLP DOI BibTeX RDF
29	Claire Lauvernet	Assimilation variationnelle d'observations de télédétection dans les modèles de fonctionnement de la végétation : utilisation du modèle adjoint et prise en compte de contraintes spatiales. (Variationnal assimilation of remote sensing data into canopy functioning models : use of the adjoint model and add of some spatial constraints).		2005	RDF
29	Yang Cao 0001, Shengtai Li, Linda R. Petzold, Radu Serban	Adjoint Sensitivity Analysis for Differential-Algebraic Equations: The Adjoint DAE System and Its Numerical Solution.	SIAM J. Sci. Comput.	2003	DBLP DOI BibTeX RDF
26	Pascual Julián, Ginés Moreno, Jaime Penabad	On the Declarative Semantics of Multi-Adjoint Logic Programs.	IWANN (1)	2009	DBLP DOI BibTeX RDF	Herbrand Model, Fuzzy Logic Programming, Declarative Semantics
26	Uwe Naumann, Laurent Hascoët, Chris Hill, Paul D. Hovland, Jan Riehme, Jean Utke	A Framework for Proving Correctness of Adjoint Message-Passing Programs.	PVM/MPI	2008	DBLP DOI BibTeX RDF
26	Philipp Miehe, Adrian Sandu	Forward, Tangent Linear, and Adjoint Runge-Kutta Methods in KPP-2.2.	International Conference on Computational Science (3)	2006	DBLP DOI BibTeX RDF
26	Pei-Yu Huang, Yu-Min Lee, Jeng-Liang Tsai, Charlie Chung-Ping Chen	Simultaneous area minimization and decaps insertion for power delivery network using adjoint sensitivity analysis with IEKS method.	ISCAS	2006	DBLP DOI BibTeX RDF
26	Jesús Medina 0001, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego	Interval-Valued Neural Multi-adjoint Logic Programs.	IWINAC (1)	2005	DBLP DOI BibTeX RDF
26	Robin L. Raffard, Jianghai Hu, Claire J. Tomlin	Adjoint-Based Optimal Control of the Expected Exit Time for Stochastic Hybrid Systems.	HSCC	2005	DBLP DOI BibTeX RDF
26	Gabriel Dimitriu	Adjoint Computations in Data Assimilation Problems Using a 4-Stage Rosenbrock Method.	LSSC	2005	DBLP DOI BibTeX RDF
26	Rajesh K. Bawa, Srinivasan Natesan	Uniformly Convergent Computational Technique for Singularly Perturbed Self-adjoint Mixed Boundary-Value Problems.	International Conference on Computational Science (3)	2005	DBLP DOI BibTeX RDF	singular perturbation problems, piece-wise uniform meshes, cubic splines, Finite difference scheme
26	Chia-Chi Chu, Herng-Jer Lee, Wu-Shiung Feng, Ming-Hong Lai	Interconnect model reductions by using the AORA algorithm with considering the adjoint network.	ISCAS (2)	2005	DBLP DOI BibTeX RDF
26	Franz Baader, Silvio Ghilardi	Connecting Many-Sorted Structures and Theories Through Adjoint Functions.	FroCoS	2005	DBLP DOI BibTeX RDF
26	Alexandre M. Bayen, Robin L. Raffard, Claire J. Tomlin	Network Congestion Alleviation Using Adjoint Hybrid Control: Application to Highways.	HSCC	2004	DBLP DOI BibTeX RDF
26	Carlos Viegas Damásio, Jesús Medina 0001, Manuel Ojeda-Aciego	Sorted Multi-adjoint Logic Programs: Termination Results and Applications.	JELIA	2004	DBLP DOI BibTeX RDF
26	Uwe Naumann, Jean Utke, Andrew Lyons, Michael W. Fagan	Control Flow Reversal for Adjoint Code Generation.	SCAM	2004	DBLP DOI BibTeX RDF
26	Mark S. Gockenbach, Daniel R. Reynolds, Peng Shen, William W. Symes	Efficient and automatic implementation of the adjoint state method.	ACM Trans. Math. Softw.	2002	DBLP DOI BibTeX RDF	simulation, optimization, Object-oriented design
26	Fei Yuan, Ajoy Opal	Sensitivity analysis of periodically switched linear circuits using an adjoint network technique.	ISCAS (5)	1999	DBLP DOI BibTeX RDF
26	E. Varin, R. Roy, T. NKaoua	A Parallel Algorithm for the Simultaneous Solution of Direct and Adjoint Multigroup Diffusion Problems.	PVM/MPI	1998	DBLP DOI BibTeX RDF
26	Patrick F. Cummins, Geoffrey K. Vallis	Algorithm 732; solvers for self-adjoint elliptic problems in irregular two-dimensional domains.	ACM Trans. Math. Softw.	1994	DBLP DOI BibTeX RDF	capacitance iteration, capacitance matrix, fast Poisson solvers, Green's function, elliptic equations
22	Agostinho Almeida	Canonical Extensions and Relational Representations of Lattices with Negation.	Stud Logica	2009	DBLP DOI BibTeX RDF	canonical extension, Lattice, duality, negation
22	Daniel Potts, Jürgen Prestin, Antje Vollrath	A fast algorithm for nonequispaced Fourier transforms on the rotation group.	Numer. Algorithms	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 65T99, 33C55, 65T50, 42C10
22	Yunjiang Lou, Tieniu Chen, Yuanqing Wu 0001, Zhibin Li, Shilong Jiang	Improved and modified geometric formulation of POE based kinematic calibration of serial robots.	IROS	2009	DBLP DOI BibTeX RDF
22	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
22	Nobusumi Sagara	Value Functions and Transversality Conditions for Infinite Horizon Optimal Control Problems.	MCO	2008	DBLP DOI BibTeX RDF	Nonsmooth maximum principle, Infinite horizon, Transversality condition, Sufficiency, Value function
22	Dayong Zhou, Victor E. DeBrunner	Novel Adaptive Nonlinear Predistorters Based on the Direct Learning Algorithm.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
22	Nicolas Papadakis, Thomas Corpetti, Étienne Mémin	Dynamically consistent optical flow estimation.	ICCV	2007	DBLP DOI BibTeX RDF
22	Dominique Duval, Rachid Echahed, Frédéric Prost	Adjunction for Garbage Collection with Application to Graph Rewriting.	RTA	2007	DBLP DOI BibTeX RDF
22	Jeffrey Fan, I-Fan Liao, Sheldon X.-D. Tan, Yici Cai, Xianlong Hong	Localized On-Chip Power Delivery Network Optimization via Sequence of Linear Programming.	ISQED	2006	DBLP DOI BibTeX RDF
22	Per Grove Thomsen, Zahari Zlatev	Studying the Properties of Variational Data Assimilation Methods by Applying a Set of Test-Examples.	Numerical Methods and Applications	2006	DBLP DOI BibTeX RDF
22	Roberto Giacobazzi, Isabella Mastroeni	Adjoining Declassification and Attack Models by Abstract Interpretation.	ESOP	2005	DBLP DOI BibTeX RDF	abstract non-interference, Abstract interpretation, completeness, language-based security, declassification, adjunction, attack models