1582 search results - page 55 / 317 » Mathematical Tools for Physics |
CALCO
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We present DBtk, a toolkit for Directed Bigraphs. DBtk supports a textual language for directed bigraphs, the graphical visualization of bigraphs, the calculation of IPO ...
CAD
1999
Springer
13 years 8 months ago
1999
Springer
The method of consecutive revolving or extrusion of a geometric entity in a CAD system is typically used by a designer to represent complex solids. While it is evident that consec...
CHINZ
2009
ACM
14 years 1 months ago
2009
ACM
The information we encounter in modern life, in developed countries, is a hybrid of the physical and the digital. Personal archiving tools allow users to capture and retrieve aspe...
ICFP
2007
ACM
14 years 8 months ago
2007
ACM
It is rare to give a semantic definition of a full-scale programming language, despite the many potential benefits. Partly this is because the available metalanguages for expressi...
ERSHOV
2009
Springer
14 years 3 months ago
2009
Springer
Kohn’s Molecular Interaction Maps (MIMs) are a graphical notation for describing bioregulatory networks at the molecular level. Even if the meaning of Kohn’s diagrams can be of...