الصفحة 5
الصفحة 5
Mathematics of Program Construction ; 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, MPC 2008, held in Marseille, France in July 2008.The 18 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 41 submissions. Issues addressed range from algorithmics to support for program construction in programming languages and systems. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics.
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.
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).
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 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 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 C++ Programming and Graphics
Introduction to C++ Programming and Graphics offers a venue for rapidly learning the language by concisely revealing its grammar, syntax and main features, and by explaining the key ideas behind object oriented programming (OOP), with emphasis on scientific computing.
Introduction to C++ : 500+ Difficulty-Scaled Solved Programming Exercises
Includes more than 500 exercises and examples of progressive difficulty to aid the reader in understanding the C++ principles and to see how concepts can materialize in code. The examples are designed to be short, concrete, and substantial, quickly giving the reader the ability to understand how to apply correctly and efficiently the features of the C++ language and to get a solid programming know-how. Rest assured that if you are able to understand this book's examples and solve the exercises, you can safely go on to edit larger programs, you will be able to develop your own applications, and you will have certainly established a solid fundamental conceptual and practical background to expand your knowledge and skills
Introduction to Assembly Language Programming : For Pentium and RISC Processors
Assembly language continues to hold a core position in the programming world because of its similar structure to machine language and its very close links to underlying computer-processor architecture and design. These features allow for high processing speed, low memory demands, and the capacity to act directly on the system’s hardware. This completely revised second edition of the highly successful Introduction to Assembly Language Programming introduces readers to assembly language programming and its role in computer programming and design. It focuses on providing a firm grasp of the main features of assembly programming, and how it can be used to improve a computer's performance. The revised edition covers a broad scope of subjects and adds valuable material on protected-mode Pentium programming, MIPS assembly language programming, and use of the NASM and SPIM assemblers for a Linux orientation. All of the language's main features are covered in depth. The book requires only some basic experience with a structured, high-level language.
Introducing Blockchain with Java : Program, Implement, and Extend Blockchains with Java
Includes numerous exercises and test questions to help you solidify what you have learned as you progress through the book, and provides ideas on expanding the codebase to make it your own. You will have access to a fully-functioning repository with Java code. You will have the knowledge necessary to program your own blockchains with Java and you will have a completed project for your portfolio. You will: Know the most important theoretical concepts of the blockchain / Code the blockchain in Java / Create a user interface with JavaFX / Implement SQLite DB using JDBC Driver / Create a P2P multi-threaded app / Create your own cryptocurrency app with full functionality / Implement blockchain technology on a P2P network from scratch using Java, JavaFX, and SQL
Intercultural Collaboration ; 1st International Workshop, IWIC 2007 Kyoto, Japan, January 25-26, 2007 Invited and Selected Papers
This book presents 29 revised invited and selected lectures given by top-researchers at the First International Workshop on Intercultural Collaboration, IWIC 2007, held in Kyoto, Japan in January 2007.
Interactive systems : Design specification, and verification ; 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers
This book constitutes the refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2005. The 20 revised full papers, 1 keynote paper, and 4 summaries of group discussions are organized in topical sections on teams and groups, sketches and templates, away from the desktop, migration and mobility, analysis tools, model-based design processes and tools, and group discussions.
Intelligent Virtual Agents ; 8th International Conference, IVA 2008, Tokyo, Japan, September 1-3, 2008. Proceedings
This book constitutes the refereed proceedings of the 8th International Workshop on Intelligent Virtual Agents, IVA 2008, held in Tokyo, Japan, in September 2008.The 18 revised full papers and 28 revised short papers presented together 42 poster papers were carefully reviewed and selected from 99 submissions. The papers are organized in topical sections on motion and empathy; narrative and augmented reality; conversation and negotiation; nonverbal behavior; models of culture and personality; markup and representation languages; architectures for robotic agents; cognitive architectures; agents for healthcare and training; and agents in games, museums and virtual worlds.
Intelligent tutoring systems ; 9th International Conference, ITS 2008, Montreal, Canada, June 23-27, 2008 Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Tutoring Systems, ITS 2008, held in Montreal, Canada, in June 2008.The 63 revised full papers and 61 poster papers presented together with abstracts of 5 keynote talks were carefully reviewed and selected from 207 submissions. The papers are organized in topical sections on emotion and affect, tutor evaluation, student modeling, machine learning, authoring tools , tutor feedback and intervention, data mining, e-learning and Web-based ITS, natural language techniques and dialogue, narrative tutors and games, semantic Web and ontology, cognitive models, and collaboration.
Intelligent Tutoring Systems ; 8th International Conference, ITS 2006, Jhongli, Taiwan, June 26-30, 2006 Proceedings
This book constitutes the refereed proceedings of the 8th International Conference on Intelligent Tutoring Systems, ITS 2006, held in Jhongli, Taiwan in June 2006. The 67 revised full papers and 40 poster papers presented together with abstracts of 6 keynote talks were carefully reviewed and selected from over 200 submissions. The papers are organized in topical sections on assessment, authoring tools, bayesian reasoning and decision-theoretic approaches, case-based and analogical reasoning, cognitive models, collaborative learning, elearning and web-based intelligent tutoring systems, error detection and handling, feedback, gaming behavior, learner models, motivation, natural language techniques for intelligent tutoring systems, scaffolding, simulation, as well as tutorial dialogue and narrative.
Intelligent systems and applications ; Proceedings of the 2020 intelligent systems Conference (IntelliSys) Vol.3
The book Intelligent Systems and Applications - Proceedings of the 2020 Intelligent Systems Conference is a remarkable collection of chapters covering a wider range of topics in areas of intelligent systems and artificial intelligence and their applications to the real world. This book collects both theory and application based chapters on all aspects of artificial intelligence, from classical to intelligent scope.
Intelligent systems and applications ; Proceedings of the 2020 intelligent systems Conference (IntelliSys) Vol.2
The book Intelligent Systems and Applications - Proceedings of the 2020 Intelligent Systems Conference is a remarkable collection of chapters covering a wider range of topics in areas of intelligent systems and artificial intelligence and their applications to the real world. This book collects both theory and application based chapters on all aspects of artificial intelligence, from classical to intelligent scope.
