Probabilistic Model Checking for the Data-Rich World

Filter by date: From

Note: these filters only apply to the usage statistics (number of views and amount of data downloaded).

Total views: 15 (updated daily)
Disk space used: 2.90 GB
Media belongs to collection: Verified software: from theory to practice

Viewing history (views per day) << 1 wk \| 1 mon \| 3 mon \| 1 yr \| all >> Precision: day \| week \| month

Download historical data

Statistics by clip

Each clip represents a different encoding of the media item - different formats, quality settings or optimisations for downloading or streaming. The 'Archive' clips (if present) are for internal use, and are not directly viewable.

Clip	Views ↓	Format	Quality	Stream/download	Disk space
Clip 3527524	10	MPEG-4 Video	360p	Download	283.02 MB
Clip 3527526	5	iPod Video	High	Download	106.73 MB
Clip 3527522	0	Archive audio	High	Download	41.85 MB
Clip 3527523	0	H264 Archive video	High	Download	2.31 GB
Clip 3527527	0	MP3	High	Download	55.59 MB
Clip 3527525	0	WebM	360p	Download	121.07 MB

Viewing figures by format, quality and client

Format	Quality
	High	360p	Total
MPEG-4 Video	-	10	10
iPod Video	5	-	5
Totals	5	10	15

Client
Web browsers	15
iTunes	0

Location
Within the University	0
Elsewhere	15

Protocol
HTTP	15
RTSP	0

Viewing figures by country

Country
United States	3
Austria	2
Belgium	2
Japan	2
Germany	1
Egypt	1
United Kingdom	1
Luxembourg	1
Netherlands	1
South Africa	1
Download viewing figures by country

This product includes GeoLite data created by MaxMind, available from http://www.maxmind.com.
Specifically these viewing figures by country were created using the GeoLite City database, available from http://dev.maxmind.com/geoip/geolite.