Page 2
Page 2
Discrete and computational geometry; Japanese Conference, JCDCG 2004, Tokyo, Japan, October 8-11, 2004
This book constitutes the thoroughly refereed post-proceedings of the Japanese Conference on Discrete Computational Geometry, JCDCG 2004, held in Tokyo, Japan in October 2004, to honor Janos Pach on his fiftieth year. The 20 revised full papers presented were carefully selected during two rounds of reviewing and improvement from over 60 talks at the conference. All current issues in discrete algorithmic geometry are addressed.
Darboux Transformations in Integrable Systems : Theory and their Applications to Geometry
This book presents the Darboux transformations in matrix form and provides purely algebraic algorithms for constructing the explicit solutions. A basis for using symbolic computations to obtain the explicit exact solutions for many integrable systems is established. Moreover, the behavior of simple and multi-solutions, even in multi-dimensional cases, can be elucidated clearly. The method covers a series of important equations such as various kinds of AKNS systems in R1+n, harmonic maps from 2-dimensional manifolds, self-dual Yang-Mills fields and the generalizations to higher dimensional case, theory of line congruences in three dimensions or higher dimensional space etc. All these cases are explained in detail.
Computational Maps in the Visual Cortex
For more than 30 years, the visual cortex has been the source of new theories and ideas about how the brain processes information. Understanding the computations in the visual cortex is therefore an important step toward a general theory of computational brain theory
Computational Geometry and Graph Theory ; International Conference, KyotoCGGT 2007, Kyoto, Japan, June 11-15, 2007. Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the Kyoto Conference on Computational Geometry and Graph Theory, KyotoCGGT 2007, held in Kyoto, Japan, in June 2007.
Computational Electromagnetics
Computational Electromagnetics is a young and growing discipline, expanding as a result of the steadily increasing demand for software for the design and analysis of electrical devices. This book introduces three of the most popular numerical methods for simulating electromagnetic fields: the finite difference method, the finite element method and the method of moments. In particular it focuses on how these methods are used to obtain valid approximations to the solutions of Maxwell's equations, using, for example, "staggered grids" and "edge elements." The main goal of the book is to make the reader aware of different sources of errors in numerical computations, and also to provide the tools for assessing the accuracy of numerical methods and their solutions. To reach this goal, convergence analysis, extrapolation, von Neumann stability analysis, and dispersion analysis are introduced and used frequently throughout the book. Another major goal of the book is to provide students with enough practical understanding of the methods so they are able to write simple programs on their own. To achieve this, the book contains several MATLAB programs and detailed description of practical issues such as assembly of finite element matrices and handling of unstructured meshes.
Combinatorial geometry and graph theory ; Indonesia-Japan Joint Conference, IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected Papers
This volume consists of the refereed papers presented at the Indonesia-JapanJoint Conference on Combinatorial Geometry and Graph Theory (IJCCGGT2003), held on Indonesia. This confer-ence can also be considered as a series of the Japan Conference on Discrete andComputational Geometry (JCDCG), 2002.
Mathematical Methods for Mechanics : A Handbook with MATLAB Experiments
The interaction between mathematics and mechanics is a never ending source of new developments. Today, challenging problems like space flight, gyroscope motions and tidal currents, can be studied on a laptop, feats that people still in the 1950’s dreamed of accomplishing. The present textbook addresses such problems and moreover, a wide-ranging spectrum of topics from bifurcation theory, optimization and control to rigid-body motion and continuum mechanics of elastic bodies and fluids. It fully encompasses the provision of mathematical tools up to their technical application. Because verifiability is a main element of science and numerical mathematics remain lackluster without demonstrations, a portion of the book is dedicated purely to computations.
Mathematical Foundations of Computer Science 2008 ; 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings
Constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2008, held in Torun, Poland, in August 2008.The 45 revised full papers presented together with 5 invited lectures were carefully reviewed and selected from 119 submissions. All current aspects in theoretical computer science and its mathematical foundations are addressed, ranging from algorithmic game theory, algorithms and data structures, artificial intelligence, automata and formal languages, bioinformatics, complexity, concurrency and petrinets, cryptography and security, logic and formal specifications, models of computations, parallel and distributed computing, semantics and verification.
Mathematical Foundations of Computer Science 2005 ; 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings
Constitutes the proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS 2005, held in Gdansk, Poland in August/September 2005. The 62 papers address various aspects in theoretical computer science, ranging from quantum computing, approximation, automata, circuits, scheduling, games, and more.
Machines, Computations, and Universality ; 5th International Conference, MCU 2007, Orleans, France, September 10-13, 2007, Proceedings
The 18 revised full papers presented together with nine invited papers cover Turing machines, register machines, word processing, cellular automata, tiling of the plane, neural networks, molecular computations, BSS machines, infinite cellular automata, real machines, and quantum computing.
Machines, Computations, and Universality ; 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers
Constitutes the post-proceedings of the 4th International Conference on Machines, Computations, and Universality, MCU 2004, held in St Petersburg, Russia in September 2004. This book covers a variety of foundational aspects in theoretical computer science such as cellular automata, molecular computing, quantum computing, and formal languages
LATIN 2006 : Theoretical Informatics ; 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings
This book constitutes the refereed proceedings of the 7th International Symposium, Latin American Theoretical Informatics, LATIN 2006, held in March 2006. The 66 revised full papers presented together with seven invited papers were carefully reviewed and selected from 224 submissions. The papers presented are devoted to a broad range of topics in theoretical computer science with a focus on algorithmics and computations related to discrete mathematics as well as on cryptography, data compression and Web applications.
Large-Scale Scientific Computing ; 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers
The 6th International Conference on Large-Scale Scienti?c Computations (LSSC 2007) was held in Sozopol, Bulgaria, June 5–9, 2007. The conference was organized by the Institute for Parallel Processing at the Bulgarian Academy of Sciences in cooperation with SIAM (Society for Industrial and Applied Ma- ematics). Partial support was also provided from project BIS-21++ funded by the European Commission in FP6 INCO via grant 016639/2005. The conference was devoted to the 60th anniversary of Richard E. Professor Ewing is internati- ally well known with his contributions in applied mathematics, mathematical modeling, and large-scale scientific computations.
Large-Scale Scientific Computing ; 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005, Revised Papers
The 5th International Conference on Large-Scale Scientific Computations (LSSC 2005) was held in Sozopol, Bulgaria, June 6–10, 2003. The conference was organized and sponsored by the Institute for Parallel Processing at the Bulgarian Academy of Sciences. Partial support was also provided from project BIS-21++ funded by the European Commission in FP6 INCO via grant 016639/2005. More than 120 participants from all over the world attended the conference representing some of the strongest research groups in the field of advanced largescale scientific computing. This volume contains 80 papers submitted by authors from over 20 countries. The 6th International Conference, LSSC 2007, will be organized in June 2007
Knowledge-Driven Computing : Knowledge Engineering and Intelligent Computations
Knowledge-Driven Computing constitutes an emerging area of intensive research located at the intersection of Computational Intelligence and Knowledge Engineering with strong mathematical foundations. It embraces methods and approaches coming from diverse computational paradigms, such as evolutionary computation and nature-inspired algorithms, logic programming and constraint programming, rule-based systems, fuzzy sets and many others. The use of various knowledge representation formalisms and knowledge processing and computing paradigms is oriented towards the efficient resolution of computationally complex and difficult problems.
IUTAM Symposium on Computational Physics and New Perspectives in Turbulence ; Proceedings of the IUTAM Symposium on Computational Physics and New Perspectives in Turbulence, Nagoya University, Nagoya, Japan, September, 11-14, 2006
Leading experts in turbulence were brought together at this Symposium to exchange ideas and discuss, in the light of the recent progress in computational methods, new perspectives in our understanding of turbulence. The Symposium also fostered a vigorous interaction between those who pursue computations, and those concerned with developments in experiment and theory.
Bioinformatics and Computational Biology Solutions Using R and Bioconductor
Bioconductor is a widely used open source and open development software project for the analysis and comprehension of data arising from high-throughput experimentation in genomics and molecular biology. Bioconductor is rooted in the open source statistical computing environment R. This volume's coverage is broad and ranges across most of the key capabilities of the Bioconductor project, including: Importation and preprocessing of high-throughput data from microarray, proteomic, and flow cytometry platforms / Curation and delivery of biological metadata for use in statistical modeling and interpretation. / Statistical analysis of high-throughput data, including machine learning and visualization,modeling and visualization of graphs and networks. This book is a dynamic document. Code underlying all of the computations that are shown is made available on a companion website, and readers can reproduce every number, figure, and table on their own computers.
Applied cryptography and network security ; 19th International Conference, ACNS 2021, Kamakura, Japan, June 21–24, 2021, Proceedings, Part I
The two-volume set LNCS 12726 + 12727 constitutes the proceedings of the 19th International Conference on Applied Cryptography and Network Security, ACNS 2021, which took place virtually during June 21-24, 2021. The 37 full papers presented in the proceedings were carefully reviewed and selected from a total of 186 submissions. They were organized in topical sections as follows: Part I: Cryptographic protocols; secure and fair protocols; cryptocurrency and smart contracts; digital signatures; embedded system security; lattice cryptography; Part II: Analysis of applied systems; secure computations; cryptanalysis; system security; and cryptography and its applications.
Applied algebra, algebraic algorithms and error-correcting codes ; 16th International Symposium, AAECC-16, Las Vegas, NV, USA, February 20-24, 2006, Proceedings
This book constitutes the refereed proceedings of the 16th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-16, held in Las Vegas, NV, USA in February 2006. The 25 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 32 submissions. Among the subjects addressed are block codes; algebra and codes: rings, fields, and AG codes; cryptography; sequences; decoding algorithms; and algebra: constructions in algebra, Galois groups, differential algebra, and polynomials.
Analyzing uncertainty in civil engineering
This volume addresses the issue of uncertainty in civil engineering from design to construction. Failures do occur in practice. Attributing them to a residual system risk or a faulty execution of the project does not properly cover the range of causes. A closer scrutiny of the adopted design, the engineering model, the data, the soil-construction-interaction and the model assumptions is required. Usually, the uncertainties in initial and boundary conditions are abundant. Current engineering practice often leaves these issues aside, despite the fact that new scientific tools have been developed in the past decades that allow a rational description of uncertainties of all kinds, from model uncertainty to data uncertainty. It is the aim of this volume to have a critical look at current engineering risk concepts in order to raise awareness of uncertainty in numerical computations, shortcomings of a strictly probabilistic safety concept, geotechnical models of failure mechanisms and their implications for construction management, execution, and the juristic question of responsibility. In addition, a number of the new procedures for modelling uncertainty are explained.
