Tag: Computation

Free Download Viscoelastic Subdiffusive Flows: Theory and Computation
English | 2024 | ISBN: 9819601347 | 320 Pages | PDF EPUB (True) | 26 MB
This book discusses the dynamical and rheological properties of high molecular weight entangled polymer melts, commonly known as viscoelastic subdiffusive fluids. Unlike dilute liquids, these materials exhibit molecular transport within a sublinear regime, meaning the timescale of diffusive transport is sublinear. The text emphasizes the potential of fractional calculus in modeling these fluids and introduces a novel fractional model to investigate regions of spatiotemporal instability in channel flows. At the microscale, the entanglement of polymer chains leads to localized, non-homogeneous regions with increased viscosity, which manifest as spatiotemporal macrostructures at the macroscale. To capture these macrostructures within the flow, direct numerical simulations are employed using a newly developed, physically realizable structure tensor, contributing to a deeper understanding of this complex class of fluids.

Free Download Intelligence Computation and Evolutionary Computation: Results of 2012 International Conference of Intelligence Computation and Evolutionary Computation ICEC 2012 Held July 7, 2012 in Wuhan, China By Zuoling Nie, Yuhai Su, Chong-jin Wang (auth.), Zhenyu Du (eds.)
2013 | 1114 Pages | ISBN: 3642316557 | PDF | 29 MB
2012 International Conference of Intelligence Computation and Evolutionary Computation (ICEC 2012) is held on July 7, 2012 in Wuhan, China. This conference is sponsored by Information Technology & Industrial Engineering Research Center. ICEC 2012 is a forum for presentation of new research results of intelligent computation and evolutionary computation. Cross-fertilization of intelligent computation, evolutionary computation, evolvable hardware and newly emerging technologies is strongly encouraged. The forum aims to bring together researchers, developers, and users from around the world in both industry and academia for sharing state-of-art results, for exploring new areas of research and development, and to discuss emerging issues facing intelligent computation and evolutionary computation.

Free Download Theory and Practice of Computation – Proceedings of Workshop on Computation:
Theory and Practice (Wctp2015)
English | 2017 | ISBN: 9813202807 | 250 Pages | PDF (True) | 12 MB

Free Download Proof and Computation By Ulrich Berger, Helmut Schwichtenberg (auth.), Helmut Schwichtenberg (eds.)
1995 | 470 Pages | ISBN: 3642793630 | PDF | 34 MB
Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of Prolog show this clearly. The logical notion of a formal proof in various constructive systems can be viewed as a very explicit way to describe a computation procedure. Also conversely, the development of logical systems has been influenced by accumulating knowledge on rewriting and unification techniques. This volume contains a series of lectures by leading researchers giving a presentation of new ideas on the impact of the concept of a formal proof on computation theory. The subjects covered are: specification and abstract data types, proving techniques, constructive methods, linear logic, and concurrency and logic.

Free Download Parallel Computation: Third International ACPC Conference with Special Emphasis on Parallel Databases and Parallel I/O Klagenfurt, Austria, September 23-25, 1996 Proceedings By David Kotz, Nils Nieuwejaar (auth.), László Böszörményi (eds.)
1996 | 243 Pages | ISBN: 3540616950 | PDF | 5 MB
This book constitutes the refereed proceedings of the Third International Conference of the Austrian Center for Parallel Computation, ACPC ’96, held in Klagenfurt, Austria, in September 1996.The 15 revised full papers presented together with two keynote contributions were selected from 31 submissions by authors from 13 countries. Also included are two industrial papers and six posters. The topical emphasis of the book is on parallel databases and parallel input/output aspects; however also other topics are addressed, like parallel hardware, parallel numerics, parallel languages, and tools and algorithms.

Free Download Object-Based Parallel and Distributed Computation: France-Japan Workshop, OBPDC ’95 Tokyo, Japan, June 21-23, 1995 Selected Papers By Hiroki Konaka, Takashi Tomokiyo (auth.), Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa (eds.)
1996 | 354 Pages | ISBN: 3540614877 | PDF | 6 MB
This book contains a refereed collection of revised papers selected from the presentations at the France-Japan Workshop on Object-Based Parallel and Distributed Computation, OBPDC’95, held in Tokyo in June 1995.The 18 full papers included in the book constitute a representative, well-balanced set of timely research contributions to the growing field of object-based concurrent computing. The volume is organized in sections on massively parallel programming languages, distributed programming languages, formalisms, distributed operating systems, dependable distributed computing, and software management.

Free Download Applied Parallel Computing Industrial Computation and Optimization: Third International Workshop, PARA ’96 Lyngby, Denmark, August 18-21, 1996 Proceedings By R. C. Agarwal, F. G. Gustavson, M. Zubair (auth.), Jerzy Waśniewski, Jack Dongarra, Kaj Madsen, Dorte Olesen (eds.)
1996 | 730 Pages | ISBN: 3540620958 | PDF | 12 MB
This book constitutes the refereed proceedings of the Third International Workshop on Applied Parallel Computing, PARA’96, held in Lyngby, Denmark, in August 1996.The volume presents revised full versions of 45 carefully selected contributed papers together with 31 invited presentations. The papers address all current aspects of applied parallel computing relevant for industrial computations. The invited papers review the most important numerical algorithms and scientific applications on several types of parallel machines.

Free Download Evolution as Computation: DIMACS Workshop, Princeton, January 1999 By James A. Shapiro (auth.), Prof. Dr. Laura F. Landweber, Prof. Dr. Erik Winfree (eds.)
2002 | 333 Pages | ISBN: 3642630812 | PDF | 9 MB
The study of the genetic basis for evolution has flourished in this century, as well as our understanding of the evolvability and programmability of biological systems. Genetic algorithms meanwhile grew out of the realization that a computer program could use the biologically-inspired processes of mutation, recombination, and selection to solve hard optimization problems. Genetic and evolutionary programming provide further approaches to a wide variety of computational problems. A synthesis of these experiences reveals fundamental insights into both the computational nature of biological evolution and processes of importance to computer science. Topics include biological models of nucleic acid information processing and genome evolution; molecules, cells, and metabolic circuits that compute logical relationships; the origin and evolution of the genetic code; and the interface with genetic algorithms, genetic and evolutionary programming. This research combines theory and experiments to understand the computations that take place in cells and the combinatorial processes that drive evolution at the molecular level.

Free Download Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3 Steyr, Austria, September 23-25, 1996 Proceedings By Dana S. Scott (auth.), Jacques Calmet, John A. Campbell, Jochen Pfalzgraf (eds.)
1996 | 384 Pages | ISBN: 3540617329 | PDF | 10 MB
This book constitutes the refereed proceedings of the Third International Conference on Artificial Intelligence and Symbolic Mathematical Computation, AISMC-3, held in Steyr, Austria, in September 1996.The 19 revised full papers presented in the book were carefully selected by the program committee; also included are four invited survey and state-of-the-art contributions by Scott, Dillmann and Friedrich, Cohn, and Wang. Among the topics addressed are theorem proving, rewriting systems, symbolic computation, spatial reasoning, computational geometry, and automated deduction.

Free Download Algorithms and Computation: 10th International Symposium, ISAAC’99 Chennai, India, December 16-18, 1999 Proceedings By Alok Aggarwal, C. Pandu Rangan (auth.)
1999 | 454 Pages | ISBN: 3540669167 | PDF | 4 MB
This book constitutes the refereed proceedings of the 10th International Symposium on Algorithms and Computation, ISAAC’99, held in Chennai, India, in December 1999.The 40 revised full papers presented together with four invited contributions were carefully reviewed and selected from 71 submissions. Among the topics covered are data structures, parallel and distributed computing, approximation algorithms, computational intelligence, online algorithms, complexity theory, graph algorithms, computational geometry, and algorithms in practice.