This paper introduces a new approach to the problem of quantitative reconstruction of an object from few radiographic views. A mixed variable programming problem is formulated in ...
Mark A. Abramson, Thomas J. Asaki, J. E. Dennis, K...
This paper discusses how to find the global minimum of functions that are summations of small polynomials ("small" means involving a small number of variables). Some spa...
A realistic model of activity dependent dynamical synapses is used to study the conditions in which a postsynaptic neuron detects temporal coincidences of spikes arriving from N d...
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
In this paper connected operators from mathematical morphology are extended to a wider class of operators, which are based on connectivities in higher-dimensional spaces, similar ...