Search
Search Results
-
Design of Control Circuits
This chapter discusses the design of control circuits for low-voltage charge pumps, as illustrated in Fig. 4.1. VS and VPP are the input and output...
-
System, Thermoelectric Generator and Power Converter
This chapter provides an overview of the IoT sensor edge module, thermoelectric generator (TEG) and power converter. The target specifications of...
-
Design Fundamentals of a Low-Voltage Charge Pump
This chapter focuses on the design fundamentals of low-voltage charge pumps. The circuit structure and operation are overviewed. The circuit is...
-
System Design
This chapter discusses the optimum design for a system with an energy transducer and voltage multiplier. An equivalent circuit model is presented to...
-
Design of Battery Chargers
This chapter provides the design methodology for battery chargers powered by TEGs. To prevent the minimum open-circuit voltage from being limited by...
-
Design and Tool Solutions for Monolithic Three-Dimensional Integrated Circuits
This chapter is to identify the benefits and challenges of monolithic three-dimensional integrated circuits and to introduce physical design and tool...
-
Study of Inhomogeneities of Microwave Circuits
This chapter presents a method for calculating the structure of the electromagnetic field within microwave circuits, which is based on their [S]...
-
Dynamic Tuning of Core Counts to Maximize Performance in Object-Based Runtime Systems
Relatively recent developments in supercomputer nodes, such as higher physical and virtual core counts per node, aim to speed up HPC application...
-
The Study of the Electromagnetic Field from Shielded Microstrip Line Using Electrodynamic Method
This chapter presents the electrodynamic method used to study the electromagnetic field in the shielded microstrip line. This method validates the...
-
Study of Microwave Circuits Using Scattering Parameters
This chapter presents a valid method in the field of microwave, which aims to eliminate the difficulties involved in the analysis of multi-port using...
-
Microwave Transistor Amplifier
This chapter presents the theoretical considerations of defining and achieving the stability, power gain, and noise figure of the amplifier; these...
-
Logical Expressibility of Syntactic NL for Complementarity and Maximization
In a discussion on the computational complexity of “parameterized” NL (nondeterministic logarithmic-space complexity class), Syntactic NL or...
-
Syntactic Concept Lattice Models for Infinitary Action Logic
We introduce models for infinitary action logic, i.e., the infinitary extension of multiplicative-additive Lambek calculus with the Kleene star, on...
-
A Logic of Isolation
In the vein of recent work that provides non-normal modal interpretations of various topological operators, this paper proposes a modal logic for a...
-
Correspondence Theory on Vector Spaces
This paper extends correspondence theory to the framework of \(\mathbb {K}\)...
-
Rules of Partial Orthomodularity
The rule of orthomodularity is important, for example due to its foundational role in quantum logic. However, orthomodularity is a restriction that...
-
Intersection Types via Finite-Set Declarations
The \(\lambda \) -cube is a famous pure type system (PTS)...
-
Polyadic Quantifiers on Dependent Types
An interaction between dependency relations and quantification underlies numerous phenomena in natural language. Dependencies are responsible for...
-
Labelled Sequent Calculi for Inquisitive Modal Logics
We present cut-free labelled sequent calculi for various systems of inquisitive modal logic, including inquisitive epistemic logic and inquisitive...
-
Highly Flexible Dielectric Platform for Post-CMOS Photonics
We present a photonic technological development service that includes an 8″ wafer-scale optical-lithography photonic platform customizable to...