Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer science - Mathematics --- Communication - Mathematics --- Computer science --- Communication

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the proceedings of the 8th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2022, which was held in Puducherry, India, during February 10-12, 2022. The 24 papers presented in this volume were carefully reviewed and selected from 80 submissions. The papers were organized in topical sections named: graph theory, graph algorithms, computational geometry, algorithms and optimization.

Computer science --- Algorithms --- Mathematics --- Computer science—Mathematics. --- Algorithms. --- Data structures (Computer science). --- Information theory. --- Discrete mathematics. --- Mathematics of Computing. --- Data Structures and Information Theory. --- Discrete Mathematics in Computer Science. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis --- Communication theory --- Communication --- Cybernetics --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- Electronic data processing --- File organization (Computer science) --- Abstract data types (Computer science) --- Algorism --- Algebra --- Arithmetic --- Foundations

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as languages to describe reasoning and the process algebra CSP as a language to represent behaviours. The second part offers specification and testing methods for formal development of software, based on the modelling languages CASL and UML. The third part takes the reader into the application domains of normative documents, human machine interfaces, and security. Use of notations and formalisms is uniform throughout the book. Topics and features: Explains foundations, and introduces specification, verification, and testing methods Explores various application domains Presents realistic and practical examples, illustrating concepts Brings together contributions from highly experienced educators and researchers Offers modelling and analysis methods for formal development of software Suitable for graduate and undergraduate courses in software engineering, this uniquely practical textbook will also be of value to students in informatics, as well as to scientists and practical engineers, who want to learn about or work more effectively with formal theories and methods. Markus Roggenbach is a Professor in the Dept. of Computer Science of Swansea University. Antonio Cerone is an Associate Professor in the Dept. of Computer Science of Nazarbayev University, Nur-Sultan. Bernd-Holger Schlingloff is a Professor in the Institut für Informatik of Humboldt-Universität zu Berlin. Gerardo Schneider is a Professor in the Dept. of Computer Science and Engineering of University of Gothenburg. Siraj Ahmed Shaikh is a Professor in the Institute for Future Transport and Cities of Coventry University.

Software engineering. --- Software engineering --- Computer programs. --- Computer software engineering --- Engineering --- Computer science. --- Computer science—Mathematics. --- Engineering mathematics. --- Engineering—Data processing. --- Application software. --- Theory of Computation. --- Software Engineering. --- Computer Science Logic and Foundations of Programming. --- Symbolic and Algebraic Manipulation. --- Mathematical and Computational Engineering Applications. --- Computer and Information Systems Applications. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Engineering analysis --- Mathematical analysis --- Informatics --- Science --- Mathematics --- Enginyeria de programari

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book presents a collection of selected papers presented at the 22nd FAI International Conference on Mathematical, Computational Intelligence and Engineering Approaches to Healthcare, Business and Tourism Analytics (FAI-ICMCIE 2020), held at American College, Madurai, India, from 20–22 December 2020. This book discusses advanced mathematical concepts and computational intelligence approaches for: medical diagnostic approach in cardiac diseases, nano topology in medical diseases, stability of indicators in assessing business development, AI-guided paradigmatic competence in science and spirituality integration, neural network-TOPSIS analytics in hotel service quality, itinerary planning destination ranking tourism analytics, molecular modeling and docking simulation for unraveling medicinal properties, value-oriented approach on commercial banks security, Brownian motion in shares of the bank, internet of things linking to social media and e-commerce, and more, which are discussed by using fuzzy analytics, nano-topology, statistical, TOPSIS and neural network tools.

Engineering mathematics. --- Engineering—Data processing. --- Computer science—Mathematics. --- Biomathematics. --- Social sciences—Mathematics. --- Tourism. --- Management. --- Quantitative research. --- Mathematical and Computational Engineering Applications. --- Mathematical Applications in Computer Science. --- Mathematical and Computational Biology. --- Mathematics in Business, Economics and Finance. --- Tourism Management. --- Data Analysis and Big Data. --- Data analysis (Quantitative research) --- Exploratory data analysis (Quantitative research) --- Quantitative analysis (Research) --- Quantitative methods (Research) --- Research --- Administration --- Industrial relations --- Organization --- Holiday industry --- Operators, Tour (Industry) --- Tour operators (Industry) --- Tourism --- Tourism industry --- Tourism operators (Industry) --- Tourist industry --- Tourist trade --- Tourist traffic --- Travel industry --- Visitor industry --- Service industries --- National tourism organizations --- Travel --- Biology --- Mathematics --- Engineering --- Engineering analysis --- Mathematical analysis --- Economic aspects --- Intel·ligència computacional --- Aplicacions industrials --- Mathematics.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This open access book surveys the progress in addressing selected challenges related to the growth of big data in combination with increasingly complicated hardware. It emerged from a research program established by the German Research Foundation (DFG) as priority program SPP 1736 on Algorithmics for Big Data where researchers from theoretical computer science worked together with application experts in order to tackle problems in domains such as networking, genomics research, and information retrieval. Such domains are unthinkable without substantial hardware and software support, and these systems acquire, process, exchange, and store data at an exponential rate. The chapters of this volume summarize the results of projects realized within the program and survey-related work. This is an open access book.

Computer networks. --- Data structures (Computer science). --- Information theory. --- Computer science—Mathematics. --- Algorithms. --- Computer Communication Networks. --- Data Structures and Information Theory. --- Mathematics of Computing. --- Design and Analysis of Algorithms. --- Algorism --- Algebra --- Arithmetic --- Communication theory --- Communication --- Cybernetics --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- Electronic data processing --- File organization (Computer science) --- Abstract data types (Computer science) --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Foundations --- Distributed processing --- Data structures (Computer science) --- Algorismes computacionals --- Dades massives