Page 105
Page 105
Mathematical modeling of the human brain : From magnetic resonance images to finite element simulation
This book bridges common tools in medical imaging and neuroscience with the numerical solution of brain modelling PDEs. The connection between these areas is established through the use of two existing tools, FreeSurfer and FEniCS, and one novel tool, the SVM-Tk, developed for this book. The reader will learn the basics of magnetic resonance imaging and quickly proceed to generating their first FEniCS brain meshes from T1-weighted images.
Mathematical Methods in Computer Science : Essays in Memory of Thomas Beth
This Festschrift volume contains the proceedings of the conference Mathematical Methods in Computer Science, MMICS 2008, which was held during December 17-19, 2008, in Karlsruhe, Germany, in memory of Thomas Beth.The themes of the conference reflected the many interests of Thomas Beth. Although, these interests might seem diverse, mathematical methods and especially algebra as a language constituted the common denominator of all of his scientific achievements.
Mathematical Linguistics
Mathematical Linguistics introduces the mathematical foundations of linguistics to computer scientists, engineers, and mathematicians interested in natural language processing. The book presents linguistics as a cumulative body of knowledge from the ground up, with no prior knowledge of linguistics being assumed, covering more than the average two-semester introductory course in linguistics.This comprehensive, reader-friendly volume offers readers a high-level orientation, discussing the foundations of the field and presenting both the classical work and the most recent results. It covers an extremely rich array of topics including not only syntax and semantics but also phonology and morphology, probabilistic approaches, complexity, learnability, and the analysis of speech and handwriting.
Mathematical Knowledge Management ; Vol. 4108 ; 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, MKM 2006, held in Wokingham, UK in August 2006 as official satellite event of the International Congress of Mathematicians, ICM 2006. The 22 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers in this volume cover the whole area of mathematical knowledge management in the intersection of mathematics, computer science, library science, and scientific publishing. The papers are organized in topical sections on proof representations, proof processing, knowledge extraction, knowledge representation, as well as systems and tools.
Mathematical Knowledge Management ; Vol. 3863 ; 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 held July 15–17, 2005 at - ternational University Bremen, Germany.
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 2007 ; 32nd International Symposium, MFCS 2007 Ceský Krumlov, Czech Republic, August 26-31, 2007, Proceedings
This book constitutes the refereed proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2007, held in Cesk?? Krumlov, Czech Republic, August 26-31, 2007. All current aspects in theoretical computer science and its mathematical foundations are addressed.
Mathematical foundations of computer science 2006 ; 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings
This book constitutes the refereed proceedings of the 31st International Symposium on Mathematical Foundations of Computer Science, MFCS 2006, held in Stará Lesná, Slovakia in August/September 2006. The 62 revised full papers presented together with the full papers or abstracts of 7 invited talks were carefully reviewed and selected from 174 submissions. All current aspects in theoretical computer science and its mathematical foundations are addressed, ranging from algorithms and data structures, to complexity, automata, semantics, logic, formal specifications, models of computation, concurrency theory, computational geometry, parallel and distributed computing, networks, bioinformatics, quantum computing, cryptography, knowledge-based systems, and artificial intelligence.
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.
Mathematical Approaches to Software Quality
This book considers the potential and limitations of the various mathematical approaches and thereby aims to give a balanced view of the usability of each mathematical approach. Written with both student and professional in mind, this book assists the reader in applying mathematical methods to solve practical problems that are relevant to software engineers. It is suitable for coursework or self-study and there is helpful material on tools to support the various mathematical approaches.
Materials for Information Technology : Devices, Interconnects and Packaging
The Engineering Materials and Processes series focuses on all forms of materials and the processes used to synthesise and formulate them as they relate to the various engineering disciplines.
Matching Properties of Deep Sub-Micron MOS Transistors
Matching Properties of Deep Sub-Micron MOS Transistors examines this interesting phenomenon. Microscopic fluctuations cause stochastic parameter fluctuations that affect the accuracy of the MOSFET. For analog circuits this determines the trade-off between speed, power, accuracy and yield.
Mastering VMware Horizon 8 : An Advanced Guide to Delivering Virtual Desktops and Virtual Apps
Learn all about designing, installing, configuring, and managing VMware Horizon, with a core focus on how to deliver virtual desktops using Horizon. This book allows you to follow the complete process for deploying VMware Horizon and covers the design, deployment, and management of solutions. You will: See the core components of VMware Horizon and their functionality / Design and install a Horizon environment / Deliver the best end-user experience / Manage the deployed solution / Use VMware reference architectures to create real-life scenario examples / Review the minimum requirements for designing a solution
Mastering Oracle SQL and SQL*Plus
This exceptional book explains fundamentals in detail, supported by realistic examples, while most other books on the market do not properly cover such basics. If you work with relational databases you need to understand the SQL language. And you will gain full competence to define, access, and manipulate data in an Oracle database, if you do so following this book's guidance.
Massively Multi-Agent Technology ; AAMAS Workshops, MMAS 2006, LSMAS 2006, and CCMMS 2007 Hakodate, Japan, May 9, 2006 Honolulu, HI, USA, May 15, 2007 Selected and Revised Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the joint AAMAS 2006 International Workshops on Massively Multi-Agent Systems, MMAS 2006, and on Large scale Multi-Agent Systems, LSMAS 2006, held in Hakodate, Japan, in May 2006, and of the International Workshop on Coordination and Control in Massively Multi-Agent Systems, CCMMS 2007, held in Honolulu, HI, USA, in May 2007 as associated event of AAMAS 2007.
Massively Multi-Agent Systems I ; 1st International Workshop, MMAS 2004, Kyoto, Japan, December 10-11, 2004, Revised Selected and Invited Papers
Originates from the First International Workshop on Massively Multi-Agent Systems, MMAS 2004, held in Kyoto, Japan in December 2004. The 25 revised full selected and invited papers give an excellent introduction and overview on massively multi-agent systems. The papers are organized in parts on massively multi-agent technology, teams and organization, ubiquitous computing and ambient intelligence, and massively multi-agent systems in the public space.
Markov Models for Pattern Recognition : From Theory to Applications
Describes the underlying theoretical concepts - covering Hidden Markov models and Markov chain models - and presents the techniques and algorithmic solutions essential to creating real world applications. The actual use of Markov models in their three main application areas - namely speech recognition, handwriting recognition, and biological sequence analysis - is presented with examples of successful systems.
Many-Core Computing : Hardware and software
Provides a timely and coherent account of the recent advances in many-core computing research. Starting with programming models, operating systems and their applications; it presents runtime management techniques, followed by system modelling, verification and testing methods, and architectures and systems. Computing has moved away from a focus on performance-centric serial computation, instead towards energy-efficient parallel computation. This provides continued performance increases without increasing clock frequencies, and overcomes the thermal and power limitations of the dark-silicon era. As the number of parallel cores increases, we transition into the many-core computing era. There is considerable interest in developing methods, tools, architectures and applications to support many-core computing.
Manual of Digital Earth
This book offers a summary of the development of Digital Earth over the past twenty years. By reviewing the initial vision of Digital Earth, the evolution of that vision, the relevant key technologies, and the role of Digital Earth in helping people respond to global challenges, this publication reveals how and why Digital Earth is becoming vital for acquiring, processing, analysing and mining the rapidly growing volume of global data sets about the Earth.
Managing Virtualization of Networks and Services ; 18th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2007, San José, CA, USA, October 29-31, 2007, Proceedings
This volume of the Lecture Notes in Computer Science series contains all papers th accepted for presentation at the 18 IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM 2007), which was held in the heart of Silicon Valley, San Jose, California, USA, on October 29–31, 2007.
