A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Distilling abstract machines
2014
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14
Preserved Fulltext
Moreover, we show that distillation preserves the time complexity of the executions, i.e. the LSC is a complexity-preserving abstraction of abstract machines. ...
The distillation process unveils that abstract machines in fact implement weak linear head reduction, a notion of evaluation having a central role in the theory of linear logic. ...
The LSC distills -i.e. factorizes -abstract machines. ...
doi:10.1145/2628136.2628154
dblp:conf/icfp/AccattoliBM14
fatcat:zkvknxma4jcvnk3w7ipgbv5eh4
Distilling Abstract Machines (Long Version)
[article]
2014
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Moreover, we show that distillation preserves the time complexity of the executions, i.e. the LSC is a complexity-preserving abstraction of abstract machines. ...
The distillation process unveils that abstract machines in fact implement weak linear head reduction, a notion of evaluation having a central role in the theory of linear logic. ...
The LSC distills-i.e. factorizes-abstract machines. ...
arXiv:1406.2370v1
fatcat:cpxnmmrqwzaqxa5afy4tllmy3y
Distill BERT to Traditional Models in Chinese Machine Reading Comprehension (Student Abstract)
2020
PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
To the best of our knowledge, we are the first to propose a method that employ the distillation pre-trained language model in Chinese machine reading comprehension. ...
Thus we propose a method that employ a distillation traditional reading comprehension model to simplify the pre-trained language model so that the distillation model has faster reasoning speed and higher ...
In the future, we will plan to explore more distillation methods in the field of machine reading comprehension. Table 1 : 1 Performance on the CMRC2018 validation set. ...
doi:10.1609/aaai.v34i10.7223
fatcat:lklzib6ayzalrc5r7rdznkla6u
Design of Laboratory Scale Oil Distillation Machine ARTICLE HISTORY ABSTRACT
2016
World Chemical Engineering Journal
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
machine
Petroleum distillation machine
design
Testing machine design
results
Testing oil distillation
Comparing the results with
standard distillation
Table 2 . 2 Variant shape
Table ...
In this phase, we will clarify what needs to design a machine fractional distillation of petroleum laboratory scale. ...
fatcat:6gyvea4onvda3hn47v7cfjkegi
Page 195 of Naval Engineers Journal Vol. 68, Issue 1
[page]
1956
Naval Engineers Journal
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
SAWYER
ENGINEERING ABSTRACTS
Abstract Number Abstract Title 1-56 Fresh Water from Salt Water 2-56 Comparison of Six Lubrication Methods 3-56 Nuclear Energy Today 4-56 Condensed Review of Some Recently ...
Number Abstract Title 1-56 “Fresh Water from Salt Water’—D. ...
Page 90 of Chemical Engineering Progress Vol. 57, Issue 1
[page]
1961
Chemical Engineering Progress
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Abstracts for publication, and all questions concerning published abstracts, must be sent to the Machine ( omputation Committee, c/o A.L.Ch.E Three manuals are now available: Line Abstract No. 006), Liquid ...
CEP COMPUTER
PROGRAM abstracts
[HE MACHINE COMPUTATION COMMITTEE of the A.L.Ch.E. is interested in
receiving program abstracts for publication as part of its program interchange
activity. ...
Page 89 of Chemical Engineering Progress Vol. 57, Issue 12
[page]
1961
Chemical Engineering Progress
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
CEP
COMPUTER PROGRAM
abstracts
The Machine Computation Committee of the A.L.Ch.E. remains inte1 ested in receiving program abstracts for publication as part of its pro
gram interchange activity last printed ...
Computation Committee
.1.Ch.E. 45 E. 47th Street ew York 17, New York
am interested in computer pro ram manuals corresponding to the following abstracts
Preliminary distillation (084)
Pressure drop on ...
A Strong Distillery
[chapter]
2015
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Such a machine, deemed Strong Milner Abstract Machine, is a variant of the KAM computing normal forms and using just one global environment. ...
Its properties are studied via a special form of decoding, called a distillation, into the Linear Substitution Calculus, neatly reformulating the machine as a standard micro-step strategy for explicit ...
A distillation then provides a logical reading of an abstract machine (see [3] for more details). 4. ...
doi:10.1007/978-3-319-26529-2_13
fatcat:fqwfp333nrg2bbsgwiv6z76zbm
Page 101 of Institute of Petroleum (Great Britain). Journal of the Institute of Petroleum Vol. 52, Issue 512
[page]
1966
Institute of Petroleum (Great Britain). Journal of the Institute of Petroleum
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
(Authors’ abstract.)
670. Characteristics and industrial development of the SSC process for producing town gas from petroleum distillate. (In Italian.) G. Salvi and A. Fiumara. Riv. ...
Performance of several lubs when tested in either hunting tooth or indexed tooth gear machines is reported and effect of these machine types on a lubs scuff-limited load is discussed. ...
Page 86 of Chemical Engineering Progress Vol. 56, Issue 3
[page]
1960
Chemical Engineering Progress
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
CEP
COMPUTER PROGRAM abstracts
The Machine Computation Committee of the A.I.Ch.E. is interested in receiving program abstracts. ...
in the Guide 2) Abstracts must be sent to the Machine Computation Com-
o A.L.Ch.E
nittee c
3) All questions relating to published abstracts must be sent to
A I.Ch.E.
the Committee c/o
Nonlinear regression ...
Page 234 of Communications of the Association for Computing Machinery Vol. 4, Issue 5
[page]
1961
Communications of the Association for Computing Machinery
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Machine-made index for technical litera- ture—an experiment. JBM J. Res. Dev. 2, 4 (Oct. 1958), 354-361.
. Lunn, H. P. The automatic creation of literature abstracts. IBM J. Res. ...
A re-evaluation of machine generated abstracts. Research Report RC-230, 1 March 1960, IBM Research Center, Yorktown Heights, N. Y.
to
R
Com Com
Repo Desc
TI appli essin: velor cont! ...
Page 177 of American Institute of Chemical Engineers. AIChE Journal Vol. 6, Issue 1
[page]
1960
American Institute of Chemical Engineers. AIChE Journal
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The following Liquid-Liquid Heat Exchanger Design Growth Curves (029) sel, E. abstracts have appeared: (018) Calculation of Tension in Span Adjacent 1P.F. ...
Journal CEP (June, 1959), p. 134 Resistance Temperature Tables (024) who are interested in programming for Tarner Method Solution of the Brunauer, Emmett and machine computation of chemical en- Bubble ...
Page 88 of Chemical Engineering Progress Vol. 55, Issue 12
[page]
1959
Chemical Engineering Progress
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
CEP
COMPUTER PROGRAM
abstracts
The Machine Computation Committee of the A.I.Ch.E. is interested
in receiving
abstracts. ...
) and in the Guide.
2) Abstracts must be sent to the Machine Computation Com-
mittee c/o A.I.Ch.E.
8) All questions relating to published abstracts must be sent to the Committee c/o A.I.Ch.E. in New York ...
Page 70 of Chemical Engineering Progress Vol. 57, Issue 8
[page]
1961
Chemical Engineering Progress
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
CEP
COMPUTER
PROGRAM abstracts
The Machine Computations Committee of the A.I.Ch.I
«. remains inter-
ested in receiving program abstracts for publication as part of its pro-
gram interchange last printed ...
(abstract 016) was exhib- and is now available. ...
Page 89 of Chemical Engineering Progress Vol. 56, Issue 12
[page]
1960
Chemical Engineering Progress
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Guide, should sufficient interest
Abstracts for publication, and all questions concerning pub- lished abstracts, must be sent to the Machine Computation
Committee, c/o A.LCh.E. ...
Liquid-Liquid Heat Exchanger De-
The Machine Computation Committee of the A.I.Ch.E. is interested in re- ceiving program abstracts for publi-
cation as part of its program inter- change activity. ...
« Previous
Showing results 1 — 15 out of 32,948 results