Search results for "solvability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Marcos Kawazoe Aguilera, Burkhard Englert, Eli Gafni	Uniform Solvability with a Finite Number of MWMR Registers.	DISC	2003	DBLP DOI BibTeX RDF
16	Irina Perfilieva	Solvability of a system of fuzzy relation equations: Easy to check conditions.	EUSFLAT Conf.	2003	DBLP BibTeX RDF
16	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
16	Lawrence J. De Chant	A computationally implementable criterion for the solvability of boundary value problems on an infinite domain.	Appl. Math. Comput.	2002	DBLP DOI BibTeX RDF
16	Bing Liu, Jian She Yu	Solvability of multi-point boundary value problem at resonance (III).	Appl. Math. Comput.	2002	DBLP DOI BibTeX RDF
16	Nikita E. Barabanov, Romeo Ortega	Conditions for Solvability of Extended Algebraic Riccati Equations with Applications to Dissipativity Theory.	Eur. J. Control	2002	DBLP DOI BibTeX RDF
16	Delin Chu, Roger C. E. Tan	Solvability Conditions and Parameterization of All Solutions for the Triangular Decoupling Problem.	SIAM J. Matrix Anal. Appl.	2002	DBLP DOI BibTeX RDF
16	Manfred Schmidt-Schauß, Klaus U. Schulz	Solvability of Context Equations with Two Context Variables is Decidable.	J. Symb. Comput.	2002	DBLP DOI BibTeX RDF
16	Augusto Ferrante, Luciano Pandolfi	On the solvability of the positive real lemma equations.	Syst. Control. Lett.	2002	DBLP DOI BibTeX RDF
16	Guillermo Fernández-Anaya, Juan Carlos Martínez-García, D. Aguilar-George	Preservation of solvability conditions in Riccati equations when applying SPR0 substitutions.	CDC	2002	DBLP DOI BibTeX RDF
16	Edward Gimadi, Sergey V. Sevastianov	On Solvability of the Project Scheduling Problem with Accumulative Resources of an Arbitrary Sign.	OR	2002	DBLP DOI BibTeX RDF
16	Mustapha Ait Rami, Xi Chen 0036, John B. Moore, Xun Yu Zhou	Solvability and asymptotic behavior of generalized Riccati equations arising in indefinite stochastic LQ controls.	IEEE Trans. Autom. Control.	2001	DBLP DOI BibTeX RDF
16	Volker Diekert, Anca Muscholl	Solvability of Equations in Free Partially Commutative Groups Is Decidable.	ICALP	2001	DBLP DOI BibTeX RDF
16	Pierre-Alexandre Bliman	Solvability of a Lyapunov equation for characterization of asymptotic stability of linear delay systems.	ECC	2001	DBLP DOI BibTeX RDF
16	Atsumi Ohara, Yasuaki Sasaki	On solvability and numerical solutions of parameter-dependent differential matrix inequality.	CDC	2001	DBLP DOI BibTeX RDF
16	Martin Schubert, Holger Boche	Solvability of coupled downlink beamforming problems.	GLOBECOM	2001	DBLP DOI BibTeX RDF
16	Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy	A hierarchy of conditions for consensus solvability.	PODC	2001	DBLP DOI BibTeX RDF	asynchronous shared memory, step complexity, fault-tolerance, consensus, snapshot
16	Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal	Conditions on input vectors for consensus solvability in asynchronous distributed systems.	STOC	2001	DBLP DOI BibTeX RDF	fault-tolerance, consensus, asynchronous systems
16	Guillaume Hanrot, François Morain	Solvability by radicals from an algorithmic point of view.	ISSAC	2001	DBLP DOI BibTeX RDF
16	J. Cole Smith	Tight Discrete Formulations to Enhance Solvability with Applications to Production, Telecommunications, and Air Transportation Problems.		2001	RDF
16	Yun-Bin Zhao, Jin-Yun Yuan	An alternative theorem for generalized variational inequalities and solvability of nonlinear quasi-PM*-complementarity problems.	Appl. Math. Comput.	2000	DBLP DOI BibTeX RDF
16	Carlo D. Pagani, Dario Pierotti	On Solvability of the Nonlinear Wave Resistance Problem for a Surface-Piercing Symmetric Cylinder.	SIAM J. Math. Anal.	2000	DBLP DOI BibTeX RDF
16	Kyung-Soo Kim 0001, Youngjin Park	Equivalence between two solvability conditions for a static output feedback problem.	IEEE Trans. Autom. Control.	2000	DBLP DOI BibTeX RDF
16	Vladimir A. Emelichev, A. V. Pashkevich	Vector discrete problems: parametrization of an optimality principle and conditions of solvability in the class of algorithms involving linear convolution of criteria.	Comput. Sci. J. Moldova	2000	DBLP BibTeX RDF
16	J. Abdou	Exact stability and its applications to strong solvability.	Math. Soc. Sci.	2000	DBLP DOI BibTeX RDF
16	Arthur J. Krener	The Local Solvability of a Hamilton--Jacobi--Bellman PDE around a Nonhyperbolic Critical Point.	SIAM J. Control. Optim.	2000	DBLP DOI BibTeX RDF
16	Anthony J. Guttmann	Indicators of solvability for lattice models.	Discret. Math.	2000	DBLP DOI BibTeX RDF
16	Marco Mariotti	Maximum Games, Dominance Solvability, and Coordination.	Games Econ. Behav.	2000	DBLP DOI BibTeX RDF
16	Vincenzo Acciaro, Jürgen Klüners	Computing Local Artin Maps, and Solvability of Norm Equations.	J. Symb. Comput.	2000	DBLP DOI BibTeX RDF
16	Alessandro Agostini	Team-Solvability: A Model-Theoretic Perspective.	ECAI	2000	DBLP BibTeX RDF
16	Ming-Deh A. Huang, Yiu-Chung Wong	Solvability of systems of polynomial congruences modulo a large prime.	Comput. Complex.	1999	DBLP DOI BibTeX RDF
16	Ben M. Chen	Explicit solvability conditions for the general discrete-time H infinity almost disturbance decoupling problem with internal stability.	Int. J. Syst. Sci.	1999	DBLP DOI BibTeX RDF
16	Jayaramanan Sreedhar, Paul Van Dooren	Periodic descriptor systems: solvability and conditionability.	IEEE Trans. Autom. Control.	1999	DBLP DOI BibTeX RDF
16	Shahin Hashtrudi-Zad, Mohammad-Ali Massoumnia	Generic solvability of the failure detection and identification problem.	Autom.	1999	DBLP DOI BibTeX RDF
16	Eberhard Girlich, Alexander G. Tarnowski	On polynomial solvability of two multiprocessor scheduling problems.	Math. Methods Oper. Res.	1999	DBLP DOI BibTeX RDF
16	Luca Paolini, Simona Ronchi Della Rocca	Call-by-value Solvability.	RAIRO Theor. Informatics Appl.	1999	DBLP DOI BibTeX RDF
16	Benny Chor, Lee-Bath Nelson	Solvability in Asynchronous Environments II: Finite Interactive Tasks.	SIAM J. Comput.	1999	DBLP DOI BibTeX RDF
16	Werner M. Seiler	Indices and Solvability for General Systems of Differential Equations.	CASC	1999	DBLP DOI BibTeX RDF
16	Georges Le Vey	Some remarks on solvability and various indices for implicit differential equations.	Numer. Algorithms	1998	DBLP DOI BibTeX RDF
16	Vladas Skakauskas	Solvability and Asymptotic Behavior of a Pair Formation Model.	Informatica	1998	DBLP DOI BibTeX RDF
16	Prasad Jayanti	Solvability of Consensus: Composition Breaks Down for NonDeterministic Types.	SIAM J. Comput.	1998	DBLP DOI BibTeX RDF
16	Fernando J. Von Zuben, Márcio Luiz De Andrade Netto	Projection pursuit and the solvability condition applied to constructive learning.	ICNN	1997	DBLP DOI BibTeX RDF
16	Eugene Santos Jr., Eugene S. Santos	Polynomial Solvability of Cost-Based Abduction.	Artif. Intell.	1996	DBLP DOI BibTeX RDF
16	Vincenzo Acciaro	Solvability of norm equations over cyclic number fields of prime degree.	Math. Comput.	1996	DBLP DOI BibTeX RDF
16	Dörte Neundorf, Rolf Böhm	Solvability criteria for systems of fuzzy relation equations.	Fuzzy Sets Syst.	1996	DBLP DOI BibTeX RDF
16	Marios Mavronicolas	Wait-Free Solvability Via Combinatorial Topology (Abstract).	PODC	1996	DBLP DOI BibTeX RDF
16	Friedrich Otto	Solvability of Word Equations Modulo Finite Special and Confluent String-Rewriting Systems is Undecidable in General.	Inf. Process. Lett.	1995	DBLP DOI BibTeX RDF
16	Stephen L. Campbell, E. Griepentrog	Solvability of General Differential Algebraic Equations.	SIAM J. Sci. Comput.	1995	DBLP DOI BibTeX RDF
16	Bernd Kummer	On solvability and regularity of a parametrized version of optimality conditions.	Math. Methods Oper. Res.	1995	DBLP DOI BibTeX RDF
16	Bryan L. Shader	Least Squares Sign-Solvability.	SIAM J. Matrix Anal. Appl.	1995	DBLP DOI BibTeX RDF
16	Joseph M. Abdou	Solvability of Two-Player Game Forms with Infinite Sets of Strategies.	Math. Oper. Res.	1995	DBLP DOI BibTeX RDF
16	Katarína Cechlárová	Unique solvability of max-min fuzzy equations and strong regularity of matrices over fuzzy algebra.	Fuzzy Sets Syst.	1995	DBLP DOI BibTeX RDF
16	Fernando J. Von Zuben, Márcio Luiz De Andrade Netto	Unit-growing learning optimizing the solvability condition for model-free regression.	ICNN	1995	DBLP DOI BibTeX RDF
16	Yael Etzion-Petruschka, David Harel, Dale Myers	On the Solvability of Domino Snake Problems.	Theor. Comput. Sci.	1994	DBLP DOI BibTeX RDF
16	A. Castro	Solvability and Bifurcations of Nonlinear Equations (P. Drábek).	SIAM Rev.	1994	DBLP DOI BibTeX RDF
16	Boris G. Pittel, Robert W. Irving	An Upper Bound for the Solvability of a Random Stable Roommates Instance.	Random Struct. Algorithms	1994	DBLP DOI BibTeX RDF
16	Ton Geerts	Free end-point linear-quadratic control subject to implicit continuous- time systems: Necessary and sufficient conditions for solvability.	Kybernetika	1993	DBLP BibTeX RDF
16	Cynthia Barnhart, Ellis L. Johnson, George L. Nemhauser, Gabriele Sigismondi, Pamela H. Vance	Formulating a Mixed Integer Programming Problem to Improve Solvability.	Oper. Res.	1993	DBLP DOI BibTeX RDF
16	Joachim Gwinner, Vaithilingam Jeyakumar	A solvability theorem and minimax fractional programming.	ZOR Methods Model. Oper. Res.	1993	DBLP DOI BibTeX RDF
16	Frieda Granot, Jadranka Skorin-Kapov	On Polynomial Solvability of the High Multiplicity Total Weighted Tardiness Problem.	Discret. Appl. Math.	1993	DBLP DOI BibTeX RDF
16	Jiri Rohn	A note on solvability of a class of linear complementarity problems.	Math. Program.	1993	DBLP DOI BibTeX RDF
16	V. Tolkachev, B. Bershadsky, Anatoly Nemirko	Solvability of the electrocardiology inverse problem for a moving dipole.	Biol. Cybern.	1993	DBLP DOI BibTeX RDF
16	A. P. Cherenkov, V. V. Mikhailenko, B. S. Shusterman	Determination of Solvability Boundaries of Optimization Problems in Parameter Space.	Int. J. Softw. Eng. Knowl. Eng.	1993	DBLP DOI BibTeX RDF
16	Stanley P. Franklin, Max H. Garzon	On stability and solvability (or, when does a neural network solve a problem?).	Minds Mach.	1992	DBLP DOI BibTeX RDF
16	Gennady Davydov, Inna Davydova	Tautologies and Positive Solvability of Linear Homogeneous Systems.	Ann. Pure Appl. Log.	1992	DBLP DOI BibTeX RDF
16	Alexander A. Ageev	A Criterion of Polynomial-Time Solvability for the Network Location Problem.	IPCO	1992	DBLP BibTeX RDF
16	Joseph F. Traub	Solvability of III-posed problems: An historical note.	J. Complex.	1991	DBLP DOI BibTeX RDF
16	Mark A. Kon, Klaus Ritter 0001, Arthur G. Werschulz	On the average case solvability of III-posed problems.	J. Complex.	1991	DBLP DOI BibTeX RDF
16	Carmen Herrero, Jose A. Silva	On the equivalence between strong solvability and strict semimonotonicity for some systems involving Z-functions.	Math. Program.	1991	DBLP DOI BibTeX RDF
16	Antoni Koscielski	An Analysis of Makanin's Algorithm Deciding Solvability of Equations in Free Groups.	IWWERT	1990	DBLP DOI BibTeX RDF
16	Melven Krom, Myren Krom	Recursive Solvability of Problems with Matrices.	Math. Log. Q.	1989	DBLP DOI BibTeX RDF
16	Charles K. Chui	Systems Analysis by Graphs and Matroids: Structural Solvability and Controllability (Kazuo Murota).	SIAM Rev.	1989	DBLP DOI BibTeX RDF
16	Benny Chor, Lior Moscovici	Solvability in Asynchronous Environments (Extended Abstract)	FOCS	1989	DBLP DOI BibTeX RDF	membership characterization, asynchronous environments, combinatorial conditions, distributed decision tasks, computational complexity
16	Antoni W. Mazurkiewicz	Solvability of the Asynchronous Ranking Problem.	Inf. Process. Lett.	1988	DBLP DOI BibTeX RDF
16	Constantin Zalinescu	Solvability results for sublinear functions and operators.	Z. Oper. Research	1987	DBLP DOI BibTeX RDF
16	R. Chandrasekaran, Jong-Shi Pang, Richard E. Stone	Two counterexamples on the polynomial solvability of the linear complementarity problem.	Math. Program.	1987	DBLP DOI BibTeX RDF
16	Siegfried Gottwald	Characterizations of the Solvability of Fuzzy Equations.	J. Inf. Process. Cybern.	1986	DBLP BibTeX RDF
16	Chandrajit L. Bajaj	Proving Geometric Algorithm Non-Solvability: An Application of Factoring Polynomials.	J. Symb. Comput.	1986	DBLP DOI BibTeX RDF
16	Chanderjit L. Bajaj	Limitations to algorithm solvability: Galois methods and models of computation.	SYMSAC	1986	DBLP DOI BibTeX RDF
16	Susan Landau 0001, Gary L. Miller	Solvability by Radicals is in Polynomial Time.	J. Comput. Syst. Sci.	1985	DBLP DOI BibTeX RDF
16	Peter Butkovic	Necessary solvability conditions of systems of linear extremal equations.	Discret. Appl. Math.	1985	DBLP DOI BibTeX RDF
16	John J. Dinkel, Danny Wong	External Zones in Trip Distribution Models: Characterization and Solvability.	Transp. Sci.	1984	DBLP DOI BibTeX RDF
16	R. Charles Bell, Bryan Floyd	A Monte Carlo Study of Cichelli Hash-Function Solvability.	Commun. ACM	1983	DBLP DOI BibTeX RDF
16	Susan Landau 0001, Gary L. Miller	Solvability by Radicals is in Polynomial Time	STOC	1983	DBLP DOI BibTeX RDF
16	Stål Aanderaa	On the solvability of the extended (exist-forall)and(exists-forall*)-Ackermann class with identity.	Logic and Machines	1983	DBLP DOI BibTeX RDF
16	Michael Struwe	On the solvability of ordinary differential equations with only partially continuous right-hand-side by difference methods.	Computing	1981	DBLP DOI BibTeX RDF
16	Jiri Rohn	Strong solvability of interval linear programming problems.	Computing	1981	DBLP DOI BibTeX RDF
16	Z. Zachar	The solvability of the equivalence problem for deterministic frontier-to-root tree transducers.	Acta Cybern.	1979	DBLP BibTeX RDF
16	J. C. Lagarias 0001	Succinct Certificates for the Solvability of Binary Quadratic Diophantine Equations	FOCS	1979	DBLP DOI BibTeX RDF
16	Oscar H. Ibarra, Chul E. Kim	A Useful Device for Showing the Solvability of Some Decision Problems.	J. Comput. Syst. Sci.	1976	DBLP DOI BibTeX RDF
16	Oscar H. Ibarra, Chul E. Kim	A Useful Device for Showing the Solvability of Some Decision Problems	STOC	1976	DBLP DOI BibTeX RDF
16	Jan Willem Klop	On solvability by lambda I - terms.	Lambda-Calculus and Computer Science Theory	1975	DBLP DOI BibTeX RDF
16	P. Florath	On Methods To Decide Solvability of Transformation Problems.	IJCAI	1975	DBLP BibTeX RDF
16	Alexander Abian	Rado's theorem and solvability of systems of equations.	Notre Dame J. Formal Log.	1973	DBLP DOI BibTeX RDF
16	Robert A. Di Paola	The Solvability of the Decision Problem for Classes of Proper Formulas and Related Results.	J. ACM	1973	DBLP DOI BibTeX RDF
16	Pavel Tichý	A remark on the concept of problem and solvability.	Kybernetika	1967	DBLP BibTeX RDF
16	Stål Aanderaa, Patrick C. Fischer	The Solvability of the Halting Problem for 2-State Post Machines.	J. ACM	1967	DBLP DOI BibTeX RDF
16	Stephen A. Cook	The Solvability of the Derivability Problem for One-Normal Systems.	J. ACM	1966	DBLP DOI BibTeX RDF
16	Seymour Ginsburg, Thomas N. Hibbard	Solvability of Machine Mappings of Regular Sets to Regular Sets.	J. ACM	1964	DBLP DOI BibTeX RDF
16	Richard Goldberg	On the Solvability of a Subclass of the Suranyi Reduction Class.	J. Symb. Log.	1963	DBLP DOI BibTeX RDF