Automated derivation of the adjoint of high-level transient finite
  element programs
Automatic differentiation of ODE integration
An Evolutionary Algorithm to Learn SPARQL Queries for
  Source-Target-Pairs: Finding Patterns for Human Associations in DBpedia Dynamic controllers for column synchronization of rotation matrices: a
  QR-factorization approach Microtubules Interacting with a Boundary: Mean Length and Mean
  First-Passage Times Large N meson propagators from twisted space-time reduced model Duality Defect of the Monster CFT Proceedings of the first international workshop on domain-specific
  languages for robotic systems (DSLRob 2010) Holomorphic shadows in the eyes of model theory Probing neutrino oscillations from supernovae shock waves via the
  IceCube detector Equivariance Regularization for Image Reconstruction Effective models and predictability of chaotic multiscale systems via
  machine learning NEAT: an efficient network enrichment analysis test Low-Rank Toeplitz Matrix Estimation via Random Ultra-Sparse Rulers Efficient Parallel Verification of Galois Field Multipliers Programs in C++ for matrix computations in min plus algebra Modern Cosmology, an Amuse-Gueule Exact and asymptotic local virial theorems for finite fermionic systems Design-Space Exploration and Optimization of an Energy-Efficient and
  Reliable 3D Small-world Network-on-Chip Strategic Learning and Robust Protocol Design for Online Communities
  with Selfish Users A Markov model for inferring flows in directed contact networks Eligibility Propagation to Speed up Time Hopping for Reinforcement
  Learning How the symbol grounding of living organisms can be realized in
  artificial agents
cs.MS