17082 search results - page 3142 / 3417 » Abstractions for Mobile Computation |
159
click to vote
JCAMD
2010
15 years 5 months ago
2010
Abstract A prospective study of aqueous solvation energies was done using the SM8 and Zap TK models for a variety of geometries. CM4M charges calculated with M06 and M06-2X were fo...
165
click to vote
JCNS
2010
15 years 5 months ago
2010
Abstract Continuous attractor networks require calibration. Computational models of the head direction (HD) system of the rat usually assume that the connections that maintain HD n...
226
click to vote
JELIA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Many proposals for logic-based formalizations of argumentation consider an argument as a pair (Φ, α), where the support Φ is understood as a minimal consistent subset ...
186
click to vote
JOT
2010
15 years 5 months ago
2010
In self-adaptive systems components are dynamically modified according to the execution environment requirement, where each component is a probable point of failure. Existing appr...
201
click to vote
JSAC
2010
15 years 5 months ago
2010
Abstract—When an emergency happens, public communication networks, including cellular networks, public switched telecommunication networks, and the Internet can be utilized to su...