Sciweavers

693 search results - page 29 / 139
» Toward a Physics of Equations
Sort
View
JELIA
2004
Springer
14 years 1 months ago
Towards a Logical Analysis of Biochemical Pathways
Biochemical pathways or networks are generic representations used to model many different types of complex functional and physical interactions in biological systems. Models based ...
Patrick Doherty, Steve Kertes, Martin Magnusson, A...
CIC
2004
110views Communications» more  CIC 2004»
13 years 9 months ago
Towards a Comprehensive Peer-to-Peer Communication Model
Peer-to-Peer computing is a model consisting of cooperating distributed processing units terms peers. Characteristics of this computing model include lack of centralized control an...
Jesus Pajaro, Brian J. d'Auriol
ASPDAC
2005
ACM
79views Hardware» more  ASPDAC 2005»
13 years 9 months ago
Floorplan management: incremental placement for gate sizing and buffer insertion
Incremental physical design is an important methodology towards achieving design closure for high-performance large-scale circuits. Placement tools must accommodate incremental ch...
Chen Li 0004, Cheng-Kok Koh, Patrick H. Madden
EHCI
1998
13 years 9 months ago
Embodied User Interfaces: Towards Invisible User Interfaces
: There have been several recent examples of user interface techniques in which the user uses a computational device by physically manipulating the device. This paper proposes that...
Kenneth P. Fishkin, Thomas P. Moran, Beverly L. Ha...
ENTCS
2006
101views more  ENTCS 2006»
13 years 7 months ago
Towards "Dynamic Domains": Totally Continuous Cocomplete Q-categories
It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice. When formalizing the d...
Isar Stubbe