Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Peter Kemper, Falko Bause |
An Efficient Polynomial-Time Algorithm to Decide Liveness and Boundedness of Free-Choice Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings, pp. 263-278, 1992, Springer, 3-540-55676-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Irène Guessarian, Marcos Veloso Peixoto |
About Boundedness for some DATALOG and DATALOG_neg Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1992, 17th International Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings, pp. 284-297, 1992, Springer, 3-540-55808-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Paola Alimonti, Esteban Feuerstein, Umberto Nanni |
Linear Time Algorithms for Liveness and Boundedness in Conflict-free Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992, Proceedings, pp. 1-14, 1992, Springer, 3-540-55284-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Jeffrey F. Naughton, Yehoshua Sagiv |
A Simple Characterization of Uniform Boundedness for a Class of Recursions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Program. ![In: J. Log. Program. 10(3&4), pp. 233-252, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Annegret Habel, Hans-Jörg Kreowski, Walter Vogler |
Decidable Boundedness Problems for Sets of Graphs Generated by Hyperedge-Replacement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 89(1), pp. 33-62, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Nicholas N. Vakhania |
Gaussian mean boundedness of densely defined linear operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 7(3), pp. 225-231, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Alexander S. Kechris |
Boundedness Theorems for Dilators and Ptykes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 52(1-2), pp. 79-92, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Alexander S. Kechris, W. Hugh Woodin |
A Strong Boundedness Theorem for Dilators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 52(1-2), pp. 93-97, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson, Moshe Y. Vardi |
Tools for Datalog Boundedness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Tenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 29-31, 1991, Denver, Colorado, USA, pp. 1-12, 1991, ACM Press, 0-89791-430-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Datalog |
15 | Serge Abiteboul |
Boundedness is Undecidable for Datalog Programs with a Single Recursive Rule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 32(6), pp. 281-287, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
15 | Lou van den Dries |
Dimension of Definable Sets, Algebraic Boundedness and Henselian Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 45(2), pp. 189-209, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
15 | Tomohisa Suganuma, Kaoru Kurosawa, Ni Yongmao |
A polynomial time validation method for channel boundedness of communication protocols (2 processes). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Comput. Jpn. ![In: Syst. Comput. Jpn. 20(11), pp. 60-66, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
15 | Xi Wang, Lung-kee Chen |
Proving the uniform boundedness of some commonly used control schemes for robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 1989 IEEE International Conference on Robotics and Automation, Scottsdale, Arizona, USA, May 14-19, 1989, pp. 1491-1496, 1989, IEEE Computer Society, 0-8186-1938-4. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
15 | Tat-hung Chan |
The Boundedness Problem for Three-Dimensional Vector Addition Systems with States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 26(6), pp. 287-289, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
15 | Serge Abiteboul, Victor Vianu |
The Connection of Static Constraints with Determinism and Boundedness of Dynamic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDKB ![In: Proceedings of the Third International Conference on Data and Knowledge Bases: Improving Usability and Responsiveness, June 28-30, 1988, Jerusalem, Israel., pp. 324-334, 1988, Morgan Kaufmann, 978-1-4832-1313-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
15 | Jana Jurecková, Pranab Kumar Sen |
An extension of Billingsley's uniform boundedness theorem to higher-dimensional M-processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kybernetika ![In: Kybernetika 23(5), pp. 382-387, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
15 | Rodney R. Howell, Louis E. Rosier, Hsu-Chun Yen |
An O(n^(1.5)) Algorithm to Decide Boundedness for Conflict-Free Vector Replacement Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 25(1), pp. 27-33, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
15 | Gerhard Jäger |
A Boundedness Theorem In mathrmID1 (W). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 51(4), pp. 942-947, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Louis E. Rosier, Hsu-Chun Yen |
Boundedness, Empty Channel Detection, and Synchronization for Communicating Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 44, pp. 69-105, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Louis E. Rosier, Hsu-Chun Yen |
A Multiparameter Analysis of the Boundedness Problem for Vector Addition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 32(1), pp. 105-135, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
15 | Gheorghe Paun |
On Pariki-boundedness of matrix languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. EATCS ![In: Bull. EATCS 25, pp. 34-36, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
15 | Louis E. Rosier, Hsu-Chun Yen |
A multiparameter analysis of the boundedness problem for vector addition systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, FCT '85, Cottbus, GDR, September 9-13, 1985, pp. 361-370, 1985, Springer, 3-540-15689-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
15 | Erkki Mäkinen |
Boundedness Testing for Unambiguous Context-Free Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 17(4), pp. 181-183, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
15 | Takashi Yokomori, Aravind K. Joshi |
Semi-Linearity, Parikh-Boundedness and Tree-Adjunct Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 17(3), pp. 137-143, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
15 | B. Ross Barmish, Ian R. Petersen, Arie Feuer |
Linear ultimate boundedness control of uncertain dynamical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 19(5), pp. 523-532, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
15 | John C. Kieffer |
Characterizations of d -total boundedness for classes of B sources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 28(1), pp. 26-35, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
15 | Jean-Charles Pomerol |
The boundedness of the Lagrange multipliers set and duality in mathematical programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Z. Oper. Research ![In: Z. Oper. Research 25(7), pp. 191-204, 1981. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
15 | Wen-Chen Chen, Robert J. Fontana |
On total boundedness for existence of weakly minimax universal codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 27(6), pp. 781-784, 1981. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
15 | John L. Hickman |
Boundedness Properties of Cardinals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 25(31), pp. 485-486, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
15 | Charles Rackoff |
The Covering and Boundedness Problems for Vector Addition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 6, pp. 223-231, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
15 | George T. Diderrich |
Local Boundedness and the Shannon Entropy ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Control. ![In: Inf. Control. 36(3), pp. 292-308, March 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
15 | Thomas G. Hallam |
On Representation and Boundedness of Solutions of a Functional Differential Equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Syst. Theory ![In: Math. Syst. Theory 9(1), pp. 1-8, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
15 | David Lowell Lovelady |
On the Boundedness Properties of a Perturbed Nonlinear System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Syst. Theory ![In: Math. Syst. Theory 9(3), pp. 281-286, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
15 | George T. Diderrich |
The Role of Boundedness in Characterizing Shannon Entropy ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Control. ![In: Inf. Control. 29(2), pp. 149-161, October 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
11 | Kenji Kashima, Yasuyuki Kawamura, Jun-ichi Imura |
Oscillation analysis of linearly coupled piecewise affine systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010, pp. 121-130, 2010, ACM, 978-1-60558-955-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
linearly coupled array, systems biology, large scale systems, oscillation, piecewise affine systems |
11 | Rodolfo García-Rodríguez, Vicente Parra-Vega |
A Neuro-Sliding Mode Control Scheme for Constrained Robots with Uncertain Jacobian. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 54(5), pp. 689-708, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Constrained motion, Second order sliding mode, Chattering free, Jacobian uncertainty, Neural networks, Robot control |
11 | Saeed M. Hoseini, Mohammad Farrokhi |
Neuro-Adaptive Output Feedback Control for a Class of Nonlinear Non-Minimum Phase Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 56(5), pp. 487-511, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Nonlinear non-minimum phase system, Output feedback, Strictly positive real, Neural networks, Adaptive control |
11 | Peter Bürgisser, Felipe Cucker |
Exotic Quantifiers, Complexity Classes, and Complete Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Found. Comput. Math. ![In: Found. Comput. Math. 9(2), pp. 135-170, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 68Q15, 68Q17 |
11 | Zhenyuan Guo, Lihong Huang |
Global Output Convergence of a Class of Recurrent Delayed Neural Networks with Discontinuous Neuron Activations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Process. Lett. ![In: Neural Process. Lett. 30(3), pp. 213-227, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Recurrent delayed neural networks, Global output convergence, Discontinuous neuron activations, Time-varying inputs |
11 | Changyu Wang, Duan Li 0002 |
Unified theory of augmented Lagrangian methods for constrained global optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 44(3), pp. 433-458, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Augmented Lagrangian function, Global optimization, Nonlinear programming, Global convergence, Nonconvex optimization, Saddle point, Duality theory |
11 | Sigal Gottlieb, David I. Ketcheson, Chi-Wang Shu |
High Order Strong Stability Preserving Time Discretizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 38(3), pp. 251-289, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Multistep methods, Spectral deferred correction methods, Runge-Kutta methods, High order accuracy, Time discretization, Strong stability preserving |
11 | Imran A. Pirwani |
Shifting Strategy for Geometric Graphs without Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings, pp. 362-371, 2009, Springer, 978-3-642-10630-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Chenguang Zhu, Weizhu Chen, Zeyuan Allen Zhu, Gang Wang 0010, Dong Wang 0022, Zheng Chen 0001 |
A general magnitude-preserving boosting algorithm for search ranking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 18th ACM Conference on Information and Knowledge Management, CIKM 2009, Hong Kong, China, November 2-6, 2009, pp. 817-826, 2009, ACM, 978-1-60558-512-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
directed distance function (ddf), magnitude-preserving, pairwise-preference |
11 | Ming-Chih Chien, An-Chyau Huang |
FAT-based adaptive visual servoing for robots with time varying uncertainties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2009 IEEE International Conference on Robotics and Automation, ICRA 2009, Kobe, Japan, May 12-17, 2009, pp. 3700-3705, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Amin Coja-Oghlan, Colin Cooper, Alan M. Frieze |
An efficient sparse regularity concept. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2009, New York, NY, USA, January 4-6, 2009, pp. 207-216, 2009, SIAM, 978-0-89871-680-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Zhijun Li 0001, Jun Luo, Lei Dai |
Adaptive dynamic coupling control of human-symbiotic wheeled mobile manipulators with hybrid joints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, 2009, St. Louis, MO, USA, pp. 1132-1137, 2009, IEEE, 978-1-4244-3803-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Brendan J. Englot, Franz S. Hover |
Stability and robustness analysis tools for marine robot localization and SLAM applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, 2009, St. Louis, MO, USA, pp. 4426-4432, 2009, IEEE, 978-1-4244-3803-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Lei Wang 0035, Enmin Feng, Jianxiong Ye, Zhilong Xiu |
Modeling and Properties of Nonlinear Stochastic Dynamical System of Continuous Culture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex (1) ![In: Complex Sciences, First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009. Revised Papers, Part 1, pp. 458-466, 2009, Springer, 978-3-642-02465-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Continuous Culture, Bioconversion, Nonlinear Stochastic System, Stochastic Simulation |
11 | Pierre Ganty, Rupak Majumdar, Andrey Rybalchenko |
Verifying liveness for asynchronous programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 102-113, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
asynchronous (event-driven) programming, fair termination, petri nets, liveness |
11 | Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer |
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 440-455, 2009, Springer, 978-3-642-00595-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Jinming Liang, Qiankun Song |
Global Passivity of Stochastic Neural Networks with Time-Varying Delays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (1) ![In: Advances in Neural Networks - ISNN 2009, 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009, Proceedings, Part I, pp. 405-412, 2009, Springer, 978-3-642-01506-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Passivity, Time-varying delays, Stochastic neural networks |
11 | Guanjun Li, Jin Xu |
The Dahlquist Constant Approach to Stability Analysis of the Static Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (1) ![In: Advances in Neural Networks - ISNN 2009, 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009, Proceedings, Part I, pp. 295-302, 2009, Springer, 978-3-642-01506-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Dahlquist constant, Static neural network, Exponential stability |
11 | Chunxue Wu, Bao Shi |
Existence and Stability of Periodic Solutions for BAM Neural Networks with Time-Varying Delays and Impulses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (1) ![In: Advances in Neural Networks - ISNN 2009, 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009, Proceedings, Part I, pp. 472-481, 2009, Springer, 978-3-642-01506-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
BAM neural networks, coincidence degree, delays, periodic solutions, impulse |
11 | André van Cleeff, Wolter Pieters, Roel J. Wieringa |
Security Implications of Virtualization: A Literature Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSE (3) ![In: Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, CSE 2009, Vancouver, BC, Canada, August 29-31, 2009, pp. 353-358, 2009, IEEE Computer Society, 978-1-4244-5334-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Juan de Lara, Esther Guerra |
Formal Support for QVT-Relations with Coloured Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, pp. 256-270, 2009, Springer, 978-3-642-04424-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Min Wang 0003, Bing Chen 0001, Peng Shi 0001 |
Adaptive Neural Control for a Class of Perturbed Strict-Feedback Nonlinear Time-Delay Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part B ![In: IEEE Trans. Syst. Man Cybern. Part B 38(3), pp. 721-730, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Qinmin Yang, Sarangapani Jagannathan |
A Suite of Robust Controllers for the Manipulation of Microscale Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part B ![In: IEEE Trans. Syst. Man Cybern. Part B 38(1), pp. 113-125, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Khanh Vu, Kien A. Hua, Hao Cheng 0001, Sheau-Dong Lang |
Bounded Approximation: A New Criterion for Dimensionality Reduction Approximation in Similarity Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 20(6), pp. 768-783, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Information Search and Retrieval, Information Storage and Retrieval, Search process |
11 | Lubomira G. Softova |
Singular integral operators in Morrey spaces and interior regularity of solutions to systems of linear PDE's. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 40(1-3), pp. 427-442, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
AMS Subject Classification (2000) 35J45, 35K40, 35B45, 35B65, 35R05, 42B20, 46E35 |
11 | L. Mauricio Graña Drummond, Nelson Maculan, Benar Fux Svaiter |
On the choice of parameters for the weighting method in vector optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 111(1-2), pp. 201-216, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 90C29, 65K99, 74P99 |
11 | Roberto Andreani, Ernesto G. Birgin, José Mario Martínez, María Laura Schuverdt |
Augmented Lagrangian methods under the constant positive linear dependence constraint qualification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 111(1-2), pp. 5-32, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 65K05, 65K10 |
11 | Chandra R. Murthy, Jun Zheng 0001, Bhaskar D. Rao |
Performance of Quantized Equal Gain Transmission With Noisy Feedback Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 56(6), pp. 2451-2460, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Alex S. Leong, Subhrakanti Dey, Jamie S. Evans |
On Kalman Smoothing With Random Packet Loss. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 56(7-2), pp. 3346-3351, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | An-Min Zou, Zeng-Guang Hou, Min Tan 0001 |
Adaptive Control of a Class of Nonlinear Pure-Feedback Systems Using Fuzzy Backstepping Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 16(4), pp. 886-897, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Qing Song 0001, James C. Spall, Yeng Chai Soh, Jie Ni |
Robust Neural Network Tracking Controller Using Simultaneous Perturbation Stochastic Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 19(5), pp. 817-835, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Tomohisa Hayakawa, Wassim M. Haddad, Naira Hovakimyan |
Neural Network Adaptive Control for a Class of Nonlinear Uncertain Dynamical Systems With Asymptotic Stability Guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 19(1), pp. 80-89, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Changchun Hua, Xinping Guan |
Output Feedback Stabilization for Time-Delay Nonlinear Interconnected Systems Using Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 19(4), pp. 673-688, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Charlotte Yuk-Fan Ho, Bingo Wing-Kuen Ling, Hak-Keung Lam, Muhammad H. U. Nasir |
Global Convergence and Limit Cycle Behavior of Weights of Perceptron. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 19(6), pp. 938-947, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Lei Zhang 0005, Zhang Yi 0001, Jiali Yu |
Multiperiodicity and Attractivity of Delayed Recurrent Neural Networks With Unsaturating Piecewise Linear Transfer Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 19(1), pp. 158-167, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Shuzhi Sam Ge, Chenguang Yang, Tong Heng Lee |
Adaptive Predictive Control Using Neural Network for a Class of Pure-Feedback Systems in Discrete Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 19(9), pp. 1599-1614, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Jianming Lian, Yonggon Lee, Scott D. Sudhoff, Stanislaw H. Zak |
Self-Organizing Radial Basis Function Network for Real-Time Approximation of Continuous-Time Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 19(3), pp. 460-474, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Peter Shih, Brian C. Kaul, Sarangapani Jagannathan, James A. Drallmeier |
Reinforcement-Learning-Based Dual-Control Methodology for Complex Nonlinear Discrete-Time Systems With Application to Spark Engine EGR Operation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 19(8), pp. 1369-1388, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Dong Xu, Dongbin Zhao, Jianqiang Yi, Xiang-min Tan, Zonghai Chen |
Trajectory tracking control of omnidirecitonal wheeled mobile manipulators: Robust neural network based sliding mode approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2008 IEEE International Conference on Robotics and Automation, ICRA 2008, May 19-23, 2008, Pasadena, California, USA, pp. 1653-1658, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Dimos V. Dimarogonas, Karl Henrik Johansson |
Decentralized connectivity maintenance in mobile networks with bounded inputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2008 IEEE International Conference on Robotics and Automation, ICRA 2008, May 19-23, 2008, Pasadena, California, USA, pp. 1507-1512, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Duc A. Tran, Khanh Vu |
Dimensionality Reduction in Hyperbolic Data Spaces: Bounding Reconstructed-Information Loss. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 7th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2008, 14-16 May 2008, Portland, Oregon, USA, pp. 133-139, 2008, IEEE Computer Society, 978-0-7695-3131-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Viorica Sofronie-Stokkermans |
Efficient Hierarchical Reasoning about Functions over Numerical Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2008: Advances in Artificial Intelligence, 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings, pp. 135-143, 2008, Springer, 978-3-540-85844-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Philippe Darondeau, Blaise Genest, Loïc Hélouët |
Products of Message Sequence Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings, pp. 458-473, 2008, Springer, 978-3-540-78497-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | David John Hill, Jun Zhao 0002 |
Global synchronization of complex dynamical networks with non-identical nodes. ![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. 817-822, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Angelo Alessandri, Marco Baglietto, Giorgio Battistelli |
Maximum-likelihood Kalman filtering for switching discrete-time linear systems. ![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. 3192-3198, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Ivan Tyukin, Erik Steur, Henk Nijmeijer, Cees van Leeuwen |
Non-uniform small-gain theorems for systems with unstable invariant sets. ![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. 5080-5085, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Xiaodong Zhang 0009, Marios M. Polycarpou, Thomas Parisini |
Adaptive fault-tolerant control of a class of nonlinear MIMO systems. ![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. 398-403, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Yilin Mo, Bruno Sinopoli |
A characterization of the critical value for Kalman filtering with intermittent observations. ![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. 2692-2697, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Arturo Zavala-Río, Carlos-M. Astorga-Zaragoza, Omar Hernandez-Gonzalez |
A bounded positive non-linear PI control law for double-pipe heat exchangers. ![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. 5674-5679, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Sangbo Seo, Hyungbo Shim, Jin Heon Seo |
Global finite-time stabilization of a nonlinear system using dynamic exponent scaling. ![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. 3805-3810, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Qian Sang, Gang Tao |
Gain margins of multivariable MRAC systems. ![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. 702-707, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Chuanliang Xia |
Property Preservation by Petri-Net-Based Refinements in System Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICYCS ![In: Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008, pp. 240-246, 2008, IEEE Computer Society, 978-0-7695-3398-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Hsu-Chun Yen |
Concurrency, Synchronization, and Conflicts in Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Applications of Automata, 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings, pp. 33-35, 2008, Springer, 978-3-540-70843-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Ronald Fagin, Phokion G. Kolaitis, Alan Nash, Lucian Popa 0001 |
Towards a theory of schema-mapping optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2008, June 9-11, 2008, Vancouver, BC, Canada, pp. 33-42, 2008, ACM, 978-1-60558-108-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
conjunctive-query equivalence, data-exchange equivalence, data integration, data exchange, schema mapping |
11 | Anhua Wan, Weihua Mao |
Criteria for Exponential Stability of Cohen-Grossberg Neural Networks with Multiple Time-Varying Delays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (2) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence, 4th International Conference on Intelligent Computing, ICIC 2008, Shanghai, China, September 15-18, 2008, Proceedings, pp. 19-26, 2008, Springer, 978-3-540-85983-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Cohen-Grossberg neural networks, multiple time-varying delays, exponential stability |
11 | Chaogai Xue, Haiwang Cao |
Dynamic Properties of Enterprise Information System Based on Formal Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (2) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China, pp. 570-573, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Yukio Ogura |
On Stochastic Differential Equations with Fuzzy Set Coefficients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMPS ![In: Soft Methods for Handling Variability and Imprecision, Selected papers from the 4th International Conference on Soft Methods in Probability and Statistics, SMPS 2008, Toulouse, France, September 8-10, 2008, pp. 263-270, 2008, Springer, 978-3-540-85026-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Set coefficients, Fuzzy set coefficients, Random fuzzy sets, Stochastic differential equation, Random sets |
11 | Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang |
Quasi-Static Scheduling of Communicating Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings, pp. 310-324, 2008, Springer, 978-3-540-85360-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Amir M. Ben-Amram, Neil D. Jones, Lars Kristiansen |
Linear, Polynomial or Exponential? Complexity Inference in Polynomial Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings, pp. 67-76, 2008, Springer, 978-3-540-69405-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
linear time complexity, static program analysis, polynomial time complexity, implicit computational complexity |
11 | Sung-Soon Choi, Yung-Keun Kwon, Byung Ro Moon |
Properties of Symmetric Fitness Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Evol. Comput. ![In: IEEE Trans. Evol. Comput. 11(6), pp. 743-757, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Pingan He 0002, Sarangapani Jagannathan |
Reinforcement Learning Neural-Network-Based Controller for Nonlinear Discrete-Time Systems With Input Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part B ![In: IEEE Trans. Syst. Man Cybern. Part B 37(2), pp. 425-436, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Zhijun Li 0001, Shuzhi Sam Ge, Aiguo Ming |
Adaptive Robust Motion/Force Control of Holonomic-Constrained Nonholonomic Mobile Manipulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part B ![In: IEEE Trans. Syst. Man Cybern. Part B 37(3), pp. 607-616, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Juan Ignacio Mulero Martínez |
Uniform Bounds of the Coriolis/Centripetal Matrix of Serial Robot Manipulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Robotics ![In: IEEE Trans. Robotics 23(5), pp. 1083-1089, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Michael Kohler, Adam Krzyzak |
On the Rate of Convergence of Local Averaging Plug-In Classification Rules Under a Margin Condition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 53(5), pp. 1735-1742, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Uday P. Khedker, Amitabha Sanyal, Amey Karkare |
Heap reference analysis using access graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 30(1), pp. 1, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
heap references, data flow analysis, liveness, Aliasing |
11 | Vivek Yadav, Radhakant Padhi, Sivasubramanya Nadar Balakrishnan |
Robust/Optimal Temperature Profile Control of a High-Speed Aerospace Vehicle Using Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 18(4), pp. 1115-1128, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|