Sciweavers

7047 search results - page 61 / 1410
» Focusing on Binding and Computation
Sort
View
PLPV
2009
ACM
15 years 8 months ago
Positively dependent types
This paper is part of a line of work on using the logical techniques of polarity and focusing to design a dependent programming language, with particular emphasis on programming w...
Daniel R. Licata, Robert Harper
DKE
2007
151views more  DKE 2007»
14 years 11 months ago
Towards a context-based multi-type policy approach for Web services composition
The objective of this research work is to look into the role of policies and context in framing the composition of Web services. Context supports the development of adaptable Web ...
Zakaria Maamar, Djamal Benslimane, Philippe Thiran...
BMCBI
2008
87views more  BMCBI 2008»
14 years 12 months ago
Volume-based solvation models out-perform area-based models in combined studies of wild-type and mutated protein-protein interfa
Background: Empirical binding models have previously been investigated for the energetics of protein complexation (G models) and for the influence of mutations on complexation (i....
Salim Bougouffa, Jim Warwicker
BMCBI
2005
115views more  BMCBI 2005»
14 years 11 months ago
SUPERFICIAL - Surface mapping of proteins via structure-based peptide library design
Background: The determination of protein surfaces and the detection of binding sites are essential to our understanding of protein-protein interactions. Such binding sites can be ...
Andrean Goede, Ines S. Jaeger, Robert Preissner
VIS
2004
IEEE
115views Visualization» more  VIS 2004»
16 years 1 months ago
Visualization in Grid Computing Environments
Grid computing provides a challenge for visualization system designers. In this research, we evolve the dataflow concept to allow parts of the visualization process to be executed...
Ken Brodlie, David A. Duce, Julian R. Gallop, Musb...