Sciweavers

82 search results - page 3 / 17
» The impact of functional knowledge on sketching
Sort
View
UC
2009
Springer
14 years 23 days ago
Reasoning about Entanglement and Separability in Quantum Higher-Order Functions
We present a logical approach to the separability analysis issue for a functional quantum computation language. This logic is inspired by previous works on logical analysis of alia...
Frédéric Prost, Chaouki Zerrari
TEAA
2005
Springer
126views Hardware» more  TEAA 2005»
13 years 11 months ago
Towards a Secure Data Stream Management System
Abstract. Todays data stream management systems (DSMSs) lack security functionality. Based on adversary scenarios we show how a DSMS architecture can be protected. We sketch a gene...
Wolfgang Lindner, Jörg Meier
BMCBI
2008
106views more  BMCBI 2008»
13 years 6 months ago
SpliceCenter: A suite of web-based bioinformatic applications for evaluating the impact of alternative splicing on RT-PCR, RNAi,
Background: Over 60% of protein-coding genes in vertebrates express mRNAs that undergo alternative splicing. The resulting collection of transcript isoforms poses significant chal...
Michael C. Ryan, Barry Zeeberg, Natasha J. Caplen,...
DB
2008
107views more  DB 2008»
13 years 6 months ago
Introducing function extraction into software testing
Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to dete...
Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevn...
GECCO
2000
Springer
138views Optimization» more  GECCO 2000»
13 years 9 months ago
Domain Knowledge and Representation in Genetic Algorithms for Real World Scheduling Problems
This paper discusses the issues that arise in the design and implementation of an industrialstrength evolutionary-based system for the optimization of the monthly work schedules f...
Ioannis T. Christou, Armand Zakarian