Search results for "pullback"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
89	Michel Bauderon, Rui Chen, Olivier Ly	Pullback Grammars Are Context-Free.	ICGT	2008	DBLP DOI BibTeX RDF	Pullback, Graph grammar
82	Ernst-Erich Doberkat	Semi-pullbacks and Bisimulations in Categories of Stochastic Relations.	ICALP	2003	DBLP DOI BibTeX RDF	semi-pullback, stochastic relations, labelled Markov processes, Hennessy-Milner logic, Bisimulation
61	Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini 0001	Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	concurrent and reactive systems, loose semantics, final coalgebra semantics, graph rewriting, categorical models, graph transformation systems, behavioral constraints
61	Renate Klempien-Hinrichs	Net Refinement by Pullback Rewriting.	FoSSaCS	1998	DBLP DOI BibTeX RDF
53	Michel Bauderon, Hélène Jacquet	Pullback as a Generic Graph Rewriting Mechanism.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	pullback, graph rewriting
43	Michael Kerckhove	Computation of Ridges via Pullback Metrics from Scale Space.	Scale-Space	1999	DBLP DOI BibTeX RDF
36	Melissa Jourdain, Jean Meunier, Jean Sequeira, Jean-Marc Boï, Jean-Claude Tardif	A Robust 3-D IVUS Transducer Tracking Using Single-Plane Cineangiography.	IEEE Trans. Inf. Technol. Biomed.	2008	DBLP DOI BibTeX RDF
36	Anthony Bucci, Jordan B. Pollack	Thoughts on solution concepts.	GECCO	2007	DBLP DOI BibTeX RDF	later is better, coevolution, bloat, solution concepts, pareto coevolution, coevolutionary algorithm
36	Marie-Hélène Roy Cardinal, Jean Meunier, Gilles Soulez, Roch L. Maurice, Éric Thérasse, Guy Cloutier	Intravascular ultrasound image segmentation: a three-dimensional fast-marching method based on gray level distributions.	IEEE Trans. Medical Imaging	2006	DBLP DOI BibTeX RDF
36	Eric Fabre	On the Construction of Pullbacks for Safe Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
36	Han Zhang, Yves Bellouard, Etienne Burdet, Reymond Clavel, Aun Neow Poo, Dietmar Werner Hutmacher	Shape Memory Alloy Microgripper for Robotic Microassembly of Tissue Engineering Scaffolds.	ICRA	2004	DBLP DOI BibTeX RDF
36	Guillaume C. L. Brümmer, Eraldo Giuli, David B. Holgate	Direct Reflections.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	direct reflection, perfect morphism, Samuel compactification, topological bicompletion
28	Francesca Cagliari, Sandra Mantovani	Injective Hulls of T0 Topological Fibre Spaces.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	injective hull, continuous lattice, exponentiable morphism, pullback complement, partial product
28	Vipul Singhal, C. B. Keshav, K. G. Surnanth, P. R. Suresh	Transistor Flaring in Deep Submicron-Design Considerations.	ASP-DAC/VLSI Design	2002	DBLP DOI BibTeX RDF	Deep Submicron (DSM), pullback, photolithography, Subwavelength-lithography, Optical Proximity Correction (OPC), SPICE-models, standard-ce1l library, Design for Manufacturability (DFM)
25	Wenjie Hu, Tomás Caraballo	Pullback Exponential Attractors with Explicit Fractal Dimensions for Non-Autonomous Partial Functional Differential Equations.	J. Nonlinear Sci.	2024	DBLP DOI BibTeX RDF
25	Yangrong Li, Fengling Wang, Huan Xia	Continuity-sets of pullback random attractors for discrete porous media equations with colored noise.	Appl. Math. Comput.	2024	DBLP DOI BibTeX RDF
25	Allan M. Avila, Igor Mezic	Spectral Properties of Pullback Operators on Vector Bundles of a Dynamical System.	SIAM J. Appl. Dyn. Syst.	2023	DBLP DOI BibTeX RDF
25	Elisa Hartmann	A Pullback Diagram in the Coarse Category.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
25	Frank Nielsen	Fisher-Rao distance and pullback SPD cone distances between multivariate normal distributions.	CoRR	2023	DBLP DOI BibTeX RDF
25	Katherine E. Riojas, Trevor L. Bruns, Josephine Granna, Robert J. Webster III, Robert F. Labadie	Robotic pullback technique of a precurved cochlear-implant electrode array using real-time impedance sensing feedback.	Int. J. Comput. Assist. Radiol. Surg.	2023	DBLP DOI BibTeX RDF
25	Stéphane Puechmorel	Pullback Bundles and the Geometry of Learning.	Entropy	2023	DBLP DOI BibTeX RDF
25	Xingjie Yan, Rong Yang	Pullback trajectory attractor for nonautonomous wave equations.	Commun. Nonlinear Sci. Numer. Simul.	2023	DBLP DOI BibTeX RDF
25	Shayea Aldossari	Computing pullback function of second order differential operators by using their semi-invariants.	J. Symb. Comput.	2023	DBLP DOI BibTeX RDF
25	Frank Nielsen	Fisher-Rao and pullback Hilbert cone distances on the multivariate Gaussian manifold with applications to simplification and quantization of mixtures.	TAG-ML	2023	DBLP BibTeX RDF
25	Seyed Naser Hosseini, Leila Yeganeh	Partial pullback complement rewriting along admissible matches.	Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
25	Bernardo Fichera, Aude Billard	Hybrid Quadratic Programming - Pullback Bundle Dynamical Systems Control.	ISRR	2022	DBLP DOI BibTeX RDF
25	Andrew Bylard, Riccardo Bonalli, Marco Pavone 0001	Composable Geometric Motion Policies using Multi-Task Pullback Bundle Dynamical Systems.	CoRR	2021	DBLP BibTeX RDF
25	Xiaofeng Zhang, Rong Yuan	Pullback attractor for random chemostat model driven by colored noise.	Appl. Math. Lett.	2021	DBLP DOI BibTeX RDF
25	Andrew Bylard, Riccardo Bonalli, Marco Pavone 0001	Composable Geometric Motion Policies using Multi-Task Pullback Bundle Dynamical Systems.	ICRA	2021	DBLP DOI BibTeX RDF
25	Bo You	Pullback attractor for the three dimensional nonautonomous primitive equations of large-scale ocean and atmosphere dynamics.	Comput. Math. Methods	2020	DBLP DOI BibTeX RDF
25	Carol Mak, Luke Ong	A Differential-form Pullback Programming Language for Higher-order Reverse-mode Automatic Differentiation.	CoRR	2020	DBLP BibTeX RDF
25	Alexey Mishchenko, Alberto Bottino, Alessandro Biancalani, Roman Hatzky, Thomas Hayward-Schneider, Noé Ohana, Emmanuel Lanti, Stephan Brunner, Laurent Villard, Matthias Borchardt, Ralf Kleiber, Axel Könies	Pullback scheme implementation in ORB5.	Comput. Phys. Commun.	2019	DBLP DOI BibTeX RDF
25	Chaouki Aouiti, Foued Miaadi	Pullback attractor for neutral Hopfield neural networks with time delay in the leakage term and mixed time delays.	Neural Comput. Appl.	2019	DBLP DOI BibTeX RDF
25	Hongyong Cui, Peter E. Kloeden	Tail convergences of pullback attractors for asymptotically converging multi-valued dynamical systems.	Asymptot. Anal.	2019	DBLP DOI BibTeX RDF
25	Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco	Proof-Net as Graph, Taylor Expansion as Pullback.	WoLLIC	2019	DBLP DOI BibTeX RDF
25	Elham Abouei, Anthony M. D. Lee, Geoffrey Hohert, Pierre Lane, Stephen Lam, Calum MacAulay	Quantitative Evaluation of Correction Methods and Simulation of Motion Artifacts for Rotary Pullback Imaging Catheters.	MIUA	2018	DBLP DOI BibTeX RDF
25	A. R. Shir Ali Nasab, S. N. Hosseini	Pullback in Partial Morphism Categories.	Appl. Categorical Struct.	2017	DBLP DOI BibTeX RDF
25	Andrea Corradini 0001, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro 0001	The Pullback-Pushout Approach to Algebraic Graph Transformation.	ICGT	2017	DBLP DOI BibTeX RDF
25	Kaixuan Zhu, Feng Zhou	Continuity and pullback attractors for a non-autonomous reaction-diffusion equation in RN.	Comput. Math. Appl.	2016	DBLP DOI BibTeX RDF
25	Qinghua Zhou 0001, Li Wan, Hongbo Fu 0002, Qunjiao Zhang	Pullback attractor for Cohen-Grossberg neural networks with time-varying delays.	Neurocomputing	2016	DBLP DOI BibTeX RDF
25	Nguyen Van Dac, Tran Dinh Ke	Pullback attractor for differential evolution inclusions with infinite delays.	Appl. Math. Comput.	2015	DBLP DOI BibTeX RDF
25	Michele Coti Zelati, Piotr Kalita	Minimality Properties of Set-Valued Processes and their Pullback Attractors.	SIAM J. Math. Anal.	2015	DBLP DOI BibTeX RDF
25	María Anguiano	Pullback Attractors for a Reaction-Diffusion Equation in a General Nonempty Open Subset of ℝN with Nonautonomous Forcing Term in H-1.	Int. J. Bifurc. Chaos	2015	DBLP DOI BibTeX RDF
25	Xingjie Yan, Wei Qi	Pullback Exponential Attractors for Nonautonomous Reaction-Diffusion Equations.	Int. J. Bifurc. Chaos	2015	DBLP DOI BibTeX RDF
25	Min Zhao 0003, Shengfan Zhou	Pullback and Uniform Exponential Attractors for Nonautonomous Boussinesq Lattice System.	Int. J. Bifurc. Chaos	2015	DBLP DOI BibTeX RDF
25	A. R. Shir Ali Nasab, S. N. Hosseini	Partial pullback complement rewriting.	Theor. Comput. Sci.	2015	DBLP DOI BibTeX RDF
25	Ancong Wang, Jeroen Eggermont, Niels Dekker, Patrick J. H. de Koning, Johan H. C. Reiber, Jouke Dijkstra	3D assessment of stent cell size and side branch access in intravascular optical coherence tomographic pullback runs.	Comput. Medical Imaging Graph.	2014	DBLP DOI BibTeX RDF
25	Meiyu Sui, Yejuan Wang	Upper semicontinuity of pullback attractors for lattice nonclassical diffusion delay equations under singular perturbations.	Appl. Math. Comput.	2014	DBLP DOI BibTeX RDF
25	Sun Hye Park, Jong Yeoul Park	Pullback attractor for a non-autonomous modified Swift-Hohenberg equation.	Comput. Math. Appl.	2014	DBLP DOI BibTeX RDF
25	Fuqi Yin, Linfang Liu	D-pullback attractor for a non-autonomous wave equation with additive noise on unbounded domains.	Comput. Math. Appl.	2014	DBLP DOI BibTeX RDF
25	Danxia Wang, Jianwen Zhang, Yinzhu Wang	Pullback D-Attractor of Coupled Rod Equations with Nonlinear Moving Heat Source.	J. Appl. Math.	2014	DBLP DOI BibTeX RDF
25	Fabio Cuzzolin, Michael Sapienza	Learning Pullback HMM Distances.	IEEE Trans. Pattern Anal. Mach. Intell.	2014	DBLP DOI BibTeX RDF
25	T. Tachim Medjo	Pullback attractors for a non-autonomous Cahn-Hilliard-Navier-Stokes system in 2D.	Asymptot. Anal.	2014	DBLP DOI BibTeX RDF
25	Yuming Qin, Jianpeng Zhang, Linlin Sun	Upper semicontinuity of pullback attractors for a non-autonomous viscoelastic equation.	Appl. Math. Comput.	2013	DBLP DOI BibTeX RDF
25	Jum-Ran Kang	Pullback attractors for the non-autonomous coupled suspension bridge equations.	Appl. Math. Comput.	2013	DBLP DOI BibTeX RDF
25	María Anguiano, Tomás Caraballo, José Real, José Valero 0001	Pullback attractors for a nonautonomous integro-differential equation with Memory in some Unbounded Domains.	Int. J. Bifurc. Chaos	2013	DBLP DOI BibTeX RDF
25	Tomás Caraballo, Gábor Kiss, Takeshi Taniguchi	Pullback attractors for differential equations with Multiple variable delays in Lipschitz nonlinearities.	Int. J. Bifurc. Chaos	2013	DBLP DOI BibTeX RDF
25	Cung The Anh, Nguyen Duong Toan	Pullback Attractors for Nonclassical Diffusion Equations in Noncylindrical Domains.	Int. J. Math. Math. Sci.	2012	DBLP DOI BibTeX RDF
25	Guangxia Chen	Pullback Attractor for Non-autonomous P-Laplacian Equation in Unbounded Domain.	NL-MUA	2011	DBLP DOI BibTeX RDF
25	G. Lukaszewicz	On Pullback attractors in for nonautonomous Reaction-Diffusion Equations.	Int. J. Bifurc. Chaos	2010	DBLP DOI BibTeX RDF
25	María Anguiano, Tomás Caraballo, José Real	Existence of Pullback Attractor for a Reaction-Diffusion equation in Some Unbounded Domains with Non-Autonomous Forcing Term in H-1.	Int. J. Bifurc. Chaos	2010	DBLP DOI BibTeX RDF
25	Gözde Gül Isgüder, Gözde B. Ünal, Martin Groher, Nassir Navab, Ali Kemal Kalkan, Muzaffer Degertekin, Holger Hetterich, Johannes Rieber	Manifold Learning for Image-Based Gating of Intravascular Ultrasound(IVUS) Pullback Sequences.	MIAR	2010	DBLP DOI BibTeX RDF
25	Wolfram Kahl	Amalgamating Pushout and Pullback Graph Transformation in Collagories.	ICGT	2010	DBLP DOI BibTeX RDF
25	Yongjun Li, Suyun Wang, Hongqing Wu	Pullback attractors for non-autonomous reaction-diffusion equations in Lp.	Appl. Math. Comput.	2009	DBLP DOI BibTeX RDF
25	Sean M. O'Malley, J. F. Granada, Stephane G. Carlier, Morteza Naghavi, Ioannis A. Kakadiaris	Image-Based Gating of Intravascular Ultrasound Pullback Sequences.	IEEE Trans. Inf. Technol. Biomed.	2008	DBLP DOI BibTeX RDF
25	Yongjun Li, Chengkui Zhong	Pullback attractors for the norm-to-weak continuous process and application to the nonautonomous reaction-diffusion equations.	Appl. Math. Comput.	2007	DBLP DOI BibTeX RDF
25	Christopher F. Townsend	Presenting locale pullback via directed complete posets.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
25	Christopher F. Townsend	Presenting Locale Pullback Via Directed Complete Posets: Extended Abstract.	Workshop on Domains	2002	DBLP DOI BibTeX RDF
25	Michel Bauderon, Hélène Jacquet, Renate Klempien-Hinrichs	Pullback rewriting and applications.	GETGRATS Closing Workshop	2001	DBLP DOI BibTeX RDF
25	Hartmut Ehrig, Reiko Heckel, Mercè Llabrés, Fernando Orejas, Julia Padberg, Grzegorz Rozenberg	Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information.	TAGT	1998	DBLP DOI BibTeX RDF
25	Hélène Jacquet, Renate Klempien-Hinrichs	Node Replacement in Hypergraphs: Translating NCE Rewriting into the Pullback Approach.	TAGT	1998	DBLP DOI BibTeX RDF
25	David B. Holgate	The pullback closure operator and generalisations of perfectness.	Appl. Categorical Struct.	1996	DBLP DOI BibTeX RDF
25	Michel Bauderon	Parallel rewriting of graphs through the pullback approach.	SEGRAGRA	1995	DBLP DOI BibTeX RDF
25	Michel Bauderon	A Uniform Approach to Graph Rewriting: The Pullback Approach.	WG	1995	DBLP DOI BibTeX RDF
18	Gabriel Ciobanu, Sergiu Rudeanu	Final and sequential behaviours of M-automata.	Acta Informatica	2009	DBLP DOI BibTeX RDF
18	Michel Bauderon, Rui Chen, Olivier Ly	Context-Free Categorical Grammars.	CAI	2009	DBLP DOI BibTeX RDF	context-freeness, grammar, Category, rewriting system
18	Xinlin Zhang, Huaikou Miao, Shenghong Li	An Approach to Checking the Compatibility for Web Services Specification Based on the Typed Graph Category.	ICYCS	2008	DBLP DOI BibTeX RDF
18	Maxime Rebout, Louis Féraud, Sergei Soloviev 0001	A Unified Categorical Approach for Attributed Graph Rewriting.	CSR	2008	DBLP DOI BibTeX RDF
18	Yun Liang 0010, Hui Zhu, Thomas Gehrig, Morton H. Friedman	Estimation of Coronary Arterial Wall Strain in Clinical Ivus Images.	ISBI	2007	DBLP DOI BibTeX RDF
18	Mojgan Mahmoudi, Christoph Schubert, Walter Tholen	Universality of Coproducts in Categories of Lax Algebras.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification 18C99, 18A30
18	Uwe Wolter	A (Co)Algebraic Analysis of Synchronization in CSP.	WADT	2006	DBLP DOI BibTeX RDF
18	Paolo Baldan, Stefan Haar, Barbara König 0001	Distributed Unfolding of Petri Nets.	FoSSaCS	2006	DBLP DOI BibTeX RDF
18	Andrea Corradini 0001, Tobias Heindel, Frank Hermann 0001, Barbara König 0001	Sesqui-Pushout Rewriting.	ICGT	2006	DBLP DOI BibTeX RDF
18	Clemens Kupke, Yde Venema	Closure Properties of Coalgebra Automata.	LICS	2005	DBLP DOI BibTeX RDF
18	Misael Rosales, Petia Radeva, Oriol Rodriguez, Debora Gil	Suppression of IVUS Image Rotation. A Kinematic Approach.	FIMH	2005	DBLP DOI BibTeX RDF
18	Bartek Klin	The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic.	CALCO	2005	DBLP DOI BibTeX RDF
18	Mark van Hoeij, Jacques-Arthur Weil	Solving second order linear differential equations with Klein's theorem.	ISSAC	2005	DBLP DOI BibTeX RDF
18	Andreas Wahle, Mark E. Olszewski, Milan Sonka	Interactive virtual endoscopy in coronary arteries based on multimodality fusion.	IEEE Trans. Medical Imaging	2004	DBLP DOI BibTeX RDF
18	Changhyun Cho, Jae-Bok Song, Munsang Kim, Chang-Soon Hwang	Energy-based Control of a Passive Haptic Device.	ICRA	2004	DBLP DOI BibTeX RDF
18	Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello	Modular System Development with Pullbacks.	ICATPN	2003	DBLP DOI BibTeX RDF
18	Benoit Godbout, Jacques A. de Guise, Gilles Soulez, Guy Cloutier	3D Elastic Registration of Vessel Lumen from IVUS Data on Biplane Angiography.	MICCAI (1)	2003	DBLP DOI BibTeX RDF
18	Michel Bauderon, Frédérique Carrère	Decomposing Graphs with Symmetries.	ICGT	2002	DBLP DOI BibTeX RDF
18	Fernando Orejas, Hartmut Ehrig, Elvira Pino	Tight and Loose Semantics for Transformation Systems.	WADT	2001	DBLP DOI BibTeX RDF
18	Eraldo Giuli, Walter Tholen	Openness with Respect to a Closure Operator.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	closed morphism, open morphism, initial morphism, final morphism, open subobject, natural complement, closure operator
18	Leila Ribeiro 0001	Parallel Composition of Graph Grammars.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	graph grammars, parallel composition
18	Michel Bauderon, Hélène Jacquet	Node Rewriting in Hypergraphs.	WG	1996	DBLP DOI BibTeX RDF
18	Hartmut Ehrig, Barry K. Rosen	Concurrency of Manipulations in Multidimensional Information Structures.	MFCS	1978	DBLP DOI BibTeX RDF	Multidimensional Information Structures, Applications of Category Theory, Parallelism, Concurrency, Graph Grammars, Church-Rosser-Properties