|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 287 occurrences of 232 keywords
|
|
|
Results
Found 907 publication records. Showing 907 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
84 | Irina Perfilieva |
Fixed Points and Solvability of Systems of Fuzzy Relation Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA (2) ![In: Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, Selection of Papers from IFSA 2007, pp. 841-849, 2007, Springer, 978-3-540-72433-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
solvability of a system of equations, semilinear space, fixed point, Residuated lattice |
78 | Franz Baader, Klaus U. Schulz |
Combination Techniques and Decision Problems for Disunification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings, pp. 301-315, 1993, Springer, 3-540-56868-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
68 | Eli Gafni |
The extended BG-simulation and the characterization of t-resiliency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 41st Annual ACM Symposium on Theory of Computing, STOC 2009, Bethesda, MD, USA, May 31 - June 2, 2009, pp. 85-92, 2009, ACM, 978-1-60558-506-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
solvability, t-resiliency, decidability, symmetry breaking, wait-freedom, renaming |
62 | Liesbeth De Mol |
Study of Limits of Solvability in Tag Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCU ![In: Machines, Computations, and Universality, 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007, Proceedings, pp. 170-181, 2007, Springer, 978-3-540-74592-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Limits of solvability, Reachability problem, Tag Systems, Halting Problem |
57 | Eli Gafni, Petr Kuznetsov |
Brief announcement: on L-resilience, hitting sets, and colorless tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, PODC 2010, Zurich, Switzerland, July 25-28, 2010, pp. 81-82, 2010, ACM, 978-1-60558-888-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
distributed tasks, l-resilience, weak solvability, wait-freedom |
49 | Eli Gafni |
A Simple Algorithmic Characterization of Uniform Solvability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 43rd Symposium on Foundations of Computer Science (FOCS 2002), 16-19 November 2002, Vancouver, BC, Canada, Proceedings, pp. 228-237, 2002, IEEE Computer Society, 0-7695-1822-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
46 | Antonio Fernández Anta, Alessia Milani |
Bounds for Deterministic Reliable Geocast in Mobile Ad-Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Principles of Distributed Systems, 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings, pp. 164-183, 2008, Springer, 978-3-540-92220-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
speed of movement towards solvability, Mobile ad-hoc network, distributed algorithms, geocast |
46 | Lucian Ilie, Wojciech Plandowski |
Two-Variable Word Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2000, 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 2000, Proceedings, pp. 122-132, 2000, Springer, 3-540-67141-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
expressible language, complexity function, minimal solution, solvability, word equation |
44 | Klaus U. Schulz |
A Criterion for Intractability of E-unification with Free Function Symbols and Its Relevance for Combination Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997, Proceedings, pp. 284-298, 1997, Springer, 3-540-62950-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
38 | Jerzy Konorski |
Solvability of a Markovian Model of an IEEE 802.11 LAN under a Backoff Attack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: 13th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2005), 27-29 September 2005, Atlanta, GA, USA, pp. 491-498, 2005, IEEE Computer Society, 0-7695-2458-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Manfred Schmidt-Schauß, Klaus U. Schulz |
Solvability of Context Equations with Two Context Variables is Decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings, pp. 67-81, 1999, Springer, 3-540-66222-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Ketan Mulmuley |
A lOwer Bound for Solvability of Polynomial Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 13th Conference, Bombay, India, December 15-17, 1993, Proceedings, pp. 268-283, 1993, Springer, 3-540-57529-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
38 | Kazuhiro Yokoyama, Masayuki Noro, Taku Takeshima |
On Determining the Solvability of Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '90, Tokyo, Japan, August 20-24, 1990, pp. 127-134, 1990, ACM, 0-201-54892-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
35 | Daniel Andersson, Vladimir Gurvich, Thomas Dueholm Hansen |
On Acyclicity of Games with Cycles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAIM ![In: Algorithmic Aspects in Information and Management, 5th International Conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009. Proceedings, pp. 15-28, 2009, Springer, 978-3-642-02157-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Positional game, game form, improvement cycle, restricted improvement cycle, restricted acyclicity, Nash-solvability, Nash equilibrium |
35 | Leonid Khachiyan, Lorant Porkolab |
Computing Integral Points in Convex Semi-algebraic Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 38th Annual Symposium on Foundations of Computer Science, FOCS '97, Miami Beach, Florida, USA, October 19-22, 1997, pp. 162-171, 1997, IEEE Computer Society, 0-8186-8197-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
convex semi-algebraic sets, polynomial inequalities, linear integer programming, semidefinite integer programming, integer programming, polynomial-time algorithm, polynomial-time solvability |
33 | Vadim V. Lozin, Martin Milanic |
Tree-Width and Optimization in Bounded Degree Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007. Revised Papers, pp. 45-54, 2007, Springer, 978-3-540-74838-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Hereditary class of graphs, Induced Matching, Dominating set, Tree-width |
33 | César Luis Alonso, Fátima Drubi, José Luis Montaña |
An Evolutionary Algorithm for Solving Word Equation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAEPIA ![In: Current Topics in Artificial Intelligence, 10th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003, and 5th Conference on Technology Transfer, TTIA 2003, San Sebastian, Spain, November 12-14, 2003. Revised Selected Papers, pp. 147-156, 2003, Springer, 3-540-22218-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | John Havlicek |
Computable Obstructions to Wait-Free Computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 13(2), pp. 59-83, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Decision tasks, Homology, Simplicial complexes, Wait-free computing |
33 | Franz Baader, Klaus U. Schulz |
Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings, pp. 50-65, 1992, Springer, 3-540-55602-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Peter H. Starke |
Decision Problems for Multi-Tape Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1976, 5th Symposium, Gdansk, Poland, September 6-10, 1976, Proceedings, pp. 124-136, 1976, Springer, 0-387-07854-1. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
32 | Irina Perfilieva, Siegfried Gottwald |
Solvability and approximate solvability of fuzzy relation equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gen. Syst. ![In: Int. J. Gen. Syst. 32(4), pp. 361-372, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Martin Gavalec |
Solvability and unique solvability of max-min fuzzy equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 124(3), pp. 385-393, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Shawn Cokus, Victor Klee |
Decomposition Theorems for Conditional Sign-Solvability and Sign-Solvability of General Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Matrix Anal. Appl. ![In: SIAM J. Matrix Anal. Appl. 21(3), pp. 978-988, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Jiri Rohn |
On unique solvability of the absolute value equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 3(4), pp. 603-606, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Absolute value equation, Unique solution, Singular values |
27 | Martin Biely, Martin Hutle, Lucia Draque Penso, Josef Widder |
Relating Stabilizing Timing Assumptions to Stabilizing Failure Detectors Regarding Solvability and Efficiency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 4-20, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Neeraj Kayal |
Solvability of a System of Bivariate Polynomial Equations over a Finite Field. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings, pp. 551-562, 2005, Springer, 3-540-27580-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy |
Condition-based consensus solvability: a hierarchy of conditions and efficient protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 17(1), pp. 1-20, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Step complexity, Fault-tolerance, Shared memory, Consensus, Asynchronous system, Collect, Condition, Snapshot, Input vector |
27 | Alessandro Agostini |
On two families of paradigms of group-solvability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings, pp. 918-919, 2003, ACM, 1-58113-683-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
teams and group-dynamics, formalisms and logics for agents and MAS, coordination, groups, coalition formation |
27 | Pilar Fernandez-Ferreiros, Maria de los Angeles Gomez-Molleda, Laureano González-Vega |
Partial solvability by radicals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2002, Lille, France, July 7-10, 2002, Proceedings, pp. 84-91, 2002, ACM, 1-58113-484-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Hideo Nakajima, Tetsuya Miyoshi, Naohiko Inaba |
Solvability of network with nonlinear resistors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (3) ![In: Proceedings of the 2001 International Symposium on Circuits and Systems, ISCAS 2001, Sydney, Australia, May 6-9, 2001, pp. 33-36, 2001, IEEE, 0-7803-6685-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Bernadette Charron-Bost, Rachid Guerraoui, André Schiper |
Synchronous System and Perfect Failure Detector: Solvability and Efficiency Issue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 25-28 June 2000, New York, NY, USA, pp. 523-532, 2000, IEEE Computer Society, 0-7695-0707-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
fault-tolerance, distributed systems, efficiency, consensus, asynchronous system, failure detector, synchronous system |
27 | Giovanni Di Lena, Felice Iavernaro |
Solvability of Runge-Kutta and Block-BVMs Systems Applied to Scalar ODEs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NAA ![In: Numerical Analysis and Its Applications, Second International Conference, NAA 2000, Rousse, Bulgaria, June 11-15, 2000, Revised Papers, pp. 513-520, 2000, Springer, 3-540-41814-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Dorit S. Hochbaum |
Instant recognition of polynominal time solvability, half integrality and 2-approximations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPROX ![In: Approximation Algorithms for Combinatorial Optimization, Third International Workshop, APPROX 2000, Saarbrücken, Germany, September 5-8, 2000, Proceedings, pp. 2-14, 2000, Springer, 3-540-67996-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Heping Gao, Meera Sitharam |
Characterizing 1-dof Henneberg-I graphs with efficient configuration spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 1122-1126, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Henneberg-I graph, combinatorial rigidity, geometric constraints and reasoning, graph characterization, one degree of freedom (1-dof), quadratic or radical solvability, triangle-decomposable or tree-decomposable graph, underconstrained geometric constraint solving, computer aided design, mechanism, linkage, graph minor, algebraic complexity, configuration space |
23 | Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge |
A logic of games and propositional control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (2) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2, pp. 961-968, 2009, IFAAMAS, 978-0-9817381-7-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
effectivity functions, game solvability, propositional control, modal logic, solution concepts, strategic games |
23 | Mitsuhiro T. Nakao, Kouji Hashimoto, Yoshitaka Watanabe |
A Numerical Method to Verify the Invertibility of Linear Elliptic Operators with Applications to Nonlinear Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 75(1), pp. 1-14, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Numerical verification, unique solvability of linear elliptic problem, finite element method |
23 | Mira Bozzini, Licia Lenarduzzi, Robert Schaback |
Adaptive Interpolation by Scaled Multiquadrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 16(4), pp. 375-387, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
conditionally positive definite radial basis functions, solvability, scaling, shape parameters |
23 | Jochen Mades, Manfred Glesner |
Regularization of hierarchical VHDL-AMS models using bipartite graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 39th Design Automation Conference, DAC 2002, New Orleans, LA, USA, June 10-14, 2002, pp. 548-551, 2002, ACM, 1-58113-461-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
structural solvability, regularization, bipartite graphs, VHDL-AMS, DAEs |
23 | William H. Cunningham, James F. Geelen |
The Optimal Path-Matching Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 37th Annual Symposium on Foundations of Computer Science, FOCS '96, Burlington, Vermont, USA, 14-16 October, 1996, pp. 78-85, 1996, IEEE Computer Society, 0-8186-7594-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
path-matching, weighted matroid intersection, optimization, generalization, polynomial-time algorithm, convex hull, matrix algebra, separation, equivalence, polynomial-time solvability |
23 | Eugene M. Luks |
Computing in Solvable Matrix Groups ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 33rd Annual Symposium on Foundations of Computer Science, Pittsburgh, Pennsylvania, USA, 24-27 October 1992, pp. 111-120, 1992, IEEE Computer Society, 0-8186-2900-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Sylow subgroups, solvable matrix groups, solvability, nilpotence, discrete-log problem, solvable permutation groups, finite matrix groups, finite fields, polynomial-time, centralizers, intersections, algebraic number fields, subgroups, membership-testing |
22 | Yong Shi 0001, Yingjie Tian 0001, Xiaojun Chen 0001, Peng Zhang 0001 |
Regularized multiple criteria linear programs for classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 52(10), pp. 1812-1820, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
multiple criteria mathematical program, regularized multiple criteria mathematical program, data mining, classification |
22 | Eli Gafni, Petr Kuznetsov |
On Set Consensus Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings, pp. 35-47, 2009, Springer, 978-3-642-04354-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Randall Dougherty, Christopher F. Freiling, Kenneth Zeger |
Linear Network Codes and Systems of Polynomial Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 54(5), pp. 2303-2316, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre |
Collapsible Pushdown Automata and Recursion Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 452-461, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Higher-order pushdown automata, game semantics, higher-order recursion schemes |
22 | Galina A. Kurina, Roswitha März |
Feedback solutions of optimal control problems with DAE constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 280-285, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Yifeng Shao, Jie Wu 0001 |
Understanding the Tolerance of Dynamic Networks: A Routing-Oriented Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 28th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2008 Workshops), 17-20 June 2008, Beijing, China, pp. 180-185, 2008, IEEE Computer Society, 978-0-7695-3173-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Yong Shi 0001, Yingjie Tian 0001, Xiaojun Chen 0001, Peng Zhang 0001 |
A Regularized Multiple Criteria Linear Program for Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM Workshops ![In: Workshops Proceedings of the 7th IEEE International Conference on Data Mining (ICDM 2007), October 28-31, 2007, Omaha, Nebraska, USA, pp. 253-258, 2007, IEEE Computer Society, 0-7695-3033-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Marios Mavronicolas, Loizos Michael, Paul G. Spirakis |
Computing on a Partially Eponymous Ring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Principles of Distributed Systems, 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006, Proceedings, pp. 380-394, 2006, Springer, 3-540-49990-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Benoît Garbinato, Ian Rickebusch |
A Topological Condition for Solving Fair Exchange in Byzantine Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICS ![In: Information and Communications Security, 8th International Conference, ICICS 2006, Raleigh, NC, USA, December 4-7, 2006, Proceedings, pp. 30-49, 2006, Springer, 3-540-49496-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Per Johannessen, Fredrik Törner, Jan Torin |
Actuator Based Hazard Analysis for Safety Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, Proceedings, pp. 130-141, 2004, Springer, 3-540-23176-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Karl Frauendorfer, Gido Haarbrücker |
Solving Sequences of Refined Multistage Stochastic Linear Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 124(1-4), pp. 133-163, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
discretization schemes, multistage stochastic linear programs, barycentric approximation, optimality condition, financial applications |
22 | Andrei A. Krokhin, Benoît Larose |
Solving Order Constraints in Logarithmic Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2003, 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003, Proceedings, pp. 379-390, 2003, Springer, 3-540-00623-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Bhaskar Krishnamachari, Ramón Béjar, Stephen B. Wicker |
Distributed Problem Solving and the Boundaries of Self-Configuration in Multi-hop Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 35th Hawaii International Conference on System Sciences (HICSS-35 2002), CD-ROM / Abstracts Proceedings, 7-10 January 2002, Big Island, HI, USA, pp. 297, 2002, IEEE Computer Society, 0-7695-1435-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
computational complexity, phase transition, self-configuration, multi-hop wireless networks, distributed constraint satisfaction |
22 | Olena Kravchuk, Wayne J. Pullan, John Thornton 0001, Abdul Sattar 0001 |
An Investigation of Variable Relationships in 3-SAT Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: AI 2002: Advances in Artificial Intelligence, 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002, Proceedings, pp. 579-590, 2002, Springer, 3-540-00197-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Search, Constraints |
22 | Eli Gafni, Michael Merritt, Gadi Taubenfeld |
The concurrency hierarchy, and algorithms for unbounded concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, PODC 2001, Newport, Rhode Island, USA, August 26-29, 2001, pp. 161-169, 2001, ACM, 1-58113-383-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Sandra Zilles |
On the Synthesis of Strategies Identifying Recursive Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLT/EuroCOLT ![In: Computational Learning Theory, 14th Annual Conference on Computational Learning Theory, COLT 2001 and 5th European Conference on Computational Learning Theory, EuroCOLT 2001, Amsterdam, The Netherlands, July 16-19, 2001, Proceedings, pp. 160-176, 2001, Springer, 3-540-42343-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Harry B. Hunt III, Madhav V. Marathe, Richard Edwin Stearns |
Strongly-local reductions and the complexity/efficient approximability of algebra and optimization on abstract algebraic structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, ISSAC 2001, ORCCA & University of Western Ontario, London, Ontario, Canada, July 22-25, 2001, pp. 183-191, 2001, ACM, 1-58113-417-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Wojciech Plandowski, Wojciech Rytter |
Application of Lempel-Ziv Encodings to the Solution of Words Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings, pp. 731-742, 1998, Springer, 3-540-64781-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | John Havlicek |
Computable Obstructions to Wait-free Computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 38th Annual Symposium on Foundations of Computer Science, FOCS '97, Miami Beach, Florida, USA, October 19-22, 1997, pp. 80-89, 1997, IEEE Computer Society, 0-8186-8197-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
computable obstructions, distributed decision task, wait-free protocol, fault-tolerant computation, computability, asynchronous distributed systems, shared-memory model, wait-free computability |
22 | Jan Kuper |
Proving the Genericity Lemma by Leftmost Reduction is Simple. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings, pp. 271-278, 1995, Springer, 3-540-59200-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
22 | Gadi Taubenfeld, Shlomo Moran |
Possibility and Impossibility Results in a Shared Memory Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WDAG ![In: Distributed Algorithms, 3rd International Workshop, Nice, France, September 26-28, 1989, Proceedings, pp. 254-267, 1989, Springer, 3-540-51687-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
22 | Sorin Istrail, Cristian Masalagiu |
Nivat-Processing Systems: Decision Problems Related to Protection and Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings, pp. 255-268, 1983, Springer, 3-540-12727-5. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
22 | Corrado Böhm, Mariangiola Dezani-Ciancaglini |
Combinatorial Problems, Combinator Equations and Normal Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, Germany, July 29 - August 2, 1974, Proceedings, pp. 185-199, 1974, Springer, 3-540-06841-4. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
22 | John E. Hopcroft, Jeffrey D. Ullman |
Decidable and Undecidable Questions About Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 15(2), pp. 317-324, 1968. The full citation details ...](Pics/full.jpeg) |
1968 |
DBLP DOI BibTeX RDF |
|
16 | Sujeet Kumar, Sabyasachi Pani |
Solvability of generalized vector bifunction variational inequality problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Math. Comput. ![In: J. Appl. Math. Comput. 70(2), pp. 1325-1338, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Shubham Kumar, Deepmala, Milan Hladík, Hossein Moosaei |
Characterization of unique solvability of absolute value equations: an overview, extensions, and future directions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 18(4), pp. 889-907, May 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Liangyu Wang, Hongyu Li |
Solvability Criterion for a System Arising from Monge-Ampère Equations with Two Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 13(3), pp. 175, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Vladimir Gurvich, Mariya Naumova |
Lexicographically maximal edges of dual hypergraphs and Nash-solvability of tight game forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 92(1), pp. 49-57, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Yuan Zhang 0016, Yuanqing Xia, Yufeng Zhan |
Total Unimodularity and Strongly Polynomial Solvability of Constrained Minimum Input Selections for Structural Controllability: An LP-Based Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 69(1), pp. 387-394, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Afreen Islam, Guido Herrmann, Joaquín Carrasco |
Solvability of the Inverse Optimal Control problem based on the minimum principle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.09375, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Chenyuan Zhang, Charles Kemp, Nir Lipovetzky |
Human Goal Recognition as Bayesian Inference: Investigating the Impact of Actions, Timing, and Goal Solvability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.10510, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Maciej Drozdowski |
On SAT information content, its polynomial-time solvability and fixed code algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.00947, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Ai Huang, Yifu Wang |
Global solvability for an indirect consumption chemotaxis system with signal-dependent motility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 152, pp. 109035, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Shubham Kumar |
Correction to: On the Unique Solvability of the Absolute Value Equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Optim. Theory Appl. ![In: J. Optim. Theory Appl. 200(2), pp. 891-893, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Shi-Liang Wu, Peng Guo |
Errata of the Unique Solvability of the Absolute Value Equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Optim. Theory Appl. ![In: J. Optim. Theory Appl. 200(3), pp. 1309-1310, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Junhui Yang, Xuewen Wu, Rui Zhang |
Solvability of an inverse spectral problem for Jacobi matrices with mixed given data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Appl. Math. ![In: J. Comput. Appl. Math. 439, pp. 115595, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Chaeyun Shim, Jooyoung Bae, Bongjin Kim |
30.3 VIP-Sat: A Boolean Satisfiability Solver Featuring 5×12 Variable In-Memory Processing Elements with 98% Solvability for 50-Variables 218-Clauses 3-SAT Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSCC ![In: IEEE International Solid-State Circuits Conference, ISSCC 2024, San Francisco, CA, USA, February 18-22, 2024, pp. 486-488, 2024, IEEE, 979-8-3503-0620-0. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Chenyuan Zhang, Charles Kemp, Nir Lipovetzky |
Human Goal Recognition as Bayesian Inference: Investigating the Impact of Actions, Timing, and Goal Solvability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2024, Auckland, New Zealand, May 6-10, 2024, pp. 2066-2074, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
16 | Milan Hladík, Hossein Moosaei |
Some notes on the solvability conditions for absolute value equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 17(1), pp. 211-218, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Xiaoming Wang, Jehad O. Alzabut, Mahammad Khuddush, Michal Feckan |
Solvability of Iterative Classes of Nonlinear Elliptic Equations on an Exterior Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(5), pp. 474, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Ahmed M. A. El-Sayed, Hind H. G. Hashem, Shorouk M. Al-Issa |
New Aspects on the Solvability of a Multidimensional Functional Integral Equation with Multivalued Feedback Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(7), pp. 653, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Kaihong Zhao |
Solvability, Approximation and Stability of Periodic Boundary Value Problem for a Nonlinear Hadamard Fractional Differential Equation with p-Laplacian. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(8), pp. 733, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Maria Isabel Berenguer, Domingo Gámez, Ana Isabel Garralda-Guillem, Manuel Ruiz Galán |
A Discrete Characterization of the Solvability of Equilibrium Problems and Its Application to Game Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(7), pp. 666, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Vladimir E. Fedorov, Marina V. Plekhanova, Daria V. Melekhina |
On Local Unique Solvability for a Class of Nonlinear Identification Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(11), pp. 1013, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Zhiwei Lv, Chun Wu, Donal O'Regan, Jiafa Xu |
Solvability of a Boundary Value Problem Involving Fractional Difference Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(7), pp. 650, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Munshi Mostafijur Rahaman, Rakibul Haque, Shariful Alam, Sebastian Zupok, Soheil Salahshour, Fariba Azizzadeh, Sankar Prasad Mondal |
Solvability Criteria for Uncertain Differential Equations and Their Applicability in an Economic Lot-Size Model with a Type-2 Interval Phenomenon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(10), pp. 1883, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Maciej Rymar, Hendrik Molter, André Nichterlein, Rolf Niedermeier |
Towards Classifying the Polynomial-Time Solvability of Temporal Betweenness Centrality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Graph Algorithms Appl. ![In: J. Graph Algorithms Appl. 27(3), pp. 173-194, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Hai-Yang Jin, Zhi-An Wang, Leyun Wu |
Global Solvability and Stability of an Alarm-Taxis System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Math. Anal. ![In: SIAM J. Math. Anal. 55(4), pp. 2838-2876, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Zixuan Li, Jingtao Shi |
Linear Quadratic Leader-Follower Stochastic Differential Games: Closed-Loop Solvability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Sci. Complex. ![In: J. Syst. Sci. Complex. 36(4), pp. 1373-1406, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Rodolfo Conde, Sergio Rajsbaum |
The Solvability of Consensus in Iterated Models Extended with Safe-Consensus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 67(5), pp. 901-955, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Manuel Radons, Josué Tonelli-Cueto |
Generalized Perron Roots and Solvability of the Absolute Value Equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Matrix Anal. Appl. ![In: SIAM J. Matrix Anal. Appl. 44(4), pp. 1645-1666, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Hugo Rincon Galeana, Ulrich Schmid 0001, Kyrill Winkler, Ami Paz, Stefan Schmid 0001 |
Topological Characterization of Consensus Solvability in Directed Dynamic Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.02316, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Yuki Satake, Tomohiro Sogabe, Tomoya Kemmochi, Shao-Liang Zhang |
Matrix equation representation of convolution equation and its unique solvability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.15359, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Daisuke Nakai, Masaki Muramatsu, Susumu Nishimura |
Partial Product Updates for Agents of Detectable Failure and Logical Obstruction to Task Solvability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.16437, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Hagit Attiya, Armando Castañeda, Thomas Nowak |
Topological Characterization of Task Solvability in General Models of Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.13837, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Huiling Wu, Junfeng Song, Quanyong Zhu |
Consistent Riccati expansion solvability and soliton-cnoidal wave solutions of a coupled KdV system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 135, pp. 108439, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Andrés Gómez 0001, Ziyu He, Jong-Shi Pang |
Linear-step solvability of some folded concave and singly-parametric sparse optimization problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 198(2), pp. 1339-1380, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Kazushi Ito, Yasuhiko Takenaga |
Solvability of Peg Solitaire on Graphs is NP-Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 106(6), pp. 1111-1116, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Javad Balooee, Shih-Sen Chang, Jen-Chih Yao |
Generalized Set-valued Nonlinear Variational-like Inequalities and Fixed Point Problems: Existence and Approximation Solvability Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Optim. Theory Appl. ![In: J. Optim. Theory Appl. 197(3), pp. 891-938, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Andaluzia Matei, Madalina Osiceanu |
Weak solvability via bipotentials and approximation results for a class of bilateral frictional contact problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Nonlinear Sci. Numer. Simul. ![In: Commun. Nonlinear Sci. Numer. Simul. 119, pp. 107135, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 907 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|