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.

Data mining via ILP: The application of progol to a (1997)
Book Chapter
Bryant, C. (1997). Data mining via ILP: The application of progol to a. In N. Lavrac, & S. Dzeroski (Eds.), Inductive logic programming (85-92). Berlin / Heidelberg, Germany: Springer. https://doi.org/10.1007/3540635149_37

As far as this author is aware, this is the first paper to describe the application of Progol to enantioseparations. A scheme is proposed for data mining a relational database of published enantioseparations using Progol. The application of the schem... Read More about Data mining via ILP: The application of progol to a.

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.

Case-control study of stroke and the quality of hypertension control in north west England (1997)
Journal Article
Du, X., Cruickshank, K., McNamee, R., Saraee, M., Sourbutts, J., Summers, A., …Holmes, S. (1997). Case-control study of stroke and the quality of hypertension control in north west England. BMJ, 314(7076), 272-6. https://doi.org/10.1136/bmj.314.7076.272

Objective: To examine the risk of stroke in relation to quality of hypertension control in routine general practice across an entire health district.
Design: Population based matched case-control study.
Setting: East Lancashire Health District with... Read More about Case-control study of stroke and the quality of hypertension control in north west England.

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.