Sökt på: Sökresultat
totalt 42 träffar
Enabling Smart Urban Services with GPS Trajectory Data
With the proliferation of GPS devices in daily life, trajectory data that records where and when people move is now readily available on a large scale. As one of the most typical …
Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales
This book systematically establishes the almost periodic theory of dynamic equations and presents applications on time scales in fuzzy mathematics and uncertainty theory. The …
Network and Parallel Computing
This book constitutes the proceedings of the 14th IFIP WG 10.3 International Conference on Network and Parallel Computing, NPC 2017, held in Hefei, China, in October 2017.The 9 …
Information Literacy Education of Higher Education in Asian Countries
This book focuses on information literacy in higher education from Asian countries. It explores the changing concepts, philosophies, learning environments, and technological …
Computer Aided Verification
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 …
Combined Measure and Shift Invariance Theory of Time Scales and Applications
This monograph is devoted to developing a theory of combined measure and shift invariance of time scales with the related applications to shift functions and dynamic equations. The …
Espectrómetro de energía de electrones de tiempo de vuelo
Cryogenic Engineering and Technologies
Cryogen-free cryogenics is leading a revolution in research and industry by its significant advantages over traditional liquid helium systems. This is the first overview for the …
Abstraction Refinement for Large Scale Model Checking
Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Considering both the size of …
Mathematical Principles of Mechanics and Electromagnetism
Part B Electromagnetism and Gravitation.
Theory of Translation Closedness for Time Scales
This monograph establishes a theory of classification and translation closedness of time scales, a topic that was first studied by S. Hilger in 1988 to unify continuous and …
Engineering Design under Uncertainty and Health Prognostics
This book presents state-of-the-art probabilistic methods for the reliability analysis and design of engineering products and processes. It seeks to facilitate practical …