Search results for "converse"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Falk M. Hante, Mario Sigalotti	Converse Lyapunov Theorems for Switched Systems in Banach and Hilbert Spaces.	CoRR	2010	DBLP BibTeX RDF
17	Mingji Xia	Holographic Reduction: A Domain Changed Application and Its Partial Converse Theorems.	ICALP (1)	2010	DBLP DOI BibTeX RDF
17	Matthew M. Peet, Antonis Papachristodoulou	A converse sum-of-squares Lyapunov result: An existence proof based on the Picard iteration.	CDC	2010	DBLP DOI BibTeX RDF
17	Xiaoyu Song, Lihua Sun, Yang Cao	Study on the convergence of converse ant colony algorithm for Job Shop Scheduling Problem.	ICNC	2010	DBLP DOI BibTeX RDF
17	Rajeev Goré, Florian Widmann	Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse.	IJCAR	2010	DBLP DOI BibTeX RDF
17	Yury Polyanskiy, Sergio Verdú	Arimoto channel coding converse and Rényi divergence.	Allerton	2010	DBLP DOI BibTeX RDF
17	Serenella Cerrito, Marta Cialdea Mayer	Nominal Substitution at Work with the Global and Converse Modalities.	Advances in Modal Logic	2010	DBLP BibTeX RDF
17	Stefan Göller, Markus Lohrey, Carsten Lutz	PDL with intersection and converse: satisfiability and infinite-state model checking.	J. Symb. Log.	2009	DBLP DOI BibTeX RDF
17	Peter Berlin, Baris Nakiboglu, Bixio Rimoldi, Emre Telatar	A simple converse of Burnashev's reliability function.	IEEE Trans. Inf. Theory	2009	DBLP DOI BibTeX RDF
17	Himanshu Tyagi, Prakash Narayan	The Gelfand-Pinsker Channel: Strong Converse and Upper Bound for the Reliability Function	CoRR	2009	DBLP BibTeX RDF
17	Robert J. Durrant, Ata Kabán	When is 'nearest neighbour' meaningful: A converse theorem and implications.	J. Complex.	2009	DBLP DOI BibTeX RDF
17	Shunsheng Guo, Gengsheng Zhang, Guofen Liu	Strong converse inequality for left Bernstein quasi-interpolants.	Appl. Math. Lett.	2009	DBLP DOI BibTeX RDF
17	Mark Kaminski, Gert Smolka	Terminating Tableau Systems for Hybrid Logic with Difference and Converse.	J. Log. Lang. Inf.	2009	DBLP DOI BibTeX RDF
17	Theo S. H. Driessen, Cheng-Cheng Hu	A note on equivalence of consistency and bilateral consistency through converse consistency.	Games Econ. Behav.	2009	DBLP DOI BibTeX RDF
17	Wei-Hsin Gu, Michelle Effros	A strong converse for a collection of network source coding problems.	ISIT	2009	DBLP DOI BibTeX RDF
17	Himanshu Tyagi, Prakash Narayan	The Gelfand-Pinsker channel: Strong converse and upper bound for the reliability function.	ISIT	2009	DBLP DOI BibTeX RDF
17	Pierre Moulin	Strong converse for Gel'fand-Pinsker channel.	ISIT	2009	DBLP DOI BibTeX RDF
17	Matthew M. Peet	A generalized chain rule and a bound on the continuity of solutions and converse Lyapunov functions.	CDC	2009	DBLP DOI BibTeX RDF
17	Duo Helen Wei, Michael Halper, Gai Elhanan, Yan Chen 0009, Yehoshua Perl, James Geller, Kent A. Spackman	Auditing SNOMED Relationships Using a Converse Abstraction Network.	AMIA	2009	DBLP BibTeX RDF
17	Yuhua Qian, Jiye Liang, Chuangyin Dang	Converse approximation and rule extraction from decision tables in rough set theory.	Comput. Math. Appl.	2008	DBLP DOI BibTeX RDF
17	Zhendong Shao, David Zhang 0001	Improved upper bounds on the L(2, 1) -labeling of the skew and converse skew product graphs.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
17	Youjian Liu	A Simple Converse Proof and a Unified Capacity Formula for Channels with Input Constraints	CoRR	2008	DBLP BibTeX RDF
17	Izumi Masubuchi	Analysis of Positive Invariance and Almost Regional Attraction Via Density Functions With Converse Results.	IEEE Trans. Autom. Control.	2007	DBLP DOI BibTeX RDF
17	Laurent Bartholdi	A converse to Moore's theorem on cellular automata	CoRR	2007	DBLP BibTeX RDF
17	T. R. Gulati 0001, Divya Agarwal	On Huard type second-order converse duality in nonlinear programming.	Appl. Math. Lett.	2007	DBLP DOI BibTeX RDF
17	Zhendong Shao, Roger K. Yeh, David Zhang 0001	The L(2, 1)-labeling on the skew and converse skew products of graphs.	Appl. Math. Lett.	2007	DBLP DOI BibTeX RDF
17	Xinmin Yang, Xiaoqi Yang 0001, Kok Lay Teo	Erratum to "Huard type second-order converse duality for nonlinear programming" [Appl. Math. Lett. 18 (2005) 205-208]	Appl. Math. Lett.	2007	DBLP DOI BibTeX RDF
17	Chih Chang, Cheng-Cheng Hu	Reduced game and converse consistency.	Games Econ. Behav.	2007	DBLP DOI BibTeX RDF
17	Stefan Göller, Markus Lohrey, Carsten Lutz	PDL with Intersection and Converse is 2EXP-complete.	Algorithmic-Logical Theory of Infinite Structures	2007	DBLP BibTeX RDF
17	Igor Bjelakovic, Tobias J. Oechtering, Clemens Schnurr, Holger Boche	On the Strong Converse for the Broadcast Capacity Region of Two-Pase Bidirectional Relaying.	ITW	2007	DBLP DOI BibTeX RDF
17	Qing Hui, Wassim M. Haddad, Sanjay P. Bhat	Lyapunov and converse Lyapunov theorems for semistability.	CDC	2007	DBLP DOI BibTeX RDF
17	Umesh Vaidya	Converse theorem for almost everywhere stability using Lyapunov measure.	ACC	2007	DBLP DOI BibTeX RDF
17	Pierre Genevès, Nabil Layaïda, Alan Schmitt	XPath Typing Using a Modal Logic with Converse for Finite Trees.	PLAN-X	2007	DBLP BibTeX RDF
17	Jörg Brendle, Shuguo Zhang	Converse dual cardinals.	J. Symb. Log.	2006	DBLP DOI BibTeX RDF
17	David E. Dobbs	A class of principal ideal rings arising from the converse of the Chinese remainder theorem.	Int. J. Math. Math. Sci.	2006	DBLP DOI BibTeX RDF
17	Xinmin Yang, X. Q. Yang, Kok Lay Teo	Converse duality in nonlinear programming with cone constraints.	Eur. J. Oper. Res.	2006	DBLP DOI BibTeX RDF
17	Charles R. Johnson, António Leal Duarte	Converse to the Parter-Wiener theorem: The case of non-trees.	Discret. Math.	2006	DBLP DOI BibTeX RDF
17	Annalisa Cesaroni	A converse Lyapunov theorem for almost sure stabilizability.	Syst. Control. Lett.	2006	DBLP DOI BibTeX RDF
17	Srinivas Bangalore, Giuseppe Di Fabbrizio, Amanda Stent	Towards Learning to Converse: Structuring Task-Oriented Human-Human Dialogs.	ICASSP (1)	2006	DBLP DOI BibTeX RDF
17	Mehdi Mohseni, John M. Cioffi	A Proof of the Converse for the Capacity of Gaussian MIMO Broadcast Channels.	ISIT	2006	DBLP DOI BibTeX RDF
17	S. Emre Tuna, Andrew R. Teel	Homogeneous hybrid systems and a converse Lyapunov theorem.	CDC	2006	DBLP DOI BibTeX RDF
17	Ling Hou, Anthony N. Michel	On the Continuity of the Lyapunov Functions in the Converse Stability Theorems for Discontinuous Dynamical Systems.	CDC	2006	DBLP DOI BibTeX RDF
17	Antoine Chaillet, Antonio Loría	A converse Lyapunov theorem for semiglobal practical asymptotic stability and application to cascades-based control.	CDC	2006	DBLP DOI BibTeX RDF
17	Izumi Masubuchi	Density Functions Characterizing Positive Invariance and Regional Almost Attraction with Converse Results.	CDC	2006	DBLP DOI BibTeX RDF
17	Rudolf Ahlswede, Ning Cai 0001	A Strong Converse Theorem for Quantum Multiple Access Channels.	Electron. Notes Discret. Math.	2005	DBLP DOI BibTeX RDF
17	Ernst-Erich Doberkat	The converse of a stochastic relation.	J. Log. Algebraic Methods Program.	2005	DBLP DOI BibTeX RDF
17	Ti-Chung Lee, Zhong-Ping Jiang	A Generalization of Krasovskii-LaSalle Theorem for Nonlinear Time-Varying Systems: Converse Results and Applications.	IEEE Trans. Autom. Control.	2005	DBLP DOI BibTeX RDF
17	Xinmin Yang, Xiaoqi Yang 0001, Kok Lay Teo	Huard type second-order converse duality for nonlinear programming.	Appl. Math. Lett.	2005	DBLP DOI BibTeX RDF
17	Xin Wang, Yanxun Chang	The spectrum for self-converse directed BIBDs with block size four.	Ars Comb.	2005	DBLP BibTeX RDF
17	Fabian Wirth	A Converse Lyapunov Theorem for Linear Parameter-Varying and Linear Switching Systems.	SIAM J. Control. Optim.	2005	DBLP DOI BibTeX RDF
17	David Bellin	Review of "PHP5 and MySQL Bible by Tim Converse and Joyce Park".	ACM Queue	2005	DBLP DOI BibTeX RDF	SQL
17	Chaohong Cai, Andrew R. Teel, Rafal Goebel	Converse Lyapunov theorems and robust asymptotic stability for hybrid systems.	ACC	2005	DBLP DOI BibTeX RDF
17	Fabian Wirth	A Converse Lyapunov Theorem for Switched Linear Systems with Dwell Times.	CDC/ECC	2005	DBLP DOI BibTeX RDF
17	Hai Lin 0002, Panos J. Antsaklis	A Converse Lyapunov Theorem for Uncertain Switched Linear Systems.	CDC/ECC	2005	DBLP DOI BibTeX RDF
17	Piero A. Bonatti, Adriano Peron	On the undecidability of logics with converse, nominals, recursion and counting.	Artif. Intell.	2004	DBLP DOI BibTeX RDF
17	Biancamaria Della Vecchia	Direct and converse results for the weighted rational approximation of functions with inner singularities.	J. Approx. Theory	2004	DBLP DOI BibTeX RDF
17	Christopher M. Kellett, Andrew R. Teel	Weak Converse Lyapunov Theorems and Control-Lyapunov Functions.	SIAM J. Control. Optim.	2004	DBLP DOI BibTeX RDF
17	Elizabeth Garnsey, Christian Longhi	High technology locations and globalisation: converse paths, common processes.	Int. J. Technol. Manag.	2004	DBLP DOI BibTeX RDF
17	Koji Takamiya	On strategy-proofness and essentially single-valued cores: A converse result.	Soc. Choice Welf.	2003	DBLP DOI BibTeX RDF
17	Rudolf Ahlswede, Andreas J. Winter 0002	Addendum to "Strong converse for identification via quantum channels".	IEEE Trans. Inf. Theory	2003	DBLP DOI BibTeX RDF
17	Stéphane Demri, Hans de Nivelle	Deciding regular grammar logics with converse through first-order logic	CoRR	2003	DBLP BibTeX RDF
17	Shunsheng Guo, Qiulan Qi	Strong converse inequalities for Baskakov operators.	J. Approx. Theory	2003	DBLP DOI BibTeX RDF
17	Toru Hokari, Özgür Kibris	Consistency, converse consistency, and aspirations in TU-games.	Math. Soc. Sci.	2003	DBLP DOI BibTeX RDF
17	Iasson Karafyllis, John Tsinias	A Converse Lyapunov Theorem for Nonuniform in Time Global Asymptotic Stability and Its Application to Feedback Stabilization.	SIAM J. Control. Optim.	2003	DBLP DOI BibTeX RDF
17	Alexander P. Molchanov, Anthony N. Michel, Ye Sun	Converse theorems of the principal Lyapunov results for partial stability of general dynamical systems on metric spaces.	CDC	2003	DBLP DOI BibTeX RDF
17	Christopher M. Kellett, Andrew R. Teel	Results on converse Lyapunov theorems for difference inclusions.	CDC	2003	DBLP DOI BibTeX RDF
17	Rudolf Ahlswede, Andreas J. Winter 0002	Strong converse for identification via quantum channels.	IEEE Trans. Inf. Theory	2002	DBLP DOI BibTeX RDF
17	Youngsub Chun	The Converse Consistency Principle in Bargaining.	Games Econ. Behav.	2002	DBLP DOI BibTeX RDF
17	Zhong-Ping Jiang, Yuan Wang 0005	A converse Lyapunov theorem for discrete-time systems with disturbances.	Syst. Control. Lett.	2002	DBLP DOI BibTeX RDF
17	Zoltán Finta	Direct and converse results for Stancu operator.	Period. Math. Hung.	2002	DBLP DOI BibTeX RDF
17	Yasutada Oohama	Converse coding theorem for the identification via multiple access channels.	ITW	2002	DBLP DOI BibTeX RDF
17	Anders Rantzer	An converse theorem for density functions.	CDC	2002	DBLP DOI BibTeX RDF
17	J. Tsinias	A converse Lyapunov theorem for, non-uniform in time, global exponential robust stability.	Syst. Control. Lett.	2001	DBLP DOI BibTeX RDF
17	Xiuling Shan, Qingde Kang, Qiujie Sun	Self-converse Mendelsohn designs with odd block size.	Australas. J Comb.	2001	DBLP BibTeX RDF
17	Caikun Liu, Qingde Kang, Zhifen Guo	Self-converse Mendelsohn designs with block size 6q.	Australas. J Comb.	2001	DBLP BibTeX RDF
17	Fabio Massacci	Decision Procedures for Expressive Description Logics with Intersection, Composition, Converse of Roles and Role Identity.	IJCAI	2001	DBLP BibTeX RDF
17	Tomohiro Ogawa, Hiroshi Nagaoka	Strong converse and Stein's lemma in quantum hypothesis testing.	IEEE Trans. Inf. Theory	2000	DBLP DOI BibTeX RDF
17	Horst Alzer, Stephan Ruscheweyh	A converse of Minkowski's inequality.	Discret. Math.	2000	DBLP DOI BibTeX RDF
17	Frank Wolter	The product of converse PDL and polymodal K.	J. Log. Comput.	2000	DBLP DOI BibTeX RDF
17	Giuseppe De Giacomo, Fabio Massacci	Combining Deduction and Model Checking into Tableaux and Algorithms for Converse-PDL.	Inf. Comput.	2000	DBLP DOI BibTeX RDF
17	Darren Lee Buttle, John A. Clark, John A. McDermid, Alan Stephenson, Nigel James Tracey	CONVERSE: A change-oriented process for engine controllers.	IEE Proc. Softw.	1999	DBLP DOI BibTeX RDF
17	Wijesuriya P. Dayawansa, Clyde F. Martin	A Converse Lyapunov Theorem for a Class of Dynamical Systems which Undergo Switching.	IEEE Trans. Autom. Control.	1999	DBLP DOI BibTeX RDF
17	Tomohiro Ogawa, Hiroshi Nagaoka	Strong converse to the quantum channel coding theorem.	IEEE Trans. Inf. Theory	1999	DBLP DOI BibTeX RDF
17	Andreas J. Winter 0002	Coding theorem and strong converse for quantum channels.	IEEE Trans. Inf. Theory	1999	DBLP DOI BibTeX RDF
17	Ioannis Kontoyiannis	Efficient sphere-covering and converse measure concentration via generalized coding theorems	CoRR	1999	DBLP BibTeX RDF
17	Laxmikant V. Kalé, Robert Brunner, James C. Phillips, Krishnan Varadarajan	Application Performance of a Linux Cluster Using Converse.	IPPS/SPDP Workshops	1999	DBLP DOI BibTeX RDF
17	Martin Corless, Luigi Glielmo	New converse Lyapunov theorems and related results on exponential stability.	Math. Control. Signals Syst.	1998	DBLP DOI BibTeX RDF
17	Phong Q. Nguyen, Jacques Stern	A Converse to the Ajtai-Dwork Security Proof and its Cryptographic Implications	Electron. Colloquium Comput. Complex.	1998	DBLP BibTeX RDF
17	Laxmikant V. Kalé, Milind A. Bhandarkar, Robert Brunner, Josh Yelon	Multiparadigm, Multilingual Interoperability: Experience with Converse.	IPPS/SPDP Workshops	1998	DBLP DOI BibTeX RDF
17	Jaroslaw K. Cel	A Converse of Dual Tellegen's Theorem.	J. Circuits Syst. Comput.	1996	DBLP DOI BibTeX RDF
17	Yanxun Chang, Guihua Yang, Qingde Kang	The spectrum of self-converse MTS.	Ars Comb.	1996	DBLP BibTeX RDF
17	Laxmikant V. Kalé, Milind A. Bhandarkar, Narain Jagathesan, Sanjeev Krishnan, Josh Yelon	Converse: An Interoperable Framework for Parallel Programming.	IPPS	1996	DBLP DOI BibTeX RDF
17	Vladimir B. Balakirsky	A converse coding theorem for mismatched decoding at the output of binary-input memoryless channels.	IEEE Trans. Inf. Theory	1995	DBLP DOI BibTeX RDF
17	Yasutada Oohama, Te Sun Han	Universal coding for the Slepian-Wolf data compression system and the strong converse theorem.	IEEE Trans. Inf. Theory	1994	DBLP DOI BibTeX RDF
17	Kenji Nakagawa, Fumio Kanaya	On the converse theorem in statistical hypothesis testing.	IEEE Trans. Inf. Theory	1993	DBLP DOI BibTeX RDF
17	Kenji Nakagawa, Fumio Kanaya	On the converse theorem in statistical hypothesis testing for Markov chains.	IEEE Trans. Inf. Theory	1993	DBLP DOI BibTeX RDF
17	Sachio Hirokawa	Converse Principal Type-Scheme Theorem in Lambda Calculus.	Stud Logica	1992	DBLP DOI BibTeX RDF
17	Melvin F. Janowitz	A converse to the Sholander embedding.	Discret. Math.	1991	DBLP DOI BibTeX RDF
17	Te Sun Han, Kingo Kobayashi	The strong converse theorem for hypothesis testing.	IEEE Trans. Inf. Theory	1989	DBLP DOI BibTeX RDF
17	José M. Méndez	Converse Ackermann Croperty and semiclassical negation.	Stud Logica	1988	DBLP DOI BibTeX RDF