Definite Descriptions in Intuitionist Positive Free Logic
Denotation of syntax and metaprogramming in contextual modal type theory
  (CMTT)
Control-Oriented Learning on the Fly Towards High-quality Visualization of Superfluid Vortices On Chaotic Dynamics in Rational Polygonal Billiards Charge Transfer and Charge Transport on the Double Helix Data management in Systems biology II - Outlook towards the semantic web Astrodynamical Space Test of Relativity using Optical Devices I (ASTROD
  I) - Mission Overview Adiabatic waves along interfacial layers near the critical point LazyBatching: An SLA-aware Batching System for Cloud Machine Learning
  Inference Topological Vertex, String Amplitudes and Spectral Functions of
  Hyperbolic Geometry Robust Numerical Tracking of One Path of a Polynomial Homotopy on
  Parallel Shared Memory Computers The Informational Approach to Global Optimization in presence of very
  noisy evaluation results. Application to the optimization of renewable energy
  integration strategies Open Problem: Is There an Online Learning Algorithm That Learns Whenever
  Online Learning Is Possible? Resonant frequencies of the hydrodynamic vortex The ensmallen library for flexible numerical optimization Nonlinear Analysis of the Eckhaus Instability: Modulated Amplitude Waves
  and Phase Chaos with Non-zero Average Phase Gradient Searching for gravitational waves via Doppler tracking by future
  missions to Uranus and Neptune Twisted monodromy homomorphisms and Massey products Multi-resolution unstructured grid-generation for geophysical
  applications on the sphere Simulating fusion reactions from Coulomb explosions within a transport
  approach
cs.LO math.LO