Page 15
Page 15
Conflicts Between Generalization, Rigor, and Intuition : Number Concepts Underlying the Development of Analysis in 17th-19th Century France and Germany
Conflicts Between Generalization, Rigor, and Intuition undertakes a historical analysis of the development of two mathematical concepts -negative numbers and infinitely small quantities, mainly in France and Germany, but also in Britain, and the different paths taken there.This book not only discusses the history of the two concepts, but it also introduces a wealth of new knowledge and insights regarding their interrelation as necessary foundations for the emergence of the 19th century concept of analysis. The historical investigation unravels several processes underlying and motivating conceptual change: generalization (in particular, algebraization as an agent for generalizing) and a continued effort of intuitive accessibility which often conflicted with likewise desired rigor. The study focuses on the 18th and the 19th centuries.The book provides a productive unity to a large number of historical sources.
Concurrency Theory : Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages and graphical notations for describing collections of simultaneously evolving components that interact through synchronous communication. The main specification notation focused on in this book is LOTOS. An extensive introduction to this particular process calculus is given, highlighting how the approach differs from competitor techniques, such as CCS and CSP.
Conception optimale de structures = Optimal structural design
Optimal Structural Design deals with all aspects of shape optimization, parametric, geometric and topological, and gives a large place to numerical algorithms, gradient methods and stochastic methods (with an original contribution by Marc Schoenauer for this last point). In particular, most of the structural optimization algorithms have been implemented in the FreeFem ++ finite element software and the programs are freely available on the web. Optimal structural design is devoted to structural or shape optimization and is intended for a mixed audience of applied mathematicians and mechanicians. It discusses parametric, geometric and topology optimization and gives deterministic and stochastic numerical algorithms (implemented in the FreeFem ++ finite element software).
Computing the Continuous Discretely : Integer-Point Enumeration in Polyhedra
This textbook illuminates the field of discrete mathematics with examples, theory, and applications of the discrete volume of a polytope. The authors have weaved a unifying thread through basic yet deep ideas in discrete geometry, combinatorics, and number theory.
Computing and combinatorics ; Vol. 3595 ; 11th Annual International Conference, COCOON 2005, Kunming, China, August 16-19, 2005, Proceedings
The papers in this volume were presented at theEleventh Annual InternationalComputing and Combinatorics Conference(COCOON 2005), The topics cover most aspects of theoretical computerscience and combinatorics related to computing.Submissions to the conference this year were conducted electronically. A totalof 353 papers were submitted, of which 96 were accepted.
Computer Security – ESORICS 2006 ; 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings
This book constitutes the refereed proceedings of the 11th European Symposium on Research in Computer Security, ESORICS 2006. it presents original research contributions, case studies and implementation experiences addressing any aspect of computer security - in theory, mechanisms, applications, or practical experience.
Computer Science Logic ; Vol. 3634
This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held as the 14th Annual Conference of the EACSL in Oxford, UK in August 2005. The 33 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from 108 papers submitted. All current aspects of logic in computer science are addressed ranging from mathematical logic and logical foundations to methodological issues and applications of logics in various computing contexts. The volume is organized in topical sections on semantics and logics, type theory and lambda calculus, linear logic and ludics, constraints, finite models, decidability and complexity, verification and model checking, constructive reasoning and computational mathematics, and implicit computational complexity and rewriting.
Computer Science Logic ; 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, linear logic, proof theory, and game semantics.
Computer algebra and geometric algebra with applications ; 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004.Revised Selected Papers
MathematicsMechanization consistsoftheory,softwareandapplicationofc- puterized mathematical activities such as computing, reasoning and discovering. ItsuniquefeaturecanbesuccinctlydescribedasAAA(Algebraization,Algori- mization, Application). The name “Mathematics Mechanization” has its origin in the work of Hao Wang (1960s), one of the pioneers in using computers to do research in mathematics, particularly in automated theorem proving. Since the 1970s, this research direction has been actively pursued and extensively dev- oped by Prof. Wen-tsun Wu and his followers. It di?ers from the closely related disciplines like Computer Mathematics, Symbolic Computation and Automated Reasoning in that its goal is to make algorithmic studies and applications of mathematics the major trend of mathematics development in the information age.
Computational Textile
This edited book collects a number of representative applications of computational techniques in textile and garment industry. These applications cover the following issues: Textile quality assessment by image analysis, Modeling and simulation of textile structures, Computer aided garment design, Computerized textile management and textile Supply Chain, Textile quality subjective and objective evaluation; Computational thermal bioengineering of textiles and clothing; Computational biomechanical engineering of textiles and clothing.
Computational Science - ICCS 2006 ; Vol. 3994 ; 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV
The four-volume set LNCS 3991-3994 constitutes the refereed proceedings of the 6th International Conference on Computational Science, ICCS 2006, held in Reading, UK, in May 2006. The papers span the whole range of computational science.
Computational Probability : Algorithms and Applications in the Mathematical Sciences
Computational probability encompasses data structures and algorithms that have emerged over the past decade that allow researchers and students to focus on a new class of stochastic problems. COMPUTATIONAL PROBABILITY is the first book that examines and presents these computational methods in a systematic manner. The techniques described here address problems that require exact probability calculations, many of which have been considered intractable in the past. The first chapter introduces computational probability analysis, followed by a chapter on the Maple computer algebra system. The third chapter begins the description of APPL, the probability modeling language created by the authors. The book ends with three applications-based chapters that emphasize applications in survival analysis and stochastic simulation.
Computational Noncommutative Algebra and Applications
The fusion of algebra, analysis and geometry, and their application to real world problems, have been dominant themes underlying mathematics for over the years. This book features topics such as: signal and image processing in remote sensing, computer vision, medical image processing, biological signal processing, geometric algebras, and more.
Computational Methods in Financial Engineering : Essays in Honour of Manfred Gilli
The focus of this book is the development of computational methods and analytical models in financial engineering that rely on computation. The book contains eighteen chapters written by leading researchers in the area on portfolio optimization and option pricing; estimation and classification; banking; risk and macroeconomic modelling. It explores and brings together current research tools and will be of interest to researchers, analysts and practitioners in policy and investment decisions in economics and finance. "This book collects frontier work by researchers in computational economics in a tribute to Manfred Gilli, a leading member of this community. Contributions cover many of the topics researched by Gilli during his career: portfolio optimization and option pricing, estimation and classification, as well as banking, risk and macroeconomic modeling. The editors have put together a remarkable panorama of the rapidly growing and diversifying field of computational economics and finance
Computational methods for nanoscale applications : Particles, plasmons and waves
Computational Methods for Nanoscale Applications: Particles, Plasmons and Waves presents new perspectives on modern nanoscale problems where fundamental science meets technology and computer modeling. This book describes well-known computational techniques such as finite-difference schemes, finite element analysis and Ewald summation, as well as a new finite-difference calculus of Flexible Local Approximation MEthods (FLAME) that qualitatively improves the numerical accuracy in a variety of problems. Application areas in the book include long-range particle interactions in homogeneous and heterogeneous media, electrostatics of colloidal systems, wave propagation in photonic crystals, photonic band structure, plasmon field enhancement, and metamaterials with backward waves and negative refraction.
Computational intelligence paradigms : Innovative Applications
The book includes a sample of research on the innovative applications of advanced computational intelligence paradigms. The characteristics of computational intelligence paradigms such as learning, generalization based on learned knowledge, knowledge extraction from imprecise and incomplete data are the extremely important for the implementation of intelligent machines.
Computational Intelligence in Reliability Engineering : Evolutionary Techniques in Reliability Analysis and Optimization
This book covers the recent applications of computational intelligence techniques in reliability engineering. This volume contains a survey of the contributions made to the optimal reliability design literature in the resent years and chapters devoted to different applications of a genetic algorithm in reliability engineering and to combinations of this algorithm with other computational intelligence techniques. Genetic algorithms are one of the most widely used metaheuristics, inspired by the optimization procedure that exists in nature, the biological phenomenon of evolution.
Computational intelligence in bioinformatics
This book deals with the application of computational intelligence in bioinformatics. Addressing the various issues of bioinformatics using different computational intelligence approaches is the novelty of this edited volume.
Computational intelligence in automotive applications
This volume is the first of its kind, suitable to automotive researchers, engineers and students. It provides a representative sample of contemporary CI activities in the area of automotive technology.
Combinatorial optimization and applications ; 1st International Conference, COCOA 2007, Xi'an, China, August 14-16, 2007, Proceedings
This book presented feature original research in the areas of combinatorial optimization - both theoretical issues and and applications motivated by real-world problems thus showing convincingly the usefulness and efficiency of the algorithms discussed in a practical setting.
