1582 search results - page 72 / 317 » Mathematical Tools for Physics |
ENTCS
2007
13 years 8 months ago
2007
We pursue the program of exposing the intrinsic mathematical structure of the “space of proofs” of a logical system [AJ94b]. We study the case of Multiplicative-Additive Linea...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
— Passive Optical Networks (PONs) solve the bandwidth bottleneck issue as they extend optical networks to homes and businesses. Security concerns in time division multiplexed PON...
CEEMAS
2001
Springer
14 years 1 months ago
2001
Springer
Multi Agent Systems (MAS) are often used as a software substrate in creating smart spaces. Many of the solutions already developed within the MAS community are applicable in the do...
ASPDAC
2005
ACM
13 years 10 months ago
2005
ACM
Incremental physical design is an important methodology towards achieving design closure for high-performance large-scale circuits. Placement tools must accommodate incremental ch...
CCGRID
2005
IEEE
14 years 2 months ago
2005
IEEE
The scheme of advance reservations in dynamically provisioned optical networks is novel, and there are no gridbased applications designed to utilize this scheme. We formally defi...