Abstract. How and where are the universal features of language specified? We consider language users as situated agents acting as conduits for the cultural transmission of language...
: Universities have been early adopters of Information and Communication Technologies (ICT). However, does availability imply use? How is ICT being used by academic departments? Th...
3GPP 43.318 specifies the Generic Access Network (GAN) for interworking between Wireless Local Area Network (WLAN) and Universal Mobile Telecommunications System (UMTS) core netwo...
Active structures capable of responding to external stimulii represent the emerging frontier in structural design. Robust and real-time sensing, control, and actuation pose fundame...
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...
Ying Xu, Eduard Cerny, Xiaoyu Song, Francisco Core...