Filters








1,464 Hits in 4.4 sec

let (rec) insertion without Effects, Lights or Magic [article]

Oleg Kiselyov, Jeremy Yallop
2022
We now show how one can understand let insertion, and hence implement it in plain OCaml. We give the first denotational semantics of let(rec)-insertion, which does not rely on any effects at all.  ...  The formalization has guided the implementation of let(rec) insertion in the current version of MetaOCaml.  ...  When saying that our system performs let-insertion without any effects, we need to clarify what an effect is.  ... 
doi:10.48550/arxiv.2201.00495 fatcat:lrypyobhsbc3tbfydxd4nn2kfy

Investigation of ultrasonic properties of MAGIC gels for pulse-echo gel dosimetry

T J Atkins, V F Humphrey, F A Duck, M A Tooley
2010 Journal of Physics, Conference Series  
This extends work that has previously been reported for the properties of this gel to the effect of measurement temperature on the results.  ...  This material is matched to the acoustic impedance of MAGIC gel to produce the most dose-sensitive reflections.  ...  Let the average receiver pressure without the sample be p rec (z T ) and the sample have a transmission coefficient Λ (allowing for attenuation and transmission at the The magnitude of the error in estimating  ... 
doi:10.1088/1742-6596/250/1/012075 fatcat:ufnnnaldtzbsvgzzmw22hhqara

The Glosses in the Magical Papyrus of London and Leiden

F.LL. GRIFFITH
1910 Zeitschrift für Agyptische Sprache und Altertumskunde  
Its subject-matter--magic and medicine-is not destitute of interest.  ...  It is closely connected with the Greek magical papyri from Egypt of the same period, but, being written in demotic, naturally does not reproduce the Greek hymns which are so important a feature of those  ...  You invoke the light, saying, 'Hail, p. 122 p. 123 [paragraph continues] (25) O light, come forth (bis) O light, rise (bis) O light, increase (bis) O light, O that which is without, come in.'  ... 
doi:10.1524/zaes.1910.4546.jg.265 fatcat:sezdpl5bqjaibcntnov5amfgay

Make and Let Die: Untimely Sovereignties [article]

(:Unkn) Unknown, University, My, University, My, Eileen A. Joy
2020
power "to make die and let live."  ...  head of the classical (premodern) sovereign, the one "who made die and let live."  ...  The eyes roll unnaturally in the head, without any corresponding motions of the lids or brows.  ... 
doi:10.34944/dspace/154 fatcat:tu24f3zqv5g53foffirjyxqanq

Time-resolved study of recoil-induced rotation by X-ray pump - X-ray probe spectroscopy

Ji-Cai Liu, Nina Ignatova, Victor Kimberg, Pavel O Krasnov, Alexander Föhlisch, Marc Simon, Faris Gelmukhanov
2022 Physical Chemistry, Chemical Physics - PCCP  
The recoil-induced contribution is equal to zero when the pump or probe pulse is not polarized 3cos 2 y À 1 -0 or y is equal to the magic angle y m ¼ cos À1 1= ffiffi ffi 3 p À Á % 54:7 .  ...  The dashed diagonal line in the insert corresponds to the recoil angular momentum J rec = akR (6).  ... 
doi:10.1039/d1cp05000a pmid:35234760 pmcid:PMC8925299 fatcat:rvegwev2zjayje6qlowaal3sta

Epigram: Practical Programming with Dependent Types [chapter]

Conor McBride
2005 Lecture Notes in Computer Science  
However, sooner or later, most programs inspect data and make a choice-at that point our familiar type systems fall silent. They simply can't talk about specific data.  ...  Implement the insertion of a number into a tree: let n : Nat ; t : Tree Bool (Maybe Nat) insert n t : Tree Bool (Maybe Nat) let xs : Vec m X ; ys : Vec n X vappend m xs ys : Vec (plus m n) X vappend  ...  The bare text, without colour or other markup, is what gets elaborated.  ... 
doi:10.1007/11546382_3 fatcat:2g67lrxqvvhnhj2qos365hbgoe

Page 191 of New Outlook Vol. 29, Issue 8 [page]

1884 New Outlook  
Box, 2280, New York Wanted—By a missionary in Japan, a Magic Lantern with Scriptural Views, or either sepa- rately. Address Rev. George V.  ...  SAVES LABOR, TIME and SOAP AMAZ- snd gives universal satisfaction ch or poor should be without 1t. Sold by rocers. BEWARE of imitations well designed to mislead.  ... 

The Automatic Substation from an Economic Standpoint

1920 Scientific American  
CEMCOATthe durable mirror-like coating reftects-· all the light. or flat, white and colors. UGNOPHOL-the modern wood pre servative,_ gives _new life to _ olel or new wooden floors.  ...  TRADE MARK the liquid chemical makes old or new concrete floors " grind proof and dust free , " even under l1eavy trucking.  ...  Let us place a copy with V t& · Serge ant St.  ... 
doi:10.1038/scientificamerican05011920-498 fatcat:zecrqfoh4bfzxdbifib3asplwy

Page 734 of The Athenaeum Vol. , Issue 2145 [page]

1868 The Athenaeum  
CAMERON, Secretary COLONIAL INVESTMENTS, ‘HE C EYL ON COMPANY, LIMITED, ure pre l to effect Investments on Mortgage, in Ceylon 0 = rariita " wi th or without their guarantee, as may be esirec further particulars  ...  J 110 and 108, Regent-street, W. ect, c peal Pees a g oxy-hydrogen light. by the approval o African explorer. Martin, Stereoscopic Company, rSXHE ZOETROPE;; or, Ww heel of Life.  ... 

Page 1 of Episcopal Recorder Vol. 13, Issue 14 [page]

1835 Episcopal Recorder  
Or are we pleased only with these rallies? Which?—We wish the prcBS would huld up a little, give us something more substantial, and let us Unilariaiiism.  ...  —We inserted last week at Tecumseh, on the I3th June, Rev.  ... 

THE CONTRIBUTIONS OF CHINA TO THE SCIENCE AND ART OF MEDICINE

E. H. Hume
1924 Science  
Let a man like Victor Heiser be sent to the Philippines or to Siam or to China and you get more than health organization. You get transformed life; you get international brotherhood.  ...  The pr fession was thus seen to be passing into the hands of trained men who fought disease, not with magic, bu! with elixirs or wines.  ... 
doi:10.1126/science.59.1529.345 pmid:17801240 fatcat:iecujq6b45gxlf3u2tdnrarvwy

Page 39 of Albion, a Journal of News, Politics, and Literature Vol. 11, Issue 5 [page]

1832 Albion, a Journal of News, Politics, and Literature  
Let every person then, | while this disorder prevails among us, apply to the best medical aid the moment gastric irritation, or any unusnal uneasiness islelt in the stomach or bowels.  ...  That the Ku g may not be forced to do that te which he objects, many Lords have withdrawn or moderated their oppo ttron; but the | effects the same.  ... 

Page 3 of Zion's Herald Vol. 37, Issue 51 [page]

1866 Zion's Herald  
heat rash, flee away almost like magic under its rapidly soothin, and healing effect.  ...  Let us gather them in where the light is; then it may be ours to hear them sing when the light breaks in upon their hearts. Tens of thousand have never yet enjoyed the light of Holy Scripture.  ... 

Page 119 of Albion, a Journal of News, Politics, and Literature Vol. 2, Issue 15 [page]

1834 Albion, a Journal of News, Politics, and Literature  
Lane, who exchs. rec. diff —49th Do: Ens. H. Rainey to be Lieut. without pur. v. Bisch, dec. ; Gent. Cadet R. D. Kelley from the Royal Mil. Col. to be Ens. v.  ...  Dawson has been cancelled from @let February, 1834, inclusive, he having +. Mr.  ... 

X-ray Through Very-High-Energy Intrabinary Shock Emission from Black Widows and Redbacks [article]

Christian J. T. van der Merwe, Zorawar Wadiasingh, Christo Venter, Alice K. Harding, Matthew G. Baring
2020 arXiv   pre-print
We find that nearby pulsars with hot or flaring companions may be promising targets for the future Cherenkov Telescope Array.  ...  Our new multi-zone code simultaneously yields energy-dependent light curves and orbital phase-resolved spectra.  ...  We assume that the radiation field in the observer (rec) frame is isotropic, u rec ν rec (Ω rec ) = u rec ν rec 4π .  ... 
arXiv:2010.01125v1 fatcat:7sh3tpv2arhzpjc62azsqfprza
« Previous Showing results 1 — 15 out of 1,464 results