979 resultados para Ely, Ezra Stiles, 1786-1861.


Relevância:

10.00% 10.00%

Publicador:

Resumo:

http://books.google.com/books?vid=OCLC05060511&id=B1cMAAAAIAAJ&a_sbrr=1 via Google Book Index

Relevância:

10.00% 10.00%

Publicador:

Resumo:

http://www.archive.org/details/modernreligiousm025064mbp

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Digitized by Google

Relevância:

10.00% 10.00%

Publicador:

Resumo:

http://books.google.com/books?id=plhkPFrJ1QUC&dq=law+and+custom+of+slavery+in+British+India

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Reproduction of copy held by Special Collections, Bridewell Library, Perkins School of Theology, Southern Methodist University. Includes both DjVu and PDF files for download. Mode of access: World Wide Web.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

http://www.archive.org/details/memorialvolumeof00andeiala

Relevância:

10.00% 10.00%

Publicador:

Resumo:

http://www.archive.org/details/historyofchristi003076mbp

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Web caching aims to reduce network traffic, server load, and user-perceived retrieval delays by replicating "popular" content on proxy caches that are strategically placed within the network. While key to effective cache utilization, popularity information (e.g. relative access frequencies of objects requested through a proxy) is seldom incorporated directly in cache replacement algorithms. Rather, other properties of the request stream (e.g. temporal locality and content size), which are easier to capture in an on-line fashion, are used to indirectly infer popularity information, and hence drive cache replacement policies. Recent studies suggest that the correlation between these secondary properties and popularity is weakening due in part to the prevalence of efficient client and proxy caches (which tend to mask these correlations). This trend points to the need for proxy cache replacement algorithms that directly capture and use popularity information. In this paper, we (1) present an on-line algorithm that effectively captures and maintains an accurate popularity profile of Web objects requested through a caching proxy, (2) propose a novel cache replacement policy that uses such information to generalize the well-known GreedyDual-Size algorithm, and (3) show the superiority of our proposed algorithm by comparing it to a host of recently-proposed and widely-used algorithms using extensive trace-driven simulations and a variety of performance metrics.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

We present a procedure to infer a typing for an arbitrary λ-term M in an intersection-type system that translates into exactly the call-by-name (resp., call-by-value) evaluation of M. Our framework is the recently developed System E which augments intersection types with expansion variables. The inferred typing for M is obtained by setting up a unification problem involving both type variables and expansion variables, which we solve with a confluent rewrite system. The inference procedure is compositional in the sense that typings for different program components can be inferred in any order, and without knowledge of the definition of other program components. Using expansion variables lets us achieve a compositional inference procedure easily. Termination of the procedure is generally undecidable. The procedure terminates and returns a typing if the input M is normalizing according to call-by-name (resp., call-by-value). The inferred typing is exact in the sense that the exact call-by-name (resp., call-by-value) behaviour of M can be obtained by a (polynomial) transformation of the typing. The inferred typing is also principal in the sense that any other typing that translates the call-by-name (resp., call-by-value) evaluation of M can be obtained from the inferred typing for M using a substitution-based transformation.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In order to widely use Ge and III-V materials instead of Si in advanced CMOS technology, the process and integration of these materials has to be well established so that their high mobility benefit is not swamped by imperfect manufacturing procedures. In this dissertation number of key bottlenecks in realization of Ge devices are investigated; We address the challenge of the formation of low resistivity contacts on n-type Ge, comparing conventional and advanced rapid thermal annealing (RTA) and laser thermal annealing (LTA) techniques respectively. LTA appears to be a feasible approach for realization of low resistivity contacts with an incredibly sharp germanide-substrate interface and contact resistivity in the order of 10 -7 Ω.cm2. Furthermore the influence of RTA and LTA on dopant activation and leakage current suppression in n+/p Ge junction were compared. Providing very high active carrier concentration > 1020 cm-3, LTA resulted in higher leakage current compared to RTA which provided lower carrier concentration ~1019 cm-3. This is an indication of a trade-off between high activation level and junction leakage current. High ION/IOFF ratio ~ 107 was obtained, which to the best of our knowledge is the best reported value for n-type Ge so far. Simulations were carried out to investigate how target sputtering, dose retention, and damage formation is generated in thin-body semiconductors by means of energetic ion impacts and how they are dependent on the target physical material properties. Solid phase epitaxy studies in wide and thin Ge fins confirmed the formation of twin boundary defects and random nucleation growth, like in Si, but here 600 °C annealing temperature was found to be effective to reduce these defects. Finally, a non-destructive doping technique was successfully implemented to dope Ge nanowires, where nanowire resistivity was reduced by 5 orders of magnitude using PH3 based in-diffusion process.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Stair na Gaeilge i gCo. Thiobraid Árann i rith na tréimhse 1700-1901 atá á ríomhadh sa tráchtas seo. Tar éis a cúlra agus a comhthéacs a shuíomh i gCaibidil a hAon, déantar scríobhaithe an cheantair a áireamh, fara tráchtaireacht orthu, i gCaibidil a Dó. I gCaibidlí a Trí agus a Ceathair, féachtar ar thionchar na hEaglaisí Caitlicí agus Eaglais na hÉireann (i measc eaglaisí Protastúnacha eile) ar an dteangain. I gCaibidil a Cúig, faightear spléachadh ar ghnéithe éagsúla de shaíocht an chontae, ag tabhairt léargais ar tháirgí na scríobhaithe, ar leabhair a clóbhualadh sa réigiún, agus ar fhilí móra na háite, leithéidí Liam Daill Uí Ifearnáin, ag sonrú limistéir faoi leith, an t-oirdheisceart, mar shampla. Léirítear éifeacht na gcumann Gaelach agus na ndíograiseoirí iomadúla a bhain leo. Ábhar suime, leis, feidhm na Gaeilge sna cúirteanna dlí. Tugtar faisnéis i gCaibidil a Sé ar fhianaise cuairteoirí ar an Ghaeilge mar urlabhra i dTiobraid Árann. Is anseo chomh maith a deintear anailís ar Dhaonáirimh na mblianta 1861-1901, le mórchuid adhmaid á baint as ceann 1901 go háirithe. Breactar as ainmneacha sagart agus múinteoirí le Gaeilge, agus tráchtar ar aicmí suntasacha eile, na póilíní agus na saighdiúirí a raibh an teanga sin ina mbéal acu. Tugtar le chéile dá réir na snáithíní difriúla eolais ar an dúiche ar bhealach nár tharla cheana don gcontae casta fairsing seo le haghaidh na tréimhse atá idir lámha ag an saothar.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The Haward of Dictionary of Music (1983), defines variation as "a technique modifying a given musical idea." From the Baroque period on, the form and the techniques of variation were developed and enriched in Germany and France. Therefore, I presented the works of composers from these two nations. Even though there was a vast number of possibilities, I wanted to be scholastically fair and interesting in making my selections by choosing well-known pieces along with lesser-known ones. Haydn's well-known Variations in F minor consist of two sets of double variations which break into an improvisation fantasy. The first movement of Beethoven Sonata in A flat major, Op. 26, is a set of five variations on the composer's original theme. The variations are positioned in the first movement instead of Sonata-Allegro form. In 1861 Brahrns composed the Variations and Fugue, Op. 24, on the theme of Handel. Brahms displays a wealth of rhythmic, harmonic and textural contrasts in the variations. Chopin's E Major Variations without opus number are written on a Swiss influenced German folksong. Faure's Theme and Variations in C sharp minor, Op. 73, includes eleven variations. The work displays the composer's subtlety, grace and reticence. 12 Variationen iiber ein eigenes Thema were written by Alban Berg as a composition study with Schonberg. The Finale of Dutilleux's Piano Sonata, titled "Chorale with Variations", is written in an impressionistic style. A rich expressiveness is well blended in a classical form. In 1742, the remarkable Aria and thirty variations known as the Goldberg Variations were composed by J. S. Bach. The thirty Variations are unified by the bass line, which forms the foundation of the Aria. The pieces discussed above were presented in three recitals. Compact disc recordings of these recitals are available in the Michelle Smith Performing Arts Library of the Clarice Smith Performing Arts Center at the University of Maryland.