- Table View
- List View
Testbeds and Research Infrastructures for the Development of Networks and Communities: 11th International Conference, TRIDENTCOM 2016, Hangzhou, China, June 14-15, 2016, Revised Selected Papers (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering #177)
by Song Guo Guiyi Wei Yang Xiang Xiaodong Lin Pascal LorenzThis book constitutes the refereed proceedings of the 11th International Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, TridentCom 2016, held in Hangzhou, China, in June 2016.The 16 papers were carefully selected from 25 submissions and provide a forum about technologies of big data, cyber physical systems and computer communications. The papers cover future Internet and software defined networks, network testbed design and implementation, testbed for network applications, and QoS/QoE in networks.
Testing of Interposer-Based 2.5D Integrated Circuits
by Ran Wang Krishnendu ChakrabartyThis book provides readers with an insightful guide to the design, testing and optimization of 2.5D integrated circuits. The authors describe a set of design-for-test methods to address various challenges posed by the new generation of 2.5D ICs, including pre-bond testing of the silicon interposer, at-speed interconnect testing, built-in self-test architecture, extest scheduling, and a programmable method for low-power scan shift in SoC dies. This book covers many testing techniques that have already been used in mainstream semiconductor companies. Readers will benefit from an in-depth look at test-technology solutions that are needed to make 2.5D ICs a reality and commercially viable.
Testing Practitioner Handbook
by Renu RajaniGain insights into the latest technology and business trends within testing domains About This Book • This book covers the latest trends that every Testing and QA professional should keep up-to-date with given the advancements in digital technologies. • Master cutting-edge testing techniques for emerging areas such as IOT, Machine Learning, Cognitive. • Best practices for Testing and Quality Assurance within several industry domains. Who This Book Is For This book is targeted at those working in the QA and Testing areas. The book does not cover testing basics, which QA professional are already familiar with—for example, writing a test plan or test case, and so on. What You Will Learn • Understand the TCOE model, managed services, the structure of testing in Agile/DevOps engagements, factory models, and crowdsourcing • Implement testing processes, practices, and automation tools in the Agile/DevOps life cycle • Adapt to current technologies in social media, mobile, analytics and the Cloud • Leverage cognitive intelligence/machine-learning, robotics, and the Internet of Things in testing • How key industries/domains (consumer products and retail, energy and utilities, healthcare, telecom, and automotive) adapt to digital transformation • Future directions for the QA industry, consulting careers, testing profession, and professionals In Detail The book is based on the author`s experience in leading and transforming large test engagements and architecting solutions for customer testing requirements/bids/problem areas. It targets the testing practitioner population and provides them with a single go-to place to find perspectives, practices, trends, tools, and solutions to test applications as they face the evolving digital world. This book is divided into five parts where each part explores different aspects of testing in the real world. The first module explains the various testing engagement models. You will then learn how to efficiently test code in different life cycles. The book discusses the different aspects of Quality Analysis consideration while testing social media, mobile, analytics, and the Cloud. In the last module, you will learn about futuristic technologies to test software. By the end of the book, you will understand the latest business and IT trends in digital transformation and learn the best practices to adopt for business assurance. Style and approach This book is a compilation of the latest business and IT trends in digital transformation & Tools and Best Practices that QA professionals need to adopt for business assurance.
Testing R Code (Chapman & Hall/CRC The R Series)
by Richard CottonLearn how to write R code with fewer bugs. The problem with programming is that you are always one typo away from writing something silly. Likewise with data analysis, a small mistake in your model can lead to a big mistake in your results. Combining the two disciplines means that it is all too easy for a missed minus sign to generate a false prediction that you don’t spot until it’s too late. Testing is the only way to be sure that your code, and your results, are correct. Testing R Code teaches you how to perform development-time testing using the testthat package, allowing you to ensure that your code works as intended. The book also teaches run-time testing using the assertive package; enabling your users to correctly run your code. After beginning with an introduction to testing in R, the book explores more advanced cases such as integrating tests into R packages; testing code that accesses databases; testing C++ code with Rcpp; and testing graphics. Each topic is explained with real-world examples, and has accompanying exercises for readers to practise their skills — only a small amount of experience with R is needed to get started!
Testing R Code (Chapman & Hall/CRC The R Series)
by Richard CottonLearn how to write R code with fewer bugs. The problem with programming is that you are always one typo away from writing something silly. Likewise with data analysis, a small mistake in your model can lead to a big mistake in your results. Combining the two disciplines means that it is all too easy for a missed minus sign to generate a false prediction that you don’t spot until it’s too late. Testing is the only way to be sure that your code, and your results, are correct. Testing R Code teaches you how to perform development-time testing using the testthat package, allowing you to ensure that your code works as intended. The book also teaches run-time testing using the assertive package; enabling your users to correctly run your code. After beginning with an introduction to testing in R, the book explores more advanced cases such as integrating tests into R packages; testing code that accesses databases; testing C++ code with Rcpp; and testing graphics. Each topic is explained with real-world examples, and has accompanying exercises for readers to practise their skills — only a small amount of experience with R is needed to get started!
Testing Software and Systems: 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings (Lecture Notes in Computer Science #10533)
by Nina Yevtushenko Ana Rosa Cavalli Hüsnü YenigünThis book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017. The 18 full papers and 4 short papers presented were carefully reviewed and selected from 41 submissions. The topics of the volume cover model based testing; test derivation and monitoring; fault localization and system testing including real time systems.
Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings (Lecture Notes in Computer Science #10375)
by Sebastian Gabmeyer Einar Broch JohnsenThis book constitutes the refereed proceedings of the 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 16 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.
Text, Speech, and Dialogue: 20th International Conference, TSD 2017, Prague, Czech Republic, August 27-31, 2017, Proceedings (Lecture Notes in Computer Science #10415)
by Kamil Ekštein and Václav MatoušekThis book constitutes the proceedings of the 20th International Conference on Text, Speech, and Dialogue, TSD 2017, held in Prague, CzechRepublic, in August 2017.The 56 regular papers presented together with 3 abstracts of keynote talks were carefully reviewed and selected from 117 submissions. They focus on topics such as corpora and language resources; speech recognition; tagging, classification and parsing of text and speech; speech and spoken language generation; semantic processing of text and speech; integrating applications of text and speech processing; automatic dialogue systems; as well as multimodal techniques and modelling.
Text und Konzeption im Content Marketing: Alle wichtigen Grundlagen für Print, Web, Corporate Blogs und Social Media (essentials)
by Sandro AbbateIn diesem essential erfahren Sie alle wichtigen Grundlagen der Text- und Konzeptentwicklung für eine Content-Marketing-Strategie. Der Autor beschreibt die erfolgsentscheidenden Stellschrauben, die Sie beachten müssen und in die Sie ausreichend Zeit investieren sollten: von der vorab zu leistenden Denkarbeit, über die strukturierte Konzeptentwicklung, bis hin zur optimalen Textarbeit für Webtexte. Abgerundet wird dieser Band durch Interviews mit renommierten Experten und Erfolgsbeispielen aus der Praxis.
Theoretical Aspects of Computing – ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings (Lecture Notes in Computer Science #10580)
by Dang Van Hung Deepak KapurThis book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017. The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on logics; software components and concurrency; automata; SMT solvers and algorithms; and security.
Theoretical Computer Science: 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings (Communications in Computer and Information Science #768)
by Dingzhu Du Lian Li En Zhu Kun HeThis book constitutes the thoroughly refereed proceedings of the National Conference of Theoretical Computer Science, NCTCS 2017, held in Wuhan, Hubei, China, in October 2017. The 25 full papers presented were carefully reviewed and selected from 84 submissions. They present relevant trends of current research in the area of algorithms and complexity, software theory and method, data science and machine learning theory.
Theoretical Computer Science and Discrete Mathematics: First International Conference, ICTCSDM 2016, Krishnankoil, India, December 19-21, 2016, Revised Selected Papers (Lecture Notes in Computer Science #10398)
by S. Arumugam Jay Bagga Lowell W. Beineke B. S. PandaThis volume constitutes the refereed post-conference proceedings of the International Conference on Theoretical Computer Science and Discrete Mathematics, held in Krishnankoil, India, in December 2016.The 57 revised full papers were carefully reviewed and selected from 210 submissions. The papers cover a broad range of topics such as line graphs and its generalizations, large graphs of given degree and diameter, graphoidal covers, adjacency spectrum, distance spectrum, b-coloring, separation dimension of graphs and hypergraphs, domination in graphs, graph labeling problems, subsequences of words and Parike matrices, lambda-design conjecture, graph algorithms and interference model for wireless sensor networks.
Theorising Personalised Education: Electronically Mediated Higher Education
by Barbara Garrick Donna Pendergast David GeelanThis book examines the theoretical underpinning of the concept of personalised education and explores the question: What is personalised education in the contemporary higher education sector and how is it implemented? A broad, sophisticated definition of personalised learning has the potential to serve as a basis for more effective educational practices. The term ‘personalised education’ is, and continues to be, one with a variety of definitions. The authors’ definition both incorporates earlier concepts of personalised education and critically reassesses them. The book then adds a further dimension: personalised instruction in electronically mediated environments, where the goal is to achieve learning towards mastery individually with the help of differentiated and individualised electronic learning platforms. This book assesses the various arguments concerning personalised education, examining each through the lens of educational theory and pedagogy and subsequently positing a number of qualitative characteristics of personalised education that have the potential to influence policy and practices in the higher education sector.
Theory and Applications of Models of Computation: 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings (Lecture Notes in Computer Science #10185)
by T. V. Gopal Gerhard Jäger Silvia SteilaThis book constitutes the refereed proceedings of the 14th Annual Conference on Theory and Applications of Models of Computation, TAMC 2017, held in Bern, Switzerland, in April 2017. The 45 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 103 submissions. The main themes of TAMC 2017 have been computability, computer science logic, complexity, algorithms, and models of computation and systems theory.
Theory and Applications of Ordered Fuzzy Numbers: A Tribute to Professor Witold Kosiński (Studies in Fuzziness and Soft Computing #356)
by Piotr Prokopowicz Jacek Czerniak Dariusz Mikołajewski Łukasz Apiecionek Dominik ŚlȩzakThis book is open access under a CC BY 4.0 license.This open access book offers comprehensive coverage on Ordered Fuzzy Numbers, providing readers with both the basic information and the necessary expertise to use them in a variety of real-world applications. The respective chapters, written by leading researchers, discuss the main techniques and applications, together with the advantages and shortcomings of these tools in comparison to other fuzzy number representation models. Primarily intended for engineers and researchers in the field of fuzzy arithmetic, the book also offers a valuable source of basic information on fuzzy models and an easy-to-understand reference guide to their applications for advanced undergraduate students, operations researchers, modelers and managers alike.
Theory and Applications of Satisfiability Testing – SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings (Lecture Notes in Computer Science #10491)
by Serge Gaspers Toby WalshThis book constitutes the refereed proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017, held in Melbourne, Australia, in August/September 2017.The 22 revised full papers, 5 short papers, and 3 tool papers were carefully reviewed and selected from 64 submissions. The papers are organized in the following topical sections: algorithms, complexity, and lower bounds; clause learning and symmetry handling; maximum satisfiability and minimal correction sets; parallel SAT solving; quantified Boolean formulas; satisfiability modulo theories; and SAT encodings.
Theory and Models for Cyber Situation Awareness (Lecture Notes in Computer Science #10030)
by Peng Liu Sushil Jajodia Cliff WangToday, when a security incident happens, the top three questions a cyber operation center would ask are: What has happened? Why did it happen? What should I do? Answers to the first two questions form the core of Cyber Situation Awareness (SA). Whether the last question can be satisfactorily addressed is largely dependent upon the cyber situation awareness capability of an enterprise. The goal of this book is to present a summary of recent research advances in the development of highly desirable Cyber Situation Awareness capabilities. The 8 invited full papers presented in this volume are organized around the following topics: computer-aided human centric cyber situation awareness; computer and information science aspects of the recent advances in cyber situation awareness; learning and decision making aspects of the recent advances in cyber situation awareness; cognitive science aspects of the recent advances in cyber situation awareness
Theory and Practice of Model Transformation: 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings (Lecture Notes in Computer Science #10374)
by Esther Guerra Mark van den BrandThis book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 9 full papers and 2 short papers were carefully reviewed and selected from 31 submissions. The papers are organized in the following topical sections: transformation paradigms, languages, algorithms and strategies; development of transformations; and applications and case studies.
Theory and Practice of Natural Computing: 6th International Conference, TPNC 2017, Prague, Czech Republic, December 18-20, 2017, Proceedings (Lecture Notes in Computer Science #10687)
by Carlos Martín-Vide Roman Neruda Miguel A. Vega-RodríguezThis book constitutes the refereed proceedings of the 6th International Conference,on Theory and Practice of Natural Computing, TPNC 2017, held in Prague, Czech Republic, December 2017.The 22 full papers presented in this book, together with one invited talk, werecarefully reviewed and selected from 39 submissions. The papers are organized around the following topical sections: applications of natural computing; evolutionary computation; fuzzy logic; Molecular computation; neural networks; quantum computing.
Theory, Design, and Applications of Unmanned Aerial Vehicles
by A. R. Jha, Ph.D.This book provides a complete overview of the theory, design, and applications of unmanned aerial vehicles. It covers the basics, including definitions, attributes, manned vs. unmanned, design considerations, life cycle costs, architecture, components, air vehicle, payload, communications, data link, and ground control stations. Chapters cover types and civilian roles, sensors and characteristics, alternative power, communications and data links, conceptual design, human machine interface, sense and avoid systems, civil airspace issues and integration efforts, navigation, autonomous control, swarming, and future capabilities.
Theory, Design, and Applications of Unmanned Aerial Vehicles
by A. R. Jha, Ph.D.This book provides a complete overview of the theory, design, and applications of unmanned aerial vehicles. It covers the basics, including definitions, attributes, manned vs. unmanned, design considerations, life cycle costs, architecture, components, air vehicle, payload, communications, data link, and ground control stations. Chapters cover types and civilian roles, sensors and characteristics, alternative power, communications and data links, conceptual design, human machine interface, sense and avoid systems, civil airspace issues and integration efforts, navigation, autonomous control, swarming, and future capabilities.
A Theory of Creative Thinking: Construction and Verification of the Dual Circulation Model (Lecture Notes in Educational Technology)
by Kekang HeThis book examines research on creative thinking, both current and historical. It explores two dimensions of human thought (time and space) and two modes of thinking (conscious and unconscious) as well as both left and right brain functions and artistic and scientific creative activities. The book proposes a "Double Circulation” model of creative thinking and argues that imagery thinking, intuitive thinking and logical thinking are main parts of creative thinking and that dialectical thinking and horizontal-vertical thinking are the guides for highly complex problem-solving thoughts and strategies.The book focuses on education and psychology and also covers how to use ICT to promote students’ creative thinking skills.Researchers will benefit from the "Double Circulation" model, which provides a new perspective on conducting creative thinking research. The book is also a valuable resource for graduate students in the fields of educational technology and psychology and for all readers who are interested in creative thinking.
Theory of Cryptography: 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part I (Lecture Notes in Computer Science #10677)
by Yael Kalai Leonid ReyzinThe two-volume set LNCS 10677 and LNCS 10678 constitutes the refereed proceedings of the 15th International Conference on Theory of Cryptography, TCC 2017, held in Baltimore, MD, USA, in November 2017.The total of 51 revised full papers presented in the proceedings were carefully reviewed and selected from 150 submissions. The Theory of Cryptography Conference deals with the paradigms, approaches, and techniques used to conceptualize natural cryptographic problems and provide algorithmic solutions to them and much more.
Theory of Cryptography: 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part II (Lecture Notes in Computer Science #10678)
by Yael Kalai Leonid ReyzinThe two-volume set LNCS 10677 and LNCS 10678 constitutes the refereed proceedings of the 15th International Conference on Theory of Cryptography, TCC 2017, held in Baltimore, MD, USA, in November 2017.The total of 51 revised full papers presented in the proceedings were carefully reviewed and selected from 150 submissions. The Theory of Cryptography Conference deals with the paradigms, approaches, and techniques used to conceptualize natural cryptographic problems and provide algorithmic solutions to them and much more.
Theory of Reversible Computing (Monographs in Theoretical Computer Science. An EATCS Series)
by Kenichi MoritaThis book describes reversible computing from the standpoint of the theory of automata and computing. It investigates how reversibility can be effectively utilized in computing. A reversible computing system is a “backward deterministic” system such that every state of the system has at most one predecessor. Although its definition is very simple, it is closely related to physical reversibility, one of the fundamental microscopic laws of Nature. Authored by the leading scientist on the subject, this book serves as a valuable reference work for anyone working in reversible computation or in automata theory in general. This work deals with various reversible computing models at several different levels, which range from the microscopic to the macroscopic, and aims to clarify how computation can be carried out efficiently and elegantly in these reversible computing models. Because the construction methods are often unique and different from those in the traditional methods, these computing models as well as the design methods provide new insights for future computing systems. Organized bottom-up, the book starts with the lowest scale of reversible logic elements and circuits made from them. This is followed by reversible Turing machines, the most basic computationally universal machines, and some other types of reversible automata such as reversible multi-head automata and reversible counter machines. The text concludes with reversible cellular automata for massively parallel spatiotemporal computation. In order to help the reader have a clear understanding of each model, the presentations of all different models follow a similar pattern: the model is given in full detail, a short informal discussion is held on the role of different elements of the model, and an example with illustrations follows each model.