This book is thematically positioned at the intersections of Urban Design, Architecture, Civil Engineering and Computer Science, and it has the goal to provide specialists coming from respective fields a multi-angle overview of state-of-the-art work currently being carried out. It addresses both newcomers who wish to obtain more knowledge about this growing area of interest, as well as established researchers and practitioners who want to keep up to date. In terms of organization, the volume starts out with chapters looking at the domain at a wide-angle and then moves focus towards technical viewpoints and approaches.

The four-volume set LNCS 7333-7336 constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012. The four volumes contain papers presented in the following workshops: 7333 - advances in high performance algorithms and applications (AHPAA); bioinspired computing and applications (BIOCA); computational geometry and applicatons (CGA); chemistry and materials sciences and technologies (CMST); cities, technologies and planning (CTP); 7334 - econometrics and multidimensional evaluation in the urban environment (EMEUE); geographical analysis, urban modeling, spatial statistics (Geo-An-Mod); 7335 - optimization techniques and applications (OTA); mobile communications (MC); mobile-computing, sensind and actuation for cyber physical systems (MSA4CPS); remote sensing (RS); 7336 - software engineering processes and applications (SEPA); software quality (SQ); security and privacy in computational sciences (SPCS); soft computing and data engineering (SCDE). The topics of the fully refereed papers are structured according to the four major conference themes: 7333 - computational methods, algorithms and scientific application; 7334 - geometric modelling, graphics and visualization; 7335 - information systems and technologies; 7336 - high performance computing and networks.

The four-volume set LNCS 7333-7336 constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012. The four volumes contain papers presented in the following workshops: 7333 - advances in high performance algorithms and applications (AHPAA); bioinspired computing and applications (BIOCA); computational geometry and applicatons (CGA); chemistry and materials sciences and technologies (CMST); cities, technologies and planning (CTP); 7334 - econometrics and multidimensional evaluation in the urban environment (EMEUE); geographical analysis, urban modeling, spatial statistics (Geo-An-Mod); 7335 - optimization techniques and applications (OTA); mobile communications (MC); mobile-computing, sensind and actuation for cyber physical systems (MSA4CPS); remote sensing (RS); 7336 - software engineering processes and applications (SEPA); software quality (SQ); security and privacy in computational sciences (SPCS); soft computing and data engineering (SCDE). The topics of the fully refereed papers are structured according to the four major conference themes: 7333 - computational methods, algorithms and scientific application; 7334 - geometric modelling, graphics and visualization; 7335 - information systems and technologies; 7336 - high performance computing and networks.

This book constitutes the refereed proceedings of the 10th International Conference on Pervasive Computing, Pervasive 2012, held in Newcastle, UK, in June 2012. The 28 revised papers presented were carefully reviewed and selected from 138 submissions. The contributions are grouped into the following topical sections: activity capturing; urban mobility and computing; home and energy; HCI; development tools and devices; indoor location and positioning; social computing and games; privacy; public displays and services.

This book constitutes the proceedings of the 4th International Workshop on Computational Topology in Image Context, CTIC 2012, held in Bertinoro, Italy, in May 2012. The 16 papers presented in this volume were carefully reviewed and selected for inclusion in this book. They focus on the topology and computation in image context. The workshop is devoted to computational methods using topology for the analysis and comparison of images. The involved research fields comprise computational topology and geometry, discrete topology and geometry, geometrical modeling, algebraic topology for image applications, and any other field involving a geometric-topological approach to image processing.

This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated Conferences. The 9 revised full papers presented together with 2 invited papers, 4 short papers and one tutorial were carefully reviewed and selected from 29 submissions. The papers are devoted to the convergence of tests and proofs for developing novel techniques and application that support engineers in building secure, safe, and reliable systems. Among the topics covered are model-based testing; scenario-based testing; complex data structure generation; and the validation of protocols and libraries.

Although synthetic environments were traditionally used in military settings for mission rehearsal and simulations, their use is rapidly spreading to a variety of applications in the commercial, research and industrial sectors, such as flight training for commercial aircraft, city planning, car safety research in real-time traffic simulations, and video games. 3D Synthetic Environment Reconstruction contains seven invited chapters from leading experts in the field, bringing together a coherent body of recent knowledge relating 3D geospatial data collection, design issues, and techniques used in synthetic environments design, implementation and interoperability. In particular, this book describes new techniques for the generation of Synthetic Environments with increased resolution and rich attribution, both essential for accurate modeling and simulation. This book also deals with interoperability of models and simulations, which is necessary for facilitating the reuse of modeling and simulation components. 3D Synthetic Environment Reconstruction is an excellent reference for researchers and practitioners in the field.

Digital manufacturing has become an intrinsic part of the modelmaking profession, so today's practitioner must be skilled in both traditional hand-making techniques and digital technology. Relevant to a wide variety of creative industries, including film and television, theatre, architecture and product design, Digital Modelmaking offers a comprehensive insight into the manufacturing processes and technologies used within contemporary modelmaking. Each chapter contains an in-depth explanation of each topic, presents examples of how each process is used and includes case studies from professional modelmakers and students. Topics covered include: making models using a laser cutter, 3D printer and CNC milling machinery; generating 3D digital data using a 3D scanner and photogrammetry; two-and three- dimensional drawing software such as CAD; designing models for digital manufacturing; selecting materials based on their suitability for modelmaking; combining traditional hand-making skills with digital manufacturing; painting and finishing models, and finally, moulding and casting using silicone and resin. This invaluable book will be of great interest for students, young professionals and everyone with a passion for design and making.

This book is for a general scientific and engineering audience as a guide to current ideas, methods, and models for stochastic modeling of microstructures. It is a reference for professionals in material modeling, mechanical engineering, materials science, chemical, civil, environmental engineering and applied mathematics.

This book constitutes the proceedings of the 8th International Workshop on Programming Multi-Agent Systems held in Toronto, Canada, in May 2010 in conjunction with AAMAS 2010, the 9th International Joint Conference on Autonomous Agents and Multiagent Systems. The 7 revised full papers presented together with 1 invited paper were carefully reviewed and selected for inclusion in the book. The papers cover a broad range of mostly practical topics like decision component of agent systems; practical examples of programming languages; interaction with the environment, and are thus organized in topical sections on reasoning, programming languages, and environments.

The two-volume proceedings, LNCS 6927 and LNCS 6928, constitute the papers presented at the 13th International Conference on Computer Aided Systems Theory, EUROCAST 2011, held in February 2011 in Las Palmas de Gran Canaria, Spain. The total of 160 papers presented were carefully reviewed and selected for inclusion in the books. The contributions are organized in topical sections on concepts and formal tools; software applications; computation and simulation in modelling biological systems; intelligent information processing; heurist problem solving; computer aided systems optimization; model-based system design, simulation, and verification; computer vision and image processing; modelling and control of mechatronic systems; biomimetic software systems; computer-based methods for clinical and academic medicine; modeling and design of complex digital systems; mobile and autonomous transportation systems; traffic behaviour, modelling and optimization; mobile computing platforms and technologies; and engineering systems applications.

Evolutionary algorithms (EAs) are becoming increasingly attractive for researchers from various disciplines, such as operations research, computer science, industrial engineering, electrical engineering, social science, economics, etc. This book presents an insightful, comprehensive, and up-to-date treatment of EAs, such as genetic algorithms, differential evolution, evolution strategy, constraint optimization, multimodal optimization, multiobjective optimization, combinatorial optimization, evolvable hardware, estimation of distribution algorithms, ant colony optimization, particle swarm optimization, artificial immune systems, artificial life, genetic programming, etc.

It emphasises the initiative ideas of the algorithm, contains discussions in the contexts, and suggests further readings and possible research projects. All the methods form a pedagogical way to make EAs easy and interesting.

This textbook also introduces the applications of EAs as many as possible. At least one real-life application is introduced by the end of almost every chapter. The authors focus on the kernel part of applications, such as how to model real-life problems, how to encode and decode the individuals, how to design effective search operators according to the chromosome structures, etc.

This textbook adopts pedagogical ways of making EAs easy and interesting. Its methods include an introduction at the beginning of each chapter, emphasising the initiative, discussions in the contexts, summaries at the end of every chapter, suggested further reading, exercises, and possible research projects.

Introduction to Evolutionary Algorithms will enable students to:

establish a strong background on evolutionary algorithms;

appreciate the cutting edge of EAs;

perform their own research projects by simulating the application introduced in the book; and

apply their intuitive ideas to academic search.

This book is aimed at senior undergraduate students or first-year graduate students as a textbook or self-study material."

The four-volume set LNCS 7333-7336 constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012. The four volumes contain papers presented in the following workshops: 7333 - advances in high performance algorithms and applications (AHPAA); bioinspired computing and applications (BIOCA); computational geometry and applicatons (CGA); chemistry and materials sciences and technologies (CMST); cities, technologies and planning (CTP); 7334 - econometrics and multidimensional evaluation in the urban environment (EMEUE); geographical analysis, urban modeling, spatial statistics (Geo-An-Mod); 7335 - optimization techniques and applications (OTA); mobile communications (MC); mobile-computing, sensind and actuation for cyber physical systems (MSA4CPS); remote sensing (RS); 7336 - software engineering processes and applications (SEPA); software quality (SQ); security and privacy in computational sciences (SPCS); soft computing and data engineering (SCDE). The topics of the fully refereed papers are structured according to the four major conference themes: 7333 - computational methods, algorithms and scientific application; 7334 - geometric modelling, graphics and visualization; 7335 - information systems and technologies; 7336 - high performance computing and networks.

This book describes for the first time how Monte Carlo modeling methods can be applied to electron microscopy and microanalysis. Computer programs for two basic types of Monte Carlo simulation are developed from physical models of the electron scattering process--a single scattering program capable of high accuracy but requiring long computation times, and a plural scattering program which is less accurate but much more rapid. Optimized for use on personal computers, the programs provide a real time graphical display of the interaction. The programs are then used as the starting point for the development of programs aimed at studying particular effects in the electron microscope, including backscattering, secondary electron production, EBIC and cathodo-luminescence imaging, and X-ray microanalysis. The computer code is given in a fully annotated format so that it may be readily modified for specific problems. Throughout, the author includes numerous examples of how such applications can be used. Students and professionals using electron microscopes will want to read this important addition to the literature.

The three volume set LNCS 7062, LNCS 7063, and LNCS 7064 constitutes the proceedings of the 18th International Conference on Neural Information Processing, ICONIP 2011, held in Shanghai, China, in November 2011.
The 262 regular session papers presented were carefully reviewed and selected from numerous submissions.
The papers of part I are organized in topical sections on perception, emotion and development, bioinformatics, biologically inspired vision and recognition, bio-medical data analysis, brain signal processing, brain-computer interfaces, brain-like systems, brain-realistic models for learning, memory and embodied cognition, Clifford algebraic neural networks, combining multiple learners, computational advances in bioinformatics, and computational-intelligent human computer interaction.
The second volume is structured in topical sections on cybersecurity and data mining workshop, data mining and knowledge doscovery, evolutionary design and optimisation, graphical models, human-originated data analysis and implementation, information retrieval, integrating multiple nature-inspired approaches, Kernel methods and support vector machines, and learning and memory.
The third volume contains all the contributions connected with multi-agent systems, natural language processing and intelligent Web information processing, neural encoding and decoding, neural network models, neuromorphic hardware and implementations, object recognition, visual perception modelling, and advances in computational intelligence methods based pattern recognition.

Historians have different views on the core identity of analogue computing. Some portray the technology solely as a precursor to digital computing, whereas others stress that analogue applications existed well after 1940. Even within contemporary sources, there is a spectrum of understanding around what constitutes analogue computing. To understand the relationship between analogue and digital computing, and what this means for users today, the history must consider how the technology is used. Technology for Modelling investigates the technologies, the concepts, and the applications of analogue computing. The text asserts that analogue computing must be thought of as not just a computing technology, but also as a modelling technology, demonstrating how the history of analogue computing can be understood in terms of the parallel themes of calculation and modelling. The book also includes a number of detailed case studies of the technology's use and application. Topics and features: discusses the meaning of analogue computing and its significance in history, and describes the main differences between analogue and digital computing; provides a chronology of analogue computing, based upon the two major strands of calculation and modeling; examines the wider relationship between computing and modelling, and discusses how the theme of modelling fits within the history of analogue computing; describes how the history of analogue computing evolved through a number of stages of use; presents illustrative case studies on analogue modelling in academic research, oil reservoir modelling, aeronautical design, and meteorology. General readers and researchers in the field of history of computing - as well as history of science more generally - will find this book a fascinating insight into the historical use and evolution of technology. The volume provides a long-needed historical framework and context for these core computing technologies. Dr. Charles Care is a senior software engineer at BT and an Associate Fellow at the Department of Computer Science of the University of Warwick, UK.

Powerful computers now enable scientists to model the physical and chemical properties and behavior of complex materials using first principles. This book introduces dramatically new computational techniques in materials research, specifically for understanding molecular dynamics.

This volume presents the proceedings of the 7th International Confer ence of the Computer Graphics Society, CG International '89, held at the University of Leeds, UK, June 27-30, 1989. Since 1982 this confer ence has continued to attract high-quality research papers in all aspects of computer graphics and its applications. Originally the conference was held in Japan (1982-1987), but in 1988 was held in Geneva, Switzerland. Future conferences are planned for Singapore in 1990, USA in 1991, Japan in 1992, and Canada in 1993. Recent developments in computer graphics have concentrated on the following: greater sophistication of image generation techniques; advances in hardware and emphasis on the exploitation of parallelism, integration of robotics and AI techniques for animation, greater integ ration of CAD and CAM in CIM, use of powerful computer graphics techniques to represent complex physical processes (visualization), advances in computational geometry and in the representation and modelling of complex physical and mathematical objects, and improved tools and methods for HC . These trends and advances are reflected in this present volume. A number of papers deal with important research aspects in many of these areas."

The exciting new Adobe Dimension CC empowers graphic designers to create high-quality photorealistic imagery using 2D and 3D assets -- and if you have an Adobe Creative Suite subscription, it's already included. Now, Adobe Dimension CC Classroom in a Book offers complete hands-on training to help you master it quickly and easily. Straight from Adobe Press, this is the latest in our best-selling series of official Adobe software training guides -- packed with self-paced lessons and downloadable files designed by Adobe training experts. Each chapter contains a project that builds on your growing knowledge of the program, and end-of-chapter review questions reinforce each lesson. Long-time Adobe user experience/interactive experience designer Kevin Bomberry covers all you need to know about modeling, applying and editing surface materials, lighting, rendering, and much more -- even if you've never worked with 3D tools before!

This book constitutes the proceedings of the International Conference on Research and Education in Robotics held in Rapperswil-Jona, Switzerland, in May 2010. The 17 revised full papers presented were carefully reviewed and selected from 24 submissions. They are organized in topical sections on mechanical design and system architecture, flexible robot strategy design, and autonomous mobile robot development.

Computer Simulation Studies in Condensed-Matter Physics X is devoted to Prof. Masuo Suzuki's ideas, which have made novel, new simulations possible. These proceedings, of the 1997 workshop, comprise three parts that deal with new algorithms, methods of analysis, and conceptual developments. The first part contains invited papers that deal with simulational studies of classical systems. The second of the proceedings is devoted to invited papers on quantum systems, including new results for strongly correlated electron and quantum spin models. The final part contains a large number of contributed presentations.

The book describes the world's first successful experiment in fully automated board game design. Evolutionary methods were used to derive new rule sets within a custom game description language, and self-play trials used to estimate each derived game's potential to interest human players. The end result is a number of new and interesting games, one of which has proved popular and gone on to be commercially published.

The two-volume proceedings, LNCS 6927 and LNCS 6928, constitute the papers presented at the 13th International Conference on Computer Aided Systems Theory, EUROCAST 2011, held in February 2011 in Las Palmas de Gran Canaria, Spain. The total of 160 papers presented were carefully reviewed and selected for inclusion in the books. The contributions are organized in topical sections on concepts and formal tools; software applications; computation and simulation in modelling biological systems; intelligent information processing; heurist problem solving; computer aided systems optimization; model-based system design, simulation, and verification; computer vision and image processing; modelling and control of mechatronic systems; biomimetic software systems; computer-based methods for clinical and academic medicine; modeling and design of complex digital systems; mobile and autonomous transportation systems; traffic behaviour, modelling and optimization; mobile computing platforms and technologies; and engineering systems applications.

The age of 3D printing and personal fabrication is upon us You've probably heard of the incredibly sophisticated, yet inexpensive 3D printers that can produce almost any creation you give them. But how do you become part of that revolution?

Sandeep Singh takes you through the skills you need to learn and the services and technologies you need to knowexplaining what 3D printing is, how it works, and what it can do for you. You'll find yourself rapidly prototyping and learning to produce complex designs that can be fabricated by online 3D printing services or privately-owned 3D printersin your hands in no time.

Beginning Google SketchUp for 3D Printing starts by explaining how to use SketchUp and its plug-ins to make your design products. You will learn how to present and animate 3D models, and how to use Google Earth and 3D Warehouse to sell and market your 3D models. You'll also catch a glimpse of the 3D printing'sfuture so you can plan aheadwhile mastering today's tools.

Beginning Google SketchUp for 3D Printing is the perfect book for 3D designers, hobbyists, woodworkers, craftspeople, and artists interested in the following: Designing in 3D using SketchUp Using the online 3D printing pipeline Animating SketchUp 3D models Becoming familiar with rapid prototyping technology Navigating new 3D and personal fabrication technologies Working with Google Earth and 3D Warehouse with confidence

Welcome to the era of 3D printing and personal fabrication What you'll learn 3D design for beginners Using Sketchup Using the online 3D printing pipeline Animating Sketchup 3D models Becoming familiar with rapid prototyping technology Navigating new 3D and personal fabrication technologies Negotiating Google Earth and 3D Warehouse with confidence Who this book is for

3D designers, hobbyists, woodworkers, craftspeople and artists. Table of Contents The Ins and Outs of Google SketchUp and ShapewaysFirst 3D PrintoutGetting Your Juices Flowing3D Model to 3D PrintTools and Techniques to Save TimeBreaking the BarrierModeling with PhotographsWorking with SymmetryShare with the WorldAnimate with SketchyPhysicsUsing LayOutExploring 3D Printing AlternativesGet Connected

Collected articles in this series are dedicated to the development and use of software for earth system modelling and aims at bridging the gap between IT solutions and climate science. The particular topic covered in this volume addresses the historical development, state of the art and future perspectives of the mathematical techniques employed for numerical approximation of the equations describing atmospheric and oceanic motion. Furthermore, it describes the main computer science and software engineering strategies employed to turn these mathematical methods into effective tools for understanding earth's climate and forecasting its evolution. These methods and the resulting computer algorithms lie at the core of earth system models and are essential for their effectiveness and predictive skill.