Sciweavers

263 search results - page 27 / 53
» Field Division Routing
Sort
View
TPHOL
2000
IEEE
14 years 19 days ago
Equational Reasoning via Partial Reflection
We modify the reflection method to enable it to deal with partial functions like division. The idea behind reflection is to program a tactic for a theorem prover not in the impleme...
Herman Geuvers, Freek Wiedijk, Jan Zwanenburg
IAJIT
2008
319views more  IAJIT 2008»
13 years 9 months ago
Diagnosis of Distillation Column Problems Using New Generation Gamma-Ray Scanning Gauge
: The Gamma-Ray scanning technique effective means for the diagnosis and identification of installations and process's problems in general and in particular in the case of dis...
Khalid Laraki, Rachad Alami, Rajaa El Morsli, Abde...
ASAP
2003
IEEE
99views Hardware» more  ASAP 2003»
14 years 22 days ago
Using Group Theory to Specify Application Specific Interconnection Networks for SIMD DSPs
We introduce another view of group theory in the field of interconnection networks. With this approach it is possible to specify application specific network topologies for permut...
Thorsten Dräger, Gerhard Fettweis
CHI
2003
ACM
14 years 9 months ago
Ethnographic interviews guide design of ford vehicles website
This case study describes ethnographic interviews with vehicle buyers to learn how they make purchase decisions. The research was conducted for J. Walter Thompson (JWT), the digit...
Lori Anschuetz, Stephanie Rosenbaum
NAR
2000
152views more  NAR 2000»
13 years 8 months ago
ASDB: database of alternatively spliced genes
Version 2.1 of ASDB (Alternative Splicing Data Base) contains 1922 protein and 2486 DNA sequences. The protein entries from SWISS-PROT are joined into clusters corresponding to al...
I. Dralyuk, Michael Brudno, Mikhail S. Gelfand, Ma...