Sciweavers

10435 search results - page 1962 / 2087
» Computational Biology and Language
Sort
View
IEICET
2006
114views more  IEICET 2006»
15 years 6 months ago
Synchronization Verification in System-Level Design with ILP Solvers
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro ...
IJMMS
2006
74views more  IJMMS 2006»
15 years 6 months ago
Constructing computer-based tutors that are socially sensitive: Politeness in educational software
Students rated 16 tutorial statements on negative politeness (i.e., how much the tutor ``allows me freedom to make my own decisions'') and positive politeness (i.e., how...
Richard E. Mayer, W. Lewis Johnson, Erin Shaw, Sah...
CORR
2007
Springer
98views Education» more  CORR 2007»
15 years 6 months ago
Bistable Biorders: A Sequential Domain Theory
We give a simple order-theoretic construction of a Cartesian closed category of sequential functions. It is based on bistable biorders, which are sets with a partial order — the ...
James Laird
JCC
2008
105views more  JCC 2008»
15 years 6 months ago
Retrieval of spectral and dynamic properties from two-dimensional infrared pump-probe experiments
Abstract: We have developed a fitting algorithm able to extract spectral and dynamic properties of a three level oscillator from a two-dimensional infrared spectrum (2D-IR) detecte...
Riccardo Chelli, Victor V. Volkov, Roberto Righini
JCM
2008
75views more  JCM 2008»
15 years 6 months ago
A Secure Mobile Agents Platform
Abstract--Mobile Agents is a new paradigm for distributed computing where security is very essential to the acceptance of this paradigm in a large scale distributed environment. In...
Leila Ismail
« Prev « First page 1962 / 2087 Last » Next »