Skip to main content

Research Repository

Advanced Search

Outputs (1509)

Trusting computers through trusting humans: software verification in a safety-critical information system
Journal Article
Adam, A., & Spedding, P. Trusting computers through trusting humans: software verification in a safety-critical information system. International Journal of Technology and Human Interaction, 3(4), 1-14

This article considers the question of how we may trust automatically generated program code. The code walkthroughs and inspections of software engineering mimic the ways that mathematicians go about assuring themselves that a mathematical proof is... Read More about Trusting computers through trusting humans: software verification in a safety-critical information system.

Yodel species: a typology of falsetto effects in popular music vocal styles
Journal Article
Wise, T. Yodel species: a typology of falsetto effects in popular music vocal styles. Radical musicology, 2,

This article presents a classification system for falsetto vocal effects commonly occurring in popular music. This typology developed from my research into yodelling and related vocal phenomena, which took as its starting point an analysis of yodel t... Read More about Yodel species: a typology of falsetto effects in popular music vocal styles.

Un altro mondo: interview with Paola Capriolo, Milan, November 1996
Journal Article
Ania, G. Un altro mondo: interview with Paola Capriolo, Milan, November 1996

The novelist and translator, Paola Capriolo, was born in 1962, in Milan, where she lives today. The daughter of a Ligurian theatre critic and prolific translator, and a Turinese artist, she has a rich cultural background on which to draw, broadened b... Read More about Un altro mondo: interview with Paola Capriolo, Milan, November 1996.

Un altro mondo: interview with Paola Capriolo, Milan, November 1996
Journal Article
Ania, G. Un altro mondo: interview with Paola Capriolo, Milan, November 1996

The novelist and translator, Paola Capriolo, was born in 1962, in Milan, where she lives today. The daughter of a Ligurian theatre critic and prolific translator, and a Turinese artist, she has a rich cultural background on which to draw, broadened b... Read More about Un altro mondo: interview with Paola Capriolo, Milan, November 1996.

Verso una bibliografia della narrativa Italiana (in prosa) dell'Ottocento
Journal Article
Ania, G. Verso una bibliografia della narrativa Italiana (in prosa) dell'Ottocento

L’obiettivo di questo articolo è quello di fornire ai colleghi un rapporto sull’importante progetto di ricerca attualmente in corso, nonché di indicare modi in cui si potrebbero rendere disponibili i risultati agli studiosi interessati. Da qualche... Read More about Verso una bibliografia della narrativa Italiana (in prosa) dell'Ottocento.

Verso una bibliografia della narrativa Italiana (in prosa) dell'Ottocento
Journal Article
Ania, G. Verso una bibliografia della narrativa Italiana (in prosa) dell'Ottocento

L’obiettivo di questo articolo è quello di fornire ai colleghi un rapporto sull’importante progetto di ricerca attualmente in corso, nonché di indicare modi in cui si potrebbero rendere disponibili i risultati agli studiosi interessati. Da qualche... Read More about Verso una bibliografia della narrativa Italiana (in prosa) dell'Ottocento.