objectives: cerebral hemispheres functioning have been found to be abnormal in children with asd. the role of lateralization in implicit and explicit motor learning has received little attention in asd researches. the main goal of this study is investigating the differences between two hands implicit and explicit motor learning in children with asd and typical matched group. methods: in the pre...

Due to their ability to form complex structures from a few simple primitives by blending with each other, skeleton-based implicit surfaces gained considerable importance for modeling, visualization and animation. A major difficulty when using the implicit modeling paradigm lies in the efficient rendering of the modeled objects. This paper describes the fundamental ideas of a method for the dyna...

We compare different epistemic notions in the presence of awareness of propositional variables: the logics of implicit knowledge (in which explicit knowledge is definable), explicit knowledge, and speculative knowledge. Different notions of bisimulation are suitable for these logics. We provide correspondence between bisimulation and modal equivalence on image-finite models for these logics. Th...

This paper presents a variable step size implicit numerical integration algorithm for dynamic analysis of stiff multibody systems. Stiff problems are very common in real world applications, and their numerical treatment by means of explicit integration is cumbersome or infeasible. Until recently, implicit numerical integration of the equations of motion of stiff mechanical systems has been prob...

Sophisticated instrumentation-based systems exist for building dynamic analysis tools but to use these systems a developer must write the instrumentation and analysis code by hand. This paper describes how analysis tools can be generated automatically by specifying analysis algorithms using attribute grammars based on the static and dynamic structure of the program being analysed. Using methods...

It is widely recognized that probabilistic graphical models provide a good framework for both knowledge representation and probabilistic inference (e.g., see Cheeseman94], Whit-taker90]). The dynamic behaviour of a system which changes over time requires an implicit or explicit time representation. In this paper, an implicit time representation using dynamic graphical models is proposed. Our go...