Sciweavers

2623 search results - page 45 / 525
» Universal Learning Theory
Sort
View
MFCS
1990
Springer
14 years 1 months ago
One-Way Functions in Complexity Theory
We introduce the notion of associative one-way functions and prove that they exist if and only if P 6= NP. As evidence of their utility, we present two novel protocols that apply ...
Alan L. Selman
ECTEL
2009
Springer
14 years 3 months ago
Towards a Theory of Socio-technical Interactions
Technology enhanced learning environments are characterized by socio-technical interactions. Socio-technical interactions involve individuals interacting with (a) technologies, and...
Ravi K. Vatrapu
CDC
2010
IEEE
105views Control Systems» more  CDC 2010»
13 years 4 months ago
Universal scheduling for networks with arbitrary traffic, channels, and mobility
We extend stochastic network optimization theory to treat networks with arbitrary sample paths for arrivals, channels, and mobility. The network can experience unexpected link or n...
Michael J. Neely
AIED
2009
Springer
14 years 3 months ago
Structuring Learning/Instructional Strategies through a State-based Modeling
This study, through the ontological engineering approach, aims at building a conceptual basis that encourages instructional designers in better understanding of learning/instructio...
Yusuke Hayashi, Jacqueline Bourdeau, Riichiro Mizo...
CORR
2011
Springer
170views Education» more  CORR 2011»
13 years 25 days ago
A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance
We define a logical framework with singleton types and one universe of small types. We give the semantics using a PER model; it is used for constructing a normalisation-by-evaluat...
Andreas Abel, Thierry Coquand, Miguel Pagano