Sciweavers

4498 search results - page 518 / 900
» How to Invent Functions
Sort
View
IJET
2008
114views more  IJET 2008»
15 years 6 months ago
Proposal of convergence of e-Learning Systems for t-Learning
This article presents considerations about viability on reutilize existing web based e-Learning systems on Interactive Digital TV environment according to Digital TV standard adopt...
Barbara De Franco, Hilda Carvalho Oliveira, Everal...
IM
2008
15 years 6 months ago
The Structure of Geographical Threshold Graphs
We analyze the structure of random graphs generated by the geographical threshold model. The model is a generalization of random geometric graphs. Nodes are distributed in space, a...
Milan Bradonjic, Aric A. Hagberg, Allon G. Percus
JAR
2008
98views more  JAR 2008»
15 years 6 months ago
A Mechanical Analysis of Program Verification Strategies
We analyze three proof strategies commonly used in deductive verification of deterministic sequential programs formalized with operational semantics. The strategies are: (i) stepw...
Sandip Ray, Warren A. Hunt Jr., John Matthews, J. ...
159
Voted
IJON
2006
78views more  IJON 2006»
15 years 6 months ago
Inhibitory control of spike timing precision
GABAergic inhibition via local interneurons may play a role in enhancing spike timing precision in principal cells, since it tends to eliminate the influence of initial conditions...
Maxime Ambard, Dominique Martinez
CORR
2007
Springer
159views Education» more  CORR 2007»
15 years 6 months ago
Designing a Resource Broker for Heterogeneous Grids
: Grids provide uniform access to aggregations of heterogeneous resources and services such as computers, networks and storage owned by multiple organizations. However, such a dyna...
Srikumar Venugopal, Krishna Nadiminti, Hussein Gib...