SOFSEM 2001: Theory and Practice of Informatics


Book Description

This book constitutes the refereed proceedings of the 28th Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2001, held in Piestany, Slovak Republic, in November/December 2001. Teh volume presents 12 invited lectures and one keynote paper by leading researchers together with 18 revised full research papers selected from 46 submissions. The papers span the whole range of informatics with emphasis on trends in informatics, enabling technologies for global computing, and practical systems engineering.




SOFSEM 2002: Theory and Practice of Informatics


Book Description

This book constitutes the refereed proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2002, held in Milovy, Czech Republic, in November 2002. The volume presents 10 invited lectures and the report on a panel discussion on GRID computing together with 11 revised full papers selected from 22 submissions. Among the topics covered are system design and testing related theory, distributed and parallel systems, type theory, multimedia, databases, computer vision, and soft computing.




SOFSEM 2008: Theory and Practice of Computer Science


Book Description

This book constitutes the refereed proceedings of the 34th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2008, held in Slovakia, in 2008. The 57 revised full papers, presented together with 10 invited contributions, were carefully reviewed and selected from 162 submissions. The contributions are segmented into four topical sections on foundations of computer science; computing by nature; networks, security, and cryptography; and Web technologies.




Interactive Computation


Book Description

The interaction paradigm is a new conceptualization of computational phenomena that emphasizes interaction over algorithms, reflecting the shift in technology from main-frame number-crunching to distributed intelligent networks with graphical user interfaces. The book is arranged in four sections: "Introduction", comprising three chapters that explore and summarize the fundamentals of interactive computation; "Theory" with six chapters, each discussing a specific aspect of interaction; "Applications," five chapters showing how this principle is applied in subdisciplines of computer science; and "New Directions," presenting four multidisciplinary applications. The book challenges traditional Turing machine-based answers to fundamental questions of problem solving and the scope of computation.




SOFSEM 2015: Theory and Practice of Computer Science


Book Description

This book constitutes the proceedings of the 41st International Conference on Current Trends in Theory and Practice of Computer Science held in Pec pod Sněžkou, Czech Republic, during January 24-29, 2015. The book features 8 invited talks and 42 regular papers which were carefully reviewed and selected from 101 submissions. The papers are organized in topical sections named: foundations of computer science; software and Web engineering; data, information, and knowledge engineering; and cryptography, security, and verification.




Logic and Theory of Algorithms


Book Description

This book constitutes the refereed proceedings of the 4th International Conference on Computability in Europe, CiE 2008, held in Athens, Greece, in June 2008. The 36 revised full papers presented together with 25 invited tutorials and lectures were carefully reviewed and selected from 108 submissions. Among them are papers of 6 special sessions entitled algorithms in the history of mathematics, formalising mathematics and extracting algorithms from proofs, higher-type recursion and applications, algorithmic game theory, quantum algorithms and complexity, and biology and computation.




Processes and Foundations for Virtual Organizations


Book Description

Processes and Foundations for Virtual Organizations contains selected articles from PRO-VE'03, the Fourth Working Conference on Virtual Enterprises, which was sponsored by the International Federation for Information Processing (IFIP) and held in Lugano, Switzerland in October 2003. This fourth edition includes a rich set of papers revealing the progress and achievements in the main current focus areas: -VO breeding environments; -Formation of collaborative networked organizations; -Ontologies and knowledge management; -Process models and interoperability; -Infrastructures; -Multi-agent approaches. In spite of many valid contributions in these areas, many research challenges remain. This is clearly stated in a number of papers suggesting a new research agenda and strategic research roadmaps for advanced virtual organizations. With the selected papers included in this book, PRO-VE pursues its double mission as a forum for presentation and discussion of achievements as well as a place to discuss and suggest new directions and research strategies.




Developments in Language Theory


Book Description

This book constitutes the refereed proceedings of the 8th International Conference on Developments in Language Theory, DLT 2004, held in Auckland, New Zealand in December 2004. The 30 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 47 submissions. The main subjects are formal languages, automata, conventional and unconventional computation theory, and applications of automata theory. Among the topics addressed are grammars and acceptors for strings, graphs, and arrays; efficient text algorithms, combinatorial and algebraic properties of languages; decision problems; relations to complexity theory and logic; picture description and analysis; cryptography; concurrency; DNA computing; and quantum computing.




Advances in Soft Computing - AFSS 2002


Book Description

It is our great pleasure to welcome you all to the 2002 AFSS International Conference on Fuzzy Systems (AFSS 2002) to be held in Calcutta, the great City of Joy. AFSS 2002 is the ?fth conference in the series initiated by the Asian Fuzzy Systems Society (AFSS). AFSS 2002 is jointly being organized by theIndianStatisticalInstitute(ISI)andJadavpurUniversity(JU). Likeprevious conferencesinthisseries,wearesure,AFSS2002willprovideaforumforfruitful interaction and exchange of ideas between the participants from all over the globe. The present conference covers all major facets of soft computing such as fuzzy logic, neural networks, genetic algorithms including both theories and applications. Wehopethismeetingwillbeenjoyableacademicallyandotherwise. We are thankful to the members of the International Program Committee and the Area Chairs for extending their support in various forms to make a strong technical program. Each submitted paper was reviewed by at least three referees, and in some cases the revised versions were again checked by the ref- ees. As a result of this tough screening process we could select only about 50% of the submitted papers. We again express our sincere thanks to all referees for doing a great job. We are happy to note that 19 di?erent countries from all over the globe are represented by the authors, thereby making it a truly inter- tional conference. We are proud to have a list of distinguished speakers including Profs. Z. Pawlak, J. Bezdek, D. Dubois, and T. Yamakawa.




Modelling Forest Systems


Book Description

There are many theoretical approaches to modelling forest systems, but not all of them have valid practical applications. This book reviews current thinking on various models and presents applications in various contexts. Papers have been selected and developed from those presented at aworkshop held in Portugal in June 2002. Topics covered include: Forest reality and modelling strategies Mathematical approaches and reasoning Estimation processes Models, validation and decision under uncertainty Model archives and metadata