MONDAY MORNING FOREFRONTS By Daniel I. Dorfman F

Source URL: www.rejournals.com

• Auctions
• Auction theory
• Game theory
• Business
• Marketing
• Auction
• Online auction
• Bidding

The Gradualizer: A Methodology and Algorithm for Generating Gradual Type Systems Matteo Cimini Jeremy G. Siek

Source URL: dl.dropboxusercontent.com

• Type theory
• Lambda calculus
• Type systems
• Models of computation
• Program analysis
• Simply typed lambda calculus
• Gradual typing
• Monad
• System F

LONG SHORT-TERM MEMORY Technical Report FKI, Version 3.0 Sepp Hochreiter Fakultat fur Informatik Technische Universitat Munchen

Source URL: www.bioinf.jku.at

• Artificial neural networks
• Long short-term memory
• Sepp Hochreiter
• Backpropagation through time
• Backpropagation
• Artificial neuron
• Artificial intelligence
• Control theory
• Memory cell
• Recurrent neural network
• Deep learning

University of California, Irvine D e p a r t m e n t o f Chicano/Latino Studies Volume 10 Issue 1 Chair’s Message

Source URL: www.chicanolatinostudies.uci.edu

• American studies
• Critical race theory
• Ethnic studies
• Latin American studies
• Postmodernism
• Critical theory
• Culture
• Area studies
• Latino studies
• MEChA
• Chicana/o studies
• UCLA Chicano Studies Research Center

Advances in gringo series 3 Martin Gebser, Roland Kaminski, Arne K¨onig, and Torsten Schaub? Institut f¨ur Informatik, Universit¨at Potsdam Abstract. We describe the major new features emerging from a significant rede

Source URL: www.cs.uni-potsdam.de

• Model theory
• Quantification
• Answer set programming
• Logic programming
• FO
• Functional predicate
• Universal quantification
• Limit of a function
• Expected value
• Predicate

Verification of a Cryptographic Primitive: SHA-256 ANDREW W. APPEL, Princeton University A full formal machine-checked verification of a C program: the OpenSSL implementation of SHA-256. This is an interactive proof of f

Source URL: www.cs.princeton.edu

• Software engineering
• Programming language theory
• Theoretical computer science
• C++
• Logic in computer science
• Proof assistants
• Data types
• SHA-2
• Formal verification
• Separation logic
• Coq
• Functional programming

TECHN ICA L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN UND A RTIFICIAL I NTELLIGENCE

Source URL: www.dbai.tuwien.ac.at

• Logic
• Theoretical computer science
• Mathematics
• Logic in computer science
• Argumentation framework
• Artificial intelligence
• Model theory
• Semantics
• Structure
• Denotational semantics

Inference and Checking of Object Ownership Wei Huang1 , Werner Dietl2 , Ana Milanova1 , and Michael D. Ernst2 1 Rensselaer Polytechnic Institute

Source URL: homes.cs.washington.edu

• Software engineering
• Type theory
• Programming language theory
• Computing
• Subtyping
• Type system
• System F
• HindleyMilner type system
• ML
• Type inference
• Typeof
• Is-a

EUROGRAPHICS ’M. Gross and F.R.A. Hopgood (Guest Editors) Volume 19, (2000), Number 3 Context-based Space Filling Curves

Source URL: theory.stanford.edu

• Mathematics
• Graph theory
• Computational complexity theory
• Fractal curves
• Television technology
• NP-complete problems
• Spanning tree
• Computer graphics
• Hilbert curve
• Space-filling curve
• Curve
• Peano curve

Wavefunctions and Minkowski Space-Time On the Reconciliation of Quantum Theory with Special Relativity Christian Beck Diplomarbeit an der Fakult¨at f¨ur Physik

Source URL: www.mathematik.uni-muenchen.de