Backus

Results: 195



#Item
71Models of computation / Logic in computer science / Functional languages / Programming paradigms / Lambda calculus / John von Neumann / Denotational semantics / FP / Functional programming / Software engineering / Computing / Mathematics

197 7 ACM Turing Award Lecture The 1977 A C M Turing Award was presented to John Backus at the A C M Annual Conference in Seattle, October 17. In introducing the recipient, Jean E. Sammet, Chairman of the Awards Committ

Add to Reading List

Source URL: worrydream.com

Language: English - Date: 2013-07-16 19:44:03
72Notation / Linguistics / Backus–Naur Form / Internet Standard / Request for Comments / HTML element / UTF-8 / String / Extended Backus–Naur Form / Formal languages / Augmented Backus–Naur Form / Computing

Network Working Group Request for Comments: 5234 STD: 68 Obsoletes: 4234 Category: Standards Track

Add to Reading List

Source URL: www.rfc-editor.org

Language: English - Date: 2008-01-31 20:21:09
73International economics / Macroeconomics / Backus–Kehoe–Kydland puzzle / Feldstein–Horioka puzzle / Real exchange-rate puzzles / Real business cycle theory / International trade / Gross domestic product / Comparative advantage / Economic puzzles / International finance / Economics

[removed]Reserve Bank of Australia RESEARCH DISCUSSION

Add to Reading List

Source URL: www.rba.gov.au

Language: English - Date: 2010-01-17 19:17:00
74Real business cycle theory / Productivity / JEL classification codes / Economic model / Macroeconomic model / Open economy / Business cycle / International economics / Backus–Kehoe–Kydland puzzle / Macroeconomics / Economics / Greenwood–Hercowitz–Huffman preferences

International Business Cycles with Complete Markets

Add to Reading List

Source URL: www.rba.gov.au

Language: English - Date: 2015-02-02 16:45:46
75Regular expressions / Mathematics / Computing / Automata theory / Hexadecimal / Control character / Pi / Character / Augmented Backus–Naur Form / Mathematical analysis / Formal languages / Pattern matching

Anchors Sample Patterns ^

Add to Reading List

Source URL: www.addedbytes.com

Language: English - Date: 2014-08-20 05:15:31
76Procedural programming languages / ALGOL / Edsger W. Dijkstra / Fortran / Programming language / Recursion / Backus–Naur Form / Subroutine / Compiler / Software engineering / Computing / Computer programming

Dijkstra’s Rallying Cry for Generalization: The Advent of the Recursive Procedure, late 1950s — early 1960s Edgar G. Daylight∗ Autumn, 2010

Add to Reading List

Source URL: dijkstrascry.com

Language: English - Date: 2011-02-22 05:37:42
77Compiler construction / Extended Backus–Naur Form / ALGOL 68 / Assignment / Software engineering / Computing / Programming language theory

Formalizing the well-formedness rules of EJB3QL in UML + OCL Miguel Garcia Hamburg University of Technology, Hamburg 21073, Germany, [removed], WWW home page: http://www.sts.tu-harburg.de/˜mi.garcia/

Add to Reading List

Source URL: www.sts.tu-harburg.de

Language: English - Date: 2006-09-25 05:05:26
78Mechanics / Geophysics / Broadcast engineering / Science / Petroleum / Reflection seismology / Surface wave / Seismology / Love wave / Wave mechanics / Waves / Physics

Radial-Transverse (SV-SH) Coordinates for 9-C 3-D Seismic Reflection Data Analysis James L. Simmons, Jr.* and Milo M. Backus Bureau of Economic Geology, The University of Texas at Austin Summary Nine-component 3-D seismi

Add to Reading List

Source URL: www.beg.utexas.edu

Language: English - Date: 2010-02-16 14:52:29
79Petroleum / Wave mechanics / Electromagnetic radiation / Polarization / Reflection seismology / S-wave / Azimuth / Surface wave / Seismology / Broadcast engineering / Physics / Mechanics

Shear waves from 3-D–9-C seismic reflection data Have we been looking for signal in all the wrong places? JIM SIMMONS, 4th Wave Imaging Corp., Laguna Beach, California, U.S. MILO BACKUS, Bureau of Economic Geology, The

Add to Reading List

Source URL: www.beg.utexas.edu

Language: English - Date: 2010-02-16 14:52:41
80Statics / Transverse isotropy / Physics / Solid mechanics / Petroleum / Reflection seismology

Case history: 3-D shear-wave processing and interpretation in radial-transverse (SV-SH) coordinates James L. Simmons, Jr.*, Milo M. Backus, Bob A. Hardage, and Robert J. Graebner Bureau of Economic Geology, The Universit

Add to Reading List

Source URL: www.beg.utexas.edu

Language: English - Date: 2010-02-16 14:51:45
UPDATE