Sciweavers

29143 search results - page 5384 / 5829
» A Sortation System Model
Sort
View
FAC
2007
90views more  FAC 2007»
15 years 6 months ago
Responsiveness and stable revivals
Individual components in an inter-operating system require assurance from other components both of appropriate functionality and of suitable responsiveness. We have developed prope...
Joy N. Reed, A. W. Roscoe, J. E. Sinclair
MLQ
2006
78views more  MLQ 2006»
15 years 6 months ago
Recursive logic frames
We define the concept of a logic frame, which extends the concept stract logic by adding the concept of a syntax and an axiom system. In a recursive logic frame the syntax and the...
Saharon Shelah, Jouko A. Väänänen
NN
2006
Springer
100views Neural Networks» more  NN 2006»
15 years 6 months ago
Neural voting machines
In theories of cognition that view the mind as a system of interacting agents, there must be mechanisms for aggregate decision-making, such as voting. Here we show that certain vo...
Whitman Richards, H. Sebastian Seung, Galen Pickar...
SIAMAM
2008
121views more  SIAMAM 2008»
15 years 6 months ago
A Level Set Approach to Anisotropic Surface Evolution with Free Adatoms
We variationally derive a thermodynamically consistent model for surface evolution under the influence of free adatoms. The resulting system of nonlinear partial differential equat...
Christina Stöcker, Axel Voigt
SIAMSC
2008
133views more  SIAMSC 2008»
15 years 6 months ago
Numerical Variational Methods Applied to Cylinder Buckling
We review and compare different computational variational methods applied to a system of fourth order equations that arises as a model of cylinder buckling. We describe both the di...
Jirí Horák, Gabriel J. Lord, Mark A....
« Prev « First page 5384 / 5829 Last » Next »