In 21 century, an era of information and internet, it is essential for universities to develop their education in order to be focused. Testing online has unparalleled advantages i...
Systems of argumentation or ’computational dialectic’ are emerging as a powerful means of structuring inter-agent communication in multi-agent systems. Individual systems of c...
In this paper we propose a method for discrimination of underlying textural structures from spotlight-mode synthetic aperture radar (SAR) returns by using a tomographic data acqui...
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
We studied electromigration (EM) lifetimes and void growth at low cumulative failure probability. We carried out EM test in damascene Cu lines using sudden-death type test structu...