In many logics dealing with information one needs to make statements not only about cog-nitive states, but also about transitions between them. In this paper we analyze a dynamic modal logic that has been designed with this purpose in mind. On top of an abstract information ordering on states it has instructions to move forward or backward along this ordering, to states where a certain assertio...

Introduction: Learning is a dominant phenomenon in human life. Learners are different from each other in terms of attitudes and cognitive styles which effect on the learning of people. In this connection, VARK learning style assess the students base their individual abilities and method for obtaining much information from environment in dimensions of visual, aural, read/write, and kinesthetic. ...

this paper attempts to indicate that the two conceptual categories of evidentiality and epistemic modality are distinct although they may look similar; thus their corresponding adverbs also consist of separate subcategories of adverbs. to attain this goal, different data were gathered both from written and spoken sources and analyzed mostly with the help of semantic considerations in the framew...

Autonomous modal parameter estimations may involve sorting a large number of possible solutions to develop one consistent estimate of the modal parameters (frequency, damping, mode shape, and modal scaling). Once the final, consistent estimate of modal parameters is established, this estimate can be compared to related solutions from the larger set of solutions to develop statistical attributes...

This report presents the speciication and veriication of a consensual decision protocol used in Co 4 , a computer environment dedicated to the building of a distributed knowledge base. This protocol has been speciied in the Iso formal description technique Lotos. The Cadp tools from the Eucalyptus Lotos toolset have been used to verify diierent safety and liveness properties. The veriication wo...

DNN-based cross-modal retrieval is a research hotspot to retrieve across different modalities as image and text, but existing methods often face the challenge of insufficient cross-modal training data. In single-modal scenario, similar problem is usually relieved by transferring knowledge from largescale auxiliary datasets (as ImageNet). Knowledge from such single-modal datasets is also very us...

The modal characterization of automotive lighting systems becomes difficult using sensors due to the light weight of the elements which compose the component as well as the intricate access to allocate them. In experimental modal analysis, high speed 3D digital image correlation (HS 3D-DIC) is attracting the attention since it provides full-field contactless measurements of 3D displacements as ...