Institutional Repository | Partnering learners and industry for success through workforce development

On the representation and verification of cryptographic protocols in a theory of action

Digital Document

DGI Image Discovery Discovered Image

repository_653-Thumbnail Image.png

Limiting cases for spectrum closure results

Digital Document

DGI Image Discovery Discovered Image

repository_663-Thumbnail Image.png

Adding modal operators to the action language A

Digital Document

DGI Image Discovery Discovered Image

repository_664-Thumbnail Image.png

Spectrum hierarchies and subdiagonal functions

Digital Document

DGI Image Discovery Discovered Image

repository_665-Thumbnail Image.png

Trust-sensitive belief revision

Digital Document

DGI Image Discovery Discovered Image

repository_642-Thumbnail Image.png

Arbitrary announcements in propositional belief revision

Digital Document

DGI Image Discovery Discovered Image

repository_643-Thumbnail Image.png

On keeping secrets: intelligent agents and the ethics of information hiding

Digital Document

DGI Image Discovery Discovered Image

repository_644-Thumbnail Image.png

The influence of AFO design on walking speed, gait symmetry, comfort and stability of hemiplegic subjects

Digital Document

Functional level assessment of individuals with transtibial limb loss: evaluation in the clinical setting versus objective community ambulatory activity

Digital Document

DGI Image Discovery Discovered Image

repository_669-Thumbnail Image.png

Osmoregulation in the halophilic bacterium halomonas elongata: a case study for integrative systems biology

Digital Document

DGI Image Discovery Discovered Image

repository_670-Thumbnail Image.png