Search results: Found 10

Listing 1 - 10 of 10
Sort by
The Huawei and Snowden Questions: Can Electronic Equipment from Untrusted Vendors be Verified? Can an Untrusted Vendor Build Trust into Electronic Equipment?

Author:
Book Series: Simula SpringerBriefs on Computing ISBN: 9783319749495 9783319749501 Year: Volume: 4 DOI: https://doi.org/10.1007/978-3-319-74950-1 Language: English
Publisher: Springer Nature Grant: Simula Research Laboratory
Subject: Computer Science
Added to DOAB on : 2018-07-20 15:43:36
License:

Loading...
Export citation

Choose an application

Abstract

This book answers two central questions: firstly, is it at all possible to verify electronic equipment procured from untrusted vendors? Secondly, can I build trust into my products in such a way that I support verification by untrusting customers? In separate chapters the book takes readers through the state of the art in fields of computer science that can shed light on these questions. In a concluding chapter it discusses realistic ways forward. In discussions on cyber security, there is a tacit assumption that the manufacturer of equipment will collaborate with the user of the equipment to stop third-party wrongdoers. The Snowden files and recent deliberations on the use of Chinese equipment in the critical infrastructures of western countries have changed this. The discourse in both cases revolves around what malevolent manufacturers can do to harm their own customers, and the importance of the matter is on par with questions of national security.This book is of great interest to ICT and security professionals who need a clear understanding of the two questions posed in the subtitle, and to decision-makers in industry, national bodies and nation states.

Window Functions and Their Applications in Signal Processing

Author:
ISBN: 9781466515840 Year: Pages: 404 DOI: 10.1201/9781315216386 Language: English
Publisher: Taylor & Francis
Subject: Computer Science --- Agriculture (General)
Added to DOAB on : 2020-09-23 00:02:33
License:

Loading...
Export citation

Choose an application

Abstract

Window functions—otherwise known as weighting functions, tapering functions, or apodization functions—are mathematical functions that are zero-valued outside the chosen interval. They are well established as a vital part of digital signal processing. Window Functions and their Applications in Signal Processing presents an exhaustive and detailed account of window functions and their applications in signal processing, focusing on the areas of digital spectral analysis, design of FIR filters, pulse compression radar, and speech signal processing. Comprehensively reviewing previous research and recent developments, this book: Provides suggestions on how to choose a window function for particular applications Discusses Fourier analysis techniques and pitfalls in the computation of the DFT Introduces window functions in the continuous-time and discrete-time domains Considers two implementation strategies of window functions in the time- and frequency domain Explores well-known applications of window functions in the fields of radar, sonar, biomedical signal analysis, audio processing, and synthetic aperture radar

Managing Distributed Cloud Applications and Infrastructure

Authors: --- --- ---
Book Series: Palgrave Studies in Digital Business & Enabling Technologies ISBN: 9783030398637 Year: Pages: 163 DOI: 10.1007/978-3-030-39863-7 Language: English
Publisher: Springer Nature
Subject: Business and Management --- Computer Science
Added to DOAB on : 2020-09-01 00:02:37
License:

Loading...
Export citation

Choose an application

Abstract

The emergence of the Internet of Things (IoT), combined with greater heterogeneity not only online in cloud computing architectures but across the cloud-to-edge continuum, is introducing new challenges for managing applications and infrastructure across this continuum. The scale and complexity is simply so complex that it is no longer realistic for IT teams to manually foresee the potential issues and manage the dynamism and dependencies across an increasing inter-dependent chain of service provision. This Open Access Pivot explores these challenges and offers a solution for the intelligent and reliable management of physical infrastructure and the optimal placement of applications for the provision of services on distributed clouds. This book provides a conceptual reference model for reliable capacity provisioning for distributed clouds and discusses how data analytics and machine learning, application and infrastructure optimization, and simulation can deliver quality of service requirements cost-efficiently in this complex feature space. These are illustrated through a series of case studies in cloud computing, telecommunications, big data analytics, and smart cities.

The Cloud-to-Thing Continuum

Authors: --- --- ---
Book Series: Palgrave Studies in Digital Business & Enabling Technologies ISBN: 9783030411107 Year: Pages: 161 DOI: 10.1007/978-3-030-41110-7 Language: English
Publisher: Springer Nature
Subject: Business and Management --- Computer Science
Added to DOAB on : 2020-07-15 23:58:19
License:

Loading...
Export citation

Choose an application

Abstract

The Internet of Things offers massive societal and economic opportunities while at the same time significant challenges, not least the delivery and management of the technical infrastructure underpinning it, the deluge of data generated from it, ensuring privacy and security, and capturing value from it. This Open Access Pivot explores these challenges, presenting the state of the art and future directions for research but also frameworks for making sense of this complex area. This book provides a variety of perspectives on how technology innovations such as fog, edge and dew computing, 5G networks, and distributed intelligence are making us rethink conventional cloud computing to support the Internet of Things. Much of this book focuses on technical aspects of the Internet of Things, however, clear methodologies for mapping the business value of the Internet of Things are still missing. We provide a value mapping framework for the Internet of Things to address this gap. While there is much hype about the Internet of Things, we have yet to reach the tipping point. As such, this book provides a timely entrée for higher education educators, researchers and students, industry and policy makers on the technologies that promise to reshape how society interacts and operates.

Computer Aided Verification

Authors: ---
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030532918 Year: Pages: 683 DOI: 10.1007/978-3-030-53291-8 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-09-01 00:03:38
License:

Loading...
Export citation

Choose an application

Abstract

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.

Cyber-Physical Systems: A Model-Based Approach

Authors: --- ---
ISBN: 9783030360719 Year: Pages: 187 DOI: 10.1007/978-3-030-36071-9 Language: English
Publisher: Springer Nature
Subject: Computer Science --- Agriculture (General)
Added to DOAB on : 2020-09-23 00:03:28
License:

Loading...
Export citation

Choose an application

Abstract

In this concise yet comprehensive Open Access textbook, future inventors are introduced to the key concepts of Cyber-Physical Systems (CPS). Using modeling as a way to develop deeper understanding of the computational and physical components of these systems, one can express new designs in a way that facilitates their simulation, visualization, and analysis. Concepts are introduced in a cross-disciplinary way. Leveraging hybrid (continuous/discrete) systems as a unifying framework and Acumen as a modeling environment, the book bridges the conceptual gap in modeling skills needed for physical systems on the one hand and computational systems on the other. In doing so, the book gives the reader the modeling and design skills they need to build smart, IT-enabled products. Starting with a look at various examples and characteristics of Cyber-Physical Systems, the book progresses to explain how the area brings together several previously distinct ones such as Embedded Systems, Control Theory, and Mechatronics. Featuring a simulation-based project that focuses on a robotics problem (how to design a robot that can play ping-pong) as a useful example of a CPS domain, Cyber-Physical Systems: A Model-Based Approach demonstrates the intimate coupling between cyber and physical components, and how designing robots reveals several non-trivial control problems, significant embedded and real-time computation requirements, and a need to consider issues of communication and preconceptions.

Semantic Systems. In the Era of Knowledge Graphs

Authors: --- --- --- --- et al.
Book Series: Lecture Notes in Computer Science; Information Systems and Applications, incl. Internet/Web, and HCI ISBN: 9783030598334 Year: Pages: 127 DOI: 10.1007/978-3-030-59833-4 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-11-19 00:19:47
License:

Loading...
Export citation

Choose an application

Abstract

This open access book constitutes the refereed proceedings of the 16th International Conference on Semantic Systems, SEMANTiCS 2020, held in Amsterdam, The Netherlands, in September 2020. The conference was held virtually due to the COVID-19 pandemic.

Supercomputing Frontiers

Author:
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030488420 Year: Pages: 139 DOI: 10.1007/978-3-030-48842-0 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-06-16 23:58:55
License:

Loading...
Export citation

Choose an application

Abstract

This open access book constitutes the refereed proceedings of the 6th Asian Supercomputing Conference, SCFA 2020, which was planned to be held in February 2020, but unfortunately, the physical conference was cancelled due to the COVID-19 pandemic. The 8 full papers presented in this book were carefully reviewed and selected from 22 submissions. They cover a range of topics including file systems, memory hierarchy, HPC cloud platform, container image configuration workflow, large-scale applications, and scheduling.

Computer Aided Verification

Authors: ---
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030532888 Year: Pages: 669 DOI: 10.1007/978-3-030-53288-8 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-09-01 00:03:41
License:

Loading...
Export citation

Choose an application

Abstract

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.

Symmetry in Engineering Sciences

Authors: ---
ISBN: 9783039218745 9783039218752 Year: Pages: 220 DOI: 10.3390/books978-3-03921-875-2 Language: English
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Technology (General) --- General and Civil Engineering
Added to DOAB on : 2019-12-09 11:49:16
License:

Loading...
Export citation

Choose an application

Abstract

This book presents interesting samples of theoretical and practical advances of symmetry in multidisciplinary engineering applications. It covers several applications, such as accessibility and traffic congestion management, path planning for mobile robots, analysis of shipment service networks, fault diagnosis methods in electrical circuits and electrical machines, geometrical issues in architecture, geometric modeling and virtual reconstruction, design of noise detectors, filters, and segmentation methods for image processing, and cyclic symmetric structures in turbomachinery applications, to name but a few. The contributions included in this book depict the state of the art in this field and lay the foundation for the possibilities that the study of symmetry has in multidisciplinary applications in the field of engineering.

Keywords

express shipment --- service network design --- linearization technique --- railway network --- path planning --- mobile robot --- environmental modeling --- optimization criteria --- path search --- aged --- high order urban hospitals (HOUHs) --- accessibility --- evaluation model --- trip impedance based on public transportation --- urban traffic planning --- 3D slicer --- classification --- extension --- random forest --- segmentation --- sensitivity analysis --- support vector machine --- tumor --- thin-walled gear --- ring damper --- vibration --- energy dissipation --- friction damping --- fault diagnosis --- lifting wavelet --- local preserving projection --- Fisher linear discriminant analysis --- semi-supervised random forest --- adaptive threshold --- clustering --- edge preserving --- noise detector --- random value impulse noise --- weighted mean filter --- anomaly detection --- local data features --- BP neural network --- local monotonicity --- convexity/concavity --- local inflection --- peaks distribution --- inclined plane --- Coalbrookdale (Shropshire) --- Agustín de Betancourt --- geometric modeling --- virtual reconstruction --- industrial heritage --- industrial archaeology --- symmetry --- rampant arch --- geometry --- optimum --- flying buttresses --- cathedral --- rolling bearings --- fault diagnosis --- broad learning model --- variational mode decomposition --- Hilbert transform --- railway transportation --- time-space network --- A* algorithm --- traffic congestion --- traffic forecasting --- traffic control --- railcar flow distribution --- asymmetry --- synchronization --- topology --- electrical circuits --- electronic devices --- mechanical structures --- robots --- graphic modelling --- complex networks --- optimization --- computing applications --- feature selection --- conditional mutual information --- feature interaction --- classification --- computer engineering

Listing 1 - 10 of 10
Sort by
Narrow your search