Sciweavers

4949 search results - page 775 / 990
» Consistency and Set Intersection
Sort
View
JSCIC
2008
124views more  JSCIC 2008»
15 years 6 months ago
Growth, Structure and Pattern Formation for Thin Films
Abstract An epitaxial thin film consists of layers of atoms whose lattice properties are determined by those of the underlying substrate. This paper reviews mathematical modeling, ...
Russel E. Caflisch
DKE
2007
107views more  DKE 2007»
15 years 6 months ago
Design time analysis of multiagent protocols
Interaction protocols enable agents to communicate with each other effectively. Whereas several approaches exist to specify interaction protocols, none of them has design tools t...
Pinar Yolum
JSYML
2008
72views more  JSYML 2008»
15 years 6 months ago
Perfect trees and elementary embeddings
An important technique in large cardinal set theory is that of extending an elementary embedding j : M N between inner models to an elementary embedding j : M[G] N[G] between ge...
Sy-David Friedman, Katherine Thompson
DM
2007
100views more  DM 2007»
15 years 6 months ago
Hamiltonian paths with prescribed edges in hypercubes
Given a set P of at most 2n − 4 prescribed edges (n ≥ 5) and vertices u and v whose mutual distance is odd, the n-dimensional hypercube Qn contains a hamiltonian path between ...
Tomás Dvorák, Petr Gregor
MAGS
2008
149views more  MAGS 2008»
15 years 6 months ago
Agent-Grid Integration Language
The GRID and MAS (Multi-Agent Systems) communities believe in the potential of GRID and MAS to enhance each other as these models have developed significant complementarities. Thu...
Clement Jonquet, Pascal Dugenie, Stefano A. Cerri