11381 search results - page 1905 / 2277 » Connectivity |
296
click to vote
SJ
2011
15 years 1 months ago
2011
—In this paper, we study the resilience of supply networks against disruptions and provide insights to supply chain managers on how to construct a resilient supply network from t...
205
click to vote
SYNTHESE
2011
15 years 1 months ago
2011
We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others1 , our an...
192
click to vote
SYNTHESE
2011
15 years 1 months ago
2011
Computer simulations are an exciting tool that plays important roles in many scientific disciplines. This has attracted the attention of a number of philosophers of science. The m...
286
click to vote
TCAD
2011
15 years 1 months ago
2011
Abstract—This work introduces GRIP, a global routing technique via integer programming. GRIP optimizes wirelength and via cost directly without going through a traditional layer ...
210
click to vote
TCS
2011
15 years 1 months ago
2011
We give a semantic account of the execution time (i.e. the number of cut elimination steps leading to the normal form) of an untyped MELL net. We first prove that: 1) a net is he...