Sciweavers

3071 search results - page 603 / 615
» Explanatory Design Theory
Sort
View
JAR
2007
104views more  JAR 2007»
13 years 9 months ago
Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book
The Intelligent Book project aims to improve online education by designing materials that can model the subject matter they teach, in the manner of a Reactive Learning Environment...
William Billingsley, Peter Robinson
JCB
2007
145views more  JCB 2007»
13 years 9 months ago
Confounding Factors in HGT Detection: Statistical Error, Coalescent Effects, and Multiple Solutions
Prokaryotic organisms share genetic material across species boundaries by means of a process known as horizontal gene transfer (HGT). This process has great significance for unde...
Cuong Than, Derek A. Ruths, Hideki Innan, Luay Nak...
TON
2008
107views more  TON 2008»
13 years 9 months ago
Efficient routing in intermittently connected mobile networks: the multiple-copy case
Abstract--Intermittently connected mobile networks are wireless networks where most of the time there does not exist a complete path from the source to the destination. There are m...
Thrasyvoulos Spyropoulos, Konstantinos Psounis, Ca...
JSAC
2007
140views more  JSAC 2007»
13 years 9 months ago
Cross-layer resource allocation over wireless relay networks for quality of service provisioning
— We propose a physical-datalink cross-layer resource allocation scheme over wireless relay networks for quality-ofservice (QoS) guarantees. By integrating information theory wit...
Jia Tang, Xi Zhang
JSAC
2007
189views more  JSAC 2007»
13 years 9 months ago
Non-Cooperative Power Control for Wireless Ad Hoc Networks with Repeated Games
— One of the distinctive features in a wireless ad hoc network is lack of any central controller or single point of authority, in which each node/link then makes its own decision...
Chengnian Long, Qian Zhang, Bo Li, Huilong Yang, X...