Sciweavers

1980 search results - page 57 / 396
» On the Associative Nijenhuis Relation
Sort
View
BSL
2007
51views more  BSL 2007»
15 years 1 months ago
Relating First-order Set Theories and Elementary Toposes
We show how to interpret the language of first-order set theory in an elementary topos endowed with, as extra structure, a directed structural system of inclusions (dssi). As our ...
Steven Awodey, Carsten Butz, Alex Simpson, Thomas ...
TITB
2008
136views more  TITB 2008»
15 years 1 months ago
Helicobacter Pylori-Related Gastric Histology Classification Using Support-Vector-Machine-Based Feature Selection
Abstract--This study presents a computer-aided diagnosis system using sequential forward floating selection (SFFS) with support vector machine (SVM) to diagnose gastric histology o...
Chun-Rong Huang, Pau-Choo Chung, Bor-Shyang Sheu, ...
JIB
2010
149views more  JIB 2010»
14 years 8 months ago
Visualization and Analysis of a Cardio Vascular Disease- and MUPP1-related Biological Network combining Text Mining and Data War
t techniques to create such a network associated with an abstract cell environment is discussed in order to gain insights into the functional as well as spatial interrelationships....
Björn Sommer, Evgeny S. Tiys, Benjamin Kormei...
JOCN
2010
71views more  JOCN 2010»
14 years 12 months ago
Transitive Inference: Distinct Contributions of Rostrolateral Prefrontal Cortex and the Hippocampus
■ The capacity to reason about complex information is a central characteristic of human cognition. An important component of many reasoning tasks is the need to integrate multip...
Carter Wendelken, Silvia A. Bunge
UIST
2009
ACM
15 years 8 months ago
ARC-Pad: absolute+relative cursor positioning for large displays with a mobile touchscreen
We introduce ARC-Pad (Absolute+Relative Cursor pad), a novel technique for interacting with large displays using a mobile phone’s touchscreen. In ARC-Pad we combine absolute and...
David C. McCallum, Pourang Irani