الصفحة 7
الصفحة 7
Mathematics of Program Construction ; 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings
This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held at Kuressaare, Estonia, July 3-5, 2006, colocated with the 11th International Conference on Algebraic Methodology and Software Technology, AMAST 2006, July 5-8, 2006. TheMPCconferencesaimtopromotethedevelopmentofmathematicalpr- ciples and techniques that are demonstrably useful and usable in the process of constructing computer programs. Topics of interest range from algorithmics to support for program construction in programming languages and systems.
Mathematics Education and Language Diversity : The 21st ICMI Study
This book examines multiple facets of language diversity and mathematics education. It features renowned authors from around the world and explores the learning and teaching of mathematics in contexts that include multilingual classrooms, indigenous education, teacher education, blind and deaf learners, new media and tertiary education. Each chapter draws on research from two or more countries to illustrate important research findings, theoretical developments and practical strategies.
Mathematical Problems from Applied Logic II : Logics for the XXIst Century
Mathematical Problems from Applied Logic II presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from the point of view of their further development in light of requirements arising from their successful application in areas such as Computer Science and AI language. Fields covered include: logic of provability, applications of computability theory to biology, psychology, physics, chemistry, economics, and other basic sciences; computability theory and computable models; logic and space-time geometry; hybrid systems; logic and region-based theory of space.
Mathematical Problems from Applied Logic I : Logics for the XXIst Century
Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from the point of view of their further development in light of requirements arising from their successful application in areas such as Computer Science and AI language. An overview of the current state as well as open problems and perspectives are clarified in such fields as non-standard inferences in description logics, logic of provability, logical dynamics and computability theory. The book contains interesting contributions concerning the role of logic today, including some unexpected aspects of contemporary logic and the application of logic. This should be of interest to logicians and mathematicians in general.
IoT and AI Technologies for Sustainable Living : A Practical Handbook
Brings together all the latest methodologies, tools and techniques related to the Internet of Things and Artificial Intelligence in a single volume to build insight into their use in sustainable living. The areas of application include agriculture, smart farming, healthcare, bioinformatics, self-diagnosis systems, body sensor networks, multimedia mining, and multimedia in forensics and security. Provides a comprehensive discussion of modeling and implementation in water resource optimization, recognizing pest patterns, traffic scheduling, web mining, cyber security and cyber forensics. It will help develop an understanding of the need for AI and IoT to have a sustainable era of human living. The tools covered include genetic algorithms, cloud computing, water resource management, web mining, machine learning, block chaining, learning algorithms, sentimental analysis and Natural Language Processing (NLP).
Investigating Spoken English : A Practical Guide to Phonetics and Phonology Using Praat
Combining coverage of the key concepts and tools within phonetics and phonology with a systematic introduction to Praat, this textbook provides a lively and engaging 'way in' to the discipline. The author first covers the fundamentals of the articulatory and acoustic aspects of speech and introduces Praat as the main tool for examining and visualising speech. Next, the unit of analysis is gradually expanded (from syllables to words to turns and dialogues) and excerpts of real dialogues exemplify the core concepts for discovering how speech works.
Introduzione alla medicina molecolare = Introduction to molecular medicine
An indispensable guide for understanding a young science with rapid and promising developments. Now in its third completely revised edition, it presents in a concise yet comprehensive way the scientific and technological principles of this discipline and provides, in widely accessible language, the basic conceptual tools for understanding the human genome, gene expression and regulation, the various aspects of genetic engineering that allow for the manipulation of DNA, and human cloning.
Introduzione al Calcolo Scientifico : Esercizi e problemi risolti con MATLAB = Introduction to scientific computing : Exercises and problem solved with MATLAB
Introduces the fundamental concepts for the numerical modeling of partial differential problems. We consider the classic linear elliptic, parabolic and hyperbolic equations, but also other equations, such as those of diffusion and transport, of Navier-Stokes, and the conservation laws. Numerous physical examples underlying these equations are provided, their main mathematical properties are studied, then numerical resolution methods based on finite elements, finite differences, finite volumes and spectral methods are proposed and analyzed. In particular, the algorithmic and computer implementation aspects are discussed and some easy-to-use programs in C ++ language are provided. The text does not presuppose an advanced mathematical knowledge of partial differential equations: the strictly indispensable concepts in this regard are reported in the Appendix. THE VOLUME is therefore suitable for students of scientific degree courses (Engineering, Mathematics, Physics, Chemistry, Information Sciences) and recommended for researchers from the academic and extra-academic world who want to approach this interesting branch of applied mathematics.
Introductory Statistics with R
R is an Open Source implementation of the S language. It works on multiple computing platforms and can be freely downloaded. R is now in widespread use for teaching at many levels as well as for practical data analysis and methodological development. This book provides an elementary-level introduction to R, targeting both non-statistician scientists in various fields and students of statistics. The main mode of presentation is via code examples with liberal commenting of the code and the output, from the computational as well as the statistical viewpoint. A supplementary R package can be downloaded and contains the data sets.
Introduction to the Tools of Scientific Computing
The book provides an introduction to common programming tools and methods in numerical mathematics and scientific computing. Unlike widely used standard approaches, it does not focus on any particular language but aims to explain the key underlying concepts. In general, new concepts are first introduced in the particularly user-friendly Python language and then transferred and expanded in various scientific programming environments from C / C ++, Julia and MATLAB to Maple. This includes different approaches to distributed computing.
Introduction to software design with Java
Provides an in-depth introduction to software design, with a focus on object-oriented design, and using the Java programming language. Its goal is to help readers learn software design by discovering the experience of the design process. To this end, the text follows a continuous narrative that introduces each element of design know-how in context, and explores alternative solutions in that context. This narrative is complemented by hundreds of code fragments and design diagrams.
Introduction to Scientific Programming with Python
This book offers an initial introduction to programming for scientific and computational applications using the Python programming language. The presentation style is compact and example-based, making it suitable for students and researchers with little or no prior experience in programming.
Introduction to Project Management : A Source Book for Traditional PM Basics
Presents the fundamentals of project management in simple language and an easy-to-understand format. It is targeted principally at those who are learning or desiring to learn project management as well as those who are already taking project management as a course of study or as a profession
Introduction to Programming with Fortran : with coverage of Fortran 90, 95, 2003 and 77
Introduction to Programming with Fortran contains: lots of clear and simple examples highlighting the key language features of the most recent versions of Fortran – Fortran 2003, 95 and 90. practical examples based on ISO TR 15580 and ISO TR 15581 which are widely supported and cover the ISO TR on Enhanced Modules – particularly important to large code suites common problems that occur when programming which are highlighted via clear examples and solutions Introduction to Programming with Fortran is an essential introduction for beginners as well as a concise reference for professionals. Overall the book gives a very effective hands-on coverage of Fortran, valuable to students and practitioners alike.
Introduction to PHP for Scientists and Engineers : Beyond JavaScript
This text presents key information needed to write your own online science and engineering applications, including reading, creating and manipulating data files stored as text on a server, thereby overcoming the limitations of a client-side language.
Introduction to Genetic Algorithms
This book is designed to provide an in-depth knowledge on the basic operational features and characteristics of Genetic Algorithms. The various operators and techniques given in the book are pertinent to carry out Genetic Algorithm Research Projects. The book also explores the different types are Genetic Algorithms available with their importance. Implementation of Genetic Algorithm concept has been performed using the universal language C/C++ and the discussion also extends to Genetic Algorithm MATLAB Toolbox. Few Genetic Algorithm problems are programmed using MATLAB and the simulated results are given for the ready reference of the reader. The applications of Genetic Algorithms in Machine learning, Mechanical Engineering, Electrical Engineering, Civil Engineering, Data Mining, Image Processing, and VLSI are dealt to make the readers understand where the concept can be applied.
Introduction to Discrete Event Systems
Introduction to Discrete Event Systems is a comprehensive introduction to the field of discrete event systems, offering a breadth of coverage that makes the material accessible to readers of varied backgrounds. The book emphasizes a unified modeling framework that transcends specific application areas, linking the following topics in a coherent manner: language and automata theory, supervisory control, Petri net theory, Markov chains and queueing theory, discrete-event simulation, and concurrent estimation techniques
Introduction to design theory : philosophy, critique, history and practice
Introduces a comprehensive, systematic, and didactic outline of the discourse of design. Designed both as a course book and a source for research, this textbook methodically covers the central concepts of design theory, definitions of design, its historical milestones, and its relations to culture, industry, body, ecology, language, society, gender and ideology.
Introduction to Computer Graphics : Using Java 2D and 3D
This book introduces the most important basic concepts of computer graphics, coupling the technical background and theory with practical examples and applications throughout. Its user-friendly approach enables the reader to gain understanding through the theory at work, via the many example programs provided. With only elementary knowledge of the programming language Java, the reader will be able to create their own images and animations immediately, using Java 2D and/or Java 3D.
Introduction to Computational Optimization Models for Production Planning in a Supply Chain
In this book we strive to provide models that capture many of the - tails faced by ?rms operating in a modern supply chain, but we stop short of proposing models for economic analysis of the entire multi-player chain. In other words, we produce models that are useful for planning within a supply chain rather than models for planning the supply chain. The usefulness of the models is enhanced greatly by the fact that they have been implemented - ing computer modeling languages. Implementations are shown in Chapter 7, which allows solutions to be found using a computer.
