Sciweavers

596 search results - page 71 / 120
» Search Strategies for Hybrid Search Spaces
Sort
View
BMCBI
2006
90views more  BMCBI 2006»
13 years 9 months ago
A Fourier Transformation based Method to Mine Peptide Space for Antimicrobial Activity
Background: Naturally occurring antimicrobial peptides are currently being explored as potential candidate peptide drugs. Since antimicrobial peptides are part of the innate immun...
Vijayaraj Nagarajan, Navodit Kaushik, Beddhu Mural...
INFOCOM
2008
IEEE
14 years 3 months ago
HyperCBR: Large-Scale Content-Based Routing in a Multidimensional Space
Abstract—Content-based routing (CBR) is becoming increasingly popular as a building block for distributed applications. CBR differs from classical routing paradigms as messages a...
Stefano Castelli, Paolo Costa, Gian Pietro Picco
AMAST
2006
Springer
14 years 22 days ago
A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
Alastair F. Donaldson, Alice Miller
PLILP
1993
Springer
14 years 1 months ago
Narrowing Approximations as an Optimization for Equational Logic Programs
Abstract. Solving equations in equational theories is a relevant programming paradigm which integrates logic and equational programming into one unified framework. Efficient metho...
María Alpuente, Moreno Falaschi, Marí...
IJON
2006
76views more  IJON 2006»
13 years 9 months ago
Evolving networks of integrate-and-fire neurons
This paper addresses the following question: ``What neural circuits can emulate the monosynaptic correlogram generated by a direct connection between two neurons?'' The ...
Francisco J. Veredas, Francisco J. Vico, Jos&eacut...