Computer science Books

Book SynopsisCombinatorial optimization is a multidisciplinary scientific area, lying in the interface of three major scientific domains: mathematics, theoretical computer science and management. The three volumes of the Combinatorial Optimization series aim to cover a wide range of topics in this area. These topics also deal with fundamental notions and approaches as with several classical applications of combinatorial optimization. Concepts of Combinatorial Optimization, is divided into three parts: - On the complexity of combinatorial optimization problems, presenting basics about worst-case and randomized complexity; - Classical solution methods, presenting the two most-known methods for solving hard combinatorial optimization problems, that are Branch-and-Bound and Dynamic Programming; - Elements from mathematical programming, presenting fundamentals from mathematical programming based methods that are in the heart of Operations Research since the origins of this field.Table of ContentsPreface xiii Chapter 1 Airline Crew Pairing Optimization 1 Laurent Alfandari and Anass Nagih Chapter 2 The Task Allocation Problem 23 Moaiz Ben Dhaou and Didier Fayard Chapter 3 A Comparison of Some Valid Inequality Generation Methods for General 0-1 Problems 49 Pierre Bonami and Michel Minoux Chapter 4 Production Planning 73 Nadia Brauner, Gerd Finke and Maurice Queyranne Chapter 5 Operations Research and Goods Transportation 111 Teodor Gabriel Crainic and Frédéric Semet Chapter 6 Optimization Models for Transportation Systems Planning 177 Teodor Gabriel Crainic and Michael Florian Chapter 7 A Model for the Design of a Minimum-cost Telecomminications Network 209 Marc Demange, Cécile Murat, Vangelis Th. Paschos and Sophie Toulouse Chapter 8 Parallel Combinatorial Optimization 225 Van-Dat Cung, Bertrand Le Cun and Catherine Roucairol Chapter 9 Network Design Problems: Fundamental Methods 253 Alain Quilliot Chapter 10 Network Design Problems: Models and Applications 291 Alain Quilliot Chapter 11 Multicriteria Task Allocation to Heterogenous Processors with Capacity and Mutual Exclusion Constraints 327 Bernard Roy and Roman Slowinski General Bibliography 365 List of Authors 401 Index 405 Summary of Other Volumes in the Series 409

Read more less

Book SynopsisThe main objective of the book is to present state-of-the-art research results and experience reports in the area of quality monitoring for customer experience management, addressing topics which are currently important, such as service-aware future Internet architecture for Quality of Experience (QoE) management on multimedia applications. In recent years, multimedia applications and services have experienced a sudden growth. Today, video display is not limited to the traditional areas of movies and television on TV sets, but these applications are accessed in different environments, with different devices and under different conditions. In addition, the continuous emergence of new services, along with increasing competition, is forcing network operators and service providers to focus all their efforts on customer satisfaction, although determining the QoE is not a trivial task. This book addresses the QoE for improving customer perception when using added value services offered by service providers, from evaluation to monitoring and other management processes.Table of ContentsPreface xi Abdelhamid Mellouk Chapter 1 Challenges for Quality of Experience Engineering for Added Value Services 1 Abdelhamid Mellouk and Antonio Cuadra-Sanchez 1.1 Introduction and challenges 1 1.2 Contents 2 1.3 Conclusion 10 Chapter 2 An Ecosystem for Customer Experience Management 11 Antonio Cuadra-Sanchez, Mar Cutanda-Rodriguez, Andreas Aurelius, Kjell Brunnstrom, Jorge E. Lopez De Vergara, Martin Varela, Jukka-Pekka Laulajainen, Anderson Morais, Ana Cavalli, Abdelhamid Mellouk, Brice Augustin and Ismael Perez-Mateos 2.1 Introduction 11 2.2 Managing customer experience 12 2.3 Quality of experience ecosystem 14 2.4 IPNQSIS 23 2.5 NOTTS 25 2.6 Conclusions 28 2.7 Acknowledgments 28 2.8 Bibliography 28 Chapter 3 Measuring MPEG Frame Loss Rate to Evaluate the Quality of Experience in IPTV Service 31 Diego Hernando-Loeda, Jorge De Vergara, Javier Aracil, David Madrigal and Felipe Mata 3.1 Introduction 32 3.2 Related work 33 3.3 Method description 34 3.4 QoE prediction models 36 3.5 Network monitoring tool 43 3.6 Performance assessment 45 3.7 Conclusions and future work 48 3.8 Acknowledgments 49 3.9 Bibliography 49 Chapter 4 Estimating the Effect if Context on the QoE of Audiovisual Services 53 Toni Maki, Martin Varela and Jukka-Pekka Laulajainen 4.1 Introduction 53 4.2 Test content 55 4.3 Subjective tests in laboratory 57 4.4 Subjective tests at exhibition 58 4.5 Results 60 4.6 Conclusions and further work 69 4.7 Bibliography 70 Chapter 5 IPTV Multiservice QoE Management System 73 Antonio Cuadra-Sanchez, Mar Cutanda-Rodriguez, Alfredo Perez-Montero Eugenio Rogles, Jesus Gutierrez and Fernando Jaureguizar 5.1 Introduction 73 5.2 State of the art 75 5.3 Multiservice IPTV probe 80 5.4 QoE management system 85 5.5 Conclusions 90 5.6 Acknowledgments 90 5.7 Bibliography 90 Chapter 6 High Speed Multimedia Flow Classification 93 Rafael Leira Osuna, Pedro Gomez Nieto, Ivan Gonzalez and Jorge E. Lopez De Vergara 6.1 Introduction 93 6.2 The architecture 95 6.3 Validation 110 6.4 Conclusions 114 6.5 Acknowledgments 115 6.6 Bibliography 115 Chapter 7 User Driven Server Selection Algorithm for CDN Architecture 119 Said Hoceini, Hai Anh Tran and Abdelhamid Mellouk 7.1 Introduction 119 7.2 Multi-armed bandit formalization 122 7.3 Server selection schemes 136 7.4 Our proposal for QoE-based server selection method 136 7.5 Experimental results 139 7.6 Acknowledgments 146 7.7 Conclusion 147 7.8 Bibliography 147 Chapter 8 QoE Approaches for Adaptive Transport of Video Streaming Media 151 M. Sajid Mushtaq, Brice Augustin and Abdelhamid Mellouk 8.1 Introduction 151 8.2 Adaptive video transport 153 8.3 Microsoft Smooth Streaming 156 8.4 Apple HTTP live streaming 158 8.5 Adobe HTTP dynamic streaming 159 8.6 MPEG-dynamic adaptive streaming over HTTP 159 8.7 The goals of adaptive video streaming 161 8.8 Quality metrics for video streaming 162 8.9 The role of TCP in adaptive video streaming 163 8.10 Bibliography 168 Chapter 9 QoS and QoE Effects of Packet Losses in Multimedia Video Streaming 171 Rene Serral-Gracia, Eva Marin-Tordera, Xavier Masip-Bruin and Marcelo Yannuzzi 9.1 Introduction to the overall scenario 171 9.2 Related work 173 9.3 Multilayer performance metrics 174 9.4 QoE multilayer metric and quality assessment mechanism 178 9.5 Video streaming use case: peer-to-peer television (P2PTVG) 180 9.6 Conclusions and further actions 189 9.7 Bibliography 189 Chapter 10 A Model for Quality of Experience Estimation Based on Quality of Service Parameter Monitoring for Multimedia Convergent Services (3-Play) 191 Pedro De La Cruz Ramos, Raquel Perez Leal, Francisco Gonzalez Vidal and Luis Bellido Triana 10.1 Introduction 191 10.2 Presentation of the model 193 10.3 Application of the model to convergent (3P) services 196 10.4 Quality evaluation process 199 10.5 Model testing 218 10.6 Conclusions and future work 219 10.7 Acknowledgments 220 10.8 Bibliography 220 Chapter 11 Quality of Experience Estimation in Networks 225 Frederic Guyard, Martin Varela, Lea Skorin-Kapov, Antonio Cuadra-Sanchez and Pedro J. Sevilla-Ramos 11.1 Introduction 225 11.2 QuEEN terminology and concepts 226 11.3 Modeling the QoE, The ARCU model 229 11.4 The QuEEN layered model 232 11.5 Applications 235 11.6 Conclusions 240 11.7 Acknowledgments 241 11.8 Bibliography 241 Chapter 12 QoE-Based Network Selection in Heterogeneous Environments 245 Kandaraj Piamrat, Hyunhee Park, Kamal DEEP Singh and Cesar VIHO 12.1 Introduction 245 12.2 Network selection in homogeneous environments: a use case in WLAN 248 12.3 Related work for network selection in the heterogeneous environment 251 12.4 QoE-based network selection in heterogeneous networks 254 12.5 Conclusions and discussions 262 12.6 Bibliography 263 List of Authors 267 Index 271

Read more less

Book SynopsisThe purpose of this book is to question the relationships involved in decision making and the systems designed to support it: decision support systems (DSS). The focus is on how these systems are engineered; to stop and think about the questions to be asked throughout the engineering process and, in particular, about the impact designers’ choices have on these systems. This therefore involves identifying the elements of the problem of decision support systems engineering: the main objects and dimensions to be considered and the relationships they involve, issues at the levels of the decision-maker, of the organization (and even of society), the general approach to which to subscribe and so on. Table of ContentsPREFACE vii INTRODUCTION xi CHAPTER 1. INFORMATION SYSTEMS AND DIGITAL TECHNOLOGY 1 1.1. The concept of information systems 1 1.2. History of the concept of information systems 5 1.2.1. The centralized processing stage (1950s–1960s) 5 1.2.2. The data decentralization stage (1970s–1990s) 6 1.2.3. The interoperability and standardization stage (1990s) 6 1.2.4. The universality and globalization stage (2000 onward) 7 1.3. What is “digital” technology? 9 1.4. Information systems and digital technology for business 11 1.5. Key points 15 CHAPTER 2. KNOWLEDGE MANAGEMENT 17 2.1. Historical overview 18 2.2. Knowledge Management: two dominant approaches 20 2.2.1. The technological approach 21 2.2.2. The managerial and sociotechnical approach to KM 22 2.3. Specific management principles for KM 23 2.3.1. Definition of Knowledge Management 24 2.3.2. The organizational context 24 2.3.3. The vision 26 2.3.4. Guiding principles 27 2.3.5. Ad hoc infrastructures 28 2.3.6. Generic KM processes 31 2.3.7. Methods and tools for KM 34 2.4. A model for general knowledge management within the enterprise (MGKME) 36 2.4.1. Description of the MGKME 36 2.4.2. State indicators for knowledge management systems 40 2.5. Conclusions 42 2.6. Key points 43 CHAPTER 3. THE ENTERPRISE’S INFORMATION AND KNOWLEDGE SYSTEM (EIKS) 45 3.1. Basic theories 45 3.1.1. Three fundamental postulates 45 3.1.2. Creation of individual and tacit knowledge 47 3.1.3. Commensurability of interpretative frameworks 50 3.1.4. Conditions in which knowledge can be assimilated to an object 50 3.2. The enterprise’s information and knowledge system 52 3.3. A knowledge system is not a knowledge-based system 54 3.4. Evolution of an EIKS 59 3.5. Representative example of an EIKS 59 3.5.1. Presentation of the context 60 3.5.2. EIKS in this context 61 3.6. Key points 63 CONCLUSIONS AND PERSPECTIVES 65 APPENDIX. SEVEN GOLDEN RULES FOR SUCCESSFUL KNOWLEDGE MANAGEMENT 69 BIBLIOGRAPHY 75 INDEX 83

Read more less

Book SynopsisThe exponential digitization of medical data has led to a transformation of the practice of medicine. This change notably raises a new complexity of issues surrounding health IT. The proper use of these communication tools, such as telemedicine, e-health, m-health the big medical data, should improve the quality of monitoring and care of patients for an information system to "human face". Faced with these challenges, the author analyses in an ethical angle the patient-physician relationship, sharing, transmission and storage of medical information, setting pins to an ethic for the digitization of medical information. Drawing on good practice recommendations closely associated with values, this model is developing tools for reflection and present the keys to understanding the decision-making issues that reflect both the technological constraints and the complex nature of human reality in medicine .Table of ContentsINTRODUCTION ix CHAPTER 1. THE EMERGENCE OF MEDICAL INFORMATION IN THE FACE OF PERSONAL AND SOCIETAL ETHICAL CHALLENGES 1 1.1. An information-consuming society 2 1.2. e-Health, m-health, the Quantified Self and Big Data 5 1.3. Medical secrecy in the face of the computerization of healthcare data 18 1.3.1. Regulatory characteristics of medical secrecy 19 1.3.2. Protection of healthcare data 24 1.4. Cultural evolution of mentalities surrounding legitimacy of information 28 1.5. Processing of personal data in law 30 1.5.1. European regulations concerning the processing of medical data 32 1.5.2. American legal framework surrounding personal healthcare data 39 1.5.3. Laws pertaining to personal data in Asia 42 CHAPTER 2. ETHICAL MODELING: FROM THE DESIGN TO THE USE OF AN INFORMATION SYSTEM 45 2.1. Info-ethics: data on practical wisdom 47 2.1.1. Epistemological illumination around the pyramid of knowledge 48 2.1.2. From data to knowledge through an information system 52 2.1.3. Quality and choice of medical information 56 2.2. Identification of method used to develop the ethical analysis model 61 2.3. Development of the ethical analysis space 68 2.4. Presentation of the ethical model 74 2.4.1. Ethical cube of an accepted contingency 75 2.4.2. Ethical model of information system in the doctor–patient relationship 78 2.4.3. Ethical modeling of medical communication 88 2.4.4. Process of creation of practical wisdom via neo-Platonic systemic ethical modeling 95 2.4.5. Ethical inductive algorithmic governance (;;, G, ;;) 108 2.4.6. Toward a selective ranking of medical data 113 CHAPTER 3. USES OF THIS ETHICAL MODEL 119 3.1. Implementing the ethical model 119 3.1.1. Implementing the model on the major aims of an information system 121 3.1.2. Implementation of the model in the general creation of an information system 131 3.2. Presentation of the study’s questionnaires 131 3.3. Necessary environmental changes for healthcare information systems: recommendations and actions 134 3.3.1. From a structural and technological perspective 137 3.3.2. From a strategic and methodological perspective 141 3.3.3. From an organizational and regulatory perspective 146 3.3.4. From a relational and cultural perspective 153 3.4. Creating an ethical charter on the “ideal” computational tool for a healthcare establishment 158 3.4.1. Missions and areas of action 158 3.4.2. Contents 160 CHAPTER 4. ETHICS-ORIENTED PERSONALIZED MEDICINE 165 4.1. The evolution of society toward an ethical ideal based on information 166 4.2. The doctor–patient–IS triangulation 174 4.2.1. Man–machine interface 175 4.2.2. Data compression 178 4.2.3. Flexibility and technical adaptation to the users 180 4.2.4. Shared knowledge engineering 182 4.3. Ethical use of an information system in healthcare 184 4.4. Ethics-oriented personalized medicine 189 4.4.1. Value of management 190 4.4.2. Ethical management 191 4.5. Tool for the establishment and constant improvement of information systems for ethical practice in hospitals 194 4.5.1. Construction of the dashboards 195 4.5.2. Methodology of implementation and use 212 CONCLUSIONS 221APPENDIX 1 225 APPENDIX 2 229 APPENDIX 3 233 APPENDIX 4 235 APPENDIX 5 243 APPENDIX 6 245 BIBLIOGRAPHY 247 INDEX 261

Read more less

Book SynopsisSupply chain management is a key topic for a large variety of strategic decision problems. It is essential in making efficient decisions related to the management of inventory and the delivery of final products to customers. The focus of this book is the understanding of the supply chain taxonomy, the different levels of decision and the impact of one level on another depending on the modeling of the addressed objectives. The authors explore the potential problems that can be addressed within the supply chain, such as the inventory, the transportation and issues of holding, and find applications in numerous fields of study, from cloud computing and networking through to industrial sciences. The reader can find each issue described and its positioning in the supply chain determined. A computer science framework is also developed to show how the use of electronic platforms can aid in the handling of these potential problems.Trade Review"The reader can fi nd each issue described and its positioning in the supply chain determined. A computer science framework is also developed to show how the use of electronic platforms can aid in the handling of these potential problems." (Zentralblatt MATH 2016)Table of ContentsList of Figures ix List of Tables xi Glossary xiii Introduction xv Chapter 1. Preliminaries in Decision-Making 1 1.1. Introduction 1 1.2. Decision-making problems 2 1.3. Optimization modeling of a decision problem 3 1.3.1. Notation 4 1.3.2. Features of an optimization problem 5 1.3.3. A didactic example 6 1.4. Game theory modeling of a decision problem 7 1.4.1. Notation 7 1.4.2. The coalition formation problem 8 1.4.3. The stability concepts 10 1.5. Allocation methods 11 1.5.1. Shapley value allocation 11 1.6. Conclusion 12 Chapter 2. Introduction to Supply Chain Management 13 2.1. Introduction 13 2.2. Main elements of the supply chain 13 2.3. Main activities in the supply chain 18 2.3.1. The ordering problem 18 2.3.2. The warehousing problem 19 2.3.3. The transportation problem 19 2.3.4. The inventory problem 20 2.3.5. Computer science applications in supply chain management 21 2.4. Decision levels in the supply chain 22 2.4.1. Strategic level 23 2.4.2. Tactical level 23 2.4.3. Operational level 23 2.5. Conclusion 23 Chapter 3. The Ordering Problem 25 3.1. Introduction 25 3.2. Terminology 26 3.3. The one supplier–one retailer ordering problem 26 3.3.1. An example of the one–one ordering problem 28 3.3.2. Summary 28 3.4. The one supplier–multiple retailers ordering problem 29 3.4.1. Fixed purchasing price 30 3.4.2. An example of the 1 − n ordering problem 30 3.4.3. Quantity-dependent purchasing price 30 3.5. The multiple suppliers–one retailer ordering problem 31 3.6. The multiple suppliers–multiple retailers ordering problem 32 3.7. Conclusion 36 Chapter 4. The Warehousing Problem 37 4.1. Introduction 37 4.2. Problem description 38 4.2.1. Terminology 39 4.2.2. Inputs/outputs of the WP 40 4.2.3. WP variants 40 4.3. WP with variable cost/without conflicts 42 4.3.1. Mathematical formulation 42 4.3.2. An example 42 4.4. WP with fixed cost/without conflicts 44 4.4.1. Mathematical formulation 44 4.4.2. An example 44 4.5. WP with variable cost/with conflicts 46 4.5.1. Mathematical formulation 47 4.5.2. An example 47 4.6. WP with fixed cost/with conflicts 50 4.6.1. Mathematical formulation 50 4.6.2. An example 50 4.7. A DSS design for the warehousing problem 53 4.8. Example 54 4.9. Answer 55 4.10. Conclusion 56 Chapter 5. Inventory Management 57 5.1. Introduction 57 5.2. Definition of inventory management 58 5.3. Purposes of inventory 59 5.4. Inventory modeling 59 5.4.1. Terminology 60 5.4.2. Economic order quantity model 60 5.4.3. Examples 61 5.5. Conclusion 63 Chapter 6. The Delivery in the Supply Chain 65 6.1. Introduction 65 6.2. The delivery process in the SC 67 6.3. Problem description 68 6.3.1. Terminology 70 6.3.2. Inputs/outputs of the delivery 70 6.3.3. Delivery variants 70 6.4. First Variant: delivery with capacitated trucks 70 6.4.1. CVRP specification 71 6.4.2. Mathematical formulation of the CVRP 71 6.5. Second Variant: delivery with time windows 72 6.5.1. VRPTW specification 72 6.5.2. Mathematical formulation of the VRPTW 73 6.6. A real case study: the case of Tunisia 74 6.7. Alternative resolution approaches for the delivery problem 75 6.7.1. A tabu search approach for solving the delivery problem 75 6.7.2. A genetic algorithm for solving the delivery problem 76 6.8. A DSS design for the delivery problem 78 6.9. Conclusion 79 Bibliography 81 Index 85

Read more less

Book SynopsisThis research attempts to explore and identify eventual relationships between the evolution of ERP systems and information systems integration or disintegration. The aim of this research is to know if the relationships between the ERP systems and the information systems are guided by certain factors and, as a result, to understand, more in-depth, the factors affecting these relationships. More precisely, this analysis aims to study whether assigned values given to these factors could guide the evolution of ERP systems in a manner that promotes IS integration; and if the opposite assigned values to these same factors could guide the evolution of ERP systems in a manner that provokes IS disintegration instead.Table of ContentsForeword ix Introduction xi Chapter 1. Definition of Research Terms 1 Chapter 2. ERP: Contribution and Trends 9 2.1. ERP as an indicator of integration for information systems 9 2.2. Trends for ERP implementation within the framework of the information system 10 2.3. Trends for ERP evolution toward a new generation (2nd G) 13 Chapter 3. The Research Question and Methodology 15 Chapter 4. Literature Review: Factors Affecting the Relationships between the ERP System’s Evolution and IS Integration or Disintegration 21 4.1. Economic crisis and COmpetitiveness (ECCO) 29 4.2. Total dependency on the ERP vendor (TDEV) 32 4.3. Project management ERP (PMER) 34 4.4. INTEroperability of the ERP (INTE) 36 4.5. Evolution strategy of existing systems (ESES) 38 4.5.1. Urbanization 38 4.5.2. Total overhaul 39 4.6. Complexity of ERP (COER) 41 4.7. Evolution strategy of ERP vendors (ESEV) 43 Chapter 5. Correlation Between Research Factors 49 5.1. Correlations between economic crisis and competitiveness (ECCO) and PMER and INTE and COER 50 5.2. Correlations between ECCO and PMER and INTE and ESEV 51 5.3. Correlations between ECCO and PMER and COER and ESEV 51 5.4. Correlations between ECCO and TDEV and PMER 52 5.5. Correlations between ECCO and ESES and COER 52 5.6. Correlations between ECCO and ESES and ESEV 52 5.7. Correlations between PMER and ESES and ESEV 53 5.8. Correlations between INTE and ESES and COER 53 5.9. Correlation between ECCO and TDEV 53 5.10. Correlation between ECCO and PMER 54 5.11. Correlation between ECCO and INTE 56 5.12. Correlation between ECCO and ESES 56 5.13. Correlation between ECCO and COER 58 5.14. Correlation between ECCO and ESEV 59 5.15. Correlation between TDEV and INTE 60 5.16. Correlation between TDEV and ESES 61 5.17. Correlation between PMER and INTE 62 5.18. Correlation between PMER and ESES 62 5.19. Correlation between PMER and COER 63 5.20. Correlation between PMER and ESEV 64 5.21. Correlation between INTE and ESES 64 5.22. Correlation between INTE and COER 66 5.23. Correlation between INTE and ESEV 66 5.24. Correlation between COER and ESEV 67 Chapter 6. Case Studies 71 6.1. Hershey 71 6.1.1. Case outcome and evaluation 74 6.2. FoxMeyer Drugs 75 6.2.1. Case outcome and evaluation 76 6.3. Oracle Corporation’s E-Business Suite 76 6.3.1. Case outcome and evaluation 78 6.4. Summary of case studies 78 Chapter 7. Discussion: Relationships between Evolution of ERP Systems and IS Integration or Disintegration 81 7.1. TDEV and ECCO 81 7.2. TDEV and INTE 82 7.3. PMER and ESES 83 7.4. COER and PMER 83 7.5. INTE and ESES 84 7.6. COER and INTE 84 7.7. ESEV and INTE 85 7.8. COER and ESEV 86 Chapter 8. Interests and Limitations of the Research 91 Conclusion 93 Bibliography 99 Index 119

Read more less

Book SynopsisIn what sort of assemblages, the strategies and digital policies in organization are made? Beyond digital mantras and management slogans/fictions, what is the concrete factory of information management system? What are the parts of the human and no human actors? Is it possible to create a new approach to understand how work change (or not), to explore the potential for a social and cognitive innovation way, considering simultaneously the increase of Data Management and the organizational analytics?Table of ContentsIntroduction ix Chapter 1. Manufacturing the Organization, Manufacturing Scripts 1 1.1. Pragmatic sociology and the pragmatism of scripts 1 1.1.1. A few requirements 1 1.1.2. A few trials 9 1.1.3. Following the scripts in action 12 1.2. Setting the stage 21 1.2.1. Two gray suits at the Belmont bar 21 1.2.2. A parade of participants 24 1.3. Moeva “Beta”: building a theatre of operations 28 1.3.1. The English temptation and the IBM test 28 1.3.2. “We want to think for ourselves!” 30 1.3.3. Writing the management script: its manufactured-manufacturing making 33 1.3.4. What happens in a recruiter’s office? 37 1.4. Extension and celebration 39 1.4.1. Going forward, even blindly 39 1.4.2. Making newcomers into allies 40 1.4.3. The first debates 42 1.4.4. Self-glorification: setting the stage for September 2001 45 1.5. Years of continuous developments and testing 47 1.5.1. The intranet mobility takes over the transformation of the modes of cooperation 47 1.5.2. Third identity and access policies 49 1.5.3. In search of external recognition 50 1.5.4. “Villepin’s 100 days” 51 1.5.5. Conflicts and paths of rationalities 54 1.6. The designation and description of the scripts 58 1.6.1. Scripts put to the test of professional criticism 58 1.6.2. Naming and distinguishing scripts 64 1.7. Models 70 1.7.1. Cycles and dynamics 70 1.7.2. Other dynamics 75 Chapter 2. Performation: Out of Bounds (and Beyond Language) 81 2.1. The question of performativity, at the heart of the production of digital organizations 81 2.1.1. Inheritance and openings 81 2.1.2. On the extension of performation 97 2.1.3. Performation: a discussion on the proposed configurations of M. Callon 101 2.2. Digital organizational assemblages: towards a general narratique 106 2.2.1. Stories: Theorico-orthodox and desirable performations 106 2.2.2. The narratique: self-referentiality and autopoiesis dimensions 115 2.2.3. Narrative and celebratory practices (examples of intranets) 121 2.2.4. Hetero-poietic narratives connected to outside forces 128 2.2.5. “Revolutionary” narratives and innovative reasoning 134 2.2.6. From a “network-centric” narrative to a “data-centric” narrative: the breviary of recent years 140 2.3. The case of Open Data public policies: the processes of performation at work 157 2.3.1. On maintaining the desire for data and barometers 158 2.3.2. Visualizations and format pivots: techno-political writings 166 Chapter 3. Monitoring Assemblages and their Semiopolitics in Action 173 3.1. Interfaces and semiopolitical regimes 173 3.1.1. Machines and interfaces: some pointers 174 3.1.2. Molar/molecular and D/T/R 179 3.1.3. Organizational semiopolitic regimes 184 3.1.4. A digital and organizational spatium 198 3.1.5. Case study: digital discrimination at work 207 3.2. Corporate sociodigital economy 217 3.2.1. Data management and social engineering 217 3.2.2. Views of the network 223 3.2.3. Opacity/transparency 224 3.2.4. Recommendations 226 3.2.5. Graphs 228 3.2.6. Organizational network analysis 230 3.3. Prospects for the analysis of sociodigital assemblages 232 3.3.1. A polemology of networks? 232 3.3.2. Conflicts in networks: employees on the Web 234 3.3.3. Digital methods at work 245 3.3.4. Inhabiting and describing the assemblages: a program in the service of the analyses of the organization and managerial approaches involving digital humanities 262 Bibliography 273 Index 291

Read more less

Book SynopsisAn information system may be regarded as an organized set of resources, both technological and human. Security should take this specificity into consideration in order to ensure an overall security of information systems. The security of information systems is usually tackled in a technological perspective. This book proposes to focus not only on information systems' security in a technological perspective, but also in a human, managerial and organizational perspective.Table of ContentsList of Figures ix List of Scenarios xiii Preface xv Introduction xix Part 1. Information Systems: Technologies and People 1 Chapter 1. Components with Known Purposes: Technologies 3 1.1. Up to the end of the 19th Century: decreasing transmission time 4 1.2. From the end of the 19th Century: decreasing processing time 14 1.3. From the end of the 20th Century: facing massification 21 Chapter 2. Components with Interpretive Aspects: People 25 2.1. Tacit knowing or, how do we know? 26 2.1.1. The existence of tacit knowledge 26 2.1.2. Sense-giving and sense-reading: knowledge is tacit 27 2.2. The interpretative framework, the filter through which we create our knowledge 31 2.2.1. A tool for tacit knowing 31 2.2.2. The different types of interpretative frameworks 34 2.2.3. The commensurability of interpretative frameworks 37 2.3. The concept of incommensurability 38 2.3.1. From partial communication to incommensurability 39 2.3.2. Language – linking words to nature 41 2.3.3. Revolution – changing the meaning of words 44 2.4. Mental models, representations of reality 46 2.4.1. Incomplete representations 47 2.4.2. Cognitive representations 49 2.4.3. Shared mental models 50 2.4.4. Explaining mental models 51 Part 2. The Insider Threat 59 Chapter 3. The Three Categories of Insider Threats 61 Chapter 4. Unintentional 69 4.1. The quality of the stolen information 73 4.2. The case of apparently insignificant information that has hidden value 74 4.3. The case of information that can simply be asked for 78 4.4. The case of the information that will help you 81 Chapter 5. Intentional and Non-Malicious 83 5.1. Conflict between productivity and security 85 5.2. Workarounds, a factor for innovation or risk 88 5.2.1. Workarounds are an innovation 89 5.2.2. Workarounds are a risk 89 5.3. On non-malicious violations 90 5.3.1. Intentional behavior 91 5.3.2. Personal benefit without malicious intent 91 5.3.3. Voluntary breaking of the rules 92 5.3.4. Possible damage or risk to security 92 Chapter 6. Intentional and Malicious 95 6.1. The information is known; why not exploit it? 96 6.2. Organizational environment and cognitive processes of committing the act 99 6.2.1. For the organization, deterrence prevents maliciousness 100 6.2.2. For the employee, moral disengagement justifies maliciousness 103 6.3. Ease of deterrence 105 Conclusion 111 Bibliography 117 Index 127

Read more less

Book SynopsisThe pressure of working in the resource limited health service along with the requirement to maintain and develop a professional knowledge base leaves little time for staff to get seriously involved in related studies. Even students undertaking diploma and degree courses at university find little time to use computer based resources in spite of having them to hand. Just mention the word "computers" to some people and they mentally "switch off". Mental images of machines, "techno speak" and having to learn a whole new way of doing things do not tend to make their use very attractive. This practical book offers a way forward and will help the nurse to: Develop competence in using selected computer programs to find information relevant to professional clinical practice Avoid irrelevant depth of technical matter Make the best use of limited time resources whether it be at work, at home or in university-based study The reader will be introduced to computers at a basic level but with enough information to get started and to troubleshoot simple problems. Then you will be shown how to recognize and use applications (programs) useful to your professional practice. Finally you will be given a brief guide to some selected evidence based practice related web sites to start you off on your search.Table of Contents1. Assessment of The Computer. 2. Setting up a Computer System. 3 The healthy Computer, fit for Purpose and Function. 4. Word Processing. 5. The Internet and Internet Browser. 6. Information Searching Strategies Using The Internet browser. 7. Using Email for Networking. 8. Making Sense of Electronic information.

Read more less

Book SynopsisThis anthology of essays from the inventor of literate programming is a survey of Donald Knuth's papers on computer science. Donald Knuth's influence in computer science ranges from the invention of literate programming to the development of the TeX programming language. One of the foremost figures in the field of mathematical sciences, his papers are widely referenced and stand as milestones of development over a wide range of topics. This collection focuses on Professor Knuth's published science papers that serve as accessible surveys of their subject matter. It includes articles on the history of computing, algorithms, numerical techniques, computational models, typesetting, and more. This book will be appreciated by students and researchers from a wide range of areas within computer science and mathematics.Trade Review'This book should be a necessary asset of any library dealing with Computer Science and related subjects, representing a major piece of culture in Computer Science. Every reader will acquire a sound understanding of the foundation for some key issues in the field ... Knuth is a grand scientific author, whose dissertations on deep and abstract issues are lively and captivating pieces of reading.' David Rozier, Mathematics Today'This book contains everything Knuth has written on computer science for the non-specialist ... It is a lovely read. What - in sum - can one say, of our delightful discipline and of this delightful book? Enjoy.' Adrian Larner, The Computer JournalTable of Contents1. Von Neumann's first computer program; 2. Ancient Babylonian algorithms; 3. George Forsythe and the development of computer science; 4. Computer science and its relation to mathematics; 5. Algorithms; 6. Mathematics and computer science: Coping with finiteness; 7. Algorithms in modern mathematics and computer science; 8. The IBM 650: an appreciation from the field; 9. Theory and practice; 10. Algorithm and program; information and data; 11. Are toy problems useful?; 12. Theory and practice; 13. Algorithmic themes; 14. Typesetting concrete mathematics; 15. Computer programming and computer science; 16. This week's citation classic: artistic programming.

Read more less

Book SynopsisScience fiction is the playground of the imagination. If you are interested in science or fascinated with the future then science fiction is where you explore new ideas and let your dreams and nightmares duke it out on the safety of the page or screen. But what if we could use science fiction to do more than that? What if we could use science fiction based on science fact to not only imagine our future but develop new technologies and products? What if we could use stories, movies and comics as a kind of tool to explore the real world implications and uses of future technologies today? Science Fiction Prototyping is a practical guide to using fiction as a way to imagine our future in a whole new way. Filled with history, real world examples and conversations with experts like best selling science fiction author Cory Doctorow, senior editor at Dark Horse Comics Chris Warner and Hollywood science expert Sidney Perkowitz, Science Fiction Prototyping will give you the tools you need to begin designing the future with science fiction. The future is Brian David Johnson’s business. As a futurist at Intel Corporation, his charter is to develop an actionable vision for computing in 2021. His work is called “future casting”—using ethnographic field studies, technology research, trend data, and even science fiction to create a pragmatic vision of consumers and computing. Johnson has been pioneering development in artificial intelligence, robotics, and reinventing TV. He speaks and writes extensively about future technologies in articles and scientific papers as well as science fiction short stories and novels (Fake Plastic Love and Screen Future: The Future of Entertainment, Computing and the Devices We Love). He has directed two feature films and is an illustrator and commissioned painter. Table of Contents: Preface / Foreword / Epilogue / Dedication / Acknowledgments / 1. The Future Is in Your Hands / 2. Religious Robots and Runaway Were-Tigers: A Brief Overview of the Science and the Fiction that Went Into Two SF Prototypes / 3. How to Build Your Own SF Prototype in Five Steps or Less / 4. I, Robot: From Asimov to Doctorow: Exploring Short Fiction as an SF Prototype and a Conversation With Cory Doctorow / 5. The Men in the Moon: Exploring Movies as an SF Prototype and a Conversation with Sidney Perkowitz / 6. Science in the Gutters: Exploring Comics as an SF Prototype and a Conversation With Chris Warner / 7. Making the Future: Now that You Have Developed Your SF Prototype, What’s Next? / 8. Einstein’s Thought Experiments and Asimov’s Second Dream / Appendix A: The SF Prototypes / Notes / Author BiographyTable of ContentsPreface.- Foreword.- Epilogue.- Dedication.- Acknowledgments.- 1. The Future Is in Your Hands.- 2. Religious Robots and Runaway Were-Tigers: A Brief Overview of the Science and the Fiction that Went Into Two SF Prototypes.- 3. How to Build Your Own SF Prototype in Five Steps or Less.- 4. I, Robot: From Asimov to Doctorow: Exploring Short Fiction as an SF Prototype and a Conversation With Cory Doctorow.- 5. The Men in the Moon: Exploring Movies as an SF Prototype and a Conversation with Sidney Perkowitz.- 6. Science in the Gutters: Exploring Comics as an SF Prototype and a Conversation With Chris Warner.- 7. Making the Future: Now that You Have Developed Your SF Prototype, What’s Next?.- 8. Einstein’s Thought Experiments and Asimov’s Second Dream.- Appendix A: The SF Prototypes.- Notes.- Author Biography.

Read more less

Book SynopsisThis nine-volume set LNCS 14104 – 14112 constitutes the refereed workshop proceedings of the 23rd International Conference on Computational Science and Its Applications, ICCSA 2023, held at Athens, Greece, during July 3–6, 2023. The 350 full papers and 29 short papers and 2 PHD showcase papers included in this volume were carefully reviewed and selected from a total of 876 submissions. These nine-volumes includes the proceedings of the following workshops: Advances in Artificial Intelligence Learning Technologies: Blended Learning, STEM, Computational Thinking and Coding (AAILT 2023); Advanced Processes of Mathematics and Computing Models in Complex Computational Systems (ACMC 2023); Artificial Intelligence supported Medical data examination (AIM 2023); Advanced and Innovative web Apps (AIWA 2023); Assessing Urban Sustainability (ASUS 2023); Advanced Data Science Techniques with applications in Industry and Environmental Sustainability (ATELIERS 2023); Advances in Web Based Learning (AWBL 2023); Blockchain and Distributed Ledgers: Technologies and Applications (BDLTA 2023); Bio and Neuro inspired Computing and Applications (BIONCA 2023); Choices and Actions for Human Scale Cities: Decision Support Systems (CAHSC-DSS 2023); and Computational and Applied Mathematics (CAM 2023).Table of Contents​Computational methods for porous geomaterials (CompPor 2023).- Simulation of two-phase flow in models with micro-porous material.- Numerical dispersion mitigation neural network with the model-based training dataset optimization.- Frequency domain numerical dispersion mitigation network.- Field-split iterative solver for quasi-static Biot equation.- Seismic monitoring of hydrocarbon deposits using a viscoelastic medium model based on deep learning.- Adaptive data-based optimization of the training dataset for the NDM-net.- Numerical evaluating the permeability of rocks based on correlation dependence on geometry.- Modeling of Temperature-Dependent Wavefields in Porous Media.- Optimal time-step for coupled CFD-DEM model in sand production.- genDer Equity/equaLity In transport And mobility (DELIA 2023).- Urban and social policies for the borderless city.- A two-step analysis of the accessibility of the local public transport service by university students residing in Enna.- International Workshop on Defense Technology and Security (DTS 2023).- Anti-tampering process for the protection of weapon systems technology in Korea.- BTIMFL: A Blockchain-based Trust Incentive Mechanism in Federated Learning.- Area-Efficient Accelerator for the Full NTRU-KEM Algorithm.- PrinterLeak: Exfiltration from Air-Gapped Networks by Exploiting Printer Display Panels.- Design of an integrated cyber defense platform for communication network security of intelligent smart units.- Evaluating Inner Areas Potentials (EIAP 2023).- PROJECTS AND FUNDING IN ITALIAN INNER AREAS: LEARNING FROM THE 2014-2020 PROGRAMMING OF THE SNAI NATIONAL STRATEGY.- TThe SAVV+P method: integrating qualitative and quantitative analyses to evaluate the territorial potential.- A stakeholder analysis to support resilient strategies in the Alta Valsesia inner area.- Emerging trends in the territorial and rural vulnerability-vibrancy evaluation. A bibliometric analysis.- sustainablE mobiLity Last mIle lOgisTic (ELLIOT 2023).- A bi-objective routing problem with trucks and drones: minimizing mission time and energy consumption.- Pick-up point location optimisation using a two-level multi-objective approach: the Enna case study.- Freight distribution in urban area: estimating the impact of commercial vehicles on traffic congestion.- The role of city logistics in pursuing the goals of Agenda 2030.- Urban Air Mobility: Multi-objective Mixed Integer Programming Model for solving the Drone Scheduling Problem.- Econometrics and Multidimensional Evaluation of Urban Environment (EMEUE 2023).- Urban slum upgrading: a model for expeditious estimation of the cost of interventions.- Blockchain and the General Data Protection Regulation: Healthcare Data Processing.- A spatial statistical approach for the analysis of urban poverty.- Short-Term Island: Sharing Economy, Real Estate Market and Touristification Interplay in Capri (Italy).- The One-Stop Shop business model for improving building energy efficiency: analysis and applications.- Creative Culture-led Strategies for Sustainable Innovations: The Multidimensional Valorisation Project of the Pioppi Living Museum of the Sea, Italy.- Regenerating the landscape through the co-production of complex values.- An evaluation methodology to support the definition of temporal priorities lists for urban redevelopment projects.- The Strategic Planning for the Promotion of Cultural Tourism in a Wide Area of Calabria: The Armeni Valley.- Assessment of public health performance in relation to hospital energy demand, socio-economic efficiency and quality of services: an Italian case study.- Comparing Environmental Values and CO2 Values in Geographical contexts.- Ecosystem Services in Spatial Planning for resilient urban and rural areas (ESSP 2023).- Living Labs as a method of knowledge value transfer in a natural area.- Refining the use of ecosystem services to increase sustainability and resilience in tropical agriculture.- The analysis of the urban open spaces system for resilient and pleasant historical districts.- Monitoring recent afforestation interventions as relevant issue for urban planning.- Fragmentation tool to develop ecological network from the local to the municipal scale. A Roadmap for green infrastructure planning and design.- Preventing Urban Floods by Optimized Modeling: A Comparative Evaluation of Alternatives in Izmir (Türkiye).- The evolution of Natural Capital Accounting: from origins to System of Environmental-Economic Accounting.- Assessing the relation between land take and landslide hazard. Evidence from Sardinia, Italy.- GeoAI approach for analyzing territorial specialization in Ecosystem Services provisioning.

Read more less

Book SynopsisThis nine-volume set LNCS 14104 – 14112 constitutes the refereed workshop proceedings of the 23rd International Conference on Computational Science and Its Applications, ICCSA 2023, held at Athens, Greece, during July 3–6, 2023.The 350 full papers and 29 short papers and 2 PHD showcase papers included in this volume were carefully reviewed and selected from a total of 876 submissions. These nine-volumes includes the proceedings of the following workshops: Advances in Artificial Intelligence Learning Technologies: Blended Learning, STEM, Computational Thinking and Coding (AAILT 2023); Advanced Processes of Mathematics and Computing Models in Complex Computational Systems (ACMC 2023); Artificial Intelligence supported Medical data examination (AIM 2023); Advanced and Innovative web Apps (AIWA 2023); Assessing Urban Sustainability (ASUS 2023); Advanced Data Science Techniques with applications in Industry and Environmental Sustainability (ATELIERS 2023); Advances in Web Based Learning (AWBL 2023); Blockchain and Distributed Ledgers: Technologies and Applications (BDLTA 2023); Bio and Neuro inspired Computing and Applications (BIONCA 2023); Choices and Actions for Human Scale Cities: Decision Support Systems (CAHSC-DSS 2023); and Computational and Applied Mathematics (CAM 2023).Table of Contents​Integrated methods for the ecosystem-services accounting in urban decision process (Ecourbn 2023).- Research, development and innovation projects for territorial cohesion in inland marginal areas: economic analysis of social and cultural benefits.- The role of Renewable Energy Communities in the sustainable urban development.- The infrastructure sector sustainability: using of the Deterministic Frontier Analysis for performance-accounting measurement.- Unveiling the potential use of Euler Equations in the Utility Additive Analysis for mass appraisal.- Evaluation Aspects in the Strategic Planning of a Reticular DMO for the Promotion of Inner Areas of Calabria.- Integrating ecosystem services value in the economic assessment of urban projects. Proposal of an analytical-operative approach.- Ethical AI applications for a human-centered cyber society (EthicAI 2023).- Ethical Artificial Intelligence in Telerehabilitation of Neurodevelopmental Disorders: A position paper.- Natural Language Processing Techniques for Hate Speech Evaluation for Brazilian Portuguese.- From Black Box to Glass Box: Advancing Transparency in Artificial Intelligence Systems for Ethical and Trustworthy AI.- 13th International Workshop on Future Computing System Technologies and Applications (FiSTA 2023).- Towards a Dynamic Computation Offloading Mechanism with Twin Delayed DDPG in Edge Computing.- Data-flow Visual Programming Environment for Small IoT Devices.- Tweets Sentiment Analysis of Putin's Participation at the G20 Summit in Indonesia.- Droneways: Definition of Unmanned Aircraft Vehicles Airways and Traffic Management for Urban and Interurban Environments - A Survey.- Geomatics for Resource Monitoring and Management (GRMM 2023).- Integration of Copernicus data and services to assess local aridity conditions in the Apulian context: the case of Marina di Ginosa.- Integrated use of geomatic methodologies for monitoring an instability phenomenon.- Crowdsensing close-range photogrammetry for accurately reconstructing a digital twin of a Cultural Heritage building using a Smartphone and a compact camera.- Landsat 9 satellite images potentiality in extracting Land Cover classes in GEE environment using an index-based approach: the case study of Savona city.- Collaborative Planning and Designing for the Future with Geospatial Applications (GeoCollab 2023).- Geodesign Education: Case Studies from the US, Brazil and Italy.- Geomatics in Agriculture and Forestry: new advances and perspectives (GeoForAgr 2023).- Enhanced map composition and diachronic land cover classification of Landsat data in Google Earth Engine.- Intra-network analysis based on the comparison between the graph theory approach and Pathwalker.- MEDALUS model evolutions and prospects Case study Sicily.- Predictive Modelling of Maize Yield Using Sentinel 2 data.- UAV LiDAR survey for forest structure metrics estimation in planning scenario. A case study on a laricio pine forest in the Sila mountains (southern Italy).- Palm Tree Dataset Construction with Plant Height Estimation and Plant Counting Tasks.- Geographical Analysis, Urban Modeling, Spatial Statistics (Geog-An-Mod 2023).- Grid-based generalisation of area polygons for automated application in small-scale statistical maps.- Natural Fracture Network Model using Machine Learning Approach.- Indicators engineering for land use changes analysis. A study on the Mediterranean coastal strip.- Agricultural crops and spatial distribution of migrants: case studies in Campania Region (Southern Italy).- Agricultural crops and spatial distribution of migrants: case studies in Campania Region (Southern Italy).- Mapping political extremism on Twitter in Brazil.- Increasing urban Sustainability designing vertical garden: the experience of Pisticci Municipality (Southern Italy).- The 15-minute city model: assessment of the socio-economic and environmental impacts associated with the location of essential amenities.- Spatial Multi-Criteria Analysis for identifying suitable locations for Green Hydrogen Infrastructure.- Urban regeneration in the age of transitions.- Emerging technology trends in geocomputation methods: a literature review.- Emerging technology trends in geocomputation methods: a literature review.- Transport and Logistics Performance Assessment: Beyond the Conventional Approach.- Agrovoltaic as a possible outcome to the difficult relationship between land use and photovoltaics. A case study from Puglia region.- Implementing a developed strategy for revitalizing industrial areas in crisis. The experience of the Tito industrial area in the Basilicata Region (southern Italy).- Combining tourism revitalization with environmental regeneration through the restoration of Piano del Conte Lake in Lagopesole (Southern Italy).- A Machine Learning Method for the Analysis of Urban Italian Mobility.

Read more less

Book SynopsisThis nine-volume set LNCS 14104 – 14112 constitutes the refereed workshop proceedings of the 23rd International Conference on Computational Science and Its Applications, ICCSA 2023, held at Athens, Greece, during July 3–6, 2023. The 350 full papers and 29 short papers and 2 PHD showcase papers included in this volume were carefully reviewed and selected from a total of 876 submissions. These nine-volumes includes the proceedings of the following workshops: Advances in Artificial Intelligence Learning Technologies: Blended Learning, STEM, Computational Thinking and Coding (AAILT 2023); Advanced Processes of Mathematics and Computing Models in Complex Computational Systems (ACMC 2023); Artificial Intelligence supported Medical data examination (AIM 2023); Advanced and Innovative web Apps (AIWA 2023); Assessing Urban Sustainability (ASUS 2023); Advanced Data Science Techniques with applications in Industry and Environmental Sustainability (ATELIERS 2023); Advances in Web Based Learning (AWBL 2023); Blockchain and Distributed Ledgers: Technologies and Applications (BDLTA 2023); Bio and Neuro inspired Computing and Applications (BIONCA 2023); Choices and Actions for Human Scale Cities: Decision Support Systems (CAHSC-DSS 2023); and Computational and Applied Mathematics (CAM 2023).Table of Contents​MOdels and indicators for assessing and measuring the urban settlement deVElopment in the view of ZERO net land take by 2050 (MOVEto0 2023).- Energy transition and spatial transformation: looking for a suitable trade-off.- Machine learning techniques for the semiautomated recognition of urban and peri-urban configurations.- Modelling Post-Covid cities (MPCC 2023).- Eco-Fashion Luxury Brand: an empirical survey on the attitudes of Millennials and Centennials.- Metropolitan City Lab (Metro_City_Lab 2023).- Minimum environmental criteria and climate issue in the metropolitan urban ecosystem.- A conceptual framework to correlate the electric transition and well-being and equity. The Italy case.- 3rd Workshop on Privacy in the Cloud/Edge/IoT World (PCEIoT 2023).- FPGA-enabled Efficient Framework for High-Performance Intrusion Prevention Systems.- Improving Drone Security in Smart Cities via Lightweight Cryptography.- "SHeMed": An application on Secure computation of Medical cloud data based on Homomorphic encryption.- Evaluating the effectiveness of privacy and security promotion strategies.- A decentralized Smart City using Solid and Self-Sovereign Identity.- Prevention of cyber-attacks and privacy breaches in healthcare sector.- TokenFuse: A Versatile NFT Marketplace.- PORt ciTy interface: land Use, logistic aNd rear pOrt area planning (PORTUNO 2023).- Sustainable maritime passenger transport: a network analysis approach on a national basis.- Sustainable maritime passenger transport: a network analysis approach on a national basis.- Ports in the port: the case of Messina.- The stable Strait crossing system. What developments and opportunities?.- Scientific Computing Infrastructure (SCI 2023).- Polynomial neural layers for numerical modeling of dynamical processes.- Deploying Deep Learning models using serverless computing for Diabetic Retinopathy detection.- The survey of self-driving car challenges in smart city infrastructures.- New Security Challenges of Internet of Things.- K-anonymity Versus PSI3 for Depersonalization and Security Assessment of Large Data Structures.- Continuous Authentication Methods for Zero-Trust Cybersecurity Architecture.- Spatial COgnition in urban and regional Planning Under Risk (SCOPUR23).- Mapping citizens' knowledge and perception. What support for flood risk planning? Some tips from Brindisi case study.- Advancing Urban Science with Multi-Agent Systems: Prospects for Innovation and Sustainability in Spatial Planning and Urban Governance.- Socio-Economic and Environmental Models for Land Use Management (SEMLUM 2023).- The student housing as a catalyst for virtuous processes of "win-win" revitalization of property assets in disuse.- The student housing as a catalyst for virtuous processes of "win-win" revitalization of property assets in disuse.- The real estate risk assessment: an innovative methodology for supporting public and private subjects involved into sustainable urban interventions.- (Con)temporary housing: the AirBnb phenomenon and its impact on the Naples historic center's rental market.- Endogenous vs. Exogenous Leadership in Teamwork: An Socio-Economic Experimental Study.- A GIS referenced methodological approach for the brownfield redevelopment.- A methodological approach for the assessment of parametric costs of sustainable urban roads: an application to the city of Rome (Italy).- The usufruct right as an effective strategy for the enhancement of properties in disuse.- Specifics of smart cities development in Europe (SPEED 2023).- Engagement and inclusion experiences for energy communities. An ongoing case study in Cagliari, Italy.- Citizens participation in the transition of Greek cities to smart cities: Does size matter?.- Impacts of Smart Governance on Urban Development.- Multi-Level Perspective within the regulatory framework of shared mobility: a case studies analysis of Italian Demand Responsive Shared Transport services (DRSTs).- Website as a Tool of Local E-Governance in Czechia: which CMS Is the Most Popular in the Moravian-Silesian Region?.

Read more less

Book SynopsisThis nine-volume set LNCS 14104 – 14112 constitutes the refereed workshop proceedings of the 23rd International Conference on Computational Science and Its Applications, ICCSA 2023, held at Athens, Greece, during July 3–6, 2023. The 350 full papers and 29 short papers and 2 PHD showcase papers included in this volume were carefully reviewed and selected from a total of 876 submissions. These nine-volumes includes the proceedings of the following workshops: Advances in Artificial Intelligence Learning Technologies: Blended Learning, STEM, Computational Thinking and Coding (AAILT 2023); Advanced Processes of Mathematics and Computing Models in Complex Computational Systems (ACMC 2023); Artificial Intelligence supported Medical data examination (AIM 2023); Advanced and Innovative web Apps (AIWA 2023); Assessing Urban Sustainability (ASUS 2023); Advanced Data Science Techniques with applications in Industry and Environmental Sustainability (ATELIERS 2023); Advances in Web Based Learning (AWBL 2023); Blockchain and Distributed Ledgers: Technologies and Applications (BDLTA 2023); Bio and Neuro inspired Computing and Applications (BIONCA 2023); Choices and Actions for Human Scale Cities: Decision Support Systems (CAHSC-DSS 2023); and Computational and Applied Mathematics (CAM 2023).Table of Contents​International Workshop on Information and Knowledge in the Internet of Things (IKIT 2023).- Opportunities and Challenges of Digital Transformation in the Public Sector: the Case of Ecuador.- Real-time Anomaly Detection Business Process For Industrial Equipment Using Internet of Things and Unsupervised Machine Learning Algorithms.- IoT Based Recycling Bins for Santa Elena Province.- Arduino and the construction of a height and heart rate meter.- Effects of the Olympics on Citizens' Interest in Foreign Cultures: Evidence from the Tokyo 2020 Games.- How 5G will transform Smart Cities: A Literature Review.- FPGA-based Hardware/Software Codesign for Video Encoder on IoT Edge Platforms.- Impact of ICT on the agricultural sector's sustainability: evidence based on practices.- Identification of Bus Stations on the Urban Transport Network based on GPS Tracking Data.- Augmented Computing and Smart Cities Sustainability.- IOHIVE: Architecture and Infrastructure of an IOT System for Beehive Monitoring and an Interactive Journaling Wearable Device for Beekeepers.- Emerging Data Driven smart city and its solutions for sustainability: the case of Cuenca-Ecuador.- Adoption of the rules of the General Data Protection Regulation on the Websites of Municipalities.- International Workshop on Collective, Massive and Evolutionary Systems (IWCES 2023).- Preliminary Results of Group Detection Technique based on User to Vector Encoding.- Sentiment Processing of Socio-Political Discourse and Public Speeches.- Multidimensional evolutionary evaluations for transformative approaches (MEETA 2023).- Community archive: a place-based census technique for urban regeneration.- Culture & The City: Towards a context-aware assessment framework.- Smart Circular Cities and Stakeholders Engagement: A Literature Review to Explore the Role of Artificial Intelligence.- Evaluating energy communities: new social and economic model to implement the ecological transition.- Participatory art and Co-creation methodology in the "Viale delle Metamorfosi" project.- Tailored regeneration process for urban brownfield: an evaluative approach for the Castellammare di Stabia, Italy.- Exploring transformative potentials of urban cemeteries through an Evolutionary Evaluation approach: the case study of "Poggioreale" in Naples (Italy).- Landscape-based Fire Resilience: Identifying Interaction between Landscape Dynamics and Fire Regimes in the Mediterranean Region.- GIS based hierarchical fuzzy MCDA framework for detecting critical urban areas in climate scenarios.- Urban regeneration strategies for implementing the cir-cular city model: the key role of the community engage-ment.- Building multi-dimensional models for assessing complex environmental systems (MES 2023).- Civic uses as complex socio-ecological system: a proposal for an analytical framework.- Evaluation of NBS solutions for climate resilience and adaptation in the Sub-Saharan Africa: the case of Ghana's Ashanti region.- Supporting the resources allocation for inner areas by the use of the FITradeoff method.- Renewable energy sources and ecosystem services: Measuring the impacts of ground-mounted photovoltaic panels.- NBS design and implementation in urban systems: dimensions, challenges and issues to construct a comprehensive evaluation framework.- How to address marginalization in small towns: a MCDA approach to comparing different strategies in Campania Region.- Learning urban sustainability by playing.- The Canvas model to support the circular urban regeneration projects.- Supporting the management plan of a World Heritage Site nomination through a multi-step evaluation approach.- Evaluating Nature-Based Solutions impacts: a preliminary framing of assessment methods.- An evaluation model to support strategic urban planning in Italy: the application of Community Impact Evaluation.- Mathematical Methods for Image Processing and Understanding (MMIPU 2023).- Mathematical models and neural networks for the description and the correction of typical distortions of historical manuscripts.- A mathematical model for the analysis of eye fundus images in healthy and diabetic patients.- Mapped Variably Scaled Kernels: Applications to Solar Imaging.- Fruit fly detection and classification in IoT setup.- A Finite differences-based metric for Magnetic Resonance Image inpainting.- Improving color image binary segmentation using Nonnegative Matrix Factorization.- Truncated minimal-norm Gauss-Newton method applied to the inversion of FDEM data.- Blind source separation of color noisy blurred images.- Quadratically transformed luminance chrominance spaces.

Read more less

Book SynopsisThis nine-volume set LNCS 14104 – 14112 constitutes the refereed workshop proceedings of the 23rd International Conference on Computational Science and Its Applications, ICCSA 2023, held at Athens, Greece, during July 3–6, 2023. The 350 full papers and 29 short papers and 2 PHD showcase papers included in this volume were carefully reviewed and selected from a total of 876 submissions. These nine-volumes includes the proceedings of the following workshops: Advances in Artificial Intelligence Learning Technologies: Blended Learning, STEM, Computational Thinking and Coding (AAILT 2023); Advanced Processes of Mathematics and Computing Models in Complex Computational Systems (ACMC 2023); Artificial Intelligence supported Medical data examination (AIM 2023); Advanced and Innovative web Apps (AIWA 2023); Assessing Urban Sustainability (ASUS 2023); Advanced Data Science Techniques with applications in Industry and Environmental Sustainability (ATELIERS 2023); Advances in Web Based Learning (AWBL 2023); Blockchain and Distributed Ledgers: Technologies and Applications (BDLTA 2023); Bio and Neuro inspired Computing and Applications (BIONCA 2023); Choices and Actions for Human Scale Cities: Decision Support Systems (CAHSC-DSS 2023); and Computational and Applied Mathematics (CAM 2023).Table of ContentsSmart Tourism (SmartTourism 2023).- The concept of smart marinas for the implementation of Croatian nautical tourism.- A Decade Bibliometric Analysis of Decision Making in Tourism and Hospitality.- Smart Touristic Ports - The emergence of sustainable marinas from Smart conversion. What future for Sardinia's ports.- Assessing Management Effectiveness: Manglares El Salado Fauna Production Reserve study case.- Smart and slow tourism in protected natural contexts.- Spatial Energy planning, city and Urban Heritage (Spatial_energy_city 2023).- Conservation and regeneration for a sustainable and circular city.- Problem setting on energy risk and climate change adaptation: topics and tools.- The role of spatial circular planning in urban governance. A set of indicators to evaluate performance of urban regeneration.- Theoretical and Computational Chemistry and its Applications (TCCMA 2023).- Protein tetrahedral networks by invariant shape coordinates.- Guided Clustering for Selecting Representatives Samples in Chemical Databases.- Thermodynamic Analysis of Digestate Pyrolysis Coupled with CO2 Sorption.- Coding Cross Sections of an Electron Charge Transfer Process: analysis of different cuts for the entrance and exit potentials.- Transport Infrastructures for Smart Cities (TISC 2023).- Sustainable retrofitting of urban streets for mitigation of traffic vibration by means of anti-vibrating trenches.- Some remarks on automatic braking system related to pedestrian safety.- Potential Application of Marble and Crushed Mussel Shells By-Products to be Used as Aggregates in Plain Concrete Mixes.- Impact Indexes Comparison Study Using Environmental Product Declarations (EPDs) on Innovative Cement Bound Granular Material Pavement Layers.- THE EFFECT OF SUBGRADE CAVITY ON PAVEMENT. A CASE STUDY.- Motorway performance in Europe and Greece.- Execution Time Experiments to Solve Capacitated Vehicle Routing Problem.- Analysis of the impact on the safety and sustainability of vehicular traffic in the landside area of Olbia - Costa Smeralda- airport.- INTERNATIONAL DESIGN PRACTICES FOR ROUNDABOUTS.- Urban Regeneration: Innovative Tools and Evaluation Model (URITEM 2023).- Decision support system for the management of interventions on buildings in the historic centre of Florence: from conservation to regeneration.- Knowledge as a prodromal action for urban regeneration and sustainable development: the case study of Munici-pality of Fondi.- Metabolic Approaches to Regeneration of the Historic Mondeggi Villa Estate.- Environmental and Landscape Constraints and Legislative Provisions in Territorial/Urban Planning and Building Constructions: impacts in urban regeneration.- ​Urban Space Accessibility and Mobilities (USAM 2023).- Accessibility and Polarities of Pedestrian Network in University Campuses. A Space Syntax Application.- A data-driven approach for a city-university mobility plan: the case of the University of Pisa.- Developing a parsimonious classification of traffic analysis zones using a large number of accessibility indicators and transportation level of service.- Research Trends in Tourism Participation: A Bibliometric Analysis using the Scopus Database.- Describing and Understanding the Morphology of the Urban Landscape. The Case Study of Cagliari, Italy.- The Emergence of Robotics in Tourism and Hospitality: A Bibliometric Analysis from 2017 to 2023.- Sustainability crossing the city: developing a sustainable infrastructures system for Genoa urban center.- Virtual reality and augmented Reality and Applications (VRA 2023).- An exploration towards sustainable metaverse systems for e-learning by student designers: A meta-analysis.- Design and Develop of a Smart City Digital Twin with 3D Representation and User Interface for What-If Analysis.- Numerical simulations of 1461 and 1762 San Pio delle Camere (L'Aquila) earthquakes using 3D physic-based model.- Graphical visualization of phase surface of the Sprott type A system immersed in 4D.- Open metaverse with open software.- Aerial and terrestrial LiDAR: comparisons and accuracies.- Workshop on Advanced and Computational Methods for Earth Science applications (WACM4ES 2023).- Exploring the Signature of the Apollo Medicane in the Central Mediterranean Sea through Multi-Source Data Analysis: Satellites, Radar HF, Marine Buoys, and Seismic Data in October 2021.- (Pseudo-)3D Inversion of Geophysical Electromagnetic Induction Data by Using an Arbitrary Prior and Constrained to Ancillary Information.- Transportation infrastructures exposed to seismic risk: evaluation of social costs for resilience design.- LOW-COST GEOMATICS SURVEYS FOR EMERGENCY INTERVENTIONS ON CULTURAL HERITAGE. THE CASE OF HISTORIC WALLS IN CAGLIARI.- AGEO: Advanced Citizens' Observatory for Atlantic Geohazard Risk Management.- Multidisciplinary research at the Castle of Santapau (Licodia Eubea, Italy): new data for the research, protection and enhancement of the archaeological site.

Read more less

Book Synopsis​Volume LNCS 14414 constitutes the refereed proceedings of the 26th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2023, which was held in Vancouver, Canada in October 2023.The DEMI 2023 proceedings contain 11 high-quality papers of 9 to 15 pages pre-selected through a rigorous peer review process (with an average of three reviews per paper). All submissions were peer-reviewed through a double-blind process by at least three members of the scientific review committee, comprising 16 experts in the field of medical imaging. The accepted manuscripts cover various medical image analysis methods and applications.Table of ContentsWeakly Supervised Medical Image Segmentation through Dense Combinations of Dense Pseudo-Labels.- Whole Slide Multiple Instance Learning for Predicting Axillary Lymph Node Metastasis.- A Client-server Deep Federated Learning for Cross-domain Surgical Image Segmentation.- Pre-training with simulated ultrasound images for breast mass segmentation and classification.- Efficient Large Scale Medical Image Dataset Preparation for Machine Learning Applications.- A Self-supervised Approach for Detecting the Edges of Haustral Folds in Colonoscopy Video.- Procedurally Generated Colonoscopy and Laparoscopy Data For Improved Model Training Performance.- Improving Medical Image Classification in Noisy Labels Using Only Self-supervised Pretraining.- A Study on Using Transformer Encoding Techniques to Optimize Data-driven Volume-to-Surface Registration for Minimally Invasive Liver Interventions.- Vision Transformer-based Self-Supervised Learning for Ulcerative Colitis Grading in Colonoscopy.- Task-guided Domain Gap Reduction for Monocular Depth Prediction in Endoscopy.

Read more less

Book Synopsis

Read more less

Book Synopsis

Read more less

Book SynopsisComputer-based technologies for the production and analysis of data have been an integral part of biological research since the 1990s at the latest. This not only applies to genomics and its offshoots but also to less conspicuous subsections such as ecology. But little consideration has been given to how this new technology has changed research practically. How and when do data become questionable? To what extent does necessary infrastructure influence the research process? What status is given to software and algorithms in the production and analysis of data? These questions are discussed by the biologists Philipp Fischer and Hans Hofmann, the philosopher Gabriele Gramelsberger, the historian of science and biology Hans-Jörg Rheinberger, the science theorist Christoph Hoffmann, and the artist Hannes Rickli. The conditions of experimentation in the digital sphere are examined in four chapters—“Data,” “Software,” “Infrastructure,” and “in silico”—in which the different perspectives of the discussion partners complement one another. Rather than confirming any particular point of view, Natures of Data deepens understanding of the contemporary basis of biological research.

Read more less

Book Synopsis

Read more less

Book Synopsis

Read more less

Book Synopsis

Read more less

Book SynopsisThis open access handbook presents a trustable craniofacial superimposition methodological framework. It includes detailed technical and practical overviews, and discussions about the latest tools and open problems, covering the educational, technical, ethical, and security aspects of this forensic identification technique. The book will be of particular interest to researchers and practitioners in forensic anthropology and forensic ID, and also researchers in computational intelligence.It is the final result of a European project, New Methodologies and Protocols of Forensic Identification by Craniofacial Superimposition (MEPROCS). The project collaborators who contributed to this handbook are: S. Damas, O. Ibáñez, M.I. Huete, T. Kahana, C. Wilkinson, E. Ferguson, C. Erolin, C. Cattaneo, P.T. Jayaprakash, R. Jankauskas, F. Cavalli, K. Imaizumi, R. Vicente, D. Navega, E. Cunha, A.H. Ross, E. Veselovskaya, A. Abramov, P. Lestón, F. Molinero, E. Ruiz, F. Navarro, J. Cardoso, F. Viegas, D. Humpire, R. Hardiman, J. Clement, A. Valsecchi, B.R. Campomanes-Alvarez, C. Campomanes-Alvarez, A.S. Çağdır, T. Briers, M. Steyn, M. Viniero, D.N. Vieira, and O. Cordón.Table of ContentsIntroduction to Craniofacial Superimposition.- Importance of Craniofacial Superimposition in Forensic Identification: Historical Perspective.- Relationships Between the Skull and the Face in the Forensic Realm.- Craniofacial Superimposition Techniques.- Craniofacial Superimposition: The State of the Art.- Ethical and Legal Issues in Craniofacial Superimposition.- Experimental Study of Methodologies, Tools and Criteria.- MEPROCS Craniofacial Superimposition Framework.- MEPROCS Framework Validation.- Conclusions.- Appendices.- References.

Read more less

Book SynopsisTheoretische Informatik stellt für viele Studenten ein Angstfach dar, sie gilt als abstrakt, stark formalisiert und dem Alltag entrückt. Das vorliegende Buch macht die Grundideen der Theoretischen Informatik auch für Studenten verständlich, deren erster Schwerpunkt nicht Informatik und schon gar nicht Mathematik ist. Automatentheorie, formale Sprachen und Grammatiken, Komplexität und Berechenbarkeit sind die wesentlichen Inhalte der Theoretischen Informatik, die in diesem Buch behandelt werden. Durch die Vielzahl der Beispiele, auch aus dem täglichen Leben, und den lockeren Schreibstil kann jeder interessierte Studierende die Hürde "Theoretische Informatik" nehmen - und vielleicht sogar etwas von der Faszination spüren, die von ihr ausgeht.Trade Review"...das Buch wendet sich an Studienanfänger ..., [Der Autor] versucht, theoretische Informatik 'formelfrei' zu besprechen und viele Formeln noch einmal umgangssprachlich zu erklären. ... Didaktisch gut aufgebaut. Jeder der drei Teile wird mit einem kurzen Absatz eingeleitet; ein nichtkonsekutives Durcharbeiten des Buches ist somit leicht möglich. ..." (EKZ 28. Oktober 2019)Table of ContentsÜber den Autor 7 Einleitung 17 Was ist theoretische Informatik? 17 Über dieses Buch 18 Wie dieses Buch aufgebaut ist 18 Symbole in diesem Buch 20 Wie Sie dieses Buch lesen sollten 20 Teil I Endliche Automaten 21 Kapitel 1 Deterministische Endliche Automaten (DFAs) 23 Einführung 23 Erste Beispiele 24 Grundlegende Definitionen 27 Symbole und Wörter 27 Die Definition eines DFAs 28 Reguläre Sprachen 30 Die erweiterte Übergangsfunktion 30 Beispiele regulärer Sprachen 31 Das Pumping Lemma 34 Minimalautomaten 38 Der Satz von Myhill und Nerode 45 DFAs mit Ausgabe (Moore- und Mealy-Automaten) 50 Aufgaben zu DFAs 54 Kapitel 2 Nichtdeterministische Endliche Automaten (NFAs) 57 Nichtdeterminismus 57 Definition eines NFA 58 Der Satz von Rabin-Scott 60 NFAs mit 𝜖-Übergängen 64 Abschlusseigenschaften regulärer Sprachen 67 Reguläre Ausdrücke 70 Stochastische Automaten und Markov-Ketten 75 Hidden Markov Models 80 Aufgaben zu NFAs 80 Kapitel 3 Kellerautomaten (PDAs) 83 Nichtdeterministische Kellerautomaten 83 Deterministische Kellerautomaten 89 Die Grenzen von PDAs 91 Aufgaben zu PDAs 92 Kapitel 4 Turing-Maschinen 93 Deterministische Turing-Maschinen 93 Turing-Berechenbarkeit 102 Mehrband-Turing-Maschinen 105 Registermaschinen 109 Nichtdeterministische Turing-Maschinen 110 Linear beschränkte Turing-Maschinen 112 Universelle Turing-Maschine (UTM) 113 Die Grenzen von Turing-Maschinen 115 Aufgaben zu Turing-Maschinen 120 Teil II Formale Sprachen 123 Kapitel 5 Grammatiken 125 Einführung 125 Ein erstes Beispiel 126 Syntaxbäume 127 Definition einer Grammatik 128 Die von einer Grammatik erzeugte Sprache 128 Wie man 𝜖-Regeln loswird 129 Das Wortproblem 131 Chomsky-Hierarchie 131 Aufgaben zu Grammatiken 133 Kapitel 6 Reguläre (Typ-3-)Sprachen 135 Beispiele für Typ-3-Sprachen 135 Das Wortproblem für Typ-3-Sprachen 136 Aufgaben zu Typ-3-Sprachen 139 Kapitel 7 Kontextfreie (Typ-2-)Sprachen 141 Erste Beispiele 141 Backus-Naur-Form (BNF) 142 Erweiterte Backus-Naur-Form (EBNF) 142 Chomsky-Normalform 144 Die Grenzen kontextfreier Sprachen 146 Ein äquivalentes Maschinenmodell 150 Deterministisch kontextfreie Sprachen 153 Das Wortproblem für kontextfreie Sprachen 154 Abschlusseigenschaften 156 Aufgaben zu kontextfreien Sprachen 157 Kapitel 8 Kontextsensitive und Phasen-Struktur-Sprachen 159 Ein erstes Beispiel 159 Das Wortproblem für Typ-1-Sprachen 160 Das Wortproblem für Typ-0-Sprachen 161 Äquivalente Maschinenmodelle 162 Typ-0-Sprachen 162 Typ-1-Sprachen 164 Teil III Harte Probleme 167 Kapitel 9 Zeitkomplexität von Algorithmen 169 Einführende Überlegungen 169 Zeit- und Speicherkomplexität von Algorithmen 171 Die O-Notation 175 Komplexitätsklassen von Sprachen 177 Aufgaben zur Komplexität von Algorithmen 179 Kapitel 10 Die Klassen P und NP 181 Die Klasse P 181 Die Klasse NP 182 Zertifikate 182 Das SAT-Problem 185 Reduktion 188 SAT, KNF-SAT und 3-SAT 190 Reduktion und Entscheidbarkeit 196 Aufgaben zu P und NP 197 Kapitel 11 NP-Vollständigkeit 199 Der Satz von Cook 199 Boolesche Schaltkreise und deterministische Turing-Maschinen 200 Boolesche Schaltkreise und nichtdeterministische Turing-Maschinen 206 Reduktion von CIRCUIT-SAT auf 3-SAT 208 Beispiele NP-vollständiger Sprachen 210 SUBSET-SUM-Problem 210 Hamilton-Kreise 213 Das Travelling-Salesman-Problem 219 Das Cliquen-Problem 221 Ist P = NP? 223 Quantencomputer 223 Die Klasse BQP 225 Aufgaben zur NP-Vollständigkeit 227 Teil IV Mathematische Grundlagen 229 Kapitel 12 Logische Grundlagen 231 Boolesche Variablen und boolesche Formeln 231 Aussagen und Beweise 233 Beweistechniken 234 Aufgaben zur Logik 238 Kapitel 13 Mengen und Relationen 239 Grundbegriffe 239 Mengenoperationen 241 Relationen 242 Äquivalenzrelationen 242 Ordnungsrelationen 244 Funktionen 245 Aufgaben zu Mengen und Relationen 247 Kapitel 14 Graphen und Bäume 249 Graphen und ihre Eigenschaften 249 Zusammenhängende Graphen 251 Darstellung von Graphen im Computer 253 Bäume 256 Tourenprobleme 258 Gewichtete Graphen 260 Näherungsweise Lösung des TSP 261 Aufgaben zu Graphen und Bäumen 265 Teil V Top-Ten-Teil 267 Kapitel 15 Top-Ten-Theoretiker 269 Charles Babbage (1791–1871) 269 Ada Lovelace (1815–1852) 270 Alonzo Church (1903–1995) 270 Alan Turing (1912–1954) 271 Claude Shannon (1916–2001) 272 Richard Feynman (1918–1988) 273 Noam Chomsky (geboren 1928) 274 Michael Rabin (geboren 1931) und Dana Scott (geboren 1932) 274 Stephen Cook (geboren 1939) 275 Peter W. Shor (geboren 1959) 275 Kapitel 16 Die Top-Ten-Bücher zum Weiterlesen 277 Teil I: Endliche Automaten 277 Teil II: Formale Sprachen 277 Teil III: Harte Probleme 278 Teil IV: Mathematische Grundlagen 278 Teil V: Top-Ten-Teil 278 Symbolverzeichnis 281 Stichwortverzeichnis 283

Read more less