Skip to main content

Research Repository

Advanced Search

Technology-based approach for managing large classes : a case study (1997)
Presentation / Conference
Meziane, F., & Kulathuramaiyer, N. (1997, December). Technology-based approach for managing large classes : a case study. Presented at Proceeding of the International Conference on Computers in Education, (ICCE97), Kuching, Sarawak

Educational institutions are faced with many problems. In one hand they face a shortage of staff and funding and at the same time the number of students enrolled is ever increasing. The lecturers are faced with large and sometimes huge classes. Prov... Read More about Technology-based approach for managing large classes : a case study.

On the generation of ultra-broad bandwidth light in air at atmospheric pressure (1997)
Journal Article
atmospheric pressure. Journal of Physics B: Atomic, Molecular and Optical Physics, 30(21), L719-L725. https://doi.org/10.1088/0953-4075/30/21/002

We predict that ultra-broadband light consisting of over 150 distinct frequencies of comparable energy can be generated in air at atmospheric pressure by stimulated Raman scattering using resonant symmetric pumping. Nanosecond input pulses and the hi... Read More about On the generation of ultra-broad bandwidth light in air at atmospheric pressure.

Transforming general program proofs: a meta interpreter which expands negative literals (1997)
Presentation / Conference
West, M., Bryant, C., & McCluskey, T. (1997, July). Transforming general program proofs: a meta interpreter which expands negative literals. Presented at 7th International Workshop on Logic Program Synthesis and Transformation, Leuven, Belgium

This paper provides a method for generating a proof tree from an instance and a general logic program viz one which includes negative literals. The method differs from previous work in the field in that negative literals are first unfolded and then... Read More about Transforming general program proofs: a meta interpreter which expands negative literals.

Control of Biological Activated Carbon (BAC) beds (1997)
Presentation / Conference
Scholz, M., & Martin, R. (1997, May). Control of Biological Activated Carbon (BAC) beds. Presented at IAWQ-IWSA Joint Specialist Conference - Reservoir Management and Water Supply - An Integrated System, Prague, Czech Republic

Tools for producing formal specifications : a view of current architectures and future directions (1997)
Journal Article
Vadera, S., & Meziane, F. (1997). Tools for producing formal specifications : a view of current architectures and future directions. Annals of Software Engineering, 3(1), 273-290. https://doi.org/10.1023/A%3A1018950324254

During the last decade, one important contribution towards requirements engineering has been the advent of formal specification languages. They offer a well-defined notation that can improve consistency and avoid ambiguity in specifications.
However... Read More about Tools for producing formal specifications : a view of current architectures and future directions.

A layered any time approach to sensor validation (1997)
Book Chapter
Ibarguengoyatia, P., Vadera, S., & Sucar, E. (1997). A layered any time approach to sensor validation. In Lecture Notes in AI. Springer

Sensors are the most usual source of information in many
automatic systems such as automatic control

These computerised systems utilise different models of the process being served which usually assume the value of the variables as a correct read... Read More about A layered any time approach to sensor validation.

Ecological equilibrium on biological activated carbon (1997)
Journal Article
Scholz, M., & Martin, R. (1997). Ecological equilibrium on biological activated carbon. Water Research, 31(12), 2959-2968. https://doi.org/10.1016/S0043-1354%2897%2900155-3

This paper examines the potential of a biological activity control system (BACS) for biological
activated carbon (BAC) in comparison to granular activated carbon (GAC) for the treatment of potable
water. The overall objective of the project is to p... Read More about Ecological equilibrium on biological activated carbon.

Optimization of intersubband resonant second-order susceptibility in asymmetric graded AlxGa1-xAs quantum wells using supersymmetric quantum mechanics (1997)
Journal Article
Tomic, S., Milanović, V., & Ikonić, Z. (1997). Optimization of intersubband resonant second-order susceptibility in asymmetric graded AlxGa1-xAs quantum wells using supersymmetric quantum mechanics. Physical Review B (Condensed Matter), 56(3), 1033-1036. https://doi.org/10.1103/PhysRevB.56.1033

A systematic procedure is proposed for the design of ternary alloys based quantum-well structures optimized for double-resonance second-harmonic generation. The method relies on the supersymmetric quantum mechanics as derived here for the case of pos... Read More about Optimization of intersubband resonant second-order susceptibility in asymmetric graded AlxGa1-xAs quantum wells using supersymmetric quantum mechanics.