Results 1  10
of
4,619
Parameter Symbol Value Unit
"... The KA431S/KA431SA/KA431SL are threeterminal adjustable regulator series with a guaranteed thermal stability over applicable temperature ranges. The output voltage may be set to any value between VREF (approximately 2.5 volts) and 36 volts with two external resistors These devices have a typical dy ..."
Abstract
 Add to MetaCart
The KA431S/KA431SA/KA431SL are threeterminal adjustable regulator series with a guaranteed thermal stability over applicable temperature ranges. The output voltage may be set to any value between VREF (approximately 2.5 volts) and 36 volts with two external resistors These devices have a typical
Rating Symbol Value Unit
"... The ESD8004 transient voltage suppressor is designed to protect high speed data lines from ESD. Ultra−low capacitance and low ESD clamping voltage make this device an ideal solution for protecting voltage sensitive high speed data lines. The flow−through style package allows for easy PCB layout and ..."
Abstract
 Add to MetaCart
The ESD8004 transient voltage suppressor is designed to protect high speed data lines from ESD. Ultra−low capacitance and low ESD clamping voltage make this device an ideal solution for protecting voltage sensitive high speed data lines. The flow−through style package allows for easy PCB layout and matched trace lengths necessary to maintain consistent impedance between high speed differential lines such as USB 3.0.
Culture in action: Symbols and strategies
 American Sociological Review
, 1986
"... Culture influences action not by providing the ultimate values toward which action is oriented, but by shaping a repertoire or "tool kit " of habits, skills, and styles from which people construct "strategies of action. " Two models of cultural influence are developed, for settle ..."
Abstract

Cited by 482 (0 self)
 Add to MetaCart
Culture influences action not by providing the ultimate values toward which action is oriented, but by shaping a repertoire or "tool kit " of habits, skills, and styles from which people construct "strategies of action. " Two models of cultural influence are developed
a) The Two SymbolValued Logic.
"... In this paper we present a short history of logics: from particular cases of 2symbol or numerical valued logic to the general case of nsymbol or numerical valued logic. We show generalizations of 2valued Boolean logic to fuzzy logic, also from the Kleene’s and Lukasiewicz ’ 3symbol valued logics ..."
Abstract
 Add to MetaCart
In this paper we present a short history of logics: from particular cases of 2symbol or numerical valued logic to the general case of nsymbol or numerical valued logic. We show generalizations of 2valued Boolean logic to fuzzy logic, also from the Kleene’s and Lukasiewicz ’ 3symbol valued
Symbolic Model Checking for Realtime Systems
 INFORMATION AND COMPUTATION
, 1992
"... We describe finitestate programs over realnumbered time in a guardedcommand language with realvalued clocks or, equivalently, as finite automata with realvalued clocks. Model checking answers the question which states of a realtime program satisfy a branchingtime specification (given in an ..."
Abstract

Cited by 578 (50 self)
 Add to MetaCart
We describe finitestate programs over realnumbered time in a guardedcommand language with realvalued clocks or, equivalently, as finite automata with realvalued clocks. Model checking answers the question which states of a realtime program satisfy a branchingtime specification (given
Capacity of a Mobile MultipleAntenna Communication Link in Rayleigh Flat Fading
"... We analyze a mobile wireless link comprising M transmitter and N receiver antennas operating in a Rayleigh flatfading environment. The propagation coefficients between every pair of transmitter and receiver antennas are statistically independent and unknown; they remain constant for a coherence int ..."
Abstract

Cited by 495 (22 self)
 Add to MetaCart
interval of T symbol periods, after which they change to new independent values which they maintain for another T symbol periods, and so on. Computing the link capacity, associated with channel coding over multiple fading intervals, requires an optimization over the joint density of T M complex transmitted
2007), Symbolic values, occupational choice, and economic development
 IZA Discussion Papers, N
"... We are grateful to seminar participants at various universities and research institutes for helpful comments. This paper was partly written while Olivier Jeanne was visiting the Department of Economics of Princeton University, whose hospitality is gratefully acknowledged. A ¢ liation of authors: Cor ..."
Abstract

Cited by 8 (2 self)
 Add to MetaCart
We are grateful to seminar participants at various universities and research institutes for helpful comments. This paper was partly written while Olivier Jeanne was visiting the Department of Economics of Princeton University, whose hospitality is gratefully acknowledged. A ¢ liation of authors: Corneo:
HyTech: A Model Checker for Hybrid Systems
 Software Tools for Technology Transfer
, 1997
"... A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, in a single formalism, automaton transitions for capturing discrete change with differential equations for capturing conti ..."
Abstract

Cited by 473 (6 self)
 Add to MetaCart
continuous change. HyTech is a symbolic model checker for linear hybrid automata, a subclass of hybrid automata that can be analyzed automatically by computing with polyhedral state sets. A key feature of HyTech is its ability to perform parametric analysis, i.e. to determine the values of design parameters
CORDES CHARACTERIZATION FOR PSEUDODIFFERENTIAL OPERATORS WITH SYMBOLS VALUED ON A
, 812
"... Abstract. Given a separable unital C ∗algebra A with norm   · , let E denote the Banachspace completion of the Avalued Schwartz space on R n with norm f2 = 〈f, f〉  1/2, 〈f, g 〉 = R f(x) ∗ g(x) dx. The assignment of the pseudodifferential operator B = b(x, D) with Avalued symbol b( ..."
Abstract
 Add to MetaCart
Abstract. Given a separable unital C ∗algebra A with norm   · , let E denote the Banachspace completion of the Avalued Schwartz space on R n with norm f2 = 〈f, f〉  1/2, 〈f, g 〉 = R f(x) ∗ g(x) dx. The assignment of the pseudodifferential operator B = b(x, D) with Avalued symbol b
THE SYMBOLIC VALUE OF A THING: AN ANALYSIS OF THE KRAVATA IN CROATIA
"... The subject of this paper is a thing, or rather an object, the social phenomena of the neck tie in Croatia. The popularity of the neck tie, or in Croatian the kravata, is at the present time undergoing a particular kind of renaissance in Croatia. It is not that Croatians are running around purchasi ..."
Abstract
 Add to MetaCart
of the kravata. The kravata is now being promoted as a national symbol of Croatia; a testament to the shared cultural heritage of Croatia and Europe. Indeed, it is true that Croatian mercenaries
Results 1  10
of
4,619