Sciweavers

3273 search results - page 194 / 655
» types 2007
Sort
View
ICWS
2007
IEEE
15 years 8 months ago
Model Checking Expressive Web Service Descriptions
In order to find suitable web services in a large market of web services, automatic support is needed to filter out web services semantically. Existing matchmaking approaches ma...
Sudhir Agarwal
WCE
2007
15 years 7 months ago
Statistical Aspects in Variational Principles with Heat Flow
—Applying nonequilibrium statistical mechanics we focus on nonequilibrium corrections Δs to entropy and energy of the fluid in terms of the nonequilibrium density distribution f...
Stanislaw Sieniutycz
WCE
2007
15 years 7 months ago
Reliability Assurance of the Welding by Pressure Equipments
—Developed initially on the basis of electronic technology, the researches in the field of reliability have proved their generality, so they can be applied to any technical syste...
Calin Florin Baban, Marius Baban, Ioan Eugen Radu
ICALT
2007
IEEE
15 years 6 months ago
Personalization of Immediate Feedback to Learning Styles
Feedback provided to a user is an important part of learning and interaction in e-learning systems. In this paper we present the results of our pilot experiment aimed to study int...
Ekaterina Vasilyeva, Mykola Pechenizkiy, Tatiana G...
CORR
2008
Springer
172views Education» more  CORR 2008»
15 years 6 months ago
Lecture notes on the lambda calculus
This is a set of lecture notes that developed out of courses on the lambda calculus that I taught at the University of Ottawa in 2001 and at Dalhousie University in 2007. Topics c...
Peter Selinger