3690 search results - page 608 / 738 » Computation with classical sequents |
158
Voted
CDC
2010
IEEE
15 years 11 days ago
2010
IEEE
Abstract-- In robot deployment problems, the fundamental issue is to optimize a steady state performance measure that depends on the spatial configuration of a group of robots. For...
192
click to vote
CORR
2011
Springer
15 years 11 days ago
2011
Springer
We study algorithmic problems in multi-stage open shop processing systems that are centered around reachability and deadlock detection questions. We characterize safe and unsafe s...
156
click to vote
CMPB
2010
15 years 11 days ago
2010
Steady state flux balance analysis (FBA) for cellular metabolism is used, e.g., to seek information on the activity of the different pathways under equilibrium conditions, or as a...
121
click to vote
COGSR
2010
15 years 11 days ago
2010
We propose a formalization of C.G. Jung's theory of personality using a four-dimensional Hilbert-space for the representation of two qubits. The first qubit relates to Jung&#...
185
Voted
CSCW
2011
ACM
15 years 11 days ago
2011
ACM
Computer users rely on software tools to work effectively and efficiently, but it is difficult for users to be aware of all the tools that might be useful to them. While there a...