Webster's Revised Unabridged Dictionary
F. type,; cf. It. tipo, from L. typus, a figure, image, a form, type, character, Gr. ty`pos the mark of a blow, impression, form of character, model, from the root of ty`ptein to beat, strike; cf. Skr. tup, to hurt
Chambers's Twentieth Century Dictionary
Fr. type—L. typus—Gr. typos—typtein, to strike.
In literature:
There's one type of hearing aid that's built into glasses, you know.
"The Electronic Mind Reader" by John Blaine
This type may wear all the above colors, adding to them all the browns and purples.
"Social Life" by Maud C. Cooke
This type of culvert is shown in Fig.
"American Rural Highways" by T. R. Agg
A feature which distinguishes this type is that the seeds are covered with two kinds of fibre, a long and short, the latter being very dense.
"The Story of the Cotton Plant" by Frederick Wilkinson
Neither type was specifically trained for teaching in colleges or elsewhere.
"College Teaching" by Paul Klapper
Two types with sealed glass jars are made, these being the Delco Light Type, and the Exide type.
"The Automobile Storage Battery" by O. A. Witte
Had the Confederacy possessed but a few submarines of modern type this situation could not have persisted.
"Aircraft and Submarines" by Willis J. Abbot
As an example of this type we might mention Rose Sch.
"Benign Stupors" by August Hoch
The universe, animals, men, are all human types, evolved, or unfolded, or revealed, in the human mind.
"Carmen Ariza" by Charles Francis Stocking
No man's conversion ever makes him depart from his type, but be true to his type.
"The Evolution of the Country Community" by Warren H. Wilson
Other types do these more or less temperamental things but they do not do them as frequently nor on as short notice as this type.
"How to Analyze People on Sight" by Elsie Lincoln Benedict and Ralph Paine Benedict
The horse is a type to which all individual horses tend to conform; they pass away, but the type remains.
"History of Human Society" by Frank W. Blackmar
Let me illustrate by an example in which the hybrid standing between two types overlaps them both.
"A Critique of the Theory of Evolution" by Thomas Hunt Morgan
This type of Fuligo is very different from the preceding in form, habit, and color.
"The North American Slime-Moulds" by Thomas H. (Thomas Huston) MacBride
Now, however, the informal type replaces the stiff, formal quilled flowers of that period.
"The Practical Garden-Book" by C. E. Hunn
These quantities vary in different types of engines, but in the absence of more specific data the values in Table III will be found useful.
"Steam Engines" by Anonymous
It is probably the best extant witness to the type of Greek text which was in use in Italy at an early time.
"Encyclopaedia Britannica, 11th Edition, Volume 3, Slice 7" by Various
But the type is changing.
"The Lighter Side of School Life" by Ian Hay
The school possesses nine hangars, of which three are Bessonneau type, three wooden, and three metal.
"Jane's All the World's Aircraft" by Various
These types originated the names comb back and fan back, by which Windsor chairs of these types are known.
"Colonial Homes and Their Furnishings" by Mary H. Northend
***
In poetry:
and there's another
type. I've met them at their country
places (don't ask me what I was doing there because
I don't know).
"O, We Are The Outcasts" by Charles Bukowski
Glorious type of heav'nly grace !
Thus Christ the Lord appears;
While sinners curse, the Savior prays,
And pities them with tears.
"Psalm XXXV: Now Plead My Cause, Almighty God" by Isaac Watts
O glorious type of heav'nly grace!
Thus Christ the Lord appears;
While sinners curse, the Savior prays,
And pities them with tears.
"Psalm 35 part 2" by Isaac Watts
"Thy seed shall make all nations blest,"
(Said the Almighty voice,)
"And Canaan's land shall be their rest,
The type of heav'nly joys."
"PSALM 105 Abridged" by Isaac Watts
Whereof the man, that with me trod
This planet, was a noble type
Appearing ere the times were ripe,
That friend of mine who lives in God,
"In Memoriam 131: O Living Will That Shalt Endure" by Alfred Lord Tennyson
A pleasing type of all the change
Permitted to our eyes to see,
When she herself is free to range
Throughout the realm her rule makes free.
"The Progress Of The Rose" by Denis Florence MacCarthy
In news:
In this type of bullying, students are forced by other students to eat items they are allergic to.
Event C-Coordinator Kay Rodriguez talks about the different types of alpacas that you can see at the event.
With so much at stake, Red Bull stuck with the type they had used since Monza without trouble only for Webber to pay the price.
Face it — a bike store crammed with toned riders and their skinny bikes can be intimidating for the "Wow, I like to bike" types.
I'm eating everything — people think I'm not eating — and I'm eating McDonald's at 3AM type and it's an issue.
There are two types of early adopters: geeky technology buffs and artsy creative types.
Is there a type of music or type of playing you can do only with Béla .
Location Name Type District_Drescription House # Pre Dir Street_Name ST Type Unit # City Zipcode.
Jaguar F-Type Revealed Video The Jaguar F-Type is revelead in this video courtesy Jaguar.
Could anyone give me any info on the type of hunt I could expect, ie overcrowding,type of terrain,number of birds,etc.
Project type, building type: New construction, hotel.
Investment Business Type: Mortgage and Real Estate Business Type: Other.
Other Business Type: Investment Business Type: Mortgage and Real Estate .
Project type, building type: System overhaul, manufacturing.
As with any type of fashion some styles are fitting (literally) for certain types of people and Yoga pants are no exception.
***
In science:
For instance, a product of a type P symmetry with a type C, Q or K symmetry is again a type C, Q or K .
A Classification of Non-Hermitian Random Matrices
In other words, we exhibit a simple (non type I) C ∗ -algebras that neither corresponds to a type II1 or to a type III factor.
A simple C*-algebra with a finite and an infinite projection
The type TU(τ ) models type-unifying strategies where all types are mapped to τ .
Typed Generic Traversal With Term Rewriting Strategies
Typing judgements The principal judgement of the type system is the type judgement for strategies.
Typed Generic Traversal With Term Rewriting Strategies
As for s1 + s2, the result type coincides with the argument types, and hence, type preservation is implied by the IH.
Typed Generic Traversal With Term Rewriting Strategies
In the typing rule [extend], we check if the actual type π ′ of s in s π is an instance of the type π for the planned extension.
Typed Generic Traversal With Term Rewriting Strategies
The typing rule for ⊥ states that every type is mapped to the most trivial type (cf. [void]).
Typed Generic Traversal With Term Rewriting Strategies
Using intersection types, we say that a function f is of type a ∩ b if f can play the role of both an element of type a and of type b.
Typed Generic Traversal With Term Rewriting Strategies
A strategy of type TA(τ ) takes a pair hx, ai where x can be of any term type and a is of type τ, and it returns the resulting value a′ of type τ .
Typed Generic Traversal With Term Rewriting Strategies
Then, the type scheme TE(τ ) denotes all strategies that take a pair hx, ei where x can be of any term type and e is of type τ, and it returns a resulting term x′ .
Typed Generic Traversal With Term Rewriting Strategies
The Whitney sum of two bundle systems of Arnold-Givental type still has Arnold-Givental type and hence one can consider the K -group KAG (X ) of bundle systems of Arnold-Givental type over X .
The Arnold-Givental conjecture and moment Floer homology
In both cases, Type 1 and Type 2, there exists an element b ∈ G+ such that bp = ∆2 and b generates H (take b = a if H is of Type 1, and b = a µ(a) if H is of Type 2).
Artin groups of spherical type up to isomorphism
Under the stronger assumption that k contains a semisimple regular element of g, we prove that any simple (g, k)-module with generic minimal k-type is necessarily of ﬁnite type, and hence obtain a reconstruction theorem for a class of simple (g, k)-modules which can a priori have inﬁnite type.
Generalized Harish-Chandra modules with generic minimal $\frak k$-type
The anisotropic kernel in each type is the anisotropic group of the type described by the Dynkin diagram obtained by removing the special vertices denoted by •. A group of type F4 of split rank i is denoted by F4,i, for i = 0, 1, 4.
Arithmetic of algebraic groups
Following the notation in Csisz´ar and K¨orner, let px denote the type of a sequence x ∈ X N (px is an empirical p.m.f. over X ) and Tx the type class associated with px, i.e., the set of all sequences of type px .
Capacity and Random-Coding Exponents for Channel Coding with Side Information
***