Arc

Results: 43776



#Item
901Logic / Mathematical logic / Proof theory / Mathematics / Logic in computer science / Deductive reasoning / Natural deduction / Sequent / Denotational semantics / Propositional calculus / Sheaf

A Tactic Language for Hiproofs David Aspinall1 , Ewen Denney2 , and Christoph L¨ uth3 1 3

Add to Reading List

Source URL: ti.arc.nasa.gov

Language: English
902Amateur radio / Radio / Amateur Radio on the International Space Station / Bitcoin / Digital mobile radio / D-STAR / Ariss / American Radio Relay League / 2-meter band / Internet Radio Linking Project / EarthMoonEarth communication / Mt. Gox

The Halifax Amateur Radio Club REFLECTOR PO BOX 8895 HALIFAX NS B3K 5M5

Add to Reading List

Source URL: halifax-arc.org

Language: English - Date: 2014-04-10 09:33:54
903

DesignDomestic/Single Pass System Please contact ARC for your free 3D design concept Aquatic Recreation Company

Add to Reading List

Source URL: arc4waterplay.com

- Date: 2015-04-22 09:08:45
    904Software / Computer programming / Computing / Compiler construction / Programming language implementation / Parallel computing / Debuggers / Debugging / Compiler / GNU Debugger / Transputer / ARC

    MAD2013 Multicore debugging from a SW compiler perspective Marco Roodzant, ACE Associated Compiler Experts

    Add to Reading List

    Source URL: www.mad-workshop.de

    Language: English - Date: 2016-03-22 12:43:37
    905Water / Hydraulic engineering / Hydrology / Physical geography / Bodies of water / Hydrogeology / MODFLOW / Aquifer / Groundwater / Water well / 3D modeling / Groundwater model

    Synopsis: Arc Hydro for Groundwater GIS in Water Resources, Fall 2014 The Arc Hydro Groundwater data model is a geographic data model for groundwater and hydrogeology. At the core of Arc Hydro Groundwater is the Framewor

    Add to Reading List

    Source URL: www.caee.utexas.edu

    Language: English - Date: 2014-10-15 16:38:04
    906Appalachia / Geography of the United States / United States / Appalachian Regional Commission / West Virginia / Social and economic stratification in Appalachia / Hillbilly Highway

    FY 2017 Performance Budget Justification, FebruaryPDF: 2.7 MB)

    Add to Reading List

    Source URL: www.arc.gov

    Language: English - Date: 2016-02-08 19:40:37
    907Geology / Plate tectonics / Earth / Structural geology / Subduction / Geodynamics / Tectonics / Seismology / Slab pull / Volcanic arc / Slab / Accretionary wedge

    news & views GEODYNAMICS Double dip The Indian Plate moved north unusually quickly during the late Cretaceous. Numerical simulations suggest that this

    Add to Reading List

    Source URL: earth.usc.edu

    Language: English - Date: 2016-05-01 16:36:24
    908Amateur radio / Radio electronics / Amateur radio repeater / D-STAR / American Radio Relay League / International Amateur Radio Union / DX-pedition / Repeater / Hamfest / Radio repeater / The Canadian Amateur / 2-meter band

    The Halifax Amateur Radio Club REFLECTOR PO BOX 8895 HALIFAX NS B3K 5M5

    Add to Reading List

    Source URL: halifax-arc.org

    Language: English - Date: 2014-03-11 08:37:31
    909

    Urban Forest Sustainability “Everywhere there is shade and plenty of it. The entire valley, from Mesa to Phoenix, is one solid mass of green … and the entire distance … can be driven under an almost unbroken arc

    Add to Reading List

    Source URL: sustainablecities.asu.edu

    - Date: 2016-07-21 18:33:55
      910Plate tectonics / Geodynamics / Geophysics / Seismology / Structure of the Earth / Seismic anisotropy / Don L. Anderson / Mantle plume / Izu-Bonin-Mariana Arc / Subduction / Mantle convection / Shear wave splitting

      Geophysical Research Letters RESEARCH LETTER2015GL063695 Key Points: • A spreading-aligned plate motion reference frame matches

      Add to Reading List

      Source URL: www-udc.ig.utexas.edu

      Language: English - Date: 2015-06-08 12:03:29
      UPDATE