Sciweavers

20573 search results - page 346 / 4115
» The Computer's New Clothes
Sort
View
CCE
2011
15 years 2 months ago
Computational energy-based redesign of robust proteins
The robustness of a system is a property that pervades all aspects of Nature. The ability of a system to adapt itself to perturbations due to internal and external agents, to agin...
Giovanni Stracquadanio, Giuseppe Nicosia
ICALT
2005
IEEE
16 years 1 months ago
Designing for Collaboration in Intelligent Computer Assisted Language Learning
We discuss the design of language tools, and explore new approaches for the development of language-learning environments. We take a standpoint in the learning perspective labelle...
Petter Karlström, Teresa Cerratto Pargman, Ro...
ANTS
2006
Springer
79views Algorithms» more  ANTS 2006»
15 years 11 months ago
Computing a Lower Bound for the Canonical Height on Elliptic Curves over Q
Let E be an elliptic curve over the rationals. A crucial step in determining a Mordell-Weil basis for E is to exhibit some positive lower bound > 0 for the canonical height ^h ...
John Cremona, Samir Siksek
BMCBI
2008
110views more  BMCBI 2008»
15 years 7 months ago
Predikin and PredikinDB: a computational framework for the prediction of protein kinase peptide specificity and an associated da
Background: We have previously described an approach to predicting the substrate specificity of serine-threonine protein kinases. The method, named Predikin, identifies key conser...
Neil F. W. Saunders, Ross I. Brinkworth, Thomas Hu...
APAL
2006
91views more  APAL 2006»
15 years 7 months ago
Computing interpolants in implicational logics
I present a new syntactical method for proving the Interpolation Theorem for the implicational fragment of intuitionistic logic and its substructural subsystems. This method, like...
Makoto Kanazawa