Filters








32,948 Hits in 1.8 sec

Distilling abstract machines

Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza
2014 Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14  
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]

Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza
2014 arXiv   pre-print
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)

Xingkai Ren, Ronghua Shi, Fangfang Li
2020 PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE  
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

Dhimas Satria, Imron Rosyadi, Ade Irman, Rina Lusiani, Haryadi, Abdul Rahman Siregar
2016 World Chemical Engineering Journal   unpublished
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  
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  
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  
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]

Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza
2015 Lecture Notes in Computer Science  
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  
(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  
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  
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  
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  
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  
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  
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