The Community for Technology Leaders
RSS Icon
Subscribe
2006 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (2006)
Timisoara
Sept. 26, 2006 to Sept. 29, 2006
ISBN: 0-7695-2740-X
TABLE OF CONTENTS
ACSys 2006 (PDF)
pp.
GridCAD 2006 (PDF)
pp.
Introduction
Preface (PDF)
pp. xi
ACSys 2006 (PDF)
pp. xiii
GridCAD 2006 (PDF)
pp. xiii
MTE 2006 (PDF)
pp. xiii
NCA 2006 (PDF)
pp. xiv
PN&WM 2006 (PDF)
pp. xiv
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)
Alan Bundy , University of Edinburgh, UK
pp. 17-22
Madalina Hodorog , Institute e-Austria, Romania
Adrian Craciun , Institute e-Austria, Romania
pp. 23-34
SYNASC Session: Computer Algebra and Applications
Alina Andreica , "Babes-Bolyai" University, Romania
pp. 35-40
Radu Zapotinschi , University of Cluj-Napoca, Romania
Dorina Peter , Astronomical Institute of the Romanian Academy, Romania
pp. 41-46
Dumitru N. Vulcanov , The West University of Timisoara, Romania
pp. 47-54
Dumitru N. Vulcanov , West University of Timisoara, Romania
Valentina D. Vulcanov , Free University of Berlin, Germany
pp. 55-62
SYNASC Session: Data Mining
Maylis Delest , LaBRI, France
Jean-Marc Fedou , I3S, France
Guy Melancon , LIRMM, France
pp. 63-68
Gabriela Serban , "Babes-Bolyai" University, Romania
Grigoreta Sofia Moldovan , "Babes-Bolyai" University, Romania
pp. 69-74
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
Lamis Hawarah , TIMC-IMAG, France
Ana Simonet , TIMC-IMAG, France
Michel Simonet , TIMC-IMAG, France
pp. 79-84
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
Andrew Schumann , Belarusian State University, Belarus
pp. 89-92
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
Ye-Peng Guan , Shanghai University, China
pp. 125-132
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
Stephen M. Watt , University of Western Ontario, Canada
pp. 151-155
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
Octavian Cira , "Aurel Vlaicu" University of Arad, Romania
Cristian-Mihai Cira , "Aurel Vlaicu" University of Arad, Romania
pp. 171-174
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
Andreea Vescan , Babes-Bolyai University, Romania
pp. 195-200
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
Ionel Muscalagiu , The University "Politehnica" of Timisoara, Romania
Hong Jiang , University of South Carolina, USA
Popa Horia Emil , The University of West, Timisoara, Romania
pp. 209-216
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
Laura Sebu , "Politehnica" University of Timisoara
Horia Ciocarlie , "Politehnica" University of Timisoara
pp. 309-316
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
Yong Fan , Tsinghua University, China
Ji-hong Zhu , Tsinghua University, China
Zeng-qi Sun , Tsinghua University, China
pp. 336-342
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
Yuan-bin Mo , China Jiliang University, China
He-tong Liu , China Jiliang University, China
pp. 382-388
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
Marisa Llorens , DSIC, UPV, Spain
Javier Oliver , DSIC, UPV, Spain
pp. 407-413
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
Lorenzo Capra , Universita degli Studi di Milano, Italy
pp. 437-444
Author Index
Author Index (PDF)
pp. 445
19 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool