Filters








1,661 Hits in 2.3 sec

Developments in computational models: introduction

MARIBEL FERNÁNDEZ, IAN MACKIE
2006 Mathematical Structures in Computer Science  
in the functional calculus is provable), and the lambda calculus (designed by Alonzo Church, also in the late 1930s, as a foundation for the mathematical theory of functions).  ...  for a given application, and is essential for the design of new programming languages.  ...  Acknowledgements We would like to thank the authors who contributed to this special issue, and the referees who worked diligently to evaluate and help improve the papers.  ... 
doi:10.1017/s0960129506005305 fatcat:vsvchiizrrdwzdwsavimioyot4

Page 575 of Sociology of Education Vol. 17, Issue 9 [page]

1944 Sociology of Education  
The Educa- tion and Language of Detroit Mexicans, 534- Immigration and Naturalization Service, Educational Activities of the United States, By Glenn Kendall, 36. International Education Office.  ...  The Value of High-School Scholarship on the Labor Market, 524. Mosher, William E. Citizenship—As Action, 55: Myers, Alonzo F. International Education Office, 169. Negro Child in the World Chaos, The.  ... 

The RN to BSN Transition

Allison Brandt Anbari
2015 Global Qualitative Nursing Research  
Due to recommendations to change entry level to practice to the bachelor's degree in nursing (BSN), there are now more than 700 RN to BSN programs in the United States.  ...  A visual representation of the RN to BSN transition was also generated. A seamless transition of the RN to a BSN does not exist at this time.  ...  Furthermore, no common language exists to discuss standards of a RN to BSN program.  ... 
doi:10.1177/2333393615614306 pmid:28462321 pmcid:PMC5342820 fatcat:mq42ijb275aypcgupcore7beri

Page 61 of The Education Digest Vol. 8, Issue Index [page]

1942 The Education Digest  
The U. S. Office of Education in the Inter-American Field. J. E. Soc. Jan., 4%. Peacock, Vera L. “La Donna E Mobile.” Mod. Lang. J. Dec., 52. Pei, Mario A. The Function of Languages in Global War.  ...  Myers, Alonzo and Louise. The Japanese Take Education Seriously. J. N. E. A. May, 32. Myers, Louise and Alonzo. The Japanese Take Education Seriously. J. N. E. A. May, 32.  ... 

Page 61 of The Education Digest Vol. 8, Issue 9 [page]

1943 The Education Digest  
The U. S. Office of Education in the Inter-American Field. J. E. Soc. Jan., 41. Peacock, Vera L. “La Donna E Mobile.” Mod. Lang. J. Dec., 52. Pei, Mario A. The Function of Languages in Global War.  ...  Myers, Alonzo and Louise. The Japanese Take Education Seriously. J. N. E. A. May, 32. Myers, Louise and Alonzo. The Japanese Take Education Seriously. J. N. E. A. May, 32. Arthur G.  ... 

Page 61 of The Education Digest Vol. 8, Issue 9 [page]

1943 The Education Digest  
The U. S. Office of Education in the Inter-American Field. J. E. Soc. Jan., 41. Peacock, Vera L. “La Donna E Mobile.” Mod. Lang. J. Dec., 52. Pei, Mario A. The Function of Languages in Global War.  ...  Myers, Alonzo and Louise. The Japanese Take Education Seriously. J. N. E. A. May, 32. Myers, Louise and Alonzo. The Japanese Take Education Seriously. J. N. E. A. May, 32. Studies.  ... 

Page 110 of Language Arts Vol. 31, Issue 2 [page]

1954 Language Arts  
Finally Henry Alonzo Myers presented an uplifting exposition of the nature of litera- ture and its function in a democracy geared to a reverence for science.  ...  And the program proved as effective as even President Harlen M. Adams and Second Vice President Blanche Trezevant, the program architects, could possibly have hoped.  ... 

Page 110 of Language Arts Vol. 31, Issue 2 [page]

1954 Language Arts  
Finally Henry Alonzo Myers presented an uplifting exposition of the nature of litera- ture and its function in a democracy geared to a reverence for science.  ...  And the program proved as effective as even President Harlen M. Adams and Second Vice President Blanche Trezevant, the program architects, could possibly have hoped.  ... 

Agda Meets Accelerate [chapter]

Peter Thiemann, Manuel M. T. Chakravarty
2013 Lecture Notes in Computer Science  
This observation raises the question whether an embedded language for data parallel programming would benefit from fully-fledged dependent types, such as those available in Agda.  ...  We explored that question by designing and implementing an Agda frontend to Accelerate, a Haskellembedded language for data parallel programming aimed at GPUs.  ...  Background Agda Agda [1, 10] is a dependently-typed functional programming language.  ... 
doi:10.1007/978-3-642-41582-1_11 fatcat:n3kka3mrmbgjfoowuow4y6t6ly

The Survival Book. Paul H. Nisbit, Alonzo W. Pond, and William H. Allen. Van Nostrand Company, Princeton, N.J., 1959. v + 338 pp. Illus. $7.50

G. W. Baker
1960 Science  
primary function.)  ...  The active involvement of behavioral scientists in the research programs of national military departments was ap- preciably increased during and after World War II.  ... 
doi:10.1126/science.131.3408.1211 fatcat:g5vqgzdqbbhdrldk4d2mipdhi4

Page 152 of Psychological Abstracts Vol. 36, Issue 1 [page]

1962 Psychological Abstracts  
A retraining program for the adult who stutters. J. speech hear. Dis., 1961, 26, 141-144.  ...  —Description of a retraining program for a stuttering adult based on the hypothesis that stuttering is learned behavior.  ... 

Everything old is new again: quoted domain-specific languages

Shayan Najd, Sam Lindley, Josef Svenningsson, Philip Wadler
2016 Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2016  
Part IV The Subformula Principle Gerhard Gentzen Natural Deduction -Gentzen (1935) Natural Deduction  ...  -Dag Prawitz, 1965 The Curry-Howard homeomorphism LC'90 Alonzo Church (1903 -1995 Typed λ-calculus [x : A] x · · · N : B →-I x λx.  ...  open quotations quotations of functions (Expr< A → B >) vs. functions of quotations Times in milliseconds; av marks query avalanche.  ... 
doi:10.1145/2847538.2847541 dblp:conf/pepm/NajdLSW16 fatcat:k66bthoyfzgr3hi4vcpx5sokti

Algorithms Visualization Tool for Students and Lectures in Computer Science [article]

Kaninda Musumbu
2014 arXiv   pre-print
The main new thing of this tool is the fact of making it possible to the user to animate their own algorithms.  ...  The best way to understand complex data structures or algorithm is to see them in action. The present work presents a new tool, especially useful for students and lecturers in computer science.  ...  We worked over again the compiler so that this one not provides us only an evaluation function for the whole program but an evaluation function related to each instruction.  ... 
arXiv:1403.4423v1 fatcat:5dkjtsbvnnbprd3wya3wgatllu

Computing in pervasive cyberspace

Gul Agha
2008 Communications of the ACM  
With the growth of P2P computing, Web services, networks of embedded computers, and multicore architectures, programming using the actor model is inevitable; witness the increasing use of programming languages  ...  But it wasn't until the mid-20th century that the discipline of computing took root, inspired by Alan Turing's representation of programs as data and by Alonzo Church's theory of computation as something  ... 
doi:10.1145/1327452.1327484 fatcat:pc35aie6fbgpldnoczvhwaobee

Page 396 of Phi Delta Kappan Vol. 37, Issue 9 [page]

1956 Phi Delta Kappan  
Teachers of the World By ALONZO G.  ...  THE AIM AND SPIRIT OF EDUCATION Before describing programs of teachers of edu- cation we shall consider the aim and spirit of education, for education systems are organized and function in accordance with  ... 
« Previous Showing results 1 — 15 out of 1,661 results