Sciweavers

772 search results - page 111 / 155
» Ontology Based Information Integration Using Logic Programmi...
Sort
View
176
Voted
LPAR
2012
Springer
13 years 10 months ago
The TPTP Typed First-Order Form with Arithmetic
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Pe...
130
Voted
PRIMA
2007
Springer
15 years 8 months ago
An Agent Modeling Method Based on Scenario Rehearsal for Multiagent Simulation
Multiagent Systems are potential computational systems for various practical applications, tools, and so on. Multiagent simulation is one of the remarkable application to evaluate ...
Shohei Yamane, Toru Ishida
123
Voted
BMCBI
2008
127views more  BMCBI 2008»
15 years 2 months ago
AMMO-Prot: amine system project 3D-model finder
Background: Amines are biogenic amino acid derivatives, which play pleiotropic and very important yet complex roles in animal physiology. For many other relevant biomolecules, bio...
Ismael Navas Delgado, Raúl Montañez,...
BMCBI
2010
125views more  BMCBI 2010»
15 years 2 months ago
Compartmentalization of the Edinburgh Human Metabolic Network
Background: Direct in vivo investigation of human metabolism is complicated by the distinct metabolic functions of various sub-cellular organelles. Diverse micro-environments in d...
Tong Hao, Hongwu Ma, Xue-Ming Zhao, Igor Goryanin
112
Voted
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
15 years 7 months ago
A new placement algorithm for the mitigation of multiple cell upsets in SRAM-based FPGAs
Modern FPGAs have been designed with advanced integrated circuit techniques that allow high speed and low power performance, joined to reconfiguration capabilities. This makes new...
Luca Sterpone, Niccolò Battezzati