Transactions on Computational Science XXXVIII

Transactions on Computational Science XXXVIII

Author: Marina L. Gavrilova

Publisher: Springer Nature

Published: 2021-03-24

Total Pages: 145

ISBN-13: 3662631709

DOWNLOAD EBOOK

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, encompassing the facilitating theoretical foundations and the applications of large-scale computations and massive data processing. It addresses researchers and practitioners in areas ranging from aerospace to biochemistry, from electronics to geosciences, from mathematics to software architecture, presenting verifiable computational methods, findings, and solutions, and enabling industrial users to apply techniques of leading-edge, large-scale, high performance computational methods. This, the 38th issue of the Transactions on Computational Science, is devoted to research on modelling, optimization, and graphs, with applications in 3D and sketch modelling, engineering design, evolutionary computing, and networks.


Transactions on Computational Science XVII

Transactions on Computational Science XVII

Author: Marina Gavrilova

Publisher: Springer

Published: 2013-01-08

Total Pages: 204

ISBN-13: 3642358403

DOWNLOAD EBOOK

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, encompassing the facilitating theoretical foundations and the applications of large-scale computations and massive data processing. It addresses researchers and practitioners in areas ranging from aerospace to biochemistry, from electronics to geosciences, from mathematics to software architecture, presenting verifiable computational methods, findings, and solutions and enabling industrial users to apply techniques of leading-edge, large-scale, high performance computational methods. The 17th issue of the Transactions on Computational Science journal consists of two parts. The first part is comprised of four papers, spanning the areas of robotics and augmented reality, computer game evaluation strategies, cognitive perception in crowd control simulation, and reversible processor design using look-ahead. The second part consists of five papers covering the topics of secure congestion adaptive routing, cryptographic schemes for wireless sensor networks, intersection attacks on anonymity, and reliable message delivery in Vehicular Ad Hoc Networks (VANET).


Transactions on Computational Science XVI

Transactions on Computational Science XVI

Author:

Publisher: Springer

Published: 2012-07-25

Total Pages: 200

ISBN-13: 3642326633

DOWNLOAD EBOOK

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, encompassing the facilitating theoretical foundations and the applications of large-scale computations and massive data processing. It addresses researchers and practitioners in areas ranging from aerospace to biochemistry, from electronics to geosciences, from mathematics to software architecture, presenting verifiable computational methods, findings, and solutions and enabling industrial users to apply techniques of leading-edge, large-scale, high performance computational methods. The 16th issue of the Transactions on Computational Science journal contains 11 extended versions of selected papers from Cyberworlds 2011, held in Banff, AB, Canada, in October 2011. The topics span the areas of haptic modeling, shared virtual worlds, virtual reality, human-computer interfaces, e-learning in virtual collaborative spaces, multi-user web games, cybersecurity, social networking, and art and heritage in cyberspaces.


Advances in Civil Engineering and Environmental Engineering, Volume 1

Advances in Civil Engineering and Environmental Engineering, Volume 1

Author: Wira Jazair bin Yahya

Publisher: CRC Press

Published: 2023-02-28

Total Pages: 752

ISBN-13: 1000864405

DOWNLOAD EBOOK

Advances in Civil Engineering and Environmental Engineering focuses on the research of civil engineering and environmental engineering. the proceedings feature the most cutting-edge research directions and achievements related to civil engineering and environmental. Subjects in the proceedings include: Civil engineering technology Civil engineering surveying Geological engineering Structural engineering Tunnel and bridge engineering Environmental protection materials Pollution control project Building environment and equipment engineering The works of this proceedings can promote development of civil engineering and environmental engineering, resource sharing, flexibility and high efficiency. Thereby, promote scientific information interchange between scholars from the top universities, research centers and high-tech enterprises working all around the world.


Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVIII

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVIII

Author: Abdelkader Hameurlain

Publisher: Springer

Published: 2018-11-21

Total Pages: 184

ISBN-13: 3662583844

DOWNLOAD EBOOK

This, the 38th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, contains extended and revised versions of six papers selected from the 68 contributions presented at the 27th International Conference on Database and Expert Systems Applications, DEXA 2016, held in Porto, Portugal, in September 2016. Topics covered include query personalization in databases, data anonymization, similarity search, computational methods for entity resolution, array-based computations in big data analysis, and pattern mining.


Logic and Its Applications

Logic and Its Applications

Author: R. Ramanujam

Publisher: Springer Science & Business Media

Published: 2009-02-13

Total Pages: 278

ISBN-13: 354092700X

DOWNLOAD EBOOK

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 5th volume of the FoLLI LNAI subline. It contains the refereed proceedings of the Third Indian Conference on Logic and Its Applications, ICLA 2009, held in Chennai, India, in January 2009. The 12 revised full papers presented together with 7 invited lectures were carefully reviewed and selected from numerous submissions. The papers present current research in all aspects of formal logic. They address in detail: algebraic logic and set theory, combinatorics and philosophical logic, modal logics with applications to computer science and game theory, and connections between ancient logic systems and modern systems.


The Book of Traces

The Book of Traces

Author: Volker Diekert

Publisher: World Scientific

Published: 1995

Total Pages: 596

ISBN-13: 9789810220587

DOWNLOAD EBOOK

The theory of traces employs techniques and tackles problems from quite diverse areas which include formal language theory, combinatorics, graph theory, algebra, logic, and the theory of concurrent systems. In all these areas the theory of traces has led to interesting problems and significant results. It has made an especially big impact in formal language theory and the theory of concurrent systems. In both these disciplines it is a well-recognized and dynamic research area. Within formal language theory it yields the theory of partially commutative monoids, and provides an important connection between languages and graphs. Within the theory of concurrent systems it provides an important formal framework for the analysis and synthesis of concurrent systems.This monograph covers all important research lines of the theory of traces; each chapter is devoted to one research line and is written by leading experts. The book is organized in such a way that each chapter can be read independently ? and hence it is very suitable for advanced courses or seminars on formal language theory, the theory of concurrent systems, the theory of semigroups, and combinatorics. An extensive bibliography is included. At present, there is no other book of this type on trace theory.


STACS 91

STACS 91

Author: Christian Choffrut

Publisher: Springer Science & Business Media

Published: 1991-02-08

Total Pages: 568

ISBN-13: 9783540537090

DOWNLOAD EBOOK

Annotation The Symposium on Theoretical Aspects of Computer Science is organized jointly by the Special Interest Group for Applied Mathematics of AFCET (Association FranAaise de CybernA(c)tique Economique et Technique) and the Special Interest Group for Theoretical Computer Sciences of GI (Gesellschaft fA1/4r Informatik). It is held alternately in France and in Germany. This volume contains two invited papers, on combinatorial methods in computer science, and on the complexity of local optimization, and 24 contributions on theoretical aspects of computer science. Some software systems are presented showing the possibilities of applying theoretical research to the realization of software tools.


Mathematical Foundations of Computer Science 1991

Mathematical Foundations of Computer Science 1991

Author: Andrzej Tarlecki

Publisher: Springer Science & Business Media

Published: 1991-08-07

Total Pages: 458

ISBN-13: 9783540543459

DOWNLOAD EBOOK

This volume contains the proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS '91, held in Kazimierz Dolny, Poland, September 9-13, 1991. The series of MFCS symposia, organized alternately in Poland and Czechoslovakia since 1972, has a long and well established tradition. The purpose of the series is to encourage high-quality research in all branches of theoretical computer science and to bring together specialists working actively in the area. Principal areas of interest in this symposium include: software specification and development, parallel and distributed computing, logic and semantics of programs, algorithms, automata and formal languages, complexity and computability theory, and others. The volume contains 5 invited papers by distinguished scientists and 38 contributions selected from a total of 109 submitted papers.


Combinatorial Optimization

Combinatorial Optimization

Author: Alexander Schrijver

Publisher: Springer Science & Business Media

Published: 2003-02-12

Total Pages: 2024

ISBN-13: 9783540443896

DOWNLOAD EBOOK

From the reviews: "About 30 years ago, when I was a student, the first book on combinatorial optimization came out referred to as "the Lawler" simply. I think that now, with this volume Springer has landed a coup: "The Schrijver". The box is offered for less than 90.- EURO, which to my opinion is one of the best deals after the introduction of this currency." OR-Spectrum