- Table View
- List View
Big Data Integration Theory: Theory and Methods of Database Mappings, Programming Languages, and Semantics (Texts in Computer Science)
by Zoran MajkićThis book presents a novel approach to database concepts, describing a categorical logic for database schema mapping based on views, within a framework for database integration/exchange and peer-to-peer. Database mappings, database programming languages, and denotational and operational semantics are discussed in depth. An analysis method is also developed that combines techniques from second order logic, data modeling, co-algebras and functorial categorial semantics. Features: provides an introduction to logics, co-algebras, databases, schema mappings and category theory; describes the core concepts of big data integration theory, with examples; examines the properties of the DB category; defines the categorial RDB machine; presents full operational semantics for database mappings; discusses matching and merging operators for databases, universal algebra considerations and algebraic lattices of the databases; explores the relationship of the database weak monoidal topos w. r. t. intuitionistic logic.
Alfresco Share
by Pallika Majmudar Amita BhandariWritten in an easy-to-read and encouraged-to-try style, this book will take you from the basics of using Share to deploying Alfresco Share through a case-study. The necessary screenshots and thorough explanations are provided. If you are a business user or content manager looking to implement a collaboration strategy for your enterprise, then this book is for you. Although no knowledge of Alfresco is presumed, exposure to XML and concepts of webscripts and Document Management will help you to get the most from this book.
Teaching Online: A Guide to Theory, Research, and Practice (Tech.edu: A Hopkins Series on Education and Technology)
by Claire Howell MajorDemystifies online teaching for both enthusiastic and wary educators and helps faculty who teach online do their best work as digital instructors.It is difficult to imagine a college class today that does not include some online component—whether a simple posting of a syllabus to course management software, the use of social media for communication, or a full-blown course offering through a MOOC platform. In Teaching Online, Claire Howell Major describes for college faculty the changes that accompany use of such technologies and offers real-world strategies for surmounting digital teaching challenges.Teaching with these evolving media requires instructors to alter the ways in which they conceive of and do their work, according to Major. They must frequently update their knowledge of learning, teaching, and media, and they need to develop new forms of instruction, revise and reconceptualize classroom materials, and refresh their communication patterns. Faculty teaching online must also reconsider the student experience and determine what changes for students ultimately mean for their own work and for their institutions. Teaching Online presents instructors with a thoughtful synthesis of educational theory, research, and practice as well as a review of strategies for managing the instructional changes involved in teaching online. In addition, this book presents examples of best practices from successful online instructors as well as cutting-edge ideas from leading scholars and educational technologists. Faculty members, researchers, instructional designers, students, administrators, and policy makers who engage with online learning will find this book an invaluable resource.
What To Expect When You're Expecting Robots: The Future of Human-Robot Collaboration
by Laura Major Julie ShahThe next generation of robots will be truly social, but can we make sure that they play well in the sandbox?Most robots are just tools. They do limited sets of tasks subject to constant human control. But a new type of robot is coming. These machines will operate on their own in busy, unpredictable public spaces. They'll ferry deliveries, manage emergency rooms, even grocery shop. Such systems could be truly collaborative, accomplishing tasks we don't do well without our having to stop and direct them. This makes them social entities, so, as robot designers Laura Major and Julie Shah argue, whether they make our lives better or worse is a matter of whether they know how to behave.What to Expect When You're Expecting Robots offers a vision for how robots can survive in the real world and how they will change our relationship to technology. From teaching them manners, to robot-proofing public spaces, to planning for their mistakes, this book answers every question you didn't know you needed to ask about the robots on the way.
The Unilateral Presidency and the News Media
by Mark MajorMedia coverage of presidential actions can not only serve journalistic purposes, but can also act as a check against unilateral decision making. The book seeks to uncover how the news media has worked to curtail overreaching power within the executive branch, demonstrating how the fourth estate keeps presidential overreach at bay.
Observability Engineering
by Charity Majors Liz Fong-Jones George MirandaObservability is critical for building, changing, and understanding the software that powers complex modern systems. Teams that adopt observability are much better equipped to ship code swiftly and confidently, identify outliers and aberrant behaviors, and understand the experience of each and every user. This practical book explains the value of observable systems and shows you how to practice observability-driven development.Authors Charity Majors, Liz Fong-Jones, and George Miranda from Honeycomb explain what constitutes good observability, show you how to improve upon what youâ??re doing today, and provide practical dos and don'ts for migrating from legacy tooling, such as metrics monitoring and log management. Youâ??ll also learn the impact observability has on organizational culture (and vice versa).You'll explore:How the concept of observability applies to managing software systemsThe value of practicing observability when delivering and managing complex cloud native applications and systemsThe impact observability has across the entire software development lifecycleHow and why different functional teams use observability with service-level objectives (SLOs)How to instrument your code to help future engineers understand the code you wrote todayHow to produce quality code for context-aware system debugging and maintenanceHow data-rich analytics can help you debug elusive issues quickly
Software Challenges to Exascale Computing: Second Workshop, SCEC 2018, Delhi, India, December 13-14, 2018, Proceedings (Communications in Computer and Information Science #964)
by Amit Majumdar Ritu AroraThis book constitutes the refereed proceedings of the Second Workshop on Software Challenges to Exascale Computing, SCEC 2018, held in Delhi, India, in December 2018.The 10 papers presented in this volume were carefully reviewed and selected from 24 submissions and focus on scientific applications, performance analysis and optimization, science gateways and high-productivity tools and frameworks.
Runtime Verification
by Rupak Majumdar Ezio BartocciThis book constitutes the refereed proceedings of the 6th International Conference on Runtime Verification, RV 2015, held in Vienna, Austria, in September 2015. The 15 revised full papers presented together with 4 short papers, 2 tool papers, 4 tutorials, 3 invited talks, and 2 software competition papers were carefully reviewed and selected from 45 submissions. The discussion of the conference centers around two main aspects. The first is to understand wether the runtime verification techniques can practically complement the traditional methods proving programs correct before their execution, such as model checking and theorem proving. The second concerns with formal methods and how their application can improve traditional ad-hoc monitoring techniques used in performance monitoring, hardware design emulation and simulation, etc.
Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I (Lecture Notes in Computer Science #10426)
by Rupak Majumdar Viktor KunčakThe two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017. The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions. The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.
Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II (Lecture Notes in Computer Science #10427)
by Rupak Majumdar Viktor KunčakThe two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017. The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions. The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.
Microbial Communication: Mathematical Modeling, Synthetic Biology and the Role of Noise
by Sarangam Majumdar Sisir RoyThis book introduces the concept of bacterial communication systems from a mathematical modeling point of view. It sheds light on the research undertaken in the last three decades, and the mathematical models that have been proposed to understand the underlying mechanism of such systems. These communication systems are related to quorum sensing mechanisms and quorum sensing regulated processes such as biofilm formation, gene expression, bioluminescence, swarming and virulence. The book further describes the phenomenon of noise, and discusses how noise plays a crucial role in gene expression and the quorum sensing circuit operationusing a set of tools like frequency domain analysis, power spectral density, stochastic simulation and the whitening effect. It also explores various aspects of synthetic biology (related to bacterial communication), such as genetic toggle switch, bistable gene regulatory networks, transcriptional repressor systems, pattern formation, synthetic cooperation, predator-prey synthetic systems, dynamical quorum sensing, synchronized quorum of genetic clocks, role of noise in synthetic biology, the Turing test and stochastic Turing test.
Deep Reinforcement Learning in Unity: With Unity ML Toolkit
by Abhilash MajumderGain an in-depth overview of reinforcement learning for autonomous agents in game development with Unity.This book starts with an introduction to state-based reinforcement learning algorithms involving Markov models, Bellman equations, and writing custom C# code with the aim of contrasting value and policy-based functions in reinforcement learning. Then, you will move on to path finding and navigation meshes in Unity, setting up the ML Agents Toolkit (including how to install and set up ML agents from the GitHub repository), and installing fundamental machine learning libraries and frameworks (such as Tensorflow). You will learn about: deep learning and work through an introduction to Tensorflow for writing neural networks (including perceptron, convolution, and LSTM networks), Q learning with Unity ML agents, and porting trained neural network models in Unity through the Python-C# API. You will also explore the OpenAI Gym Environment used throughout the book.Deep Reinforcement Learning in Unity provides a walk-through of the core fundamentals of deep reinforcement learning algorithms, especially variants of the value estimation, advantage, and policy gradient algorithms (including the differences between on and off policy algorithms in reinforcement learning). These core algorithms include actor critic, proximal policy, and deep deterministic policy gradients and its variants. And you will be able to write custom neural networks using the Tensorflow and Keras frameworks. Deep learning in games makes the agents learn how they can perform better and collect their rewards in adverse environments without user interference. The book provides a thorough overview of integrating ML Agents with Unity for deep reinforcement learning.What You Will Learn Understand how deep reinforcement learning works in gamesGrasp the fundamentals of deep reinforcement learning Integrate these fundamentals with the Unity ML Toolkit SDKGain insights into practical neural networks for training Agent Brain in the context of Unity ML AgentsCreate different models and perform hyper-parameter tuningUnderstand the Brain-Academy architecture in Unity ML AgentsUnderstand the Python-C# API interface during real-time training of neural networksGrasp the fundamentals of generic neural networks and their variants using TensorflowCreate simulations and visualize agents playing games in Unity Who This Book Is ForReaders with preliminary programming and game development experience in Unity, and those with experience in Python and a general idea of machine learning
Introduction to Visual Computing: Core Concepts in Computer Vision, Graphics, and Image Processing
by Aditi Majumder M. GopiIntroduction to Visual Computing: Core Concepts in Computer Vision, Graphics, and Image Processing covers the fundamental concepts of visual computing. Whereas past books have treated these concepts within the context of specific fields such as computer graphics, computer vision or image processing, this book offers a unified view of these core concepts, thereby providing a unified treatment of computational and mathematical methods for creating, capturing, analyzing and manipulating visual data (e.g. 2D images, 3D models). Fundamentals covered in the book include convolution, Fourier transform, filters, geometric transformations, epipolar geometry, 3D reconstruction, color and the image synthesis pipeline. The book is organized in four parts. The first part provides an exposure to different kinds of visual data (e.g. 2D images, videos and 3D geometry) and the core mathematical techniques that are required for their processing (e.g. interpolation and linear regression.) The second part of the book on Image Based Visual Computing deals with several fundamental techniques to process 2D images (e.g. convolution, spectral analysis and feature detection) and corresponds to the low level retinal image processing that happens in the eye in the human visual system pathway. The next part of the book on Geometric Visual Computing deals with the fundamental techniques used to combine the geometric information from multiple eyes creating a 3D interpretation of the object and world around us (e.g. transformations, projective and epipolar geometry, and 3D reconstruction). This corresponds to the higher level processing that happens in the brain combining information from both the eyes thereby helping us to navigate through the 3D world around us. The last two parts of the book cover Radiometric Visual Computing and Visual Content Synthesis. These parts focus on the fundamental techniques for processing information arising from the interaction of light with objects around us, as well as the fundamentals of creating virtual computer generated worlds that mimic all the processing presented in the prior sections. The book is written for a 16 week long semester course and can be used for both undergraduate and graduate teaching, as well as a reference for professionals.
Application of Geographical Information Systems and Soft Computation Techniques in Water and Water Based Renewable Energy Problems (Water Resources Development and Management)
by Mrinmoy MajumderThis book highlights the application of Geographical Information System (GIS) and nature based algorithms to solve the problems of water and water based renewable energy resources. The irregularity in availability of resources and inefficiency in utilization of the available resources has reduced the potentiality of water and water based renewable energy resources. In recent years various soft computation methods (SCM) along with GIS were adopted to solve critical problems. The book collects various studies where many SCMs were used along with GIS to provide a solution for optimal utilization of natural resources for satisfying the basic needs of the population as well as fulfilling their burgeoning energy demands. The articles depict innovative application of soft computation techniques to identify the root cause and to mitigate the uncertainty for optimal utilization of the available water resources. The advantage of SCM and GIS were used to maximize the utilization of water resources under cost and time constraints in face of climatic abnormalities and effect of rapid urbanization.
Water and Energy Management in India: Artificial Neural Networks and Multi-Criteria Decision Making Approaches
by Mrinmoy Majumder Ganesh D. KaleThis book provides an innovative, realistic and reliable solution to the common problem of Indian water and energy sector due to the onset of the Impact of Climate Change and Large-Scale Urbanization. Twelve Case Studies and One Review Paper that were included in this book depict the way soft computation techniques, simulation and decision-making framework can optimize the best solution from multiple solutions to the problems of water and energy management which corresponds to a novel symbiotic and synchronous nexus between water and the energy sector. All the studies included in this book are collected from all parts of India. The selected studies utilized the latest technologies like Multi-Criteria Decision Frame Work, Neural Networks and Nature-Based Optimization techniques to achieve diverse objectives from the prediction of climatic parameters to yield from ungauged watershed to performance optimization of Water Treatment Plant, Hydropower as well as futuristic alternative energy systems like Wave to Power Plants.
Vulnerability of Watersheds to Climate Change Assessed by Neural Network and Analytical Hierarchy Process
by Mrinmoy Majumder Uttam RoyThe increase in GHG gases in the atmosphere due to expansions in industrial and vehicular concentration is attributed to warming of the climate world wide. The resultant change in climatic pattern can induce abnormalities in the hydrological cycle. As a result, the regular functionality of river watersheds will also be affected. This Brief highlights a new methodology to rank the watersheds in terms of its vulnerability to change in climate. This Brief introduces a Vulnerability Index which will be directly proportional to the climatic impacts of the watersheds. Analytical Hierarchy Process and Artificial Neural Networks are used in a cascading manner to develop the model for prediction of the vulnerability index.
AI-empowered Knowledge Management (Studies in Big Data #107)
by Soumi Majumder Nilanjan DeyThis book is focused on AI-empowered knowledge management to improve processes, implementation of technology for providing easy access to knowledge and the impact of knowledge management to promote the platform for generation of new knowledge through continuous learning. The book discusses process of knowledge management which includes entirety of the creation, distribution, and maintenance of knowledge to achieve organizational objectives. It also covers knowledge management tools which enable and enhance knowledge creation, codification, and transfer within business firms thereby reducing the burden of work and allowing application of resources and effective usage towards practical tasks. An immense growth of artificial intelligence in business organizations has occurred and AI-empowered knowledge management practice is leading towards growth and development of the organization.
The Vogue of Managing People in Workplace (Innovations in Sustainable Technologies and Computing)
by Soumi Majumder Nilanjan DeyThis book provides a detailed vogue picture of workforce management. Nowadays, the methodology of people management has been more advanced and dynamic; it becomes highly competitive. Keeping in mind the significance of economic and social development of the country, the author has tried to draw attention on innovative and creative practices of workforce retention in business. The book provides an idea on the way of merchandising with people, cultural dynamics with impacted leadership, investment in people for organizational transformation and the future of people management with artificial intelligence.
The Political Economy of Digital Automation: Measuring its Impact on Productivity, Economic Growth, and Consumption (Routledge Studies in the Economics of Innovation)
by Sreenath Majumder Anuradha SenGuptaWith digital automation becoming ubiquitous, the relationship between man and machine is being redefined. This book, through a focus on America, identifies the tension this relationship has produced, and how it has divided America socially, politically, and economically, ultimately breeding two fundamentally incompatible nations within one: the “forgotten America” and “elite America.” This book enables the reader to visualize the changes brought by automation on our producer and buyer identities, and suggests policy changes that global leaders could adopt to deal with the increasing discord. The book is heavily dependent on a few fundamental concepts of both economics and sociology, such as globalization, labor economics, and cultural homogenization. The book is ideally suited to students and academics researching political economics and sociology, with focuses on globalization, unemployment, and the social impacts of technological advances.
Teach Yourself VISUALLY Complete WordPress
by Janet MajureTake your WordPress skills to the next level with these tips, tricks, and tasks Congratulations on getting your blog up and running with WordPress! Now are you ready to take it to the next level? Teach Yourself VISUALLY Complete WordPress takes you beyond the blogging basics with expanded tips, tricks, and techniques with clear, step-by-step instructions accompanied by screen shots. This visual book shows you how to incorporate forums, use RSS, obtain and review analytics, work with tools like Google AdSense, and much more.Shows you how to use mobile tools to edit and update blogs, implement SEO, and incorporate blogs into other services such as Facebook, LinkedIn, and Twitter and vice versaShares insight on best practices for maximizing WordPress.com and WordPress.org, customizing templates, and creating written and visual content Offers advice for working with a variety of other tools and sites to get maximum results for your blog Beef up your blog completely with Teach Yourself VISUALLY Complete WordPress!
Teach Yourself Visually WordPress
by Janet MajureGet your blog up and running with WordPress Are you itching to share your thoughts with the world through blogging but aren't sure how? Teach Yourself VISUALLY WordPress introduces you to one of the most popular, easy-to-use blogging platforms: WordPress. This book's clear directions and visual approach helps you to quickly get started in WordPress and then take full advantage of all its features. Janet Majure, an experienced and popular WordPress user, demonstrates key points with examples from her blogs. Provides visual step-by-step instructions for creating and setting up a WordPress site Explains how to create engaging written and visual content Shares advice on customizing sites through use of plug-ins and themes and custom site editing Details more advanced procedures for self-hosted bloggers, including buying a domain, getting a Web host, and installing WordPress The blogosphere beckons! Teach Yourself VISUALLY WordPress Brimming with clear instructions and exciting ideas for building a successful blog on WordPress.
Writing Compilers and Interpreters
by Ronald MakLong-awaited revision to a unique guide that covers both compilers and interpreters Revised, updated, and now focusing on Java instead of C++, this long-awaited, latest edition of this popular book teaches programmers and software engineering students how to write compilers and interpreters using Java. You?ll write compilers and interpreters as case studies, generating general assembly code for a Java Virtual Machine that takes advantage of the Java Collections Framework to shorten and simplify the code. In addition, coverage includes Java Collections Framework, UML modeling, object-oriented programming with design patterns, working with XML intermediate code, and more.
Java 9 Modularity: Patterns and Practices for Developing Maintainable Applications
by Sander Mak Paul BakkerThe upcoming Java 9 module system will affect existing applications and offer new ways of creating modular and maintainable applications. With this hands-on book, Java developers will learn not only about the joys of modularity, but also about the patterns needed to create truly modular and reliable applications. Authors Sander Mak and Paul Bakker teach you the concepts behind the Java 9 module system, along with the new tools it offers. You’ll also gain learn how to modularize existing code and how to build new Java applications in a modular way.Understand Java 9 module system conceptsMaster the patterns and practices for building truly modular applicationsMigrate existing applications and libraries to Java 9 modulesUse JDK 9 tools for modular development and migration
Reactor Core Monitoring
by Mihály Makai János VéghThis book presents a comprehensive overview of the computerized core monitoring techniques currently employed at pressurized water reactor (PWR) and boiling water reactor (BWR) nuclear power plants. It also offers a brief overview of the corresponding techniques at research and materials testing reactors. The book combines detailed descriptions of the theoretical background and fundamental underlying principles as well as the practical applications of core surveillance. It not only provides numerous industrial examples to illustrate how complex computerized systems are able to support the safe operation of nuclear reactors, but also outlines some new application areas that were made possible only by state-of-the-art computing resources. Thanks to its practical approach, it serves as a valuable and practical reference book for readers interested in the surveillance of nuclear reactors, ranging from undergraduate and postgraduate students to researchers and experts working at research reactors and nuclear power plants, as well as at nuclear regulatory authorities.
Mastering CoreOS
by Sreenivas MakamCreate production CoreOS clusters and master the art of deploying Container-based microservices About This Book * Confidently deploy distributed applications and effectively manage distributed infrastructure using Containers and CoreOS * Build secure, scalable CoreOS clusters to deploy distributed applications using open source technologies and industry best practices * Every concept and technology in this book is illustrated with practical examples that can be used in both development and production environments. Who This Book Is For This book is intended for Cloud application developers and Cloud infrastructure administrators. If you are looking to deploy a CoreOS cluster or you already have a CoreOS cluster that you want to manage better in terms of performance, security, and scaling, then this book is perfect for you. To follow the hands-on stuff, you need to have a Google and an AWS Cloud account and be able to run CoreOS VMs on your machine. A basic understanding of public and private clouds, Containers, Docker, Linux, and CoreOS is required. What You Will Learn * Install CoreOS on a VM, on the Cloud, and bare metal, and find out how to keep your cluster secure and up to date * Configure and troubleshoot key CoreOS services, such as etcd, systemd, and fleet, for distributed application deployment * Study container networking using CoreOS Flannel and other solutions, such as Docker libnetwork, Weave, and Calico * Explore the container filesystem and container volume management using Docker volume, NFS, GlusterFS, and Flocker * Get to know the internals of container technologies such as Docker, Rkt, and Container orchestration using Openstack, Kubernetes and Docker native solutions * Troubleshoot CoreOS cluster and Containers using monitoring and logging tools and master production techniques such as staging, security, and automation In Detail CoreOS makes Google and Amazon-style Cloud infrastructure available for anyone building their own private Cloud. This book covers the CoreOS internals and the technologies used in the deployment of container-based distributed applications. It starts with an overview of CoreOS and distributed application development while sharing knowledge on related technologies. Critical CoreOS services and networking and storage considerations for CoreOS are covered next. In latter half of the book, you will learn about Container runtime systems such as Docker and Rkt and Container Orchestration using Kubernetes. You will also find out about the integration of popular orchestration solutions such as OpenStack, the AWS Container service, and the Google Container Engine with CoreOS and Docker. Lastly, we cover troubleshooting as well as production considerations. Style and approach This is an easy-to-follow, comprehensive guide that covers both basic and advanced concepts. All topics are illustrated with practical examples that can be used in both simulation and production environments.