OpenStack networking for humans: symbolic execution to the rescue Radu Stoenescu, Dragos Dumitrescu, Costin Raiciu University Politehnica of Bucharest Email:

Source URL: nets.cs.pub.ro

• Computer network security
• Network architecture
• Local area networks
• Cloud infrastructure
• Ethernet
• OpenStack
• Open vSwitch
• Virtual LAN
• Firewall
• Network virtualization
• Network address translation
• Network switch

Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Scala-Virtualized: Linguistic Reuse for Deep Embeddings Tiark Rompf · Nada Amin · Adriaan Moors · Philipp Haller · Martin Odersky

Source URL: lampwww.epfl.ch

• Functional languages
• Object-oriented programming languages
• Order theory
• Scala
• Embedding
• Monad
• OCaml

Integrability test for evolutionary lattice equations of higher order V.E. Adler submitted to J. of Symbolic Computations [arXiv:]

Source URL: matphys.itp.ac.ru

Theano Tutorial Theano is a software package which allows you to write symbolic code and compile it onto different architectures (in particular, CPU and GPU). It was developed by machine learning researchers at the Univ

Source URL: colinraffel.com

• Artificial neural networks
• Sigmoid function
• Artificial neuron
• Parameter
• Function
• Gradient descent
• Backpropagation
• Multilayer perceptron
• Activation function
• Theano
• Default argument
• Artificial intelligence

ASSOCIATION FOR SYMBOLIC LOGICJOINT MEETING WITH THE AMERICAN PHILOSOPHICAL ASSOCIATION Palmer House Chicago, IL March 2 - 5, 2016

Source URL: www.aslonline.org

Parallelizing userdefined aggregations using symbolic execution Veselin Raychev Madanlal Musuvathi Todd Mytkowicz

Source URL: www.srl.inf.ethz.ch

Application of symbolic programming for atomic many-body theory

Source URL: mp.ipme.ru

Jasymca - Symbolic Calculator for Mobile Devices Helmut Dersch March 7, 2006 Abstract Jasymca is a symbolic calculator written for mobile phones and PDAs.

Source URL: webuser.fh-furtwangen.de

• Mathematical analysis
• Computing
• Mathematics
• Analytic functions
• Exponentials
• Find
• Trigonometric functions
• Hyperbolic function
• Q
• Greatest common divisor
• Exponentiation
• Conditional

JOIN THE ASSOCIATION FOR SYMBOLIC LOGIC ASL MEMBERSHIP BENEFITS • • •

Source URL: www.aslonline.org

To be published in: LISP AND SYMBOLIC COMPUTATION: An International Journal, 4, 3, 1991 © 1991 Kluwer Academic Publishers - Manufactured in The Netherlands SELF: The Power of Simplicity* DAVID UNGAR†

Source URL: bibliography.selflanguage.org