Sciweavers

852 search results - page 118 / 171
» Functional Representation of Designs and Redesign Problem So...
Sort
View
CPHYSICS
2004
79views more  CPHYSICS 2004»
13 years 7 months ago
Hybrid kinetic-MHD simulations in general geometry
We present a hybrid kinetic-MHD model consisting of 3 species, the bulk fluid ions and electrons, and a kinetic minority hot particle species. The 3 species equations are derived ...
Charlson C. Kim, Carl R. Sovinec, Scott E. Parker
CAISE
2004
Springer
14 years 1 months ago
An Ontologically Well-Founded Profile for UML Conceptual Models
UML class diagrams can be used as a language for expressing a conceptual model of a domain. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL) ...
Giancarlo Guizzardi, Gerd Wagner, Nicola Guarino, ...
GD
2004
Springer
14 years 1 months ago
Computing Radial Drawings on the Minimum Number of Circles
A radial drawing is a representation of a graph in which the vertices lie on concentric circles of finite radius. In this paper we study the problem of computing radial drawings ...
Emilio Di Giacomo, Walter Didimo, Giuseppe Liotta,...
HPDC
1998
IEEE
14 years 1 days ago
Matchmaking: Distributed Resource Management for High Throughput Computing
Conventional resource management systems use a system model to describe resources and a centralized scheduler to control their allocation. We argue that this paradigm does not ada...
Rajesh Raman, Miron Livny, Marvin H. Solomon
AI
2011
Springer
13 years 2 months ago
A unifying action calculus
Abstract McCarthy’s Situation Calculus is arguably the oldest special-purpose knowledge representation formalism, designed to axiomatize knowledge of actions and their effects. ...
Michael Thielscher