Search results for "existence"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
67	Alexandre Goldsztejn	Comparison of the Hansen-Sengupta and the Frommer-Lang-Schnurr existence tests.	Computing	2007	DBLP DOI BibTeX RDF	existence test, interval analysis, Nonlinear systems of equations
64	Petr Hájek 0001	Ontological Proofs of Existence and Non-Existence.	Stud Logica	2008	DBLP DOI BibTeX RDF	ontological proofs, non-existence, Gödel, Caramuel, existence
55	Monique Snoeck, Guido Dedene	Existence Dependency: The Key to Semantic Integrity Between Structural and Behavioral Aspects of Object Types.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	existence dependency, Software engineering, composition, conceptual model, aggregation, quality, object-oriented analysis, consistency checking
40	Igal Milchtaich	The Equilibrium Existence Problem in Finite Network Congestion Games.	WINE	2006	DBLP DOI BibTeX RDF	heterogeneous users, existence of equilibrium, network topology, Congestion games
40	Cleo Condoravdi, Dick Crouch, John O. Everett, Valeria de Paiva, Reinhard Stolle, Daniel G. Bobrow, Martin van den Berg	Preventing existence.	FOIS	2001	DBLP DOI BibTeX RDF	knowledge representation, existence, natural language semantics
40	Varsha Mainkar, Kishor S. Trivedi	Sufficient Conditions for Existence of a Fixed Point in Stochastic Reward Net-Based Iterative Models.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	Stochastic Petri nets, sufficient conditions, fixed-point iteration, existence
36	Jian-Wen Peng	A novel proof of the existence of solutions for a new system of generalized mixed quasi-variational-like inclusions involving ( A , eta , m )-accretive operators.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	System of generalized mixed quasi-variational-like inclusions, (A, ?, m)-accretive operator, Relaxed cocoercive mapping, Fixed point theorem, Existence
36	Matthias Baaz, Rosalie Iemhoff	On Interpolation in Existence Logics.	LPAR	2005	DBLP DOI BibTeX RDF	existence predicate, Gentzen calculus, Beth definability, truth-value logics, Gödel logics, Scott logics, interpolation, cut-elimination, Intuitionistic logic, Kripke models, Skolemization
36	John G. Cleary, Lunjin Lu	Constructive Negation Using Typed Existence Properties.	PLILP/ALP	1998	DBLP DOI BibTeX RDF	existence properties, type system, constructive negation
33	Ole Caprani, Kaj Madsen, Ole Stauning	Existence Test for Asynchronous Interval Iteration.	Reliab. Comput.	1997	DBLP DOI BibTeX RDF
32	George Isac, Sándor Zoltán Németh	The non-existence of a regular exceptional family of elements. A necessary and sufficient condition. Applications to complementarity theory.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Non-existence of a regular exceptional family of elements, Complementarity problems
32	Bui Trong Kien, Jen-Chih Yao, Nguyen Dong Yen	On the solution existence of pseudomonotone variational inequalities.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Generalized variational inequality, Pseudomonotone operator, Solution existence, Degree theory, Variational inequality
32	Sándor Imre	Quantum Existence Testing and Its Application for Finding Extreme Values in Unsorted Databases.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	quantum existence testing, Search, counting
32	Matthias Baaz, Rosalie Iemhoff	Gentzen Calculi for the Existence Predicate.	Stud Logica	2006	DBLP DOI BibTeX RDF	existence predicate, Gentzen calculus, truth-value logics, Gödel logics, Scott logics, cut-elimination, Intuitionistic logic, Kripke models, Skolemization
32	Xiangpeng Jing, Dipankar Raychaudhuri	Spectrum Co-existence of IEEE 802.11b and 802.16a Networks Using Reactive and Proactive Etiquette Policies.	Mob. Networks Appl.	2006	DBLP DOI BibTeX RDF	Spectrum etiquette protocol, CSCC, Co-existence, Cognitive radio, Dynamic spectrum access
32	Vyacheslav M. Abramov, Robert Sh. Liptser	On Existence of Limiting Distribution for Time-Nonhomogeneous Countable Markov Process.	Queueing Syst. Theory Appl.	2004	DBLP DOI BibTeX RDF	countable Markov process, existence of the limiting distribution, birth-and-death process
29	Yannis A. Korilis, Aurel A. Lazar	On the Existence of Equilibria in Noncooperative Optimal Flow Control.	J. ACM	1995	DBLP DOI BibTeX RDF	game theory, flow control, fixed points, Nash equilibria
29	T. C. Chiang	A new look at existence dependency in databases.	AFIPS National Computer Conference	1983	DBLP DOI BibTeX RDF
28	Kentaro Fujiwara, Kaname Harumoto, Yuuichi Teranishi, Toyokazu Akiyama, Susumu Takeuchi, Shojiro Nishio	A Self-Localization Method Using Propagation of Existence Probability.	SAINT	2010	DBLP DOI BibTeX RDF	Existence probability, RSSI, Self-localization
28	Hajime Ishihara	Unique Existence and Computability in Constructive Reverse Mathematics.	CiE	2007	DBLP DOI BibTeX RDF	unique existence, Brouwer’s fan theorem, weak König lemma, computability, constructive mathematics, reverse mathematics
28	Oded Goldreich 0001, Hugo Krawczyk, Michael Luby	On the Existence of Pseudorandom Generators (Extended Abstract)	FOCS	1988	DBLP DOI BibTeX RDF	pseudorandom generators existence, regular functions, k-bit string, decoding, one-way functions, linear codes
28	Sung Je Hong	Existence Algorithms for Synchronizing/Distinguishing Sequences.	IEEE Trans. Computers	1981	DBLP DOI BibTeX RDF	tree method, existence algorithm, successor tree, finite-state machine, Distinguishing sequence, synchronizing sequence, state-identification
27	Pham Huu Sach, Le Anh Tuan 0001	Generalizations of vector quasivariational inclusion problems with set-valued maps.	J. Glob. Optim.	2009	DBLP DOI BibTeX RDF	Quasivariational inclusion problem, Set-valued map, Existence theorem, Pseudomonotonicity, Generalized concavity
27	George Isac, Sándor Zoltán Németh	Regular exceptional family of elements with respect to isotone projection cones in Hilbert spaces and complementarity problems.	Optim. Lett.	2008	DBLP DOI BibTeX RDF	Non-existence of a regular exceptional family of elements, Isotone projection cones, Complementarity problems
27	Giangiacomo Gerla	Multivalued Logic to Transform Potential into Actual Objects.	Stud Logica	2007	DBLP DOI BibTeX RDF	Potential existence, point-free geometry, multi-valued logic, infinity
27	Vyacheslav Kalashnikov, George Isac	Solvability of Implicit Complementarity Problems.	Ann. Oper. Res.	2002	DBLP DOI BibTeX RDF	implicit complementarity problem, exceptional families, existence alternatives, continuous selections
27	Emmanuel Prados, Olivier D. Faugeras, Elisabeth Rouy	Shape from Shading and Viscosity Solutions.	ECCV (2)	2002	DBLP DOI BibTeX RDF	existence and uniqueness of a solution, dynamic programming principle, approximation and numerical schemes, Shape from Shading, viscosity solutions, Hamilton-Jacobi equations
27	Hongchuan Yu, Dejun Wang, Zesheng Tang	Level Set Methods and Image Segmentation.	MIAR	2001	DBLP DOI BibTeX RDF	Existence and uniqueness, Image segmentation, Level set methods, Distance function
27	Viggo Stoltenberg-Hansen, John V. Tucker	Infinite Systems of Equations over Inverse Limits and Infinite Synchronous Concurrent Algorithms.	REX Workshop	1992	DBLP DOI BibTeX RDF	Inverse limits of algebras, ultrametric algebras, infinite systems of equations, existence and uniqueness theorems, synchronous concurrent algorithms, infinitely parallel deterministic systems, streams, domains
25	Dieter Hutter	Synthesis of Induction Orderings for Existence Proofs.	CADE	1994	DBLP DOI BibTeX RDF
23	Yan Li	Evolution Differential Systems with Impulse and Delay.	ISNN (1)	2009	DBLP DOI BibTeX RDF	Evolution differential systems, Delays, Impulses, Existence
23	Junhao Hu, Huafeng Chen	Neutral Differential Systems with Impulse and Delay.	ISNN (1)	2009	DBLP DOI BibTeX RDF	Neutral differential systems, Delays, Impulses, existence
23	Le Dung Muu, V. H. Nguyen, N. V. Quy	On Nash-Cournot oligopolistic market equilibrium models with concave cost functions.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Nonconvex Nash-Cournot model, Concave cost, Existence of solution, Algorithm, Equilibrium, Variational inequality
23	Tomasz Klajbor, Józef Wozniak	Interference aware Bluetooth scatternet (re)configuration algorithm IBLUEREA.	Telecommun. Syst.	2008	DBLP DOI BibTeX RDF	Co-existence, Bluetooth, Interference, IEEE 802.11b
23	Bao Rong Chang, Hsiu Fen Tsai	Performance Evaluation of Three Kinds of Quantum Optimization.	ISICA	2007	DBLP DOI BibTeX RDF	quantum minimization, neuromprphic quantum-based optimization, logarithmic search with quantum existence testing
23	Peter Burmeister	Algebraic theory of quasivarieties of heterogeneous partial algebras.	Stud Logica	2004	DBLP DOI BibTeX RDF	heterogeneous partial algebra, existence equation (E-equation), QE-equation, strong equation, logical (Craig) projection, extended signature, implicational theory, algebraic closure operators, primitive class, quasiprimitive class, quasivariety
23	Anatoly Prihozhy, Daniel Mlynek, Michail Solomennik, Marco Mattavelli	Techniques for Optimization of Net Algorithms.	PARELEC	2002	DBLP DOI BibTeX RDF	net algorithm, existence problem, optimization, parallelization, critical path
23	Peter Schuster	Elementary Choiceless Constructive Analysis.	CSL	2000	DBLP DOI BibTeX RDF	Countable Choice, Unique Existence, Intermediate Values, Connectedness 2000 MSC. Primary 03F60, Secondary 03E25, 26A15, 26E40, 54D05, 54E35, Constructive Mathematics, Approximate Analysis
23	Scott A. Mitchell	A Characterization of the Quadrilateral Meshes of a Surface Which Admit a Compatible Hexahedral Mesh of the Enclosed Volume.	STACS	1996	DBLP DOI BibTeX RDF	hexahedral mesh generation, Computational Geometry, existence
23	Nir Katzir, Michael Lindenbaum, Moshe Porat	Curve Segmentation Under Partial Occlusion.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	2-D shape boundary segmentation, partially occluded object recognition, smooth boundary curve, similarity transformation invariance, intersection point existence conditions, image segmentation, transforms, image recognition, gray level images, partial occlusion, curve segmentation
21	Sven Kosub	Dichotomy Results for Fixed-Point Existence Problems for Boolean Dynamical Systems.	Math. Comput. Sci.	2008	DBLP DOI BibTeX RDF	algorithms and complexity, fixed points, Discrete dynamical systems
21	Yiannis S. Boutalis, Theodore L. Kottas, Manolis A. Christodoulou	On the existence and uniqueness of solutions for the concept values in Fuzzy Cognitive Maps.	CDC	2008	DBLP DOI BibTeX RDF
21	Abraham Miliotis, William L. Ditto, Sudeshna Sinha	Exploiting Nonlinear Dynamics to Search for the Existence of Matches in a Database.	APCCAS	2006	DBLP DOI BibTeX RDF
21	April Rasala, Clifford Stein 0001, Eric Torng, Patchrawat Uthaisombut	Existence theorems, lower bounds and algorithms for scheduling to meet two objectives.	SODA	2002	DBLP BibTeX RDF
21	Akihiro Yamamoto	New Conditions for the Existence of Least Generalizations under Relative Subsumption.	ILP	2000	DBLP DOI BibTeX RDF
21	Ivan Damgård, Torben P. Pedersen, Birgit Pfitzmann	On the Existence of Statistically Hiding Bit Commitment Schemes and Fail-Stop Signatures.	CRYPTO	1993	DBLP DOI BibTeX RDF
21	Ivan Damgård	On the Existence of Bit Commitment Schemes and Zero-Knowledge Proofs.	CRYPTO	1989	DBLP DOI BibTeX RDF
21	Ketan Mulmuley	The Mechanization of Existence Proofs of Recursive Predicates.	CADE	1984	DBLP DOI BibTeX RDF
20	Shigemasa Takai, Toshimitsu Ushio	A New Class of Supervisors for Timed Discrete Event Systems Under Partial Observation.	Discret. Event Dyn. Syst.	2006	DBLP DOI BibTeX RDF	Timed discrete event system, Forcible event, Supervisory control, Partial observation
20	Phokion G. Kolaitis, Jonathan Panttaja, Wang Chiew Tan	The complexity of data exchange.	PODS	2006	DBLP DOI BibTeX RDF	database dependencies, complexity, data exchange, schema mappings, heterogenous databases, undecidability, data translation
19	Zhenjiang Li, J. J. Garcia-Luna-Aceves	Finding multi-constrained feasible paths by using depth-first search.	Wirel. Networks	2007	DBLP DOI BibTeX RDF	Multi-constrained path selection, Success ratio, Existence percentage, Competitive ratio, Depth-first search
19	Yueh-Hsuan Weng, Chien-Hsun Chen, Chuen-Tsai Sun	The legal crisis of next generation robots: on safety intelligence.	ICAIL	2007	DBLP DOI BibTeX RDF	human-robot co-existence society, robot intelligence, robot law, safety engineering, safety intelligence
19	Tomasz Klajbor, Józef Wozniak	Interference Aware Bluetooth Scatternet (Re)configuration Algorithm IBLUEREA. (PDF / PS)	PWC	2007	DBLP DOI BibTeX RDF	IEEE 802.1 lb, co-existence, Bluetooth, interference
19	Peter Schuster 0001	Problems as Solutions.	CiE	2007	DBLP DOI BibTeX RDF	uniform continuity, unique existence, countable choice, completeness, Metric spaces, constructive mathematics
19	János Barát, Alberto Del Fra, Stefano Innamorati, Leo Storme	Minimal Blocking Sets in PG(2, 8) and Maximal Partial Spreads in PG(3, 8).	Des. Codes Cryptogr.	2004	DBLP DOI BibTeX RDF	finite projective plane, partial spread, non-existence, blocking set
19	Habib Ammari, Gang Bao	Maxwell's Equations in a Perturbed Periodic Structure.	Adv. Comput. Math.	2002	DBLP DOI BibTeX RDF	perturbed periodic structures, integral representation, existence and uniqueness, near-field optics, Maxwell's equations
19	Yasuyuki Yanagida, Taro Maeda, Susumu Tachi	A Method of Constructing a Telexistence Visual System Using Fixed Screens.	VR	2000	DBLP DOI BibTeX RDF	telexistence (tele-existence), immersive projection technology, head-tracked display, off-axis projection
19	Yuko Murayama	Configuration Detection as a Problem of Knowledge Discovery in Computer Networks.	CoopIS	1997	DBLP DOI BibTeX RDF	configuration detection, network object existence, network object location, network configuration knowledge maintenance, scale problem, management domain partitioning, network address authorisation, network-level threats, security technique, address resolution, data mining, knowledge discovery, computer networks, configuration management, routers, inconsistency, internetworking, dynamic learning, invalidity, hosts
19	Mary Beth Rosson, John M. Carroll 0001	The Reuse of Uses in Smalltalk Programming.	ACM Trans. Comput. Hum. Interact.	1996	DBLP DOI BibTeX RDF	debugging into existence, reuse of uses, usage context, Smalltalk, example-based learning
19	Noga Alon	A parallel algorithmic version of the Local Lemma	FOCS	1991	DBLP DOI BibTeX RDF	algorithmic search problems, positive probability, existence proofs, deterministic NC/sup 1/ algorithms, parallel algorithms, Lovasz local lemma
18	Christian Mancas	On Enforcing Existence and Non-Existence Constraints in MatBase.	CoRR	2024	DBLP DOI BibTeX RDF
18	Michael Q. Rieck	Geometric Conditions for the Existence or Non-existence of a Solution to the Perspective 3-Point Problem.	J. Math. Imaging Vis.	2024	DBLP DOI BibTeX RDF
18	Bimal Mandal, Subhamoy Maitra, Pantelimon Stanica	On the existence and non-existence of some classes of bent-negabent functions.	Appl. Algebra Eng. Commun. Comput.	2022	DBLP DOI BibTeX RDF
18	Lilian Salinas, Luis Gómez, Julio Aracena	Existence and Non Existence of Limit Cycles in Boolean Networks.	Automata and Complexity	2022	DBLP DOI BibTeX RDF
18	David Y. Oshima	The Semantic Markedness of the Japanese Negative Preterite: Non-existence of (Positive) Eventualities vs. Existence of Negative Eventualities.	LENLS	2022	DBLP DOI BibTeX RDF
18	Johannes Himmelreich	Existence, really? Tacit disagreements about "existence" in disputes about group minds and corporate agents.	Synth.	2021	DBLP DOI BibTeX RDF
18	Christopher Duffy 0001, Sonja Linghui Shan	On the existence and non-existence of improper homomorphisms of oriented and $2$-edge-coloured graphs to reflexive targets.	Discret. Math. Theor. Comput. Sci.	2021	DBLP DOI BibTeX RDF
18	Liejun Shen	Existence and non-existence results for quasilinear Kirchhoff problems with the Hardy-Sobolev exponent.	Comput. Math. Appl.	2018	DBLP DOI BibTeX RDF
18	Sophie Huczynska, Maura B. Paterson	Existence and non-existence results for strong external difference families.	Discret. Math.	2018	DBLP DOI BibTeX RDF
18	Thomas Dumas	Existence de solutions pour des équations apparentées au 1 Laplacien anisotrope. (Existence of solutions for equations relative to 1 Laplacian anisotropic).		2018	RDF
18	Dongdong Qin, Jing Chen, Xianhua Tang	Existence and non-existence of nontrivial solutions for Schrödinger systems via Nehari-Pohozaev manifold.	Comput. Math. Appl.	2017	DBLP DOI BibTeX RDF
18	Lise Rodier	Existence et calcul distribué d'équilibres dans des jeux de congestion généralisés. (Existence and distributed computation of equilibria in generalized congestion games).		2016	RDF
18	Sofia Moroni, Jeroen M. Swinkels	Existence and non-existence in the moral hazard problem.	J. Econ. Theory	2014	DBLP DOI BibTeX RDF
18	Dragos-Patru Covei	Existence and non-existence of solutions for an elliptic system.	Appl. Math. Lett.	2014	DBLP DOI BibTeX RDF
18	Gregory Z. Gutin, Mark Jones 0001	Note on Existence and Non-Existence of Large Subsets of Binary Vectors with Similar Distances	CoRR	2012	DBLP BibTeX RDF
18	Handan Borluk, Hüsnü Ata Erbay, Saadet Erbay	Non-existence and existence of localized solitary waves for the two-dimensional long-wave-short-wave interaction equations.	Appl. Math. Lett.	2010	DBLP DOI BibTeX RDF
18	Siguna Müller	On the existence and non-existence of elliptic pseudoprimes.	Math. Comput.	2010	DBLP DOI BibTeX RDF
18	Colin Maclachlan	Existence and Non-Existence of Torsion in Maximal Arithmetic Fuchsian Groups.	Groups Complex. Cryptol.	2009	DBLP DOI BibTeX RDF
18	Yuka Obu, Masahiro Miyata, Juyeon Choe, Katsumi Terakado, Tatsuhiro Yonekura	The Existence Proof Service of the web Pages - New Web Service to Get Grounds of the Existence of the Web Pages.	WEBIST	2009	DBLP BibTeX RDF
18	Yixin Guo, Carson C. Chow	Existence and Stability of Standing Pulses in Neural Networks: I. Existence.	SIAM J. Appl. Dyn. Syst.	2005	DBLP DOI BibTeX RDF
18	Nicholas A. Hamilton, Rudolf Mathon	Existence and Non-existence ofm-systems of Polar Spaces.	Eur. J. Comb.	2001	DBLP DOI BibTeX RDF
18	William G. Lycan	Eternal existence and necessary existence.	Notre Dame J. Formal Log.	1976	DBLP DOI BibTeX RDF
18	Richard M. Wilson 0001	An Existence Theory for Pairwise Balanced Designs, III: Proof of the Existence Conjectures.	J. Comb. Theory, Ser. A	1975	DBLP DOI BibTeX RDF
18	Richard M. Wilson 0001	An Existence Theory for Pairwise Balanced Designs II. The Structure of PBD-Closed Sets and the Existence Conjectures.	J. Comb. Theory, Ser. A	1972	DBLP DOI BibTeX RDF
17	Takao Hagiwara, Masumi Ishikawa	Emergence of Behaviors by Reinforcement Learning Based on the Desire for Existence.	Brain-Inspired Information Technology	2010	DBLP DOI BibTeX RDF
17	Weidong Guo, Gennian Ge	The existence of generalized mix functions.	Des. Codes Cryptogr.	2009	DBLP DOI BibTeX RDF	AMS Classifications Primary 05B15, 94A60
17	Yizhar Or, Aaron D. Ames	Existence of Periodic Orbits with Zeno Behavior in Completed Lagrangian Hybrid Systems.	HSCC	2009	DBLP DOI BibTeX RDF
17	Guillaume Escamocher, Peter Bro Miltersen, Rocio Santillan R.	Existence and computation of equilibria of first-price auctions with integral valuations and bids.	AAMAS (2)	2009	DBLP BibTeX RDF	AAMAS proceedings, interactions::auctions and related structures, theoretical, economics
17	HongDa Li 0001, Bao Li 0001	Existence of 3-round zero-knowledge proof systems for NP.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	non-black-box simulation, DDH assumption, zero-knowledge proof, interactive proof
17	Lai-Jiu Lin 0001, Song Yu Wang, Chih-Sheng Chuang	Existence theorems of systems of variational inclusion problems with applications.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Upper semicontinuous (lower semicontinuous) multivalued map, Systems of variational inclusions problem, Bilevel problem, Ideal minimal point, Efficient point
17	Jeff Janies	Existence Plots: A Low-Resolution Time Series for Port Behavior Analysis.	VizSEC	2008	DBLP DOI BibTeX RDF	Network traffic visualization, Low-resolution visualization, Time series
17	Evangelia Pyrga, Saurabh Ray	New existence proofs epsilon-nets.	SCG	2008	DBLP DOI BibTeX RDF	strong ?-nets, discrete geometry, hitting sets, hypergraph transversals
17	Leonid M. Fridman, Yannick Aoustin, Franck Plestan	Decomposition of existence and stability analysis of periodic solutions of systems with impacts: Application to bipedal walking robot.	CDC	2008	DBLP DOI BibTeX RDF
17	Kiheon Park	Existence conditions of decoupling controllers in the generalized plant model.	CDC	2008	DBLP DOI BibTeX RDF
17	Tomás Neustupa	Question of Existence and Uniqueness of Solution for Navier-Stokes Equation with Linear "Do-Nothing" Type Boundary Condition on the Outflow.	NAA	2008	DBLP DOI BibTeX RDF
17	Ou Wu, Haiqiang Zuo, Weiming Hu, Mingliang Zhu, Shuxiao Li	Recognizing and Filtering Web Images Based on People's Existence.	Web Intelligence	2008	DBLP DOI BibTeX RDF
17	Jiangzhuo Chen, Robert D. Kleinberg, László Lovász 0001, Rajmohan Rajaraman, Ravi Sundaram, Adrian Vetta	(Almost) Tight bounds and existence theorems for single-commodity confluent flows.	J. ACM	2007	DBLP DOI BibTeX RDF	confluent flow, routing, Approximation algorithms, network flow, tight bounds
17	Dimitri P. Bertsekas, Paul Tseng	Set Intersection Theorems and Existence of Optimal Solutions.	Math. Program.	2007	DBLP DOI BibTeX RDF	Mathematical subject classification (1991) 49J99, 90C30, 90C25, 90C26
17	Tetsuo Asano, Jirí Matousek 0001, Takeshi Tokuyama	Zone diagrams: existence, uniqueness and algorithmic challenge.	SODA	2007	DBLP BibTeX RDF
17	Minghui Jiang 0002, Xiaohong Wang, Yi Shen 0002	Existence and Stability of Periodic Solution of Non-autonomous Neural Networks with Delay.	ISNN (1)	2007	DBLP DOI BibTeX RDF