Sciweavers

50 search results - page 2 / 10
» The Mechanism of Thought
Sort
View
SPRINGSIM
2008
14 years 8 days ago
In silico white blood cell: mechanisms underlying leukocyte rolling and adhesion during inflammation
We have used the synthetic modeling method to construct a multilevel, agent oriented, in silico analogue of an in vitro experimental system for studying leukocyte rolling, activat...
Jonathan Tang, C. Anthony Hunt
COMPSAC
1997
IEEE
14 years 3 months ago
Classifying Architectural Elements as a Foundation for Mechanism Matching
Building a system at the architectural level can be thought of as decomposition into components followed by a series of exercises in matching. Components must be composed with eac...
Rick Kazman, Paul C. Clements, Leonard J. Bass, Gr...
AMC
2006
91views more  AMC 2006»
13 years 11 months ago
Lateral load estimation from visco-plastic mud-flow around cylindrical row of piles
In this paper, the influence of slow and creeping flow of mud/slurry is modelled as a visco-plastic fluid around cylindrical row of piles. The study is carried out theoretically u...
Seyhan Firat, Mehmet Saribiyik, Erkan Çeleb...
COGSCI
2006
107views more  COGSCI 2006»
13 years 11 months ago
Is the Brain a Quantum Computer?
We argue that computation via quantum mechanical processes is irrelevant to explaining how brains produce thought, contrary to the ongoing speculations of many theorists. First, q...
Abninder Litt, Chris Eliasmith, Frederick W. Kroon...
ITP
2010
178views Mathematics» more  ITP 2010»
14 years 25 days ago
Developing the Algebraic Hierarchy with Type Classes in Coq
We present a new formalization of the algebraic hierarchy in Coq, exploiting its new type class mechanism to make practical a solution formerly thought infeasible. Our approach add...
Bas Spitters, Eelis van der Weegen