Understanding and maintaining tactics graphically OR how we are learning
  that a diagram can be worth more than 10K LoC
About Opposition and Duality in Paraconsistent Type Theory
Multigraph Sampling of Online Social Networks The spectrum of large powers of the Laplacian in bounded domains Self-Organized Short-Term Memories Monte Carlo simulations of the HP model (the "Ising model" of protein
  folding) Logic Mining Using Neural Networks Low-Shapiro hydrostatic reconstruction technique for blood flow
  simulation in large arteries with varying geometrical and mechanical
  properties Graph Structure of Neural Networks Zipf Law for Brazilian Cities Richardson's solutions in the real- and complex-energy spectrum On intersection cohomology with torus action of complexity one, II Possible evidence for "dark radiation" from Big Bang Nucleosynthesis
  Data Remark on arithmetic topology Parallel computation using active self-assembly Another Look at AR(1) On the Sample Complexity and Metastability of Heavy-tailed Policy Search
  in Continuous Control Inclusive Design: Accessibility Settings for People with Cognitive
  Disabilities New Sequential Methods for Detecting Portscanners The Point of E_8 in F-theory GUTs Topological Structures of Large Scale Interacting Systems via Uniform
  Functions and Forms Multi-Beam RF Aperture Using Multiplierless FFT Approximation Time-Reversible Random Number Generators : Solution of Our Challenge by
  Federico Ricci-Tersenghi
cs.LO cs.PL