Download or read book Mathematical and Engineering Methods in Computer Science written by Jan Kofroň and published by Springer. This book was released on 2016-02-03 with total page 166 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the post-conference proceedings of the 10th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2015, held in Telč, Czech Republic, in October 2015. The 10 thoroughly revised full papers were carefully selected out of 25 submissions and are presented together with 3 invited papers. The topics covered include: security and safety, bioinformatics, recommender systems, high-performance and cloud computing, and non-traditional computational models (quantum computing, etc.).ioinformatics, recommender="" systems,="" high-performance="" and="" cloud="" computing,="" non-traditional="" computational="" models="" (quantum="" etc.).
Download or read book Mathematical and Engineering Methods in Computer Science written by Antonin Kucera and published by Springer. This book was released on 2013-01-17 with total page 224 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held in Znojmo, Czech Republic, in October, 2012. The 13 thoroughly revised papers were carefully selected out of 31 submissions and are presented together with 6 invited papers. The topics covered by the papers include: computer-aided analysis and verification, applications of game theory in computer science, networks and security, modern trends of graph theory in computer science, electronic systems design and testing, and quantum information processing.
Download or read book Mathematical and Engineering Methods in Computer Science written by Zdeněk Kotásek and published by Springer. This book was released on 2012-01-28 with total page 226 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2011, held in Lednice, Czech Republic, on October 14-16, 2011. The 13 revised full papers presented together with 6 invited talks were carefully reviewed and selected from 38 submissions. The papers address all current issues of mathematical and engineering methods in computer science, especially: software and hardware dependability, computer security, computer-aided analysis and verification, testing and diagnostics, simulation, parallel and distributed computing, grid computing, computer networks, modern hardware and its design, non-traditional computing architectures, software engineering, computational intelligence, quantum information processing, computer graphics and multimedia, signal, text, speech, and image processing, and theoretical computer science.
Download or read book Mathematical and Engineering Methods in Computer Science written by Petr Hliněný and published by Springer. This book was released on 2014-12-31 with total page 170 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the post-proceedings of the 9th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2014, held in Telč, Czech Republic, in October 2014. The 13 thoroughly revised papers were carefully selected out of 28 submissions and are presented together with 4 invited papers. The topics covered by the papers include: algorithms, logic, and games; high performance computing; computer aided analysis, verification, and testing; hardware design and diagnostics; computer graphics and image processing; and artificial intelligence and natural language processing.
Download or read book Emerging Trends in Intelligent Computing and Informatics written by Faisal Saeed and published by Springer Nature. This book was released on 2019-11-01 with total page 1199 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents the proceedings of the 4th International Conference of Reliable Information and Communication Technology 2019 (IRICT 2019), which was held in Pulai Springs Resort, Johor, Malaysia, on September 22–23, 2019. Featuring 109 papers, the book covers hot topics such as artificial intelligence and soft computing, data science and big data analytics, internet of things (IoT), intelligent communication systems, advances in information security, advances in information systems and software engineering.
Download or read book Proceedings of the International Conference on Data Engineering 2015 DaEng 2015 written by Jemal H. Abawajy and published by Springer. This book was released on 2019-08-09 with total page 624 pages. Available in PDF, EPUB and Kindle. Book excerpt: These proceedings gather outstanding research papers presented at the Second International Conference on Data Engineering 2015 (DaEng-2015) and offer a consolidated overview of the latest developments in databases, information retrieval, data mining and knowledge management. The conference brought together researchers and practitioners from academia and industry to address key challenges in these fields, discuss advanced data engineering concepts and form new collaborations. The topics covered include but are not limited to: • Data engineering • Big data • Data and knowledge visualization • Data management • Data mining and warehousing • Data privacy & security • Database theory • Heterogeneous databases • Knowledge discovery in databases • Mobile, grid and cloud computing • Knowledge management • Parallel and distributed data • Temporal data • Web data, services and information engineering • Decision support systems • E-Business engineering and management • E-commerce and e-learning • Geographical information systems • Information management • Information quality and strategy • Information retrieval, integration and visualization • Information security • Information systems and technologies
Download or read book Graph Theoretic Concepts in Computer Science written by Michael A. Bekos and published by Springer Nature. This book was released on 2022-09-30 with total page 469 pages. Available in PDF, EPUB and Kindle. Book excerpt: This LNCS 13453 constitutes the thoroughly refereed proceedings of the 48th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2022.The 32 full papers presented in this volume were carefully reviewed and selected from a total of 96 submissions. The WG 2022 workshop aims to merge theory and practice by demonstrating how concepts from Graph Theory can be applied to various areas in Computer Science, or by extracting new graph theoretic problems from applications.
Download or read book Pattern Recognition written by José Francisco Martínez-Trinidad and published by Springer. This book was released on 2018-06-20 with total page 296 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 10th Mexican Conference on Pattern Recognition, MCPR 2018, held in Puebla, Mexico, in June 2018. The 28 papers presented in this volume were carefully reviewed and selected from 44 submissions. They were organized in topical sections named: pattern recognition principles; deep learning, neural networks and associative memories; data mining; and computer vision.
Download or read book International Conference on Mathematical Sciences and Statistics 2013 written by Adem Kilicman and published by Springer Science & Business Media. This book was released on 2014-03-16 with total page 286 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume is devoted to the most recent discoveries in mathematics and statistics. It also serves as a platform for knowledge and information exchange between experts from industrial and academic sectors. The book covers a wide range of topics, including mathematical analyses, probability, statistics, algebra, geometry, mathematical physics, wave propagation, stochastic processes, ordinary and partial differential equations, boundary value problems, linear operators, cybernetics and number and functional theory. It is a valuable resource for pure and applied mathematicians, statisticians, engineers and scientists.
Download or read book Ambient Intelligence written by Achilles Kameas and published by Springer. This book was released on 2018-10-29 with total page 239 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 14th European Conference on Ambient Intelligence, AmI 2018, held in Larnaca, Cyprus, in November 2018. The 12 revised full papers presented together with 6 short papers were carefully reviewed and selected from 36 submissions. The papers cover topics such as: Ambient Services and Smart Environments; Sensor Networks and Artificial Intelligence; Activity and Situation Recognition; Ambient Intelligence in Education.
Download or read book Mathematical Foundations of Computer Science 2008 written by Edward Ochmanski and published by Springer. This book was released on 2008-08-19 with total page 638 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2008, held in Torun, Poland, in August 2008. The 45 revised full papers presented together with 5 invited lectures were carefully reviewed and selected from 119 submissions. All current aspects in theoretical computer science and its mathematical foundations are addressed, ranging from algorithmic game theory, algorithms and data structures, artificial intelligence, automata and formal languages, bioinformatics, complexity, concurrency and petrinets, cryptography and security, logic and formal specifications, models of computations, parallel and distributed computing, semantics and verification.
Download or read book Computer Aided Verification written by Constantin Enea and published by Springer Nature. This book was released on 2023-07-17 with total page 473 pages. Available in PDF, EPUB and Kindle. Book excerpt: The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.
Download or read book Fuzzy Logic and Applications written by Alfredo Petrosino and published by Springer. This book was released on 2011-08-19 with total page 289 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 9th International Workshop on Fuzzy Logic and Applications, WILF 2011 held in Trani, Italy in August 2011. The 34 revised full papers presented were carefully reviewed and selected from 50 submissions. The papers are organized in topical sections on advances in theory of fuzzy sets, advances in fuzzy systems, advances in classification and clustering; and applications.
Download or read book Algorithms and Discrete Applied Mathematics written by Apurva Mudgal and published by Springer Nature. This book was released on 2021-01-28 with total page 519 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 7th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2021, which was held in Rupnagar, India, during February 11-13, 2021. The 39 papers presented in this volume were carefully reviewed and selected from 82 submissions. The papers were organized in topical sections named: approximation algorithms; parameterized algorithms; computational geometry; graph theory; combinatorics and algorithms; graph algorithms; and computational complexity.
Download or read book WALCOM Algorithms and Computation written by Ryuhei Uehara and published by Springer Nature. This book was released on 2021-02-16 with total page 334 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 15th International Conference on Algorithms and Computation, WALCOM 2021, which was planned to take place in Yangon, Myanmar in February/March 2021. The conference changed to an online format due to the COVID-19 pandemic. The 24 full papers included in this volume were carefully reviewed and selected from a total of 60 submissions. They cover diverseareas of algorithms and computation, such as approximation algorithms, algorithmic graph theory and combinatorics, combinatorial algorithms, combinatorial optimization, computational biology, computational complexity, computational geometry, discrete geometry, data structures, experimental algorithm methodologies, graph algorithms, graph drawing, parallel and distributed algorithms, parameterized algorithms, parameterized complexity, network optimization, online algorithms, randomized algorithms, and string algorithms.
Download or read book Dependable Software Systems Engineering written by J. Esparza and published by IOS Press. This book was released on 2016-04-19 with total page 296 pages. Available in PDF, EPUB and Kindle. Book excerpt: In the last few years we have all become daily users of Internet banking, social networks and cloud services. Preventing malfunctions in these services and protecting the integrity of private data from cyber attack are both current preoccupations of society at large. While modern technologies have dramatically improved the quality of software, the computer science community continues to address the problems of security by developing a theory of formal verification; a body of methodologies, algorithms and software tools for finding and eliminating bugs and security hazards. This book presents lectures delivered at the NATO Advanced Study Institute (ASI) School Marktoberdorf 2015 – ‘Verification and Synthesis of Correct and Secure Systems'. During this two-week summer school, held in Marktoberdorf, Germany, in August 2015, the lecturers provided a comprehensive view of the current state-of-the-art in a large variety of subjects, including: models and techniques for analyzing security protocols; parameterized verification; synthesis of reactive systems; software model checking; composition checking; programming by examples; verification of current software; two-player zero-sum games played on graphs; software security by information flow; equivalents – combinatorics; and analysis of synthesis with 'Big Code'. The Marktoberdorf ASIs have become a high-level scientific nucleus of the international scientific network on formal methods, and one of the major international computer science summer schools. This book will be of interest to all those seeking an overview of current theories and applications in formal verification and security.
Download or read book Computer Aided Verification written by Werner Damm and published by Springer. This book was released on 2007-08-30 with total page 576 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 19th International Conference on Computer Aided Verification. Thirty-three state-of-the-technology papers are presented, together with fourteen tool papers, three invited papers, and four invited tutorials. All the current issues in computer aided verification and model checking—from foundational and methodological issues to the evaluation of major tools and systems—are addressed.
