This book provides an overview of the current Internet of Things (IoT) landscape, ranging from the research, innovation and development priorities to enabling technologies in a global context. A suc……続きを見る
This book provides important new insights into social issues in the rapidly growing field of esports, filling a gap in the literature that has, until now, been dominated by business and management p……続きを見る
著者:Éric D. Taillard
出版社: Springer International Publishing
発売日: 2022年10月30日
This open access book demonstrates all the steps required to design heuristic algorithms for difficult optimization. The classic problem of the travelling salesman is used as a common thread to illu……続きを見る
This book provides in-depth insights into use cases implementing artificial intelligence (AI) applications at the edge. It covers new ideas, concepts, research, and innovation to enable the developm……続きを見る
This open access book provides a unique and state-of-the-art view on DNA nanotechnology with an eye toward future developments. Intended as a tribute to Nadrian C. Seeman, who founded the field of D……続きを見る
This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-2……続きを見る
Unlock the future of brain health with this indispensable guide, which offers a comprehensive exploration of how artificial intelligence and machine learning are revolutionizing the diagnosis, treat……続きを見る
出版社: Springer International Publishing
発売日: 2022年08月06日
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Isra……続きを見る
出版社: Springer International Publishing
発売日: 2022年08月01日
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022.
The 32 full resear……続きを見る
出版社: Springer International Publishing
発売日: 2015年10月24日
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of……続きを見る
出版社: Springer International Publishing
発売日: 2022年05月15日
This open access book presents the rise of technology-enabled methods and tools for objective, quantitative assessment of Quality of Life (QoL), while following the WHOQOL model. It is an in-depth r……続きを見る
The Internet is not an unchartered territory. On the Internet, norms matter. They interact, regulate, are contested and legitimated by multiple actors. But are they diverse and unstructured, or are ……続きを見る
Are we being manipulated online? If so, is being manipulated by online technologies and algorithmic systems notably different from human forms of manipulation? And what is under threat exactly when ……続きを見る
This title is endorsed by Cambridge Assessment International Education to support the full syllabus for examination from 2021.
Develop computational thinking and ensure full coverage of the revised ……続きを見る
From fundamental concepts and results to recent advances in computational social choice, this open access book provides a thorough and in-depth look at multi-winner voting based on approval preferen……続きを見る
出版社: Springer International Publishing
発売日: 2016年09月23日
This book constitutes the refereed proceedings of the 31st International Symposium on Computer and Information Sciences, ISCIS 2016, held in Krakow, Poland, in October 2016.
The 29 revised full pape……続きを見る
出版社: Springer International Publishing
発売日: 2019年04月02日
This open access book constitutes the proceedings of the 8th International Conference on Principles of Security and Trust, POST 2019, which took place in Prague, Czech Republic, in April 2019, held ……続きを見る
出版社: Springer International Publishing
発売日: 2021年07月17日
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.
……続きを見る
This text provides a very simple, initial introduction to the complete scientific computing pipeline: models, discretization, algorithms, programming, verification, and visualization. The pedagogica……続きを見る
Flow of ions through voltage gated channels can be represented theoretically using stochastic differential equations where the gating mechanism is represented by a Markov model. The flow through a c……続きを見る
出版社: Springer International Publishing
発売日: 2019年04月05日
This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czec……続きを見る
FOR NON-EXPERTS: Get an accessible introduction to quantum computing as a mathematician explains quantum algorithms, quantum entanglement, and more.
Quantum computing is a beautiful fusion of quantu……続きを見る
出版社: Springer International Publishing
発売日: 2021年07月07日
This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021.
The 29 full papers and 7 system descriptions prese……続きを見る
Africa–Europe Cooperation and Digital Transformation explores the opportunities and challenges for cooperation between Africa and Europe in the digital sphere.
Digitalisation and digital technologie……続きを見る
著者:Liam Taylor
出版社: DK Publishing
発売日: 2021年12月05日
The Top 10 Must-Know Tips to Ace Software Engineer Technical Interviews!: Ease Your Anxiety and Easily Ace Your Interview With Exclusive Industry Secrets for a Stress-Free Experience
Do you have an ……続きを見る
This book presents computer programming as a key method for solving mathematical problems. There are two versions of the book, one for MATLAB and one for Python. The book was inspired by the Springe……続きを見る
Objective Information Theory (OIT) is proposed to represent and compute the information in a large-scale complex information system with big data in this monograph. To formally analyze, design, deve……続きを見る
Large sparse linear systems of equations are ubiquitous in science, engineering and beyond. This open access monograph focuses on factorization algorithms for solving such systems. It presents class……続きを見る
著者:Mario Alemi
出版社: Springer International Publishing
発売日: 2019年12月03日
This Open Access book explores questions such as why and how did the first biological cells appear? And then complex organisms, brains, societies and –now– connected human societies? Physicists have……続きを見る
Buku ini ditulis hasil usaha bertahun-tahun untuk mendapatkan kaedah menjawab soalan yang boleh membantu mengelakkan kecuaian dan kekeliruan. Akan tetapi, untuk memahami keseluruhan buku ini tetap m……続きを見る