الصفحة 1
الصفحة 1
Obstructions in Security-Aware Business Processes : Analysis, Detection, and Handling
This book explores the dilemma-like stalemate between security and regulatory compliance in business processes on the one hand and business continuity and governance on the other. The growing number of regulations, e.g., on information security, data protection, or privacy, implemented in increasingly digitized businesses can have an obstructive effect on the automated execution of business processes. Such security-related obstructions can particularly occur when an access control-based implementation of regulations blocks the execution of business processes. By handling obstructions, security in business processes is supposed to be improved. For this, the book presents a framework that allows the comprehensive analysis, detection, and handling of obstructions in a security-sensitive way. Thereby, methods based on common organizational security policies, process models, and logs are proposed. The Petri net-based modeling and related semantic and language-based research, as well as the analysis of event data and machine learning methods finally lead to the development of algorithms and experiments that can detect and resolve obstructions and are reproducible with the provided software.
Modern IoT onboarding platforms for advanced applications: a practitioner’s guide to KIS.ME
There is no doubt that digitalization solutions from Industry 4.0 and the Internet of Things (IoT) can be perceived as excellent candidate strategies capable of handling the above-stated issues concerning measurements and transparency. However, IoT tools themselves can provide appropriate data only, while their efficient integration and application are possible using a dedicated onboarding platform only. To settle this issue, the book undertakes the problem of modern IoT onboarding platforms for the advanced applications pertaining to manufacturing and logistics. In particular, instead of deliberating about a possible hypothetic platforms, an existing and efficient one is employed, which is called KIS.ME. KIS.ME (Keep It Simple. Manage Everything) is a complete IoT solution for a simple integration in manufacturing and logistics.
Modern Econometric Analysis : Surveys on Recent Developments
The importance of empirical economics and econometric methods has greatly in creased during the last 20 years due to the availability of better data and the improved performance of computers. In an information-driven society such as ours we need quickly to obtain complete and convincing statistical results. This is only possible if the appropriate econometric methods are applied. Traditional econometric analysis concentrates on classical methods which are far from suitable for handling actual economic problems.
Modeling Data Irregularities and Structural Complexities in Data Envelopment Analysis
DEA is computational at its core and this book by Zhu and Cook deals with the micro aspects of handling and modeling data issues in modeling DEA problems. DEA's use has grown with its capability of dealing with complex "service industry" and the "public service domain" types of problems that require modeling both qualitative and quantitative data. It is a handbook treatment dealing with specific data problems including the following: (1) imprecise data, (2) inaccurate data, (3) missing data, (4) qualitative data, (5) outliers, (6) undesirable outputs, (7) quality data, (8) statistical analysis, (9) software and other data aspects of modeling complex DEA problems. In addition, the book demonstrates how to visualize DEA results when the data is more than 3-dimensional, and how to identify efficiency units quickly and accurately.
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.
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 Agents and Multi-Agent Systems ; 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers
A Combined System for Update Logic and Belief Revision.- Using Messaging Structure to Evolve Agents Roles in Electronic Markets.- Specifying DIMA Multi-agents Models Using Maude.- picoPlangent: An Intelligent Mobile Agent System for Ubiquitous Computing.- An Approach to Safe Continuous Planning.- Modeling e-Procurement as Co-adaptive Matchmaking with Mutual Relevance Feedback.- Price Determination and Profit Sharing for Bidding Groups in Agent-Mediated Auctions.- Agent Based Risk Management Methods for Speculative Actions.- Handling Emergent Resource Use Oscillations.- The Role of Agents in Intelligent Mobile Services.
Institution-independent Model Theory
A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise mathematical formulation for the intuitive concept of a logical system. Especially in computer science, where the development of a huge number of specification logics is observable, institution-independent model theory simplifies and sometimes even enables a concise model-theoretic analysis of the system. Besides incorporating important methods and concepts from conventional model theory, the proposed top-down methodology allows for a structurally clean understanding of model-theoretic phenomena. As a consequence, results from conventional concrete model theory can be understood more easily, and sometimes even new results are obtained.
Information systems management
Intended for the technical reader who works with large volumes of data. Written by experts in information systems management, the book includes chapters on software development, cloud implementation, networking, and handling large datasets, among other topics. Blockchain and artificial intelligence (AI) are the foundations of automated systems and the authors provide their viewpoints on information management by using these fundamental domains of information technology.
Industrial competitiveness : Cost reduction
The objectives of industrial management are: - Implementation of the policy adopted by the owners or the board of directors - Optimum return on investment - Efficient utilization of Men, Machine and Money. In other words, industry must make profit. Manufacturing represents only one aspect of the activities of industrial management. Present-day manufacturing methodology does not consider making profit as their primary objective. The manufacturing process requires the knowledge of many disciplines, such as design, process planning, costing, marketing, sales, customer relations, costing, purchasing, bookkeeping, inventory control, material handling, shipping, and so on.
Inconsistency tolerance
Inconsistency arises in many areas in advanced computing. Often inconsistency is unwanted, for example in the specification for a plan or in sensor fusion in robotics; however, sometimes inconsistency is useful. Whether inconsistency is unwanted or useful, there is a need to develop tolerance to inconsistency in application technologies such as databases, knowledge bases, and software systems. To address this situation, inconsistency tolerance is being built on foundational technologies for identifying and analyzing inconsistency in information, for representing and reasoning with inconsistent information, for resolving inconsistent information, and for merging inconsistent information. The idea for this book arose out of a Dagstuhl Seminar on the topic held in summer 2003. The nine chapters in this first book devoted to the subject of inconsistency tolerance were carefully invited and anonymously reviewed. The book provides an exciting introduction to this new field.
Hybrid Evolutionary Algorithms
Hybridization of evolutionary algorithms is getting popular due to their capabilities in handling several real world problems involving complexity, noisy environment, imprecision, uncertainty and vagueness. This edited volume is targeted to present the latest state-of-the-art methodologies in ’Hybrid Evolutionary Algorithms’. This book deals with the theoretical and methodological aspects, as well as various applications to many real world problems from science, technology, business or commerce. This volume comprises of 14 chapters including an introductory chapter giving the fundamental definitions and some important research challenges. Chapters were selected on the basis of fundamental ideas/concepts rather than the thoroughness of techniques deployed.
Human-computer interaction – INTERACT 2005 ; IFIP TC 13 International Conference, Rome, Italy, September 12-16, 2005, Proceedings
We will be, sooner or later, not only handling personal computers but also mul- purpose cellular phones, complex personal digital assistants, devices that will be context-aware, and even wearable computers stitched to our clothes…we would like these personal systems to become transparent to the tasks they will be performing. In fact the best interface is an invisible one, one giving the user natural and fast access to the application he (or she) intends to be executed. The working group that organized this conference (the last of a long row!) tried to combine a powerful scientific program (with drastic refereeing) with an entertaining cultural program, so as to make your stay in Rome the most pleasant one all round: I do hope that this expectation becomes true. July 2005 Stefano Levialdi, IEEE Life Fellow INTERACT 2005 General Chairman [1] Peter J. Denning, ACM Communications, April 2005, vol. 48, N° 4, pp. 27-31. Editors’ Preface INTERACT is one of the most important conferences in the area of Human-Computer Interaction at the world-wide level. We believe that this edition, which for the first time takes place in a Southern European country, will strengthen this role, and that Rome, with its history and beautiful setting provides a very congenial atmosphere for this conference. The theme of INTERACT 2005 is Communicating Naturally with Computers.
Human motion : Understanding, modeling, capture and animation ; 2nd Workshop, HumanMotion 2007, Rio de Janeiro, Brazil, October 20, 2007, Proceedings
This LNCS volume contains the papers presented at the second Workshop on Human Motion Understanding, Modeling, Capture and Animation. The accepted papers re?ect the state of the art in the ?eld and cover various topicsrelatedto humanmotiontrackingandanalysis.Thepapersinthisvolume have been classi?ed into three categories based on the topics they cover: human motion capture and pose estimation, body and limb tracking and segmentation, and activity recognition.
Headway in Spatial Data Handling ; 13th International Symposium on Spatial Data Handling
For sustainable development, climate change or more simply resource sharing and economic development, this information helps to - cilitate human activities and to foresee the impact of these activities in space as well as, inversely, the impact of space on our lives. The Inter- tional Symposium on Spatial Data Handing (SDH) is a primary research forum where questions related to spatial and temporal modelling and analysis, data integration, visual representation or semantics are raised.
Handbook to the Construction and Use of Insect Collection and Rearing Devices : A guide for teachers with suggested classroom applications
The purpose of this book is to explain how to build and use insect collecting and rearing devices and through explanations of the various techniques stimulate educators to explore the study of insects in their classrooms. Insects are often given little consideration with regard to humane handling practices. Please remember that insects are living creatures and, as such, are entitled to the same treatment as other living creatures.
Handbook of local anesthesia
Covers all the latest advances in science, instrumentation, and pain control techniques. From basic concepts to specific injection techniques, from dosage charts to the proper care and handling of equipment, this how-to guide provides in-depth, full-color coverage of key anesthesia topics, including specific hazards and errors in technique that may result in complications. Recognized as THE local anesthesia textbook in dentistry for over 30 years, the seventh edition has been thoroughly updated with the latest in safe anesthesia practices in dentistry.
Handbook of Chlor-Alkali Technology ; Vol. I : Fundamentals ; Vol. II : Brine Treatment and Cell Operation ; Vol. III : Facility Design and Product Handling ; Vol. IV : Operations ; Vol. V : Corrosion, Environmental Issues, and Future Developments
The book explores the basic electrode processes and the fundamentals of current distribution in electrolyzers as well as the characteristics of the leading cell designs while the appendix offers selected physical property data. The authors, each with extensive experience in chlor-alkali technology but with diverse backgrounds and fields of specialization, achieve both breadth and depth. Anyone with interest in the large field of chlor-alkali manufacture and distribution, and indeed in industrial electrochemistry in general, will find something useful here. The Handbook offers not only broad coverage, but also in depth treatment of each topic. It will be an asset to managers, process engineers and operating personnel working in the chlor-alkali industry. This book provides valuable information to engineers and scientists involved in development of chlor-alkali technology and in the design of new plant or upgrading of existing plants. It will be especially valuable to universities as it begins with fundamentals and progresses methodically throu gh each step involved in chlor-alkali production, including environmental issues.
Grippers in Motion : The Fascination of Automated Handling Tasks
This book shows you how to ensure process reliability on the basis of combining the right components with advanced application know-how. By explaining basic preconditions of the gripping process and highlighting the milestones of automation history, we guide you all the way through to the center of the handling process – the workpiece. Its ambient conditions and setup are clearly defined as well as the process of setting grippers in motion. Starting with simple linear movements up to multi-axis kinematics, you are provided with the details for practical solutions.
Geostatistics for environmental applications ; Proceedings of the Fifth European Conference on geostatistics for environmental applications
Once applied only to problems of mining-reserves assessment or petroleum-reservoir characterization, geostatistics is now being used in an increasingly large number of disciplines in environmental sciences. On the one hand, it enables the analysis and handling, in a rigorous probabilistic framework of the issues of spatial and temporal interpolation of continuous or categorical environmental variables. On the other hand, the methodology is also used to design and optimize sampling campaigns. "Geostatistics for Environmental Applications" contains forty selected contributions covering the latest progress in a broad spectrum of fields including air quality, climatology, ecology, groundwater hydrology, surface hydrology, oceanography, soil contamination, epidemiology and health, natural hazards, and remote sensing.
