Sciweavers

725 search results - page 71 / 145
» Overview of TREC 2007
Sort
View
AHS
2007
IEEE
208views Hardware» more  AHS 2007»
13 years 11 months ago
Evolving Redundant Structures for Reliable Circuits - Lessons Learned
Fault Tolerance is an increasing challenge for integrated circuits due to semiconductor technology scaling. This paper looks at how artificial evolution may be tuned to the creat...
Asbjørn Djupdal, Pauline C. Haddow
CISIS
2007
IEEE
13 years 11 months ago
Selecting Grid-Agent-Team to Execute User-Job--Initial Solution
Recently we have proposed a novel approach to utilizing agent teams as resource brokers and managers in the Grid. Thus far we have presented an overview of the proposed approach d...
Mateusz Dominiak, Maria Ganzha, Marcin Paprzycki
AMAI
2007
Springer
13 years 10 months ago
Automated theorem proving by resolution in non-classical logics
This paper is an overview of a variety of results, all centered around a common theme, namely embedding of non-classical logics into first order logic and resolution theorem prov...
Viorica Sofronie-Stokkermans
EJC
2008
13 years 10 months ago
Partial ovoids and partial spreads in symplectic and orthogonal polar spaces
We present improved lower bounds on the sizes of small maximal partial ovoids and small maximal partial spreads in the classical symplectic and orthogonal polar spaces, and improv...
Jan De Beule, Andreas Klein, Klaus Metsch, Leo Sto...
MJ
2008
55views more  MJ 2008»
13 years 10 months ago
Nanostructures, magnetic semiconductors and spintronics
The aim of this paper is to give a brief overview of recent advances in the area of semiconductor nanomaterials, which represent extremely promising applications for materials wit...
Paata J. Kervalishvili, Alexander Lagutin