Sciweavers

6508 search results - page 36 / 1302
» Development and the Baldwin Effect
Sort
View
ECIS
2000
13 years 11 months ago
Multimedia Case Studies: Development and Use in Management Education
- The paper discusses the role of multimedia case studies in management education basing on direct experiences derived from an on going E.U. project. Literature has analysed in dep...
Paola Bielli, Stefano Basaglia
POPL
2012
ACM
12 years 5 months ago
Algebraic foundations for effect-dependent optimisations
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...
Ohad Kammar, Gordon D. Plotkin
RECOMB
2010
Springer
13 years 11 months ago
An Algorithmic Framework for Predicting Side-Effects of Drugs
Abstract. One of the critical stages in drug development is the identification of potential side effects for promising drug leads. Large scale clinical experiments aimed at discove...
Nir Atias, Roded Sharan
APVIS
2010
13 years 11 months ago
Quantitative effectiveness measures for direct volume rendered images
With the rapid development in graphics hardware and volume rendering techniques, many volumetric datasets can now be rendered in real time on a standard PC equipped with a commodi...
Yingcai Wu, Huamin Qu, Ka-Kei Chung, Ming-Yuen Cha...
FASE
2008
Springer
13 years 11 months ago
A Generic Complete Dynamic Logic for Reasoning About Purity and Effects
For a number of programming languages, among them Eiffel, C, Java and Ruby, Hoare-style logics and dynamic logics have been developed. In these logics, pre- and postconditions are ...
Till Mossakowski, Lutz Schröder, Sergey Gonch...