Open Collections

Page Metadata

Item Metadata

Title	Reactive synthesis via QBF solving
Creator	Narodytska, Nina
Publisher	Banff International Research Station for Mathematical Innovation and Discovery
Date Issued	2014-01-23
Extent	30 minutes
Subject	Mathematics Computer science Mathematical logic and foundations Theoretical computer science
Type	Moving Image
FileFormat	video/mp4
Language	eng
Notes	Author affiliation: University of Toronto
Series	BIRS Workshop Lecture Videos (Banff, Alta)
Date Available	2014-08-07
Provider	Vancouver : University of British Columbia Library
Rights	Attribution-NonCommercial-NoDerivs 2.5 Canada
DOI	10.14288/1.0043909
URI	http://hdl.handle.net/2429/49862
Affiliation	Non UBC
Peer Review Status	Unreviewed
Scholarly Level	Postdoctoral
Rights URI	http://creativecommons.org/licenses/by-nc-nd/2.5/ca/
AggregatedSourceRepository	DSpace

Download

Media

48630-201401230957-Narodytska_lrv.mp4 [ 68.48MB ]

Metadata

JSON: 48630-1.0043909.json

JSON-LD: 48630-1.0043909-ld.json

RDF/XML (Pretty): 48630-1.0043909-rdf.xml

RDF/JSON: 48630-1.0043909-rdf.json

Turtle: 48630-1.0043909-turtle.txt

N-Triples: 48630-1.0043909-rdf-ntriples.txt

Original Record: 48630-1.0043909-source.json

Citation

48630-1.0043909.ris

Cite

Usage Statistics

Share

Embed

Customize your widget with the following options, then copy and paste the code below into the HTML of your page to embed this item in your website.

Include Metadata Specify width in pixels (leave blank for auto-width):

                        
                            <div id="ubcOpenCollectionsWidgetDisplay">
                            <script id="ubcOpenCollectionsWidget"
                            src="{[{embed.src}]}"
                            data-item="{[{embed.item}]}"
                            data-collection="{[{embed.collection}]}"
                            data-metadata="{[{embed.showMetadata}]}"
                            data-width="{[{embed.width}]}"
                            data-media="{[{embed.selectedMedia}]}"
                            async >
                            </script>
                            </div>
                        
                    

Our image viewer uses the IIIF 2.0 standard. To load this item in other compatible viewers, use this url:

https://iiif.library.ubc.ca/presentation/dsp.48630.1-0043909/manifest

Comment

Related Items