Products/Services for Inductance Definition

  •  
    RF Inductors - (71 companies)
    RF inductors are special inductors designed to be used in radio frequency (RF) and microwave applications. RF inductors are special inductors designed to be used in radio frequency (RF) and microwave applications. Inductors are basic passive...
    Show More
  • Chip Inductors-Image
    Chip Inductors - (220 companies)
    Chip inductors are manufactured using semiconductor material. General specifications, performance specifications and features are all important parameters to consider when searching for chip inductors. General Specifications for chip inductors...
    Show More
  • Inductance Standards and Decades-Image
    Inductance Standards and Decades - (14 companies)
    Inductance standards and decades provide highly accurate and digitally variable standard values of inductance for calibration, comparison and testing. Inductance opposes a change in an electrical circuit and is usually measured in henries (H...
    Show More
  • Electrical Inductance Sensors-Image
    Electrical Inductance Sensors - (9 companies)
    Electrical inductance sensors measure the inductance of an electrical component or system. Electrical inductance sensors are non-contact devices that measure the inductance of an electrical component or system. They consist of a wire loop or coils...
    Show More
  • Inductors, Coils, and Chokes-Image
    Inductors, Coils, and Chokes - (1004 companies)
    Inductors coils and chokes are passive components that are designed to resist changes in current and store energy in the form of a magnetic field. Inductors, coils and chokes are passive devices that are designed to resist changes in current...
    Show More
  •  
    LCR Meters - (140 companies)
    LCR meters and impedance meters measures inductance (L), capacitance (C), and resistance or impedance (R). Instruments used for LCR measurements are built as universal and multifunctional devices. They enable automatic (triggered or cyclic...
    Show More
  •  
    Decade Boxes and Dividers - (63 companies)
    Decade boxes and dividers provide highly accurate and digitally variable standard values of resistance, capacitance, inductance, voltage and/or current for calibration, comparison and testing. Decade boxes and dividers include decade inductors...
    Show More
  •  
    Magnetic Cores - (76 companies)
    Magnetic cores are doughnut-shaped magnetic materials that are used with inductors, transformers and electromagnets. They are also used as computer memory elements. Magnetic cores are made of metal or ceramic materials that produce a flux field when...
    Show More
  •  
    Electrical Coil Winding Machines - (55 companies)
    Electrical coil winding machines are used to wind coils for motors, transformers, inductors and chokes. Coil winding equipment is used in a variety of wire winding, wire welding, and wire bonding applications. Some electrical coil winding machines...
    Show More
  •  
    IC Switching Voltage Regulators - (127 companies)
    IC switching voltage regulators are integrated circuits (ICs) that store energy in an inductor, transformer, or capacitor and then use this storage device to transfer energy from the input to the output in discrete packets over a low-resistance...
    Show More

Product News

More Information

Lock Indicates content that may require registration and/or purchase. Powered by IHS Goldfire

  • Homotopy Type Theory: Univalent Foundations of Mathematics
    156 5.6 The general syntax of inductive definitions . . . . . . . . . . . . . . . . . . . . . . .
  • Proof Theory
    monotone Π0 1 –definable inductive definitions in Chapter 13 is an application of the analysis of (Π2–REF).
  • Gentzen's Centenary
    A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions .........................................................................
  • Theorem Proving in Higher Order Logics
    This work draws its theoretical and practical background from all the work done around inductive definitions in mathematics and computer based theorem proving tools.
  • Higher-Order Computability
    272 6.4.4 Kleene Computability via Inductive Definitions . . . . . . . . . . .
  • Interactive Theorem Proving
    This theorem is proved using induction defined by the scheme of the run-loop function and the two block-correct theorems for the run-next and run-last func- tions.
  • Concrete Semantics
    It teaches you how to write functional programs and inductive definitions and how to prove properties about them in Isa- belle’s structured proof language.
  • Algebra and Coalgebra in Computer Science
    A Categorical Semantics for Inductive- Inductive Definitions . . . . . . . . . . .
  • Handbook of Set Theory
    We now turn to the inductive definition .
  • Interactive Theorem Proving
    Every type is encoded using the constructs allowed by the system (primarily, inductive definitions ).