The use of theorem-proving techniques in question-answering systems by C. C O R D E L L G R E E N and BERTRAM RAPHAEL Stanford Research Institute Menlo Park, California

Source URL: www.kestrel.edu

• Logic
• Mathematics
• Mathematical logic
• Metalogic
• Model theory
• Syntax
• Well-formed formula
• First-order logic
• Resolution
• Logic programming
• Tautology

B E L F E R C E N T E R PA P E R The Collapse of Civilizations Malcolm H. Wiener

Source URL: www.belfercenter.org

• Geography of Europe
• Europe
• Culture
• Malcolm H. Wiener
• Tourism in Greece
• Belfer
• Civilization
• Bronze Age
• Ancient history
• Greeks
• Athens
• Minoan civilization

SZ PRINT Performance in der MA 2018 Die gedruckte Süddeutsche Zeitung SZ Marktforschung – Stand September 2018 N:\Basics\1_PPT_Br\2018\ MA2018_SZ_PrintPerformance

Source URL: sz-media.sueddeutsche.de

doi: jmdJ OURNAL OF M ODERN DYNAMICS V OLUME 8, N O. 1, 2014, 61–73 LOCI IN STRATA OF MEROMORPHIC QUADRATIC DIFFERENTIALS

Source URL: jgrivaux.perso.math.cnrs.fr

• Mathematical analysis
• Geometry
• Mathematics
• Riemann surfaces
• Complex manifolds
• Differential geometry
• Dynamical systems
• Complex analysis
• Teichmller space
• Quadratic differential
• Translation surface
• Foliation

First published November 8, 1996. Original raw text file: http://www.phrack.com/issues.html?issue=49&id=14&mode=txt This version is based on an HTML conversion by Prabhaker Mateti. It fixes errors in the original, with n

Source URL: www.cis.upenn.edu

• Computing
• Software engineering
• Computer programming
• Software bugs
• Computer errors
• Memory management
• C standard library
• X86 architecture
• Stack buffer overflow
• Stack
• Segmentation fault
• Buffer overflow

September 4, 2018 Via Electronic Submission Ann E. Misback Secretary Board of Governors of the Federal Reserve System 20th Street and Constitution Avenue N.W.

Source URL: www.theclearinghouse.org

• Economy
• Money
• Finance
• Market data
• Real-time gross settlement
• Interbank networks
• Federal Reserve System
• Financial regulation
• ISO 20022
• Fedwire
• Society for Worldwide Interbank Financial Telecommunication
• Wire transfer

Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives N. Basseta , M. Kwiatkowskaa,⇤, C. Wiltschea a Department of Computer Science, University of Oxford, United Kingdom

Source URL: www.prismmodelchecker.org

• Probability theory
• Statistical randomness
• Probability
• Markov models
• Graph theory
• Stochastic game
• Probabilistic automaton
• Game theory
• Markov chain
• Determinacy
• Strategy
• Markov decision process

A Survey of Rollback-Recovery Protocols in Message-Passing Systems E.N. (MOOTAZ) ELNOZAHY IBM Research LORENZO ALVISI The University of Texas at Austin

Source URL: www.cs.utexas.edu

• Transaction processing
• Computing
• Fault-tolerant computer systems
• Data management
• Application checkpointing
• Data
• Rollback
• Database transaction
• Checkpoint
• Communication protocol
• Two-phase commit protocol

n de haven Whitepaper NODE Haven Whitepaper Table of Contents

Source URL: www.nodehaven.com

• Cryptocurrencies
• Blockchains
• Bitcoin
• Alternative currencies
• Economy
• Money
• Decentralization
• Computing
• Ethereum
• Kin

A Fistful of Bitcoins Characterizing Payments Among Men with No Names SAR AH MEIKLE JOHN, MAR JORI POMAROLE , GR ANT JORDAN, K I R I L L L E VC H E N KO , DA M O N M C C OY, G E O F F R E Y M . VO E L K E R A N D S T E

Source URL: smeiklej.com

• Cryptocurrencies
• Bitcoin
• Alternative currencies
• Money
• Economy
• Currency
• Digital currencies
• Blockchains
• Mt. Gox
• Silk Road
• Satoshi Nakamoto
• BitPay