Sciweavers

10412 search results - page 1559 / 2083
» The efficiency of algorithms - misconceptions
Sort
View
AAECC
2006
Springer
125views Algorithms» more  AAECC 2006»
15 years 7 months ago
Combinatorial Group Theory and Public Key Cryptography
Abstract. After some excitement generated by recently suggested public key exchange protocols due to Anshel-Anshel-Goldfeld and Ko-Lee et al., it is a prevalent opinion now that th...
Vladimir Shpilrain, Gabriel Zapata
ENTCS
2008
132views more  ENTCS 2008»
15 years 7 months ago
Distributed Verification of Multi-threaded C++ Programs
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
Stefan Edelkamp, Shahid Jabbar, Damian Sulewski
GEOINFORMATICA
2008
73views more  GEOINFORMATICA 2008»
15 years 7 months ago
Reporting Leaders and Followers among Trajectories of Moving Point Objects
Abstract. Widespread availability of location aware devices (such as GPS receivers) promotes capture of detailed movement trajectories of people, animals, vehicles and other moving...
Mattias Andersson, Joachim Gudmundsson, Patrick La...
BMCBI
2006
120views more  BMCBI 2006»
15 years 7 months ago
A factor analysis model for functional genomics
Background: Expression array data are used to predict biological functions of uncharacterized genes by comparing their expression profiles to those of characterized genes. While b...
Rafal Kustra, Romy Shioda, Mu Zhu
CCE
2006
15 years 7 months ago
Computation of equilibria in models of flue gas washer plants
7 A flue gas washer is a plant for the absorption of noxious components of industrial gas output. The type of flue gas washers that is considered here is a spray tower. In the towe...
Wolfgang Desch, Karin Horn, Georg Propst
« Prev « First page 1559 / 2083 Last » Next »