Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95 Montreal, Canada, July 3–7, 1995 Proceedings von Alagar, V. S, Nivat, Maurice

Volltext

Advances in Mathematical Methods for Image and Signal Processing von Matsuo, Tokuro, Feng, Wenying, Hu, Gongzhu, Gao, Feng, Alagar, Vangalur

Volltext

Specification and Verification of Secure Business Transaction Systems von Alagar, Vangalur S., Periyasamy, Kasi

Volltext

A fast, low-space algorithm for multiplying dense multivariate polynomials von Alagar, Vangalur S., Probst, David K.

Volltext

Algorithms for processing partial match queries using word fragments von Alagar, Vangalur S

Volltext

Corrigendum: A Family of Algorithms for Powering Sparse Polynomials von Probst, David K., Alagar, Vangalur S.

Volltext

A Family of Algorithms for Powering Sparse Polynomials von Probst, David K., Alagar, Vangalur S.

Volltext

Functional specification and proof of correctness for time dependent behaviour of reactive systems von ALAGAR, V. S, RAMANATHAN, G

Volltext

The distribution of the distance between random points von Alagar, Vangalur S.

Volltext

A human approach to the technological challenges in data security von Alagar, V.S.

Volltext

The distribution of the distance between random points von Alagar, Vangalur S.

Volltext

Algorithms for Detecting M-Dimensional Objects in N-Dimensional Spaces von Alagar, Vangalur S., Thiel, Larry H.

Volltext

Exact computation of the characteristic polynomial of an integer matrix von Mukhopadhyay, Asish, Alagar, Vangalur S.

Volltext

A comparative study of algorithms for computing the Smith normal form of an integer matrix von ALAGAR, VANGALUR S., ROY, ASIM KUMAR

Volltext

An adaptive hybrid algorithm for multiplying dense polynomials von Probst, David K., Alagar, Vangalur S.

Volltext

Highly fault-tolerant communication network models von Opatrny, J., Srinivasan, N., Alagar, V.S.

Volltext

Characterization and Efficient Management of Big Data in IoT-Driven Smart City Development von Alsaig, Alaa, Alagar, Vangalur, Chammaa, Zaki, Shiri, Nematollaah

Volltext

Context-Aware Security Solutions for Cyber-Physical Systems von Wan, Kaiyu, Alagar, Vangalur

Volltext

Contelog: A declarative language for modeling and reasoning with contextual knowledge von Alsaig, Ammar, Alagar, Vangalur, Nematollaah, Shiri

Volltext

Integrating Trust and Economic Theories with Knowledge Science for Dependable Service Automation von Alagar, Vangalur, Wan, Kaiyu

Volltext