الصفحة 2
الصفحة 2
Modern Mathematics Education for Engineering Curricula in Europe : A Comparative Analysis of EU, Russia, Georgia and Armenia
Provides a comprehensive overview of the core subjects comprising mathematical curricula for engineering studies in five European countries and identifies differences between two strong traditions of teaching mathematics to engineers. The collective work of experts from a dozen universities critically examines various aspects of higher mathematical education.
Modelling and Reasoning with Vague Concepts
This volume outlines a formal representation framework for modelling and reasoning with vague concepts in Artificial Intelligence. The new calculus has many applications, especially in automated reasoning, learning, data analysis and information fusion. This book gives a rigorous introduction to label semantics theory, illustrated with many examples, and suggests clear operational interpretations of the proposed measures. It also provides a detailed description of how the theory can be applied in data analysis and information fusion based on a range of benchmark problems.
Model-Driven Testing : Using the UML Testing Profile
Written by the original members of this standardization group, this book shows you how to use UML to test complex software systems. The authors introduce UTP step-by-step, using a case study that illustrates how UTP can be used for test modeling and test specification. You’ll learn how UTP concepts can be used for functional and non-functional testing, with example applications and best practices for user-interfaces and service oriented architectures. In addition, the authors demonstrate how to apply UTP using frameworks like TTCN-3 and the JUnit test framework for Java.
Model and Mathematics : From the 19th to the 21st Century
This book collects the historical and medial perspectives of a systematic and epistemological analysis of the complicated, multifaceted relationship between model and mathematics, ranging from, for example, the physical mathematical models of the 19th century to the simulation and digital modelling of the 21st century. The aim of this anthology is to showcase the status of the mathematical model between abstraction and realization, presentation and representation, what is modeled and what models.
Mobile Information Systems II ; IFIP Working Conference on Mobile Information Systems, MOBIS 2005, Leeds, UK, December 6-7, 2005
Contains the proceedings of the second IFIP TC8 Working Conference on Mobile Information Systems which was held in December 2005 in Leeds, UK and sponsored by the International Federation of Information Processing (IFIP). Mobile Information Systems II aims to: · Clarify differences and similarities between the development of mobile and more traditional information systems. · Investigate the organizational impact of mobile information systems. · Investigate the 'e to m shift' , for example in m-Commerce relative to e-Commerce. · Investigate mobile commerce applications combined with the advantages of mobile communications technologies, the drivers of which have been identified as ubiquity, accessibility, security, convenience, localization, instant connectivity, and personalization. · Evaluate existing and newly developed approaches for the analysis, design, implementation, and evolution of mobile information systems. · Investigate technical issues and the constraints they impose on mobile information systems functionalities and design.
Microwave Engineering : Concepts and Fundamentals
Covers everything from wave propagation to reflection and refraction, guided waves, and transmission lines, providing a comprehensive understanding of the underlying principles at the core of microwave engineering. This encyclopedic text not only encompasses nearly all facets of microwave engineering, but also gives all topics—including microwave generation, measurement, and processing—equal emphasis. Packed with illustrations to aid in comprehension. Describes the mathematical theory of waveguides and ferrite devices, devoting an entire chapter to the Smith chart and its applications Discusses different types of microwave components, antennas, tubes, transistors, diodes, and parametric devices Examines various attributes of cavity resonators, semiconductor and RF/microwave devices, and microwave integrated circuits
Microsoft Dynamics NAV : Jump Start to Optimization
Mastering Microsoft Dynamics NAV for beginners and IT professionals: from jump start to optimization. This book covers general use and shows you how to tailor Microsoft Dynamics NAV to mirror your firm's unique needs. Learn skills that enable you to navigate and interpret the world of possibilities locked within the ERP system. Through easy, concrete examples, you will master the layered environment and be able to use and create reports, forms, import/export functions and more. This book gives you the basis you need to demand the best information infrastructure for your enterprise.
Microsoft .NET framework 2.0 web-based client development : MCTS self-paced training Kit (Exam 70-528)
Designed to help you make the most of your study time. Maximize your performance on the exam by learning to: * Create, trace, configure, and deploy Web applications * Integrate data into your application using Microsoft ADO.NET, XML, and data-bound controls * Implement forms authentication, impersonation, and login controls * Configure server controls and create custom Web controls * Use themes, user profiles, and Web parts for customizable, personalized Web sites * Manage server-side and client-side application state PRACTICE TESTS Assess your skills with practice tests on CD. You can work through hundreds of questions using multiple testing modes to meet your specific learning needs. You get detailed explanations for right and wrong answers?including a customized learning path that describes how and where to focus your studies. Your kit includes: * Official self-paced study guide. * Practice tests with multiple, customizable testing options and a learning plan based on your results. *400+ practice and review questions. * Case scenarios and lab exercises. * Microsoft Visual Basic and Visual C# code samples on CD.
Microprocessor 5 : Software and hardware aspects of development, debugging and testing - the microcomputer
Focuses more particularly on the first two generations of microprocessors, those that handle 4- and 8- bit integers. Microprocessor 5 – the fifth and final volume of this series of books – first presents the hardware and software aspects of the development chain of a microprocessor-based digital system. Finally, to round up the series and offer a historical perspective, the architectures of the first microcomputers are detailed. A comprehensive approach is used, with examples drawn from current and past technologies that illustrate theoretical concepts, making them accessible.
Microprocessor 4 : Core concepts - software aspects
Addresses the software aspects of this component. Coding of an instruction, addressing modes and the main features of the Instruction Set Architecture (ISA) of a generic component are presented. Futhermore, two approaches are discussed for altering the flow of execution using mechanisms of subprogram and interrupt. A comprehensive approach is used, with examples drawn from current and past technologies that illustrate theoretical concepts, making them accessible.
Microprocessor 2 : Communication in a digital system
Focuses more particularly on the first generations of microprocessors, that is to say those that handle integers in 4 and 8-bit formats. The first chapter presents the calculation function and reminds the memory function. The following is devoted to notions of calculation model and architecture. The concept of bus is then presented. Chapters 4 and 5 can then address the internal organization and operation of the microprocessor first in hardware and then software. The mechanism of the function call, conventional and interrupted, is more particularly detailed in a separate chapter. The book ends with a presentation of architectures of the first microcomputers for a historical perspective. The knowledge is presented in the most exhaustive way possible with examples drawn from current and old technologies that illustrate and make accessible the theoretical concepts. Each chapter ends if necessary with corrected exercises and a bibliography. The list of acronyms used and an index are at the end of the book.
Microprocessor 1 : Prolegomena - calculation and storage functions - models of computation and computer architecture
Presents the computation function, recalls the memory function and clarifies the concepts of computational models and architecture. A comprehensive approach is used, with examples drawn from current and past technologies that illustrate theoretical concepts, making them accessible.
Microformats : Empowering Your Markup for Web 2.0
This book is a comprehensive guide to microformats. It explores why—in Bill Gates' words—"We need microformats," how microformats work, and the kinds of problems microformats help solve. The book covers every current microformat, with complete details of the syntax, semantics, and uses of each, along with real-world examples and a comprehensive survey of the tools available for working with them. the book also features case studies detailing how major web content publishers such as yahoo put microformats to work in their web applications.
Methodological Investigations in Agent-Based Modelling : With Applications for the Social Sciences
Examines the methodological complications of using complexity science concepts within the social science domain. The opening chapters take the reader on a tour through the development of simulation methodologies in the fields of artificial life and population biology, then demonstrates the growing popularity and relevance of these methods in the social sciences. Following an in-depth analysis of the potential impact of these methods on social science and social theory, the text provides substantive examples of the application of agent-based models in the field of demography. This work offers a unique combination of applied simulation work and substantive, in-depth philosophical analysis, and as such has potential appeal for specialist social scientists, complex systems scientists, and philosophers of science interested in the methodology of simulation and the practice of interdisciplinary computing research.
MDATA : A New Knowledge Representation Model: Theory, Methods and Applications
This book introduces a new knowledge representation model called MDATA (Multi-dimensional Data Association and inTelligent Analysis). By modifying the representation of entities and relations in knowledge graphs, dynamic knowledge can be efficiently described with temporal and spatial characteristics. The MDATA model can be regarded as a high-level temporal and spatial knowledge graph model, which has strong capabilities for knowledge representation. This book introduces some key technologies in the MDATA model, such as entity recognition, relation extraction, entity alignment, and knowledge reasoning with spatiotemporal factors. The MDATA model can be applied in many critical applications and this book introduces some typical examples, such as network attack detection, social network analysis, and epidemic assessment.
MCITP self-paced training Kit (Exam 70-444) : Optimizing and maintaining a database administration solution microsoft SQL server 2005
Designed to help you make the most of your study time. Maximize your performance on the exam by learning to: * Monitor and troubleshoot queries, databases, and servers * Help defend against injection attacks, denial of service attacks, worms, and viruses * Manage security strategies and perform audits * Detect and resolve data conflicts * Diagnose faults and recover from database failures and disasters * Optimize database availability with failover clustering, database mirroring, log shipping, and replication * Customize a maintenance strategy and automate routine tasks * Build, debug, and deploy SQL Server Integration Services packages PRACTICE TESTS Assess your skills with practice tests on CD. You can work through hundreds of questions using multiple testing modes to meet your specific learning needs. You get detailed explanations for right and wrong answers-including a customized learning path that describes how and where to focus your studies. Your training kit includes: Details inside. * Official self-paced study guide. * Practice tests with multiple, customizable testing options and a learning plan based on your results. *400+ practice and review questions. * Case scenarios, practice exercises, and best practices. *180-day evaluation version of Microsoft SQL Server 2005 Enterprise Edition. * Fully searchable eBook of this guide.
Mathematical Software - ICMS 2006 ; 2nd International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings
This volume contains the outstanding collection of invited papers and refereed papers selected for the Second International Congress on Mathematical Software, ICMS 2006, held in Castro Urdiales, Spain, September 1-3, 2006. This congress was devoted to all aspects of mathematical software, whose appearance is — in our opinion — one of the most important events in mathematics. Mathematical software systems are used to construct examples, to prove theorems, and to find new mathematical phenomena. Conversely, mathematical research often motivates developments of new algorithms and new systems. Beyond mathematics, mathematical software systems are becoming indispensable tools in many branches of science and technology.
IPv6 in Practice: A Unixer's Guide to the Next Generation Internet
This book is a practical guide to IPv6 addressing Unix and network administrators with experience in TCP/IP(v4) but not necessarily any IPv6 knowledge. It focuses on reliable and efficient operation of IPv6 implementations available today rather than on protocol specifications. Consequently, it covers the essential concepts - using instructive and thoroughly tested examples - on how to configure, to administrate, and to debug IPv6 setups.
IoT-enabled Smart Healthcare Systems, Services and Applications
In IoT-Enabled Smart Healthcare Systems, Services and Applications, an accomplished team of researchers delivers an insightful and comprehensive exploration of the roles played by cutting-edge technologies in modern healthcare delivery. The distinguished editors have included resources from a diverse array of learned experts in the field that combine to create a broad examination of a rapidly developing field.
Introduction to Video Search Engines
Their book has a practical emphasis with the goal of bringing readers up to date on the state of the art in multimedia search technologies and systems. It explains the overall process of video content acquisition, indexing and retrieval with browsing, it provides overviews of constituent technologies such as information retrieval, Internet video systems, video and multimedia processing to extract index data, and it gives examples of research prototypes and existing commercial systems and describes their features.
