Centers of Excellence Center for Advanced Communications (CAC) Dr. Moeness Amin, Director and ECE Professor Dr. Fauzia Ahmad, Research Professor and Director, Radar Imaging Lab Dr. Robert Caverly, ECE Professor Dr. Ahmad Hoorfar, ECE Professor; Director, Antenna Research Laboratory Dr. Bijan G. Mobasseri, ECE Chair and Professor Dr. Sridhar Santhanam, ME Professor Dr. Rosalind Wynne, ECE Associ...

The invited review paper to accompany this special issue, authored by Williams and Boyer [...]

Improving industrial product reliability, maintainability and, thus, availability is a challenging task for many industrial companies. In industry, there is a growing need to process data in real time, since the generated data volume exceeds the available storage capacity. This Paper consists of a review of data stream mining and data stream management systems aimed at improving product availab...

Les luttes politiques et idéologiques contre les anglicismes illustrent parfaitement le double aspect de l’ unilinguisme tel que défini par Henri Boyer : « pas concurrence (pour la langue nationale ), déviance (par rapport à norme ) » (Boyer, 2001). Terme fois dénotant connotant, entre description prescription, l’anglicisme est un fléau pour puristes défenseurs auto-proclamés du génie langue. D...

We present here a proof of Ramsey's Theorem for exponent 2 using the Boyer-Moore theorem prover. The presentation is intended to be in a style to assist those who want to learn how to improve their eeectiveness in using the Boyer-Moore logic and theorem prover.

Keywords: Second order differential systems Saddle point theorem Generalized Ahmad–Lazer–Paul type condition a b s t r a c t Existence of periodic solutions to second order differential systems with gyroscopic forces is considered via variational methods, where a generalized Ahmad–Lazer–Paul type condition is used. We do not impose the condition that the gyroscopic forces are small.