Sciweavers

6770 search results - page 326 / 1354
» How GPUs Work
Sort
View
IEAAIE
2010
Springer
15 years 2 months ago
S.cerevisiae Complex Function Prediction with Modular Multi-Relational Framework
Gene functions is an essential knowledge for understanding how metabolism works and designing treatments for solving malfunctions. The Modular Multi-Relational Framework (MMRF) is ...
Beatriz García Jiménez, Agapito Lede...
SCN
2011
Springer
292views Communications» more  SCN 2011»
14 years 11 months ago
Synthesis of attack actions using model checking for the verification of security protocols
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
Stylianos Basagiannis, Panagiotis Katsaros, Andrew...
STOC
2012
ACM
185views Algorithms» more  STOC 2012»
13 years 6 months ago
Subspace evasive sets
In this work we describe an explicit, simple, construction of large subsets of Fn , where F is a finite field, that have small intersection with every k-dimensional affine subsp...
Zeev Dvir, Shachar Lovett
HICSS
2003
IEEE
106views Biometrics» more  HICSS 2003»
15 years 9 months ago
Is web-based seminar an effective way of learning in adult education?
The Internet can be used to solve pedagogical problems. To give an example, seminars for crowded courses exceeding a hundred participants would not be possible without web-based a...
Pekka Makkonen
ICPPW
2002
IEEE
15 years 9 months ago
Dynamic Expansion of M : N Protection Groups in GMPLS Optical Networks
Abstract— In order to provide reliable connections across metropolitan and wide-area optical networks, the network operator must provide some degree of redundancy so that traffic...
David W. Griffith, SuKyoung Lee