Time-encoding VCO-ADCs for Integrated Systems-on-Chip: Principles, Architectures and Circuits by Georges Gielen , Luis Hernandez-Corporales , Pieter Rombouts English | EPUB (True) | 2022 | 118 Pages | ISBN : 3030880664 | 22.6 MB
This book demonstrates why highly-digital CMOS time-encoding analog-to-digital converters incorporating voltage-controlled oscillators (VCOs) and time-to-digital converters (TDCs) are a good alternative to traditional switched-capacitor S-D modulators for power-efficient sensor, biomedical and communications applications. The authors describe the theoretical foundations and design methodology of such time-based ADCs from the basics to the latest developments. While most analog designers might notice some resemblance to PLL design, the book clearly highlights the differences to standard PLL circuit design and illustrates the design methodology with practical circuit design examples.
The Enterprise edition offers support to localize remote databases like SQLServer and other. Visual JSP,ASP and PHP support makes it the most complete Sisulizer edition.It can be called from build tools to automate software distribution. The capability to access shared external translations memories makes it the perfect solution for team development. New: With the Enterprise Edition you now can also localize any HTML Help files (.chm).Of course the Enterprise edition has everything the smaller editions also have.
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types by Boro Sitnikovski English | March 18, 2023 | ISBN: 1484292588 | 175 pages | MOBI | 0.86 Mb
The Pillars of Computation Theory: State, Encoding, Nondeterminism by Arnold L. Rosenberg English | PDF | 2010 | 331 Pages | ISBN : 0387096388 | 3.13 MB
Computation theory is a discipline that strives to use mathematical tools and concepts in order to expose the nature of the activity that we call “computation” and to explain a broad range of observed computational phenomena. Why is it harder to perform some computations than others? Are the differences in difficulty that we observe inherent, or are they artifacts of the way we try to perform the computations? Even more basically: how does one reason about such questions?