Full title: Capturing generalized recurring system attributes with specification patterns. Property specification patterns equipped with a natural language front-end and automated mapping support for a temporal logic of choice offer a solution to overcome the pragmatic barriers to specify system properties in a purely mathematical fashion. Recorded on 13 February 2015.

How do astronomers reconstruct the entire history of the universe, including the many hundreds of millions of galaxies and billions of stars it contains, inside a supercomputer? This talk will show you! Recorded on 13 February 2015.

Full title: Capturing generalized recurring system attributes with specification patterns. Property specification patterns equipped with a natural language front-end and automated mapping support for a temporal logic of choice offer a solution to overcome the pragmatic barriers to specify system properties in a purely mathematical fashion. Recorded on 13 February 2015.

This presentation provides an introduction to floor vibrations due to human excitation. It will also introduce a new innovative damper specifically developed for floors which can fit within tight spaces and reduce vibrations significantly. Recorded on 13 February 2015.

This presentation provides an introduction to floor vibrations due to human excitation. It will also introduce a new innovative damper specifically developed for floors which can fit within tight spaces and reduce vibrations significantly. Recorded on 13 February 2015.

Wheat puroindoline proteins exhibit a unique tryptophan-rich domain. Synthetic peptides based on the amino acid sequence of this domain are antimicrobial and can kill a number of bacteria and fungi. Recorded on 10 October 2014.

A program is said to be non-testable if the correctness of its outputs cannot be verified. Since non-testable programs are frequently encountered, a challenging problem has been how to test them. In this seminar, we present a simple, yet effective, methodology, metamorphic testing, which alleviates this challenge. Although it may not be possible to verify the correctness of any particular input of a non-testable program, we may be able to identify relations that should hold between certain inputs and relevant outputs, and through the verification of these relations, we are able to test the non-testable programs. Recorded on 10 October 2014.

Wheat puroindoline proteins exhibit a unique tryptophan-rich domain. Synthetic peptides based on the amino acid sequence of this domain are antimicrobial and can kill a number of bacteria and fungi. Recorded on 10 October 2014.

A program is said to be non-testable if the correctness of its outputs cannot be verified. Since non-testable programs are frequently encountered, a challenging problem has been how to test them. In this seminar, we present a simple, yet effective, methodology, metamorphic testing, which alleviates this challenge. Although it may not be possible to verify the correctness of any particular input of a non-testable program, we may be able to identify relations that should hold between certain inputs and relevant outputs, and through the verification of these relations, we are able to test the non-testable programs. Recorded on 10 October 2014.

Subtitle: Wave physics and applications in Ocean Eng. Wheat puroindoline proteins exhibit a unique tryptophan-rich domain. Synthetic peptides based on the amino acid sequence of this domain are antimicrobial and can kill a number of bacteria and fungi. Recorded on 10 October 2014.