Formal Methods for the Analysis of Biomedical Ontologies
The book synthesizes research on the analysis of biomedical ontologies using formal concept analysis, including through auditing, curation, and enhancement. As the evolution of biomedical ontologie…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-12131-9
- Collation
- xiv, 245p.: Ill.
- Series Title
- Synthesis Lectures on Data, Semantics, and Knowledge
- Call Number
- 005.75 For
Flood Resources Utilization in the Yangtze River Basin
This book is highly informative and carefully presented, providing scientific insights into the flood resources utilization in the Yangtze River Basin both for scholars and decision-makers. The b…
- Edition
- 1
- ISBN/ISSN
- 978-981-15-8108-3
- Collation
- xvi, 353p.:ill
- Series Title
- -
- Call Number
- 553. Flo
Index Modulation for OFDM Communications Systems
Thanks to their considerable advantages, index modulation and orthogonal frequency division multiplexing (OFDM) are considered to be promising candidates for future wireless communications. This bo…
- Edition
- 1
- ISBN/ISSN
- 978-981-15-9407-6
- Collation
- xiv, 172p.:Ill
- Series Title
- Wireless Networks
- Call Number
- 004.6 Wen i
Third Harmonic Utilization in Permanent Magnet Machines
This book investigates the utilization of harmonics in the permanent magnet (PM) or rotor shape to improve the torque density of PM brushless AC machines including three-phase inner rotor and outer…
- Edition
- 1
- ISBN/ISSN
- 978-981-13-0629-7
- Collation
- XI, 211p.:Ill
- Series Title
- -
- Call Number
- 621.4 Wan t
Trace-Based Post-Silicon Validation for VLSI Circuits
This book first provides a comprehensive coverage of state-of-the-art validation solutions based on real-time signal tracing to guarantee the correctness of VLSI circuits. The authors discuss seve…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-00533-1
- Collation
- xv, 108p.: Ill.
- Series Title
- Lecture Notes in Electrical Engineering
- Call Number
- 621.395 Liu t
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography