Results: 351219



#Item
131Mathematical logic / Logic / Type theory / Theoretical computer science / Logic in computer science / Automated theorem proving / Reasoning / Program analysis / Natural deduction / Logical framework / Resolution / First-order logic

KITP-93: An Automated Inference System for Program Analysis T. C. Wang and Allen Goldberg Kestrel Institute 3260 Hillview Avenue Palo Alto, CA 94304

Add to Reading List

Source URL: www.kestrel.edu

Language: English - Date: 2012-08-08 19:03:01
132

S E P TE M BE R 2018 V O LU ME 76, N U MB E R 9 ECONOMY AT A GLANCE T

Add to Reading List

Source URL: www.mississippi.edu

Language: English - Date: 2018-09-06 14:05:58
    133Astronomy / Nature / Star types / Science / Pseudoscience / Creation science / Exoplanetology / Denialism / Young Earth creationism / White dwarf / Diatomaceous earth / The Universe

    Other Miscellaneous Young Earth Claims 18 Miscellaneous Claims Other Miscellaneous Young Earth Claims There are claims asserted by young earth that are meant to be minor yet still make the picture appear overwhelming. T

    Add to Reading List

    Source URL: www.jesuswordsonly.com

    Language: English - Date: 2009-06-11 11:49:16
    134Geography of Alaska / Alaska / Global warming / Arctic Ocean / Climate change adaptation / Climate resilience / University of Alaska Fairbanks / Individual and political action on climate change / Iupiat / Index of Alaska-related articles / Arctic policy of the United States

    C L I M A T E C H A N G E A C T I O N PL AN REC OMMEND AT IONS T O T HE GOVERNOR Alaska Climate Change ACTION PLAN recommendations

    Add to Reading List

    Source URL: climatechange.gov.alaska.gov

    Language: English - Date: 2018-09-19 16:27:14
    135Incarceration in the United States / Criminal justice / Brennan Center for Justice / Politics of the United States / United States

    brennan center for justice Reducing Racial and E t h n i c D i s pa r i t i e s I n J a i l s

    Add to Reading List

    Source URL: www.brennancenter.org

    Language: English - Date: 2015-06-24 23:50:13
    136Software / Computing / Free software / Secure communication / Dark web / Tor / Cryptographic protocols / Internet privacy / .onion / DuckDuckGo / Privacy Badger / Onion routing

    Private browsing to stay safe online Online privacy and security: ● No such thing as perfect security and privacy (unless you decide to live completely off the grid). ● Today: some practical ways (i.e. which don’t

    Add to Reading List

    Source URL: alexanderlhicks.com

    Language: English - Date: 2018-09-03 13:30:10
    137Physics / Atmospheric thermodynamics / Nature / Fluid dynamics / Continuum mechanics / Pressure / Physical quantities / Fluid mechanics / Density / Hydrostatics / Atmospheric models / Scale height

    Indian Journal of Radio & Space Physics Vol. 37, February 2008, ppPressure and density of air in mines A Tan & T X Zhang Department of Physics, Alabama A & M University, Normal, Alabama 35762, USA

    Add to Reading List

    Source URL: nopr.niscair.res.in

    Language: English - Date: 2008-12-06 23:30:32
    138Software / Computing / Web accessibility / Screenshot software / Screencasting software / Urban planning / Snagit / TechSmith / Voluntary Product Accessibility Template / Section 508 Amendment to the Rehabilitation Act / Accessibility / Assistive technology

    and Section 508 T ECHSMITH W HITE P APER February

    Add to Reading List

    Source URL: assets.techsmith.com

    Language: English - Date: 2018-02-16 15:46:44
    139Carnegie Mellon CyLab / Carnegie Mellon University

    PICOC T F CALL FOR SPONSORS THE LARGEST HACKING COMPETITION IN THE WORLD

    Add to Reading List

    Source URL: picoctf.com

    Language: English - Date: 2018-08-31 15:20:12
    UPDATE