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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1006.1749, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
17 | Mingji Xia |
Holographic Reduction: A Domain Changed Application and Its Partial Converse Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (1) ![In: Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I, pp. 666-677, 2010, Springer, 978-3-642-14164-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 49th IEEE Conference on Decision and Control, CDC 2010, December 15-17, 2010, Atlanta, Georgia, USA, pp. 5949-5954, 2010, IEEE, 978-1-4244-7745-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC ![In: Sixth International Conference on Natural Computation, ICNC 2010, Yantai, Shandong, China, 10-12 August 2010, pp. 2710-2714, 2010, IEEE, 978-1-4244-5961-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Rajeev Goré, Florian Widmann |
Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings, pp. 225-239, 2010, Springer, 978-3-642-14202-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Yury Polyanskiy, Sergio Verdú |
Arimoto channel coding converse and Rényi divergence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Allerton ![In: 48th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2010, Monticello, IL, USA, September 29 - October 1, 2020, pp. 1327-1333, 2010, IEEE, 978-1-4244-8215-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Serenella Cerrito, Marta Cialdea Mayer |
Nominal Substitution at Work with the Global and Converse Modalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Modal Logic ![In: Advances in Modal Logic 8, papers from the eighth conference on `Advances in Modal Logic,` held in Moscow, Russia, 24-27 August 2010, pp. 59-76, 2010, College Publications, 978-1-84890-013-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
17 | Stefan Göller, Markus Lohrey, Carsten Lutz |
PDL with intersection and converse: satisfiability and infinite-state model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 74(1), pp. 279-314, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Peter Berlin, Baris Nakiboglu, Bixio Rimoldi, Emre Telatar |
A simple converse of Burnashev's reliability function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 55(7), pp. 3074-3080, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Himanshu Tyagi, Prakash Narayan |
The Gelfand-Pinsker Channel: Strong Converse and Upper Bound for the Reliability Function ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0910.0653, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
17 | Robert J. Durrant, Ata Kabán |
When is 'nearest neighbour' meaningful: A converse theorem and implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 25(4), pp. 385-397, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Shunsheng Guo, Gengsheng Zhang, Guofen Liu |
Strong converse inequality for left Bernstein quasi-interpolants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 22(2), pp. 175-181, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Mark Kaminski, Gert Smolka |
Terminating Tableau Systems for Hybrid Logic with Difference and Converse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 18(4), pp. 437-464, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Games Econ. Behav. ![In: Games Econ. Behav. 65(2), pp. 644-648, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Wei-Hsin Gu, Michelle Effros |
A strong converse for a collection of network source coding problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIT ![In: IEEE International Symposium on Information Theory, ISIT 2009, June 28 - July 3, 2009, Seoul, Korea, Proceedings, pp. 2316-2320, 2009, IEEE, 978-1-4244-4312-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Himanshu Tyagi, Prakash Narayan |
The Gelfand-Pinsker channel: Strong converse and upper bound for the reliability function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIT ![In: IEEE International Symposium on Information Theory, ISIT 2009, June 28 - July 3, 2009, Seoul, Korea, Proceedings, pp. 1954-1957, 2009, IEEE, 978-1-4244-4312-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Pierre Moulin |
Strong converse for Gel'fand-Pinsker channel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIT ![In: IEEE International Symposium on Information Theory, ISIT 2009, June 28 - July 3, 2009, Seoul, Korea, Proceedings, pp. 1958-1962, 2009, IEEE, 978-1-4244-4312-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 48th IEEE Conference on Decision and Control, CDC 2009, combined withe the 28th Chinese Control Conference, December 16-18, 2009, Shanghai, China, pp. 3155-3161, 2009, IEEE, 978-1-4244-3871-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2009, American Medical Informatics Association Annual Symposium, San Francisco, CA, USA, November 14-18, 2009, 2009, AMIA. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
17 | Yuhua Qian, Jiye Liang, Chuangyin Dang |
Converse approximation and rule extraction from decision tables in rough set theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 55(8), pp. 1754-1765, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 400(1-3), pp. 230-233, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Youjian Liu |
A Simple Converse Proof and a Unified Capacity Formula for Channels with Input Constraints ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0807.0042, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
17 | Izumi Masubuchi |
Analysis of Positive Invariance and Almost Regional Attraction Via Density Functions With Converse Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 52(7), pp. 1329-1333, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Laurent Bartholdi |
A converse to Moore's theorem on cellular automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0709.4280, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
17 | T. R. Gulati 0001, Divya Agarwal |
On Huard type second-order converse duality in nonlinear programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 20(10), pp. 1057-1063, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 20(1), pp. 59-64, 2007. The full citation details ...](Pics/full.jpeg) |
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] ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 20(2), pp. 241, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Chih Chang, Cheng-Cheng Hu |
Reduced game and converse consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Games Econ. Behav. ![In: Games Econ. Behav. 59(2), pp. 260-278, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Göller, Markus Lohrey, Carsten Lutz |
PDL with Intersection and Converse is 2EXP-complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic-Logical Theory of Infinite Structures ![In: Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITW ![In: Proceedings of the IEEE Information Theory Workshop on Information Theory for Wireless Networks, July 1-6, 2007, Solstrand, Norway, pp. 1-5, 2007, IEEE, 1-4244-1199-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Qing Hui, Wassim M. Haddad, Sanjay P. Bhat |
Lyapunov and converse Lyapunov theorems for semistability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 46th IEEE Conference on Decision and Control, CDC 2007, New Orleans, LA, USA, December 12-14, 2007, pp. 5870-5874, 2007, IEEE, 978-1-4244-1497-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Umesh Vaidya |
Converse theorem for almost everywhere stability using Lyapunov measure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2007, New York, NY, USA, 9-13 July, 2007., pp. 4835-4840, 2007, IEEE, 1-4244-0988-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAN-X ![In: PLAN-X 2007, Programming Language Technologies for XML, An ACM SIGPLAN Workshop colocated with POPL 2007, Nice, France, January 20, 2007, pp. 61-72, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
17 | Jörg Brendle, Shuguo Zhang |
Converse dual cardinals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 71(1), pp. 22-34, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | David E. Dobbs |
A class of principal ideal rings arising from the converse of the Chinese remainder theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Math. Sci. ![In: Int. J. Math. Math. Sci. 2006, pp. 19607:1-19607:5, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Xinmin Yang, X. Q. Yang, Kok Lay Teo |
Converse duality in nonlinear programming with cone constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 170(2), pp. 350-354, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Charles R. Johnson, António Leal Duarte |
Converse to the Parter-Wiener theorem: The case of non-trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 306(23), pp. 3125-3129, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Annalisa Cesaroni |
A converse Lyapunov theorem for almost sure stabilizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Control. Lett. ![In: Syst. Control. Lett. 55(12), pp. 992-998, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Srinivas Bangalore, Giuseppe Di Fabbrizio, Amanda Stent |
Towards Learning to Converse: Structuring Task-Oriented Human-Human Dialogs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP (1) ![In: 2006 IEEE International Conference on Acoustics Speech and Signal Processing, ICASSP 2006, Toulouse, France, May 14-19, 2006, pp. 53-56, 2006, IEEE, 1-4244-0469-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Mehdi Mohseni, John M. Cioffi |
A Proof of the Converse for the Capacity of Gaussian MIMO Broadcast Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIT ![In: Proceedings 2006 IEEE International Symposium on Information Theory, ISIT 2006, The Westin Seattle, Seattle, Washington, USA, July 9-14, 2006, pp. 881-885, 2006, IEEE, 1-4244-0504-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | S. Emre Tuna, Andrew R. Teel |
Homogeneous hybrid systems and a converse Lyapunov theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 45th IEEE Conference on Decision and Control, CDC 2006, San Diego, CA, USA, December 13-15, 2006, pp. 6235-6240, 2006, IEEE, 1-4244-0171-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 45th IEEE Conference on Decision and Control, CDC 2006, San Diego, CA, USA, December 13-15, 2006, pp. 5097-5101, 2006, IEEE, 1-4244-0171-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 45th IEEE Conference on Decision and Control, CDC 2006, San Diego, CA, USA, December 13-15, 2006, pp. 4259-4264, 2006, IEEE, 1-4244-0171-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Izumi Masubuchi |
Density Functions Characterizing Positive Invariance and Regional Almost Attraction with Converse Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 45th IEEE Conference on Decision and Control, CDC 2006, San Diego, CA, USA, December 13-15, 2006, pp. 5126-5131, 2006, IEEE, 1-4244-0171-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Rudolf Ahlswede, Ning Cai 0001 |
A Strong Converse Theorem for Quantum Multiple Access Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Notes Discret. Math. ![In: Electron. Notes Discret. Math. 21, pp. 137-141, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Ernst-Erich Doberkat |
The converse of a stochastic relation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 62(1), pp. 133-154, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 50(8), pp. 1147-1163, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Xinmin Yang, Xiaoqi Yang 0001, Kok Lay Teo |
Huard type second-order converse duality for nonlinear programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 18(2), pp. 205-208, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Xin Wang, Yanxun Chang |
The spectrum for self-converse directed BIBDs with block size four. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ars Comb. ![In: Ars Comb. 75, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
17 | Fabian Wirth |
A Converse Lyapunov Theorem for Linear Parameter-Varying and Linear Switching Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Control. Optim. ![In: SIAM J. Control. Optim. 44(1), pp. 210-239, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | David Bellin |
Review of "PHP5 and MySQL Bible by Tim Converse and Joyce Park". ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Queue ![In: ACM Queue 3(2), pp. 58, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
SQL |
17 | Chaohong Cai, Andrew R. Teel, Rafal Goebel |
Converse Lyapunov theorems and robust asymptotic stability for hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2005, Portland, OR, USA, 8-10 June, 2005, pp. 12-17vol.1, 2005, IEEE, 0-7803-9098-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Fabian Wirth |
A Converse Lyapunov Theorem for Switched Linear Systems with Dwell Times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC/ECC ![In: 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, CDC/ECC 2005, Seville, Spain, 12-15 December, 2005, pp. 4572-4577, 2005, IEEE, 0-7803-9567-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Hai Lin 0002, Panos J. Antsaklis |
A Converse Lyapunov Theorem for Uncertain Switched Linear Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC/ECC ![In: 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, CDC/ECC 2005, Seville, Spain, 12-15 December, 2005, pp. 3291-3296, 2005, IEEE, 0-7803-9567-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Piero A. Bonatti, Adriano Peron |
On the undecidability of logics with converse, nominals, recursion and counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 158(1), pp. 75-96, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Biancamaria Della Vecchia |
Direct and converse results for the weighted rational approximation of functions with inner singularities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Approx. Theory ![In: J. Approx. Theory 126(1), pp. 16-35, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Christopher M. Kellett, Andrew R. Teel |
Weak Converse Lyapunov Theorems and Control-Lyapunov Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Control. Optim. ![In: SIAM J. Control. Optim. 42(6), pp. 1934-1959, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Elizabeth Garnsey, Christian Longhi |
High technology locations and globalisation: converse paths, common processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Technol. Manag. ![In: Int. J. Technol. Manag. 28(3/4/5/6), pp. 336-355, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Koji Takamiya |
On strategy-proofness and essentially single-valued cores: A converse result. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soc. Choice Welf. ![In: Soc. Choice Welf. 20(1), pp. 77-83, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Rudolf Ahlswede, Andreas J. Winter 0002 |
Addendum to "Strong converse for identification via quantum channels". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 49(1), pp. 346, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Stéphane Demri, Hans de Nivelle |
Deciding regular grammar logics with converse through first-order logic ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.LO/0306117, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
17 | Shunsheng Guo, Qiulan Qi |
Strong converse inequalities for Baskakov operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Approx. Theory ![In: J. Approx. Theory 124(2), pp. 219-231, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Toru Hokari, Özgür Kibris |
Consistency, converse consistency, and aspirations in TU-games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Soc. Sci. ![In: Math. Soc. Sci. 45(3), pp. 313-331, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Control. Optim. ![In: SIAM J. Control. Optim. 42(3), pp. 936-965, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 42nd IEEE Conference on Decision and Control, CDC 2003, Maui, Hawaii, USA, December 9-12, 2003, pp. 5085-5090, 2003, IEEE, 0-7803-7924-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Christopher M. Kellett, Andrew R. Teel |
Results on converse Lyapunov theorems for difference inclusions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 42nd IEEE Conference on Decision and Control, CDC 2003, Maui, Hawaii, USA, December 9-12, 2003, pp. 3627-3632, 2003, IEEE, 0-7803-7924-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Rudolf Ahlswede, Andreas J. Winter 0002 |
Strong converse for identification via quantum channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 48(3), pp. 569-579, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Youngsub Chun |
The Converse Consistency Principle in Bargaining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Games Econ. Behav. ![In: Games Econ. Behav. 40(1), pp. 25-43, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Zhong-Ping Jiang, Yuan Wang 0005 |
A converse Lyapunov theorem for discrete-time systems with disturbances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Control. Lett. ![In: Syst. Control. Lett. 45(1), pp. 49-58, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Zoltán Finta |
Direct and converse results for Stancu operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Period. Math. Hung. ![In: Period. Math. Hung. 44(1), pp. 1-6, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Yasutada Oohama |
Converse coding theorem for the identification via multiple access channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITW ![In: Proceedings of the 2002 IEEE Information Theory Workshop, ITW 2002, 20-25 October 2002, Bangalore, India, pp. 155-158, 2002, IEEE, 0-7803-7629-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Anders Rantzer |
An converse theorem for density functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 41st IEEE Conference on Decision and Control, CDC 2002, Las Vegas, NV, USA, December 10-13, 2002, pp. 1890-1891, 2002, IEEE, 0-7803-7516-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | J. Tsinias |
A converse Lyapunov theorem for, non-uniform in time, global exponential robust stability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Control. Lett. ![In: Syst. Control. Lett. 44(5), pp. 373-384, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Xiuling Shan, Qingde Kang, Qiujie Sun |
Self-converse Mendelsohn designs with odd block size. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australas. J Comb. ![In: Australas. J Comb. 24, pp. 13-34, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
17 | Caikun Liu, Qingde Kang, Zhifen Guo |
Self-converse Mendelsohn designs with block size 6q. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australas. J Comb. ![In: Australas. J Comb. 24, pp. 169-192, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
17 | Fabio Massacci |
Decision Procedures for Expressive Description Logics with Intersection, Composition, Converse of Roles and Role Identity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001, pp. 193-198, 2001, Morgan Kaufmann, 1-55860-777-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
17 | Tomohiro Ogawa, Hiroshi Nagaoka |
Strong converse and Stein's lemma in quantum hypothesis testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 46(7), pp. 2428-2433, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Horst Alzer, Stephan Ruscheweyh |
A converse of Minkowski's inequality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 216(1-3), pp. 253-256, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Frank Wolter |
The product of converse PDL and polymodal K. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 10(2), pp. 223-251, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Giuseppe De Giacomo, Fabio Massacci |
Combining Deduction and Model Checking into Tableaux and Algorithms for Converse-PDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 162(1-2), pp. 117-137, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEE Proc. Softw. ![In: IEE Proc. Softw. 146(3), pp. 130-136, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 44(4), pp. 751-760, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Tomohiro Ogawa, Hiroshi Nagaoka |
Strong converse to the quantum channel coding theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 45(7), pp. 2486-2489, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Andreas J. Winter 0002 |
Coding theorem and strong converse for quantum channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 45(7), pp. 2481-2485, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Ioannis Kontoyiannis |
Efficient sphere-covering and converse measure concentration via generalized coding theorems ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR math.PR/9910062, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
17 | Laxmikant V. Kalé, Robert Brunner, James C. Phillips, Krishnan Varadarajan |
Application Performance of a Linux Cluster Using Converse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS/SPDP Workshops ![In: Parallel and Distributed Processing, 11 IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, San Juan, Puerto Rico, USA, April 12-16, 1999, Proceedings, pp. 483-495, 1999, Springer, 3-540-65831-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Martin Corless, Luigi Glielmo |
New converse Lyapunov theorems and related results on exponential stability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Control. Signals Syst. ![In: Math. Control. Signals Syst. 11(1), pp. 79-100, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Phong Q. Nguyen, Jacques Stern |
A Converse to the Ajtai-Dwork Security Proof and its Cryptographic Implications ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR98, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
17 | Laxmikant V. Kalé, Milind A. Bhandarkar, Robert Brunner, Josh Yelon |
Multiparadigm, Multilingual Interoperability: Experience with Converse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS/SPDP Workshops ![In: Parallel and Distributed Processing, 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30 - April 3, 1998, Proceedings, pp. 111-122, 1998, Springer, 3-540-64359-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Jaroslaw K. Cel |
A Converse of Dual Tellegen's Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Circuits Syst. Comput. ![In: J. Circuits Syst. Comput. 6(4), pp. 425-428, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Yanxun Chang, Guihua Yang, Qingde Kang |
The spectrum of self-converse MTS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ars Comb. ![In: Ars Comb. 44, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
17 | Laxmikant V. Kalé, Milind A. Bhandarkar, Narain Jagathesan, Sanjeev Krishnan, Josh Yelon |
Converse: An Interoperable Framework for Parallel Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '96, The 10th International Parallel Processing Symposium, April 15-19, 1996, Honolulu, Hawaii, USA, pp. 212-217, 1996, IEEE Computer Society, 0-8186-7255-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Vladimir B. Balakirsky |
A converse coding theorem for mismatched decoding at the output of binary-input memoryless channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 41(6), pp. 1889-1902, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 40(6), pp. 1908-1919, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Kenji Nakagawa, Fumio Kanaya |
On the converse theorem in statistical hypothesis testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 39(2), pp. 623-628, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Kenji Nakagawa, Fumio Kanaya |
On the converse theorem in statistical hypothesis testing for Markov chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 39(2), pp. 629-633, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Sachio Hirokawa |
Converse Principal Type-Scheme Theorem in Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 51(1), pp. 83-95, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Melvin F. Janowitz |
A converse to the Sholander embedding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 87(3), pp. 315-318, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Te Sun Han, Kingo Kobayashi |
The strong converse theorem for hypothesis testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 35(1), pp. 178-180, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
17 | José M. Méndez |
Converse Ackermann Croperty and semiclassical negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 47(2), pp. 159-168, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|