• S
  • SYNASC
  • 2006
  • Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'06)
Advanced Search 
Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'06)
Timisoara, Romania
September 26-September 29
ISBN: 0-7695-2740-X
Table of Contents
Introduction
Invited Talks
Bruno Buchberger, Johannes Kepler University, Austria
pp. 3-4
Tetsuo Ida, University of Tsukuba, Japan
pp. 11
Stephen Watt, The University of Western Ontario, Canada
pp. 12
Mathematical Theory Exploration Workshop (I)
SYNASC Session: Computer Algebra and Applications
Radu Zapotinschi, University of Cluj-Napoca, Romania
Dorina Peter, Astronomical Institute of the Romanian Academy, Romania
pp. 41-46
SYNASC Session: Data Mining
Mirel Cosulschi, University of Craiova, Romania
Adrian Giurca, Brandenburg Technical University Cottbus, Germany
Bogdan Udrescu, University of Craiova, Romania
Nicolae Constantinescu, University of Craiova, Romania
Mihai Gabroveanu, University of Craiova, Romania
pp. 75-78
SYNASC Session: Automated Reasoning, Logics, and Planning
Anatoly Anisimov, Kyiv National Taras Shevchenko University, Ukraine
Alexander Lyaletski, Kyiv National Taras Shevchenko University, Ukraine
pp. 85-88
Stefan Andrei, National University of Singapore, Singapore
Wei-Ngan Chin, National University of Singapore, Singapore
Martin Rinard, MIT, USA
pp. 93-102
SYNASC Session: Image Processing and Geometric Visualization
Luminita A. Vese, University of California, Los Angeles, USA
Stanley J. Osher, University of California, Los Angeles, USA
pp. 103-110
Adrian Ion, Vienna University of Technology, Austria
Thomas Illetschko, Vienna University of Technology, Austria
Yll Haxhimusa, Vienna University of Technology, Austria
Walter G. Kropatsch, Vienna University of Technology, Austria
pp. 111-118
Liana Stanescu, University of Craiova, Romania
Anca Ion, University of Craiova, Romania
Dan Burdescu, University of Craiova, Romania
Marius Brezovan, University of Craiova, Romania
pp. 119-124
SYNASC Session: Learning and Fuzzy Control
Yaile Caballero, Universidad de Camaguey, Cuba
Rafael Bello, Universidad Central de Las Villas, Cuba
Alberto Taboada, Universidad Central de Las Villas, Cuba
Ann Nowe, Vrije Universiteit it Brussel, Belgium
Maria M. Garcia, Universidad Central de Las Villas, Cuba
Gladys Casas, Universidad Central de Las Villas, Cuba
pp. 133-140
Marius L. Tomescu, "Aurel Vlaicu" University of Arad, Romania
Gheorghe Petrov, West University of Timisoara, Romania
pp. 141-150
SYNASC Session: Symbolic and Numeric Algorithms
Pavel Tvrdik, Czech Technical University, Prague
Ivan Simecek, Czech Technical University, Prague
pp. 156-163
Wei Xiao, Crimson Logic, Singapore
Eng-Wee Chionh, National University of Singapore, Singapore
pp. 164-170
SYNASC Session: Formal Methods in Software Design
M. Carmen Ruiz, Universidad de Castilla-La Mancha, Spain
Diego Cazorla, Universidad de Castilla-La Mancha, Spain
Fernando Cuartero, Universidad de Castilla-La Mancha, Spain
J. Jose Pardo, Universidad de Castilla-La Mancha, Spain
pp. 181-186
Cristina Marinescu, "Politehnica" University of Timisoara, Romania
Ioan Jurca, "Politehnica" University of Timisoara, Romania
pp. 187-194
Agents for Complex Systems Workshop (I)
Iuliana Dogaru, University of Craiova, Romania
Amelia Badica, University of Craiova, Romania
Costin Badica, University of Craiova, Romania
pp. 201-204
Costin Badica, University of Craiova, Romania
Gabriel-George Popa, University of Craiova, Romania
Mihnea Scafes, University of Craiova, Romania
Maria Ganzha, Polish Academy of Science, Poland
Maciej Gawinecki, Polish Academy of Science, Poland
Pawel Kobzdej, Polish Academy of Science, Poland
Marcin Paprzycki, Polish Academy of Science, Poland
pp. 205-208
Daniel Pop, West University of Timisoara, Romania
Viorel Negru, West University of Timisoara, Romania
Calin Sandru, West University of Timisoara, Romania
pp. 217-226
Agents for Complex Systems Workshop (II)
Mihai Stan, University "Politehnica" of Bucharest, Romania
Bogdan Stan, University "Politehnica" of Bucharest, Romania
Adina Magda Florea, University "Politehnica" of Bucharest, Romania
pp. 227-232
Mihaela Oprea, University Petroleum-Gas of Ploiesti, Romania
Constantin Nichita, University Petroleum-Gas of Ploiesti, Romania
pp. 233-238
Camelia-M. Pintea, 'Babes-Bolyai' University, Romania
Camelia Chira, 'Babes-Bolyai' University, Romania
D. Dumitrescu, 'Babes-Bolyai' University, Romania
pp. 239-243
Gabriel Ciobanu, "A.I.Cuza" University of Iasi, Faculty of Computer Science and Romanian Academy, Institute of Computer Science, Romania
pp. 244-250
Grid Computing Applications Development Workshop (I)
Dana Petcu, West University of Timisoara, Romania
Victoria Iordan, West University of Timisoara, Romania
pp. 251-258
Floricica Parauan, iQuest Technologies SRL
Mihaela Ordean, iQuest Technologies SRL
Andrei Diamandi, ANM Bucharest, Romania
pp. 259-266
Victor Bacu, Technical University of Cluj-Napoca, Romania
Ovidiu Muresan, Technical University of Cluj-Napoca, Romania
Dorian Gorgan, Technical University of Cluj-Napoca, Romania
pp. 267-273
Norbert Somosi, West University of Timisoara, Romania
Dana Petcu, West University of Timisoara, Romania
pp. 274-278
Cornelia Melenti, Technical University of Cluj-Napoca, Romania
Daniel Safta, Technical University of Cluj-Napoca, Romania
Dorian Gorgan, Technical University of Cluj-Napoca, Romania
pp. 279-288
Grid Computing Applications Development Workshop (II)
Rares Barbantan, Technical University of Cluj-Napoca, Romania
Dorian Gorgan, Technical University of Cluj-Napoca, Romania
pp. 289-295
Adrian Colesa, Technical University of Cluj-Napoca
Iosif Ignat, Technical University of Cluj-Napoca
Radu Opris, Technical University of Cluj-Napoca
pp. 296-302
Marcela S. Boboila, University Politehnica of Bucharest, Romania
George V. Iordache, University Politehnica of Bucharest, Romania
Florin Pop, University Politehnica of Bucharest, Romania
Valentin Cristea, University Politehnica of Bucharest, Romania
pp. 303-308
Natural Computing and Applications Workshop (I)
Catalin Stoean, University of Craiova, Romania
Mike Preuss, University of Dortmund, Germany
D. Dumitrescu, Babes-Bolyai University, Romania
Ruxandra Stoean, University of Craiova, Romania
pp. 317-322
Madalina Ionita, "Al. I. Cuza" University, Iasi, Romania
Mihaela Breaban, "Al. I. Cuza" University, Iasi, Romania
Cornelius Croitoru, "Al. I. Cuza" University, Iasi, Romania
pp. 323-329
Ruxandra Stoean, University of Craiova, Romania
D. Dumitrescu, Babes-Bolyai University, Romania
Mike Preuss, University of Dortmund, Germany
Catalin Stoean, University of Craiova, Romania
pp. 330-335
Natural Computing and Applications Workshop (II)
Victor Martinez, Universidad Politecnica de Madrid, Spain
Fernando Arroyo, Universidad Politecnica de Madrid, Spain
Abraham Gutierrez, Universidad Politecnica de Madrid, Spain
Luis Fernandez, Universidad Politecnica de Madrid, Spain
pp. 343-349
Abraham Gutierrez, Universidad Politecnica de Madrid, Spain
Luis Fernandez, Universidad Politecnica de Madrid, Spain
Fernando Arroyo, Universidad Politecnica de Madrid, Spain
Victor Martinez, Universidad Politecnica de Madrid, Spain
pp. 350-353
Cosmin Bonchis, Research Institute "e-Austria" Timisoara, Romania
Cornel Izbasa, Research Institute "e-Austria" Timisoara, Romania
Gabriel Ciobanu, Romanian Academy, Institute of Computer Science, Romania
pp. 354-364
Natural Computing and Applications Workshop (III)
Crina Grosan, Babes-Bolyai University, Romania
Ajith Abraham, Yonsei University, Korea
Stefan Tigan, University Iuliu Hatieganu, Romania
pp. 365-371
Aili Han, Shandong University at Weihai, China; Shandong University, China
Daming Zhu, Shandong University, China
pp. 372-377
Guojian Cheng, Xi'an Shiyou University, China
Tianshi Liu, Xi'an Shiyou University, China
Kuisheng Wang, Xi'an Shiyou University, China
Jiaxin Han, Xi'an Shiyou University, China
pp. 378-381
Petri Nets and their Applications to Workflow Management Workshop (I)
Awatef Hicheur, CEDRIC-CNAM Paris France
Kamel Barkaoui, CEDRIC-CNAM Paris France
Noura Boudiaf, CEDRIC-CNAM Paris France
pp. 389-398
Nadia Busi, Universita di Bologna, Italy
G. Michele Pinna, Universita di Cagliari, Italy
pp. 399-406
Alexandra Fortis, Tibiscus University, Romania
Florin Fortis, West University of Timisoara, Romania
pp. 414-422
Petri Nets and their Applications to Workflow Management Workshop (II)
Ferucio Laurentiu Tiplea, "Al. I. Cuza" University of Iasi, Romania
Geanina Ionela Macovei, Iasi County Council, Romania
pp. 423-429
Ioana Leahu, "Al. I. Cuza" University of Iasi, Romania
Ferucio Laurentiu Tiplea, "Al. I. Cuza" University of Iasi, Romania
pp. 430-436
Author Index
Usage of this product signifies your acceptance of the Terms of Use.