Sciweavers

20573 search results - page 346 / 4115
» The Computer's New Clothes
Sort
View
CCE
2011
15 years 1 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 13 days 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 10 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 6 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