Sciweavers

265 search results - page 39 / 53
» On the Computational Power of Neural Nets
Sort
View
LFCS
2007
Springer
16 years 6 days ago
A Decidable Temporal Logic of Repeating Values
Various logical formalisms with the freeze quantifier have been recently considered to model computer systems even though this is a powerful mechanism that often leads to undecida...
Stéphane Demri, Deepak D'Souza, Régi...
BMCBI
2004
88views more  BMCBI 2004»
15 years 6 months ago
Coronavirus 3CLpro proteinase cleavage sites: Possible relevance to SARS virus pathology
Background: Despite the passing of more than a year since the first outbreak of Severe Acute Respiratory Syndrome (SARS), efficient counter-measures are still few and many believe...
Lars Kiemer, Ole Lund, Søren Brunak, Nikola...
NDSS
2006
IEEE
16 years 2 days ago
Toward a Practical Data Privacy Scheme for a Distributed Implementation of the Smith-Waterman Genome Sequence Comparison Algorit
Volunteer distributed computations utilize spare processor cycles of personal computers that are connected to the Internet. The resulting platforms provide computational power pre...
Doug Szajda, Michael Pohl, Jason Owen, Barry G. La...
ICANN
2010
Springer
15 years 7 months ago
Variational Bayesian Image Super-Resolution with GPU Acceleration
With the term super-resolution we refer to the problem of reconstructing an image of higher resolution than that of unregistered and degraded observations. Typically, the reconstru...
Giannis K. Chantas
CIBCB
2005
IEEE
15 years 8 months ago
Neuro-fuzzy Prediction of Biological Activity and Rule Extraction for HIV-1 Protease Inhibitors
— A fuzzy neural network (FNN) and multiple linear regression (MLR) were used to predict biological activities of 26 newly designed HIV-1 protease potential inhibitory compounds....
Razvan Andonie, Levente Fabry-Asztalos, Catharine ...