Geschichte • Jan Łukasiewicz: O logice tròjwarto´sciowej (On 3-valued logic). Ruch Filozoficzny, Vol. 5, 1920.

Source URL: formal.iti.kit.edu

• Logic
• Many-valued logic
• Philosophy
• Philosophy of logic
• Three-valued logic
• Jan ukasiewicz
• J. Barkley Rosser
• Mathematical logic

From the Consent of the Routed: Improving the Transparency of the RPKI Full version from June 9, 2014. Ethan Heilman Danny Cooper Leonid Reyzin

Source URL: cs-people.bu.edu

PDF Document

Source URL: www.equityandinclusion.emory.edu

• English phonology
• English orthography
• Alliteration

Pisa: Arbitration Outsourcing for State Channels Patrick McCorry Surya Bakshi Iddo Bentov

Source URL: www.cs.cornell.edu

• Cryptocurrencies
• Economy
• Money
• Financial services
• Smart contract
• Blockchain
• Ethereum
• Bitcoin
• Cheque
• Settlement
• Lightning Network

This October 2012 version corrects some citations and related work. Honu: Syntactic Extension for Algebraic Notation through Enforestation

Source URL: www.cs.utah.edu

• Computer programming
• Software engineering
• Computing
• Source code
• Programming languages
• Transformation languages
• Metaprogramming
• Lambda calculus
• Macro
• Hygienic macro
• Syntax
• Anonymous function

BusinessAdministration_BS_InternationalBusiness.pdf

Source URL: catalog.southernct.edu

• Software engineering
• Computing
• Architectural pattern
• Distributed computing architecture
• Multitier architecture
• Software architecture
• Software design
• World Wide Web

TAP : Lean Tableau-based Deduction? lean Bernhard Beckert & Joachim Posegga Universitat Karlsruhe

Source URL: formal.iti.kit.edu

• Software engineering
• Computer programming
• Computing
• Prolog

Pocket: Ephemeral Storage for Serverless Analytics Ana Klimovic, Yawen Wang, Christos Kozyrakis, Patrick Stuedi, Animesh Trivedi, Jonas Pfefferle Stanford University & IBM Research

Source URL: platformlab.stanford.edu

• Computing
• Computer memory
• Computer architecture
• Cloud computing
• Serverless computing
• Non-volatile memory
• Dynamic random-access memory
• Computer data storage
• AWS Lambda
• Random-access memory
• Ferroelectric RAM

PDF Document

Source URL: formal.iti.kit.edu

ECDH Key-Extraction via Low-Bandwidth Electromagnetic Attacks on PCs Daniel Genkin Lev Pachmanov

Source URL: web.eecs.umich.edu

• Cryptography
• Elliptic curve cryptography
• Finite fields
• Cryptographic software
• OpenPGP
• Public-key cryptography
• Electromagnetic attack
• GNU Privacy Guard
• Elliptic-curve cryptography
• Libgcrypt
• RSA
• Elliptic-curve DiffieHellman