The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for existence with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1936-1963 (17) 1964-1967 (18) 1968-1969 (15) 1970-1972 (23) 1973-1974 (27) 1975 (18) 1976 (19) 1977-1978 (30) 1979 (18) 1980 (19) 1981 (27) 1982 (24) 1983 (29) 1984 (31) 1985 (29) 1986 (38) 1987 (47) 1988 (69) 1989 (75) 1990 (90) 1991 (65) 1992 (87) 1993 (96) 1994 (107) 1995 (92) 1996 (96) 1997 (138) 1998 (156) 1999 (208) 2000 (248) 2001 (294) 2002 (419) 2003 (444) 2004 (622) 2005 (824) 2006 (987) 2007 (945) 2008 (943) 2009 (760) 2010 (300) 2011 (269) 2012 (272) 2013 (259) 2014 (268) 2015 (244) 2016 (235) 2017 (258) 2018 (241) 2019 (290) 2020 (319) 2021 (258) 2022 (260) 2023 (285) 2024 (90)
Publication types (Num. hits)
article(6381) book(3) data(1) incollection(33) inproceedings(5602) phdthesis(19) proceedings(3)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5949 occurrences of 3672 keywords

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