الصفحة 6
الصفحة 6
Introduction to Reliable Distributed Programming
Guerraoui and Rodrigues present an introductory description of fundamental reliable distributed programming abstractions as well as algorithms to implement these abstractions. The authors follow an incremental approach by first introducing basic abstractions in simple distributed environments, before moving to more sophisticated abstractions and more challenging environments. Each core chapter is devoted to one specific class of abstractions, covering reliable delivery, shared memory, consensus and various forms of agreement. This textbook comes with a companion set of running examples implemented in Java. These can be used by students to get a better understanding of how reliable distributed programming abstractions can be implemented and used in practice. Combined, the chapters deliver a full course on reliable distributed programming. The book can also be used as a complete reference on the basic elements required to build reliable distributed applications.
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 Machine Learning with Applications in Information Security
Provides a classroom-tested introduction to a wide variety of machine learning and deep learning algorithms and techniques, reinforced via realistic applications. The book is accessible and doesn't prove theorems, or dwell on mathematical theory. The goal is to present topics at an intuitive level, with just enough detail to clarify the underlying concepts. The book covers core classic machine learning topics in depth, including Hidden Markov Models (HMM), Support Vector Machines (SVM), and clustering. Additional machine learning topics include k-Nearest Neighbor (k-NN), boosting, Random Forests, and Linear Discriminant Analysis (LDA). The fundamental deep learning topics of backpropagation, Convolutional Neural Networks (CNN), Multilayer Perceptrons (MLP), and Recurrent Neural Networks (RNN) are covered in depth. A broad range of advanced deep learning architectures are also presented, including Long Short-Term Memory (LSTM), Generative Adversarial Networks (GAN), Extreme Learning Machines (ELM), Residual Networks (ResNet), Deep Belief Networks (DBN), Bidirectional Encoder Representations from Transformers (BERT), and Word2Vec.
Introduction to development engineering
Introduces the emerging field of development engineering and its constituent theories, methods, and applications. It is both an instructional text for students and a resource for researchers and practitioners involved in the design and scaling of technologies for low-resource communities. The scope is broad, ranging from the development of mobile applications for low-literacy users to hardware and software solutions for providing electricity and water in remote environments. It is also highly interdisciplinary, drawing on methods and theories from the social sciences as well as engineering and the natural sciences.
Introduction to blender 3.0 : Learn organic and architectural modeling, lighting, materials, painting, rendering, and compositing with blender
Explains modeling, materials, lighting, painting, and more with Blender and other external tools. You will configure a 3D architectural environment and set up the workflow of an art and design project within Blender. You will use Blender's main tools—mesh modeling and sculpting—to create virtual objects and environments. And, you will explore building materials and light scenes, followed by drawing and virtual painting. Chapters cover rendering scenes and transforming them into 2D images or videos. You will learn to use Blender 3.0 for video editing as a compositor and video sequence editor (VSE or sequencer) with a wide range of effects available through the nodal system. You Will Learn : Create objects and architectural buildings with different techniques of 3D modeling / Master creating an environment for your objects and how to light them / Determine how to create node materials and assign them to your Blender objects / Pick up UV unwrapping and texture painting / Get closer to painting and drawing in Blender / Render your scenes and create stunning videos
Introduction to Algorithms
Combines rigor and comprehensiveness. The book covers a broad range of algorithms in depth, yet makes their design and analysis accessible to all levels of readers. Each chapter is relatively self-contained and can be used as a unit of study. The algorithms are described in English and in a pseudocode designed to be readable by anyone who has done a little programming. The explanations have been kept elementary without sacrificing depth of coverage or mathematical rigor. The first edition became a widely used text in universities worldwide as well as the standard reference for professionals. The second edition featured new chapters on the role of algorithms, probabilistic analysis and randomized algorithms, and linear programming.
Introduction to Algorithms
Combines rigor and comprehensiveness. It covers a broad range of algorithms in depth, yet makes their design and analysis accessible to all levels of readers, with self-contained chapters and algorithms in pseudocode. Since the publication of the first edition, Introduction to Algorithms has become the leading algorithms text in universities worldwide as well as the standard reference for professionals. This fourth edition has been updated throughout.
Internet of things, artificial intelligence and blockchain technology
Explores the concepts and techniques of IoT, AI, and blockchain. Also discussed is the possibility of applying blockchain for providing security in various domains. The specific highlight of this book is focused on the application of integrated technologies in enhancing data models, better insights and discovery, intelligent predictions, smarter finance, smart retail, global verification, transparent governance, and innovative audit systems. Explains how blockchain can significantly increase data privacy and security while boosting accuracy and integrity in IoT generated data and AI processed information; Gives insight into blockchain’s numerous potential applications, starting with recent technologies that give users control over sharing and privacy; Shows readers how to employ blockchain in IoT and AI, helping them to understand what they can and cannot do with blockchain.
International Symposium on Fundamentals of Software Engineering ; International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings
The present volume contains the post-proceedings of the second IPM Inter- tional Symposium on Fundamentals of Software Engineering (FSEN), Tehran, Iran, April 17–19, 2007. Thissymposium brought together researchers and practitioners working on di?erent aspects of formal methods in software engineering.
Interactive drink machine company - (IDM company)
This project is a continuation of our previous project for a hot drink machine by adding the capability for electronic payment and developing the company's management system and making the hot drink machine linkable with the company's server via the Internet and more interactive with the customer through the development of this project according to several aspects. On the software level: An integrated system that allows recording customer requests and executed operations, in addition to information about users, including their personal information, current balance, and executed requests. On the level of employees, their personal information, their work tasks and the operations carried out by them (Receipt and delivery of materials and servicing of machines).
Interactive Curve Modeling : With Applications to Computer Graphics, Vision and Image Processing
Interactive curve modeling techniques and their applications are extremely useful in a number of academic and industrial settings, and specifically play a significant role in multidisciplinary problem solving, such as in font design, designing objects, CAD/CAM, medical operations, scientific data visualization, virtual reality, character recognition, and object recognition, etc. Various problems such as iris, fingerprint, and signature recognition, can also be intelligently solved and automated using curve techniques.
Intelligent Virtual Agents ; Vol.4133 ; 6th International Conference, IVA 2006, Marina Del Rey, CA; USA, August 21-23, 2006, Proceedings
This volume contains the proceedings of the 6th International Conference on Intelligent Virtual Agents, IVA 2006, held in Marina del Rey, California, USA from August 21–23.For the second year in a row,IVA also hosted the Gathering of Animated Lifelike Agents (GALA 2006), an annual festival to showcase the latest animated lifelike agents created by university students and academic or industrial research groups. IVA 2006 received 73 submissions from Europe, the AmericasandAsia.Thepaperspublishedherearethe24fullpapersand11short papers presented at the conference, as well as one-page descriptions of posters and the featured invited talks by Brian Parkinson of Oxford University, Rod Humble of Electronic Arts, and Michael Mateas of the University of California, Santa Cruz and Andrew Stern of Procedural Arts.
Intelligent Virtual Agents ; Vol.3661 : 5th International Working Conference, IVA 2005, Kos, Greece, September 12-14, 2005, Proceedings
The origin of the Intelligent Virtual Agents conference dates from a successful workshop on Intelligent Virtual Environments held in Brighton at the 13th European Conference on Artificial Intelligence (ECAI'98). This workshop was followed by a second one held in Salford in Manchester in 1999. Subsequent events took place in Madrid, Spain in 2001 and Irsee, Germany in 2003 and attracted participants from both sides of the Atlantic as well as Asia. th This volume contains the proceedings of the 5 International Working Conference on Intelligent Virtual Agents, IVA 2005, held on Kos Island, Greece, September 12–14, 2005, which highlighted once again the importance and vigor of the research field. A half-day workshop under the title “Socially Competent IVA’s: We are not alone in this (virtual) world!” also took place as part of this event. IVA 2005 received 69 submissions from Europe, North and South America, Africa and Asia. The papers published here are the 26 full papers and 14 short papers presented at the conference, as well as one-page descriptions of the 15 posters and the descriptions of the featured invited talks by Prof. Justine Cassell, of Northwestern University and Prof. Kerstin Dautenhahn, of the University of Hertfordshire. We would like to thank a number of people that have contributed to the success of this conference. First of all, we thank the authors for their high-quality work and their willingness to share their ideas.
Intelligent Techniques for Web Personalization ; IJCAI 2003 Workshop, ITWP 2003, Acapulco, Mexico, August 11, 2003, Revised Selected Papers
Web personalizationcan be de?ned as any set of actions that can tailor the Web experience to a particular user or set of users. The experience can be something as casualas browsinga Web site oras (economically)signi?cantas tradingstock or purchasing a car. The actions can range from simply making the presentation more pleasing to anticipating the needs of a user and providing customized and relevant information. To achieve e?ective personalization, organizations must rely on all available data, including the usage and click-stream data (re?e- ing user behavior), the site content, the site structure, domain knowledge, user demographics and pro?les. In addition, e?cient and intelligent techniques are needed to mine these data for actionable knowledge, and to e?ectively use the discovered ...
Intelligent Network Management and Control : Intelligent Security, Multi-criteria Optimization, Cloud Computing, Internet of Vehicles, Intelligent Radio
The management and control of networks can no longer be envisaged without the introduction of artificial intelligence at all stages. Deals with topical issues related mainly to intelligent security of computer networks, deployment of security services in SDN (software-defined networking), optimization of networks using artificial intelligence techniques and multi-criteria optimization methods for selecting networks in a heterogeneous environment. Focuses on selecting cloud computing services, intelligent unloading of calculations in the context of mobile cloud computing, intelligent resource management in a smart grid-cloud system for better energy efficiency, new architectures for the Internet of Vehicles (IoV), the application of artificial intelligence in cognitive radio networks and intelligent radio input to meet the on-road communication needs of autonomous vehicles.
Intelligent interactive multimedia systems for e-Healthcare applications
includes high-quality research on various aspects of intelligent interactive multimedia technologies in healthcare services. The topics covered in the book focus on state-of-the-art approaches, methodologies, and systems in the design, development, deployment, and innovative use of multimedia systems, tools, and technologies in healthcare. The volume provides insights into smart healthcare service demands. It presents all information about multimedia uses in e-healthcare applications. The book also includes case studies and self-assessment problems for readers and future researchers. This book proves to be a valuable resource to know how AI can be an alternative tool for automated and intelligent analytics for e-healthcare applications.
Intelligent decision-making support systems : Foundations, applications and challenges
The book brings together up-to-date information on the theory and application of i-DMSS. Readers will learn about the foundations, architectures, methods and strategies for successfully designing, developing, implementing, and evaluating intelligent Decision-making Support Systems. Intelligent Decision-making Support Systems: Foundations, Applications and Challenges will be of value to researchers in AI and management studies interested in the latest thinking in decision-making, as well practising managers and consultants who are involved with putting advanced information technologies into practice in organisations. The Decision Engineering series focuses on the foundations and applications of tools and techniques related to decision engineering, and identifies their relevance in ‘engineering’ decisions. The series provides an aid to practising professionals and applied researchers in the development of tools for informed operational and business decision making, within industry, by utilising distributed organisational knowledge.
Intelligent data engineering and automated Learning - IDEAL 2006 ; 7th International Conference, Burgos, Spain, September 20-23, 2006, Proceedings
This volume of Lecture Notes in Computer Science contains accepted - pers presented at IDEAL 2006 held at the University of Burgos, Spain, during, September 20–23, 2006. The conference received 557 submissions from over 40 countriesaroundtheworld,whichweresubsequentlyrefereedbytheProgramme Committeeandmanyadditionalreviewers.Afterrigorousreview,170top-quality papers were accepted and included in the proceedings. The acceptance rate was only 30%, which ensured an extremely high-quality standard of the conference. The buoyant number of submitted papers is a clear proof of the vitality and increased importance of the ?elds related to IDEAL, and is also an indication of the rising popularity of the IDEAL conferences.
Intelligent connectivity : AI, IoT, and 5G
Explores the economics and technology of AI, IOT, and 5G integration. Delivers a comprehensive technological and economic analysis of intelligent connectivity and the integration of artificial intelligence, Internet of Things (IoT), and 5G. It covers a broad range of topics, including Machine-to-Machine (M2M) architectures, edge computing, cybersecurity, privacy, risk management, IoT architectures, and more. Will also get access to: A thorough introduction to technology adoption and emerging trends in technology, including business trends and disruptive new applications / Comprehensive explorations of telecommunications transformation and intelligent connectivity, including learning algorithms, machine learning, and deep learning / Practical discussions of the Internet of Things, including its potential for disruption and future trends for technological development / In-depth examinations of 5G wireless technology, including discussions of the first five generations of wireless tech
Intelligent Algorithms for Packing and Cutting Problem
Introduces intelligent solving algorithms for classical packing and cutting problem and their variants / Investigates novel methods, e.g. reinforcement learning algorithms, for rectangular and irregular packing problems / Presents practical engineering application cases in combination of theory and practice / investigates in detail the two-dimensional packing and cutting problems in the field of operations research and management science. It introduces the mathematical models and intelligent solving algorithms for these problems, as well as their engineering applications. Most intelligent methods reported in this book have already been applied in reality, which can provide reference for the engineers. The presented novel methods for the two-dimensional packing problem provide a new way to solve the problem for researchers interested in operations research or computer science. This book also introduces three new variants of packing problems and their solving methods, which offer a different research direction.
