Titlebook: Modal and Temporal Properties of Processes; Colin Stirling Textbook 2001 Springer Science+Business Media New York 2001 Algorithms.Bisimula

佛刊

Konstantina Dritsa,Thodoris Sotiropoulos,Haris Skarpetis,Panos Louridasalization involves the broadening and deepening of interactions and interdependence among societies and states throughout the world, there is considerable controversy over the causes and effects of globalization, and even over the importance of globalization in today’s world. (. and . in this volume

輕信

補助

Heuristic Evaluation of University Institutional Repositories Based on DSpaceIRs are not widely used by the intended end users. To increase users’ acceptability, evaluating IRs interface is essential. In this research, the main focus is to evaluate the usability of one type of IR’s interface following the method of Nielsen’s heuristics to uncover usability problems for devel

CRUC

The Influence of Task Characteristics on Multiple Objective and Subjective Cognitive Load Measures, aspect of the workload construct. An experiment was designed to investigate the effect of two workload inductors (Task . and .) on extracted features along with a subjective measure of mental workload. Results suggest that both subjective and objective measures of workload are able to capture the e

不愿

創(chuàng)造性

Structures of?Finite Punctual Dimension mputable dimension ., a certain elementary trick suffices. However in the primitive recursive case, this elementary trick no longer sufficies. Our first theorem shows that a direct construction of structures of punctual dimension . is provably necessary. Our second theorem is a direct construction o

大暴雨

偉大

The Power of the Eye and the Ear: Experiences from Communicating Research with Digital Storytellingements such as buildings, colours and so on support the aim of prison: reconciliation and rehabilitation. The author describes the digital storytelling workshop as a community of learners. Building on the impact of the story in various contexts, nationally and internationally, she concludes that this way to visualise research serves its purpose.

vascular

Anonymous Webs of TrustGP standard. The framework is capable of dealing with various core and optional features of common webs of trust, such as key attributes, key expiration dates, existence of multiple certificate chains, and trust measures between different users.

DNR215