We treat theory and application of timed process algebra. We focus on a variant that uses explicit termination and action prefixing. This variant has some advantages over other va...
Abstract. The recently developed algebraic attacks apply to all keystream generators whose internal state is updated by a linear transition function, including LFSR-based generator...
Numerical linear algebra operations are key primitives in scientific computing. Performance optimizations of such operations have been extensively investigated. With the rapid adva...
: We propose a group-theoretical approach to the generalized oscillator algebra A recently investigated in J. Phys. A: Math. Theor. 2010, 43, 115303. The case 0 corresponds to th...
Natig M. Atakishiyev, Maurice R. Kibler, Kurt Bern...
Full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components and assemble them so that they commu...